I am interested in solving the following system of non-linear equations.
I am looking for $$x,y,z \in \mathbb{C}$$ with
$$x+z = -6$$ $$y+zx=-1$$ $$yz=30$$
In fact I am actually interested in just establishing a solution exists even without finding it. Also the constants on the right side are somewhat arbitrary so I would like an argument that can apply for any numbers there. I also realize I could do a direct substitution which could reduce this to solving a single cubic equation but that is not ideal because it would then rest on me being able to solve an arbitrary cubic if I let the constants be arbitrary.
Is there some sort of concept, analogous to determinants for linear systems, that would help here?
Let $a, b , c \in {\Bbb C}$ with $c \not= 0$. The system \begin{align} x+z &= a \\ y + zx &= b \\ yz &= -c \end{align} is equivalent to $x = -z - a$, $y = -c/z$ and $zy + z^2x - bz = 0$ and this latter equation can be rewritten as $z^2(-z-a)-bz -c = 0$, that is $z^3 + az^2 + bz + c = 0$.
In other words, a suitable choice of the right hand side of your equations yields a generic cubic equation, so your problem is essentially equivalent to solving a cubic equation. If you just want to prove the existence of a solution, then of course every polynomial equation in $\Bbb C$ has a solution.