Question 207589
*[invoke explain_simplification "12rs - 5s - 6rs" ]