2*x - 1 10*x + 1 ------- - 3*x > -------- 5 5
-3*x + (2*x - 1)/5 > (10*x + 1)/5
And(-oo < x, x < -2/23)
(-oo < x)∧(x < -2/23)
(-oo, -2/23)
x in Interval.open(-oo, -2/23)