-5*z + 2*b - 2 - 18 = 0, -d*b = -3*z - 16 for z.
-2
Let v be -2 + 24 + 12/3. Let m = v + -19. Solve -2*g - 3 = -3*h, 5*h + 2*g - m = -2 for h.
1
Let x be (0 - 73/(-5)) + (-4)/(-10). Suppose 0 = 4*f + f - x, y - 2 = f. Solve -20 = -y*m, m + 6 = 4*h - 6 for h.
4
Let l(j) = 12*j + 75. Let t be l(-6). Solve -4*v - 4 = -7*v - s, -16 = t*v - 4*s for v.
0
Let y be (460/(-8))/5*-4. Suppose 0 = -2*o + y - 28. Suppose 5*z - 371 = -5*d - 151, -5*d + 199 = -2*z. Solve o = 5*b + 5*u - d, -b + u = 0 for b.
5
Suppose -26 = -21*q + 8*q. Solve -2*d + q + 15 = 3*o, 3*d = -5*o + 27 for o.
3
Let i(n) = -n**3 - 6*n**2 + 12*n + 15. Let t be i(-9). Let j be (2/(-6))/((-302)/t - -2). Solve -3*u - 5*s - 6 = j, -s + 1 = -3*u for u.
-2
Let l(z) = 2*z**2 + 21*z + 15. Let a be l(-9). Let v be (-7)/(-2)*(-4)/(-1). Let y = v + a. Solve 5*u + y = 4*p, 0 = -3*p - 4 - 2 for u.
-2
Suppose 3*g = -3*n + 3, 2*g + n - 2 = 4. Suppose g*f = -a + 27 + 1, a + 3*f = 18. Solve -2*u = -7*u + 2*q - 5, 3*u = a*q - 3 for u.
-1
Suppose 72 = -24*j + 28*j. Suppose 5*b - 14 = -2*h, -4*h + j = 3*b + 4. Let a = 18 - 1. Solve b*m + 5*n = -2*m + 22, -5*m = n - a for m.
3
Suppose s + 3*s = -o + 3, 2*o - 2*s = 6. Solve 6 = -4*h - 2*m, -3*h + o*m = 2*h + 24 for h.
-3
Let r(i) = -2*i - 21. Let b be r(-12). Suppose -36 + 9 = -3*s. Let j = s - 5. Solve 2*g - 5 = -b*l + 2, -j*l + 10 = 3*g for g.
2
Suppose 132 = -3*k + 14*k. Solve -l + 4*l = -c + 16, 2*l - k = -c for l.
4
Suppose -2*q = -q. Let o be 4/(2 - q)*1. Let l be o/(-13) + (-10)/(-65). Solve -5 = -k + 3*b - l, -3 = 3*b for k.
2
Let u(g) = 4*g - 3. Let c = 65 + -63. Let x be u(c). Solve -4*v = x*q + 6, 0 = 4*v - 5*q - 0*q - 14 for v.
1
Suppose -78*o - 52 = -79*o. Let a = o - 52. Solve -j - 9 = -4*k, -4*k + a*j + 3*j + 11 = 0 for k.
2
Suppose -2*p + 21 = q, 50*q + 3*p - 69 = 46*q. Solve 3*k + 0*k - 9 = -4*t, q = 5*k - 4*t for k.
3
Suppose 5 = 5*b - 10. Let w = b - -2. Solve -o + 9 + 16 = -w*v, -5*v - 4*o - 25 = 0 for v.
-5
Suppose -5*z = -2*y - 21, -2*z - y = y. Let t(w) = w**2 - 5*w**2 + 8 + 3*w**2 - 4*w - 1. Let s be t(-5). Solve 2*j - 2 = 3*n, -s = z*j - j - 2*n for j.
-5
Let m be (-10 - (-50)/5) + 1. Solve 5*g + 17 + m = 2*v, 14 = -5*g + v for g.
-2
Suppose 3*o + 18*q - 16*q - 16 = 0, -14 = -3*o - 4*q. Suppose 0 = 2*r + z - 3, 0*z = r + z. Solve 2*k + 2 = g, r*g + 3*k = -0*g + o for g.
2
Let c be (10/(-8))/(-17 - 402/(-24)). Let z = 5 + -2. Solve -c*i = -10, -4*a - 4*i + z*i = -2 for a.
0
Let f be (-14)/(-4) - (-12)/24. Suppose -5*i - 24 = -2*m, 5*i - 4 = f*m - 32. Solve 4*v = 0, m*c = 2*v - 0*v - 4 for c.
-2
Suppose -3*j = 0, 0*j = -5*n + j + 15. Solve -4*w - 7 = n*d, w = -d - 3 + 1 for d.
-1
Let d(q) = 3*q + 36. Let u be d(-12). Solve o - 2 = 0, u*g + 5*o - 15 = -g for g.
5
Suppose 178 = 2*h - 4*n, 2*h + 4*n = 6*n + 182. Let k = h - 88. Solve 0 = o - 2*a, -a - a = k*o for o.
0
Let v be -1 + 13 + (-4 - 3). Solve 0*t = t - 3*r - 14, 0 = -v*r - 15 for t.
5
Let d be (-4 + 7)*4/6. Let a be (-3 + (d - -1))/1. Solve 2*b = -5*j - 16, a*j = 4*j + 2*b + 14 for j.
-2
Suppose -17*x - 3*f + 31 = -12*x, -1 = -x + 2*f. Solve x*t - 15 = -5*i - 0, -3*i = -t - 13 for t.
-1
Suppose 34*k + 8 = 144. Solve 4*q + 4 - 28 = 4*p, 0 = -q - p + k for q.
5
Let k be (15/(-5))/((-18)/96). Solve -k = 4*r + 2*o, -r + 4 + 1 = 5*o for r.
-5
Let y be (2/4)/(3/120). Suppose -10*h = -15*h + y. Suppose -h*n = -17 - 3. Solve n*o = g, g + 3*g = 3*o + 17 for o.
1
Let d be (-2 - 0)/((-21)/42). Solve -3*h - 2*v = -2*h + d, 4*v - 20 = 5*h for h.
-4
Let r(y) = 0 + 4 - 2*y - 3 + y. Let n(w) = -w**3 + 5*w**2 + 4*w - 3. Let d(i) = -n(i) + 3*r(i). Let s be d(6). Solve 2*q = -s*h - 5*h + 8, -3 = 3*q for h.
2
Suppose 3*q - 60 = -q. Suppose -2*w + q = 3*w. Let k = -39 - -64. Solve -b = -0*d + w*d - 1, 3*b + k = 5*d for b.
-5
Let g = 845 + -842. Solve -g*k + b = -20, -25 = 2*k - 5*k + 2*b for k.
5
Let h(s) = -4*s + 1 - 1 - 8 + 5*s. Let o be h(7). Let m be (3/(-9))/(o/21). Solve -3*l - r = 9, -3*l + m*l + 2*r = -10 for l.
-4
Suppose -5*b + 10 = -0*b. Let p = 19 + -23. Let w be 8/(-32) + (-33)/p. Solve w = -3*x - 3*a - 4, x = -b*a - 6 for x.
-2
Let f be (-3 - -4 - 0)/1. Suppose h - 3 = f. Solve 2*a + h = -2*q, -3*q - 42 = -4*a - 15 for a.
3
Let w = -12 - -8. Let u be -1 + 1 - (-125 + 129). Let b be 0/(w*1/u). Solve -3*j = 3*m - 3, -2*m + b = 5*j + 4 for j.
-2
Suppose -9 = -2*p - 3. Suppose p*o - 60 = -3. Solve -3*x + 8*v - o = 3*v, -5*x - 4*v = -30 for x.
2
Let f be -1*((-4)/1 - -3). Let b = 1 - f. Suppose b = -p + 5. Solve -p*l = -l - 4*m - 8, -8 = -4*l + 2*m for l.
2
Let x(r) = -r**3 + 6*r**2 + 9*r - 15. Let f be x(6). Suppose -2*p + f = -9. Solve v = 5*n + 4*v + 22, -5*n - p = v for n.
-5
Let o be 27 + 0*3*(-2)/(-12). Solve 0 = 2*t + 4*j + 12, 4*t + o - 7 = -4*j for t.
-4
Suppose 5*d - 3*z - 20 = 0, 3*z - 1 = -16. Solve -c - 2*h + 1 = 0, c + 6 - d = h for c.
-3
Suppose w = 5*p + 4*w + 3, -3*p + 5*w = -5. Solve -26 = -4*k - p*k + 2*g, 0 = 5*k + 3*g - 16 for k.
5
Let n be 6/(-8) - 19/(-4). Let t be -4*(n + 65/(-10)). Solve -3*m + 14 = 5*u, -t = -u - 0*m + 3*m for u.
4
Let a = -97 + 142. Let f = 53 - a. Solve 3*b = 2*q - 6, 4*q = b + 4 + f for q.
3
Let c(u) = -u**3 - 2*u**2 + 2*u. Let s be c(-3). Suppose 2*o = s*o - 4. Let m be (-2 - -5) + 8/o. Solve 4*h = -m*v - 3 - 2, -3*h + 5 = 2*v for v.
-5
Let i be (112/280)/((-2)/(-115)). Solve d + i = -5*r, -5*d - 7 = -5*r + 3*r for d.
-3
Let i(h) = -5*h - 23. Let z be i(-7). Suppose 43*q - 40*q = z. Solve w - 6 = q*k - 3*k, -3 = k for w.
3
Let x = 152 + -83. Let k be (-7)/((-84)/80) + (-10)/6. Suppose -x = -k*f - 29. Solve -2*z + 2*i + f = -0, -3*i - 9 = -2*z for z.
3
Suppose -4*s = 5*d + 1, 0*d - 5*d = s + 19. Let h be (s + -4)/(-1*6/(-9)). Solve 0*t = h*t - 5*k - 16, -k = 2 for t.
2
Suppose 0 = a + 4*a - 35. Let h(j) = j**2 - 4*j - 12. Let n be h(a). Solve r + 0*p = 3*p + n, -2*p = 2*r + 14 for r.
-3
Let w be ((-6)/(-2))/3 + 17. Suppose -2*g + 0*g - w = 0. Let f(c) = -c**2 - 9*c + 5. Let s be f(g). Solve -19 = -2*z - 2*z + 5*n, -s*z = 5*n + 10 for z.
1
Suppose 0 = 9*b - 17 - 19. Solve -1 = h + s - 2*s, b*s - 13 = h for h.
3
Let f(k) = 8*k - 53. Let w be f(7). Let g be 0 - w - ((-1 - -1) + -6). Solve 2*r - 5*m - 16 = 0, 4*r + g*m - 6 = -26 for r.
-2
Let d(u) = 3*u**2 + 44*u - 59. Let x be d(-16). Solve 5*q + x*y = 30, q - 2*y + 7*y = 10 for q.
5
Suppose -3*s = -2*y - 37, 0 = -3*s - 4*y - 0*y + 61. Suppose -s = -0*d - 3*d. Solve -2*k - 3 = d*q, 1 = -2*q + 4*k - 5 for q.
-1
Let k(t) = t - 23. Let g be k(20). Let r be (-2 - g/2)*0. Solve 3*x - 3 = 0, -3*y + r*x + 5*x = -1 for y.
2
Let q = -4 - -4. Suppose q = -5*h + 11 + 14. Let x = h + -2. Solve -2*y - 24 = -3*a + y, x*y + 14 = a for a.
5
Let j = 39 - 29. Let h = -4 + j. Solve -u - 2*s - 7 = -2*u, u - s = h for u.
5
Let o be 3/(-4)*(44/33 - 8). Solve c - 2*c = -o*n - 21, -3*c - 22 = 2*n for n.
-5
Suppose 20*v - 4*n + 8 = 24*v, 5*v - 18 = -n. Solve -2*q + 4*p = -12, -v*q + 5*p + 16 = -2*q for q.
-2
Suppose 8 = -l - 5*q, -5*l - 46 = -2*q - 141. Solve 2*o = 7*o + h + l, 3*h = -3*o - 15 for o.
-3
Suppose 2*k + 8 = 3*q - 1, 5 = q. Suppose k*m - 4*m = 0. Let y be (3 + (-12)/8)*2. Solve -f - 17 = 2*o - 6*o, y*f + o - 1 = m for f.
-1
Let h(t) = -t**3 + 3*t**2 - 2*t + 4. Let g be h(3). Let l be 1 - (g - 1)/(-3). Suppose l = -0*k + 4*k. Solve -2*z + 5*m = -5, k*z + 17 = 3*z + 2*m for z.
5
Let u(g) = -4*g + 30. Let r(b) = b**2 + 6*b - 21. Let z be r(-9). Let j be u(z). Solve 0*w - 5*w + 5 = 0, -5*k = -4*w - j for k.
2
Let t(v) = v**3 - 13*v**2 - v - 3. Let b be t(13). Let s = 16 + b. Suppose s*c + 5 = c. Solve -2*l - 2*z - 1 = 3, 4*l - c*z + 35 = 0 for l.
-5
Suppose -48*v + 45*v + 15 = 4*s, 3*s = 0. Solve -2*q - v = 4*r + q, 2*r - 3*q = -25 for r.
-5
Suppose 0 = 69*z + 9*z - 858. Solve -5*x + z = 4*f, -2*x + 7 + 3 = 3*f for x.
-1
Let c = 103 - 102. Suppose 4*b = b + 12. Let q be 116/b*c - 4. Solve 8 = -3*i + 2*i - 2*n, 5*i = -5*n - q for i.
-2
Let i(c) = 2*c - 2*c - 3 - 12 - c. Let y be i(-12). Let o be (2/2)/(y/(-12)). Solve -15 = -2*d - 5*a, 0*d + 5*a + 15 = o*d for d.
5
Suppose -10*h + 35 = -3*h. Solve h*c + 5*y = 10, -4*c + 7*c - 5*y = 30 for c.
5
Suppose -2*r + 32 = -r + 4*x, 32 = r - 5*x. Solve 5*v + 5*f - 33 = 7*f, -4*v = -3*f - r for v.
5
Let h = 5 + -9. Let x(a) = -2*a**2 + 2. Let u be x(-2). Let f = h - u.