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