z for w.
2
Let q(v) = v**2 + 27*v + 113. Let h be q(-5). Solve -h*j + 13 = -2*k, k + 2*j = 4*j - 9 for k.
1
Let c be (-11)/(-11) + (0 - -2) + 1. Suppose -5*x = -c*x + 49. Let d = 52 + x. Solve d*a - 17 = 2*a - 4*b, 0 = 3*a + b - 18 for a.
5
Suppose 5*y + 209 = 5*v + 69, -100 = -4*v + y. Let k(w) = 10*w**2 + 150*w + 4. Let q be k(-15). Solve 5*a - 3*i - 23 = -i, q*a = 3*i + v for a.
3
Let c(p) = -2*p - 1. Let a be c(-3). Suppose -a*u - 8 = w, -2*u = 6 - 2. Solve 1 = -3*h - q - 5, 0 = w*q - 6 for h.
-3
Suppose -z + 29 = 4*d, 2*d + 5*z - 49 = -2*d. Suppose 7*w = d*w - 4. Let a be 8*(3/4 + (-7)/w). Solve a = -2*f - 2*f - 4*j, -2*j = 5*f + 16 for f.
-2
Let d(j) = j**3 - j**2 + 10*j - 15. Let t be d(2). Suppose -6*z + 3 + t = 0. Solve 2*p - 5*h - 2 = -3, z*h = -4*p - 14 for p.
-3
Let k be 574/820 + (-6)/(-20) + (-2 - -5). Solve -2*i - k*u + 26 = -4, -3*i + 3*u = 0 for i.
5
Suppose 4*a - 41 = v, -5*a + 8 = -5*v - 47. Let b(j) = -8 - 10*j - 3*j + 1 + a*j. Let o be b(-3). Solve i + o + 5 = 2*p, 3 = -i for p.
2
Let a = -219 + 221. Suppose 0 = -a*m - 10 + 18. Solve 0 = -o + x + 3, x = 4*o + m*x + 23 for o.
-2
Suppose -4*k - 2*s = -220, 67 = -6*k - 4*s + 401. Solve 51*u = -y + k*u - 9, 3*y + 2*u + 3 = 0 for y.
-3
Suppose 10*w + 5*a - 471 = 9*w, 3*w + a - 1371 = 0. Let g = 461 - w. Solve 3*s + 4 = 5*d - 16, -2*d = -g*s - 27 for d.
1
Suppose -5*a = -7*a. Let v be (-228)/(-19) + 20/4. Suppose -4*s - 4 = a, 4*n - v = n + 2*s. Solve j + j - 26 = 4*c, -c + 10 = n*j for c.
-5
Let f(h) = -h**2 - 20*h - 101. Let l be f(-10). Let s be (0 - 9)/9 - (-2 + l). Solve -1 = q + 2*x, -s = q + x - 0 for q.
-3
Suppose 2 = a - 2. Suppose p + 7 = -3*p - 3*u, 4*u + 12 = -4*p. Let y be 5/5*((-12320)/(-2400) - (-2)/(-15)). Solve y*g - p = -i, -2*g + 11 = -a*i - 3*g for i.
-3
Let h = 2 + 3. Suppose 3*l + 3 = -9. Let a be l + (10 + -3)*2. Solve h*g = 4*x + 9, 4*x - 4*g - 2 + a = 0 for x.
-1
Let l(r) = -r**3 + 4*r**2 + 6. Suppose -4*p = 3*y - 31, 0 = p + 3*y - 4 - 15. Let d be l(p). Solve n = -2*g + 7, d*n - 17 = n - 4*g for n.
1
Let j(h) = h**2 + 22*h - 57. Let s be j(-25). Solve d + 5*q + 27 = 0, q = -2*q - s for d.
3
Let v(m) = -3*m**2 - 8*m + 2. Let h be v(0). Solve 3*i - 10 = -4*y - 45, -4*i = h*y + 30 for i.
-5
Let o(w) = 5*w**2 + 126*w - 383. Let p be o(-30). Solve t + 349 - p = -3*c, -5*t = 2*c + 21 for c.
-3
Let x = -261 - -264. Let s be 6*(-1)/x*-2. Solve -s*n - 5*j - 8 = -2*j, -4*n - 4*j = 12 for n.
1
Let h(q) = 2*q**3 - 16*q**2 - 16*q - 15. Let p be h(9). Suppose 7*v = -t + p*v + 24, -t - v + 9 = 0. Solve -t*k - 16 = -4*l, -2*l = -4*k - 5*l - 23 for k.
-5
Let z be ((-1)/3)/((-3)/36). Let o be z*((-9)/3)/(-6). Let v be (-11)/(-1 + -2 + o). Solve 0 = 3*s - 9, 0 = p + 2*s - 6*s + v for p.
1
Let m be (-100)/70*(21/2)/(-3). Solve -l - 6 = l - 4*j, -m*j = 5*l for l.
-1
Suppose -15 + 3 = -3*r - m, 2*r - 12 = -2*m. Suppose 0 = 3*b - b - 3*x - 31, 3*x = -r*b + 54. Solve 0 = -c - 2*i + 5, -5*c - 28 = -4*i + b for c.
-5
Let a = 3920 - 3825. Let h be (-6)/(-9) + 514/(-6). Let t = h + a. Solve t = -5*u, 0 = z - u - 3*u - 4 for z.
-4
Let v(o) be the third derivative of -o**6/120 - o**5/3 - o**4/24 - 8*o**3/3 - 57*o**2. Let s be v(-20). Solve 0 = -3*f - 3*t + s + 5, -2*t = 0 for f.
3
Suppose g = 4*u - 3*g + 52, -7 = -u - 3*g. Let l be u/168*6 + (-177)/(-7). Solve -m = -k + 5*k - 15, 5*k - l = 5*m for m.
-1
Let n = 330 + -210. Suppose n + 114 = 9*j. Solve -4*k + j = -5*t, -9 = -4*k - t + 5 for k.
4
Let c be 6/3*(31 - 29). Solve 5*q = -c*a + 1, 7*q - 2*q = -5*a for a.
-1
Let i be -1*(1/(-1))/1. Let t(g) = 11*g - 5. Let w be t(1). Let h be 0 - w/(-6) - (-40)/4. Solve -4*q = -m - h, q = -0*q + m - i for q.
4
Let d be ((-447)/(-3))/(3 + -3 + -1). Let g = 151 + d. Solve -6 = -g*q - 3*n, -15 = -5*q - 0*q - n for q.
3
Suppose -4*p = 4*m + 12, 3*p + 2444 - 2429 = -5*m. Solve p = 416*i - 418*i - u, i - u = 0 for i.
0
Suppose 3*a = 5*q - 8*q, 3*q + 2 = -2*a. Let f = 8 + -5. Suppose -1511 = 54*g - 2375. Solve 5*i + 8 = f*t, -a*i = -0*t + 2*t + g for t.
-4
Let r be 1/(-3) - (-76)/3. Let q = -214 + 224. Let p be (-2)/(q/(-5)) - -4. Solve r = -5*y - 3*j, -y - 4*j = -2*j + p for y.
-5
Let t(z) = 9*z**2 + 13*z - 13. Let v be t(1). Suppose v*b - 10*b = -2*a - 9, 4*b - 22 = a. Solve -10 = 5*y - b*d + 25, -d - 2 = 2*y for y.
-3
Let j(f) = -2*f**3 - 26*f**2 + f + 18. Let n be j(-13). Suppose 52 = -n*a + 122. Suppose 4*q - 6*q + 8 = 0. Solve q*t + 0*t + a = m, m = -t - 1 for m.
2
Let g(c) = -9*c + 140. Let m be g(16). Let b be (-6)/(-6) + -2 + (-1 - m). Solve 0 = 4*q - 4, b*u + 2*q - 2 = 4*u for u.
0
Suppose 9*f - 437 = -167. Suppose 7*z - f = z. Solve 2*h - 4*h - a = 3, -z*h = 4*a for h.
-4
Let p be ((-11)/(-22))/(3/(-48)). Let v(d) = d**2 + 10*d + 19. Let y be v(p). Solve 0 = -u - y*j - 17, -2*u + 1 - 15 = 2*j for u.
-2
Let s be 2600/6 - (-2)/3. Let q = s + -430. Solve 3*t - 15 = 0, 4*v = -v + q*t - 35 for v.
-3
Suppose 77 = 5*o + 37. Suppose -3*t - 2*p + o = 0, -3*t + 46 = -5*p + 3. Solve -5*k - 2*a = 2, k + 0*k - a = -t for k.
-2
Suppose h + 4*h = -135. Let u be (-12)/(-24) + h/(-2). Let w be 3/(63/u) - (-14)/6. Solve 4*j - a + 9 = 0, -2*j + 5*a = w*a + 12 for j.
-1
Suppose 96*m - 42*m - 108 = 0. Solve m = l - y, -20*l + 18*l = -4*y - 8 for l.
0
Suppose 16*x - 7*x - 252 = -54*x. Solve -10 = -5*u, -4*u + 2*u - x = -2*f for f.
4
Let y(l) = -l**2 + 19*l + 7. Let h be y(21). Let n be 1/((h/49)/(-5)). Solve 4*z - 6*b - 10 = -4*b, 0 = 3*z - b - n for z.
2
Suppose 0 = -3*b + 3, -5*b = x - 5 - 3. Let k be (-369)/123*(1 - 2). Solve k*o - 3*n - 13 = 2*n, -3 = -3*o + x*n for o.
-4
Suppose r = -0*r. Suppose p = 2*w + 19, 5*w = 10*w - 2*p + 45. Let l be w + (-3)/(-3) + 8. Solve b - 3*j - 2*j + 12 = 0, -l*b + 2*j = r for b.
3
Let g(w) = -w + 13. Let b be 8 - 13 - (-1 + -12). Let v be g(b). Solve 4*o + 41 = -v*n, 4 = -n - 1 for o.
-4
Suppose -9*s + 6*s = -36. Let h be (-2)/(-5)*30/s. Let u be (0*2/8)/h. Solve 5*o - 2*l - 19 = u, o = -2*l - l - 3 for o.
3
Let q = 3353 + -3351. Solve v + q*w = 6*v - 31, w = -2*v + 7 for v.
5
Let t = 401 - 395. Suppose -19*x + 195 = -t*x. Solve -5*y = x, 2*d - 12 = -d + 2*y for d.
2
Let f = -5163 - -5167. Solve -3*j + f = -7*j, 0 = 4*t + 2*j + 10 for t.
-2
Let u(i) = -i + 10. Let x(n) = 5*n - 50. Let m(v) = 11*u(v) + 2*x(v). Let o be m(6). Let c = -11 - -16. Solve -c*t + a = -a - 2, -o*a = 4*t - 24 for t.
2
Let k(f) = 2*f**2 + 30*f + 5. Suppose -26 = 2*q - r, 4*q + 27 = 3*q - 3*r. Let l be k(q). Solve l*z + 31 = 2*o, -3*z + 3*o - 19 = -z for z.
-5
Let p = -120 - -121. Let a be 0*(5/20)/(p/2). Solve -2*j - b - 4*b + 7 = a, 0 = 4*j - 4*b for j.
1
Let n be (79326/1130)/((-2)/(-10)). Solve i - 1 = -z, 347*z - n*z - 1 = 3*i for z.
-4
Let d = 4734 + -4723. Solve -2*p = -2*z - 7 + d, z + 18 = -3*p for z.
-3
Let o be 8/12 - 3/(-9). Let k be (-1 + 3 + -2)*o. Suppose -32 = -1595*q + 1593*q. Solve -4 + q = z + 5*i, k = -i + 3 for z.
-3
Suppose -2*i + 3*y = 22, 1 = 3*i + 3*y + 4. Let l = i - -7. Suppose 3*x + 2*t - 10 = t, -l*t = -4*x. Solve 3*k - x*g = 9, -3*k - 3*g = -3 - 6 for k.
3
Let w(l) = l**2 - 10*l + 14. Let o be w(9). Suppose 0 = 4*s + o - 9. Let k be 4/(-6) - (-85)/15. Solve s = 4*m - 4*b + k, 5*b - 23 = -4*m for m.
2
Suppose -4*r = 16 + 64. Let x = -18 - r. Suppose x*v = -0*g + 2*g + 16, -12 = -v - 3*g. Solve 3*m + v = -0, 5*b = -m - 3 for b.
0
Let f be -2 + 4 + (1 - -2). Suppose 0 = -2*h - 9*k + 31, -3*h + 3*k = 44 - 74. Solve -4 = -4*q - 4*d, q - h*d + 6*d = -f for q.
0
Let p = 2646 - 2643. Solve -2*w + p*c = -w + 10, w - 4*c + 12 = 0 for w.
-4
Let h(o) = -983*o - 4912. Let a be h(-5). Solve -a*b + 5*d - 18 + 22 = 0, 4*d = 4*b for b.
-2
Suppose 1135 + 1 = 142*s. Solve -2*w - 43*a - 11 = -42*a, w - 4*a = s for w.
-4
Suppose -4*b - 30 = 5*s, 5*s + 0*b + b = -30. Let d = 294 - 291. Let x be (-10)/d*(-6)/(-5)*s. Solve -3*c - 15 = 3*j, 0*c + x = -5*c - 4*j for c.
-4
Let o = -16689 + 16692. Solve b - o*q + 4 = 5, 4*q + 23 = -3*b for b.
-5
Let b = -249 - -254. Suppose 2*f + 2*v = b*v + 57, -v - 110 = -5*f. Solve -n + 4*c = -f, 0*n - 21 = 4*n + 5*c for n.
1
Suppose -b - 13 = 5*g, -g - 15 = -5*b - 2. Let x be (-5 - (0 - g))/(-2). Solve x*h = -5*v + 2*v + 7, v - 3*h = 11 for v.
5
Suppose 33*d - 35*d - 5*h = 32, 2*d + 2*h + 8 = 0. Solve -s - 22*a + 18*a + 5 = 0, 0 = d*s + a - 20 for s.
5
Let