x + 4/3 > 2*x - 3/4 + 1
13 (-oo, --) 12
x in Interval.open(-oo, 13/12)
/ 13\ And|-oo < x, x < --| \ 12/
(-oo < x)∧(x < 13/12)