 d = j - -19. Let b = 31 + d. Solve m + n = -8, -4*m = -n - 0 + b for m.
-4
Let h(l) = -11*l**3 - l**2 + l + 3. Let s be h(-1). Solve -4 = -4*y - 5*r, 0*r - s = 5*y + 2*r for y.
-4
Suppose 2*z + 2 = 0, 0 = f - 6*f + 5*z + 15. Solve 5*t - 5*o = 0, 0*t - 2*t - f*o = 8 for t.
-2
Let o(b) = 3*b**2 - 2*b. Let a be o(3). Let y be 4*(-1 - a/(-12)). Solve 3*f = -3*z + y, -2*f + 4 - 3 = 3*z for z.
-1
Let j(p) = p**3 - 6*p**2 - p + 11. Let v be j(6). Solve v*n + 33 = -h + 11, 0 = 5*h + 10 for n.
-4
Suppose -21*x + 195 = 18*x. Solve -x*z + 0*l - 5*l = -10, -2*l = -4*z + 26 for z.
5
Suppose -2*o + 5*t = -3*o + 30, 4*o + t - 82 = 0. Solve 0 = -5*s + x - o, 2*s - 4*x - 12 + 2 = 0 for s.
-5
Let v(u) be the third derivative of -u**6/120 + u**5/20 + 5*u**4/24 - u**3/3 + 23*u**2. Let t be v(4). Solve -5*z + 17 = -t*j, 5*z - 7 = -j + 7 for z.
3
Suppose 6*p = 12 - 0. Solve 5*w = -5*f + 10, p*w + 0*w - 13 = f for f.
-3
Let d(b) = b - 1. Let v be d(6). Let z(q) = -q**3 - 8*q**2 + 4*q + 12. Let h be z(-6). Let g = 121 + h. Solve 4*w = -4*k, 5*w - 3*k = -g + v for w.
-4
Let j = 295 - 290. Solve 5*k - j*h = 50, 0 = -3*k + h + 4*h + 40 for k.
5
Suppose 0 = -52*g + 47*g + 10. Solve 4*o - g*x = -7*x + 41, -3*x + 31 = 4*o for o.
4
Let r(w) = w**2 + 4*w - 2. Let u be r(-5). Let c(p) = -p**2 + 108*p + 570. Let d be c(-5). Solve 0 = -5*z + 4*m + d, -z + 1 = -u*m for z.
1
Let u be 0/(4*3/(-6)). Let o(t) = 0*t**2 - 2 - t**2 - t**3 - t**2 + u*t**2 - 3*t. Let j be o(-2). Solve -11 = 5*s + 4*l, -3*l - 3 = -j*s - 18 for s.
-3
Suppose -18*s = -14*s. Suppose 2*t = -s*t. Solve z + m + 2 = 0, t = -4*m + 3*m for z.
-2
Let a(p) = -p + 4. Suppose 2*s + 3*s + 3*q - 31 = 0, 4*q + 12 = 0. Let j be a(s). Let h = 9 + j. Solve 1 = 3*y + h*f, -3*f + 14 = -5*y - 7 for y.
-3
Let b(h) = -2*h + 10. Let y be b(3). Suppose -5*w - 2*c + 21 = 0, -3*w + 2*c = -y*w + 9. Solve w*i + o + 8 = 0, i - 10 = -5*o + 6 for i.
-4
Suppose 0 = 2*l - 3*l + 5. Suppose 0 = 4*g - 3*x - 17, -l*g + 10*g + x - 45 = 0. Suppose 0*j - g = -4*j. Solve 0*p = 2*p - z, -4 = -j*z for p.
1
Let q(v) = -3 + 6*v**2 + 0*v + 3 - 3*v + 1. Let z be q(1). Solve -4*s - r = 4*r + 16, 0 = -z*s + 5*r + 24 for s.
1
Suppose 0 = -2*f + t + 4, -2*t + 109 - 117 = 0. Suppose 0 = -5*h + 20, q - h + 74 = 3*q. Solve -3*u = 5*r - f*u - q, r + 3*u = 19 for r.
4
Let f = -202 - -202. Solve 3*p - 2*h = 1, f = 2*p - 4*h - 8 + 2 for p.
-1
Suppose 3*v - 22 - 2 = 0. Suppose 0 = -t - 2*t - 12, 4*t = -2*j - 14. Suppose -y - 4*u - j = 2, -5*u = 4*y - 10. Solve -n = 3*m - 9, 9 = y*m + n - v for m.
4
Suppose -k - 48 = -9*k. Solve -k*g + 3*g - 17 = -2*r, g + 7 = r for r.
4
Let y be 10/(220/99) + (-6)/4. Solve -3*m - 4*h = -y, 3*h = 6*h for m.
1
Suppose 5*c - 24 = c. Suppose 4*g - 4*t = 12, -g - 5 = -c*g - 5*t. Solve 0 = f - g*m - 8, -3*m = -3*f - m + 12 for f.
2
Suppose -6*w + 10 = -4*w. Let f(p) = 2*p**2 + 8*p + 6. Let c be f(-4). Suppose c*h = 2*h. Solve d + 4*r + h = 1, -w*r = 4*d - 4 for d.
1
Suppose 0 = 28*u - 210 + 98. Solve j = 2*k - 3*j + 4, 0 = k + u*j - 16 for k.
4
Let q = -35 + 37. Suppose q*a - n + 1 = -0*n, 2*a - 24 = -4*n. Solve 2*x = -3*p - 8, x + p = -a*x + 2 for x.
2
Suppose 0 = 5*b + 2*x, 3*x = -15 - 0. Let s = 0 + b. Let m(l) = 2*l + 20. Let k be m(-9). Solve -4*q - k*y = -8, q + s*y + 1 + 3 = 0 for q.
4
Let k be (3/9)/((1 - 3)/(-90)). Let o be (12/8)/(k/40). Suppose -4 = -3*z + 2*z. Solve -10 = 4*f + v, 0*f + o*v = z*f for f.
-2
Suppose 0 = m - 4. Let l(c) = -c**2 - 9*c + 14. Let p be l(-10). Suppose 0 = -p*b - 5*b + 9. Solve -a + b = -1, -2*o = -m*a + 14 for o.
-3
Let s(v) = -v**2 - 10*v + 15. Let q be s(-11). Suppose -6*u + u - 2 = -4*t, q*u - 8 = 0. Let l = -1 - -1. Solve -j = -o + 2, l*j - t*j = -o for j.
1
Let j = -157 + 159. Solve -5*x - 5*i - 45 = 0, -17 = j*x + i - 4 for x.
-4
Suppose -4*i + 18 = -124*f + 123*f, 2*i + 3*f - 16 = 0. Solve -4*p + i = w - 18, 5*p + 2*w - 31 = 0 for p.
5
Let z(y) = 42*y**3 + 2*y**2 - 1. Let w be z(-1). Let h = w + 44. Solve -10 = 2*o - x - h*x, 45 = 5*o + 4*x for o.
5
Let d(x) = x**2 - 5*x. Let f be d(5). Suppose f*k - 5*k = -q + 30, -4*k - 10 = 2*q. Solve 2 = -2*w + 4*u, -4*w = -3*u - 1 + q for w.
-1
Suppose 143 = 23*z - 317. Suppose -2*q - 64 = 2*q. Let k = z + q. Solve -k*j + 10 + 13 = 5*m, -4*j - 4 = -4*m for m.
3
Let c = 6 - -14. Let v be 36/c*40/12. Solve 4*x + 0*g + 4 = 2*g, -3*g + v = -x for x.
0
Suppose -t + 7*t = 12. Solve -t*z + 3*c = 2*z + 6, 5*z + 17 = -c for z.
-3
Suppose 4*d = j + 6, 4*j + j = -2*d + 14. Let p = 40 + -56. Let y be (p + 12)*5/(-1). Solve 0 = -5*u + y, 2*l - 4*u + 4 = -d for l.
5
Let t(m) be the second derivative of -4*m + 1/6*m**4 - 3/2*m**2 - 1/6*m**3 + 0. Let n be t(3). Solve -5*w = -20, -3*w + n = a + 4 for a.
-4
Let d be 3/8 + (-273)/(-104). Solve -d*n + 8*n - 5*s = 15, 0 = 4*n - s - 15 for n.
4
Let y be (-5)/(-3)*(-40 - -43). Solve 4*u - 3*i + y = 0, -13 = 3*u + 5*i - 2 for u.
-2
Suppose 3*y = y + 6. Let o be 1*(-4)/y*165/(-10). Solve j + 2*t - 12 = -5, j = -5*t + o for j.
-3
Let c = 207 + -198. Solve -c = 2*f + 5*q, 2*f + 8 = -3*q - q for f.
-2
Let q(o) = -47*o + 2. Let v be q(-1). Let s be 9/(-36) - v/(-4). Solve 4*x + 3 = -5*c - 1, -x + 2*c = -s for x.
4
Let s(x) = -21*x + 45. Let l be s(2). Solve -l*t - 1 = -5*h + 4*h, -2*t = 5*h + 12 for t.
-1
Suppose 5*o = -3*o. Solve o = -s - 2*k - 8 + 5, 4*k = -16 for s.
5
Let l(w) = -2*w + 11. Let b be l(6). Let c be (-1)/(b/14) + -4. Let k be (2 + 20/(-14))*7. Solve j - 4*j - 15 = k*p, 2*p = -2*j - c for p.
0
Let i(y) = -y**2 + 53*y - 678. Let x be i(22). Solve -3*r - 2 = 2*p, 2*r - 14 = x*p + 6 for p.
-4
Suppose 4 + 0 = 2*q. Let y(k) = -q - k + 0 + 0 + 0*k. Let d be y(-4). Solve 3*c = -3*r + 27, d*r + c = 2 + 12 for r.
5
Suppose -o + 27 = -3. Let p = o + -10. Suppose -k + 22 = 5*j, 3*j - 7 = 4*k + p. Solve -j*b - 40 = 5*u, -u - 3*u - 2 = -2*b for u.
-3
Let t be (-4*(-5)/(-50))/((-2)/25). Solve 2*n = 3*c + 6, -c + t*n + 2 = -9 for c.
-4
Let v = -66 - -68. Suppose 3*i - 10 - v = 0. Solve -3*w = -r - 16, -r - i*w + 24 = -3*r for r.
-4
Let y = -26 - -28. Suppose -y*z = 6*z - 16. Solve z*h - 8 = -2*a + 4, -16 = -3*a - h for a.
5
Suppose 2*z + 6 = 5*z. Suppose -h - 5 = -z*h. Suppose c - 2*v = 11, h*v = 5*c - 0*v - 40. Solve -c*w + 3*g - 17 = 4*g, -w = -2*g + 10 for w.
-4
Suppose 5*n + 4*t + 735 = 0, -3*n + 3*t = 2*n + 735. Let z = 349 - 345. Let d be (-2)/z + n/(-14). Solve -4*g + 5*a - 25 = 0, 0*g + 2*a = 2*g + d for g.
0
Let r(y) = -y + 9. Let u be r(5). Solve 0 = -2*x + 4*i - 14, 3*i = u*i - 1 for x.
-5
Let w = 512 + -512. Solve 4*n + k - 17 = 0, -5*n + k + 2*k = w for n.
3
Let o be (1 + 20/5)*4/10. Solve -2*k + 14 = -o*n, -26 = 4*n + 3*k - 6*k for n.
-5
Let u = 39 - 12. Suppose 26*h - u*h + 3 = 0. Solve 3*k + 5*t = 10, 4*k - 4*t + 2 = -h*t for k.
0
Let k be (-156)/(-48) + (-27)/(-36). Solve -k*z + 3*g + 7 = 0, 5*z + 17 + 13 = -4*g for z.
-2
Suppose 3*x + 29*x - 32 = 0. Solve -3*g = 4*f + 25, -f + 3*g + 4 = -x for f.
-4
Suppose 2*y + 8 + 2 = 3*h, 21 = 5*h + y. Solve 0 = -2*k + 4*t - 16, 0*t - h = 5*k - t for k.
0
Suppose -12 = 4*v, -25*a + 24*a + 3*v = -25. Solve -r - 2*n + 8 = 2*r, 5*r + 4*n - a = 0 for r.
0
Let d(z) = -12*z - 163. Let s be d(-14). Solve -5*y + 5*x - 7 - 8 = 0, -4*y - s*x + 15 = 0 for y.
0
Let b be 90/4 + 3/(-6). Let w be ((-24)/30)/(2/(-5)). Suppose w*j + 0 = 8. Solve -2*q + 4 = 3*g - 0*q, -j*q + b = -g for g.
-2
Suppose -9 = 3*z, 0*l + 5*l + z - 157 = 0. Let v = 36 - l. Solve -3*p + u = -2*p + v, -4*p = -2*u + 10 for p.
-1
Let c(o) be the first derivative of -1/3*o**3 - 9/2*o**2 + 2*o - 1. Let v be c(-9). Solve -4*i + 16 = m, 0 = -5*i - 3*m - v + 15 for i.
5
Let j be (5 - 3)/(4/6). Let d(z) = -z**2 + 5*z + 2. Let x be d(6). Let t(v) = -7*v - 10. Let l be t(x). Solve -a + l = 4*w, 2*w - j - 9 = -2*a for w.
4
Let w(c) = -c**3 - 22*c**2 + 5*c - 10. Let s be w(-22). Let b = s - -152. Solve -5*l - 4*h = -25, -5*l - 5*h + b = 7 for l.
5
Let g = -5 + 7. Suppose 11*y = 14*y. Suppose b + y*x - 8 = 4*x, -b + 5*x = -6. Solve -g*k - 2*k - 5*f + 16 = 0, b = 4*k - 2*f for k.
4
Let o(z) = 6*z**2 - 2*z - 3. Let s be o(-1). Suppose 5*d = 2*d - 12, s*d = g - 22. Solve g*h + 3*c - 2*c - 5 = 0, 5*h = 5*c + 20 for h.
3
Let o = 4 - 1. Suppose o*k - 55 = 41. Let z = -17 + k. Solve -3*i = a - z, -2*i + 2*a + 2 = -0*a for i.
4
Suppos