 y + 3*z - z + 21 = 0. Let v = -6 - y. Solve -4*k = -v*h - 2, -4*h - 2 = -4*k + 2 for k.
3
Let t(f) = f**3 + 6*f**2 + 2. Let b be t(-6). Suppose b*m - 6*m = -24. Suppose 0 = -w - 1 + m. Solve 0 = 3*q - 5*u - 9, -15 = w*u for q.
-2
Suppose 0 = 4*t - 12 - 8. Solve -5*k - 4*w - 21 = 0, -3*k - t*w - 1 = 9 for k.
-5
Suppose -5*a + 87 = 27. Suppose -4*n = -7*n + a. Solve s + 3*d = -6, 0 = -3*s + 6*s - n*d - 21 for s.
3
Suppose 3*k + 22 = 1. Let q = -5 - k. Solve 2*n - s = q, 3*s - 3 = -3*n - 0 for n.
1
Suppose -j - 2 = -3*n + 12, 4*j = -5*n + 29. Let l = -63 + 63. Suppose 17 = 4*a - 3*i + 2, -5*i = -3*a + 14. Solve 0 = n*q + h + 22, -a*q + 4*h - 4 = -l for q.
-4
Suppose 0 = 6*y - 2*y - 20. Suppose y*t + 2*p + 0*p = 18, 5*t - 17 = -3*p. Solve t*z + c = 14, -4*z - 1 = 2*c - 17 for z.
3
Suppose 2*p + 3*t + 50 = 0, 3*p = -2*p + 3*t - 146. Let n = -12 - p. Solve s + 1 = 3*o - n, -5*s + 5*o - 35 = 0 for s.
-2
Let p be ((-2)/3)/(4/(-48)). Suppose -3*s - s = p. Let k be (0 + 1 + s)*-5. Solve 3*i - k*w = -i - 7, -2*i + 4*w - 2 = 0 for i.
-3
Suppose -3*c = 3*g - 195, -3*g + 6 = -0*g. Let i be (10/3)/(14/c). Solve 5*y = 2*u - 21, 0 = 4*y + u - 2*u + i for y.
-3
Let k be 4/5*75/10. Let m(v) = -v**2 + 7*v - 2. Let p be m(k). Solve 0 = -3*y + y - 3*f - 16, p = -2*f for y.
-5
Let p = -65 - -67. Solve -l = -p*u + 4*u - 7, -5*l = 3*u - 28 for l.
5
Let c(v) = v**2 + v + 1. Let g be c(-2). Suppose o + g*o = 0. Suppose -4 = f - 9. Solve -2*w + 33 = -f*t, -t + 3*w - 18 + 1 = o for t.
-5
Let l(i) = -i**2 + 3*i + 3. Let k be l(2). Solve k*s - r = 5 - 0, 5 = 5*s - 2*r for s.
1
Let u(n) = n + 16. Let r be u(0). Solve c - 1 = l - 3, -2*c = 2*l - r for c.
3
Let w = -14 + 14. Solve w = 2*s + 4, -4*r + 2*s = -0*s + 8 for r.
-3
Let k = -12 + 17. Suppose 5*p - 50 = -k*l, -3*l - 4*p + 34 = p. Solve 0 = -2*m - 5*h - l, -3*m + 5*m = 4*h - 8 for m.
-4
Let a(j) = 4*j + 49. Let f be a(-10). Solve -3*w - f = 0, 3*w + 0*w + 9 = -k for k.
0
Suppose 21 - 27 = -2*i. Solve -2*x + 12 = i*q, -4*x + 5*q = -2*x + 20 for x.
0
Suppose 40*r + 9 = 43*r. Solve -3 = 3*z + 3*v, r*z - v - 3 = 2*z for z.
1
Let j = -13 + 8. Let l(t) = t**2 + 3*t - 5. Let z be l(j). Solve -25 = -z*o + 3*q, 2*q = -2*o + 5*q + 19 for o.
2
Let j(s) = -2*s - s + 1 + 2*s. Let w be j(-10). Solve 4*t = m - 39 + 15, 4*m = -t + w for m.
4
Let a(p) = 4*p**3 + p**2. Let k be a(1). Suppose k*z + 2*i = 52, z - 5*i - 2 = 3. Solve -t = -3*v + 5, 3*v + 3*t + z = -5 for v.
0
Let k(l) = 2*l**2 - 2*l - 2. Let m be k(2). Solve -2*q = 0, 7*q + 12 = 3*s + m*q for s.
4
Let t(y) be the third derivative of -y**6/120 + 7*y**5/60 - y**4/4 + 2*y**3/3 + 4*y**2. Let j be t(6). Solve -3*q + l + 6 = 0, -2*q - l + 2*l + j = 0 for q.
2
Let u be 0*6/(-18)*2/(-6). Solve -15 = 5*x - 4*c + 12, u = 4*x + 4*c for x.
-3
Let u be ((-2)/(-4))/(2/(-16)). Let h(c) = -c**3 + c**2 - c + 8. Let f be h(0). Let i = f + u. Solve -r - q = -9, q + 15 - i = 3*r for r.
5
Let b(l) = 0*l**3 + 34*l**2 - 29*l**2 - 2*l**3 + 5 + 3*l**3. Let o = 0 - 5. Let h be b(o). Solve h*z - 14 - 16 = 5*u, 3*z = 4*u + 21 for z.
3
Let r(t) = -t**3 + 2*t**2 + 4*t + 1. Let j be r(3). Solve 5*k - 4*a - j = k, -6 = 3*a for k.
-1
Let s(z) be the second derivative of z**3/6 - 3*z**2/2 + z. Let q be s(6). Solve -3*m + 9 = a - 4*a, a + q = -4*m for m.
0
Suppose 9*g - 4*g - 20 = z, -2*z = 2*g - 8. Solve -3*w + 4*i - 11 = z, -2*i + 14 + 8 = 4*w for w.
3
Suppose -i - 21 = -4*p, 4*p + 2 = -5*i + 17. Solve 3*h + 4*k + 0*k - 13 = 0, p*k - 24 = 4*h for h.
-1
Suppose 5*h = 0, 3*h = z - 2*z + 2. Let y(x) = -x - 2*x + 2*x. Let j be y(-3). Solve 0 = -3*a + j, -z*m = -4*a + 9 - 1 for m.
-2
Let p(n) = -2*n**3 - 4*n**2 - 2*n + 1. Let v be p(-2). Suppose -4*u - 2*q = -5*u + 25, q - 81 = -v*u. Solve 4*r + u = 2*c + c, 3*r + 15 = 3*c for c.
3
Let t = 267 + -180. Suppose 0 = 4*g + 3*q - 71 - 4, q + t = 4*g. Let s be -14*-2*2/8. Solve -5*w - g = m, 0 = -2*w - 2*m + s*m - 30 for w.
-5
Suppose 2*n + 6 - 10 = 0. Let d be n/(-16) - 369/(-72). Solve 2*p = -d*m + 11, 0 = 2*m - 2 - 0 for p.
3
Let g(z) = -z**3 + 3*z**2 + 4*z. Let w be g(3). Let j = 3 + -1. Let i be (-6)/(-4) + j/4. Solve -25 = 5*d, f - i*f + w = -2*d for f.
2
Let h(g) = 30*g**2 + 3*g + 3. Let u be h(5). Let r be (-2)/(-7) + u/56. Solve 2*i - 2*x + r = 0, 4*x - 31 + 9 = 2*i for i.
-3
Suppose -5 = -3*v + 1. Suppose v*d - 28 = 6*d. Let f = d + 11. Solve 3*k - f*a = 16, 4*k - a - a = 8 for k.
0
Suppose -2*s + 56 = 4. Let x = -3 + 5. Suppose 4*t = 4*n - x*n + 14, 0 = t - n - 5. Solve t*l + 4 = -2*y, -3*y = -3*l + s - 8 for l.
2
Let y be (1 + 2)/(12/20). Solve -y*u + 25 = 5*b, -2*b + 16 = 3*u + 2*b for u.
4
Suppose -18 = -4*k + 2*v, 0*k - 3*k - 4*v = -8. Solve u - 4 = -k*h + 6, 0 = 5*h - 3*u - 4 for h.
2
Let k(n) = n - 4. Let x be k(6). Solve 2*o = -5*j + 7, j - 8 = -x*j - 5*o for j.
1
Let d = 2 - 6. Let g = d - -5. Let h = g + 2. Solve h = 3*s, -5*c + 8 = 5*s - 17 for c.
4
Let a = 42 + -19. Solve 25 = 5*w + 5*o, 0*w + a = 3*w + 5*o for w.
1
Suppose 3*l - 22 + 4 = 0. Let w be 10 - (-1)/(1/(-1)). Let s be 2 - -1 - 0/2. Solve 3*a - 29 = -5*g - l, -3*a - w = -s*g for g.
4
Let a = 7 + -2. Suppose -a*h - 4*d + 40 = 0, -3*h + 6*d = 2*d + 8. Solve -4*f - f + 15 = -l, 3*f = -h*l + 9 for f.
3
Let y(z) = z**2 + 8*z + 4. Let t be y(-8). Let a = t + -2. Suppose -a*r = -18 - 10. Solve 0 = -4*u - 2*k - r, -3*u = -k - 4*k + 30 for u.
-5
Let s(w) = -w + 18. Let g = 20 + -6. Let i be s(g). Solve 4*y = -5*t + 41, -5*y + i*t - t = -5 for y.
4
Let c = -3 + 6. Let w be 8/(-12) + 104/c. Let a = -17 + w. Solve 2*x = 6, -4*z - 3*x + a = -2*z for z.
4
Let d(g) be the first derivative of -g**3/3 + 5*g**2 - 11*g - 1. Let m be d(8). Solve -4*t = 0, -m*q + 0*t - 3*t = 20 for q.
-4
Let n = 18 - 23. Let i(k) = k**2 + 5*k + 4. Let j be i(n). Let u(q) = 2*q**2 + 1. Let b be u(1). Solve -2*x - j = c - b, -4*c = 20 for x.
2
Let d = 91 + -87. Solve -14 = 4*c - 4*q + q, -q = d*c + 6 for c.
-2
Suppose -8*k + 6 = -5*k. Let c = 1 + 3. Solve -12 = -c*x - k*o, -3*x - 2*x + 3*o = -4 for x.
2
Suppose 12 = -3*l - 0. Let r(b) = -2*b - 6. Let s be r(l). Let x = -3 + 6. Solve s*h - 3*a = -x*h + 1, -h = 3*a + 7 for h.
-1
Let h = 15 - 13. Suppose -5*b + 3*o = h*o - 20, b - 2*o - 13 = 0. Let f(l) = -l - 4. Let k be f(-6). Solve i = -k*i - 12, b*i = a - 9 for a.
-3
Let g = 16 + -18. Let q be (-3)/9*3*g. Solve -t = -z, 0*t + q*t = -5*z + 14 for z.
2
Let t(l) = l**2 - 7*l + 2. Let w be t(8). Let q = w - 4. Let z = 10 - q. Solve 0*r - u = -r, 4 = z*r - 2*u for r.
2
Let x(f) = f + 20. Let u be x(-12). Solve v = 3*t - 2*t - 3, -t = -2*v - u for t.
-2
Let w(j) = 5*j. Let y be w(4). Suppose s = -4*s + y. Suppose -6*f = -f + 3*n - 12, 0 = f - n + s. Solve 3*g - a + 7 = f, -2*a - 12 = 2*g + a for g.
-3
Let f be 0/((-4)/6*3). Solve 5*j + k - 11 = 0, 4*j + 3*k = -f*k for j.
3
Let r be 206/14 + (-14)/(-49). Suppose -4*f = -7*f - 4*y + 12, 0 = 5*y - r. Solve 5*w + 8 + 2 = f, -4*z = 5*w + 30 for z.
-5
Let c(t) = -t**2 + 8*t. Let w(z) = -4*z**2 + 25*z - 1. Let u(x) = 7*c(x) - 2*w(x). Let n be u(-6). Solve v = -2*k + 8, -2*v + 3*k = -n + 7 for v.
2
Suppose 3 = 3*l - 6. Suppose q - 37 = -l*z, -2*z - 5*q + 20 + 9 = 0. Solve -4*i + 4*k = -z - 8, 2*i - 7 = k for i.
2
Suppose 0 = -5*g - 0*g + 10. Solve m + 8 = n + g*n, -3*m + n = 0 for m.
1
Let u = 32 - 28. Solve 0*o + 23 = -3*a + 4*o, a - 19 = -u*o for a.
-1
Suppose 0 = 2*f - 46 - 14. Suppose w = o - 0*w - f, o + 4*w = 5. Solve 0*a - 5 = 2*g + a, 4*g + o = -5*a for g.
0
Suppose 6*w + 40 = 16*w. Solve -12 = 5*i - 2*p, -3*i + 6*i - w*p = -10 for i.
-2
Let c = 14 - 9. Let l(u) = -u - 2. Let t be l(6). Let a be ((-6)/(-5))/(t/(-20)). Solve -w + 5*n = -5, -4*w = -a*w - 4*n - c for w.
5
Let o be -2*(0 + -4 + 5). Let x be 0*(o/(-2) - 0). Solve -3 = 3*u + 3*j, x*u + u + 3*j + 3 = 0 for u.
0
Suppose 4*r = 18*r - 70. Solve -4*a + 4*u - 3*u = 6, 0 = r*u + 10 for a.
-2
Let w be (-2)/4*(-12 - 0). Let j(k) = k**3 + 3*k**2 - k. Let q be j(-3). Suppose -t + q*t - 8 = 0. Solve 4*n = -p + 6, p - w*p = -t*n - 6 for p.
2
Suppose k = -16 + 40. Let a = k - 11. Solve 3*q + a = -v, 0 = -2*q - v + 4*v + 6 for q.
-3
Let s = -12 + 25. Suppose -3*a + 7*a = k - 17, 2*k - a = s. Suppose 6 = h + 4*u - 20, 30 = k*h - 5*u. Solve 22 = 3*t - 2*l, 0*l - h = -5*t - 2*l for t.
4
Let h(f) = f**2 + 8*f - 5. Let l = -13 - -4. 