Algebraic Systems of Equations and Computational Complexity Theory