 + 27 for m.
2
Suppose 8 = 5*y - 27. Suppose 0 = -2*n + b + y, -n + 5*b + 25 = 4*n. Solve 5*a + 27 = -4*i, 5*a + 1 = 4*i - n for a.
-3
Suppose -10*s = -7*s + 4*f - 10, 0 = 5*s + f - 11. Solve 4*v = s*g - 2, -3*v + 4*g + 1 = -0*v for v.
-1
Suppose 0*f = -f + 3*j - 109, -5*f - 621 = 4*j. Let n = f + 124. Solve -5*a = 2*k + 15, -k + 0 = n*a + 10 for a.
-5
Suppose 9 = 41*g - 688. Solve -3*a + g = -4*f, f - 4*a + 8 = -6 for f.
-2
Suppose -p + 5*f - 9 = 2*p, 4*f = -3*p + 18. Solve -4*k - 8 = -3*k + p*j, -4 = k + j for k.
0
Suppose 0 = -2*p - p + 21. Let r be 42/20 + (-12)/(103 + 17). Solve -r*u + 2 = q, -4*u + 11 + p = -5*q for q.
-2
Let z(f) = 3*f - 25. Let w be z(10). Suppose -3 = -2*r + w. Solve -2*v - 5 = -5*i + 15, -v - r*i + 16 = 0 for v.
0
Suppose -16*v = 7 - 7. Suppose 8*u - 19*u = v. Solve 2*r - t + u = 10, -r - 13 = 4*t for r.
3
Let s = -80 + 279. Suppose 3*q = 4*r - s, q = -5*r + 2*q + 246. Solve 0 = -5*x + k + 11, 4*x + 5*k + 17 = r for x.
3
Suppose -6*l + 3 + 15 = 0. Let a = 8 - l. Solve 10 = a*m - 4*h, -3*h = -2*h for m.
2
Let d be 780/182 - (12/(-14))/(-3). Solve 0 = -x - i, d*i = -0*i - 12 for x.
3
Let i = -4 - 13. Suppose 6 = -3*l, -2*b - 3*l - 38 = l. Let g = b - i. Solve 2*q - 8 = -3*y, 5*y - g*y + q - 7 = 0 for y.
2
Let g = 214 + -211. Solve -5*j + l + 29 = 2*l, 5*j - 13 = g*l for j.
5
Let z(w) = 12*w + 53. Let x be z(-3). Solve -3*o + f + 10 = 0, -3*o - o + 5*f + x = 0 for o.
3
Let j be (-9 - (1 - (-12)/(-4)))*-1. Let h be (-2 - 1)/(-8 + j). Solve -h*l = -2*z - 0*z + 5, 10 = -2*l - 2*z for l.
-3
Let q = 102 - 100. Solve -q + 3 = d + h, 0 = h + 4 for d.
5
Suppose 0 = -k - 5*o - 18, 0*k - 3*o = -5*k + 22. Suppose 0 = -5*c + k*z + z + 10, 8 = 4*c + 4*z. Solve -5*x + 2 + 5 = -2*b, 0 = b - x + c for b.
-1
Let k(o) = -o**3 + o**2 + 2*o + 3. Let f be k(0). Solve 6*n = n + 4*u + 16, n - f = u for n.
4
Let f be (-1 + -2 - -6) + 15 - -2. Suppose 18 = 23*j - f*j. Solve 1 = -2*s - 5*i + 27, 2*s - 3*i + j = 0 for s.
3
Suppose 2*q = -10*q - 876. Let w = q + 78. Solve -4*z + 3*g - 2 = 2, w*z - 2*g = -12 for z.
-4
Let w(t) = t**2. Let b be w(4). Let v = b - 13. Suppose 0 = 4*i + v - 11. Solve 0*d + 4*d - 2 = i*n, 0 = 3*n + d - 18 for n.
5
Let x be (-74)/(-14) - 2/7. Suppose x*t - 12 - 8 = 0. Let m = 5 + t. Solve -s + 5*c = c + m, s = c for s.
3
Suppose -5*x = -3*c + 48, 3*x - 3*c + 20 = -4. Let t(u) = u**2 - u - 1. Let q be t(-2). Let z be q/(-10)*x*1. Solve -2*y - 4*h + z = -6, 2*y - 7 = -3*h for y.
-4
Let o = 9 - 9. Suppose 29 = c - 3*h, 2*c - 3*h = -o*h + 49. Suppose -c = -5*k - 0. Solve -a = -2*w - 3, 2*a - k*w - 13 = 7*a for a.
-1
Let l = 53 - 49. Suppose -4*b = -l*v + 156, 0*v = 5*v + 3*b - 211. Solve -2*u - 6 + 3 = w, 5*w = 4*u + v for w.
5
Let z = 18 + -19. Let p be -2 + 1/z*-3. Suppose 4*s = 11 + p. Solve 43 = 5*m - 5*o + 3, 0 = -s*m + 2*o + 20 for m.
4
Let z(a) = 2*a**2 + a**3 - 6 - a + 8 + 0. Suppose 0 = -5*n + 20, 2*y = 3*y + n - 2. Let i be z(y). Solve 4*o - i*v = 12, -4*o - o - 4*v - 30 = 0 for o.
-2
Suppose 0 = 7*i - 11*i. Suppose 23*b - 13*b - 40 = i. Solve 5*r - 4 = r - 2*j, b*r = j - 8 for r.
-1
Suppose 3*b = 4*h + 5 - 2, h + 4 = 4*b. Suppose h = -k - k + 30. Let a be (-21)/(-6)*4/7. Solve -p = 3*p - 5*t - k, 5*t + 15 = a*p for p.
0
Let j be -3 + 1 + 12/3. Suppose j = 2*b - 8. Solve -4*v = -b*r - 4 - 2, -5*r = v + 11 for v.
-1
Suppose 3*y - 3*g = 132, 2*g + g + 9 = 0. Suppose i - 5*o = -6, -2*i + o + 2 = -5*i. Let c be i/(3/(-12) - 0). Solve -5*u + c*p = -y, -u + 6*u + 4*p = 9 for u.
5
Suppose 12*i - 8*i = -3*n + 56, i + 5*n - 14 = 0. Solve -r + 4*g = -9 - 9, -g - i = -5*r for r.
2
Suppose -3*t = -44*t. Solve 2*w - 1 - 3 = t, -5*w = v - 11 for v.
1
Suppose 0 = -2*l - 2*w, -2*w + 83 = 4*l + 81. Solve 2*a + 5*o = 4 - l, a = 2*o + 6 for a.
4
Let k be 0/1*2/2. Let o be k*(-4)/(-12) - 1. Let y be 2 + (o - -1)*1. Solve -4*z = -3*b + 11, y*z + 8 = 4*b - 2*z for b.
-3
Let j = -36 + 41. Suppose -2*i + 2*u = -j*i + 25, i + 5*u = 30. Solve -5*z - 13 + 33 = -i*q, 4*z = 5*q + 21 for z.
-1
Let v(h) = -h. Let j(c) = c**3 - 9*c**2 + 7*c + 6. Let b be j(8). Let y be v(b). Let u be -15*((-6)/9)/y. Solve k = -5, 0 + u = -5*o + 2*k for o.
-3
Let t be (-33)/(-9) + (-10)/6. Solve -w + 3*c = -8, -t*w - 2*c - 16 = -0*w for w.
-4
Suppose -140 = 1191*o - 1201*o. Solve -3*t = -4*p - o, 2*p = -t - 3*p - 27 for t.
-2
Suppose 101 - 192 = -13*g. Solve -4*i + 5*d = 0, -4*i - 5*d = -g*d for i.
0
Let x(c) = -2*c**2 - 21*c - 6. Suppose -k - y = -0*y + 12, -k - 20 = 5*y. Let i be x(k). Solve -z - 2*m + 2 = 0, z - m + i*m = 1 for z.
4
Suppose 0 = 15*n + 32 - 167. Let m(h) = h**3 - 7*h**2 - 17*h - 6. Let t be m(n). Solve t*u - d = -11, d = -4*u - u - 21 for u.
-4
Let t be (12/5)/(132/30 - 4). Suppose 3*s - 37 = m, 4*m = t*s - 3*s - 22. Solve -u - 3*j = 17, -2*u - s = -0*u + 2*j for u.
-2
Suppose 20 = 4*h, 5*h + 51 = 5*s - 24. Solve 4*y - 2*l = s, 0 = y + 4*l - 3 + 16 for y.
3
Let j(m) = -4*m - 6. Let c be j(-2). Solve 5*d = -2*l - 17, -c*d + 5 = -3*d for l.
4
Let i = 11 - 12. Let s(v) = 3*v**2 - v + 1. Let k be s(i). Solve 3*w - k = 2*a, -5*w = 2*a - 3*a - 20 for a.
5
Let w(h) = -2*h**2 + 5*h + 4. Let t be w(0). Solve 20 = 2*g + 5*i - i, -t*g = -5*i + 25 for g.
0
Let j = -13 + -7. Let a(i) = 5*i + 226. Let n be a(-55). Let b be n*(-1 + j/(-28)). Solve 5*d = -q - q + 14, 0 = -2*d - 5*q + b for d.
2
Suppose -2*i - 15 = -5*i. Let q(p) = -p - 2. Let o be q(0). Let f be 3 + -1 + o + i. Solve -5*v - 1 = -3*d + 7, -f*v + 2*d - 12 = 0 for v.
-4
Let h be 6 - 7/(7/(-3))*-1. Solve n = h*l - 12, -6*n + 3*l - 18 = -3*n for n.
-3
Suppose -126 + 138 = 6*t. Solve 0 = 2*u + 2*d - 4 + 2, 4*u - 16 = t*d for u.
3
Suppose -2*k + 12 = 2*k. Let v = k + 15. Let n = v - 13. Solve 4*q = 3*q + 3*s - 2, -n*s = q + 10 for q.
-5
Let s(v) = 4*v - 21. Let q be s(6). Suppose -q = -6*n + 5*n. Solve -2*a = n*c + 4, -c + 4*a - 6 + 0 = 0 for c.
-2
Suppose -4*c - q = -3*q, -c - 3*q = 0. Suppose -2*b + c*i - 1 = -i, 0 = -b - 3*i - 4. Let f be 12*((-5)/15)/b. Solve 23 + f = -5*r - 4*x, -2*r + 9 = -5*x for r.
-3
Suppose -3*c = -7*s + 6*s - 9, 2*c - 20 = -4*s. Solve -4*j + 3*h + 4 = 0, 9*j - c*h = 4*j + 4 for j.
4
Let q(t) = t**2 - 8*t - 105. Let c be q(15). Solve z + 4 = 0, z + c = u - 3 for u.
-1
Suppose -8*z = -25*z + 85. Solve -6*h + z*h = u + 4, 4*u = 5*h + 11 for h.
-3
Suppose w + 4 = 2*w. Suppose 9*a - 10*a + 25 = 0. Suppose -18*z + 13*z = -a. Solve -5*k = -0*v - v - 20, 0 = w*v + z*k - 20 for v.
0
Let a(z) = z**3 - z**2 - 4. Let f be a(2). Let q = -24 + 12. Let j = q - -28. Solve 5*p = -3*u + u - 28, -u + 5*p + j = f for u.
-4
Let g be (3 - 45/12)/(15/(-40)). Let q = -7 + 11. Solve 3*v - 6 = -5*k + 1, q*v - g*k = 18 for v.
4
Let k = 31 + -28. Suppose 0 = -l - l. Solve l = p - k*m + 8*m + 20, 12 = -p - 3*m for p.
0
Let u(a) = 6*a - 2 + a - 8*a. Let g be u(-10). Let t = g - 8. Solve t = 5*l + h + 31 - 7, l + 2*h + 3 = 0 for l.
-5
Let s(x) = x - 7. Let z be s(9). Suppose 0 = -3*r + 12, z*i - 5*i - 3*r = -27. Solve -m = 3*g - 11, 0 = i*m + 2*g + g - 31 for m.
5
Let t = 1705 - 1700. Solve 3*l - 5*l + 5 = -i, 0 = -t*l + 5*i + 20 for l.
1
Suppose -3*c + 25 = -2*s, -5*s + 13 = 4*c + 18. Suppose f = -2*f. Solve 2*d + 0*d - 3*y = 12, f = -2*d + c*y + 20 for d.
0
Let i be -2 - (40/50)/((-2)/45). Suppose -i*h - 4 = -20*h. Solve 3*o = -4*a, 3*o - 4 = -5*a - h for o.
-4
Suppose -5*m + 4 = 5*y - 91, 81 = 3*y - 3*m. Suppose 18*f - 17*f = y. Solve -2*z = -4*s - 18, 5*z + s - f = -0*s for z.
5
Suppose -4*q + 0 + 8 = 0. Suppose -4*c - 5*u = -3*u - 16, q*u - 4 = -c. Solve 28 = -3*o + 4*f, -2*o - 8 = -c*o - 4*f for o.
-4
Let b be (-6)/8 - -9*(-35)/(-84). Solve -h = -3*h + 3*t + 1, b*t - 1 = h for h.
2
Let b be 1*3 + 0/(-1). Suppose -5*t + 20 = 0, -2*c = 3*c + t - 19. Suppose -158*z + 1091 + 173 = 0. Solve -5*a - c*m = 0, -z = 3*a + 4*m + b for a.
3
Let y(q) = -5*q**3 + q**2 + q. Let w(d) = d**2 + 2*d - 1. Let t be w(0). Let f be y(t). Solve 4*s - 18 = -f*p, -3*p = -3*s + s - 2 for p.
2
Let s(z) = z**3 - 6*z**2 + 14*z - 22. Let g be s(4). Suppose -k = 2*t + 8, 0*t - 8 = 3*k + 2*t. Solve -f + 2 = -5*i - 9, k = g*f - 2 for i.
-2
Suppose 10 = 4*j - 5*y, 0*y - y = -2*j + 2. Solve -5*q - k - 11 - 9 = 0, j = -2*k - 10 for q.
-3
Suppose 3*w + 31 = 7*w + 5*j, 28 = 4*w + 4*j. Suppose -w*h - 5 = 4*u - 45, -4*h = 2*u - 30. S