; A problem from a Eureka review.
; Just a typical nonlinear problem.

SIN(x) + y^2 + LN(z) = 7
3 x + 2^y - z^3 = -1
x + y + z = 5