t t t - - + 2 + 2 - -*t + 1 <= 0 3 3
-t*t/3 - t/3 + t + 2 + 2 + 1 <= 0
Or(And(5 <= t, t < oo), And(t <= -3, -oo < t))
((5 <= t)∧(t < oo))∨((t <= -3)∧(-oo < t))
(-oo, -3] U [5, oo)
x in Union(Interval(-oo, -3), Interval(5, oo))