Question 909700
(7/8)/ (5/24)  =  (7/8)* (24/5)
                *[invoke explain_simplification "(7/8)* (24/5)" ]