TeX source:
-3 x+8 < 15