Reduce the equations modulo 5.