7547: nsolve recognizes systems with Eq