Тупое то решение есть, но это и так всем очевидно. То есть: выразить z и подставить в два других уравнения, применить стандартную замену для симметричных систем, введя

. Тупо раскладываем в третьем уравнении по биному, выполняем указанную замену, тупо подставляем

через

из второго в третье. Там удачно сокращается всё на 42, получаем уравнение высокой степени, но так как из первого поста мы знаем три целых решения, то всё заканчивается благополучно. Кажется.
Интересно увидеть что-то с проблесками мысли, без тупого счёта. Автор знает такое решение?