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