-b + 5*k = -13. Solve n - 3*n - 11 = b*y, -5 = -y - 5*n for y.
-5
Let d = -401 + 401. Solve t + y = -4*y - 1, d = -5*t - 5*y + 15 for t.
4
Let t(m) = m**3 + 4*m**2 - 4. Let b be t(-2). Solve 3*f - 8 = b*h + 12, 3*f + 2*h = -10 for f.
0
Suppose -45 = -3*z + s, -7*z = -10*z - 3*s + 33. Solve 0 = 4*m + 5*w - z, 2*w - 4*w = -4*m for m.
1
Suppose 12*t = 17*t - 3*x, 2*t - 2*x + 4 = 0. Solve 2*d - 2*g + 3 = -5*g, -t*d + 3*g = -18 for d.
3
Suppose -4 - 110 = -6*r. Suppose 5*a - 10 = 0, 4*z + 9 = -4*a - r. Let n be (-12)/(-9)*z/(-6). Solve -b + 4*m = 9, m + 3 = -b + n*m for b.
-1
Let y be -7 + (-2)/(-4) + 143/22. Solve 3*j + 0*w = w, -2*j + 4*w = y for j.
0
Let k = 602 + -600. Solve 8 = -4*b, k*d - 5*b - 6 = -2*d for d.
-1
Let g(c) = -2*c**3 - 2*c**2 + c + 1. Let n be g(-1). Solve 5*k - q = 15, -3*k + n*q - 3 = -3*q for k.
4
Let n = -30 + 70. Let j = 43 - n. Solve -5*r - 2*p = -8, -j*r - p - 3 = -4*r for r.
2
Let d(i) = i**3 + 8*i**2 - 13*i + 16. Let h be d(-10). Let y = -52 - h. Solve 3*a + a - y*q = 18, 3*q = -15 for a.
2
Let d(s) = -35*s + 144. Let m be d(4). Solve -n + 2 = 0, 6 = -3*k - n + m*n for k.
0
Let x be 8/3 - (-1)/3. Let p(w) = 3*w + 1. Let q be p(1). Let j be q + 5 - (-3 - -1). Solve 3*a + 4*c = 17, -x*a = -0*a + c - j for a.
3
Suppose 2*a = 3*a - 4. Suppose -a*y = -16 + 8. Let c(m) = m**2 - 14*m + 21. Let x be c(14). Solve -y*u + 4*j + 0*j = 6, -5*u - x = -4*j for u.
-5
Suppose 0 = -15*w + 28 + 2. Solve -1 = -2*m - 5*q - 4, -4*m + w = 2*q for m.
1
Let p(l) = 3*l + 27. Let j be p(-8). Suppose -j*c + 57 = -24. Solve -2*s + 2 + 16 = 4*z, 5*s = -4*z + c for s.
3
Let x(o) = -o**3 + 3*o**2 + o + 1. Let n be x(3). Let d be n/(-10) + (-34)/(-10). Solve -2*r + 22 = -p - d*p, r - 1 = 0 for p.
-5
Let a = 247 + -167. Suppose -4*w - 64 = -a. Solve w*z = 3*u + 7 + 1, z = 5 for u.
4
Suppose -10 = -2*u + 2. Solve -u*q + 16 = -q - 3*b, 3*q = 2*b + 9 for q.
5
Let c(r) = 5*r**2 + 0*r**2 - 10*r + 12 - 4*r**2. Let g be c(8). Let y be 27/6 + g/8. Solve 4*t - 4*l + 25 + 7 = 0, -17 = -t - y*l for t.
-3
Suppose 10*d - 186 = -26. Suppose -a + d = 7*a. Solve 5*q = 10, -c + a*q = -3*q + 10 for c.
0
Let r(p) = -4*p - 1 + 0 - 2. Let z be r(-7). Suppose -2*a + 5*a - 25 = -2*c, -c = 4*a - z. Solve -a*n = 3*v - v - 15, 2*n - 6 = -5*v for n.
3
Suppose -9 = -21*x + 18*x. Solve 4*z = 4*b + 8, -5*b + x*b - 4*z = -14 for b.
1
Suppose -3*g = -9*g - 180. Let l = g - -32. Let i(d) = -d**2 + 4*d - 1. Let p be i(3). Solve 3*w = -2*y + 3*y - 6, p*y + l*w - 4 = 0 for y.
3
Let r be 2/1 + 13/(5 + -4). Solve -b - 9 = -5*p, 4*b = -5*p - b + r for p.
2
Suppose 0 = 5*x - 5*p, -15*x + 14*x = -3*p + 6. Solve a - 25 = -5*n, -x*a + 4*n = -5*a + 20 for a.
0
Suppose 4 = 2*t + 2*y, 23*t + 4*y = 22*t - 1. Solve 3*p + t*j + 24 = 0, -2*p + 9 - 22 = j for p.
-5
Suppose -164 = -3*d - 128. Suppose 21*t + d = 22*t. Solve 2*m = -4*g - 8, -2*g + t = -0*m - 3*m for m.
-4
Suppose -600 = 13*f - f. Let t = 1 + 6. Let o be f/35*t*-1. Solve -v - 5*l = -36 + 14, o = -v + 3*l for v.
2
Let g(z) = 6*z**3 - 4*z**2 + 0 + 4*z - 5*z**3 - 2. Let c be g(2). Let l = c - -5. Solve 9 + 4 = -l*a - 4*f, 5*f + 8 = -a for a.
-3
Suppose 0 = 2*m - 23*m + 84. Solve x - 10 = 5*v, -3*v - 17 = -6*v - m*x for v.
-1
Let j = -2 - -5. Let t be (j + -6)/(-1 + 0). Suppose d = 4*m - 4, 0 = 2*m + 3*m + 3*d - 5. Solve t*r - k = -2*k - 3, k = -r + m for r.
-2
Let a(o) be the second derivative of 4*o**2 + 1/6*o**3 + 0 + 10*o. Let n be a(-5). Solve 10*l - 5*l = -2*w - 15, -n = -2*w + l for w.
0
Let a(d) = d**3 - 7*d**2 + 9*d - 2. Let g be a(2). Let p be ((-56)/(-42) - 23/6)*g. Solve -3*b = b + 4*s - 8, 4*s = -2*b + p for b.
-1
Let u(l) = 4*l**2 - 77*l - 77. Let q be u(-1). Solve 0 = -d + 4*i, 20*i - 16*i = -q for d.
-4
Let i = 82 - 38. Let l = i - 44. Solve l = 4*f - 3*v + 16, -4*v + 12 = -3*f + v for f.
-4
Let d(i) = 2*i**2 - 32*i - 6. Let n be d(16). Let l be n/((-3)/3) - 4. Solve -3*z = -4*p - 11, -11 = -2*z + p - l*p for z.
5
Let a(g) = 2*g - 7. Let p be a(5). Suppose -m = p*m + m. Let f = -12 + 22. Solve -f = -m*q - 2*q, 3*d = 3*q - 21 for d.
-2
Let s = 1 - 1. Let m(p) = 2*p**2 + 27 - p**2 - 3. Let x be m(s). Solve -r + 2*g - 18 = -6*r, 5*r = 4*g + x for r.
4
Suppose -7*z = -3*z + w - 2, -3*w + 6 = -2*z. Solve r - 4 = 2*r - 2*j, -4*j = z for r.
-4
Let y = -534 + 538. Solve 2*j - y*g - 4 = 0, 0*g = g for j.
2
Let t(s) = -s + 22. Let l be t(5). Suppose l*o = 20*o - 15. Solve 0 = -3*w - n + 4*n - 3, 0 = o*w + n - 13 for w.
2
Let y be (-54)/9 + 5 + 6. Solve 0 = q + y, 5*k - 3*k = -q - 9 for k.
-2
Let y be (-108)/(-24) + 2 + 15/(-6). Let t(v) = -v + 8. Let x be t(7). Solve -n - b - 8 = -x, -b + 13 = -y*n for n.
-4
Suppose 4*i - 2*m - 10 = 0, i + 9*m - 14*m = -20. Solve i*o = -5, -4*o = -2*t + 5 + 1 for t.
1
Let j(f) = -f - 6. Let r = -31 - -19. Let n be j(r). Suppose -3*x - n = -6*x. Solve x*o - 5 = 5*g + 6*o, -o - 15 = 4*g for g.
-5
Let l = -12 - -33. Suppose 6 = -3*a + 2*u, 17*a + 12 = l*a + 4*u. Solve 4*c - 18 = j, a = 4*j - 3*c + c + 16 for j.
-2
Let d = 52 - 54. Let p(n) = -n**3 + 4*n**2 + 5*n. Let k be p(d). Solve -m - k = 5*v, 5*v - 2*v = -m - 10 for v.
-2
Let y(u) = u - 5. Let i be y(7). Let l be 23 + -27 - (196/8)/(-7)*2. Solve -4 = -5*x + 3*o, 5*x - l*o = -i*o + 8 for x.
2
Suppose -4*p - 3*z + 3 = 0, -2*p + 2*z - 6 = -6*p. Suppose -p*v - 2*v = -v. Solve 4*s - 5*r + r + 12 = 0, -4*s + 5*r - 11 = v for s.
-4
Suppose l = -z - 3*z + 23, -6 = -2*l. Solve 0*b + 11 = -2*b - t, z*b = -5*t - 30 for b.
-5
Let d be ((-4 - -3)*2)/(-2*1). Let r be ((-3)/d)/(-1 - 2/(-8)). Solve r*g = -10 - 10, 2*m - 4*g = 30 for m.
5
Let y(c) = 2*c**2 + 6*c - 7. Let k be y(-5). Suppose -2*v - 3 = -3*v. Suppose 3*a - v - 6 = 0. Solve -5*h - 4*g = -k, a - 11 = -4*h - 2*g for h.
1
Suppose -3*g = 2*o - 21, -3*o = 3*g - 0*o - 24. Suppose 4*a - 9*a = m - 4, -2*m + 8 = g*a. Solve n - 3*f + 9 = -0*f, 0 = m*n - 2*f - 4 for n.
3
Let i(d) = -d**2 + 5*d + 4. Let k be i(-3). Let j be (90/(-60))/((18/k)/3). Solve -3*c = -5*t + 8, -4*c = -j*t - 0*c + 9 for t.
1
Suppose 3*b = m + 14, 12 = 2*b - 6*m + 8*m. Solve 0 = -5*u + u - z - 2, 10 = -4*u - b*z for u.
0
Let h = 21 - 21. Solve h = -3*m - 4*t + 23, 5*t + 5 = -5*m + 40 for m.
5
Let o be 6*3/(27/48). Let g be (o/(-6))/(16/(-24)). Solve -20 = 4*q - 4*u, -q + 3*u = -u + g for q.
-4
Let o(t) = -t + 10. Let p = -10 + 17. Suppose 7 + p = 2*d. Let c be o(d). Solve 2*y + 2*b - 2 = c*y, b = -5*y + 23 for y.
4
Suppose 0 = -4*d + 4. Suppose -43*j + i = -44*j - 3, 14 = -2*i. Solve v - 3*p = -j*p - 1, 4*v + 3*p = d for v.
4
Let j(y) = -y**3 - 6*y**2 + 5*y + 12. Let s be j(-6). Let n = s - -22. Suppose -n*m + 29 + 67 = 0. Solve 5*h + m = 2*g + 4, 28 = -4*h + 4*g for h.
-2
Suppose 2*k = -0*k + 10. Let g = -175 + 180. Solve k*a = -2*q - 0*a - 23, -g*a - 11 = -q for q.
-4
Suppose 10 = -7*c + 8*c. Suppose -3*h = 5*p - 25, c = 2*p - h - 3*h. Solve p*s = 3*t - 5, 2*t + t = -5*s + 25 for t.
5
Suppose q = 3*q - 90. Let j be q/(-12)*8/(-2). Suppose -4*w = -w - j. Solve z = w*l - 21, 4*z = l - 0*z + 11 for l.
5
Let u(l) = 12*l**2 - l - 1. Let q be u(-1). Suppose 4*f - 2*f + q = 4*o, -5*f + 2*o = 70. Let y = -1 - f. Solve -s - 3*a - 4 = y, s - 1 = a for s.
-4
Suppose -3*b = 3*b - 24. Solve -b*c + 11 = w, w - 20 = 5*w for c.
4
Let q = -9 - -9. Suppose 2*i + 0*i - 12 = q. Let y be ((-22)/i)/(6/(-18)). Solve 0 = n + 3*z - y, 0*z - z = -n - 5 for n.
-1
Let q(t) = t**3 + 5*t**2 + 3*t - 1. Let a = 2 + -4. Let i = -2 + a. Let p be q(i). Solve -l + o = -5*l - 20, p*l + 15 = -o for l.
-5
Let j(h) = -15*h + 95. Let l be j(6). Solve -4*o = 5*f - 10, f - 2*o - 7 = -l for f.
2
Let p = 1509 + -1507. Solve 3*v - 3*a = -a - 1, -p*v + 5*a = -3 for v.
-1
Let m = 41 + -29. Suppose -2 = b - 2*t - m, 5*t = -5*b - 10. Let x(c) = c**3 - 9*c**2 + 10*c - 5. Let r be x(8). Solve -r = 4*d - 3, 12 = b*f - 5*d for f.
1
Let n = 4 - 4. Let q(j) = -j - 2. Let x be q(-5). Solve 5*h - 15 = -0*h + 4*u, -x*h + 3*u + 9 = n for h.
3
Let f = 2 + -1. Let w be f*(-1 + 16)/5. Solve w*n - 15 = -0*i - 3*i, -n = -3*i - 1 for i.
1
Let n(w) = -9*w - 151. Let u be n(-19). Solve 3*z + u = -q - 0, -10 = 3*q - z for q.
-5
Suppose 13*w - 14*w + 20 = 0. Let k = -20 + w. Suppose 7 = m - k. Solve m = -0*h + h - d, 18 = -h - 4*d for h.
2
Let a(t) be the third derivative of t**4/6 - 17*t**3/3 + 17*t**2. 