Question 7330
that's a problem of translating english to algebrese.

five decreased  by eight: 5-8
four times y: 4*y

*[invoke explain_simplification  "5-8=4*y"]