Yes, it does (at least in principle). Maxima even has a package that implements Groebner bases, which among many things, can be used to solve systems of polynomial multivariate equations. Fabrizio