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