 5 for z.
-5
Let z(r) = r**2 - r + 3. Let t be z(0). Solve q + t = 2*i, 0 = i + 3*q - 1 - 4 for i.
2
Let v be (-6)/(-21) + (-24)/(-14). Let z be (2 - 4)*1 + v. Solve -5*j + 2*w = -11, 4*j - 2*w = -z*j + 10 for j.
1
Suppose 5*k = 2*b - 15, b = 2*b + 5*k. Let d = b + 0. Suppose 0 = -3*g - 2*g. Solve g = 5*v + 2*x - 29, 0 = 3*v - 0*x - d*x - 5 for v.
5
Let u(v) = v**3 + 4*v**2 + 2*v - 2. Let k be -2*(0/1 - -1). Let r be u(k). Solve -3*o - r = 5*a - 2*o, -a + o - 4 = 0 for a.
-1
Let y be ((-16)/14)/(10/(-35)). Solve -2*t - 14 = -y*t - 2*w, -3*t + w = -9 for t.
4
Let m = 1 - -3. Suppose 0 = 3*r + 15, 18 = 3*b + 5*r + 4. Suppose -5 + b = m*p. Solve w = -w - 5*y + 3, p*w = y - 3 for w.
-1
Let g = -17 + 17. Let z(d) = d**2 + 11. Let t be z(0). Solve -5*c + 7 = -2*m - 5, -3*c + 5*m + t = g for c.
2
Let i = -3 + 0. Let g(p) = -2*p - 3. Let o be g(i). Solve 4*h - 9 = j, -j + o = -2*h - 2*j for h.
1
Let z be 2/(-5)*(-14 - 1). Suppose 5*m = 10, 0 = t - 2*m - 3*m + z. Solve 0 = x - 0*y - 3*y + 4, 0 = x - 4*y + t for x.
-4
Suppose 0 = 2*s + 3*d - 3, 5*s - 3*d - 5 - 13 = 0. Solve -5*k + s*t = 3, 6*k - 5*t = 8*k - 5 for k.
0
Let i = -30 + 30. Solve 3*y - h = i, -4*h = 3*y - 2*h for y.
0
Let v(k) = -3*k. Let o be (2 - 0)*5/(-10). Let t be v(o). Let c be (6/(-3) - -2) + t. Solve 0*l = -3*s - 2*l - 4, -l = c*s - 1 for s.
2
Suppose 0 = -4*p - 0*p + 280. Suppose -4*x - 20 = -o, 6*o - p = o + 5*x. Let m = -7 + o. Solve -3*r - 4*w - 10 = -3, w - 11 = -m*r for r.
3
Let y be 244/6*(-9)/(-6). Let s = y + -36. Solve -3*i - 23 = -2*o, -5*i - s = -2*o + 8 for i.
-5
Let t = 15 + -10. Solve 5*z + t*y = -35, 0 = -2*z - y - 3*y - 24 for z.
-2
Let y = -13 + 16. Solve 4*c - 5*w = -12, 2*c + y = c + 3*w for c.
-3
Let f = -16 - -19. Let h be (2 + -8)/((-6)/f). Solve -3*d = c - 12, -3*c = -6 - h for d.
3
Let g(l) = -l**3 + 3*l**2 + 3. Let s be g(3). Solve k - 5*t = -7 - 1, s*k = 3*t - 12 for k.
-3
Suppose 3*d = 3*x - d - 4, 5*x - 2 = 2*d. Solve -4*h + 35 = -5*n, -3*n + x*h - 19 = -2*h for n.
-3
Let h be (-28)/6 + 2/(-6). Let d = 2 - h. Suppose d = -3*b - 5*q - 3, -3*q = 3*b. Solve b*n - 28 = -4*w + 2*n, -4*w + n + 12 = 0 for w.
4
Suppose 0*f - f - n = -8, -4*n = -20. Solve -f*m = 2*i - 14 + 4, -25 = 2*m - 5*i for m.
0
Let t = -10 + 13. Solve t*f - 8 = 5*b + 6, 0 = 4*b + 4*f + 24 for b.
-4
Let s be 0/((-8)/(40/(-15))). Let m(k) = -k + 10. Let i be m(6). Solve 2*v = 7*j - 2*j - 33, i*v - 3*j + 31 = s for v.
-4
Suppose -6*z - 3*l = -z - 45, 3*z = -5*l + 43. Let m be (-72)/(-16) - z/4. Solve -m*v - 4 = v, -5*y = -2*v - 7 for y.
1
Suppose -15 = -2*o - 3*o. Let f = o + 5. Solve -2*c - s + 5 = -0*s, -4*s = -4*c - f for c.
1
Let k = -32 - -36. Solve 8*h - 3*h + 2*v + 25 = 0, k*h + v + 17 = 0 for h.
-3
Let u(j) = j**3 - 5*j**2 - j + 7. Let q be u(5). Suppose -4*w + q*w = -2*c - 34, 5*w = 4*c + 83. Solve -5*i = w, -9 = r - 0*r + 2*i for r.
-3
Suppose 0*j = -4*j + 20. Solve j*y - 2 + 22 = -2*p, -5*y = -2*p for p.
-5
Let g(t) = t**3 - t. Let d be (-1)/(-2) + 4/8. Let f be g(d). Solve f = z - 5*i - 11, -8*z + 5*i = -3*z - 15 for z.
1
Suppose 4*x = 2*x - 6. Let g = 0 - x. Suppose 28 = g*t - t. Solve 5*v + 14 = -3*d, 2*d - d = 3*v + t for v.
-4
Suppose 20 = 5*l, 2*b + 0*b - 42 = 2*l. Suppose 2*u = -4*o + 10, 0 = 2*u - 7*u + 4*o + b. Solve i + 3 = -3*c - 12, 3*i = u*c + 11 for c.
-4
Let r be (1 - -4) + 8/(-4). Suppose -r*z + 5*d = 5, z + 3*d - 8 = 9. Solve 5 = -4*k + 5*k - q, 0 = z*k - 4*q - 25 for k.
5
Let z(a) = a**3 + 8*a**2 - 8*a + 13. Let d be (-6)/27 + (-79)/9. Let y be z(d). Solve 0 = 2*m + 3*m - y*j - 5, 5*m + 2*j = -25 for m.
-3
Suppose 5*w - 24 = -4. Solve -y - y - m = 4, -2*m = w for y.
-1
Suppose -r - 7 = -8. Let n(c) = -c. Let v be n(-2). Let m be 2*(r + v + 1). Solve -2*d - 3*d + m = 4*b, 5*d = 4*b - 8 for b.
2
Suppose 2*j + 7 = 3*w, 0 = -0*w + 2*w - 10. Solve j*q - x = -2 - 0, -5*q + 2*x - 4 = 0 for q.
0
Let t(y) = -2*y**3 - 3*y**2 - y + 2. Let j = -16 - -8. Let r be j/5 - 2/5. Let u be t(r). Solve -m - 3*g + 23 = 5, -4*g + u = -4*m for m.
3
Let j(y) = y**3 - y. Let a be j(1). Let p = -5 - -7. Suppose 2 = 2*z - p. Solve -5*i + 2*d + 1 = -a, z*d - 2 = 2*i for i.
1
Let z(x) = -5*x - 1. Let q be z(-1). Let m be (-25)/q - 2/(-8). Let h = m - -11. Solve -5*s - w = -6*s + 3, -22 = -h*s - 2*w for s.
4
Suppose 0 = 5*t - 3 - 27. Solve -2*j - 6 = 4*h, -t = j + 5*h + 9 for j.
5
Let w = -11 + 20. Suppose -10 = 7*r - w*r. Solve -3*s = -4*d + 1 - 5, r*s - 30 = -5*d for d.
2
Let x(g) = -7*g + 38. Let l be x(5). Solve r - l = -5*m, 3*r + 12 = 2*m - 2*r for m.
1
Let f be -1 - (-7 - (-3 + 1)). Suppose -c = h, 4*c = -f*h - c - 4. Solve 0 = h*t + b + 18, -24 = t + 3*t - 2*b for t.
-5
Let s(h) = h**2 + 1. Let q be s(2). Solve 0 = -5*r + 3*b + 27, -r - 8 = 3*r + q*b for r.
3
Suppose 7*l - 6*l = 3. Solve 2*c - 5 = 4*y + 5, -l*c + y + 10 = 0 for c.
3
Suppose -2*a - 17 = -2*w - 7, 5*w - 3*a = 25. Solve m - 14 = -5*j, w = 5*j - 4*j - 2*m for j.
3
Let n = -93 + 102. Solve n*g = 4*g - 4*w - 4, -20 = 4*g - w for g.
-4
Let f = -6 - -1. Let g(u) = u**2 + 4*u + 9. Let a be g(f). Solve -2*t + 1 = -3*p - 6, t = 5*p + a for p.
-3
Let g(q) = -q**2 - 18*q - 59. Let b be g(-10). Solve -30 = 5*f - 3*w, -4*f + 2*f - b = -3*w for f.
-3
Let k be (7 - 2)/(6 - 5). Solve -5*o - k*y - 5 = -30, o - y + 1 = 0 for o.
2
Suppose -6*p + 30 = -0*p. Solve 2*b + 10 = 3*c, 0*c - 19 = -p*c + b for c.
4
Let g = 98 - 95. Solve -c = -g*x + 12, 3*c + 3 + 0 = -2*x for c.
-3
Suppose 4*b - 9 = b. Let w = -2 - -10. Let m be (w + -4)*22/8. Solve 20 = d - b*i, -3*i = 5*d - m + 1 for d.
5
Let s(f) = -6*f. Let y be s(-1). Let m(i) be the first derivative of i**3/3 - 7*i**2/2 + 8*i + 1. Let w be m(y). Solve c = -4*h + 8, 4*c = -w*h + 4 - 14 for h.
3
Suppose -10 = -5*s, 4*m - s - 14 = -2*s. Suppose 0 = -2*a + h + 2*h + 4, 0 = -h + 2. Solve 3*g + 5*c - 8 + 3 = 0, 0 = a*g + 3*c - m for g.
0
Suppose -5*j + 0*s - s = -14, -3*j = 3*s - 18. Suppose c - 3 - j = 0. Solve -3*t - b = -2*t + c, -b = -4*t - 5 for t.
-2
Suppose 4*f - 4 = -2*t + 4*t, -f - t + 7 = 0. Let a be 4 + (f + -3)/(-1). Solve -z + a*z - 5*y - 17 = 0, 4 = -4*y for z.
4
Suppose 5*i = -4*l + 4 + 41, l + 10 = 3*i. Solve -6*r = 2*o - 2*r - 2, -3*o = -i*r - 14 for o.
3
Let o = 1 - -1. Suppose -2*b - 3*j + 1 = -7, 26 = b - 4*j. Solve 2*k - k + 5 = -4*h, -2*h + b = -o*k for k.
-5
Suppose -18 = -t - 2*t. Let p = -1 + t. Solve -3*a + 7 = -p, -a + 19 = -3*i for i.
-5
Suppose 0 = g - 5*g + 4. Suppose t - 2 - g = 0. Solve -t*p - 12 = -2*p - 3*u, 24 = -5*p + 3*u for p.
-3
Let z be 40/30*6*1. Let s = -6 + z. Suppose s*y = 4*y - 40. Solve 0 = -4*q - 4*l + y, -l = 5*q - 14 + 1 for q.
2
Let k = -3 + -1. Let q(s) = s**2 + 3*s + 4. Let d be q(-3). Let o = k + d. Solve -4*j + 24 = -y, o + 26 = 2*j - 4*y for j.
5
Let j = -17 - -19. Solve j*l + 2*x + x + 2 = 0, -32 = -4*l + 3*x for l.
5
Let t = 54 - 47. Solve t = -l - 3*b + 23, 5*b - 32 = -3*l for l.
4
Suppose 5*f = 11*f - 12. Let t = -7 + 13. Suppose -t*l + 12 = -f*l. Solve -4*i - 3*w = i - 8, 2*i + l*w = 5 for i.
1
Suppose 3 = 2*g - g. Let y(u) = -u**3 + 13*u**2 + 15*u - 20. Let t be y(14). Let n = g - t. Solve 3*z = j + 1 + 6, -n = -z - j for z.
4
Suppose -6*c + 20 = -2*c. Suppose 4*a - 5*a = -c. Solve -a*s - d + 0*d = -23, -2*s = 2*d - 6 for s.
5
Let x(i) = -i. Suppose 5 = 3*y + 8. Let p = y + -2. Let a be x(p). Solve f + n - 3*n - a = 0, 0 = -4*f - 4*n for f.
1
Let p(b) = b + 1. Let n be 2 - (-3 - -1 - -2). Let c = 3 - n. Let a be p(c). Solve 5*q + 1 = 2*k + a*q, 0 = 5*k - 2*q - 8 for k.
2
Suppose 2*z - 6 = 2*r - 0, -4*r + 3*z - 11 = 0. Let g be (3 - -1) + -2 - r. Solve -2*q - g*a = -24, 0*q = -5*q + 2*a for q.
2
Suppose -29 - 19 = -3*d. Let k = -16 + d. Solve 3 = 3*o - 3*a + 4*a, -a = k for o.
1
Suppose -3*b + 10 = -2. Let s be (2/2)/((-4)/(-8)). Solve -w - 2*w - s*i - 19 = 0, -b*w + i = 18 for w.
-5
Suppose -r = -2*c - 3*r, 3*c = r + 8. Suppose 5*q = 10, -3*s + 5*s = -3*q + 46. Suppose -3*w - 2*w + s = 0. Solve 1 + 3 = -n, c*n + 16 = w*b for b.
2
Suppose -3*m + u = 2*u, 2*m - 4*u - 14 = 0. Solve 3*i = 0, 0 = -0*a - a - 5*i - m for a.
-1
Let y(h) = -3*h - 3. Let j be y(-4). Let o = -16 + 19. Solve -o*x = 2*a - j, a = -3*a + 5*x - 15 for a.
0
Let f = 3 + 3. Suppose -3*h = -8*h - 3*t + f, 4*t = 8. Let c = 16 + -8. Solve 0*l + 2*l - 26 = -4*m, h = l + m - c