if x^2=100 then (x^2-x)