3*x - 10 <= 8*x + 4
[-14/5, oo)
x in Interval(-14/5, oo)
And(-14/5 <= x, x < oo)
(-14/5 <= x)∧(x < oo)