Solve both equations and form a new equation in variable $z$… | Simplification | AptiDude | AptiDude