Let x(b) = b2 - 1. Let w be x(0). Let f = w + 5. Let y(i) = -i3 - 2*i**2 + i + 2. Let r be y(-2). Solve r = -z + f*z + 3 for z.
-1
Suppose -3*g = -5*f - 78, -4*f - 56 = -4*g + 8*g. Let o be (-38)/(-6) + (-10)/f. Solve -5*c = o + 18 for c.
-5
Let d = 30 - 30. Solve d = 2*b + b for b.
0
Let n(i) = i3 + 12*i2 + 10*i - 9. Let b be n(-11). Suppose -w = -0*w - b. Solve c - 1 = -w for c.
-1
Suppose -43 + 7 = -3*n. Suppose 0 = z - 0*z - 2*i + 10, z + n = 4*i. Let g be (-44)/z + (-9)/6. Solve -v = g*v - 20 for v.
4
Let x(g) = -g**3 - g + 3. Let w be x(0). Solve w = -2*r + r for r.
-3
Suppose o + 3*o = 20. Suppose 0 = 3*x - 0*x. Suppose 2*w = 4*w + k - 13, x = 4*k - 20. Solve -1 = w*j - o for j.
1
Suppose -4*x + 4 = 0, -6*v = -2*v - x - 15. Suppose v*y - 2*y - 12 = 0. Solve -5*r - 4 - y = 0 for r.
-2
Suppose c + 0*c + 80 = 0. Let y be c/(-36) + 2/(-9). Suppose -s + y*s - 4 = 0. Solve s = -2*j - 0 for j.
-2
5