14 for m.
3
Let c = -1121 - -1088. Suppose 0*j - 175 = 5*j. Let p = c - j. Solve -w + 4*n = 4*w + 37, 2 = p*w + 4*n for w.
-5
Let o(p) = -p**2 - 37*p. Let l be o(-37). Let s(k) = k + 3. Let c be s(-1). Solve -t + c = 3*f, l*f = -2*f - 4*t - 12 for f.
2
Let x be (19/(-4) + -4)*-28. Let c = -242 + x. Solve 33 = 5*r + 2*k - 0*k, 0 = c*r + 5*k - 35 for r.
5
Let a(o) be the second derivative of -o**5/20 + 11*o**4/6 + 47*o**3/6 + 14*o**2 + o + 20. Let y be a(24). Solve -y*d + 8 = 2*n, 0*d - 2*n = -2*d - 8 for d.
0
Suppose -4*k = a - 215, -4*k = -3*a + 535 + 30. Suppose -a = -7*g - 181. Solve -g*u = -4*j + 2 - 10, 2*j + 8 = 2*u for j.
0
Let b(u) = -3*u**3 + u**2. Let o be b(-1). Let k = 61 + -131. Let q = k + 74. Solve -q*w + w + s + 15 = 0, 4 = 4*w + o*s for w.
4
Suppose 6*t - 70 = 92. Suppose -t*d - 20 = -37*d. Solve 2*f = -l - 2 + 1, -3*l - d*f - 3 = 0 for l.
-1
Let t = 5203 + -5199. Solve -6*k = -b - t*k - 6, 3*b = -2*k - 2 for b.
-2
Suppose 5*m - 74 = n, 2*m = -5*n + 30 - 22. Solve 3*b + 50 - 43 = -2*d, -d = -2*b - m for d.
4
Suppose 24*o - 300 = 21*o. Let u be (o/(-35))/(6/(-21)). Solve s - r = -5*r + u, 3*s - 3*r + 15 = 0 for s.
-2
Let q(v) = 59*v - 130. Let w be q(6). Let n = -222 + w. Suppose -5*k + 58 = 4*b, 2*b + 26 = 2*k + k. Solve -n*u - k = -u + 3*g, -g - 14 = -5*u for u.
2
Let n = 71 - -29. Suppose -14*t = 573 - 1931. Let o = n - t. Solve o*m + 0 = l + 11, -4*l = 5*m - 7 for m.
3
Suppose 5*d + t = 18, 18 = -172*d + 173*d + 2*t. Solve 3*i - d*q = 13, -2*i = -i - 4*q - 21 for i.
1
Let f(o) = -8 + 2 + 4*o + 17 - 5 + o**2. Let m be f(0). Suppose -25 - 5 = -m*p. Solve p*a = 5*v, -a + 5*v = -0*a + 20 for a.
5
Suppose -3*o - 5*u + 10 = 0, -3*o + 13 = -12*u + 14*u. Solve -3*z = o*t - 13, t = 3*z + 2*t + 7 for z.
-4
Let r = 2871 + -2867. Solve -4*v + 3*t = 2, 22*v = 17*v - r*t + 13 for v.
1
Suppose i - 2*x = 10, 3*x = 7*i + 2097 - 2189. Solve i = 2*t - 4*q, 4*t - 19*q + 8 = -20*q for t.
-1
Suppose -7*s = 28*p - 30*p + 27, -3*s = 4*p - 3. Solve 2*j - r - p = 0, -j = 4*j + 2*r + 15 for j.
-1
Let o(p) = -p**3 + 17*p**2 - 16*p - 3. Let u be o(16). Let j be (4 - -126) + 1 - (-2 - u). Let r = j - 127. Solve 2*v + h = -1, v - r*h = -0*v - 4 for v.
-1
Let f = 23 - 19. Suppose 3*m + f = 10. Let r be (2/m)/(1/2). Solve 0 = -a + r*x + 5 + 1, -a = -4*x - 10 for a.
2
Suppose 4*x = -4*n + 192, -7*x - 52 = -5*n - 316. Solve -x*o + 38*o + 3*g = -22, o + 5*g + 6 = 0 for o.
4
Suppose 4*k + 16 = -0*k, g + 2*k = 12. Suppose -g*t + 32*t = 180. Solve 0*b = u - 4*b - t, -u + 3*b + 10 = 0 for u.
-5
Suppose -3*r + 3*q - 133 + 34 = 0, 5*r + 147 = -q. Let i be r/9*9/(-6). Let j be 340/(-935) - (-26)/11. Solve 3*t - 3*w = i*t - 20, -j*t - 4 = -3*w for t.
4
Let h(b) = -3*b**3 - 45*b**2 - 172*b - 25. Let z be h(-8). Solve y + 5*f - 13 = z*f, -17 = -5*y - 2*f for y.
5
Let p(f) = 7*f - 180. Let m be p(35). Suppose 12*i = 25*i - m. Solve -i*h = 5*g - 5, h - 3*g = 2*g + 13 for h.
3
Suppose x + b + 2 = 3*x, 10 = x + 4*b. Let m(d) = -34*d. Let p be m(0). Suppose p*s - 5*s + 45 = 0. Solve 5*w = -5*g + 20, x*w = -s*g + 4*g + 17 for w.
1
Suppose -8 - 40 = -4*l. Suppose -23*d + l = -17*d. Solve -d*o - 25 = -5*f, 0 = -o + 3*f - 17 + 3 for o.
-5
Suppose 3*c + c + 20 = 0. Let v(q) = q**2 + 4*q - 2. Let n be v(c). Let p = 150 - 146. Solve -4*w = -4*o - p, -3*w = n*o - 3 + 12 for o.
-2
Let n(q) = 82*q + 188. Let r be n(-2). Solve 0 = -27*t + 24*t + 5*u - r, -5*u = 3*t - 6 for t.
-3
Let j = 6600 - 6590. Solve j*d - 14*d - 12 = 5*o, -d = 3 for o.
0
Suppose 146 = -2*r - 0*r. Let d = -27 + 108. Let i = d + r. Solve 3*j - i*j + 4*x - 7 = 0, -j - 13 = 5*x for j.
-3
Let c(f) = -5*f - 42. Let l be c(-11). Suppose -5*i - 42 = -5*w + l, -2*i + 83 = 5*w. Suppose 10 + w = 5*k. Solve -2*t - m - k = -0*t, -3*t - 4 = -2*m for t.
-2
Suppose c = -319 + 324. Suppose 345*d = 346*d - c. Solve 4*p + 2*o - 6 - 6 = 0, d*p - 33 = 2*o for p.
5
Let h be 2/(-7)*(-20 + -4 + 10). Solve 4 = -f - j, -h*f - 11 - 12 = -3*j for f.
-5
Let j be ((-12)/16)/((-43)/172). Solve 6 = j*p + 3*q + 3, -p + 4*q = 4 for p.
0
Let d be (36/(-24))/((-2)/8*(-3)/(-7)). Solve -5*n = 3*m - 10, -d = -2*m + 9*n - 5*n for m.
5
Suppose 0 = -9*c + 29 + 16. Suppose -3*x + 37 = -c*s, 32*x - 28*x - 31 = 3*s. Solve -5*m = l + 17, -x*m + 4*l - 5 = -1 for m.
-3
Suppose -5*d + 18*d - 65 = 0. Suppose 14*l - 5 = 2*v + 17*l, -d*v + l = -13. Solve -2*s - 3*a = 14, -4*a + v - 23 = 5*s for s.
-1
Suppose -5*v - 5*i + 15 = 0, 0 = -106*v + 101*v + 4*i + 24. Solve o + 2 + 11 = 3*l, 3*o = -v*l + 13 for l.
4
Let m(v) = 2*v**3 + 33*v**2 - 20*v - 15. Let u be m(-17). Let h = u - 31. Solve 0 = -5*g - 20, 0 = 3*k - 0*k + h*g + 17 for k.
1
Suppose -1075*m = -1053*m - 11 - 77. Let o(r) = -r - 1. Let i be o(-4). Solve m*g + 6 - 2 = -4*f, 3*f = i*g + 3 for f.
0
Let v = -4 + 9. Let y be (-41 - (13 - 42))*(-1 - (-2)/3). Solve -p - 2 + v = -y*r, 0 = -2*r for p.
3
Let l = -1686 + 1691. Solve 5*q - 14 - 3 = a, -2*a + 26 = l*q for q.
4
Let i = -207 - -191. Suppose -28 = 2*k - t, -3*k - 3*t - 49 = -t. Let h be -2*(-5)/k - i/6. Solve -h*w + 1 = -3*q, 2*w + 3 = -w for q.
-1
Let j = -7 + 11. Let p = -22 - -18. Let z be 8 + (-1 - (2 - 4)) + p. Solve -2*o - 3*o + 11 = j*b, 0 = z*o - 15 for b.
-1
Let x be (0 + -3)*(-88)/(-33). Let y be x/(-3) - (2 + 77/(-33)). Solve -2*g = -4*l - 16, -l - 4 = 4*g - y*g for l.
-4
Let r be ((22/(-16) - -1)*-8 - 6) + 6. Solve 0 = -29*g + 30*g - 5*h - r, -4*h + 2 = -3*g for g.
-2
Let h(g) = 8*g + 49. Suppose 5*z - k + 35 - 8 = 0, -3*k - 39 = 5*z. Let l be h(z). Solve 4*w + 13 = -2*r - l, 0 = 3*w + 3 for r.
-5
Suppose x + 66 = 5*n + 34, -3*x + 16 = -n. Solve 5*m = 3*h, -3*m - x*h + 11*h = 0 for m.
0
Suppose -3*n = -3, c + 40 = 4*n - 2*n. Let x = 36 + c. Let i be (-114)/(-19) - (-8)/x. Solve 0 = -2*t - 2*f - 4, -4*f + 4 = -i*t for t.
-2
Let l(m) = 4*m + 53. Let t be (322/(-49) + 4)*(-14)/(-3). Let w be l(t). Solve -r + 3 = -s, 13 - 1 = 4*r - w*s for r.
3
Let g be ((-4)/(-5))/(-2)*140/(-56). Let b be 0/(-3*((-4)/(-3) - g)). Solve 3*m = z + 9, m + m + 2*z + 2 = b for m.
2
Suppose 14 = 3*z - 16. Suppose -55*a + 256 = 127*a - 108. Solve 0*w = a*q + w - 6, -w = 4*q - z for q.
2
Let p be ((-284)/12 + 5)/((-10)/(-105)). Let f = 199 + p. Solve f*w - 6 = -4*z, 2*w - 5*w - 18 = -4*z for z.
3
Suppose -41*o - 13 = -46*o - 4*m, 0 = 4*o - 2*m - 26. Solve 0*v = 2*b + 3*v, 4*b = o*v for b.
0
Let u = -16646 + 16661. Solve -g = -2*s + 10, -77*s + 74*s = g - u for g.
0
Suppose -4*f - 5*v + 7*v = -14, -7*v - 17 = 2*f. Let m = 12 - 13. Let r(s) = 2*s**2 - 2*s - 1. Let k be r(m). Solve -5*c = -f*a - 28, 5*a + k*c - 8 = 4*a for a.
-4
Let r be -2*10/8*(-40)/50. Solve 0 = -5*y + 3*n - 27, 5*y + 13 = -n + r for y.
-3
Let x(p) = -2*p**3 + 51*p**2 - 22*p - 72. Let k be x(25). Solve 0 = -17*l + 20*l - 4*z - 4, -3*z = 2*l + k for l.
0
Let p = -201 - -228. Suppose 0*t - 5*t = 5*l, 5*t - p = 4*l. Solve -4*a = 2*g + t*g, 2*g + 28 = 4*a for a.
5
Suppose -40 = -9*n + 4*n. Let j be (-284)/(-24) + 50/(-60) + -9. Solve 2*v - n = 0, j*v + 24 = 3*y + 5*v for y.
4
Let v(q) = 6*q - 10. Let k(x) = -7*x + 10. Let h(u) = 5*k(u) + 6*v(u). Let j be h(11). Solve -2*y + j = 5*a, 5*y = -0*y - 3*a + 12 for y.
3
Let d be (-2)/(-2)*3/3. Suppose -11*k = -155 + d. Solve -n + k = 4*y, 6*y - y - 15 = 0 for n.
2
Let g(z) = 4*z + 158. Let k be g(-39). Suppose -4*f + 21*p + 12 = 17*p, k*f = 4*p + 12. Solve 13 = 2*c - 2*n - 1, -3*c - 4*n - 14 = f for c.
2
Suppose 0 = 4*n - 3*q + 10, -4*n + 13*q = 9*q + 16. Solve -2*c + 4 = -j, n*c - 3*j - 4 = j for c.
2
Let j = 14982 - 14950. Solve -3*g - 36*w + 17 = -j*w, -3*g + w - 8 = 0 for g.
-1
Let h be 10/8 - 45/(-12). Suppose 3*s = -h*f + 47, -10 = -2*f + 3*s + 13. Solve -f = 5*u + 5*k, 0 = -u - 2*k - 0*k - 6 for u.
2
Suppose 2*z - 6*o = -10*o - 8, -10*o - 48 = -2*z. Solve a + 7 = 2*a + 2*k, 5*a + z*k - 11 = 0 for a.
-1
Let x be (2/(-20))/(2/(-85)) - (-7)/(-28). Solve 0 = -4*i, 9*i = 4*b + 12*i + x for b.
-1
Let t(l) = -4 + 6 - l**2 + 8 - 2*l. Let z be t(0). Suppose 6*u - 20 = z. Solve 0*s + s = 5*v + 20, u*s + 35 = -2*v for s.
-5
Let d be (-2)/(-4) - (-15)/(-30). Suppose 0 = -4*y - 5*l + 435, y + 2*l - 16 - 95 = 0. Let x = y - 94. Solve x*h - 6*h - 10 = d, 0 = -o + 2*h - 3 for o.
1
Suppose 4*i - 111 = 197. Let g = i - 73. Suppose 2*v + g + 2 = 0, 0 = -3*c - v - 3. Solve u