4 + 12*x > -12*x + 13*x
12*x + 4 > -12*x + 13*x
And(-4/11 < x, x < oo)
(-4/11 < x)∧(x < oo)
(-4/11, oo)
x in Interval.open(-4/11, oo)