Question 931438
(11/12)/(-7/8)*[invoke explain_simplification "(11/12)/(-7/8)" ]