Systems of equations and lattices of congruences of universal algebras

We investigate the dependence of properties of systems of equations over the universal algebras on the properties of lattices of congruences of these algebras. Our main result is the description of conditions on the lattice of congruences under which it is possible to construct a Gauss-like algorithm of solution of systems of equations.