Question 205389
*[invoke explain_simplification "a*(a+16)=0" ]