a(v) = -v**3 + 22*v**2 - 22*v + 35. Let r be a(21). Suppose r*w = -0*w - 1330. Let d = 97 + w. Solve 2*k - 4 = -0*k + m, d*k = -4*m + 4 for k.
2
Let s = 153 - 160. Let i be (-8)/s*(10 - (-78)/(-12)). Solve 0 = i*y - 4*n - 0 + 8, -8 = 4*y - 2*n for y.
-2
Suppose 32*d - 6*d = -8086. Let i = 314 + d. Solve f + w - 3 = 0, -i = -2*f + 2*w - 5 for f.
1
Let g(o) = o - 16. Let z be g(13). Let u be 2 + z + -1 + 10. Suppose 3*q + 5*k - u = -q, 3*q - 3*k - 6 = 0. Solve 5*d - d = 3*x - 17, 11 = -q*d - x for d.
-5
Suppose -72*t + 65*t = -14. Let w be (((-16)/6)/(3/(-27)))/t. Solve -3*k - w = 3*s, 22 = -4*k - 0*s + 2*s for k.
-5
Let t = 9 - 4. Suppose -2*l = -b + 17, b + 81 = 5*b + t*l. Let j = b - 13. Solve -w + 11 + j = -4*k, -3*k - 5*w - 7 = 0 for k.
-4
Suppose 5*m = -417 - 53. Let x = 102 + m. Solve -c + 2*c = 2*n + 8, x = -2*c - 2*n for c.
0
Let a = 5743 + -5711. Solve -3 = i, 24*u - 4*i = 20*u + a for u.
5
Suppose -365*v + 576 = 115*v - 1344. Solve -q - 5*h = -10, 4 = v*q + 41*h - 39*h for q.
0
Suppose 180*b + 260 = 185*b. Suppose -b = -9*o + 5*o. Solve n - o = 6*c - c, n = -3*c - 3 for n.
3
Let q = -4590 - -4595. Solve 13 = q*l - p, -3*p = -4*l - 5*p + 2 for l.
2
Let z = 6329 + -6295. Solve -b + 5*w + 8 = z, -38 = 5*b - 2*w for b.
-6
Let w be (10/(-4))/((-549)/(-54) - 11). Solve 5*n + 22 = z, -2*z + 4*n = -w - 11 for z.
-3
Let w = -891 + 912. Solve 4*t = 10*k - 5*k + w, 4*k + 20 = 4*t for k.
-1
Let o = 1584 + -1111. Let f = o - 453. Solve 8*h = 3*h - f, 2*z + h = -12 for z.
-4
Let u(y) = -y**3 + 4*y**2 + 4. Let o be u(4). Let j be 27/5 + ((-8)/5)/o. Suppose j*m - 14 = -0*n - 2*n, 0 = -3*m + 6. Solve -4*t = d, n*d = -2*t - 0*d for t.
0
Let i be (-741)/(-13) - (-6 - -2). Let s = i - 56. Suppose -23 = -s*z + 2*y - y, 12 = 4*z - 4*y. Solve -3*o + 3*d + 15 = 0, -z*d + 2 + 5 = 3*o for o.
4
Let n(a) be the first derivative of -a**3 + 33*a**2/2 - 10*a + 9. Let j be n(10). Solve 0 = -4*o + j, 0 = -4*t + 4*o - 7 - 25 for t.
-3
Suppose 4*f - 10*m = -8*m + 14, -2*m + 10 = 2*f. Solve 0*i + 12 = f*i + 4*h, -5*i = -4*h - 6 for i.
2
Let c be 252/(-231)*-11 - (-18)/(-2). Solve 0*x - c*x = -6, -5*k + 5 = 5*x for k.
-1
Let z(j) = 1 + 8 + 15 + 19*j + j**3 + 19*j**2 - 2. Let s be z(-18). Solve 6*v = -s*x + v - 29, 5*x = 4*v + 15 for x.
-1
Suppose 5*y = -545 - 70. Let d = y + 128. Solve d*f - 19 = -3*g, 4*g - 15 = -5*f - g for f.
5
Let t = 372 + -163. Suppose -179 = 5*l - t. Solve 31 = -2*h - 5*b, l*h + 29 = 3*h - 4*b for h.
-3
Suppose 0 = -661*q + 648*q + 468. Solve 5*h = -4*r + q, 0*h - r = 2*h - 12 for h.
4
Let k = 3338 + -3334. Let q(l) = 5*l**2 + 3*l - 3. Let x be q(2). Solve -3*y - k*v - 18 = -v, 5*y - 2*v = -x for y.
-5
Let y be ((-3)/4)/(6/4) - (-532)/152. Solve y*j - v = -6, -4*j + 6 - 24 = 2*v for j.
-3
Suppose 70 = 18*q + 14 + 2. Solve k = -14*s + 17*s + 5, -3 = 3*k - q*s for k.
-4
Let a(d) = -d**3 + 5*d**2 - 3*d - 1. Let h be a(4). Let w(n) = -2*n**3 + 70*n**2 + 138*n + 68. Let u be w(-1). Solve -4*r = -h*x, -u*x + 5*r + 11 = -x for x.
-4
Suppose -3*w - 7*w + 90 = 0. Let j(l) = l**3 - 3*l**2 + 4*l - 2. Let d be j(2). Solve 2*r - d*v = 12, -4*r - 4*v + w*v = -29 for r.
1
Suppose 0 = -4*p + 5*p + 5*l + 16, l - 210 = 5*p. Let h = p - -48. Solve -g + 2*t - h = 0, 2*t - 9 = 5*g + 10 for g.
-3
Suppose -21*l - 7 = -70. Suppose l = 3*b + 2*i, 8*i - 3 = -3*b + 10*i. Suppose u = 4*q - 118, -q = -2*u + u - 31. Solve q = -5*g - k, 0 = g + k + 10 - b for g.
-5
Suppose -30*c + 2*z = -25*c + 6, 3*z = 4*c + 16. Solve -5*k + 7*k + 6 = -4*p, 0 = -c*p + 3*k - 23 for p.
-4
Let v = 74 + -66. Suppose -5*a - 25 = 0, 0 = 3*c - 2*a + v - 36. Solve -x - 3*n = 6, -x - 3*n + c = 4*x for x.
3
Suppose -13 = -5*d + 2, 5*c - 3*d = 6. Solve 35*r + 3*v = 33*r - 14, -3*v + 6 = -c*r for r.
-4
Let v = 732 - 729. Solve -3*o + g = -5, 2*o + g - v + 8 = 0 for o.
0
Suppose 14*v = 56 + 140. Solve 30 = -5*b, -3*k - 7 - v = b for k.
-5
Let u = 102 + -100. Suppose -u*q - 54 = -11*q. Suppose d = 2*a + q, 3*a + 2*a + 9 = d. Solve d*t - 5*z + 32 = 0, -2*t + 3*t = -3*z + 9 for t.
-3
Let m = -36 - -48. Suppose 5*q - 2*q + m = 0. Let j be (-1)/q + (-111)/(-4). Solve 5*p = 2*g + 28, 4*p - j = 3*g - 0*g for g.
-4
Suppose -25*v + 884 = 9*v. Suppose 17*z + 9 = v*z. Suppose -2*k + 0*m + 6 = -4*m, 5*m + 3 = k. Solve -4*x = k*h + 15, -5*h - 24 = -5*x + z for x.
0
Suppose -20 = -5*o + 10*o + z, 3*o + 12 = 2*z. Let t(b) = -14*b**2 - 56*b + 4. Let j be t(o). Solve 0*h = j*l + h - 18, 12 = 4*l - 2*h for l.
4
Suppose o + 132 = 13*o. Suppose -o*i + 18 = -5*i. Solve -5*g - 15 = 5*x, -5*g + 15 = -i*x - 2*g for x.
-4
Suppose 2*a + 6*o = 3*a + 45, -100 = 5*a - 5*o. Let p(x) = -x**2 - 16*x - 11. Let r be p(a). Solve -r*z + 9 = -d - 3, 3*z + 3*d + 6 = 0 for z.
2
Suppose 5*w + 41 = 65*w - 79. Solve 28 = 5*f - 4*z, 4*f - 2*f + 3*z = w for f.
4
Let h(j) = j**2 + 5*j + 7. Let w be h(-5). Let a(d) = d**2 + 1. Let i = 0 + 1. Let l be a(i). Solve 4*f + w + 8 = 3*r, -3*r = -l*f - 9 for r.
1
Suppose 2 = -g - 16*q + 17*q, 88 = 22*q. Solve -4*h - 4*b = -2 - 26, 8 = g*h + b for h.
1
Suppose -3*o = j - 10, 3*o - 49*j - 11 = -51*j. Let q be (o - -1)/1*(-18)/(-72). Solve -4*r + 15 = 3*w, -5*w + q + 1 = -r for w.
1
Let n = 256 + -260. Let q be (-7)/(34/n + 5). Solve -4*j + 24 = -4*g, 0 = 4*j - 2*j - q for g.
-5
Suppose -4*x - 2*r + 16 = 0, 2*x - 3*r = x + 4. Solve 0 = 5*m + 2*c + 13, x*c - 25 = 3*m - 38 for m.
-1
Suppose 338 = -5*m + 20*f - 16*f, -3*f + 271 = -4*m. Let i be 128/(-704) + m/(-22). Solve -2*g = i*c + 3*g + 18, g = 4*c + 1 for c.
-1
Let z(n) = 8*n - 116. Let a be z(15). Suppose 0*f - 17 = -3*q + f, -a = -2*q - 3*f. Solve -t - s = -5, -2*s = -3 - q for t.
1
Let o = -6722 - -6725. Solve -k = w + 13 - 12, -o*k + w + 13 = 0 for k.
3
Let t = -23517 - -23529. Solve 4*n + t = -4*m, -3*m + 4*n - 13 = -11 for m.
-2
Suppose -52 = -14*b - 10. Suppose 5*f - 18 = -0*f + b*d, 4*d - 2 = -2*f. Suppose -2*u + 25 = 3*u. Solve -3*x - 2*x - 5*o + u = 0, 4*o - 6 = -f*x for x.
-2
Let r(g) = -6*g + 16. Let l be r(12). Let p = l - -48. Let i be ((-1)/2)/(1/p). Solve 5*u + 5*a = -10, -4*a + 0 + i = 0 for u.
-3
Let r = -93 + 4. Let m = r - -94. Solve 2*x = h, m*h - x - 18 = -0*h for h.
4
Suppose 4*m - r + 5 = 0, 2*r = -14 + 24. Solve -4*t + 2*n + 4 = 0, 3*t + 6*n - 9*n + 3 = m for t.
3
Suppose 17 = 2*f + 5*p, -4*p = -4*f - p + 73. Suppose -8*b = -f*b. Solve -c - 4*r + 7 = b, 2*r + r = c for c.
3
Suppose 25*c + 53*c - 390 = 0. Solve 3*i = c*m + 9, m + 2*i - 12 = -6 for m.
0
Suppose 30*c + 63 = 37*c. Suppose c*g + 0*g = 0. Suppose g = -2*u + 2 + 32. Solve 2*o + 4*f + 6 = 0, -f - u - 2 = -3*o for o.
5
Let g be (-1372)/84*(-12)/14. Suppose -8*x = -g*x + 48. Solve 0 = -4*z + 5*j + 20, -z - 24 = 4*j - x for z.
0
Suppose -16 = -26*f - 94. Let t be (f - 0)/((-3)/4). Solve n + 2*p + 6 = 5*p, -t*p + 8 = 0 for n.
0
Let z = -19270 - -19291. Solve z*o = 18*o, l + 3 = -o for l.
-3
Suppose 13*o - 47 = 135. Suppose 4*z - 6 = o. Solve -1 = -4*a + 3*a + 2*r, 0 = z*a - 5*r for a.
-1
Suppose -5275 = 77*z - 175*z - 113*z. Solve 0 = 5*b - 5*p + z, -99*p = -94*p for b.
-5
Let r be (2 + -6)/((-56)/42). Solve 19*t + r*v - 9 = 14*t, -2*v - 13 = -3*t for t.
3
Suppose -g - 29*u - 585 = -34*u, 2*g + 4*u = -1100. Let c = g + 564. Solve 5*n - 33 = x - 11, -2*x - c = 0 for n.
4
Let j(q) = 2*q**3 - 12*q**2 + 2*q - 12. Let u be j(6). Suppose u*s - 3*x = -s + 17, 3*s = -5*x - 5. Solve -s*w + 3 + 2 = 5*z, -z + 4*w - 9 = 0 for z.
-1
Let y = 33030 - 33027. Solve -2*m + 15 = -l, m - 24*l = -25*l - y for m.
4
Suppose -27*x - 54 = -30*x. Let h = x - 1. Solve 3*i + 3*r = -i + h, -5*i = 5*r - 20 for i.
5
Suppose -3*h + p - 7 = 1, 4*h = -5*p + 2. Let g be (11 - 6)/(-2*h/16). Let b be (-136)/(-36) - (g/(-9) + 2). Solve -b*c + 3 = -0*u - 3*u, -5 = 5*u - 4*c for u.
-1
Suppose -21 = -16*k + 91. Solve z = -w + 2, 2*z - k*w + 4*w + 11 = 0 for z.
-1
Let l = 557 - 550. Solve 0 = -2*k - 4*i + 16, 3*k - 11*i + 26 = -l*i for k.
-2
Let d(f) = 132 + 7*f + 170 - 271. Let h be d(-4). Solve u = 3*m + 12, u - h*u + 4*m = -18 for u.
3
Let v(y) = y**3 - 27*y**2 + 30*y - 96. Let g(p) = p**3 - 4*p**2 - 7*p + 54. Let n be g(4). Let l be v(n). Solve r + 19 = -4*x, 5*x = 4*r - 0*r - l for r.
-3
Suppose 141 = 3*t + 3*i, 0 = -5*i + 96 - 61. Solve 4*p + 31 = 43*y - t*y, 5*p + 4*y = 0 for p.
-4
Suppose 2*r = -5*x + 25, 2*r