2 (2*x - 3)*(x + 1) > x + 9
(x + 1)*(2*x - 3) > x^2 + 9
Or(And(-oo < x, x < -3), And(4 < x, x < oo))
((-oo < x)∧(x < -3))∨((4 < x)∧(x < oo))
(-oo, -3) U (4, oo)
x in Union(Interval.open(-oo, -3), Interval.open(4, oo))