Si $31|6x+11y$$31|x+7y$. La única manera que se me ocurre para solucionar este problema es el uso de álgebra lineal y demostrar que estos dos son dependía.
$\det \begin{pmatrix}6&1\\ 11&7\end{pmatrix}=31 \equiv 0_{31}$
¿Cuáles son otras maneras de hacer frente a esto?