Question 231731
*[invoke substitution "(x^2+x+12)=0 "]