9 for m.
-3
Suppose 3118 = -5*f - 2*b, 0 = -5*f + 17*b - 22*b - 3115. Let l be 149/8 + (-13)/(f/18). Solve l = 2*p - 4*x + 1, 4*p - 26 = 3*x for p.
5
Suppose -22 = -3*j - 4*h, j - 4*h + 14 = -0*j. Suppose 0 = -3*i + 39 + 6. Let v = i + -11. Solve j*m = 4*a, -v*a - m = -2*m + 4 for a.
-2
Let g = -241 - -244. Solve -5*j + 8 = -g*v, 5 = -5*v + j + 21 for v.
4
Let a = 241 + -237. Solve l + 2*i = 4*l + 21, l - a = -3*i for l.
-5
Suppose -s = 2*h - 10, -5*h + 22 = 2*s - 3. Solve -12 = -4*v - s*g + 4*g, 4*g = -v + 8 for v.
4
Let q = -133 + 143. Solve q*b + 3*h = 5*b - 10, 30 = -b + 5*h for b.
-5
Suppose 5*y = 1 - 86. Let q = -15 - y. Suppose -2*c - 5*r = -3*r - 34, -2*c + 25 = -r. Solve 5*d + 14 = -q*h, 4*h - 4 = -d - c for h.
-2
Suppose -8*s - 8*s = -64. Solve -2*m - 11 = 4*f - f, -s*f + 3*m = 9 for f.
-3
Let m be (1 - 4)*2/(-3). Suppose -m*l = 4*z - 16, 0 = -2*l + 4*z - 4 - 4. Suppose -3 = -l*d + 1. Solve -5*c = d*u - 4*c + 9, -3*c + 17 = -5*u for u.
-4
Suppose 1 + 4 = y. Suppose -2*q = -3*a + 5 - 0, 2*a = y*q - 4. Suppose -l - 4 = -q*l. Solve 3*h + l*k - 3 = 7*k, -29 = h + 5*k for h.
-4
Let j(z) = 6*z**3 - 2*z**2 + 1. Let k be j(1). Solve -u = -5*n + u + 26, 0 = -k*n + u + 23 for n.
4
Suppose 2*j = -i - 3*i + 400, 0 = -4*i + 20. Let g be j/(-8) - 1/4. Let o be 16/56 + g/(-14). Solve 0 = -o*t - 3*u + 23, -5*t + 2 = -3*u - 3 for t.
4
Suppose -5*v = l - 127, 4*l - 290 - 252 = -3*v. Let i = l - 133. Solve i*x + 8*k - 4*k = 4, -4*k + 8 = 0 for x.
-1
Let f = 47 - 38. Suppose -f*h + 3*h = -24. Solve o = h*o + g + 5, -3*g = 5*o + 3 for o.
-3
Let p = 15 - 12. Suppose 6*z - p*z + 65 = 5*i, 3*i = z + 35. Let j be (-129)/(-27) + 8/36. Solve -28 = -2*n - j*v, -2*v + i = n - 2 for n.
4
Let u = 9 - 3. Suppose -c + 19 = 3*d, d = -5*c + u*d + 35. Solve 8 = -3*f - b - c, 0 = -2*f - 3*b - 19 for f.
-5
Let o(w) = w**3 - w. Let t be o(-2). Let z be (-6 - t)/(1/(-1)). Suppose z = h - 4*u - 28, 3*h + 3*u = 5*h - 31. Solve -n = 2*c + n + 8, 2*c + h = -4*n for c.
-4
Suppose -3*s + 3 = 3*f, 2*f = -f + 2*s + 18. Suppose 4*n + f*m = 48, -5*m = -2*n - 3 + 6. Solve 0 = 3*c + 5*a - 11, -3*a + 2*a + n = 4*c for c.
2
Let x(w) = -89*w - 262. Let q be x(-3). Solve -1 = -3*d - 2*k - 10, 2*k - 31 = q*d for d.
-5
Let z = -205 - -312. Let m = z - 102. Let p(a) = 7*a**2 + a. Let s be p(1). Solve 4*j - 22 = -m*w, 3*w = -2 + s for j.
3
Suppose -24*y - 28 + 100 = 0. Solve 0*b = 2*r - y*b + 16, -20 = 2*r - 5*b for r.
-5
Suppose 5 = m - 3*p, 0 = -3*m - p + 25. Suppose -k + m = k. Let y be -4*-14*(-1)/(-8). Solve c - y = 2*z, k*z - 3*z - 4*c = -7 for z.
-3
Let w = -268 - -278. Solve -8 = 4*c, 4*c + w = r - 3*r for r.
-1
Let m be 10/(-25)*(-10)/4. Let k be ((2 - m) + -2)*(-8)/4. Solve 4*j = -12, 5*v + k*j + 29 = -j for v.
-4
Suppose -8 = -3*x - x. Suppose 2 = 2*v + 5*y, 0*v - 18 = -x*v - y. Suppose -d + p + v = 3*d, -p - 8 = -3*d. Solve -7 = -5*o + d, -4*c + 14 = 5*o for c.
1
Let j(q) = q**3 + 7*q**2 - 8*q + 5. Let y be j(-8). Suppose y*l = 2*p + 12, -3*l + 4*p + 8 = -l. Solve 5*h + 29 = -4*f, l*h + 2*f + 15 = -3*f for h.
-5
Let p(t) = -15*t**3 - t**2 - 2*t - 1. Let n be p(-1). Solve 4*m = h - 13, 5*m - 3*h + n + 10 = 0 for m.
-2
Let k(i) = -i**2 - 2*i - 3. Let n be k(-4). Let h = -7 - n. Suppose 2*x + 15*x + 8*x = 0. Solve -16 = 4*b - 4*f, -2*b + x*f = 4*f - h for b.
-2
Suppose 81*s = 87*s - 18. Solve -4*l - b - 5 = 1, 0 = s*l - 2*b + 10 for l.
-2
Let z(o) be the second derivative of -o**3/6 + 15*o**2/2 - 23*o. Let q be z(13). Solve -2*h = 2*l + l - q, -l - 4 = -4*h for h.
1
Let r be (-1)/(2/(-12)*2). Let y(n) = -n**2 + 6. Let g be y(r). Let q(a) = -6*a + 2. Let o be q(g). Solve 0 = -4*w + o, 4*u = -2*w + 6 + 8 for u.
1
Let j(h) = h**2 - 10*h + 20. Let y be j(4). Let d be (-8)/y - 2 - -2. Solve 0 = d*b - 4*s + 30, -5*b - s = 4*s for b.
-5
Suppose 3*f + f - 5 = -3*d, -4*f = -5*d + 19. Suppose 8*l - 3*l + 20 = 5*h, -d*h + 32 = 2*l. Solve -4*z = 5*c - h + 15, 17 = -5*c + z for c.
-3
Let r(y) = 3*y**2 - 2*y**2 + 0*y**2 - 10*y - 5 + 4*y. Let t be r(-3). Solve 3*f + 4*s - t = 0, s = f + 5*s - 18 for f.
2
Let y = 353 + -209. Let f = 145 - y. Solve 0 = -3*c - 12, 0 = -3*d - 2*c + 3 + f for d.
4
Let v be 0 - (6/39 + 280/(-130)). Solve 2*w - 5*z + 0*z = -10, -4*w + v*z = -12 for w.
5
Let m = -1781 + 1783. Solve 2*k + x = -3, 0*x - x + 5 = -m*k for k.
-2
Let q = -16 - -18. Suppose 3*a = -q*c + 35, -a + 46 = 4*c - 3*a. Let h = c - 11. Solve -5*r = -h*v - 2*r, v + r = 0 for v.
0
Suppose -117 = -47*k + 118. Solve 9 = k*s - 3*s - 5*o, 4*s = 2*o + 10 for s.
2
Let n be 3 + 14/(-7) + 1. Let a(l) = 5*l - 13. Let g(j) = j - 3. Let r(x) = 4*a(x) - 18*g(x). Let d be r(n). Solve 14 = 2*b + 4*t, d*t = 5*b + t + 10 for b.
1
Let w(p) = -2*p - 1. Let c be w(-1). Let y be 0/(c + 2 + -1). Let n be (y + 0)/(-3 - -5). Solve 2*x = -r + 1, -x + r - 4*r + 3 = n for x.
0
Suppose 0 = -5*l - 4*o + 5*o + 24, 4*o = 5*l - 21. Solve l*b + 4*t = -1 - 2, 2*b - 2*t = -12 for b.
-3
Let n = 37 - 34. Solve 0*l + 5*a - n = -2*l, 0 = 4*l + 4*a - 12 for l.
4
Let n be (-63)/(-13) + (-20)/(-130). Let d be ((-28)/7 - -5)/((-2)/(-10)). Solve n*a + 11 = -3*g, 0 = -a + d*g - 13 - 6 for a.
-4
Let v = -520 - -534. Solve 3*n + v = s + 5*n, -3*s - 2*n + 22 = 0 for s.
4
Suppose -49*w + 64*w - 15 = 0. Solve -u + 2*m = -9, 4*u - w - 15 = 4*m for u.
-1
Suppose -4*p - 24 = -2*j, -2*j + 3*p = -16 - 3. Solve -j = -2*a, 7*a = -3*r + 3*a + 1 for r.
-1
Suppose 3*t - z = 10, -6*t + 3*z + 5 = -2*t. Suppose 3*n - 6 = 2*n. Solve -t*y + 2*y + 2 = -j, -5*j - y = -n for j.
1
Let y(r) = 13*r + 32. Let z(k) = -40*k - 95. Let i(n) = -10*y(n) - 3*z(n). Let v be i(-4). Solve v*x + 4*t - 25 = 0, x + 1 - 6 = 5*t for x.
5
Let m = 0 - -12. Suppose 13*l = 7*l + m. Solve 5*p - l*t = 35, -4*t + 7 = 5*p + 2 for p.
5
Let s(o) = o**2 - 4*o - 27. Let q be s(-4). Let k be 3 + (-12)/4*1. Solve k = 2*n - q*u + 23, 4*n - 24 = -2*u - 2*u for n.
1
Let j be (-52)/(-39)*-3*(-1)/2. Solve 5*q - 5*c + 5 = 0, c + 12 = -j*c for q.
-5
Suppose -154 + 14 = -4*n. Let b = 38 - n. Solve 2*r - g = 7, -b*r + 2*g - g + 8 = 0 for r.
1
Let g(w) = 2*w - 9. Let f be g(5). Let v be (1 - 2)*-2*f. Solve h + 22 = -h + 4*u, u + v = -h for h.
-5
Suppose 0 = -2*f + 5*f - 27. Let x be (4 + -1 - 5)/(8/(-28)). Let h = f - x. Solve 2*n - 4*u + h + 8 = 0, -3*n + 35 = 4*u for n.
5
Let i be ((-4)/9)/(-3 - 156/(-54)). Solve 0 = 5*c + 5*h - 30, -i*c = 2*h - 0*h - 14 for c.
1
Let q = 2312 + -2307. Let l(n) = n + 10. Let h be l(-7). Solve d - h*a = 15, 2*d - 4 = -q*a - 18 for d.
3
Let s be -8 - -9 - (-9 + 2). Let a = s - 7. Solve -k = -3*c - 1, -10 = 3*c + 4*k + a for c.
-1
Let l be (-36)/(-234) + 126/26. Suppose 80 = 4*x - d + 2, l*d = -2*x + 50. Solve 4 - 19 = 3*w, 4*w + x = m for m.
0
Let w = 408 + -406. Solve -5*m + 2*m - 4*d - 1 = 0, -m = -w*d + 7 for m.
-3
Let q = 2182 - 2171. Solve 4*w = -5*p, q*p = 4*w + 15*p for w.
0
Suppose 0 = 2*g - 4*f + 10, -34 = g - 7*g - 4*f. Solve -t - t - 14 = 4*a, -g*t + 3 = -2*a for t.
-1
Suppose 86 - 86 = -f. Suppose i - 3*v + 5 = f, 2*v - 6*v = -12. Solve -i*y - 26 = -8*y - 2*g, 4*g - 40 = -5*y for y.
4
Suppose w + 5*h - 47 = 0, -3*w = -5*h + 20 - 121. Let m = w - 34. Solve m*u - 1 = -b, -1 = 2*u + 1 for b.
4
Suppose 4*q = -8*q. Solve 2*m - s + 15 = 4*s, 5*m - 5*s = q for m.
5
Let k(x) be the second derivative of -5*x**3/6 + 35*x**2/2 - 4*x. Let v be k(6). Solve 0 = -o + 2*g - v, -o + 3*g = -3*o - 3 for o.
-3
Suppose 5*l + 1 = 3*t - 13, 4*t - 4*l = 24. Suppose -r = -t*r + 28. Suppose 0 = 3*v - 0*v - 12. Solve 0 = v*g - 7*y + 3*y - r, -2*g - 5*y = 33 for g.
-4
Suppose 0 = -3*w - t + 57, 0 = -4*w - 0*t + t + 69. Suppose 2*d = -d + w. Suppose -v + d + 5 = 0. Solve a - 5*a + u = -v, 4*a + 3*u + 1 = 0 for a.
2
Suppose -4*b + 2*o + 0 + 18 = 0, -29 = -2*b + 5*o. Let n = 33 + -18. Let m be (-2)/8 + 17/4. Solve b*v + 3*v + n = -5*z, -2*z + m = 0 for v.
-5
Suppose -3*q - 3*i = q - 36, 0 = 3*q + 5*i - 27. Let j be (q/6)/(9/12). Solve -5*u = -j*m + 2, 2*u - 5*m + 5 = u for u.
0
Suppose 124 = -4*w + h - 5*h, -5*h + 125 = -3*w. Let t = w + 39. Solve -2*b - 35 = t*f + b, -5*b = -5*f for f.
-5
Let z(l) = -l**2 - l + 8. Let d be (-5)/(-10)*-6 + (-2 - -7). Let q be z(d). Solve 0*n + q*p = -3*n + 4, n + 3*p = -8 for n.
4
Suppose -y + 2*y = 1. Let o be 52/13 + (y - 2). Solve 5 = 4*v - 4*b - 11, -2*v - o*