-3 - 5*x <= x + 3
-5*x - 3 <= x + 3
And(-1 <= x, x < oo)
(-1 <= x)∧(x < oo)
[-1, oo)
x in Interval(-1, oo)