TeX source:
\dfrac{20}{-y+13} \leq 15