. Let v = b + u. Solve 3*x + k - 12 = -2*k, -4 = -x - v*k for x.
4
Let z = -3 - -5. Suppose -5*l = -z*j - 2*l + 11, -3 = 3*l. Solve j*w + 16 = 4*c, -w + 17 = w + 3*c for w.
1
Suppose -3*n - 6 + 0 = 0. Let s be (2/n - -2) + 1. Suppose -3*g + 2*v = 2*g + 2, s*g = -4*v + 4. Solve 2*y - 1 = 3*b, y - b - 2 = -g*b for y.
5
Let v(h) = h**3 - 21*h**2 - 45*h - 17. Let i be v(23). Solve -2*t + 0 = -5*u + 5, 0 = 3*t - 3*u - i for t.
5
Suppose 0 = -2*l - 7*l + 117. Solve -m = -3*w - l, -2*m + 2*w - 3*w - 9 = 0 for m.
-2
Let k(b) be the first derivative of -b**3/3 + 7*b**2/2 - 2*b - 2. Let w be k(3). Solve -20 = -4*v - 3*m, -15 = -5*v + m + w for v.
5
Let j(h) = h**2 + 15*h + 5. Let y be j(-15). Solve -12 = y*g + 3*w + 1, 2*g - 3*w + 1 = 0 for g.
-2
Let a(j) = -2*j + 14. Let i be (0 + (-5 - -3))*-3. Let f be a(i). Solve 4*b - f*o = -0*o + 4, 0 = -3*o for b.
1
Let o(w) = 4*w**2 + 2*w + 1. Let c be o(-1). Let z be -1 - 0 - (3 - c). Let m be ((-21)/(-9))/(z/(-3)). Solve -5*v - m*g = -3*g, 3*g = 4*v for v.
0
Let p(n) = n + 3. Let d be p(3). Suppose -2*w = f - 8, -22 = 3*f - d*f - 5*w. Solve 10 = f*j - 0*j + 5*k, -3*j - 3*k = -6 for j.
0
Let b = 122 + -117. Solve w - 15 = 5*f, -4*w + 16 - 6 = b*f for w.
5
Let p(i) = 5*i**2 - 6*i - 11. Let s(q) = -4*q**2 + 6*q + 10. Let u(d) = -5*p(d) - 6*s(d). Let h be u(-5). Solve h = 2*o - 4*m - 8, -5*o = -o - 4*m - 16 for o.
4
Let s be 3 + (-10 + 6 - -5). Solve -4*x + 2*n + n - 26 = 0, -s*x - 14 = 3*n for x.
-5
Suppose 0 = -10*d + 27 - 7. Solve z + 14 = 5*g - d*z, g = 2*z for g.
4
Let o(r) be the second derivative of -r**5/20 + r**4/2 + r**3/6 - r**2 + 4*r. Let w be o(6). Solve w*m - g = -4, 0*m + 3*g + 2 = 5*m for m.
-2
Suppose v = 3*v. Solve 0*s - 4*s = 5*u - 14, v = -4*s + 4 for u.
2
Let p be (70/(-28))/((-2)/4). Solve -p*t = -t - 4*j, 0 = -5*t + 3*j - 4 for t.
-2
Let t(i) = 2*i**3 + i**2. Let z be t(1). Suppose -7*c = -2*c - 20. Solve 0 = 2*r - x - 12, -c*r - 2*x + 22 = -z*x for r.
5
Let m(w) = w**2 + 6*w - 1. Let n be m(-7). Suppose -n = -v + 9. Suppose 4*y = 5*y, -3*l = 5*y. Solve 0 = 4*d + 5*o - v, l*d - 2*d + 3*o = -13 for d.
5
Let p be (-190)/45 + 2/9. Let g be (12/8)/((-3)/p). Solve -g*t + 4*b + 2 - 20 = 0, -3*b + 17 = -5*t for t.
-1
Let u(c) = -3*c - 9. Let t be u(-4). Suppose -6*a + t*a = 0. Solve -4*j + 5*n - 31 = 0, -5*j - 5*n - 5 = -a for j.
-4
Let v be 1/4 - (-2)/(-8). Let t = -56 - -59. Suppose 2*k - 16 = -2*k. Solve -2 = -5*h - v*h + j, t*h - k*j - 8 = 0 for h.
0
Let w = 6 - 2. Suppose 3*j = -2*y + 16, w*y - j - 20 = -4*j. Solve -y*h + 2*c - 2 = 0, -5*c = -3*h - 4*c - 1 for h.
0
Let c(q) = q**2 - 5*q - 4. Let m be c(6). Suppose 1 = p - m. Solve 1 - 18 = -2*s - p*k, 3*k = 2*s + 1 for s.
4
Suppose -3*l + 43 = 5*j - 0*j, 0 = -l - 4*j + 19. Let b = l - -2. Solve -n - 12 = 2*n + 3*c, n + b = -4*c for n.
-1
Suppose 6*q - 2*q - 12 = 0. Solve 0 = -q*w - 2*h + 22, -w + 0*w - h = -9 for w.
4
Suppose 0 = 7*v - 3*v - 60. Solve -3*u + v = 3*k, -u + 7*k - 13 = 2*k for u.
2
Let o(g) = -10*g**3 - g + 1. Let a be o(1). Let t be (-12)/a*5/2. Solve 3*s - 2*u = 8, -4*s + t*s + 4 = -u for s.
0
Let r = 87 - 84. Let x = 1 - 1. Suppose -k - 5*l - 10 = -4*k, x = -2*l - 4. Solve k = -r*b - w - 0*w - 10, -18 = b + 4*w for b.
-2
Suppose 0 = -11*v - 5*v + 256. Solve 2*f = 2*r - 2, -5*f + 7 = 2*r - v for r.
4
Let q be ((-16)/(-10))/(34/85). Solve m - 4*s = 2*m - 11, -4*m - q*s - 4 = 0 for m.
-5
Suppose 4 = 4*h - 4. Suppose -4*k = i + 6 - 2, -2*i - 8 = h*k. Solve y + 9 = 5*t, k = -2*y - t + 4 - 0 for y.
1
Suppose -2*h = -0*h - 4. Suppose h + 8 = -5*i. Let y = i + 5. Solve 0 = -3*s - y*q + 6, 8*s + q - 14 = 3*s for s.
3
Let x = -27 - -31. Solve 2*c - 4 = x*n - 2, 0 = 3*n for c.
1
Suppose 2*t = 4*l - 11 + 43, 4*l = t - 26. Solve 9 = -h - c + 5*c, 0 = -h - c + t for h.
3
Suppose 2*k = -0*k + 4. Suppose 13*u = 15*u. Solve u = 4*z - k*z - 3*d - 1, -2*d = -3*z + 4 for z.
2
Let w be 12/(-78) - 134/(-26). Suppose 2*m - 4*n + 44 = -0*n, 0 = -w*n + 5. Let q be -3 + m/(-2) + 0. Solve -g - 2*g + 4*f + q = 0, 0 = 2*f + 8 for g.
-3
Let u = -13 + 18. Let f(x) = x**2 - 3*x + 7. Let h be f(u). Suppose 3*o = 19 + h. Solve 3*d - o = -3*a, d - 4 = -a - a for a.
0
Suppose -5*z = b - 2, -3*z - 1 = -z + b. Let v be 4/1 + 0/z. Let x be ((-6)/(-14))/(2/14). Solve -5*k + v*w = 2*w, -k - x = -w for k.
2
Let c(j) = j**2 - 5*j + 6. Let z be c(5). Solve 4*k = 3*q, -5*q = z*k - 3*k for k.
0
Let w = 221 + -216. Solve 0*r - 5*r - w = -2*a, 2*a + 4 = -4*r for r.
-1
Suppose 3*j - 425 = -14*j. Solve d - 5 = w + 3*w, -4*w - 5*d + j = 0 for w.
0
Suppose 4*v = -v - 3*l + 18, l - 1 = 0. Let k = 14 - 7. Let a be (-2)/4 - (-14)/4. Solve -3*j = -k*j - n + 21, 0 = v*j - 3*n + a for j.
4
Let w be 2 + -1 - (8 - 9). Let l = 4 + w. Solve 15 = 3*z - l*z, 5*s - 15 = -z for s.
4
Let n be 38/(-8) - 5/20. Let u be 3*(75/(-9))/n. Solve -5*g = u*x, 0 = -5*x - g - 2*g for x.
0
Let o be 3 + 3 - (-1)/(-1). Suppose -5*p + 5 = d, o*d - 37 + 12 = -5*p. Solve 0 = -3*z - p*s + 2*s - 11, -33 = 5*z + 4*s for z.
-5
Suppose 18 = -2*z + 11*z. Solve 4 = z*u + g, -7 = -3*u - 2*g - 1 for u.
2
Let c = -55 - -57. Solve 0 = -2*z + 4*k - 22, c*z = k + k - 12 for z.
-1
Suppose 2*i + 3*r + 42 = 6, 2*r = i + 32. Let d be (16/i)/((-1)/3). Solve -2*a - 15 = -2*j - j, 0 = 2*a + d*j for a.
-3
Let o(a) = a**2 + 2*a - 1. Let w = -2 + 3. Let d be o(w). Solve 0 = -d*y + 3*z - 17, 2*y + 2 = -3*z + z for y.
-4
Let q be -3*3 - (2 - 4). Let l = 9 + q. Solve -m - 11 = -l*b, -2*b = 3*b - 5*m - 40 for b.
3
Let v = 74 - 64. Solve -3*r + 16 = k, -2*k + v = 3*r - 7 for r.
5
Let n be (-4)/(-2) + (2 - 2). Suppose -l + 3*k + 15 = 0, 2*k = -4*l + 3*k + 38. Let g = l - -1. Solve 5*t + d + g = 0, t + 3*d - 2*d - n = 0 for t.
-3
Let g(i) = 5*i - 10. Let d be g(3). Solve -d*k = -n + 19, 4*n - 11 = 2*k + 11 for k.
-3
Let c = -47 - -82. Solve 2*s = -3*s + 2*h + c, 3*s - 4*h = 35 for s.
5
Suppose -g - 17 = -5*r + 3, -5*g - 5*r + 50 = 0. Suppose -3*k - n = -10, 0*k + 5*n = 5*k - 10. Solve 0 = -3*i - 2*i - k*z - 1, -g*z = -5*i + 15 for i.
1
Suppose 3*p = -0*j + 4*j - 4, 2*j = 2*p. Solve -5*n + 2*n = -3*w - 12, -p*w - 19 = -5*n for w.
-1
Let j(v) = 2*v**2 + 5*v + 4. Let y be j(-3). Suppose 13 = 5*s - y. Solve 0*u = s*t - 5*u - 8, -4*u - 10 = -5*t for t.
2
Let w = 2 - 3. Let z be (-1)/(w - -2) + 5. Solve 4*j - 20 = z*i, j - 4 = 2*i + 4 for i.
-3
Let v = 52 - 51. Solve -2*f + 13 = -2*r + v, 0 = 3*f + 3*r - 6 for f.
4
Let g = -20 - -21. Solve j - 3 = s + g, -2*s = -5*j + 11 for s.
-3
Suppose 5*z + 4*a - 18 = 0, -z - 16 = -6*z - 3*a. Solve -h = -z*h - 5, 5*o + h + 20 = 0 for o.
-3
Suppose 0*v = -2*v + 36. Suppose -v + 3 = -3*t. Solve -2*o - 2 = 3*f, 40 = 4*o + t*f - 10*f for o.
5
Let v(y) = 2*y - 30. Let k be v(20). Solve 0*r + l = -r - k, r - 5 = 2*l for r.
-5
Let a be (-7)/(-2) + (-1)/2. Let f = 626 + -602. Solve 4*j - 20 = -4*b, -7*b + f = 5*j - a*b for j.
4
Let j = -3 + 10. Let y(c) = 5*c**2 - c. Let r be y(1). Suppose -5*n + 1 = 2*d - r, -d + 4 = 3*n. Solve -j*t + 22 = -3*t + 2*s, -n*s = -2*t + 7 for t.
5
Suppose -3*r + 28 = 10. Let v be r/4*60/18. Solve -2*k + 0 = j - 4, v*j + 19 = 3*k for k.
3
Suppose -2*m + 6 - 2 = 0. Suppose -3*q = 2*q + 3*h, -m*h = 2*q + 4. Solve -2*p + q*j + 10 = -p, 2*p - 2*j - 4 = 0 for p.
-2
Suppose 0 = p - 8*p + 21. Solve -21 = 3*t + 4*x, -p*t + 2*x = x + 6 for t.
-3
Suppose 36 = 6*c - 6. Solve 14 = -c*n + 2*n + 3*a, a = 3 for n.
-1
Suppose 6*c + 4 = 7*c. Solve -4*j - c*b = 0, -3*b + 12 - 2 = j for j.
-5
Let o = 1 - -15. Let n be (-4)/(o/14)*-2. Solve 15 = 2*x + 3*x - 2*j, n = -3*x - 2*j for x.
1
Suppose -14 = -21*v + 14*v. Let i(c) = -c - 2. Let s be i(-4). Solve 0 = 2*a + 10, 0 = 4*b - v*a + s for b.
-3
Suppose -s = 2*s + 12, 3*r + 2*s + 5 = 0. Let t = 0 + 0. Solve -b - r = q - 2*b, -b - 3 = t for q.
-4
Suppose r + 5 = -5*t, t + 2 - 1 = 0. Let p be 2/(-2) - (1 + -5). Suppose r*x + 24 = p*x. Solve 3*d - f = 8*d + 16, 2*f = x for d.
-4
Suppose 2*u - 4 = a, 6*u = 3*u - a + 6. Let c = 5 - 2. Solve -3*j + u*t = 2, 2*t - c*t = 5 for j.
-4
Suppose -16 + 55 = 3*x. Solve -5*d = -3*w, -4*w + 13 = 2*d - x for w.
5
Let x(y) = y - 9. Let v be x(5). Let f = v - -9. Solve -1 = -f*j + 3*k - 22, j - 4*k + 11 = 0 for j.
-3
Suppose k = 3*j - 2*j + 4, 4*j + 8 = 2*k. Solve -2*b - 3*b = -4*p + 41, j = 2*p - 8 for b.
-5
Let q = 15 + 