+ 8 = h*u for m.
-2
Let s be -15 - (-2 - (3 + -2)). Let d = -4 - s. Suppose x = d - 4. Solve -x*k + 20 = 0, 4*k + 3 = 2*a + 15 for a.
4
Let b = -1 + 6. Suppose 0 = 2*s - 10, -4*k - b*s = -73. Let v(q) = 2*q - 71. Let g be v(37). Solve g*t = 2*z + 25, -z - k = -t - 2 for z.
-5
Let m(a) = -6*a - 34. Let z be m(-6). Suppose -k + 76 = -z*g + 6*g, 2*g - 4*k = 20. Solve -3*x = p - g, -4*x - 2*p + 16 = -2*x for x.
5
Let w = 26 + -24. Suppose 21 = p + w*p + 3*a, 0 = -4*a + 12. Solve s - q = -3*s, 5*s + p*q = 0 for s.
0
Let u = -13 + 18. Let q be 1*2/u*-5. Let z be 42/5 + q/5. Solve 2*k - z = -0*k + 4*a, -3*k = -3*a - 3 for k.
-2
Let h(b) = 7*b**2 + 16*b + 12. Let l(z) = z**2 - z. Let u(m) = h(m) - 5*l(m). Let r be u(-10). Solve -r*c = -2*v + 2, 2*v + 3*c + 15 = -v for v.
-2
Let z be ((-2)/(-4))/(16/96). Solve 9 = h + 2*t + t, 3*t = h + z for h.
3
Let c(z) = -z**2 + 22*z + 79. Let a be c(25). Let k be (-4 - (2 - 26/a))*4. Solve 2*t - k*l - 2 = 0, 7*l + 13 = -5*t + 3*l for t.
-1
Suppose 0 = 22*o - 7*o - 30. Solve 3*x + 5*v = -7, o*x - 12 = 2*v + 3*v for x.
1
Let d(q) = 22*q**2 - 289*q + 43. Let y be d(13). Solve y*z + 4 = -2*p + 2, -3 = -z - 4*p for z.
-1
Suppose -4*o = -5*g - 235, -g = -3*g + 2*o - 94. Let b = g - -49. Solve 23 = 5*c - b*w, -w + 4 - 2 = 2*c for c.
3
Let f be 4 + (0 - 3) - 1/1. Suppose -9*z + 29 - 2 = f. Solve 13 = -m - 0*o - 3*o, -z*m = o + 7 for m.
-1
Suppose 0 = -0*j + 5*j. Let n be 2/2 + 4 + 2/(-1). Solve a - d - 2*d - 3 = j, -n*a = 4*d - 9 for a.
3
Let q(o) = o**3 - 4*o**2 + 22*o - 119. Let t be q(5). Solve 2*j - j - 24 = 5*n, -4*j + 4*n = -t for j.
-1
Let a be (-352)/(-36) + (-6)/(-27). Solve 2*h + h - 11 = 2*d, -3*d = 2*h + a for d.
-4
Let b = -7 + 12. Let t(y) = -5 + 11*y + 3 - 10*y. Let o be t(b). Solve o*q + 13 + 1 = -5*k, 0 = -q + 3*k for q.
-3
Let s be -2 - 7/(21/18). Let y = -8 - s. Suppose a - 8 = v - 2*v, y = -a - 3*v + 14. Solve t - 3*u + a*u + 11 = 0, -4*t - 28 = 4*u for t.
-3
Let o be 4/10 + 39/15. Let i be -2 - -1 - (-1 - o). Suppose -i*j = -4*n + 23, -n + 2*j + 2*j + 22 = 0. Solve 3*l - n*q = -l - 14, q - 11 = 4*l for l.
-2
Suppose -6*s = -9*s + 18. Let o(p) = -p**3 - 3*p**2 + 2*p + 2. Let i be o(-4). Solve -3*b = 5*g + 28, -b + s*b + g = -i for b.
-1
Let n be 0/(-1) + (-2 - -2). Let u = 3158 + -3146. Solve 0 = -5*p - 3*t - n + u, -3*p = -4*t + 16 for p.
0
Let t be 0/(-12)*(-3)/(-9). Solve -5*s + 3*h - 16 = t, 0 = -s - 3*s + h - 17 for s.
-5
Let r = -47 + 52. Suppose -6*q + w + 8 = -2*q, -3*w = -r*q + 10. Solve -q*n - m + 6 = -0, 6 = n + 2*m for n.
2
Let t(d) = -d**3 - 15*d**2 + d - 2. Let a be t(-15). Let x = -12 - a. Solve -4*q + 0 = 4*g + 8, 4*g + x = -5*q for q.
3
Let o = 736 - 732. Solve -5*n + n - 4 = -2*c, 4*n = o for c.
4
Let t(w) = -w**3 - 5*w**2 + 14*w + 3. Suppose 2*o - 4*l - 6 = 0, -o + 2*o + l + 12 = 0. Let m be t(o). Solve 4*x + 1 = -k - 2*k, 7 = -m*x + 4*k for x.
-1
Let a = 5 + -2. Suppose -3 = -m - 2, 11 = 2*i + a*m. Suppose -i*f = -2*f - 4. Solve 5*s + 5*l + 4 + 1 = 0, -f*s - 4*l - 12 = 0 for s.
4
Let k = 12 + 8. Let y(n) = n**2 - 18*n - 40. Let v be y(k). Solve 4*x = 4*i, 4*i + 0*x + x + 15 = v for i.
-3
Let z(m) = -151*m + 161. Let t be z(1). Solve 5*b - 22 = v + 10*b, -5*v - b = -t for v.
3
Suppose 20*g + 15 = 25*g. Solve -3*z + 27 = g*r + z, -5*r = 5*z - 40 for r.
5
Let m = -56 - -58. Solve -4*c = -m*w - 1 - 7, 3*c + w - 11 = 0 for c.
3
Suppose 4 = -4*o, g - 2*o = 10 + 11. Let r = g - 16. Suppose 0 = -f - r + 7. Solve u = 1, -f*z + 6*u = 4*u + 2 for z.
0
Let r be (3 + (10 - 14))/(1/(-5)). Solve -r = -u + y - 2*y, 3*u - 3*y + 15 = 0 for u.
0
Let r be 0 - (-8 + (-8)/(24/(-9))). Solve r*f + x - 5 = -25, -4*x = 2*f + 26 for f.
-3
Let n = -138 + 142. Solve -24 = 2*m - n*x, -17 = -2*x - 7 for m.
-2
Let y be (2 - -6)*(-2)/(-4). Suppose 86 + y = 3*s. Solve l + 20 = f + 4*f, -f + s = 5*l for l.
5
Suppose -7*l - 12 = -33. Solve -v - m + 4 = 0, 4*v - 10 = l*m + 13 for v.
5
Let d be (-33 - -1)*(-2)/(-2). Let c = d + 34. Solve -k - 30 = 3*k + c*z, 3*k + 5 = 2*z for k.
-5
Let z be ((-31)/(-4))/(13/52). Let f = 34 - z. Solve -f*r = 3*i, 3*r + 0*i + 4 = i for r.
-1
Let k be ((-80)/(-18))/2 - (-4)/(-18). Suppose -5 = k*q - 15. Solve -v - 4*h = h - q, -5*h + 25 = -3*v for v.
-5
Let t = 23 - 19. Suppose -a = t*a - 10. Solve 5*i + 7 = 2*c, -a*i - 5 = -c + 2*i for c.
1
Let x(y) = -3*y - 8. Let v be (-84)/22 - 6/33. Let r be x(v). Solve r*l + 2*a + 12 = 0, -a - 4*a + 26 = -4*l for l.
-4
Suppose -2*u = -w + 2*w - 11, 0 = 2*u + 5*w - 23. Suppose 3*g = u*g - 3. Solve -2*m + g*j - 7 = 1, -3*j = 2*m + 8 for m.
-4
Suppose 3*p + 10 = 5*p. Suppose -j - 16 = p*d + j, 5 = -4*d + j. Let b be (-2)/d + 0 + 0. Solve 2*x = 3*v + 5, -4*x + 5*v + b = -6 for x.
-2
Suppose 11*m = m. Solve m = -o - 3*p + 5, -o + 4 = -3*p - 1 for o.
5
Let b = 254 - 251. Solve -q - b*s - 2 = 0, 0 = -2*s + s - 2 for q.
4
Let n(t) = -t**2 + 5*t. Let i be n(5). Suppose 3*u + 2*a - 84 = 0, 0 = u - i*u + 3*a - 28. Let r = u + -25. Solve r*w - 8 = 4*j - w, w - 3 = 0 for j.
1
Let f = 605 + -592. Solve -6 = -2*p, -5*u + 4*p + f = -0*p for u.
5
Let t = 49 - 44. Solve 0 = t*f - 4*i - 40, -5*i - 12 = 2*f - i for f.
4
Suppose -337*t = -331*t - 66. Solve -17 - 7 = 3*g - 3*b, 2*b - t = g for g.
-5
Suppose -107 = -9*n - 80. Solve 0 = -n*h - f - 4*f + 9, -2*h + 3*f = 13 for h.
-2
Let i be (12/(-9))/(4/(-30)). Suppose 0 = -2*l + i, v + 2*l = -2*v + 25. Solve -4*f + 0*b = -2*b + 14, 23 = -4*f + v*b for f.
-2
Let w be 150/(-8) - (-21)/28. Let b be (-45)/w*(-8)/(-5). Suppose -b*c = -0*c - 8. Solve c*j + 11 = -5*n + 5*j, 2*j - 2 = 2*n for n.
-4
Let x(a) = -2*a**2 - 44*a + 49. Let t be x(-23). Solve -4*p - t*z + 5 = 0, 5*z = 4*p + z - 12 for p.
2
Let t = -18 - -13. Let g be t - ((-3 - -1) + -1). Let x = 1 - g. Solve -4*u = -4*o + 8 - 0, x*u - o = -10 for u.
-4
Suppose 9*m = 5*m - 188. Let p = m + 52. Solve -25 = -p*i - 5*x - 0, -i = -x - 1 for i.
3
Suppose -4 = -o - 0, 4*o = -j + 12. Let c(s) = -s - 1. Let x be c(j). Let a = 0 - 0. Solve -3*r - x = a, 5*n + 0*r + r = 19 for n.
4
Suppose 68 = 2*v + 22. Let c(l) = l**3 + 2. Let j be c(0). Suppose -3*r = -j*w - 7, -3*r + 2*w - 4*w + v = 0. Solve 5*i = 4*y - 17 - 23, 3*i = r*y - 37 for y.
5
Let a(h) = -h**2 + 13*h + 25. Let c be a(15). Let t = c - -10. Solve 0 = g + 2*g + 3*w - 9, t*g + w = 11 for g.
2
Let o(k) = 7*k**3 - 18*k**2 + k - 13. Let s be o(3). Solve 5*u - 23 = -w, u + s = -w + 6*u for w.
3
Suppose -s - 2*l + l = 5, 5*l + 20 = -4*s. Let t(o) = o**2 + 3*o - 10. Let d be t(s). Suppose j + 3*j = d. Solve -4*q + 4*p + 3 + 1 = j, 5*q = -5*p + 15 for q.
2
Suppose 5*c - 9 = 4*q, -7*q = -6*q + 5*c - 29. Solve q*f + 7 = w + 8*f, -w = -3*f for w.
3
Suppose 0 = -13*l + 12*l - 6. Let p be (-3)/6*l - (-5 + 3). Solve -3*z + 5 = -p*y + 27, 4*y + 8 = -4*z for y.
2
Let a = 20 + -41. Let i be -2 - (-7)/(a/(-18)). Let n = 7 + -3. Solve -n*t = i*o + 8, -4*t - 14 - 18 = -4*o for o.
3
Let i(h) = -7*h - 1. Let y be i(2). Let m = -6 - y. Solve 2*w - x + m + 3 = 0, 3*w - 4*x = -28 for w.
-4
Suppose 8*j + 55 = 199. Solve 5*a - 13 = -2*g - 37, j = -5*a + g for a.
-4
Let r = 45 + -25. Suppose r = -5*z + 4*o, z - 4*o + 2*o = -10. Let h be z - (4 - 1 - 7). Solve 0 = -h*q - 5*f + 2, -3*q - 3*f + 4 = 2*f for q.
-2
Suppose -3*v - 21 = -5*f, 7*v - 4 = -2*f + 6*v. Solve -d + 0*d - 12 = 2*t, f*t + 2*d = -19 for t.
-5
Suppose 244 - 60 = 46*u. Solve 3 = s - 4*s + 3*w, -5*s + u*w - 4 = 0 for s.
0
Suppose 0 = -5*u - 20, 5*u = 2*j - 4*j - 16. Let r be (-8 + 1)*(-14)/49 + j. Let w be (-33)/(-5) - 4/(-10). Solve 31 = 2*t - 5*x, r*t + 2*x = x + w for t.
3
Let l = -3 - -5. Suppose -l*z + 4 = -z. Let h be -5*-2*3/6. Solve -z*b = -3*a + 3, a + 2*b = h*b + 6 for a.
-3
Suppose 2*q + 2 = 0, -3*q + 22 + 32 = -3*h. Let y = -17 - h. Solve -2*c + y*o - 6 = 0, -2*c = -2*o - 2*o + 10 for c.
-1
Suppose -534*s + 523*s = -22. Suppose n - 27 = -5*r, n = -0*n + 3*r - 13. Let f be 7*2 + (-2)/2. Solve s*l - n*d = 7*l - 31, -d = 2*l - f for l.
5
Let v be 9920/832 - (12/13 - 1). Solve -i - 17 = v*c - 8*c, -4*c - 8 = 4*i for c.
-5
Suppose 5*p = -r - 10, -62*r + 6 = -63*r - 3*p. Solve r = -5*n + 4*b - 6*b - 12, 4 = -n - 2*b for n.
-2
Suppose z - 4*f - 2 = 3, z + 3*f - 12 = 0. Solve 2*a = 4*s - s - 15, s + 4*a = -z for s.
3
Let i = 9 - 21. Let d be (i/(-8))/((-6)/16). Let x = -1 - d.