4*x + 8 > 6*x - 7
(-oo, 15/2)
x in Interval.open(-oo, 15/2)
And(-oo < x, x < 15/2)
(-oo < x)∧(x < 15/2)