Question 941487
*[invoke explain_simplification "(1/3)*(12+x)=-8(6-x)" ]