lean_workbook_plus_67231

Prove that for every prime $p$ such that $p \equiv -1 (\hbox{mod} 7)$ , there exists a natural number $n$ such that $n^3+n^2-2n-1$ is a multiple of $p$ .