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