 0 for m.
1
Suppose 4 = o + 2. Let n(v) = -17*v - 19. Let y be n(-2). Suppose o*i + 3*i = y. Solve 0 = i*j + 4*c - 32, 3*c = -2*j - c + 28 for j.
4
Let t(l) = 44*l + 1850. Let r be t(-42). Solve 2*x - 5*y = -r + 27, 0 = -3*x - 3*y - 15 for x.
0
Suppose 4*m - 6*r = -2*r + 36, 0 = 3*m - r - 17. Suppose -3*w - v = 2*w + 640, 4*w - 3*v + 531 = 0. Let j = w - -134. Solve -j = -o, 5 = -m*u + o - 0*o for u.
0
Let m be -1 - (33 + -3)/(-2). Let s be m*(36/(-21))/(-6). Suppose -x - s = -2*x. Solve x*q + 3*n = 7*q + 9, -2*q + 9 = 3*n for q.
0
Let r = 567 + -562. Suppose r*h - 5 = -3*l + 4*h, 0 = 3*l - 5*h - 29. Solve -l*d + 16 = -4*g - 6*d, 3*g = 4*d - 12 for g.
-4
Suppose 91*o - 3*s = 90*o + 7, -4*s = 4. Solve -3*q = -5*t - 10, -2*t - 5 = -o*q + 3*q for t.
-5
Suppose 10 = 2*t, -2*f - 5*t = -2*t + 27. Let w be ((-30)/(-4))/((-6)/84*f). Solve -y - 5 = z - 2*z, w*z = -4*y - 2 for y.
-3
Suppose 7*m - 42 = 56. Suppose -17*n + 36 = -m*n. Solve -g = 5*d - n, g + g - 2*d = -12 for g.
-3
Let n = 852 - 510. Let d = n + -337. Solve 3*m + 11 = z, m - z + 2 = -d for m.
-2
Let w = 966 - 962. Solve -5*x = w*r - 11, 0 = -3*x + 2*r + 3 - 14 for x.
-1
Suppose 47571*o + 148 = 47608*o. Solve -f + y + 7 = 0, -12*f + 17*f - o*y = 29 for f.
1
Let r be 4 + -3 + -1 + 4. Let s be -2 + (-6)/3 - (4 + -9 - 5). Solve r*x + s = -4*k - x, 10 = -3*k - x for k.
-4
Suppose -3*h + 4*w - 8 = -2, -2*w = -5*h + 4. Let i = -7260 + 7262. Let q be (-4)/(4/(-19)) + -1. Solve h*p - 4*y = p + q, -i*y - 12 = p for p.
-2
Suppose -5*r + 3 = 3*v, 20 = 5*v - 3*r - 19. Suppose 65*z - 77*z + 2292 = 0. Suppose 0 = m + z - 221. Solve 5*s + v*k - m = k, -12 = 3*s - 3*k for s.
1
Let q(k) = 11*k - 6. Let r be q(0). Let m be 1/(r/(-22)) - 11/(-33). Solve 2*n + 4*u = n, -5*n + m*u = 0 for n.
0
Let a be 10 - (39/13 - -1*2). Let n be -3*a/(-20) - 5/(-4). Solve 5*y = 3*m - 1 - 17, 3*m + 3 = -n*y for y.
-3
Let o be -3 + 3 + -3 - (-1 - 0). Let c be o - 10*(-6)/(5 - 3). Suppose -5*i = 3 - c. Solve 2*h + 5*p = -0*h + 24, i*p - 12 = 4*h for h.
2
Let s = -37 + 60. Suppose -37*t = -s*t - 14. Solve 5*f + q = -t + 16, -3*f = -4*q - 32 for f.
4
Let c = -42 - -75. Suppose -o - c = -34. Solve 2*p = s + o, -3*s + 4*p + 0*p = -3 for s.
5
Let a(l) = 244*l + 3421. Let p be a(-14). Solve -p*h - 4 + 1 = -3*u, -u - 2*h + 1 = 0 for u.
1
Suppose 0 = -49*n + 3*n - 467 + 3457. Solve n*z - 60*z + 15 = 5*l, z + 1 = -l for z.
-2
Let h = 60 - 58. Suppose s - 2*u + 2 = -s, -4*u + 4 = -h*s. Solve 5*w = 3*d - 6, -2*w + 4 = 2*d - s for d.
2
Let w be 1 - (-2)/(-3) - 312/(-36). Let s be w/(9/(-2)) + (22 - 0). Suppose 75 - s = 5*k. Solve -6*v + 5*v = 2*q + k, -3*v + 3*q - 6 = 0 for v.
-5
Let k = 64 - 62. Suppose -46 = -5*p - k*d, -6*d = -2*d - 12. Suppose j + 3*j = 4*t + p, -2 = -3*t - j. Solve 7 = 4*a - 3*s, t*s = -4*a + s - 3 for a.
-2
Suppose -5*f = 3*i + 89, -79 = 3*i - 6*f + f. Let c = 33 + i. Suppose -c*a + 3*d + 25 = 4*d, 0 = a - 5*d + 21. Solve 1 = -a*g - 2*t - 11, -5*g - 5*t = 5 for g.
-5
Suppose -89*y + 539 = -173. Solve -2*d - 3*t + 8 = 0, -3*t + 20 = 4*d - y*d for d.
-2
Let n be 0 - (-5 - 5/(-5)) - -77. Let j = 85 - n. Solve -j*p + p = 3*v, -5*p - 4*v = 3 for p.
-3
Let r = 2417 - 2413. Solve -4*x = -4, r*a - 9*x = -4*x - 21 for a.
-4
Suppose 0 = 4*d - 20, -4*d + 7*d = m + 12. Suppose 14 + 2 = 4*p. Suppose -j = 3*s - 18, -p*j - s = -m*s - 2. Solve 6*h = 2*h, z - j = -h for z.
3
Let u be (58/(-6))/(8/(0 + -24)). Let c = -29 + u. Suppose -4*k + j = 5*j - 40, 46 = 5*k + 3*j. Solve c = -h - 2*h + 4*w - k, -2*w = 3*h + 14 for h.
-4
Let y = 66 + -54. Suppose s = -2*h + 2, s - 4*h - y = -s. Solve 0 = -5*r + 4*i + 5, -4*r = -i - 0 - s for r.
1
Let m be -2 + 2 + 13*1. Suppose 0*n + 5*v - 7 = -n, 3*v = -5*n + m. Suppose 4*t + 17 = 3*y, -4*t + 5*y - 17 = 14. Solve -2*h = -4, n*l - h - t = 3*l for l.
-3
Let b = 62 - 56. Let o(l) = 3*l**2 - b*l + 13 - 1 - 9. Let t be o(2). Solve 0 = -2*i - 5*a - 35, t*i - 2*a + 10 = -i for i.
-5
Let t be (-2)/(36/4917) + (-2)/(-12). Let g = t - -281. Solve o = 2*l + 6, -l + o - g = 2*l for l.
-2
Suppose -1059 = -39*r + 384. Solve 5*o = 34*h - r*h - 8, 4*o + h + 12 = 0 for o.
-4
Suppose -449*y - 38 = -468*y. Let p(j) = j**2 - 12*j + 13. Let s be p(11). Solve b + s*h - 3 = y*b, 4*b = 5*h - 12 for b.
-3
Suppose -729*s + 747*s - 270 = 0. Solve 5*t - s = 0, -2 = h - 5*t + 16 for h.
-3
Let c(i) = i**3 - 3*i**2 - 15*i - 13. Let x be c(6). Suppose g = -3*k + 20, -4*g = x*k - 6*g - 15. Solve 4*s - 9 = o, k*o + 17 = -2*s - 6 for o.
-5
Let q(w) = w**3 - 15*w**2 + 26*w + 33. Let l be q(13). Suppose -l = 17*g - 101. Solve 10 = -4*d + i, -2*d - g*i = -2 + 16 for d.
-3
Let c(n) = -n**3 + 2*n**2 + 8*n + 3. Suppose -5*a = 25, 2*g - 7*g - a = -15. Let i be c(g). Solve 0 = -i*p - 0*l + 5*l - 10, -2 = -5*p - l for p.
0
Let p = 165 - 172. Let h(u) = -7*u - 3*u**2 + 2*u**2 + 0*u + 9. Let k be h(p). Solve -i = 4*m + 8, 2*i + 2*m + k = m for i.
-4
Suppose -5*g = 2*k + 3*k - 55, 4*g = 4*k - 12. Suppose -7*s = -3*s - 2*p - 20, -p = -s + k. Solve -2*l - 35 = 4*q - 9*q, -s*l - 20 = -q for l.
-5
Let c be (-7)/(-8) + 38/304. Let g(a) = a**3 - a. Let u be g(c). Solve -2*k = -x + 6, 3*k + u*x + 3*x = -9 for k.
-3
Let n = -76 + 109. Let w(v) = v**3 - 1 - 7*v + n*v**2 - 33*v**2. Let p be w(3). Solve -4*k - p = x, -k = -6*k - 5 for x.
-1
Suppose -140 + 75 = -5*w. Let z be 2/(-3) + (312/36)/w. Solve y - 4*n = z, -4*y = -3*y + 2*n for y.
0
Suppose 0 = 30*x - 29*x + 1, 5*b - 2*x = 7. Solve 4*l - 6 = -t - 4, -l = -b for t.
-2
Let w(b) = b**3 - 9*b**2 - 56*b + 54. Let a be w(13). Solve 4*d - 33 = 5*u, -d - 4*u - 14 = a*d for d.
2
Let v(l) = -258*l + 531. Let q be v(2). Solve z - q = -2*z, 0 = -y - 2*z + 6 for y.
-4
Suppose 0 = y - 2*t + 45 + 36, -2*t - 211 = 3*y. Let i = y - -112. Let n = -37 + i. Solve v + 2 = -c, -5*v - 2*c = n*c + 5 for v.
3
Suppose 3*x = 2*y + 222, -5*y = -4*y + 3*x + 111. Let m = 56 + y. Let j = m - -60. Solve q + 2*c - 3*c = 3, -3*c - 7 = -j*q for q.
-1
Suppose 0 = 8*f - 172 - 60. Let m(o) = -5*o + 145. Let y be m(f). Solve -t - 9 = -n, -2*t - 6*n + n + 17 = y for t.
-4
Let q(r) = 2*r + 14. Let m be q(-5). Suppose 4*d + 208 = -m*v, -2*v + 2 = -3*d + 81. Let a = -47 - v. Solve 2*k + w = 1, -3*w + 13 = -4*k - a*w for k.
-1
Suppose 31*q = -27*q + 14 + 102. Solve -q*x - 151 + 156 = l, 15 = -5*l for x.
4
Let y(d) = -20*d - 269. Let s be y(-7). Let m = s + 132. Solve -4*h - 12 = -7*t + m*t, 0 = h + t + 3 for h.
-3
Let i = -927 + 1299. Let b = 372 - i. Solve b*h = h + 3*t - 18, -25 = -5*t for h.
3
Suppose 162 = 1137*a - 1128*a. Solve t = -4*b - 15, -2*b = -t + 5*t + a for b.
-3
Suppose 44 = -2*i - 2*m - 16, i - 2*m = -24. Let q = -44 - i. Let x = -14 - q. Solve 0*s - x*s = -5*h - 5, -3*h - 3 = -5*s for h.
-1
Let p be 0*(-7)/(-224)*8. Suppose -22*j + 23*j - 5 = p, -2*j + 6 = -a. Solve 3*u = -3*t - 3, 2*u + 16 = a*t + u for t.
3
Suppose y + 4*y - 18 = -3*h, 3*h = y. Suppose y*t + 5*w - 6 - 7 = 0, 0 = -t + w + 7. Let v be 8/(-12) - (-22)/t. Solve 2*r + 0*r = l - 3, -v*l - 6 = -r for r.
-3
Suppose -28*f + 32*f + 552 = 0. Let a = 143 + f. Let l(q) = 2*q - 12. Let o be l(7). Solve 2*b - a*b - 2*v + 5 = 0, -o*b + 3*v - 14 = 0 for b.
-1
Let a be (10/(-6))/(2/(-6)). Let w(x) = -x**2 - 2 - 6*x**2 - 4*x**2 + 2*x - 14*x**3 + 12*x**2. Let k be w(-1). Solve a*q = 2*p + k, 4*p + q - 1 - 10 = 0 for p.
2
Let g = -803 - -746. Let c be (-40)/(-12) + 76/g. Solve -c*n - 4 = 2*v - 2, v + 9 = -5*n for v.
1
Let f = 25329 + -25292. Solve 5*k = -3*c + 2, k - 5*c + f = 15 for k.
-2
Suppose -h = -2*z + 1, -z + 3 = -0*z - 3*h. Suppose z = -3*y + 3*x + 21, -3*y - 4 = 2*x - 5. Solve -y*d + 19 = -g + 2*d, 0 = -g - 3*d + 5 for g.
-4
Suppose -14*i + 159 = -17 - 216. Solve 4*g + 2*s = 18, 26*g + 7 = i*g + 3*s for g.
5
Let m = 209 - 269. Let q = m - -64. Solve 3 = c + q*k, 2 = 4*c + 5*k + 1 for c.
-1
Let l be (30/560)/(6/48) - 90/(-35). Solve -5*u = 25, -l*w - 3 = -5*u - 16 for w.
-4
Let d = -58405 + 58407. Let i(y) = y + 8. Let k be i(-6). Let c = -1 + k. Solve d*m = 8, -5*r + 5*m + c = 6 for r.
3
Suppose -3*x + 19 + 26 = 0. Let h be 8/(2/1)*x/2. Suppose -5*c - 5*w = -3*w - h, -3*c - 3*w + 27 = 0. Solve 7 = 5*y + 2*u, 8 = 4*y - 3*u + c*u for y.
3
Let m(u) = 4*u**3 - 23*u**2 + u + 5. Let i be m(6). Suppose -8*b = 23 - i. Solve -5*c + v - 17 = 0, -2 = 2*c - b*v + v for c