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