3*(x - 5) > 7*x
And(-oo < x, x < -15/4)
(-oo < x)∧(x < -15/4)
(-oo, -15/4)
x in Interval.open(-oo, -15/4)