TeX source:
35-5 y+10 y=55