да является
надо просто проверить 15*1 - 12 *1 =3 что соответсвует выражению с переменными. значит данная пара чисел и есть решение этого уравнения
