Используйте второе уравнение.
Какое-то свойство НОДа? Например, делимость без остатка... Но там получаются новые неизвестные в качестве делителей... Функция НОДа что вообще собой представляет, алгоритм Эвклида? Не представляю как это можно использовать.