6 + 3*x >= 4 - x
3*x + 6 >= 4 - x
And(-1/2 <= x, x < oo)
(-1/2 <= x)∧(x < oo)
[-1/2, oo)
x in Interval(-1/2, oo)