4*x + 2 x - 10 x + ------- < 2*x - ------ 2 5
x + (4*x + 2)/2 < 2*x - (x - 10)/5
(-oo, 5/6)
x in Interval.open(-oo, 5/6)
And(-oo < x, x < 5/6)
(-oo < x)∧(x < 5/6)