3 70 - x /70 - x\ 12*------ - |------| >= x 27 \ 27 /
-((70 - x)/27)^3 + 12*((70 - x)/27) >= x
[-65, 16] U [259, oo)
x in Union(Interval(-65, 16), Interval(259, oo))
Or(And(-65 <= x, x <= 16), And(259 <= x, x < oo))
((-65 <= x)∧(x <= 16))∨((259 <= x)∧(x < oo))