Вам известно число $n$. Проверьте, что существует \textbf{целое положительное} число $x$, такое, что $1000 - 7x = n$.

Например, если $n = 965$, то $x = 5$, так как верно равенство $1000 - 7 \cdot 5 = 965$.