v + v - 12 for v.
-3
Let s(b) be the third derivative of b**6/30 - b**5/60 - b**4/12 + b**3/2 - 20*b**2. Let j be s(1). Solve -3*d + 6*n - 17 = n, -5*d - 24 = -j*n for d.
-4
Let x(g) = 2*g**2 + 11*g - 57. Let r be x(4). Solve 0*n - n = 5*f + r, -2*f = -3*n - 6 for f.
-3
Let y = 7 - 2. Suppose -y*z = z - 30. Solve w = -2*t, -2*w - z*t - 9 = -4*w for w.
2
Let u(p) = -p**2 - 5*p - 20. Let f be u(-10). Let z = f + 74. Suppose 0 = 2*h - 6, h = -3*w - 0*w + 48. Solve 3*t + 11 = 2*k - z, 3*k - 3*t = w for k.
0
Let o(b) = b**2 - 4*b + 4. Let z be -1 - (0 + -3)*-1. Let l be o(z). Solve 0 = -4*i + 5*a, -a - 3*a = 4*i - l for i.
5
Let v = 0 + 4. Suppose 17 = -f + 6*f + 2*i, -5*i = 20. Solve -o - f*d = -v*o + 31, 2*d + 10 = 0 for o.
2
Suppose 5*d = 13*d - 336. Let r = 46 - d. Solve 33 = -r*l + 5*w, w = 4*l + l + 15 for l.
-2
Suppose -47*p + 120 = -115. Solve 4*w - 41 = -p*d, -5*w + 7*d - 3*d = 0 for w.
4
Let q(x) = 3*x + 22. Let a(y) = y + 1. Let m(r) = -2*a(r) + q(r). Let o be m(0). Suppose -4*k = -0*k - o. Solve b = j + 3*b + 1, -k*b = 4*j + 1 for j.
1
Suppose -18*c + 46 = 5*c. Solve 2*d = 2*w + 3 + 3, -19 = 3*w + c*d for w.
-5
Suppose -2*x + 19 = 9. Let i = 391 + -382. Solve -i = -x*q + 2*h, 0 = -2*q - 3*h + 14 + 1 for q.
3
Suppose 4*g - 20 = -3*n, 0 = -4*n + 3*g - 3 + 13. Suppose -4*h = -143 - 117. Suppose -s - h = -14*s. Solve -k + s*k + 8 = n*v, 0 = -k + 3*v for k.
-3
Suppose -5*l + 10*l = -110. Let g(a) = -577 + 281 - 2*a + 3*a + 325. Let m be g(l). Solve n + 5*y = -3*n + 8, -4*y + m = 3*n for n.
-3
Suppose -43 = -4*u + 17. Let j(o) = o**3 + 16*o**2 + 14*o. Let i be j(-15). Suppose -6*z = -z - i. Solve 2*f - 6*w = -3*w + u, -z*w = f + 15 for f.
0
Suppose o - 3*f = -3*o + 53, 4*f = o + 3. Let v = o - 15. Suppose -v*b - 1 + 11 = 0. Solve -2*m + 2 = -2*x - 8, -b*x - 25 = 5*m for x.
-5
Let d be 0/(-2 + 1 + 0). Let z(q) = q - 9. Let i be z(3). Let l = 11 + i. Solve x + 24 = l*u + 4, d = x - u for x.
5
Suppose 12 = 5*h - 23. Suppose 18 = -h*d + 172. Suppose -5*b = -3*v - d, b + 8 = -4*v - 6. Solve -3*k + b*u + 1 = 6, 3*k - 7 = -u for k.
1
Suppose 0 = -v - 3393 + 3413. Solve v = -4*o - 2*z, o - 3*z - z - 4 = 0 for o.
-4
Let m be (137 - -6)/13 - 9. Solve -3*b + 2*b = -m*v + 9, -v = -5*b for b.
1
Suppose 0 = 4*p - p + 2*s - 7, -4*p - 4*s = -12. Solve -t = p, 3*t - 12 = 2*q + 3*q for q.
-3
Let y(j) = -j - 20. Let h be y(-22). Suppose -4*s + 0*q + 32 = -2*q, -3*q = -h*s + 16. Solve -5*k - 13 = -2*a, 2 = 2*a - 2*k - s for a.
4
Suppose 5*l = 3*i - 16 - 10, 5*l + 5*i = -10. Let t = l + 6. Solve 6 = t*g - 5*f, 3*g + 8*f - 4*f = 9 for g.
3
Let k be 432/112 - (-7)/49. Solve -6*g + 4*g = -6, -2*g = -k*a + 10 for a.
4
Let r = 54 + -1. Suppose -3*a - r = -65. Solve -20 = -2*o - a*s, -s = -3*s + 6 for o.
4
Let h = 10 + -8. Let p be 10 + (-1 - 7) + 2. Solve t + 4*t + 28 = -h*f, p*t - 3*f + 4 = 0 for t.
-4
Let u(i) = -i**2 + 6*i - 3. Let v(c) = -3*c - 6. Let n be v(5). Let z = n + 25. Let h be u(z). Solve g - h*g = -k - 12, 9 = -2*k + 3*g for k.
0
Let k = 650 + -650. Solve k = 4*y + 3*j - 18, -5*j - 1 = -2*y - 5 for y.
3
Suppose 896 = 6*o + 896. Solve 2*y = 4*y - 2, 5*a - 5*y + 5 = o for a.
0
Let w be (-15 - -15) + (-1 - -1). Let y(n) = 6*n + 7 - 4*n - 2*n - n + n**2. Let c be y(w). Solve 2*f = -5*p - 11, 5*p + 2*f + c = 4*p for p.
-1
Suppose 3*a - 4*y = 2*a + 2, 5*a + 2*y - 98 = 0. Let t be (-266)/(-18) + ((-104)/a - -6). Solve 0 = s - 4*g + 3, 5*s + 3*g = -2*g - t for s.
-3
Suppose 4*j = 2*j + 4. Suppose j*f - f - 5 = g, -2*g + 20 = f. Solve 0 = 2*a - 4*n - n + f, -5*n = 3*a - 10 for a.
0
Let a(j) = j**3 - 3*j**2 - j - 8. Let n = -43 - -47. Let c be a(n). Solve -c*r = 0, h - 3 = 2*r - 4 for h.
-1
Suppose -g + 6*g - 10 = 0. Suppose 2*q + 93 = 103. Suppose g*m = q*m - 15. Solve -m*v = 2*c - c, -5*v = -5*c for v.
0
Suppose -4*d + 2*d = -8. Suppose n - 5 = -d*n. Let l(f) = f**3 + 16*f**2 - 79*f + 25. Let k be l(-20). Solve u = -a - 4, n = -k*u + 6 for a.
-5
Suppose 0 = -2*j + 4*j - 8. Suppose -4*n + 0*n + 20 = 0, n + 3 = 4*c. Suppose -c*r + 2 = 2*y, j*y + 9 = r - 7. Solve 0 = 4*s + x - 3*x - r, 5*s = 4*x + 5 for s.
1
Suppose o + 4*z + 10 = 0, -3*z - 19 = -2*o + 2*z. Suppose 0 = 2*g + o*j - 6, -2*g - 3 = -3*g + 5*j. Solve -4*d + 15 = g*k - 0*k, 10 = -d + 2*k for d.
0
Suppose 4*o = 5*o - 19. Let h = o - 17. Solve -4*m = -5*t - 15, -h*m + 2*t - 1 = -7 for m.
0
Let v = 560 - 557. Solve -4*u + u + 3*r = -12, 17 = -2*u - v*r for u.
-1
Let d(f) = -f**2 + 16*f - 10. Let l be d(15). Let b be (2/9)/(3/27). Suppose 4*z - b*a - 16 = -z, -3*z + a + 9 = 0. Solve -c = -4, -z*m - l*c = -c - 20 for m.
2
Let h = 61 - 64. Let w be -1*23*2*h/6. Solve 5*b + t + w = 0, -5*b + 10 - 45 = -5*t for b.
-5
Let a = -14 + 16. Let o(t) = -a + t - t + t + t**2 + 0. Let f be o(-3). Solve -4*w + f*i = 24, 0 = 2*w + 2*w - i + 12 for w.
-2
Let u = -238 + 241. Solve -d = -z + 7, -2*z + 5*z - 3 = -u*d for z.
4
Let k(o) = -4*o**2 + 9*o - 13. Let v(f) = -3*f**2 + 10*f - 13. Let z(h) = -4*k(h) + 5*v(h). Let c be z(-15). Solve 5*b + 4*i = -1, -c*i + i - 19 = -5*b for b.
3
Let u(v) = -v**3 - 26*v**2 - 46*v + 49. Let f be u(-24). Solve 0 = -5*x + 4*k - 14, -f = -0*k - k for x.
-2
Let y(k) = 25 + 2*k**2 - 9 + 5*k - 10. Let r be y(-3). Solve 5*i + 4*m - 4 = 0, 5*m = -r - 11 for i.
4
Suppose 7*t = 3*t - 108. Let s = -23 - t. Suppose 0 = 4*d - s*n - 24, 4*n = 5*d + 8*n + 6. Solve i + 0*b + d*b - 1 = 0, -2*b - 2 = -2*i for i.
1
Let t be ((-80)/(-10))/(2*(-2)/(-8)). Suppose -3*w + 11 = -t. Solve 0 = o - p + w, -o + p = 2*p + 1 for o.
-5
Suppose -5*t = x - 21, -2*t - 4*x + x + 11 = 0. Suppose t - 6 = -g. Solve -z + 1 = 4*j, -2*z = 5*j - 10*j - g for z.
1
Suppose -3*d - 10*d = -52. Solve 1 = p + 4*w - d, 3*p - w - 2 = 0 for p.
1
Suppose 2*m - 3*m + z = 0, 3*m + 4*z - 21 = 0. Suppose -4*p = -0*p + 4. Let w be (0/(-1 - -2))/p. Solve m*u + 1 = -t, w = -0*u - u - 1 for t.
2
Let r = 827 + -820. Solve -2*u + 1 = -r, 2*x = 5*u - 26 for x.
-3
Let k = 17 - 16. Let t be (k - (-2 + 3))/3. Solve 0 = -2*z - t*a + 3*a + 25, -15 = -5*z - 2*a for z.
5
Suppose 121*n = 109*n + 60. Solve -5*l + 5*k + 50 = 0, n*l - k - k - 35 = 0 for l.
5
Let c(b) = 4 - 12*b + 8*b + 5*b. Let w be c(0). Solve 5*z + 4*d + 11 = 0, -2*z - 1 - 1 = w*d for z.
-3
Suppose -9*k + 30 = k. Solve -5*o + m + 6 = 0, 17 = 2*o + k*m + 1 for o.
2
Suppose 5*j - 6*z - 12 = -8*z, -2*j + 7 = 3*z. Solve -u + 11 = j*x, -2*x + 5*u + 5 = 3*x for x.
4
Let c be (-70)/(-15) - ((-15)/(-9))/(-5). Solve m - 15 + 3 = -4*k, -c*k + 4*m + 15 = 0 for k.
3
Suppose -2*i = -u - 55 - 138, -191 = -2*i - u. Let p = i + -91. Solve l = p*r - 20, 5*r - 2*l = -4*l + 20 for r.
4
Suppose 0 = -9*q - 23*q + 160. Solve h = -2*h + 5*x + 29, -q*x - 26 = -2*h for h.
3
Suppose -25 = -3*p - 2*c - 16, -3*c = -p + 3. Solve 4*f + p*d + 0*d + 8 = 0, 3*d = 4*f + 32 for f.
-5
Let d(i) = 2*i**2 + 9*i. Let x be d(-5). Let s(w) = 4*w**3 - w**2 + w - 1. Let h be s(1). Solve 4*c + c = -x*m + 15, c - 3 = h*m for m.
0
Let k = 49 + -47. Suppose -5*t - h + 20 - k = 0, t + 3*h - 12 = 0. Solve -t*v = -5*a - 28, 5*a = 4*a + v - 6 for a.
-5
Let d = -166 - -182. Solve -2*z = -5*n + 6, 3*z + 4*n - d = -z for z.
2
Let p(w) = 10*w - 66. Let a be p(7). Solve 3*v = -f + a*v, f + 8 = 3*v for f.
4
Suppose -3*r + 4*o = 2*r - 18, 4*r + 2*o - 4 = 0. Suppose 27 = -r*c + 33. Solve -h - f = -4*h + 10, 5*f = -c*h + 4 for h.
3
Suppose -23 = f + 2*f - h, -3*f = -5*h + 7. Let p(u) = -u**2 - 9*u - 5. Let y be p(-7). Let k = f + y. Solve 0 = -w + 5, -3*s + 4*w - 5*w + 5 = k for s.
0
Let s = -5 - -16. Suppose -z - 3*z = 144. Let o = 41 + z. Solve -4*b = 5*y - s, -o*b + 18 = 2*y - 0 for b.
4
Suppose 25*q + 29*q = 162. Solve 2*s - n = -3, 0*s = -q*s - 4*n + 1 for s.
-1
Suppose 0 = 3*t - 0 + 6, 0 = v + 4*t + 18. Let s be ((-230)/(-25) - 6) + 2/v. Solve -2*z - s*z = -20, -5*g = -z - 16 for g.
4
Let n(x) = -x**2 + 4*x - 14. Let i be n(8). Let g = 46 + i. Solve g = -3*o + a, -2*a + 7*a = 0 for o.
0
Suppose -2*r - z = z - 14, -5*r - 4*z + 32 = 0. Suppose -l + 20 = -0*l - r*w, -12 = 2*l + 5*w. Solve 2*c + c = -l*t - 29, 3*t - 3*c = -6 for t.
-5
Suppose 4*c - 24 = 4. Suppose 6*n + 3 = c*n. Solve n*t + 19 = -2*b - 3*b, 2*t = -b - 8 for t.
-3
Suppose -19 - 13 = 2*b. Let f be b/(-7) + 12/(-42). Solve -2*x - o + 3 = 0, 2*o = -2*x + 6*o - f for x.
1
Suppose -r + 