Reduce the equations modulo 7.