Question 915634
*[invoke explain_simplification "-7=12N-4" ]