41 for m.
4
Let i(z) = 4*z**2 + 20*z - 2. Let p be i(-5). Let m be (p + 6)*(-5 + 6). Solve 0 = 4*g + v - 2 - 13, m*v = -4*g for g.
5
Suppose -3*m + 6 = -2*m. Let y = m + -4. Suppose -105613*n = -105616*n + 6. Solve -6*l - n = -u - 5*l, -u = y*l - 5 for u.
3
Suppose b + b - 10 = 0. Suppose -15*z + 18*z = -u - 76, -86 = u - 2*z. Let i = 103 + u. Solve 0 = 4*a - 5*k + i - b, 2*k = -a + 9 for a.
1
Let s = -1377 - -1385. Solve -2*c = 5*p + s - 0, -c = -4*p - 9 for p.
-2
Suppose -18*f + 108 = -9*f. Suppose -3*l = 3 - f. Solve -a + 10*n = 5*n - 22, -26 = -l*a + 5*n for a.
2
Suppose -3*n + 5 = 3*p - 1, 5*p - 19 = 4*n. Suppose 5 + 19 = p*h. Solve -q = 5*g + 2*q - 31, 0 = 4*q - h for g.
5
Let n(d) be the third derivative of -1/12*d**4 + 41/6*d**3 + 0 - 12*d**2 + 0*d. Let a be n(16). Solve 3*k + 2*b = 2*k - a, -1 = 5*k - b for k.
-1
Let s(t) = 24*t**3 - 42*t**2 - 3*t - 3. Let v be s(2). Solve 4 = m, 0 = 5*q - 14*m + v*m + 6 for q.
-2
Let p be ((-248)/18)/((-540)/162) - (-4)/(-30). Solve -5*d - 2*w - 127 = -140, -p*d - 5*w + 24 = 0 for d.
1
Suppose -82 = -2*w - 12*w - 12. Solve 4*s - w*g = 29, 9*s - 22 = 7*s + 4*g for s.
1
Let l = 17 - 11. Let s(v) = -3*v - 9. Let a be s(-4). Suppose -2*b = -w + l, 8 + 9 = 5*w + a*b. Solve -1 = -w*k + f - 10, -4*k = 3*f + 5 for k.
-2
Suppose -w = 4, -3*p + 8*p - 3*w - 37 = 0. Suppose 3*d - 36 = -4*c + p*d, -3*c + 13 = 2*d. Solve 7*k + 5 = 2*b + 2*k, 4*k = b - c for b.
-5
Suppose n - 5*r = -19, -8*n - 14 = -12*n + 2*r. Let p be (-8)/12 + n/9. Solve 5*a - 4*k + 2 = p, 5*a - 2*k - 16 = -4*k for a.
2
Suppose -217*n + 1417 = -108*n. Solve -2*h = 2*g - 3*g - n, 33 = -5*g + 2*h for g.
-5
Let t = 263 - 259. Let o(p) = 1 - 1 + 11 - 3*p. Let h be o(-6). Solve -8*q + t*q = -2*n - 22, -h = 4*n - 3*q for n.
-5
Suppose 5*y = 7*y - 8. Let q = -121 - -105. Let b be (2 + -4)/(q/40). Solve -b*a + 9 = 3*i, 4*a - 2*i = -y - 2 for a.
0
Let g be (36/(-54))/(4/18) - -3. Suppose x = -5*r - 18 + 1, -5*x + 11 = r. Suppose 0*c - x*c = -15. Solve 3*s + 2*p = 5, s = p - g - c for s.
-1
Let j be -1 + 38/10 - (-137)/685. Solve 3*c = -2*y - 19, j*y - 2*y = -2 for c.
-5
Let c be 130/4 + 4/(-8). Let j = -1857 + 1829. Let z = j + c. Solve 3*l + 4 = -3*p + 7*p, z*l = 4*p for p.
4
Let i(z) = 34*z + 476. Let q be i(-14). Solve 5*p + 0 = -5*k + 5, -3*k - p + 5 = q for k.
2
Let q(g) = 2*g + 2. Let b be q(1). Suppose 38 + 38 = b*x. Suppose -x - 1 = -4*t. Solve 40 = -5*i + t*l, -2*i + 2 = 2*l - 2 for i.
-3
Suppose 582 = 91*u - 510. Solve 34 = 4*f - 2*y, 19*f + 4*y - u = 17*f for f.
8
Suppose -3*r + 295 = 5*m, 0*m - m + 4*r + 36 = 0. Let n = 55 - m. Let q = 22 + n. Solve 0 = 5*l - z - 23, -4*l + 2*z = l - q for l.
5
Let y(u) = 21*u + 187. Let l be y(-9). Let r be ((0 - 7 - -3) + 4)/l. Solve 4*x + 5*n = -r*x + 15, -6 = -x + n for x.
5
Let q be -10 + (-2)/1 - -26. Solve -6*b = -4*c - 4*b - q, -5*b = c - 13 for c.
-2
Let a(f) be the first derivative of -f**2/2 - 5*f + 178. Let m be a(-9). Solve -6*y - 29 = -3*y + 5*v, -m*v - 7 = -3*y for y.
-3
Let f(k) = 44*k - 1934. Let i be f(44). Solve 4*o - 6 = t, -i*o + 19 = -3*t + 11 for o.
1
Suppose 108 = -3*v + 6*v. Suppose 5*k = -2*o + 28, 2*o + 5*k - v = -2*o. Let t(y) = -11*y - 77. Let a be t(-7). Solve 0*u + u = 3*w, -o*u + 5*w = a for u.
0
Let v = 47 + -43. Let m(x) = -v + 1 + 3*x**2 - 6*x + 7*x. Let h be m(-2). Solve 0 = -5*c - 2*k - h, 0 = -3*c - 2*c - 3*k - 3 for c.
-3
Let r(i) = -i**3 - 5*i**2 - 2*i - 4. Let j be r(-4). Let t = 15 + j. Solve u + 1 = -4*v - 0*v, -3*u = -3*v + t for u.
-1
Let n be 2 + 3 - ((-10)/(-2) - 5). Solve -3*d = -n*h + 10, -h + 24 = -7*d + 2*d for h.
-1
Let y be 10 + 30/(-5) + 912. Let z = 921 - y. Solve 2*u + 5 = i, 4*i - i + z*u = -29 for i.
-3
Suppose -z - f + 3*f - 9 = 0, 2*z = -3*f + 10. Let u(d) = 2*d**2 - 3*d - 2. Let k be u(z). Solve -i + 10 + 8 = k*t, 31 = 2*i + 5*t for i.
3
Let u = 206 + -202. Suppose d + 3*y + 1 = -1, 2*d - u*y - 26 = 0. Solve -4*x - 16 = 0, 3*n = -0*n - x - d for n.
-1
Let h(y) = 397*y + 4369. Let v be h(-11). Solve 2*k + 2*l = 4 - 0, v*l = -5*k + 13 for k.
3
Let w = 116 + -119. Let y be w/2*1/((-12)/8). Solve -2*f + 5*b - y - 9 = 0, -f - 5 = 5*b for f.
-5
Suppose 9 - 30 = -4*j - 5*s, s + 19 = 5*j. Suppose -15*h = -5*i - 20*h + 35, 19 = i + j*h. Solve 4*z - a - i*a = 0, -2*z - 3*a = -10 for z.
2
Let j(i) = -2*i**3 - 4*i**2 - 2*i - 16. Let o be j(-3). Suppose o*s = 6 + 10. Solve 4*p = -s*t, p - 8 = 3*t - p for t.
-2
Suppose 3*m + 3 = 0, g + m + 115 = 5*m. Let o = -103 - g. Suppose 2*w + 5*n - o = 0, w + 1 - 2 = n. Solve 3*d - 2*f - 1 = 4*d, w*d + 4*f = 1 for d.
3
Suppose 8*t - 4*t = -5*a, 2*a - t - 13 = 0. Suppose 0*l - l = -a. Solve l*u + 5*i = 1, 5 = -4*u + 5*i + 36 for u.
4
Suppose 2*v + b - 4 = -b, 0 = 4*v - 4*b - 8. Suppose 0 = -14*z + 7 + 29 + 6. Solve -v*p + 2 = 4*q, q - z*p + 23 = -3*q for q.
-2
Let y = -3094 + 3097. Solve -4 = -3*u + t, 6*u + y*t + 12 = 9*u for u.
0
Suppose 0 = -2035*j + 2030*j. Solve j = -2*l + 5*c, 87*c = -4*l + 86*c for l.
0
Let l(q) = 4*q**2 + 8*q + 3. Let p be l(-3). Let x = p + -56. Let m = 43 + x. Solve -2*d - 11 + 3 = 5*t, -3*d - m*t - 1 = 0 for d.
1
Let r be ((-1 - 11)/2)/(218 + -220) - -11. Solve d - 2*m + 6 = 0, 0 = -d - 5*m + r - 6 for d.
-2
Let d = -60 + 66. Suppose 2*w + 10 = 3*k, -4*w = -3*k + d*k - 16. Let i = -53 + 73. Solve -3*x - 2*x + i = -k*o, -4*o = -3*x + 12 for x.
4
Let v = 76 - 66. Suppose -3*f - v = -40. Suppose y = f - 10. Solve x - 3*n + 6 = y, 6 = 5*x - 0*n + 3*n for x.
0
Suppose 37*t - 27 + 642 = 160*t. Solve -2*u - k - 128 = -126, -16 = t*u - 3*k for u.
-2
Let h(k) = 3*k - 3*k + 2*k + 15 - 3*k. Let a be h(4). Suppose 4*o + 28 = 4*d, -3*o + 0*o = 2*d + a. Solve -s + d*n + 4 = -2*s, 20 = -5*s - 2*n for s.
-4
Suppose -4 = -2*r - 0*r, 5*r - 16 = -g. Let d(f) = 13 + 8 + 25 + 19*f - 26*f. Let z be d(g). Solve z = 2*j + 5*h - 3, -j - 4 = -5*h for j.
1
Suppose -5*q = 5*v + 859 - 879, -5*v + 3*q = -68. Solve 2*a + 3*a + 5*f + 30 = 0, -3*a - v = -5*f for a.
-5
Let r be (-1)/(1780/(-892) + 2). Let q = r - -228. Let l = 20 - 8. Solve -5 = -5*k - q*g, k + k - l = -4*g for k.
-4
Suppose 4*c + c = 0. Let t(l) be the second derivative of -l**3/6 + 3*l**2 + 3*l. Let y be t(c). Solve -5*n - 3*u + 2 = 0, -y*n + 5*u = -3*n - 8 for n.
1
Suppose -4*a - 1067 = 4*d - 1059, 4*d = -3*a - 10. Solve 2*j + a*n = 16, 114*j - 3*n + 28 = 118*j for j.
4
Suppose -6*m = -m - 50. Let v(h) = h**3 - 11*h**2 + 13*h - 12. Let t be v(m). Let d be 48/t + 1*2/6. Solve -a - 3*c = 4*a + 17, d = 3*c for a.
-4
Let c(l) = -l + 8 - 28 + 20 + 19 + 4*l. Let r be c(-5). Solve 0 = -2*t - 5*u + u - r, 2 = -t + u for t.
-2
Let y = 5607 + -5605. Solve -3*r = p - 8, 3*r - y*p = 5*r for r.
4
Let h(q) = -194*q**2. Let l be h(1). Let n = 202 + l. Solve 4*m - 3*g - n = 0, -3*m - 2*g = -2*m - 13 for m.
5
Let d = -732 + 734. Solve -3*s + d*f - 4 = 0, 2*s + 9*f - 4*f = -9 for s.
-2
Let d = 77 - 50. Suppose -5*l - 9 = 2*a, 0*a + 4*a = 5*l + d. Let c(f) = -2*f**2 + 10*f + 1. Let w be c(4). Solve -a*q = -x + w, -4*x - 3 = 2*q + 3 for x.
0
Let i(g) = -g**3 - 5. Let o be i(-6). Suppose 199 - o = -3*q. Solve t - 18 = q*c, 2*t + t = 2*c + 4 for c.
-5
Suppose -1103*u + 1183*u - 195 - 205 = 0. Solve u*v - 11 + 1 = 2*c, -v + 2 = 5*c for c.
0
Let l be 884/234 + (-1)/(27/(-6)). Let k be (27/(-7) + 3)/(l/(-14)). Solve 0 = k*p + 2*v - 4*v - 5, -p + 3*v = 3 for p.
3
Suppose -4*u + 28*j + 148 = 33*j, 5*u - 168 = -2*j. Let x be (-4)/((-8)/(-3))*u/(-12). Solve 6*g - 4*g = x*r + 14, 0 = 3*g - 2*r - 9 for g.
1
Suppose 0 = -5*r - 2*y + 4 - 19, r + y = -3. Let o(m) = -8*m + 9. Let a be o(r). Solve 2*n - a = -5*w - 0*n, -4*w = n - 24 for w.
5
Let j(w) = -156 - 10*w**2 - w**3 + 315 - 175 - 24*w. Let b be j(-7). Solve 0 = b*h - 5, 5*i + 5*h = -7 + 2 for i.
-2
Let w = -25059 - -25066. Solve 13*k = 8*k - i - w, 5 = 3*k - 4*i for k.
-1
Let x = -13934 - -13939. Solve -2*y - x*u = -9, -3*u = -33*y + 36*y - 9 for y.
2
Let d be (-426)/(-60) - 7 - (-116)/40. Solve -4*t + 6*t = 4*k + 18, -d*k - 5*t = -6 for k.
-3
Let f be 3*(-4040)/(-75) - 15/25. Let n = 165 - f. Solve 5*l + n*o + 25 = 0, 10 = -3*l + 3*o - 5 for l.
-5
Suppose -4*y = y, 5*w + 4*y - 90 = 0. Let a be ((-6)/1)/(6/4*2/(-8)). Let r = w - a. Solve 0 = 4*n - 4*s - 8, -2*n + r*s = -3*s - 10 for n.
0
Let a be (3 - (-4 + 17))/(-2). Let l(o) be the