/a). Solve 8 = 2*z - 2*x, 3*x - 8 = -3*z + k for z.
5
Let y be 1 + -7 + (17 - 18). Let d be (3 - (-14)/y)*0. Suppose -2*i + 13 = l, i = l + 4*i - 17. Solve -l*a + 30 = 5*k - d*k, 5*k - 3 = 4*a for a.
3
Suppose -2*p = -2*d - 12, -387*d + 390*d = 12. Solve -4*w - p = 3*h - 9, 12 = -4*h for w.
2
Suppose 100*g - 133*g = -297. Solve 3*q = -p + 6, -2*q + 6 + g = -3*p for q.
3
Suppose 5*m - 166 = 2*t - 154, 3*t + 4 = 4*m. Solve 0 = -2*s + 2*g + t, 5*s - 26 = g - 4 for s.
5
Let c = -8211 + 8211. Solve -v - u + 2 = 0, c = 2*v - 15*u + 13*u - 8 for v.
3
Let a be 1/2*(-14)/3*-15. Suppose 5*w - 20 - 35 = 4*v, -w - 4*v + a = 0. Solve -3*g + 2*g - 9 = -2*c, 0 = -g - 4*c + w for g.
-1
Suppose 4*b + 210 = 3*f, 0 = 2*f + b - 203 + 52. Suppose 12*q = 10*q - f. Let x = q - -37. Solve 2*k - 8 = -m, -5*m + 14 = -x*k - 3*k for m.
4
Suppose 26 = 3*o - 5*a, -4*o + 31 = -10*a + 7*a. Solve -w + 2*n - 8 = 0, 3*w + n - o = -17 for w.
-4
Let p be (-2)/(((-826)/168)/59). Solve 2*r - 8 = 0, r - 3 = -5*z - p for z.
-5
Suppose -p = -3*p + 2*t + 4, -5*t = 3*p - 22. Let d be p + 2 + (-12 - -8). Solve -2*s + 6 = j + j, -d*s + 4*j = -18 for s.
5
Let n = 117 - 114. Let s be 6/(-15) + n + 47/5. Suppose 4*b = -2*b + s. Solve 25 = 2*f + 3*l, -5*l + 50 = -b*f + 7*f for f.
5
Let t(j) = 2*j + 6. Let o be t(-3). Let q(m) = -m**3 + 7*m**2 - 8*m - 1. Let h be q(5). Solve 0 = -3*k + 6*k - h, -4*f - 5*k + 35 = o for f.
5
Let w be (72/(-210) - (-48)/40)*(-14)/(-3). Let f be 0 + (-6)/(-3) + 1. Solve 0 = w*n + t + 11, -t + 2*t - 3 = f*n for n.
-2
Suppose -252*f = -245*f - 91. Let w(m) = m**2 - 19*m + 86. Let b be w(f). Solve -4*x = -5*s - b, 2*x - 4*s + 3*s = 4 for x.
2
Let p(o) = -o**3 - 8*o**2 + 12*o + 1. Let q(n) = 2*n**3 + 8*n**2 - 12*n. Let w(m) = 3*p(m) + 2*q(m). Let s be w(6). Solve u = r + s, 3*r + 13 + 0 = -u for r.
-4
Let l(s) = 91*s - 1795. Let p be l(20). Let i = -15 - -11. Let f be 4 + i + 1 + 9. Solve 5*n + 2*w - p = -w, -f = -2*n + 5*w for n.
5
Let g(r) = r - 8. Let m be (1*25)/((-20)/(-8)). Let v be g(m). Solve -2*x = -2*j - 4, 3*j + 1 = -v for x.
1
Let a be -5 - -1 - (-8)/1. Suppose -d + 3*d + a = 0. Let x be 5 + -1 - (-3 - d). Solve c = -2*n - c - 14, -x*n = -2*c for n.
-2
Let n = -8923 - -8928. Solve -4*h - n - 5 = 2*r, 4*r = -5*h - 5 for h.
-5
Let p be 497 - ((-9 - -6) + 0). Suppose 7*a - 27*a = -p. Solve -2*r = -5*r + 3*c + 30, r = 4*c + a for r.
5
Let y = 13201 + -13179. Solve 4*t + y*v = 25*v + 11, 2*t + v = 3 for t.
2
Suppose 42 = 42*j - 84. Solve 5*g = j*m - 27, 4*g = m - 4*m for g.
-3
Let l be (48/(-8))/48*-32. Solve -12 = 5*y - h - 2, 16 = l*y + 4*h for y.
-1
Let t(j) = 292*j + 3212. Let m be t(-11). Solve -2*n + 4*a = m, 170*a = 4*n + 173*a for n.
0
Suppose 0 = -1114*r + 1100*r + 56. Solve -r = -2*n, -26*n + 2 = -2*f - 23*n for f.
2
Let y(u) = u**2 + 73*u + 344. Let i be y(-5). Solve i*l = 4*v - v + 3, 0 = v - l for v.
3
Let r be (3/(-5))/(10 + ((-31059)/(-180))/(-17)). Solve -2*t + o = -10, r*o + 9 + 1 = -2*t for t.
3
Suppose 4*g - 6 = -4*m + 6, -m + 3*g = 1. Suppose -m*w + 3*c - 5*c + 14 = 0, c = 3*w - 5. Solve -3*f + 9 = 0, k - w*k = 5*f - 23 for k.
4
Suppose 4*v + 236 = 4*h - 0*h, -174 = 3*v - 2*h. Let m = v - -79. Suppose 11*p = m + 21. Solve 0 = 3*a + a - p*l + 16, -l = 4*a + 1 for a.
-1
Let c be (3/((-9)/2))/((-8)/12). Suppose 1 = n - c. Solve 0 = 2*g + n*v + 4, -5*g - v - 2 - 4 = 0 for g.
-1
Let j(o) = -o + 2. Let u be j(-16). Suppose -26*l + 32 = -u*l. Suppose -i = -3*c - 32 + 8, -4*i - 2*c = -54. Solve 5*m = 0, -5*p - m + l*m = i for p.
-3
Let t = 46186 + -46181. Let l(i) = 2*i. Let q be l(1). Solve 3*j = t*z - 20, -4*j - 25 = -3*z - q*z for z.
1
Let p(t) = 2*t + 36. Let m be p(-3). Suppose -9*g + 11*g = m. Let v = 26 - 22. Solve 4*x - 8 = 0, 5*h - v*x + 9*x - g = 0 for h.
1
Let m(l) = -l**3 + l**2 + 5*l + 2. Let x be m(-3). Suppose 7*q - 12 = x. Solve -f - 18 = -4*c, -f = -3*f + q*c - 24 for f.
-2
Suppose 0 = 133*z - 123*z - 340. Solve 3*p = g + 4*g - z, -p - 8 = -g for p.
-3
Let p be (-867)/2*(-48)/252*7. Let h = 592 - p. Solve h = -4*a - 2*l, -2*l - 13 = -a + 4*a for a.
-1
Suppose 11*a - 6 = 9*a, 6 = v - 2*a. Let l be 255/v - ((-21)/(-12))/7. Solve -4*z = -4*c - 24, -2*z = z - 4*c - l for z.
3
Let t(c) = -7*c**2 - c - 26. Let k(r) = -r**2 - 3*r. Let n(m) = -6*k(m) + t(m). Let g be n(15). Solve -g*z - 5*o = 3, -4*o - 6 = -4*z - 6*o for z.
3
Let v be (2/(-2) + 2)/((-5)/(-90)). Solve a + 22 = -5*t, 0 = 2*a + 5*t - v + 42 for a.
-2
Suppose 10 = 4*a + 3*u - 10, -5*u - 15 = -3*a. Solve -a*p + 7*v - 6*v = -11, -v + 7 = p for p.
3
Suppose -20*p - 5 = 55. Let y be (9/p - -18)*(-38)/(-95). Solve w - y = -t, 3*w - 5*t - 15 = -w for w.
5
Suppose 12 + 100 = 56*f. Solve 5*o + 17 = 4*o - 5*i, -f*i = -4*o + 20 for o.
3
Suppose 2*m = 2*u - 2, 0 = -2*u + 15*m - 12*m - 1. Solve -a - 6 = u*n, -3*a + 9 = -3*n - 3 for a.
2
Suppose -2*o = 8, -5*i + 24 - 21 = 3*o. Let c = 8 + -4. Suppose c = n - 2. Solve i*j - n*a + 18 = -3*a, -2*j + 4*a = 18 for j.
-3
Let q = 16990 + -16861. Solve 4*u = -4*i, 4*i - 5*u - 84 = -q for i.
-5
Suppose -50*m = -580 - 99 + 29. Solve -3*k - 33*x = -32*x + m, 4*k - 2*x + 24 = 0 for k.
-5
Let n(r) = r**3 + r**2 + r - 4. Let q = 46 + -46. Let s be n(q). Let t be 0*(6 + -2)/s. Solve t = 3*m - 5*b + 4, 0 = 2*m + 3*b - 7*b + 2 for m.
-3
Suppose 0 = 2*c - 367 + 363. Suppose 0 = -3*n + n - 5*k + 14, 4*k + c = 5*n. Solve 3*z = 5*m - 9, 9 = 3*z + 3*m - n*m for z.
2
Suppose -2019*f + 2022*f - 105 = 0. Solve 5*p = 2*i + f, 29*i = p + 25*i - 25 for p.
5
Let b(s) be the second derivative of -s**4/12 - 3*s**3 - 39*s**2 - 2*s - 59. Let r be b(-10). Solve -r*p - p + 3 = 0, -n + p + 3 = 0 for n.
4
Let a be ((-27)/12)/3 - 225/(-60). Solve 5*s + a*z = 7, z - 2*z = -4*s + 9 for s.
2
Let d = 85 + -81. Let j = 1000 - 988. Suppose -3*u + 4 = 1. Solve 4*b + j + d = 5*g, 0 = 5*b - g - u for b.
1
Let j(w) = w + 210 + 208 - 390 + 2*w. Let g be j(-5). Solve 4*t + 36 - g = 3*q, 0 = -t - 2 for q.
5
Let l = -290 + 310. Suppose 11*q = -l + 75. Solve 0 = -3*j + q*b + 22, -3*b - 6 = -j - 2*b for j.
4
Let q = 58 + -58. Suppose w - 4 + 4 = q. Suppose w = -0*f - 4*f. Solve -3*i = -2*y - 2*y - 5, f = -3*y + 4*i - 2 for y.
-2
Suppose 2*r = 7*d - 2*d - 3, 2*r = 2*d + 6. Solve x + 3*a - 16 = 0, -3*x = d*a - 33 + 15 for x.
1
Let n(m) = -m**3 - 9*m**2 - 12*m + 31. Let s be n(-13). Let t = s + -861. Solve r - 3*u = -9, -r - u = -t - 5 for r.
3
Let g(l) = 16*l**2 - 12*l + 7. Suppose 4*m = 6*x - 5*x + 9, x = 3. Let v be g(m). Let i = v - 110. Solve i*s - 2*c = 1, 0*c + 2 = -5*s + c for s.
-1
Suppose -6*o - 74 = -8*o + 4*y, 4*o - 96 = -5*y. Suppose 0 = -12*w + 19 + o. Solve a + 2*a - w*q - 13 = 0, 4*a = 3*q + 15 for a.
3
Let k be (-61)/305 + (-1)/(10/48). Let s be (-5)/(k - 9/(-2)). Solve -s = -2*i + 5*l, 3*l = -3*i + 2*l - 19 for i.
-5
Let d(v) = 7*v + 1. Let m be d(2). Let u = 17 - m. Suppose -u*f + 5 = -f. Solve -25 = 3*g + g - f*t, -2*t = 5*g + 23 for g.
-5
Suppose -2*k = -2*q - 5 - 1, 0 = -3*q + k - 9. Let b be q*(-10)/(-12)*-2. Let n be (-8)/(-26) + (-529)/(-13). Solve c + 3*m = 7, b*c - 5*m + n = -m for c.
-5
Suppose 71*t - 235 = -93. Solve t*b + 33 = -5*s, -5*b + s - 9 = 6 for b.
-4
Let v(j) = j**3 + 3*j**2 - 66*j - 4. Let m be v(7). Solve -3 = -3*z - 3*q - m, 0 = -5*z + 2*q - 7 for z.
-3
Let p = -140 - -90. Let y = p + 62. Suppose -2*l = 2*f - y, 0 = -2*l - f + 1 + 7. Solve 5*q = -2*n + 8, l*q - q - 4 = -n for n.
4
Suppose d - a = -0*a + 4, -8 = -4*d - 4*a. Suppose 3*i = 3*c - 37 - 11, d*i = -5*c + 120. Solve -3*m = -4*b - 4*m - c, b - 16 = 4*m for b.
-4
Suppose -4*c = -7*c. Let m(g) = 23*g + 141. Let p be m(-6). Suppose -q = p*q - o - 3, -4*o - 12 = c. Solve q = 4*y + 5*w - 3*w, 0 = -5*w - 20 for y.
2
Suppose 38 = 4*i - 38. Suppose 2*f = 4*a + 4*f + 4, a - f = -7. Let k be (0/(-2))/(a/12*-8). Solve -d - 2*b - 1 + 0 = k, 3*d - 2*b = -i for d.
-5
Let d(m) = -m**2 - 103*m + 659. Let f be d(6). Solve 2*u = f*j - 6*j, 5*u - 11 = 3*j for u.
1
Suppose -f + 2*f = 6. Suppose 0 = -o + 9 - 12. Let x(y) = 4*y + 19. Let t be x(o). Solve -2*b - 3*j = -t - f, -1 = -b + 4*j for b.
5
Let q be ((-3)/(-2))/(2/4). Let z(s) = -s**3 + 5*s**2 - 8*s + 10. Let r be z(3). Let k be ((-12)/r)/((-27)/36). Solve -o - 12 - 3 = k*u, -q*o = -3 for u.
-4
Let w be -1634 + 1653 + (-13 - (-2 - -2)). Suppose 8 = 2*n + 2*