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