So, "solve" will always assume that the expression in each position of the vector is an equation,
or an inequality, so sometimes you have the choice between "assume" and an additional constraint in the vector (and I would normally prefer "assume").
and it will assume equal with 0 if not defined otherwise.
Yes.