9*x - 7*u > 3*(3*x - 7*u)
-7*u + 9*x > 3*(-7*u + 3*x)
(0, oo)
x in Interval.open(0, oo)
And(0 < u, u < oo)
(0 < u)∧(u < oo)