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