(x^2+6x+1) congruent 0 (mod 31)