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