For any value of $y$, is $7|y^2 + 1?$ and $3|y^2 +1$?
as well as
$19|y^2 +1$?
If there is no such $y$, how do you prove it.
Also, I want to know about free software to check these type of divisions in online. Please let me know, if exists such softwares.