Question 69184
Well, 0 = x^2 + x-4 would be *[invoke explain_simplification "0 = x^2 + x-4"]