Question 341578
*[invoke explain_simplification "(x+5)/(2)=-3" ]