(x - 2)*(x - 3) > (x + 5)*(x - 4) - 7
(x - 3)*(x - 2) > (x - 4)*(x + 5) - 7
And(-oo < x, x < 11/2)
(-oo < x)∧(x < 11/2)
(-oo, 11/2)
x in Interval.open(-oo, 11/2)