8*x + 3 2*x - 5 11 - 7*x ------- - ------- >= -------- 16 3 12
-(2*x - 5)/3 + (8*x + 3)/16 >= (11 - 7*x)/12
[-9/4, oo)
x in Interval(-9/4, oo)
And(-9/4 <= x, x < oo)
(-9/4 <= x)∧(x < oo)