m.
2
Let v be ((-8)/(-10))/2*(21 - 16). Solve -2*c - 10 = 2*u + 3*u, 2*u - v*c = -18 for u.
-4
Let x be 40/32*(-2 + 6). Solve 0 = 2*a + 2, -x*j + 7*a - 2*a = -25 for j.
4
Let l = 345 + -340. Solve -2 = -3*x + t + 5, 0 = -l*x - 5*t - 15 for x.
1
Let x be -12 + (-30)/(-5) + -1 + 24. Solve 3*n = -z + 13, -2*z - 3 = 2*n - x for z.
4
Let s(f) be the third derivative of f**5/60 + f**4/24 + f**3/3 + 2*f**2. Let b be s(-1). Solve h - 3*m + 2*m - b = 0, 5*h = 4*m + 8 for h.
0
Suppose 48 = 7*i + 9*i. Solve k - 5*k - i*r + 11 = 0, 3*k = 3*r + 24 for k.
5
Let k be 0 - 4 - 1/((-1)/7). Solve 2 - 3 = h - 2*g, g + 3 = -k*h for h.
-1
Suppose 0*r = r - 3. Let l be (-3)/(-27)*15 - (-1)/r. Solve f = -f + 2, -l*c = 4*f for c.
-2
Let o be 4 + -5 + 2 + 3. Suppose -8*y = -o*y. Solve z + z = -3*f + 4, y = -2*z - 5*f + 8 for z.
-1
Let t(c) = 3*c**2 - 20*c - 113. Let h be t(-4). Solve 2*g - k = 6, 3*g + 2*g + 5*k = h for g.
3
Let o be (-104)/48 - -2 - 2/(-12). Solve o = -l + h - 1, l - h + 5*h = -6 for l.
-2
Suppose r - 4*n + 4 = -0*r, 2*r = 4*n - 4. Let s = 27 + -27. Let z = 11 + -9. Solve -h + 3*a + z = r, -14 = 3*h + a - s*a for h.
-4
Let v(q) = 2 + q**2 + 2 + 5*q + q**2 - 2*q. Let m be v(-3). Let x = m + -9. Solve -3*p + 10 = -l, 0 = 2*p + p + 5*l - x for p.
3
Suppose 4*h + 3 = a, 2*a + 0*a = -4*h - 6. Let j(r) = 9*r**2 + 2*r + 1. Let k be j(h). Solve -4*d = 4*v - k, 0 = -4*v + 3*v + 2*d - 13 for v.
-3
Let u be 45/(-2)*(-30)/45. Let g = 20 - u. Solve -5*z = 3*i - 5, -i + z = g*z - 11 for i.
-5
Suppose 5*o - 19 = -4*t - 11, 27 = 5*t + 2*o. Solve 0 = -c - c - 5*g + 3, c = 3*g + t for c.
4
Let i(q) = 9*q**3 - 10*q**3 + 2*q + 0 - 4 + 3. Let a be i(-2). Solve r + 5 = 2*n + 12, -10 = -5*n - a*r for n.
-1
Suppose 0 = -5*t - 11*t + 48. Solve c = -t*j - 4, j + 0*c + 3*c + 4 = 0 for j.
-1
Let c(m) = -m**2 - 14*m - 4. Let q be c(-13). Solve -7*z + 3*z = -g + 15, 2*g = -5*z - q for g.
3
Let c = 5419 - 5419. Let y(a) = a**3 + 5*a**2 - a + 2. Let l be y(-5). Solve -3*p - 11 = -c*w + w, p + w = -l for p.
-2
Let p(q) = -q - 2. Suppose -5*c = -2*z + 16, -11 = 5*c + 4*z + 17. Let t be p(c). Suppose 41 = t*a + 7. Solve -w + 0*i - a = 3*i, 2*i = -8 for w.
-5
Let g be (-8)/6*1/(-2)*6. Suppose -g*z + 3*b + 28 = 0, 0*b = -4*z + 5*b + 36. Solve -m - 3 = -z*m - 2*w, -2*w = -6 for m.
-1
Suppose -2*p + 25 = 5*q, -15 + 10 = -q + 5*p. Suppose -2 = -3*u - 2*f, -f + 5 = -3*u + 4*f. Solve 15 = -y - z - 2*z, u = -q*y + 3*z - 3 for y.
-3
Let g be -5 - (-1)/(72/(-40) - -2). Solve -4*w = 3*z + 35, -z = -g*w + 3*w + 20 for z.
-5
Let j(w) = -w**3 - 6*w**2 + 1. Let h be j(-6). Let g(t) = -4*t + h + 8*t - 3*t. Let l be g(-1). Solve 0 = -5*v, -5*v + 10 = 5*m - l*v for m.
2
Let x = -152 - -161. Suppose x = -j + 11. Solve -n = -0*n - 3*m - 11, 3*n - 2*m + j = 0 for n.
-4
Suppose -3*m - 7*m + 10 = 0. Let r = 4 + m. Let k(p) = p**2 - 4*p + 4. Let o be k(4). Solve -5*l + r*n = 20, o*n = -3*l - 18 + 6 for l.
-4
Suppose -m = 2*h, 5*m - 20 = 10*m. Solve 30 = 3*g - 2*t - 3*t, h*g = -2*t + 4 for g.
5
Let d be (-41)/(-7) + 6/(-7). Solve -2*t + 5*t = d*s - 12, -2*s = 0 for t.
-4
Let f = -41 + 26. Suppose 0 = -a - 3*a - 20. Let n = a - f. Solve 0 = -2*x - 3*t - 4, -x - n = 4*x + 4*t for x.
-2
Suppose 0 = -4*k + 10 + 30. Let f be 4/3*15/k. Suppose 3 = h - p + 2, f*p - 19 = -5*h. Solve -x + h*t = -5*x - 7, 0 = -3*x - 3*t - 9 for x.
2
Let b = 18 + -10. Let j = b - 4. Suppose -7*s + 2*a + 24 = -2*s, 0 = -3*s - j*a + 4. Solve -4*w - 5*r = w - 10, -s*w = 2*r - 12 for w.
4
Let n(a) = a**2 - 4. Let l be n(-5). Let d be (-1)/(-1 - (4 - 4)). Let h be 7 - ((-2)/d - -5). Solve -h*f + 14 = -8*f + 2*v, 3*f + l = 5*v for f.
-2
Suppose a - 220 = -212. Let j(x) be the second derivative of x**4/12 - 3*x**3/2 + 5*x**2 - x. Let g be j(a). Solve o = n + g - 0, 4*o = 2*n for o.
-2
Suppose -7*l + 12*l = 700. Let g = l - 140. Solve -4*d + 16 = -b, -2*b + g*d - 2*d = -18 for b.
4
Suppose -1 = -3*k + 2*k. Let a(d) = 21*d + 0 - 1 - 20*d. Let g be a(k). Solve g = 2*n + 2*y + 20, -4*n = 3*y - 4 + 39 for n.
-5
Let q(z) = z**2 + 2*z - 4. Let o be q(-7). Let k = 57 + -74. Let w = o + k. Solve -5*m - w - 1 = j, -8 = 4*m for j.
-5
Suppose -88 = -2*w + 4*n, 3*n + 85 = -2*w + 4*w. Suppose -w*p + 39*p = 0. Let v be 4/10 + 16/10. Solve -z + 17 = 4*q, -4*q + p*q - v*z = -18 for q.
4
Suppose 10*u + 16 - 36 = 0. Solve 4*d + u*k - 2 = 0, 4*d - k = -4*k + 3 for d.
0
Let y = 60 + -62. Let i be (-2)/(-1)*2 + y. Solve -4*r + 5*v = 25, 4*r + 25 = -i*v + 7 for r.
-5
Suppose -4*c = -4*p - 230 + 94, 0 = -c - p + 36. Solve 8 + 0 = -4*o, -5*v + c = -5*o for v.
5
Let s(u) = u**3 - 5*u**2 + 7*u - 6. Let j be s(4). Suppose 0 = m + 3 - j. Suppose p + 1 = m. Solve 3 = 4*f - 5*h - p, 2*f - h + 5 = 0 for f.
-5
Let t = -26 + 28. Suppose v + v - 24 = -t*y, -y = -2*v + 15. Solve -3*z - 3*m = v, 9 = -m - 2*m for z.
0
Let x = 68 + -65. Solve -x*t + 8*t = -4*v - 37, 2*t = -10 for v.
-3
Let c = 1935 + -1932. Let t(g) = 6*g**2 - 2*g + 1. Let s be t(1). Solve y + s*d - 13 = 0, 0 = y + d + c*d - 10 for y.
-2
Suppose 0 = 25*m - 45*m + 100. Let v = 10 + -5. Let r be ((-6)/15)/((-1)/v). Solve 20 = m*w + 2*p, r*w = -0*w - 2*p + 8 for w.
4
Suppose 100 = 37*z - 33*z. Solve -20 = -4*j - 0*j, 5*j - z = 3*u for u.
0
Let j be 11 - (48/(-6) + 13). Let s be 1*-2*(1 + -2). Solve -4*n = 12, j*n - n = -s*c - 17 for c.
-1
Let o(y) be the first derivative of -3*y**2 - y + 33. Let v be o(-1). Solve 0 = 2*h - v*p + 29, 0*h - 5*p + 23 = h for h.
-2
Let s = 5 - -1. Suppose 0 = -5*w + 2*l + 14, 0*w = -4*w + 5*l + 18. Solve -6 = -2*t + s*x - x, -w*t + 6 = 3*x for t.
3
Let w(x) = -3*x - 6. Let l(m) = 2*m + 5. Let c(k) = 5*l(k) + 4*w(k). Let i be c(-1). Solve 19 = 2*d + t + 2*t, 0 = i*d - 4*t + 14 for d.
2
Suppose -12*d + 4*d + 176 = 0. Suppose 16 = -3*q + 7*q. Solve -17 = 3*r - 2*r - q*j, -2*r + 5*j - d = 0 for r.
-1
Suppose -4*d - 2*r + 4*r = 2, -r = -4*d - 1. Solve 2*o = -5*c + 5, 5*o - 4*o - 3*c + 14 = d for o.
-5
Let h = -50 + 156. Suppose 5*y + 6 = h. Let r be 0 + (-1)/(-3)*0. Solve r = 5*l + 4*b + 10, -2*l - y = -7*l + 2*b for l.
2
Suppose 4*r - 4*a - 8 = 0, -10 = -2*r + 95*a - 96*a. Solve -4*l - 8 = 0, r*o - 4*l = 4 + 24 for o.
5
Let n be 1/(3/(-9)*-3). Let i = n - 1. Let g = 3 - i. Solve -5*c - 3*l + l + 20 = 0, 16 = 4*c + g*l for c.
4
Let o(c) be the third derivative of -3*c**2 - 1/6*c**3 - 1/24*c**4 + 0 + 0*c. Let u be o(-5). Solve 2*r + u*v + 18 = 0, 5*r + 0*r - 3*v = -6 for r.
-3
Let b(m) = -m + 7. Let o be b(4). Suppose 4*u = o*j - 22, -5*u + 11 = -5*j + 56. Solve 4*q + 4 = 2*w - j, -5*q - 18 = -w for q.
-3
Let c = 52 + -51. Solve 2*r = 3*h - c, -h - r + 2 = -0*r for h.
1
Let b(q) = q**3 + 7*q**2 + 8*q + 19. Let k be b(-6). Solve -2*h + k = 3*v, -8*v = -3*v + 5 for h.
5
Suppose y - 5 - 3 = 0. Suppose 8*c = 14*c - 150. Suppose -2*z - 4*a + 8 = 4, -5*z - 5*a = -c. Solve -2*v + z = 4*n, -3*n + 12 = 5*v - y for v.
4
Let t(r) = r**3 + 6*r**2 + 2*r - 9. Let b be t(-5). Solve 4*y - 2*z = -6*z, 2*z + b = 0 for y.
3
Let h(p) = -p**2 - 8*p + 17. Let u be 2/(-3) + 198/(-27). Let d be h(u). Solve -14 = 5*g + j, -5*g = -j - j + d for g.
-3
Let y be (-1)/2*-2*2. Let k(b) = -b**2 - 47*b + 318. Let v be k(6). Solve v = 3*l - 4*j + 3*j + 3, -2*l = -3*j + y for l.
-1
Let y(s) = -s**3 - s**2 + 40*s - 11. Let w be y(-7). Solve 0 = 2*z + 2*b + 6, w*b = -2*z + 4*b - 6 for z.
-3
Let k = -26 + 32. Suppose -k - 14 = -5*m. Suppose 65 = 5*s + 5*c, 2*s + m*c - 14 = 10. Solve -21 = i - 5*u, i = -i - 4*u + s for i.
-1
Let l be (-31)/10 - 13/(-130). Let w be (1 + 0)*(2 - l). Solve -3 = 4*k - 5*u - 9, -1 = w*k - 2*u for k.
-1
Let i = -18 - -25. Let f be (-11 + i)*3/(-4). Suppose 14*w - 16*w = 0. Solve 0 = 4*k + h + 12, 6 = 3*k - f*h - w for k.
-2
Let b = -458 + 463. Solve 2*t + 10 = 6*t - 2*s, b = -4*t + 5*s for t.
5
Suppose -3*f = 2*k - 83, -30*f + 26*f - 3*k + 112 = 0. Solve 9*i + 18 = 10*i + 4*z, 5*z - f = 0 for i.
-2
Let w = 536 + -534. Solve -5*u = w*r - 18, -2*u + 6*u - 20 = -3*r for u.
2
Suppose 421 - 445 = -8*q. Solve 0 = -4*y + q*h - 32, -h - 4 = 2*y + 2 for y.
-5
Let z = -27 - -83. Let s = -51 + z. Let d be 1*(17 - (0 - 1)). Solve 0 = -4*p + 3*a - 0*a - 10, -2*p - s*a - d = 0 for p.
-4
Let w = 35 + -29. Suppose 0 = -3*p + 9, -w = -4*r + 2*p - 0*p. Solve 3*k - 8*k + 5*u = 5, r = -k + 3*u for k.
0
Let v be (2 - -4) 