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