Let g(z) = -z2 - 6*z - 4. Let u(d) = d3 + d**2 - 5*d - 3. Let p be u(-3). Let t be g(p). Let f = -4 - t. Solve 0 = 2*h - f*h - 6 for h.
3
Suppose 0 = 3*t + 3*t. Suppose 0 = -0*x + 3*x - 15. Suppose -2*h + 25 = 5*d, 18 = -3*d + 3. Solve -x*j + t = -h for j.
5
Let d(t) = t**2. Let f be d(2). Suppose -2*a = -f*p - 22 - 40, -4*p - 3*a = 47. Let z be 78⁄21 + (-4)/p. Solve 3 + 17 = -z*s for s.
-5
Suppose 2*k = -4*c + 4 - 0, -2*k + 3*c = 10. Let o be 0 - k - -1*1. Solve o*b + 5 + 4 = 0 for b.
-3
Suppose a + 3*d - 4 + 5 = 0, 2*d - 16 = -4*a. Solve 2*n = a*n for n.
0
Let i(g) = -g + 7. Suppose p - 6*p = -5*d - 5, 4*d + 4 = 5*p. Let t be i(p). Let b = -1 + t. Solve b - 2 = w for w.
4
Let d(g) = 5*g + 43. Let a be d(-8). Solve -a*z + 1 = -4*z for z.
-1
Suppose 6*l = l + 5. Suppose -3*i - l = -4*i. Solve -5 = 2*g + i for g.
-3
Suppose -3 = -9*w - 3. Solve -6*s + s = w for s.
0
Let u(i) = -i3 + 2*i2 + 2*i + 3. Let c = 3 + 8. Let t = c + -8. Let s be u(t). Solve 3*v - 2*v + 3 = s for v.
-3