Уравнение является линейным диофантовым уравнением вида Ax + By = C.
НОД(4, -1) = 1. Так как 1 делит любое целое число, в том числе 7, уравнение имеет целочисленные решения.
Одно из решений: x = 2, y = 1.