TOTAL Ну обычно в таких задачах принять что-то за скорость поедания, что-то за скорость роста. Понятно что и количество искомых коров тоже переменная. Остается еще принять за неизвестную количество травы на поле. Это я и назвал формализацией на автопилоте. Тут получается 4 неизвестных и 3 уравнения. Это ясно в уме, но совершенно не ясно, хватит ли этих данных для однозначного решения задачи. Скажем у нас устный тур олимпиады, надо за пару минут ответить: достаточно ли данных для однозначного решения или нет. В этом случае нативный подход заводит нас в тупик.
TOTAL Ваше решение - то что доктор прописал(доктор-ТОTAL)! Естественным образом получается 3 уравнения и 3 неизвестных и на устном туре сразу понятно, что данных задачи для решения достаточно:

где

в ваших обозначениях, а y- количество искомых коров.