2x = 70000 - 7y
x = 35000 - 3,5y
x>0, y>0 - так как X и Y натуральные.
Согласно условию неотрицательности X и Y, пар, удовлетворяющих последнему уравнению будет 10001 (y=0, 1, 2, 3,...,10000). Однако, при НЕЧЁТНЫХ Y, X будет принимать дробные значения. Из 10 тысяч возможных значений Y отбросим нечётные. Их ровно 5000.
Далее спорная ситуация - кто-то причисляет 0 к натуральным числам, кто-то нет. Если Вас учат тому, что 0 - натуральное число, то значений будет 10001-5000 = 5001, если же 0 - НЕ НАТУРАЛЬНОЕ в Вашей программе, то значений будет 10001 - 5000 - 2 = 4999. Двойка в последнем выражении - это две пары X=0, Y=10000 и X=35000, Y=0.
5х + 2 ≥ 0,
5х ≥ -2,
х ≥ -2/5,
х ≥ -0,4.
Поэтому область определения функции есть промежуток [-0,4; +∞).