 m.
-1
Let n = -1 + 4. Let i(q) = -6*q**3 + q + 1. Let k be i(-1). Suppose n*b + w = 18, -w + k = w. Solve -2*t = -4*u - 3*t - 21, b*u - 3*t = -22 for u.
-5
Let f(m) = -7*m + 3. Let i be f(0). Solve 45 = -5*k + 5*n, i*n - 6 = 9 for k.
-4
Suppose 3*i = -5*p + 57 + 23, 2*p - 5*i = 32. Let u = -58 + 78. Solve 4*x = o + p, -2*o + 0*x - 5*x = -u for o.
0
Let m be 0 + 4*6/8. Suppose 0*k - 45 = -m*k. Solve 2*f + 14 = 5*a, -3*a + 12 = 5*f - k for a.
4
Let r = 16 + -8. Let b = r - 6. Solve 2*y - 5*q = -10, -y - 3*y + 4 = b*q for y.
0
Let h be 1/4 + 22/8. Solve -3*o = -4*k + 16, h*o = -0*o + 2*k - 8 for o.
0
Suppose -2*n + 5 = -1. Solve -u - r + 2 = 0, 0 = u + 2*u - n*r + 12 for u.
-1
Let p be (-8)/(-5)*(-55)/(-22). Suppose 0 = -0*i - p*i + 16. Solve i*u - 5*a + 3 = 0, 0 = -5*u + 3*a - 3 - 4 for u.
-2
Let n be 7/21 + 1/(-3). Solve u + 1 = -n*u + v, 0 = -2*u - 4*v + 22 for u.
3
Suppose -3*x = -6*x + 3*u + 24, -4*x - 4*u = 0. Solve n - x = i - 0*n, 6 = -2*i + n for i.
-2
Let j(b) = b**2 + 8*b + 8. Let z be j(-7). Let v(c) = -5*c**2 - c + 3*c**2 + 3*c**2 + 16*c**3. Let h be v(z). Solve -w - 4*r - h = 0, -r - r = 10 for w.
4
Suppose 1 = -3*l - a - 7, 5*l = 4*a + 15. Let c = -1 - l. Suppose -3*w = 5*g - 5 + 3, 3*w + g - 10 = c. Solve -3*n - 4*o - o - 1 = 0, 0 = 4*o - w for n.
-2
Suppose -u + 11 = 4*u + 4*b, -5*u + 16 = -b. Solve y + 11 = -5*w, -u*y - 5 = 5*w - 2 for w.
-3
Let y = -6 - -6. Suppose y = -k - 8 + 5. Let d be ((-1 - k) + 0)/1. Solve x = -h - 3*x - 1, -5*x + d = -2*h for h.
-1
Let b be 1 + 3 + 0 + 0. Let i be ((-10)/(-6) + -2)*0. Let c = i + b. Solve 1 = -2*u - 2*q + 3*q, 0 = 2*u + c*q - 24 for u.
2
Let h = 37 - 65. Let p = h + 41. Solve -3*z + 3*q + p = -2*q, 4*z - 14 = 5*q for z.
1
Suppose 4*b = -8, -4*n - b + 93 = 11. Solve -7*y + 2*y - n = 2*s, y + 6 = -s for s.
-3
Let b be -3*3/((-18)/8). Suppose 4 = 3*q - 2*c, 9*q - 4*q - 5*c = 0. Suppose w + 39 = q*m, 0*m + 7 = m - 3*w. Solve -m = -p - b*u, 3*p + 2*u - 6 = -2*u for p.
-2
Let a(j) = -j + 5. Let v be (-3)/(-2) - (-6)/4. Let l be a(v). Solve l*o - 10 = -w, 4*w = -0*o + o + 4 for w.
2
Let f = 6 + -4. Suppose -n = -3 - f. Suppose -5*a = -p - p - 7, 2*a - n = 3*p. Solve -3*x = 4*o + 8, 1 + a = -o + x for o.
-2
Let x be (0 - (2 - 1)) + 4. Suppose x*y + 5*w = 32 - 9, y + 11 = 3*w. Let h = 4 + y. Solve -h*k + 5 = -5*f, -14 = -0*k + 2*k + 2*f for k.
-3
Suppose 0 = 11*v - 30 - 25. Solve v*o = 4*f - 8*f + 29, 5*f = 5 for o.
5
Suppose 2*s = -2*v + 12, 2*s + v - 2*v - 3 = 0. Solve -w + 6*w + 15 = 0, -s*w = -4*o - 3 for o.
-3
Let a = -1 - -3. Solve a*h - 4*j - 24 = j, 12 = -2*h - 4*j for h.
2
Suppose h - 26 = -5*p - 3, -4*h = -3*p + 23. Solve -p*w + 22 = -2*s, 2*w + 2*w + s - 15 = 0 for w.
4
Let g be 3 - (-6)/((-4)/2). Suppose -2*f = -j + 4, 0*j + 2*j - 6 = 3*f. Let r = 0 - j. Solve 4*p - 4*q + 12 = r, -q + 1 = -3*p - g*q for p.
1
Suppose 8 = 5*a - 2*q, -2*a + q + 3 + 1 = 0. Suppose a*g = 3*g. Solve g = -l + k - 2, -4*l - 4 = -l - 2*k for l.
0
Let q be (-1 - -1*2)*5. Suppose 2*c = r - 29, r - c = -q*c + 35. Solve -4*x = -3*f - r, -5*x - 2*f + 11 = 1 for x.
4
Let j = 14 + -28. Let b be (-46)/j + 6/(-21). Solve -5*f = -b*m + 20, 1 = -2*f - 4*m - 7 for f.
-4
Let l = 11 - 10. Solve l = p, 5*y + 10 = p - 6 for y.
-3
Let a = 9 - 6. Suppose 0 = 2*s + a*s - 30. Solve -o - 3*v = -v + s, -2*o + 3 = -v for o.
0
Let t = 1 + -4. Let j be 5 - (t + 5 + 1). Solve 0 = j*s - x + 5*x - 10, s - 5*x = -23 for s.
-3
Let w be 3/(-6) - 6/4. Let z(k) = -k**2 - 5*k - 1. Let i be z(w). Solve i*v + q + 7 = 0, -2*v = -7*v - 2*q - 4 for v.
-2
Suppose 5*a - 9*a = 0. Solve -4*y + a*y + 4*b = -32, 5*y = -3*b + 16 for y.
5
Suppose 2*s + 5*b = 33, -s + 5*b = -0*s + 21. Solve -4*k + 7 = -z + s*z, 1 = 4*k - 3*z for k.
1
Suppose 2*m + 2*m = 0. Suppose -4*z + 7*z = 6. Suppose -2*w - w - 5*y = 1, 3*w = -y + 7. Solve j = -a + w, -2*j - z*j = m for a.
3
Let z = 11 - 7. Suppose z - 1 = h. Suppose -2*p - 6*j = -3*j - 61, 0 = h*j + 9. Solve -5*i - 5*r = -p, -r = -i + r - 5 for i.
3
Let k(n) = -n**2 + 7*n. Let t be k(8). Let g = 30 + t. Suppose -5*z - 7 + g = 0. Solve 5*c = -4*q + 41, -c - z*q = -0*c - 17 for c.
5
Let a(v) = v**2 + 2*v. Let g be a(2). Suppose 40 - g = -3*h - 5*w, -h - 12 = 2*w. Let q be (4 - h)*(1 - 0). Solve -m - q = d - 4*m, 4 = 2*d + 4*m for d.
-2
Let o be ((-1)/1)/(2/(-8)). Suppose -2*g - 3*t + 22 = 0, 1 = o*g + t - 23. Solve u - 5*u + 3*v = -23, -4*u = g*v + 17 for u.
2
Suppose -2*n + 4*k = 8, 4*n - k + 1 = -1. Let p be -1*(1 + n)*-2. Let o be p/(-7) - (-114)/7. Solve 5*q + 0*f - 2*f - 19 = 0, 2*q + 2*f - o = 0 for q.
5
Let w = -7 + 6. Let k(l) = l**2 - 2*l - 1. Let t be k(w). Let g(x) = -x**3 - 5*x**2 - x - 1. Let y be g(-5). Solve -t*r + 14 = 4*d, r + y*d - 7 = 8 for r.
-1
Suppose -5*g = 25, -g - 12 = -3*t + 17. Solve 2*c + 2*c - t = -3*o, 0 = -o - 4*c for o.
4
Let f be (-4 - -1)/(-3) - -3. Let x be (10/f + 4)*2. Solve -o + x = -6*o + p, -3*o - 11 = p for o.
-3
Let y be 3/4 - 15/(-12). Suppose -2*z - 3*q = -16 - 3, z - 4*q + 7 = 0. Solve 0 = -4*h + y*f - 6, z*h + 4*f = 3 - 30 for h.
-3
Let n(c) = 2*c**2 + 3*c + 2. Let v be n(-2). Solve -4*k = -v*s + k + 9, 0 = -s - 3*k - 19 for s.
-4
Let j be (-2)/5 - 21/(-15). Let a = 5 - j. Solve -2*p = -2*i - 12, 0*i + 16 = 2*p - a*i for p.
4
Suppose -s = -3*s + 48. Solve -4*t - 2*m + s = 0, 0*m = 5*t - m - 16 for t.
4
Suppose 25 = -5*s + p + 4*p, s - 3*p = -15. Suppose 4*d = -s + 16. Solve 3*l = -3*a - 30, -3*a - 2*a - d*l = 45 for a.
-5
Suppose -x = x - 70. Solve s + 2*s - x = -5*b, b + 4*s - 24 = 0 for b.
4
Let o = 0 + 2. Let x be 10/(-4) + o/4. Let u be (4 + x - -7) + -2. Solve -3*w + 2*z = u, 0*w + z - 21 = 5*w for w.
-5
Let l(i) = i + 3. Let r be l(2). Solve 5*z + 20 = -r*o, -4*z - 4*o - 21 = -5*o for z.
-5
Suppose -4*a = m - 8, 2*a + 4 = 2*m + 8. Let t = 0 + -2. Let c be 12/9*(-21)/t. Solve 6*y = y - 3*w - c, -a*y = w + 6 for y.
-4
Let v be 3/(-6*(-2)/80). Solve -5*h - v = 4*k, -h + 0*h - 5 = k for h.
0
Let q = 1 + -4. Let v be (-2 - (-6 - q)) + 0. Suppose 4*b - 11 - v = 0. Solve -11 = g - 5*y - b, 3*y + 9 = -4*g for g.
-3
Let l be -8*(-1)/(-4 - -3). Let d(y) be the third derivative of y**4/24 + 11*y**3/6 - y**2. Let p be d(l). Solve 4*t - 3*t = 5, -p*w + 2*t = 25 for w.
-5
Let r(y) = 2*y**2 + 6*y - 5. Let c be r(-6). Suppose 67 = 4*z - 141. Suppose -3*u - c = -v, 4*v + 4*u + 8 = z. Solve 4*i - 4*s = v, -i + 3*s = -2*s for i.
5
Let d = 3 + 2. Let v = 8 - d. Solve v*a = -j + 4*j - 9, 4*j + 6 = -5*a for a.
-2
Suppose 0*a = 4*a - 76. Let x = 4 + -1. Let s(d) = d + 2. Let k be s(x). Solve -25 = 5*r + 4*f, k*f - 6 - a = 5*r for r.
-5
Suppose -2*g + 3 = o + 5, -2*o = -4*g - 20. Suppose i - s = -1, -10 = -4*i - o*s + s. Solve -2*l + 5 - i = -4*j, 3*j = -4*l + 19 for l.
4
Suppose -3*x + 8*x + 5 = 0. Let w be (2 - 2)/1 - x. Solve -10 - w = -4*l + 5*d, -3*d - 13 = -4*l for l.
4
Suppose -5*u + 2*n + 19 = 0, -31 = -3*u + 5*n - 12. Let c = u - 0. Solve -3*h - m = -c*m - 20, -4*h = -m - 20 for h.
4
Let v(y) = -y**3 - 7*y**2 - 13*y - 1. Let u be v(-4). Solve -5*c - 17 = -4*j, c + c + u*j - 7 = 0 for c.
-1
Suppose -10 = 4*c - 8*c + 2*g, -4*c - 5*g + 3 = 0. Solve 5*r + 2 = -l - 8, c*r = 3*l - 4 for l.
0
Suppose -5*t + x = -5, 4*x = -5*t + 9*x - 15. Solve -2*h + 5*z - 30 - 1 = 0, 14 = t*h + 4*z for h.
-3
Suppose 3*h - 7 = 2. Solve -2*l = 3*c - 0*l - 5, 0 = h*c + 3*l - 6 for c.
1
Let j(r) = 2*r - 8. Let p be j(12). Solve 0 = t - 4*t - 5*x + p, -12 = -3*t - 3*x for t.
2
Let n(s) = -2*s**2 - 5*s - 1. Let y be n(-4). Let q = y - -16. Solve q*l + 3*p = 5*p + 10, -3*l + 8 = -4*p for l.
4
Let g = 1 + 3. Suppose g*x = 5*x. Solve 5*t - p - 2*p = 18, -t + p + 4 = x for t.
3
Let a = -4 - 4. Let s = -21 - a. Let k be (-12)/14*(s + 6). Solve 0 = 2*f + 3*d - 9, -k*f + 6 = -3*f + 2*d for f.
0
Let x be 30/9*18/5. Solve -2*u = -5*s + x, -4*u = -3*s - s for s.
4
Let u(n) = 4*n + 3*n**2 - 4*n - 4*n**2. Let d be u(0). Let r be d - (-1 - -1 - 0). Solve 0 = 3*w - m - 15, 0*m + 5*m = r for w.
5
Let l be (-35)/(-45) + (-2)/(-9). Let c be (3 - (-9)/(-3))/l. Solve c*r = -4*r + 5*m + 16, r = m + 3 for r.
-1
Let m(x) = -x**2 + 9*x - 3. Let q be m(8). Suppose -q*l + 25 = -d, -3*d + 5 = 5*l - 20. Suppose d - 4 = -2*n. Solve 0 = -3*v + 10 - 1, 2*v - 6 = -n*t for t.
0
Let y(v) be the second derivative of v**3/2 - 6*v**2 - 2*v. 