Let y(z) = -z3 - 2*z2 - z + 1. Let d be y(-2). Let a = d + 1. Let r = 5 - 1. Solve r = a*u - 0 for u.
1
Suppose 2*d - 8 = -2*d. Suppose -2*k = 3*k - 25. Suppose -s - d*s + 4 = -q, s = -k*q + 28. Solve -s*j = -2*j + 4 for j.
-4
Suppose -b - 2 = -d - 5*b, -d + 2 = 2*b. Suppose 0 = -c + d*c - 2. Solve -c*z + z = 5 for z.
-5
Let z = -3 - -4. Solve 2*y = -z - 1 for y.
-1
Suppose -7*y + 52 = -3*y. Solve 4*g + 5 = y for g.
2
Let g = -13 + 22. Let l(j) = 3*j**2 - j + 1. Suppose -2 - 2 = -4*o. Let z be l(o). Solve 0*x = z*x + g for x.
-3
Let r = 3 - 0. Let x = r - -4. Solve 2*i - x*i - 5 = 0 for i.
-1
Let t = 30 + -15. Suppose -3*q + t = -0*q. Solve -q*g + 2*g = 12 for g.
-4
Suppose 5*v - 2 + 7 = 0. Let p be 1 + (-2 - v) + 0. Suppose -j + 4*y + 20 = p, -y = -4*j - 0*j + 5. Solve 4*x + 4 + 0 = j for x.
-1
Let t(y) be the first derivative of -y**2⁄2 + y - 1. Let f be t(1). Suppose f = -4*r + r + 6. Solve -r*u = -0*u - 8 for u.
4