Elementary theory of equations