  We consider parametrized systems of generalized polynomial equations (with
real exponents) in $n$ positive variables and involving $m$ monomials with
positive parameters; that is, $x \in \mathbb{R}^n_>$ such that $A \, (c \circ
x^B) = 0$ with coefficient matrix $A \in \mathbb{R}^{l \times m}$, exponent
matrix $B \in \mathbb{R}^{n \times m}$, parameter vector $c \in
\mathbb{R}^m_>$, and componentwise product $\circ$. We instantiate a general
result for polynomial inequalities obtained in parallel work. In the setting of
equations, the relevant geometric objects of the problem are a polytope arising
from the coefficients and two subspaces representing monomial differences and
dependencies. The dimension of the latter subspace (the monomial dependency
$d$) is crucial. Indeed, we rewrite the problem in terms of $d$ binomial
conditions on the "coefficient polytope", involving $d$ monomials in the
parameters. Thereby, we obtain a classification of polynomial equation systems.
If $d=0$, solutions exist (for all $c$) and can be parametrized explicitly. If
$d>0$, the analysis requires additional objects and methods such as
sign-characteristic functions, Descartes' rule of signs for functions, and
Wronskians. Our framework allows a unified treatment of multivariate polynomial
equations. We demonstrate its novelty and relevance in three examples and two
classes of examples from real fewnomial theory. In particular, we study (i) $n$
trinomials involving ${n+2}$ monomials in $n$ variables and (ii) one trinomial
and one $t$-nomial in two variables. For (ii), we improve previous upper bounds
for the number of positive solutions.
