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