m.
2
Let s = -3 - -8. Let h = 8 - -1. Let v = h - s. Solve 0 = -v*n + 5*i + 33, -3*i + 2*i - 9 = -2*n for n.
2
Suppose 6*p - 2*p = 16. Suppose -p*m - 8 = -2*l, -l + 5*m + 11 = 2*l. Solve q + 28 = 5*q - l*a, q = -3*a - 7 for q.
5
Let p(f) = -2*f + 13. Let o be p(4). Solve 8 = -r - l, 5*l + 5 + 5 = o*r for r.
-3
Suppose 20 = -5*o, 2*g - 3*g + 4*o = -18. Solve b - 3 = -4*r, 5*b + 23 = g*r - 3*r for b.
-5
Suppose -7*a = -10*a + 6. Solve -a*d + 6 = -d + f, -d + 2*f = 6 for d.
2
Let k(f) = 7*f**3 - f**3 - 2*f**2 + f - 2*f**3. Let t be k(1). Suppose 28 = t*r - 8. Solve r = 4*l, -6 = -3*g - 0*l + 2*l for g.
4
Let u = 43 + -69. Let c be 4/u + (-56)/(-26). Solve -n - c*n = m + 17, -5*n = 3*m + 31 for n.
-5
Let j = -62 + 90. Solve 4*u + j = d + 6, 4*u = -3*d - 14 for u.
-5
Let r = 0 + 2. Let s = -2 - -5. Solve -s*i = -4*i - v - r, 3*i + 6 = -2*v for i.
-2
Let w(v) = v**2 - 11*v - 13. Let y be w(12). Let d be (-3 + -1)/(-3 - y). Solve -2*k = d*k - 3*p + 7, -3*k + 3*p - 3 = 0 for k.
-4
Suppose -2*n + d = 2*n - 36, 0 = -2*n + 4*d + 18. Suppose 4*v - n - 3 = 0. Solve 4*k = -v*c + 2*c + 21, 0 = -5*c + 5*k + 5 for c.
5
Let b = 22 - 22. Solve 5*j - 2*m - 1 - 13 = b, 4*j - 2 = -3*m for j.
2
Suppose 0 = 5*i - 20 - 0. Let b(v) = -v**3 - 8*v**2 - 9*v + 1. Let u = 0 + -7. Let q be b(u). Solve 3*k + i = 4*n + q, 10 = -5*n for k.
1
Suppose -w = 4*o - 20, 5*o - 3*o = -5*w + 28. Suppose -l + 5*z - 7 = 0, 0 = l + o*z - 0*z - 20. Let k = 4 + l. Solve -3*a = k, 5*q - q + 3*a = -20 for q.
-2
Suppose j - 6*j = -5*t - 70, -2*t = 5*j - 84. Solve f + 2*f = -2*p + j, -3*p - 5*f + 25 = 0 for p.
5
Let n be (-8)/5 - -2 - 78/(-30). Solve -2*h + 25 = 5*u, n*u = -0*u + 15 for h.
0
Suppose 4*i - i - 9 = -c, 4*c = 0. Suppose 30 = 3*y - 0*y + 3*o, 0 = -i*o + 15. Solve -5*f = -3*f - 10, y*f = -5*b for b.
-5
Let q = 2 - -8. Solve -4*i + 21 = -q*t + 5*t, t + 2 = 3*i for t.
-5
Let h(k) = 5*k**3 - 2*k**2 - k + 1. Let u be h(2). Let r = -11 + u. Solve 5*n + 12 = -2*o, -3*o = 2*o - r for n.
-4
Let u = -13 - -17. Solve g - 3*h = -16, -4*g = -9*g + u*h - 25 for g.
-1
Let u be (90/(-15))/((-2)/4). Solve -d + u = 4*f, -2*f + 5*d + 15 = 3*f for f.
3
Let z be 42/10 + 1*3/(-15). Solve 4*v = -2*b - z, v + 2 = -b - 0 for v.
0
Let p(s) = -s**2 + 9*s + 14. Let q be p(10). Solve 0 = -3*f + 2*c + 3*c + 22, -q*c - 24 = -4*f for f.
4
Let a = 1 - -1. Suppose -3*p = 2*w + 2*w - 41, -a*w = -4*p - 48. Solve -n = -0*c - c - 4, 0 = -5*c - n - w for c.
-3
Suppose 5*x - 24 = 6. Solve -a + 3*u = -3*a - x, -4*a + 3*u = 12 for a.
-3
Let n = -2 + 4. Let m be (1/3)/(1/(-3)). Let k be m + -1 + 4 + 6. Solve 0 = x - 3*o + 3, o + 2 - k = n*x for x.
-3
Let w(v) = -v**2 + 6*v - 2. Let l be w(5). Solve 0 = 2*i + 2*i - 5*t - 25, 3*i - l*t = 18 for i.
5
Let g(i) = -i**2 + 11*i - 8. Let k(z) = z**2 - 4*z + 5. Let a be k(5). Let m be g(a). Let y = 12 + 1. Solve 0 = -t + 4*c + 15, -3*c - y = -t + m*t for t.
-1
Suppose 6 = 3*j - 6. Let l be j/(-14) + 23/7. Let y be l + (2/2 - 1). Solve 24 = 4*n - 4*o, y*n = -4*o - 16 - 1 for n.
1
Let t be ((-3)/(-6))/((-1)/(-10)). Let r = 19 - 18. Solve 0 = -4*a + t*y - 11, -y = r - 4 for a.
1
Let m(y) be the third derivative of y**6/120 + 7*y**5/20 + 7*y**4/8 + 5*y**3 + 5*y**2. Let s be m(-20). Solve -4*c = 2*n - 4, -5*n - s + 5 = -5*c for n.
0
Let i(h) be the first derivative of h**3/3 - 3*h**2/2 + 1. Let b be i(3). Suppose -w + 2 = -b. Solve -5*c = -w*g - 17 + 4, -4*c + 3*g = -9 for c.
3
Suppose -l - 12 = -4*l. Let y = -2 + l. Solve m - 7 = y*t, 5*t + 4 + 21 = 4*m for m.
5
Let s(o) = -o**2 + o. Let m(u) = 3*u**2 - 8*u + 1. Let l(x) = m(x) + 4*s(x). Let i be l(-3). Solve 3 = -i*c + 3*z, 3*z = 3 + 12 for c.
3
Suppose 4*h + 30 = -5*m - 47, 5*h = -4*m - 94. Let v = 20 + h. Solve 0 = 5*d + 2*r - 27, 3*d - 3*r - 14 = -v*r for d.
5
Suppose 0 = s - l - 8, 2*s + 4*l = 7*s - 37. Let n be 0 - (0 + (1 - 3)). Solve t = -5*r - 32 + n, -r + 2*t + s = 0 for r.
-5
Let u(o) = o**2 + 10*o + 15. Let v be u(-9). Solve 5 = p, -2*p + v = i - 0*i for i.
-4
Let c = 43 - 41. Solve 3*r = -c*b - 4 - 1, 3*b + r - 3 = 0 for b.
2
Suppose 0 = 3*s + 5*r - 34, 0*s - 2*s = 3*r - 21. Let p be -2 + 5 + -3 + s. Solve 2*n - p*v = -12, -2*v = -4*n - 3*v - 10 for n.
-3
Let m(h) = -4*h**3 + h**2 + 2*h + 1. Let b = 6 + -7. Let r be m(b). Solve -r*y + 9 = -3*c - 0, 0 = 5*y + 5*c - 20 for y.
3
Suppose 2*h + 1 = 209. Suppose -h = -4*y - 0*y. Suppose 10 = -4*i + y. Solve -i*k + 4 = -u, 5*k + 5*u - 5 = 4*u for k.
1
Let i = 21 - 16. Solve -i*s - 2 + 20 = m, 0 = s - 3*m + 6 for s.
3
Let z(h) = 2*h**2 - 8*h. Let o be z(6). Suppose 4*m + 0*m + 2*x = o, 5*m - 5*x = 45. Solve -k = -2*t - m, -4*t - 2*k + 16 = 2*k for t.
-1
Suppose m + 9*m - 220 = 0. Solve 3*r - 4*r + 18 = 4*f, 5*f = -r + m for r.
2
Let d(m) = -m**3 + m**2 + 5. Let i be d(0). Solve 3*u + 22 = -4*x + i*u, 3*x - 2*u = -19 for x.
-3
Let h be 1*((-2)/(-1) - -3). Let d(m) = m**2 - 7*m + 3. Let o be d(6). Let p = o + h. Solve 0 = -5*f - p*r - 15, -4*f + r - 35 = -2*r for f.
-5
Let b = 31 - 31. Solve 2*c - 25 = -5*g, g = -4*c - b*g + 5 for c.
0
Let x be 24/2 - (6 + -3). Solve -5*g + 6*g + 4*p = -x, 0 = 4*g - 5*p - 6 for g.
-1
Suppose -4 - 8 = -4*g. Solve 0 = -4*t - 16, 0 = -3*a + g*t - 4*t - 13 for a.
-3
Let w be (-4)/6 - 5/(-3). Let b be 165/(-6) + w/2. Let x be 2/(-9) + (-87)/b. Solve 0 = -x*n - 2*n - 4*d - 15, -3*d - 15 = 0 for n.
1
Let k be -3 + -2 + 4/2. Suppose 38 + 1 = -3*l + 2*u, 4*u - 1 = -l. Let a = k - l. Solve -2*d + 2*r - 5*r + 19 = 0, 0 = -d + 2*r - a for d.
2
Suppose -2*r + 10 = j, 4*j + r = 3*r + 10. Suppose 3*i - g = 81, -2*g = 4*i + 3*g - 127. Let t = 40 - i. Solve 0*a - j*l - t = -2*a, -5*l - 25 = 0 for a.
-4
Suppose -3*w - 25 = -109. Let x be w/6 - (-2)/(-3). Solve -5 = 2*u + 3*u - x*i, 0 = -2*i for u.
-1
Suppose 5*b - 10 = 15. Suppose 0 = 2*g + 3*g + 2*d + b, g + 2*d + 9 = 0. Solve -2*a + 3*h - 2*h - g = 0, 0 = 3*h + 3 for a.
-1
Let a be (10/25 + 0)/(4/40). Solve -10 = 2*t, a*g - 5*t = -3*t - 6 for g.
-4
Let k(w) = -w**3 + 8*w**2 + 8*w + 9. Let r be k(9). Suppose -4*u + r = -12. Solve 3 = -5*y - u*c - 0*c, y = c - 7 for y.
-3
Let c = -37 - -45. Solve a = -2, c = 5*l - 5*a - 7 for l.
1
Let n = 11 - 8. Solve -r + 8 = 2*p - 1, n*r = -4*p + 23 for r.
5
Suppose -2*s - 17 = 5*q + 4, -3 = -4*s - q. Suppose 0*g = -s*g + 10. Solve 0 = g*d, d + 4*d - 2 = 2*h for h.
-1
Let j(r) = -r**2 + r - 2. Let c be j(2). Let u be 1/(-4) - 1/c. Suppose 4*x = s + 30, -1 - 5 = -x + s. Solve -4*t - 5*q = -u*t + 6, -2*t + 3*q + x = 0 for t.
1
Suppose -3*a = -4*t - 8 + 6, 0 = 5*a - 3*t - 7. Solve -3*f = a*k + 11, -2*f + 1 = f - k for f.
-1
Suppose 12 = 5*x + 2. Suppose 9 = m - 9. Suppose -x + m = 4*u. Solve u*t - 3*k = -7*k, -1 = -4*t - 3*k for t.
1
Suppose -n = -0*n - 5. Let d be 3/n*15/3. Let q(i) = i**3 + 2*i**2 - i - 1. Let o be q(-2). Solve 2*b - s - d = o, 4*s = -2*b + 4 for b.
2
Suppose -2 = l - 0*l - 2*h, 5 = 5*h. Solve 0 = 3*a - 4*k + 10, -4*k + 12 = -4*a - l*k for a.
-2
Let l(n) = n**3 - 3*n**2 - 19*n + 9. Let z be l(6). Solve -7*r + 5*m = -z*r + 22, -2*r - 4*m + 2 = 0 for r.
-3
Let f(n) = -n**3 - 3*n**2 - 7*n + 4*n + 2*n + 4. Let a be f(-3). Solve 0 = h - 3*s + a, -3*s = -h - 7*s for h.
-4
Let y be ((-27)/36)/((18/40)/(-3)). Solve -2*k - 4*s = 20, 8*s - 3*s + 25 = y*k for k.
0
Let r be 4 + -1 + (5 - 9). Let j be (-4 + 3)/(r/24). Solve -5*u + 4*q = 21, 4*u - 2*q + j = 3*q for u.
-1
Let s be 1/(5*(-4)/(-40)). Solve -3*h = -6*h - 3, 0 = s*t + 5*h - 5 for t.
5
Let h be 8/(-12)*1*-18. Solve -5*u - 1 = -l, l - 3*l - h = 4*u for l.
-4
Let c(y) = -2 - 3 + 4 - 3*y**3. Let g be c(-1). Solve 16 = 4*l - g*v, -7 = -2*l + 3*l + 5*v for l.
3
Let v(o) = -o**3 - 8*o**2 + 9*o + 3. Let f = 2 + -11. Let t be v(f). Let u = 12 - -3. Solve 5*q + 2*h = -u, t*q + 3*h - 20 = 4*q for q.
-5
Let g(i) = -13*i + 3*i**3 - 2*i**2 - i**3 + 14*i. Let b be g(1). Solve -3*d = 0, -4*s + d + b + 3 = 0 for s.
1
Let v = -40 - -45. Solve -c - m = -3*m, 5*c + v*m + 15 = 0 for c.
-2
Let f = -8 + 14. Suppose -25 = -b - 5*t, 3*b - f*b - 5*t = -35. Solve g - l + b = 0, -5*g - 5*l = -37 + 12 for g.
0
Let x = 3 + -1. Suppose -3*b + 4 = b - 4*d, d = 3*b - 11. Suppose -q = -5*z + 8, b = 4*z + q - 5. Solve x*g - 3 + z = 3*w, -w = -3*g - 2 for g.
-1
Suppose -4*q = -0*q + 40. Let r be (-17 - 1)*(-15)/q. Let f = r - -51. Solve -12 = 5*l - 