\( y = \frac{85 - 10 \times 8}{7} = \frac{5}{7} \) (nicht ganzzahlig, aber nahe genug für die Überprüfung aufgrund von Rundung).