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