Let f = 34 - 22. Let t be (-25)/(-4) - 3/f. Solve -4*m - 3*a + 23 = -t*m, 0 = -m - 2*a + 6 for m.
-4
Suppose 7 = 2*b - 3. Suppose 0 = -4*d - b*w + 100, -2*d + 3*w = -0*w - 72. Solve 2*p = 5*j - 3*p + d, -2*j - 11 = -p for j.
-5
Suppose 6*h - 3*h = 6. Suppose -2*c = h*c. Suppose 0 = 2*k + k - 9. Solve 3*u + k*y - 1 = 2, 5*u + 4*y - 3 = c for u.
-1
Let t = -8 - -8. Suppose t*n = -3*n + 12. Solve -8 = k - 3*u, n*k + 4 = 2*u + 3*u for k.
4
Suppose 2*r - 2*p = 12, p + 5 = 2. Suppose 4*a - 4*b - 41 = 11, -11 = -2*a - r*b. Solve 2*c = 4*w + a, w - 3*c = -5*c - 5 for w.
-3
Suppose 0 = 4*z + 5*m - 28, -20 = -5*m - 0*m. Suppose z = -3*g - 2*k, -3*g + 2*k = -2*k - 22. Solve -g*y = 3*y + 25, -4*w + 6 = 2*y for w.
4
Suppose 0 = -3*t - t. Let i be (-8 + 7)*(t + 0). Solve -2*y = 5*u - 10, i - 8 = -4*u - 2*y for u.
2
Suppose 0 = -3*h + 5*h - 8, -4*h = -5*r - 1. Solve -r*x = -0*x - 2*s - 18, -3*s - 17 = -2*x for x.
4
Let o be (-2)/4 - 27/(-6). Let k = o + 1. Solve -2*b + 4*d + 5 = 3, k*b - 3*d + 2 = 0 for b.
-1
Let v(w) = -w**2 + 13*w - 7. Let d be (-1)/5 - 72/(-10). Let c be v(d). Solve 5*m + 21 = -0*f + 2*f, c = -5*f - 5*m for f.
-2
Let x be 0 + (0 - 0/3). Solve d = 4*t - 3*d - 32, x = -t + 5*d + 24 for t.
4
Let d be (3 - 3) + 0 + -1. Let x be (7 + -4)*(2 + d). Solve x*m + 4 = r - 3, -r - 2*m - 8 = 0 for r.
-2
Suppose 3*m = 4*m - 2, 2*f + 2*m - 14 = 0. Solve -8 = 4*i - g - 0*g, f*g - 20 = 0 for i.
-1
Suppose -16*s + 12*s = 0. Solve -3*l - 23 = -2*m, 4*m + 9 = -s*l - 5*l for m.
4
Suppose 0 = -22*n + 27*n - 25. Solve -4*j - n*h - 7 - 9 = 0, 0 = -4*h for j.
-4
Let y(b) = -b + 5. Let v be y(3). Solve -5*d - 5*s + 5 = 0, -4*d = v*s - 4*s + 2 for d.
0
Let c = 9 - 11. Let x = 1 - c. Solve -4*y - x = -y + 4*u, 2*y - 4*u = -22 for y.
-5
Suppose -a + 6*a = 0. Let u = a - -2. Solve 23 = -0*v + u*v - 3*i, -5*v + 5 = 3*i for v.
4
Suppose -22 = -2*a + 4*j, -18 = -4*a - 0*a - 5*j. Suppose 6*m - 2*m = -3*d + 19, -21 = -4*m - 5*d. Solve -m*g + a = -5*t - 20, t = 3*g - 12 for g.
3
Let b be 102/9 + 4/6. Suppose -t + 0*j = -5*j - 59, -5*j = 4*t - 161. Let w be t/b - 4/6. Solve w = -5*v - 4*k, -3*v + k = -k - 7 for v.
1
Suppose 5*f = 3*p + 1 + 19, 4 = 3*p + f. Solve 3*c - b - 2*b = 6, p = -4*c + 3*b + 10 for c.
4
Suppose 4*k = -0 + 16. Suppose 0 = -k*c, -5*b = c + 3*c - 25. Let z be -4*-1*(-11)/(-4). Solve l - b*h + z = -10, 3*h = -l + 19 for l.
4
Suppose -5*x = 22 - 2, -20 = 2*j + 5*x. Suppose 2*n - 6*n + 20 = j. Solve 5*b - 15 = 5*m, n*m - 8 = 2*b - 20 for m.
-2
Suppose 41 = 3*h - 10. Let l = -3 + 13. Suppose 0*n - 2*n = -l. Solve d = 2*x - n - 2, 4*x = -d + h for d.
1
Let i be (-2)/7 + 450/7. Let z = i - 41. Suppose 2*q + 2*q - 3*a = z, -22 = -q + 4*a. Solve 27 = -4*j + 3*l, q*l = 5*j + 5*l for j.
-3
Suppose -j - d = 13 - 4, 0 = 4*d + 4. Let q = -5 - j. Solve 3*u = -0*a + a + 2, u = q*a - 10 for u.
2
Let x = -18 + 20. Solve 9 - 3 = -3*m - 3*o, 0 = -x*o + 4 for m.
-4
Let s(f) = 3*f. Let v be s(1). Let d be ((-2)/v)/((-2)/9). Suppose -4*h + d + 9 = 0. Solve h*c - 10 = 4*u + c, -3*u - 5*c = 27 for u.
-4
Suppose -7 - 5 = -4*v. Let q = 4 + -4. Suppose q = -4*p - 8, -l - 3*p = 4*l - 179. Solve -5*x - v*c = -l, -3*x + c + 12 = 1 for x.
5
Let c be (0 - 9)*44/(-99). Solve 2*y - c*d - 6 = 0, -d + 4*d + 12 = 0 for y.
-5
Let m(w) = 7*w - 49. Let s be m(9). Solve u - 8 = 5*a, -s = 3*u + 3*a + a for u.
-2
Suppose 6*w = 3*w + 36. Let b = 90 + -86. Solve b*q + w = 5*p, -5*q + 1 = -2*p - 1 for q.
2
Let c(v) = v**3 + 5*v**2 + 5. Let m be c(-5). Suppose m*i = i + 24. Solve -5*b + 4*s - 5*s = -i, -5*s = -4*b + 28 for b.
2
Let n be (-1 - 0)/((-1)/7). Suppose -2*a = -n*a + 15. Suppose -5*v + 2*v = -15. Solve v*y - p = -2, -3*p = -y + a*y - 6 for y.
0
Let b be 48/7 + (-4)/(-28). Solve -g + 3*x = 11, -4*g - x + b = -g for g.
1
Let k(o) = 2*o**2 - 5*o - 8. Let g be k(-3). Solve -i + 5 = 2*s, 2*i + s = 4*s - g for i.
-5
Suppose -131*u + 132*u - 3 = 0. Solve -4*w - m + 11 = -2*m, -u*w = -m - 7 for w.
4
Let i be (-60)/8*4/(-6). Suppose 3*v = v + 4. Suppose -3*t - 2*t - 4*d + 6 = 0, 9 = v*t - i*d. Solve -5*l - 3*g = 14, -4*l - 30 + 10 = -t*g for l.
-4
Let p = 46 - 32. Let d be 32/p - 8/28. Solve l = 0, -2 = 2*f - 3*l - d*l for f.
-1
Let l(i) = -i. Let w be l(-4). Let s be 2 + (-2 + 3 - 1). Solve -s*a + 5*u = 16, 5*a + 0*a - w*u + 23 = 0 for a.
-3
Suppose 0*p = -2*p. Solve -1 = -4*l + 3*x, -5*x + 2 = -p*l - 3*l for l.
1
Let v be (-4)/28 - (-22)/7. Suppose -v*h = 5*o - 0*h - 16, 2*h = -3*o + 10. Solve -3*i - o*b - 2*b + 3 = 0, 3*i + 15 = 2*b for i.
-3
Let j(x) = -x**2 - 6*x + 7. Let w be j(-5). Solve 5*o + w = -z, -3*z - z + 12 = 0 for o.
-3
Suppose -6*m + m = -10. Let a be (-1)/m + (-95)/(-10). Let n = -1 + a. Solve 5*g - 3*b = -2*b + 4, 0 = 2*g + 2*b + n for g.
0
Suppose -l + 0 = -16. Suppose -5*n = -n - l. Let x = 7 + -3. Solve 0*j + n*k + 6 = -j, x*j = 4*k + 16 for j.
2
Suppose -3*c + 3 = -9. Let d be 83/4 - 1/(-4). Suppose 5 = -c*a + d. Solve m - a*t = 8, 5*m - 3 = 3*t + 3 for m.
0
Let a = -138 + 142. Solve 2*r + 8 = -a*b, 0 = 4*r + 4*b - 3*b - 12 for r.
4
Suppose 7 = -5*l + 17. Suppose 12 = 6*f - l*f. Solve -p = f, 5*p + 19 = -3*w - 11 for w.
-5
Let x = -5 - -5. Suppose x*d - 2*d = 0. Suppose -3*u - a = -31 - 21, 0 = -u + 4*a. Solve d = 3*w + 4*j + 17, -w = -0*w - 3*j - u for w.
1
Suppose 0 = -u - 1 - 3, -2*q - 5*u = 14. Solve -q*p - 1 = -3*t - p, 5*t + 3*p = 8 for t.
1
Let q be -2 - (-3)/(3/2). Let w be q + 5 + -3 - -1. Let b(k) = k**3 - 3*k**2 + 4*k. Let m be b(w). Solve -2*a - 3*a = 2*p - 28, p - m = -2*a for a.
4
Let j be 12/5 - 4/10. Suppose -j*n + n = -2. Solve -21 = 3*f - 8*w + 5*w, -w = -n*f - 9 for f.
-2
Let b(n) = 2*n**2 - 5*n - 4. Suppose 2*g = 4*r + 64, -2*r - 11 = g + 13. Let y = -10 - r. Let h be b(y). Solve -2*w - 3*w - h = -3*d, -4*w - d - 3 = 0 for w.
-1
Let z(w) = 3*w + 83. Let b be z(-20). Solve -2*v - 16 = 2*c, 0*v - c - b = 4*v for v.
-5
Let r be 2 + 4/(-2 + 0). Let d(g) = g**3 + g**2 - g + 3. Let n be d(r). Solve n*l + 15 = -u - u, -3*u = -4*l - 3 for l.
-3
Let h(n) = 2*n**2 - 2*n - 1. Let b be h(-1). Solve -4*k = o - 15, -b*o - 3*k + 4 = -5 for o.
-1
Let c be 4/(-6) - 22/(-6). Let d(j) = -j**2 + j. Let q be d(1). Suppose 2*x = -q*x. Solve x - 1 = k, -4 = -c*y + k for y.
1
Suppose 2*t = -14 + 52. Suppose 5*o = -4*b - 3 + 38, t = -2*o + 5*b. Suppose r - 14 = o*w, 70 = 5*r - 2*w - 3*w. Solve 0 = 2*z + z - 5*a - r, 0 = 2*z - a for z.
-2
Suppose -3*v + l + 12 = 0, 3*l + l = 0. Suppose -2*g + 9 = -v*g - 3*w, -10 = 5*g + 5*w. Solve 2*z = -5*h - 0*h + 6, 5*h + g*z = 4 for h.
2
Suppose 4 = -2*p + 8. Solve -p*g + 4*g + a = -1, -5*g - 5*a + 5 = 0 for g.
-2
Let s(d) = -d**3 - 7*d**2 - 7*d. Let f be s(-6). Solve 4*i + 3 = 2*r - 5*r, -f = -4*r - 2*i for r.
3
Let g = -8 + 6. Let q be g + 0 + (-3 - -6). Solve -6*d = -4*n - d - q, 0 = 2*n + 4*d - 6 for n.
1
Let a(t) = t**2 - 2. Let r be a(2). Let w(z) = -2*z + 15. Let n be w(10). Let f be (-4)/(-10) - 8/n. Solve -h - f*h = 2*q + r, h - 22 = 5*q for q.
-4
Let k be (-15)/(-6) + 9/6. Solve -m + 3*m - 16 = -2*d, k*d = 3*m - 3 for m.
5
Suppose 2*c + 4*n = 3*c - 30, -2*n + 12 = c. Let g(q) = q**2 + q - 15. Let k be g(4). Solve f - 2*f = -4*i - c, 26 = 3*f - k*i for f.
2
Suppose -6*r - w = -r - 75, -36 = -r + 4*w. Solve 5*q + r = -4*b, q - 3*q + 3*b = 11 for q.
-4
Let x(t) = -t**3 + 4*t**2 - 3*t + 2. Let p be x(3). Suppose -2 + 0 = -2*i. Let z be 2 - (i - 0) - -1. Solve v - 4*v = p*n + z, -n - 4*v - 1 = 0 for n.
-1
Let d = -116 - -119. Solve -4*x + 19 = j + 4*j, 9 = d*j for x.
1
Let f be 3 + (-1 - -1) - (-8)/8. Solve 2*o = f*g - 3 + 9, 3*g = -3*o + 18 for g.
1
Let m be (-2*1/(-7))/((-4)/(-28)). Solve o - v - 4 = 0, -2*o - 5*v + 6 + m = 0 for o.
4
Let o(i) = -3*i - 1. Let a be o(-2). Let j(c) = c - 3. Let f be j(a). Solve 0*h - f*u = h + 7, 4*h - u + 1 = 0 for h.
-1
Let l be 2/(-5) + (-37)/(-5). Suppose -1 = -2*q + 1. Suppose 3*j + q = l, -4*w + 24 = 4*j. Solve -6 = 3*b - 2*a - 0, 3*b + 6 = -w*a for b.
-2
Suppose 2*i + 4*g = -g - 20, -20 = 5*g. Solve -z - 4 = -2*x, -5*x + i*z - 3 = 4*z for x.
1
Suppose 0 = -2*u - 6, -17 = a - 5*u + 25. Let n be a/(-9) - 2/6. Suppose -j - 90 = -n*j. Solve -2*b - b + 4*w + j = 0, -4*w - 12 = 0 for b.
2
Suppose 0 = 2*z - 4 - 50. Solve -4*v = -3*p + 29, z = 7*p - 3*p - 3*v for p.
3
Let j = -1 - -3. Suppose -k + 5*h + 