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.
(425+798)+675 =1223+675=1898
212+493+788+807=212+788+493+807=1000+1300=2300
161+455+839+945=161+839+945+455=1000+1400=2400