Question 614821
*[invoke explain_simplification "x/3+7=13" ]