 - 12 = -2*b, -k - 5*b - 1 = -10. Suppose 3*d - 6*d - m + k = 0, -2*d - m = -10. Solve -d*h = h - 3*p + 21, -h + p = 5 for h.
-3
Let t be 8 + (-1)/(2/4). Solve n - o + t = 5, 4 = -5*n + 4*o for n.
0
Let h(c) = c**3 + c**2 - 1. Let y(t) = 3*t**3 + 7*t**2 - t - 7. Let f(b) = 2*h(b) - y(b). Let o be f(-5). Solve 0*a - a - 3*x - 10 = o, x - 2 = 5*a for a.
-1
Let y(s) be the third derivative of -s**5/60 - 5*s**4/12 - 7*s**3/6 - 3*s**2. Let v be y(-7). Solve -3*f - 6 = 3*p, 5*p + v = -4*f + 3*p for f.
-5
Let a(p) = p**3 - 23*p**2 - 23*p - 19. Let f be a(24). Solve -9 = 2*m + 3*m - 2*q, 0 = f*m + 3*q - 1 for m.
-1
Let k = -40 - -40. Solve -4*h + 4*t - 4 = -h, k = -2*h + 2*t - 2 for h.
0
Let o = -1 - -1. Let p be o/(1 - (5 - 2)). Suppose -5*z = -i + 2*i - 18, p = -3*i + 3*z. Solve 4*d - h + 16 = -0*h, -i*h = -12 for d.
-3
Suppose 0*v + 4*v - 20 = 0. Let q(k) = -k**3 + 6*k**2 + k - 4. Let z be q(6). Solve -v*w + 5*s - 20 = 0, z*s = 3*w + 5*s - 6 for w.
-1
Suppose 3*b - 35 = 4*g, 0 = -3*b - g - 2*g. Suppose 0 = -4*y + 26 + 74. Suppose 0*x = b*x - y. Solve -5*k - f + 4*f + 12 = 0, 0 = -x*f - 20 for k.
0
Suppose -2*s - 2*h - 2*h - 8 = 0, 2*h + 14 = 4*s. Solve -15 = -2*m + 3*w, 8*m + s*w - 3 = 5*m for m.
3
Let u be (6/(-3) + -1)*4/(-6). Solve -u*j = -4*y - y + 18, 0 = 2*j - 3*y + 10 for j.
1
Let p(f) = -f**2 + 7*f - 4. Let o be p(6). Let n be o/10 + 343/35. Solve 4*c - 4 = 0, -5*q + 0 = -5*c - n for q.
3
Let p(t) = 11*t**3 - t**2 + t. Let v = 3 + -2. Let g be p(v). Let r = 3 + g. Solve -6 = -2*h + 4*x - r, -x = h + 1 for h.
-2
Suppose u + 2*d = -3*d + 4, 0 = -u + 3*d + 4. Let g be (2/(-6))/(u/(-24)). Solve 3*r - 2*l = 2*l + g, -4 = -4*l for r.
2
Suppose 25 = -p + 4*l + 9, p = -5*l + 29. Solve 0 = 3*r - 6, -4*r = p*s - 0*r + 12 for s.
-5
Let k = 3 - -3. Let u = 9 - 5. Solve 2*p = -0*f + u*f + k, 0 = 3*p - 15 for f.
1
Suppose p = 2*p - 3. Solve 5*z + p*n = -0*n + 15, 15 = -5*z + 3*n for z.
0
Let v = 12 - -4. Solve -3*i - 15 = -d, -3*i = 5*d + v - 1 for d.
0
Let d(r) = -3 - 4 + 0 + r. Let z be d(11). Let t be (-4)/14 + z/14. Solve t = b + 4*y - 5*y, -2*b - 12 = 2*y for b.
-3
Let m be 12*((-9)/6)/(-3). Suppose -10 = -2*a + m. Solve 13 = -3*b - 2*i, -2*i = -5*b - a - 19 for b.
-5
Let p(k) = 5*k**3 - k**2 + 1. Let v be p(1). Let d be 8 - (0/1 + 2). Solve -5*m - v*n - 30 = 0, -5*n = m - d*m for m.
-3
Let o be (1/2)/(2/12). Let u(p) = p + 6. Let x be u(-5). Let q be (-4)/((-8)/6)*x. Solve 8*d - q*d = o*h - 21, 4*d + 8 = -2*h for h.
2
Let s = 94 + -94. Solve c - 2*k - 17 + 6 = s, k = -c - 1 for c.
3
Let o(i) = -2*i - 37. Let w be o(-20). Solve -4 = h + w*n - 2*n, -4*h + 5*n = -2 for h.
-2
Suppose -2*b = -0*b. Suppose 1 + 11 = -3*t - 3*m, 2*t - 4*m - 16 = 0. Solve 2*a + 2*k + 4 = t, 24 = 3*a - b*k - 3*k for a.
3
Let p(u) = -u**3 + 12*u**2 - u + 13. Let y be p(12). Solve 0 = 3*f + 3*d - 21, y = 2*f - d - 1 for f.
3
Let i = -20 - -12. Let q be i/(-2)*1/2. Let z = 12 - q. Solve -3*n + 4*r + 8 = 0, -7*n - z = -2*n - 2*r for n.
-4
Let y(a) be the third derivative of 5/24*a**4 + 0*a - 1/3*a**3 + 1/60*a**5 + 2*a**2 + 0. Let c be y(-6). Solve 4*l = -k - 17, -35 = c*l - 6*k + k for l.
-5
Suppose 5*a - 7 = 13. Let f be 2/a*1*10. Solve -5*o = 2*n - 23, f*n = -3 - 2 for o.
5
Let y be ((-1)/(-2))/(3/12). Solve -y*t = 3*d + t + 9, 5 = -2*d - t for d.
-2
Let o(f) = -14*f - 5. Let b(w) = w + 1. Let p(y) = -3*b(y) - o(y). Let i be p(2). Solve -4*x - i = -2*a, -6*x + x - 5*a - 15 = 0 for x.
-5
Let d be (14/(-7))/((-2)/5). Suppose -2*p - d = -3*p, 4*p = 5*o. Suppose -2*v + 3*h = -14, -4*h - 1 = o*v - 29. Solve 4*z - 30 = 2*q, 5*z - 13 - v = -q for q.
-5
Suppose 0 = -2*v + 8. Suppose -t - 2*z = 3*z + 15, v*t - 65 = 5*z. Solve 2*y = m + 3*m - t, 2*m - 4 = 2*y for y.
1
Suppose 6 + 109 = 5*j. Let m = -20 + j. Solve -4*u + m*u = -q - 5, -2*q + u - 9 = 0 for q.
-4
Let m be (0 - 0)/(-2 - -1). Solve 14 = -2*v + 2*w, -5*v - 3*w + m*w + 5 = 0 for v.
-2
Suppose 5*d + 5*z = 35, -4*d - d + 2*z + 21 = 0. Suppose -33 - 12 = -d*r. Solve -3*m = -3*p + r, -2*p + 4*m = -p + 3 for p.
5
Suppose 9 + 1 = 2*f. Solve t + 4*k + 12 = 0, -f*t - 1 = 3*k + 8 for t.
0
Let l be (-14)/(-7) - (0 + 0). Suppose 5*k - x - 14 = l*x, 11 = 5*k - 2*x. Solve 0*q - 6 = -4*q - o, 5*q - 2*o = k for q.
1
Let i be (4/(-10))/((-7)/35). Suppose -i*p = -7*p. Solve 5*c - 20 = -u, 8 = c - p*c + u for c.
3
Suppose 2*w + 6*w - 16 = 0. Solve -6 = -5*v - 3*j + 4, -w = -v - 2*j for v.
2
Let b(y) be the second derivative of y**3/6 - 5*y**2/2 - 2*y. Let g be b(8). Solve 3 = g*z + j - 2, 4*z = 3*j + 24 for z.
3
Suppose -3*j = -2*z + 3 + 16, 3*z - 6 = -3*j. Solve -5*g - 5 = -2*w + z, -g = -3*w + 15 for g.
0
Suppose -8 = -3*g - r, -3*g - 4*r + 3 + 2 = 0. Suppose -2*z + 4*c - 2 = -3*z, g*z = 3*c + 6. Solve 0 = -4*t - 5*j + z*j - 4, 5*j = -3*t + 8 for t.
-4
Suppose -4*h + 6 + 2 = 0. Suppose 0 = m - 2 + 8. Let a = 10 + m. Solve 1 = -h*x + 7, -p - a*x = -17 for p.
5
Let q(f) = 4*f + 58. Let j be q(-14). Solve 3*t + 0*p = -3*p + 21, 10 = j*t + p for t.
3
Let u = 4 - 4. Suppose -x + 3 = -u. Suppose x*s + s = 0. Solve -4*g + 7*g + 12 = s, 0 = 5*q - 5*g - 25 for q.
1
Let m(v) = -v**2 - 5*v - 2. Let a be m(-3). Solve 21 = a*r - 5*f, -r + 9 = r - f for r.
4
Let r(i) = i**2 + 16*i + 15. Let u be r(-15). Solve -3*t + 6*s = 3*s - 6, -s + 3 = u for t.
5
Let d be 42/(-147) - 32/(-14). Let j = -2 - -4. Solve -d*l + 4 = 2*n, j*n - 2*l = l + 14 for n.
4
Suppose 0*o = -o - 5*p + 49, 3*o = 4*p + 52. Suppose -2*s + o = -2*d, -2*d = s + d + 4. Solve -2*i - s = 0, 4 = y - i - 2 for y.
2
Let d(a) = -a**2 + 6*a - 6. Let u be d(4). Suppose u*w - w = 6. Suppose -4*r = -3*b + w, -2*r + 3*b + 2 = 8. Solve 2 = -5*j - z - r, 0 = -z - 2 for j.
0
Let j(l) = l**2 - 8*l + 1 + 10*l + 32*l**2. Let s be j(-1). Solve -3*c - 14 = d, -4*d - 3*c - c - s = 0 for d.
-5
Let r be (-1 - 0)*(0 + -1). Solve 5*l + b = -18, -2*b - 2 - r = -l for l.
-3
Let y(b) = -b**2 - 16*b - 20. Let z be y(-14). Solve 2*j = 2*h + 4*j - z, 3*h - 4*j = 5 for h.
3
Let a be ((-6)/12)/((-2)/12). Solve -a*c - x = -2*x, 2*c - 4*x + 10 = 0 for c.
1
Suppose 0*a = -3*a. Suppose a = -5*o + 6 + 4. Suppose o*d - 3*d = -2*l + 3, -3*l + 17 = d. Solve -3*k - 3*u - 24 = 0, -u + 3*u + 25 = -d*k for k.
-3
Suppose 5*n - 2*h - h = -74, -2*h = 5*n + 84. Let m = n - -19. Solve -q - 9 = f, q + 5*f = -m*q - 40 for q.
-5
Let v be ((-2)/(-4))/(2/4). Solve -2*n - 6 = -q, 4*q - 3*q - n - v = 0 for q.
-4
Suppose -4*u = -k - 33, 18 = -u - 5*k - 0. Solve -f - 5 = -3*r, 2*f + u = 2*r + 1 for r.
1
Let o = 9 - 7. Solve 5*r = 0, -5*v = 5*r - o*r - 10 for v.
2
Suppose 16 + 94 = 5*w. Solve w - 1 = 5*j - 4*x, 4*j = 4*x + 20 for j.
1
Suppose 0*f = 2*f - 40. Let g = 13 + f. Suppose 0*d = d + y - g, 4*y = -5*d + 162. Solve 4*v + o + 13 = 0, -10 + d = -5*v - 2*o for v.
-2
Let r = -29 + 52. Suppose 5*q + m = -0*q - r, -14 = 4*q + 3*m. Let h be (q/(-2))/((-8)/(-16)). Solve -h*i = -2*u - 13, 0*u - 3*u - 6 = -3*i for u.
1
Let v(a) = -a**3 - 6*a**2 + 8*a + 9. Let l be v(-7). Suppose l*h = -4 + 12. Solve -3 - 21 = h*u + 2*c, 5*u + 5*c = -40 for u.
-4
Suppose 2*k = -5*x + 13, -5*x + 41 = 5*k - x. Solve s - 2*l + 10 = 0, 5*s + l = k - 4 for s.
0
Let g(m) = -m**2 - 3*m + 6. Let x be g(-4). Solve 0*u + 3*t - 6 = -5*u, -t + x = -5*u for u.
0
Suppose 0 = -5*m + 10 - 0. Solve -4*b - 6*a + 11 = -3*a, 0 = -b + m*a for b.
2
Suppose 7*w = 2*w + 30. Let z = 2 + w. Solve 0 = -2*d - 0*n + 2*n - z, -n = -4 for d.
0
Let t(w) = 2*w**2 - 12*w + 5. Let h be t(6). Solve -3*j - 6*a + h = -a, -3*j = 4*a - 7 for j.
5
Suppose -w - 5*f = -3 - 18, -2*w = 4*f - 24. Suppose -o - 3 = -w. Solve 4*h + 6 = o*c, 1 = -h - 2 for c.
-2
Suppose 10*n = n + 45. Solve -3*z + 3*p + 19 = -z, 0 = -n*z + 2*p + 31 for z.
5
Suppose -6*k = -8*k - 34. Let h = k + 19. Solve h*j - 6 = 4*j + 2*x, 5*j - 2*x = 20 for j.
2
Let s be (-85)/(-25) + (-3)/(-5). Let m(u) = -u**3 - u**2 + 2*u + 3. Let w = -9 + 7. Let g be m(w). Solve -3 = 2*d + 3*c + 22, -s*c = -g*d + 5 for d.
-5
Let q(n) = -6*n**3 - 2*n**2 - n. Let l be q(-1). Solve -4*m + l*m + 1 = -c, 3*m = 3*c + 9 for c.
-2
Let r = 132 + -131. Solve 4*p = -5*k + 30 + r, 2*p + 2*k = 14 for p.
4
Let b(v) = v. Let c be b(3). Let s be 28/10 - 1/(-5) - 0. Let l(r) = 6*r - 1. Let f be l(1). Solve 2*d + s*j = -9, 6 = -f*d - 5*j + c*j for d.
0
Suppose 4*w - 5 = 5*r -