Question 5873
Use -4 instead of x:

((-4)+7)*((-4)-8)

*[invoke explain_simplification "((-4)+7)*((-4)-8)"]