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