for z.
-2
Suppose -6*d + 2*d + 2*s = -22, 5*d + 3*s = 0. Suppose -d*c - 8 - 1 = 0. Let r = c + 8. Solve -i + r*i = 20 for i.
5
Let p(m) = -m**3 + 7*m**2 - 5*m. Let t be p(6). Solve -2*c - t - 4 = 0 for c.
-5
Let n = 57 + -53. Let f = 6 - 2. Solve -12 = f*j - n for j.
-2
Suppose -44 = -6*m + 2*m - 5*h, 0 = -4*m - 4*h + 40. Solve 2*o - m*o = 12 for o.
-3
Let j(b) = -b**2 - 8*b - 11. Let f be j(-5). Let m be -1 + ((-12)/f)/(-3). Solve 3*z + 3 - 15 = m for z.
4
Let s be -6 - -4 - (-4)/2. Suppose 5*g + 3 - 23 = s. Suppose -g*o + 2*o = -4. Solve 2*q = -o*q + 16 for q.
4
Let z be (7 + -9)*2*1. Let s = z - -4. Solve 0 = -2*n - s*n + 8 for n.
4
Let q be 0*(7/2 - 3). Solve q*m = 2*m + 2 for m.
-1
Let x = 206 + -201. Solve b = -x + 2 for b.
-3
Let w(s) = 2*s**2 - 3. Let o(v) = -v**2 + 2. Let g(r) = 5*o(r) + 3*w(r). Let j be g(-2). Solve 2 - j = u for u.
-3
Suppose 62 = 3*n + 5*z, 0 = -2*n + 2*z - 5*z + 40. Suppose 4*s - 2*s - n = 0. Solve 2*p = -s + 3 for p.
-2
Suppose z + 2*y = y + 4, -3*y + 9 = 0. Suppose z - 11 = -5*b. Solve 2 = b*f - 0 for f.
1
Let f = 11 - 9. Solve -8 = 5*c + f for c.
-2
Suppose -4*a = -16, j + 0*a - 8 = -a. Let l be j - 1/((-3)/(-6)). Solve -7 - 1 = l*c for c.
-4
Let a(p) = 3*p - 7. Let w be a(3). Solve -w*g + 4 = -g for g.
4
Suppose -4*z + 3*z = 0. Solve z*d + 2*d = -4 for d.
-2
Let z(w) = w**3 - 2*w**2 - 3*w. Let f be z(3). Suppose 3*c + 1 + 5 = f. Let n be c/3 + (-96)/(-9). Solve -b = b + n for b.
-5
Let l = -6 + 6. Suppose 2*y - 5*y = l. Suppose 3*u - 2*u - 2*r - 9 = y, 72 = 4*u + 4*r. Solve -u = -d - 2*d for d.
5
Let k be 1*-5 - (-8 - -5). Let t be (-32)/(-18) - k/9. Solve t*v = -0*v + 10 for v.
5
Suppose 0 = -5*c + g + 32 + 67, 4*c + 2*g = 68. Suppose 0*p + 3*p = -2*h - 5, -c = -2*h + 5*p. Solve 4*o - h*o = -4 for o.
-2
Let t be (5 + -4)/((-2)/(-4)). Suppose 3*s = -t*k + 4, -5*s + 1 + 3 = 4*k. Solve 12 + 0 = s*c for c.
3
Let t = -18 + 19. Solve -1 = b + t for b.
-2
Let m be (1/3)/(42/63)*16. Solve -3*l - 1 = m for l.
-3
Let f be ((-4)/(-7))/((-4)/(-14)). Solve -3*v + 17 = f for v.
5
Let z be -3*1/(-3) - -1. Let s be (6/z)/((-2)/4). Let n be 8/3*(-9)/s. Solve 0 = j - 0*j - n for j.
4
Let s be 7 + -2*(-1)/2. Let v(d) = d - 6. Let x be v(s). Suppose x*a + 0 = 8. Solve t - a*t = 9 for t.
-3
Let b(m) = -5*m**3 - m**2 - m. Let i(w) = -w + 2. Let z be i(3). Let n be b(z). Solve 5*l + n = -0*l for l.
-1
Let v be ((-24)/(-20))/(9/30). Suppose -2*g - 18 = -v*r, r - 2*g = g + 17. Solve -d - r = d for d.
-1
Let q(u) = u + 9. Let j be q(-7). Let v be (2 - 2)/1 + j. Suppose b - v = -0. Solve 5*o = b*o for o.
0
Let u(l) = 2*l - 8. Let z be u(6). Suppose 0*b - 29 = -3*b - m, 2*m = -z*b + 38. Let x be 55/b + (-1)/2. Solve 4*s = -x + 25 for s.
5
Let j = 5 + -3. Solve k = 2*k + j for k.
-2
Let u(i) = -i**3 + i**2. Let q be u(1). Let s be 0/((q + -1)/(-1)). Solve 2 = r - s for r.
2
Suppose -2*d - 2*z = -54, -3*d - 4*z - 117 = -8*d. Solve -c = -6*c - d for c.
-5
Let f(v) = 13 - 31 - v + 8. Let n be f(-10). Suppose -6 = q - 3*q. Solve 0 = q*l - n*l for l.
0
Suppose -7 - 19 = -3*i + 5*y, 4*i - 16 = 2*y. Solve -i*b - 5 = -1 for b.
-2
Suppose 23*z = 19*z + 16. Solve 0*h - 8 = -z*h for h.
2
Suppose -2*b - 8 = -4*j, -4*j + 22 = 3*b + 4. Suppose 26 - 1 = 5*o, -j*o + 205 = 5*r. Let y = r + -18. Solve -x - y = 4*x for x.
-4
Let z(d) = -d**3 + 8*d**2 - 6*d + 4. Let b be z(7). Suppose 3*c = -5*k - 2*c + 25, 0 = 2*k - 5*c + b. Solve -k*j = j for j.
0
Let g(a) = -a**3 + a**2 - a + 4. Let l be g(0). Let d = -2 + l. Let o = 0 + d. Solve -m = -o*m for m.
0
Suppose 18 = 3*w + 3*v, -2*w - 14 = -w - 3*v. Suppose -3*b + b + 4 = 0. Let g be w/(b + 5/(-3)). Solve -3*p + 0*p = g for p.
-1
Let i(g) = g**2 + 2*g - 5. Let q be i(-4). Let d be 16/((-4)/(-18)*3). Suppose -p - 7 = 4*o - o, 4*p - d = o. Solve q + 17 = -p*y for y.
-4
Suppose -2*i - 28 = -4*q - 7*i, i = -4*q + 12. Suppose c - q = 2. Solve c*b + 10 = -b for b.
-2
Let r(q) = 3*q**2 - q. Let u be r(1). Solve 0 = 3*k - u + 5 for k.
-1
Let a be 1 - 14*2/(-4). Suppose 4*p + 5*u = -7, 0 = -3*p - u - 0*u + 3. Suppose -p*y = -4*y - a, 5*q + y = 21. Solve 0 = -2*f + q + 5 for f.
5
Suppose -3*m - 4*h = 16, -5*h + 0*h = 2*m + 20. Let k = m - -2. Solve -k*n + n = -5 for n.
5
Suppose 2*o - 4*o = -2. Let c be o*(-2 + (-4)/(-2)). Suppose c*l - 5*l = 0. Solve l = -5*m - 1 - 19 for m.
-4
Suppose -214*f - 95 = -233*f. Let j = 7 - 3. Solve f*d + 24 = j for d.
-4
Suppose -q + 7 = -5*n, 59 = 2*q - 0*n - n. Suppose 2*d - q = -12. Solve -5*m = -d*m + 5 for m.
1
Let j be (2/(-4) - 34/(-4))/1. Solve 4*c + j = -0*c for c.
-2
Let g be 4/(-22) - (-4)/22. Suppose -z + 0 + 4 = g. Solve 0*f - 2*f = -z for f.
2
Let m be (6 + -1)/((-8)/16). Let b = -6 - m. Solve 0*k - 8 = b*k for k.
-2
Suppose 2*l + l = 5*h + 18, 4*h + 17 = 5*l. Let u = h - 1. Let a be (-23)/(-2) - 2/u. Solve -n - 3*n - a = 0 for n.
-3
Suppose -4*p = -w + 18, w + 6 = 3*w + 2*p. Suppose -3*n + 3 = 5*x, x = 4*n - 3*n - 9. Suppose g - 3*y - n = -6*y, 3*g + w = 3*y. Solve 4*d = -g*d - 20 for d.
-5
Suppose m = -m - 2*w - 10, -15 = -4*m + 3*w. Solve m*s - s = 1 for s.
-1
Let q = -28 + 32. Solve -3 = -3*r + q*r for r.
-3
Let b = -11 + 8. Let o = b + 7. Suppose -2*r = -3*y + 3, -5*r + 4*y = -o*r + 4. Solve -3*q + r - 3 = 0 for q.
-1
Suppose 3*v + 4 = 13. Solve -6 = -0*z + v*z for z.
-2
Let l be (-1)/(-5)*(-5 - (-180)/6). Solve 0 = t + l - 1 for t.
-4
Let l = 2 - -1. Solve 0 = f + l*f - 12 for f.
3
Suppose 2*f - 15 = -5*l - 3*f, f - 6 = -2*l. Let v = 6 - l. Suppose 0*b = -2*b. Solve b = v*d - 2 + 5 for d.
-1
Let a(p) = -p - 5. Let q(m) = -3*m - 16. Let h(b) = -7*a(b) + 2*q(b). Let z be h(-4). Let g = 1 + z. Solve 0*d - 3*d + 3 = g for d.
1
Let n = 10 - 10. Solve n = 2*p + 2*p for p.
0
Suppose i + 0 = -2. Let f(j) = j**3 - j**2. Let h(v) = -3*v**2 - v + 1. Let g(w) = -f(w) + h(w). Let s be g(i). Solve -4*a - s - 5 = 0 for a.
-2
Let t(s) = 10*s + 9*s**2 + 0 + 0 + 2 - s**3. Let u be (-4)/((-2)/(-5)*-1). Let v be t(u). Solve -5*o = -v*o for o.
0
Let p(b) = 2*b - 6. Let w be p(5). Suppose 4*g - 12 = -w*o, o = g - 2*o + 1. Suppose -5 - g = -l. Solve -v + 4 = l for v.
-3
Let s be (-4 - 9)/(-1 - -2). Let d = s + 23. Solve -2*t - d = -0*t for t.
-5
Let s(n) = n + 2. Let t be s(-2). Solve t*o = -4*o + 12 for o.
3
Let f(h) = h**2 - 6*h + 1. Let g be f(5). Let z be 0/(3/6*g). Suppose 12 = 2*m - 0*m. Solve 2*p + p + m = z for p.
-2
Let y = -8 + 11. Let r = -5 + 7. Suppose 0 = -r*u - 0*u + 4. Solve y*s - 5 = -u*s for s.
1
Let w(z) = -3*z + 8. Let t be w(2). Solve t*u + 12 = 4 for u.
-4
Let g = -8 - -8. Suppose 106 = 5*l - 9. Solve g = 4*z - 7 + l for z.
-4
Let x(j) = -j**3 - 5*j**2 - 3*j - 2. Let a be x(-2). Let z be 2*(-2)/a*6. Let w be (6 + -1 + 0)*z. Solve 0 = -6*y + y - w for y.
-3
Let h(v) = -v**3 + 4*v**2 - 4*v + 1. Let o be h(3). Let u(d) = d**3 + 4*d**2 + d + 2. Let s be u(o). Let x be (1 - 1)/(6 + -7). Solve x = -b - b - s for b.
-4
Let o(g) = 2 + 11*g + 4 - g**2 - 5*g + 7*g. Let j be o(13). Solve 0 = -3*h + j for h.
2
Let y(d) = d**2 - 3*d - 2. Let r be y(4). Solve -r*o = o - 9 for o.
3
Let s be 5*(-1)/5*-9. Let l be 6/s*3 - -6. Solve -8*j = -4*j - l for j.
2
Let g(u) = u - 4. Let b be g(4). Let f be (-1)/(-6) + 11/6. Suppose z - 3*y + f = -0*y, -2*y - 8 = -3*z. Solve b = s + 3*s + z for s.
-1
Suppose -12*l + 18 = -6. Solve t + 2 = -l for t.
-4
Let o(s) = -2*s**2 + 6*s + 5. Let h(r) = -2*r**2 + 7*r + 6. Let q(k) = 5*h(k) - 6*o(k). Let v be q(-1). Let g = 9 + -2. Solve -i + g = v for i.
4
Let n(y) = 3*y - 9. Let f be n(8). Solve -4*h = h - f for h.
3
Suppose t - 5*t + 4*i = -24, 0 = -2*t + 5*i + 15. Suppose -3*h - 12 = -3*q, -5*q - 4*h - 7 = 9. Solve -t*z - 15 = -q*z for z.
-3
Suppose 1 = 4*u + q, 8*u = 5*u + q - 1. Suppose 2*n + 2*n - 8 = 0. Solve u = -s + n*s for s.
0
Suppose 3*p = -p - 28. Let h(y) = y**2 + 5*y - 9. Let m be h(p). Solve 3 + 7 = -m*x for x.
-2
Suppose -15 = 5*s - 8*s. Solve -b - s = -2 for b.
-3
Let n = -2 + 2. Suppose n = -2*d + 1 + 1. Solve 0 = 5*c + 16 - d for c.
-3
Suppose -2*d - 2 = -4*d. Let b = 3 - d. Suppose -2 = 3*h - 14. Solve -b*a = -0 + h for a.
-2
Suppose 12 = -3*h, -5*h = 4*s - 0*s + 20. Let y(v) = v**3 - 5*v**2 + 5*v - 1. Let f be y(4). Suppose s*z = f*z. Solve z = k + 3 - 0 for k.
-3
Suppose 2*f + 0*v = -4*v + 28, 0 = 5*f + 2*v - 46. Let p = f - -28. L