1, k + 1 = 3*b + 6. Let v = 2 + k. Let r(m) = 2*m + 2. Let y be r(v). Solve -3*s = 2*s - 2*a - y, -3*s - 5*a = 25 for s.
0
Suppose -y - 2*c - 5 = c, 0 = -2*y - c - 15. Let v = 10 + y. Suppose 17 = 3*z + v. Solve 3*i - 1 = -0*i + q, 7 = z*i + q for i.
1
Let n(v) = 3*v - 5 + 5 + 1. Let k be n(5). Let i = 1 - 1. Solve i = -l - 4, -2*f - 5*l = -2*l + k for f.
-2
Suppose 0*p = p - 7. Suppose 5*r + p = 77. Solve 3*b - 4*s = -r, -22 = -3*s - 7 for b.
2
Suppose n + n - 6 = 0. Suppose n = -i + 2*i. Suppose 2*c - 3*o = 2, 5*c - 3*c = o + 6. Solve 5*u + c*v = v - 14, 0 = 3*u - 2*v - i for u.
-1
Suppose -3*g + 12 = g. Solve z = -5*b - z, -b - z = g for b.
2
Let p(l) = l**2 - 3*l - 2. Let q be p(0). Suppose 5*y = 5*k, y - 20 = 5*y + k. Let j = q - y. Solve -7 = -5*u + j*u + d, 2*u - 9 = 5*d for u.
2
Suppose 0*w - 2*w + 16 = 0. Solve -w - 5 = -3*c + j, c + 4*j = -13 for c.
3
Suppose -2*b = 3*b. Let i(s) = -s**2 - s + 25. Let k(d) = -1. Let x(t) = i(t) - 3*k(t). Let g be x(b). Solve 5*c = 4*m + 36, 0 = 5*m - 3*c + 4 + g for m.
-4
Suppose 0 = -i - 1. Let h(s) = -s**3 - 6*s**2 - 5*s + 5. Let n be h(-5). Let v = n + i. Solve -3*f + 2*c = -c + 3, -v*f - 4*c - 36 = 0 for f.
-5
Suppose 0 = -k + 5 + 2. Let z be (-11)/((-55)/10) + 6. Solve 2*r = -g + k + z, -4*g = 2*r - 30 for r.
5
Let w be 2/(-5) + (-243)/(-45). Suppose 3*p + w = 14. Solve -11 = p*v - 2*q, -v - 3*v - 3*q - 9 = 0 for v.
-3
Suppose 0 = -5*q - 16 - 9, 5*j = -4*q. Solve 4*k + 10 = c, j*c + 7*k - 3*k = 0 for c.
2
Let w(u) = -u**2 - 6*u - 4. Let v be w(-5). Suppose 4*n - v = 15. Suppose 4*a = 9 - 1. Solve 0 = -z + n*m + 8, -14 = a*z - 5*z + 2*m for z.
4
Let q(z) = -z**3 + 8*z**2 - 9*z + 16. Let u be q(7). Let d = -2 - -4. Solve -p = 2*n - u, -n - 4 = -d*p - 2*n for p.
2
Let c(l) = l - 4. Let t be c(5). Solve 0 = -5*i - v - t + 10, -v = -4*i for i.
1
Suppose -5*a - 2*s = -2*a - 5, s - 6 = 2*a. Let b be (-2 + a)/(-1 - 0). Let m = b + 2. Solve -w - 2*j = 4*w - 4, -2*w + m*j - 10 = 0 for w.
0
Suppose 0*a + 5*n = 2*a - 27, -11 = -a + 2*n. Let l be ((-30)/4)/(a/(-2)). Suppose -l = -3*c + 2*c. Solve 5*w = 5*p + c, 4*w + 5*p = 2*p + 12 for w.
3
Suppose -1 = -2*j + 3. Let w be (1 - -3)/(-1 + j). Solve 0 = -4*v + 3*s - w, -2*s - s = -12 for v.
2
Let u be -1 - (-6 + -1 + 2). Let y(w) = 2*w - 5. Let i be y(u). Suppose 7*f - i*f = 120. Solve -4*t - f = -2*q, 2*q - 34 = 3*t - 9 for t.
-5
Let i be 2/9 + (-48)/(-27). Suppose -3*a - 4*x - 14 = 0, x = 2*a - x. Let n be (-3)/(1/(a/3)). Solve z + i*w + 3 = -2*w, 0 = -2*z - n*w - 6 for z.
-3
Let s(v) = v**2 - v - 2. Let r be s(2). Solve -3*m + 18 = 3*q, -m + q = -r*m + 2 for m.
2
Suppose -5*r + 62 = 4*g, g = -4*g + 15. Let u = r - 5. Suppose u*a = -4*n + 32, 2*a - a = -n + 7. Solve 45 = -4*o - 5*q, 3*o + 14 - a = q for o.
-5
Suppose 4*x - 12 = 0, 0 = s - 5*s - 5*x + 39. Suppose -t = 5, 0 = -2*m - m - 3*t - s. Solve 0 = -m*u - 5*p - 15, -4*u + 0 - 12 = 4*p for u.
0
Suppose 0 = -z + 2*z - 1. Suppose -z - 4 = 3*k + 4*a, 3*k + 10 = -5*a. Suppose -k*g + 75 = -0*g. Solve 3*p - 2*y = -y + 6, 5*y = g for p.
3
Suppose -3*r - 7 = -4*a, a - 5*a = r - 19. Let q be 10/a*4/2. Solve 0 = -b - 1, 0 = q*m + 5*b + 10 for m.
-1
Let l be (-2)/12 - (-2)/12. Let x be (5 - 4)*(l + 2). Let o(c) = -c**3 + 3*c**2 - 2*c + 2. Let y be o(x). Solve 2*g = 4*p - y*p + 16, 2*g = -2*p for p.
-4
Let c = 191 + -186. Solve 3*a = 4*h + c, -5*h + 0 = -a - 2 for a.
3
Let r be (-127 - 2)/((-6)/4). Suppose 0 = 5*w - 3*d + d - r, 4*d = -2*w + 44. Suppose s = 5*s - 8. Solve 4*x - 20 = 0, s*x - w = 3*v - 5 for v.
-1
Let i = -15 + 17. Let d be i/3 - 7/(-21). Solve -2 = -4*m + 3*b, -2*b = -2*m - m + d for m.
-1
Suppose 4*x + 30 = -x. Let r = -4 - x. Solve 0 = r*q + 8, 4*j - 4*q = 5*j + 12 for j.
4
Let f(b) = b**3 + 8*b**2 + 7*b. Suppose -12 = -3*c, 2*z + 2*c = z + 1. Let h be f(z). Solve h*o = 2*o - x - 3, -x = -5*o + 6 for o.
1
Let a = -72 - -75. Solve 3*h + 4*k + 23 = 0, 0 = -h - a*h + 2*k - 16 for h.
-5
Let j = 79 + 53. Let s be ((-1)/2)/((-3)/j). Solve 0*h + 5*q - s = h, 4*h - 7 = q for h.
3
Let c be 1*(0/(-2) + 0). Let a(j) = -2*j. Let m be a(c). Solve m = -t + x - 4, -5*t - 12 = 2*x + x for t.
-3
Let b = -6 + 8. Suppose 4*g = -b*i + 56, -2*g = -g - 5*i - 25. Solve g = -4*v - 2*k + 3, -3*v = 3*k + 15 for v.
-1
Suppose 8*p - 19 = 6*p + 3*l, -l = 5. Solve -2*d + 11 = a - p*a, -16 = -4*d for a.
-3
Suppose -x + 7*x - 18 = 0. Solve i + 1 = -3*n, x = -4*n - 0*n - 3*i for n.
0
Let o be (-22)/(-8) + (-2)/(-8). Let f = o - -4. Let i be ((-4)/3)/((-2)/9). Solve -u - 5*g - 11 = 0, 0 = 2*u + i*g - g + f for u.
4
Let o = -5 - -10. Let t(r) = -r**2 + 5*r + 4. Let p be t(o). Solve p*i + 2 = -2*c, c - 4*i + 13 = -0*c for c.
-5
Suppose 0 = 2*s - 159 + 55. Let h = -32 + s. Solve 0*u - 5*u + 5 = -5*i, 5*u + h = 0 for i.
-5
Suppose 3*y = -y + 8. Suppose 5 = o + y*g, -3*o = -g - 3 - 5. Suppose -5*w = -v + 10, 0 = -3*v + 3*w - 2*w + 44. Solve -5*p - v = 0, -p - 13 = 5*z - o*z for z.
-5
Suppose 0 = -5*b, -4*l - 3*b = -8*b - 20. Suppose l*i + 0*i - 4*w - 4 = 0, w + 8 = 3*i. Solve -21 = i*t + 5*d, -t - 1 = -0*t - 3*d for t.
-4
Let k = 19 + -3. Solve 3*p = -4*v + k, -2*p - p + 4*v + 8 = 0 for p.
4
Let c be (-1 + 7/1)/2. Solve 5*t + 0*h + h = -26, -t = c*h + 8 for t.
-5
Suppose 0 = 3*d - 2*m + 7 - 33, d + 3*m = 16. Let g = d - 6. Solve -12 = -g*z - 4*k, 3*z - 4*k - 28 = -z for z.
5
Suppose 16 = -2*s - 4*n, -27 = -s + 5*n - 7. Solve s = -b - b + 5*r + 10, b - 11 = 4*r for b.
-5
Let a(l) = l - 3. Let j be a(-8). Suppose 4*v = 6*v - 32. Let b = v + j. Solve 17 = n + b*c, -2*n = -0*n + 4*c - 16 for n.
2
Let a(l) = l**3 + 4*l**2 - 5*l - 1. Let c be a(-4). Solve j = -3*k - c, -9*j - 3*k = -4*j + 35 for j.
-4
Let m = -8 + 11. Suppose 0*g = -m*g. Solve 5*y = -5*i - 30, g*y + 4*y + 17 = 3*i for i.
-1
Let k be ((-24)/(-15) - 2)*-5. Suppose -5*y = -15, -4*f + 21 = -f + 4*y. Suppose f*i - k*i = 4. Solve 2 = -z + 3*a, -i*z + a + 0 = -3 for z.
1
Let v be ((-12)/(-10))/((-9)/(-60)). Let w be 8 - v - (1 + -2). Solve a - 3 = -4*f + w, f - 14 = 3*a for f.
2
Let x(k) = k**3 + 8*k**2. Let z = -7 - 1. Let d be x(z). Solve -2*r + 3*r - 3 = d, -4*r = 5*o - 37 for o.
5
Let x = -5 - -1. Let q = x + 8. Suppose 0 = f + 2*y + 3*y - 19, -4*y + 28 = q*f. Solve -z + f*t = 3*z - 36, 0 = -5*z - 2*t + 10 for z.
4
Suppose 5*y - 6*y = -4. Solve -r + 3*o = -2, -2*r - y*o + 0*o - 16 = 0 for r.
-4
Let y(z) = -z**2 + 12*z - 15. Suppose -15 = -5*u + 35. Let o be y(u). Solve 3*h = 4*s + 1 - 0, -o*h - 5*s - 10 = 0 for h.
-1
Suppose -3*g = -7*g + 8. Suppose a - 1 = g. Solve 0 = -4*k + a*i + 3, -5*k - 5 = -3*i + i for k.
-3
Suppose l + 2*b - 22 = 0, -1 = 2*l - 4*b - 5. Solve -2*i = 3*g + i, -g - l = -3*i for g.
-3
Let u be 5/2 + 2/(-4). Suppose -v = u*v. Let k be -46*(35/(-10) - -3). Solve -3*w + 5*r = v, k = -w + 5*w + r for w.
5
Let l(y) = y**2 - 9*y + 20. Let m be l(6). Solve 2 = -2*n - 3*u + 1, n + m*u = -2 for n.
4
Let c(v) = -6*v + 3*v + 4*v - 1 + 4*v**2 - v**3. Let j be c(4). Suppose 2*i = 5 + 5. Solve -b - 9 = i*r, 0*r + 13 = -j*b - r for b.
-4
Let v(n) be the third derivative of -n**4/24 - 6*n**2. Let a be v(-5). Solve -4*p - 2*r + 9 = -3*r, p - a*r = 26 for p.
1
Let c be ((-380)/114)/((-2)/3). Solve -a + 5*o = -c*a + 21, 4*a - 5*o + 29 = 0 for a.
-1
Let d(q) = 5*q - 1. Let n be d(1). Solve -y + n*o + 2 = 5*o, -o + 5 = 2*y for y.
3
Let o(y) = -y**3 - y**2 - y + 4. Let g = 0 + 2. Let u = g - 2. Let f be o(u). Solve 2*d + 1 = -f*m + 5, -3*m + 3 = -d for d.
0
Suppose 0 = -q + 5*q - 12. Suppose -2*n - 3 - 5 = 5*z, -4*n - 16 = 0. Let i be (z + -1)*(-10 + -6). Solve -2*j - 2 = -f - 0*j, 4*j = -q*f + i for f.
4
Let a = -21 - -21. Solve -j + n = 8, 0 = -a*j - j + 5*n - 20 for j.
-5
Let l be (1 - 0)*(-5)/(-1). Suppose 14*v = 8*v + 60. Let y = 2 - 0. Solve -l*j + y*q - v = 0, -4*j - 2 = q + 6 for j.
-2
Suppose -l + 6 + 8 = 0. Suppose 5*d - 15 = -6*n + n, 2*d + l = 2*n. Solve -25 = n*q + 4*s, -5*q + 4*s + 11 - 36 = 0 for q.
-5
Let n(o) = 8*o - 19. Let s be n(5). Solve -3*d - 9 = 0, 0*m - 5*d - s = -2*m for m.
3
Let j(c) = c**2 - c. Let d(v) = 1. Let s(h) = 4*d(h) - j(h). Let z be s(0). Solve 4 = z*k - 4*m, -3 = 3*k - 6*k + m for k.
1
Let c be 2/8 + 60/16. Let k(r) = r**3 - 8*r**2 + 9*r - 10. Let v be k(7). Solve -5*w + 2*f + 3 - 1 = 0, -v*f - c = -5*w for w.
0
Let b be -4 - -1 - 4*18/