Question 631432
*[invoke explain_simplification "(3a-5)-(5a+1)" ]