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