s for w.
5
Suppose 12 = f + 11. Suppose 0 = 2*y - f - 3. Solve -5*m - y*a - 45 = -14, 0 = -4*m + 5*a - 5 for m.
-5
Suppose -4*t - 4*l - 8 = -6*t, -5*t + 3*l + 20 = 0. Solve -2*c = -4, -2*c = t*q - 0*c + 8 for q.
-3
Let o be (-18)/(-8) + (-15)/(-420)*-7. Solve o = -t + 3, 2*a - 5*t + 9 = 0 for a.
-2
Let k = -342 - -343. Solve 3*l + 4*u + 0 = k, u = -3*l + 7 for l.
3
Suppose 0 = 3*g - 37 + 31. Suppose s - 5*l + 1 = g*s, -5*l = 3*s - 43. Solve t = 3*t + 5*i + s, -i - 5 = 0 for t.
2
Let g be (1 - -5)*(-16)/(-32). Suppose -70 = -0*u - 5*u. Suppose 4*p + 4 - 2 = 5*l, -g*p - 4*l + u = 0. Solve -7 = -b + p*j, 0 = b + 2*b - 4*j - 17 for b.
3
Suppose 29*l - 175 = -6*l. Solve l*w + 5*a + 53 = 8, -2*w = 4*a + 26 for w.
-5
Let d(w) = w**3 - 5*w**2 - 7*w + 7. Let f be d(6). Let p = -186 - -189. Suppose 0 = 2*l - f - p. Solve 1 = -3*o + 4, l*a + 5 = -3*o for a.
-4
Suppose -g - 6 = -8. Let l(n) = n**3 - 9*n**2 + 9*n - 4. Let i be l(8). Suppose -i*y - 65 = -9*y. Solve -5*s + g*c + 3 = -y, 15 = -5*c for s.
2
Let b(f) = -5*f - 5. Let k be b(-3). Suppose 11*y - k*y = 3. Solve 3*s - 3*r = -y, 4*r - 1 - 7 = 0 for s.
1
Suppose 4*p = 23*p - 285. Solve 2*m - p = -3*t, -4*m = -4*t - 9*m + 20 for t.
5
Let z = 91 + -86. Suppose 10 = j + z. Solve -j*q + 3*y + 4 + 2 = 0, 4 = -q - 2*y for q.
0
Suppose 0 = -4*b - 16, -3*f + 25 = 4*b - 5*b. Solve -5*x = -w + 29, x + 2*x + 2*w + f = 0 for x.
-5
Let u(y) = 2*y - 7. Let r be u(5). Let g(j) = j + 15. Let n be g(-6). Suppose -3*c = n, 0*c = -3*z - r*c. Solve -3*k = 5*t - 10, -z*t = -k - k - 25 for k.
-5
Let h be -4 + 42/(-7)*-1. Solve j + h*j = -5*m - 2, 5*m - 4*j - 26 = 0 for m.
2
Let g be (-1254)/34 + 16/(-136). Let c = g - -43. Solve 0*h = 3*h - 6, r - 5*h + c = 0 for r.
4
Let o = 12 + -2. Let k(v) = 3*v - 46. Let y be k(14). Let n be y/2*(-6)/3. Solve 0 = -g - 0*g - n*w + 8, 0 = 5*w - o for g.
0
Let j = 45 + -45. Suppose j = -2*g - 0*i - 4*i + 24, 5*g + i - 15 = 0. Solve -4*d = -4*z - 4, -z + 2*d = -2*z + g for z.
0
Let n = 43 - 26. Let d = -3 + n. Suppose 2*j = -d + 64. Solve -3*t + 3*a - 9 = 0, 5*t = -0*t - 5*a + j for t.
1
Suppose 77 = 4*k + 3*j, -4*j - 211 = -5*k - 107. Solve -2*c = -f - 7, 9*c = 4*f + 13*c - k for f.
1
Let w = 2532 - 2529. Solve w*u = 5*z - 8*z + 3, 4*u + 5*z - 9 = 0 for u.
-4
Let i = -131 + 136. Suppose 0 = -7*o + 3*o + 68. Let f = 21 - o. Solve -l = l - 2*t, -f*l + 3*t = -i for l.
5
Let t be (23 + 1)/(9 + -7). Suppose t = 9*a - 6*a. Solve -3*h = q + 2, -h = 3*h + a*q - 8 for h.
-2
Suppose 5*f - 5 = 5*b, 2*b + 3 + 3 = f. Let v = b - 5. Let c be 2 + (9/(-3) - v). Solve 5*r = 4*t - 31, -c = -r - t - 2*t for r.
-3
Let l(w) = -8 + 3 + 7*w + 2 + 11*w. Let x be l(1). Solve 6 = -f + 4*m + 1, x = -3*f - 4*m for f.
-5
Let c = 163 + -155. Let j be (c/(-7) - -1)/(1/(-7)). Solve -b = j, h + 0*h - 5*b - 5 = 0 for h.
0
Suppose 8*z - 51 + 11 = 0. Solve -h - 3*f = z, -4*h - 3*f - 2 = -0*f for h.
1
Suppose -7*u + 167 = 160. Solve -j - 2*p + u = -p, -5*p = 15 for j.
4
Suppose -b = -4*r - 3, -3*b - 15 = -8*b. Suppose r*x = -x + 2. Suppose -3*d + 17 = 2*v, -3*d + 21 = 2*v + v. Solve d*h = -k + x*k, h = -2*k - 7 for k.
-3
Let r = 0 - 0. Let u(a) = -14*a + 137. Let l be u(9). Solve 3*s - 17 = 5*m, r = 4*m - 0*m - 5*s + l for m.
-4
Suppose 11*b - 5 = 9*b - v, 0 = 2*v + 6. Solve -t - 3*i = 16, b*i = 4*t - 2*t - 18 for t.
-1
Suppose -3*q = -k - 62, q - 1 = -5*k - 7. Let a = q + -14. Suppose a*z - 20 = -0*z. Solve 2*c - 27 = 5*v, -v = 2*c - c + z for v.
-5
Let g(d) = -d**3 + 15*d**2 - 24*d - 23. Let m be g(13). Solve 4*n + 4*k - 12 = 0, m*k - 2*k = 2*n + 3 for n.
0
Let t be (-12)/(-9) - (-49)/(-3). Let w(i) = -i**3 - 15*i**2 + i + 17. Let s be w(t). Solve -5*h + s = b, 5*b + 5*h = -0*b + 10 for b.
2
Suppose -3*z = -2*a + 6*a - 116, -3*z = 5*a - 118. Let d = 41 - z. Solve -d*c + 4*s = -1, 4*s = -5*c + s + 8 for c.
1
Let t(o) = o**3 + 7*o**2 + 3*o - 12. Let a be t(-6). Let y = a - -15. Let r = -11 + y. Solve -2*f - 4*b - 4 - r = 0, 0 = 2*f + 2*b + 4 for f.
3
Let y be (-6 + -14)/(1/(-4)). Let m = -340 + y. Let t be (6/4)/((-39)/m). Solve 3*v = z + t, 5 = 2*v - z - 1 for v.
4
Let k = -546 + 551. Solve 0*i = 3*a + k*i + 30, 2*i = -4*a - 26 for a.
-5
Let q(b) = -b**2 - 2*b - 1. Let u be q(-4). Let w(c) = -c**2 - 5*c + 39. Let d be w(u). Solve -3*p - 5 = -5*r - 0*p, 0 = -d*r + 3*p + 3 for r.
1
Suppose -2*q - 1 = 3*r + 3, -5*q - 5*r - 5 = 0. Suppose -5*m + 6 = q. Let i be (5 + -3)/m - -2. Solve -3 = -3*l, -l = -i*u - 2*l + 1 for u.
0
Suppose 2*j = 13 - 9. Solve u - j = -3*h, -2*h - 4*u - 1 = -u for h.
1
Let z(d) = -3*d**2 + 24*d + 30. Let y be z(9). Solve 5*c + y*r + 7 = 0, -c = -2*r + 4*r for c.
-2
Let s be ((-1)/(-5))/((-8)/(-2800)*14). Solve 0 = 5*f + 10 - s, -f + 7 = 2*h for h.
4
Let s(c) = -c**2 - 11*c + 8. Let r be s(-12). Let j be (5/r + 0)*4. Let x(h) = 3*h + 15. Let d be x(j). Solve 5*l + 0*l - 2*t = -11, d = -4*l - 2*t - 16 for l.
-3
Let p(r) = 2*r**2 + 36*r - 284. Let u be p(-24). Solve -u*a - t + 16 = 0, 9 = 7*a - 2*a + 4*t for a.
5
Let v(z) = 3*z. Let b be v(-1). Let a = b - -6. Suppose 5*y - 26 + 6 = 0. Solve w + 0*n + a = -y*n, 0 = -4*n for w.
-3
Suppose 24 + 2 = 5*x - 4*s, 3*s = x - 3. Suppose -2*f = -4*f + x. Suppose 18 = 3*r + f. Solve -2*m - 25 + 7 = 3*q, r*q + m = -23 for q.
-4
Let x(h) = -h**2 - 6*h + 10. Let y be x(-7). Suppose -3*w + 2 = -4, y*q = -4*w + 47. Solve 4*b + 2*v - 3*v = q, 3*b + 4*v + 14 = 0 for b.
2
Suppose 0*y - 4*y + 16 = 0. Let x = y + -3. Let m(g) = 4*g**2 - g. Let r be m(x). Solve 2*v = -0*v + c + 5, -40 = -r*v - 5*c for v.
5
Let z(p) = p**3 + 24*p**2 - 6*p - 143. Let n be z(-24). Solve -6*y - 4*f = -y - 11, -n = f for y.
3
Let n = 34 + -31. Suppose -4*l + r + 19 = 0, -l - r = -n*r - 10. Solve -4*c + 4 = -4*t, -t + 0*t - l*c + 4 = 0 for t.
0
Let x(r) = -r + 3. Let j be ((-18)/(-8))/(15/20). Let a be x(j). Suppose z + 2*i - 6*i = a, 3*i - 19 = -4*z. Solve 4*b + 5 = b + z*d, -2*b + 5*d = 15 for b.
5
Let m = -131 - -135. Let j be (-1863)/(-99) - (-2)/11. Solve 4*q + j - 3 = -2*d, -4*q - 20 = m*d for q.
-3
Let i = -12 + 58. Let p be (24/(-8))/((-6)/i). Suppose 2*j = -5*q - 4 + p, 2*j + 5 = 3*q. Solve -j*f = 4*m - 0 - 4, -f = m - 1 for m.
1
Let b(t) = 7*t - 107. Let i be b(16). Solve 5*m - 2*d = 0, 0*m = -i*m - 2*d for m.
0
Let c(u) = -u**3 - 5*u**2 - 20*u - 61. Let h be c(-4). Solve -h*t = -y - 7, -14*t = -13*t - 3*y + 11 for t.
4
Let w be (2 + 0)*12/((-48)/(-38)). Solve c + 0*f = 4*f + 3, 0 = 5*c - 3*f + w for c.
-5
Let z(c) = -2*c - 6. Let j be z(-3). Suppose 2*q - 6 = j, 4*f - 3*q + 1 = -0*q. Suppose h - 26 + f = 0. Solve 0 = -4*m - 2*i - 2*i + h, 3*i = 15 for m.
1
Suppose -4 = -4*f - h, f + 1 + 9 = -3*h. Suppose -5*v + 1 = -3*x - 5, -f*v + 3 = -x. Let y = 1 + 3. Solve 0*t + 2*t = -x*n + 16, -y*t - 8 = -4*n for t.
2
Suppose 11*m = -17 + 39. Solve -2*w - m*u = 12, -4*u = -w - 3*w - 16 for w.
-5
Suppose -4*r + 10 = 2*h, -r - r + h + 3 = 0. Solve 8 = k + 2*b, 4*k + r*b - 20 = -0*b for k.
4
Suppose -368 = -11*k + 3*k. Let r = -40 + k. Solve 5*o - 2*z + 3 = -12, -z + r = -o for o.
-1
Suppose -44*g + 39*g + 15 = 0. Solve 4*i - 16 = s, i + 8 = g*i for s.
0
Let o(k) = k**2 - 6*k + 2. Let v be o(5). Let z be 47/3 - (-1)/3. Let n = z - v. Solve -2*u - 1 = -0*q - 5*q, 0 = 4*q + 5*u + n for q.
-1
Suppose 3*v = 5*g + 22, -3*v - v + 36 = -5*g. Suppose -5*n + 1 = -v. Let c be -3 + 4 + n - 1. Solve -b - 2*a = c*a + 19, 4*b + 28 = -4*a for b.
-4
Suppose -2*s = 4*a - 2, 3*a + 3 = -0. Let f be (-2 + 5)/(6/8). Solve -1 = s*c + 4*q, 4*c - 41 = -c + f*q for c.
5
Let q(x) = 4*x**2 + 4*x. Let s be q(-1). Solve 4*t - 5*y = -5, -40 = -4*t - s*t - 4*y for t.
5
Suppose -5*m - 13*s = -12*s - 4, m + 1 = -2*s. Solve -x + 5*b = -15, 2*x - b = m - 7 for x.
-5
Suppose 0 = -43*y + 39*y + 8. Let f(b) = 2*b - 1. Let o be f(3). Solve -c + 13 = -o*v + 34, v = -2*c + y for c.
-1
Let i(g) = g**3 + 56*g**2 + 9*g + 507. Let z be i(-56). Solve 3*m - 4*t = 7, 3*m - z*t = -8*t + 25 for m.
5
Let h(x) = -2*x + 5. Let l be h(-3). Let o = -10 + 20. Let p = 2 - -2. Solve -o = -5*b + 2*i, 3*b + 3*i + l + p = 0 for b.
0
Let f = 61 + -29. Suppose -4*y + 2*y + 2*w + 16 = 0, f = 4*y + 4*w. Solve -2*r = 4*t - y, 10 = -2*r - 2*t + 4*t for r.
-2
Suppose 4*x - 5*b = -1, -3*b + b = -2. Let a be -4 - (-1)/(3/24). Suppose 0 = 2*w + a*h - h + 3, 4*h + 15 =