2 (3*x - 2)*(x + 3) >= 2*x + 12
(x + 3)*(3*x - 2) >= 2*x^2 + 12
(-oo, -9] U [2, oo)
x in Union(Interval(-oo, -9), Interval(2, oo))
Or(And(2 <= x, x < oo), And(x <= -9, -oo < x))
((2 <= x)∧(x < oo))∨((x <= -9)∧(-oo < x))