 3*k + 5 = 7*k - u*i for k.
-5
Suppose -3*v = -y + 18, v + 121 = 5*y + 31. Let g = 29 - y. Suppose 2*b = 5*u - g, u - 2*b = b - 3. Solve 2*s = u*d + 6, 0 = 2*s + 4*d - d - 6 for s.
3
Suppose 4*s = -2*k + 28, 240*k + 4*s - 24 = 239*k. Solve -4 = -4*d + d + 2*z, -k*d + 4*z + 12 = 0 for d.
-2
Let r be (-128)/48*6/4. Let l be (-555)/33 - r/(-22). Let c = l - -21. Solve c*y - 8 = 4*j + 16, -4*y = -20 for j.
-1
Suppose 5*g = 27 - 7. Suppose i = -g*d - 6, 5*i - 2*d - 2*d = 90. Solve 3*x - 4*c - 2 = -i, 12 = -3*x + 3*c for x.
-4
Let r be (15/(-2))/(18/(-300)). Suppose -j + r = 121. Solve a - 35 = -4*a + 5*v, j = 4*a + 4*v for a.
4
Let k(w) be the second derivative of w**5/20 + 2*w**4/3 + 2*w**3 + 5*w**2/2 + 7*w. Let i be k(-6). Solve -z - 4*g - 15 = 0, -4*z = -0*z + i*g + 5 for z.
5
Let i = -8 + 15. Suppose -2*o = -i*o + 15. Suppose -21 = -4*j - 3*c, -2*j + o*c = 7*c + 2. Solve 3*p + 0*l - l - j = 0, -4*p = -l - 11 for p.
2
Let w(b) = b**3 + 12*b**2 + b + 13. Let r be w(-12). Suppose -2 = -n + l + r, 2*n + 1 = -5*l. Solve -4*i + 21 = -0*z - z, -3*i = n*z - 13 for z.
-1
Let p(c) = -c**3 + 2*c**2 + 3*c + 1. Let h be p(3). Suppose 0 = -16*z + 52*z. Solve -2*v - 2 = 5*o, -4*o + v + h = -z for o.
0
Let j(b) = 3*b - 8. Let p be 2/3 - 10/(-3). Let u be j(p). Solve 24 = u*a + 2*r, -5*a = -0*a - 4*r - 17 for a.
5
Suppose j - 2*a + 17 = 24, 2*j - 2 = -2*a. Solve -j*m - 4*u + 22 = u, -2*u - 4 = -2*m for m.
4
Suppose -83 = -13*b - 18. Solve -3*c - b*q = 32, -5*q - 1 = -4*c + 3 for c.
-4
Let m(f) be the third derivative of f**4/6 - 22*f**3/3 - 23*f**2. Let k be m(12). Solve -k*y + 3*y + 4*u + 16 = 0, -4*y - 1 = -3*u for y.
-4
Let o(l) = l**3 + l + 7. Let x = 2 + 2. Suppose 3 = -5*g + 3*k + 15, x = 3*g - k. Let d be o(g). Solve -w = 2*j - 0*j - d, 17 = 4*j + 3*w for j.
2
Suppose -34 = -4*z - 2*v, 2*z + 9*v = 14*v + 11. Solve 0 = -z*q + 3*q + 25, -4*q + 5 = 3*p for p.
-5
Let r = -51 + 57. Solve n + w - r*w = 2, 2*n + 2*w = 4 for n.
2
Let x = -3 + 8. Suppose -2*g + 3*g = x*p, 2*g = -3*p. Suppose d + q = -0*d + 8, d + 4*q - 23 = p. Solve d*c = -4*a - 5 + 33, -2*c - a = -12 for c.
4
Suppose 47 = 9*f + 11. Suppose 0 = f*g + 2*b - 24, 7 = 4*g - b - 11. Solve -2*s + 7 = g*l, 2*s + 3*s = -l - 17 for s.
-4
Let i be 126 - 6/(-4)*8/6. Let f = i - 98. Solve 2*l + u = -l - 10, -5*u = 5*l + f for l.
-2
Let j(r) = -19*r + 327. Let g be j(17). Let z = 22 + 14. Solve -5*y + z = g*w - 0*y, -2*y = 4*w - 24 for w.
4
Let h(j) = -2*j + 44. Let r be h(20). Solve -4 = -2*l + 4*m + 2, -4*l = -r*m for l.
-3
Let h(t) = -13*t + 37. Let j(z) = 9*z - 25. Let f(r) = -5*h(r) - 7*j(r). Let x be f(6). Solve 4*m = 3*l + 11, x*l + 8 = -0*m + 3*m for m.
2
Let z be 165/33 - 88/2. Let h be 2/((-6)/(-351)*3). Let n = h + z. Solve n = k + 4*i - 23, -2*k - 3*k - 2*i = -25 for k.
3
Let l be ((-8)/5)/(16/(-40)). Let o(r) = -51*r - 271. Let z be o(-6). Solve -3*y + 6*y + 9 = 0, l*g - 5*y = z for g.
5
Let f = -90 + 94. Solve 5*h = 6*d - 3*d + 15, -f*h - d = 5 for h.
0
Suppose -2*s = -8*s - 6. Let q be 3/(2 - (-1)/s). Solve -w = -q*d + 18, 5*w - 7 = -4*d - 2 for w.
-3
Suppose 4*r + 220 = -5*k + 256, 2*r + 12 = 5*k. Solve -n - 8*s + 5*s + 13 = 0, s = k*n for n.
1
Suppose 4*s + a - 70 = -55, -5*s + 24 = -4*a. Solve 0 = -4*l + 16, 4*v - 5*l + s = -4 for v.
3
Suppose -2*h + 5*h = 513. Let r = h + -168. Let k = -11 - -21. Solve -20 = 5*i - i + 4*j, -2*i + k = -r*j for i.
-1
Let d = -894 - -900. Solve 0 = 11*k - 9*k, 3*k = -2*f - d for f.
-3
Let z = -135 - -142. Solve 3*b + 14 = b - 4*q, -z = 5*b + 3*q for b.
1
Let r be (-25 + 24)/((-1)/2). Suppose 30 = 3*a + 4*t + r, 2*t - 8 = 0. Solve -5*o - d + 0*d = -17, a = -2*o + 5*d for o.
3
Suppose 0 = 2*s - z - 4, -4*s + 8 = 2*z - 7*z. Suppose 2 = i - 0. Suppose i*q + 0*r = -2*r - 8, -2*q = -5*r - 20. Solve -2 = -0*j - s*j - 5*c, q = 5*c for j.
1
Suppose -4*t + 0*i = 5*i + 15, -t = 5*i + 15. Suppose t = 3*l + l. Solve 0 = -5*g + w + 3*w + 9, -4*g - 3*w + 32 = l for g.
5
Let i be (-4)/(-12) - (2*-1)/(-6). Suppose i = -4*r - 2*f - 5 + 7, 3*r - 5*f + 5 = 0. Solve 5*b + 4*c + 9 = 0, r*b - 2*c = -5*b - 3 for b.
-1
Let y = 5284 + -5281. Let g(s) = 2*s + 2 + 4*s - 3*s. Let h be g(7). Solve -4*b + 1 = -l, 0*l - h = y*b + 4*l for b.
-1
Let r(d) = -d**3 - 8*d**2 + 31*d - 20. Let h be r(-11). Solve h*g + 8 = 4*f, -2*f + g = -g for f.
4
Let y(q) = -11*q. Let j be y(-2). Let r be (1/3)/(1/18). Suppose -r*b = -22 + 4. Solve 2*c + 6 = -c - 3*a, 4*c - b*a = -j for c.
-4
Let d = 285 + -279. Let u(a) = a**3 + 5*a**2 + 3*a - 1. Let h be u(-4). Solve 3*b + 5*w = -6 - d, 2*b + h*w = -7 for b.
1
Suppose 4*v - 68 = -48. Solve 3*z + 5*p + 10 = -2*z, -z + v*p = -28 for z.
3
Let n = 6 + -14. Let t = n + 10. Let m = 4 + -4. Solve 4*i + 4*k - t = -k, m = 2*i + 5*k + 4 for i.
3
Let a(b) = 2*b**2. Let i be a(2). Suppose -f = 5*n - i, n + 4*f = -3*n. Solve -h - 3 = n*m + 3, -4*m = -h for h.
-4
Let i be 13/1 + 9/(-1). Suppose -4*v + 5 = -3*v. Suppose v*d - 2*d = 57. Solve n + 2*n + 25 = i*y, -y = -5*n - d for n.
-3
Let f(o) = o**2 + 4*o - 2. Let r be f(-5). Suppose u + r = 4. Solve g + 5*x - 4 = u, g = -2*x + 5 for g.
5
Let y(t) = -t**3 + 9*t**2 - 8*t - 9. Let i be y(9). Let v = -141 - i. Let h be 30*8/v*-5. Solve 0 = -4*c - u + h, 4*c + 0*u - 12 = u for c.
4
Let t(i) = -i - 1. Let o(a) = -16*a**3 + 5*a + 6. Let q(y) = o(y) + 4*t(y). Let r be q(-1). Solve 5*v = 3*x + r, -4*v - 2*x + 4*x = -12 for v.
1
Let i be (-5)/2*(-20)/25. Suppose 2*g - i = -3*s, 4*s - 6 = g - 2*g. Solve -s*a - 3*h - 40 = 3*a, -4*a - 40 = 4*h for a.
-5
Let q be ((3 - -3)/(-12))/(1/(-6)). Suppose g - 2 = q. Solve 8*u - 4*u = 5*v + 9, 7 = -g*v + 2*u for v.
-1
Let f be 395/55 + (-4)/22. Suppose -2*i - 3 + f = 0. Solve -d - i + 0 = a, -2 = d for a.
0
Let t be ((-12)/8 - -1)*-8. Solve -5*o + 30 = -5*g, -5*o = -t*g - 10 - 17 for o.
3
Let h(c) = 5*c**2 - 31*c + 12. Let j(u) = 2*u**2 - 10*u + 4. Let n(o) = 3*h(o) - 8*j(o). Let d be n(-13). Solve -4*x - d*s = -2*x - 14, 0 = -5*x + s + 24 for x.
5
Suppose -8 = 3*z - 20. Suppose -3*p - q = 3*q + 8, -5*p + 5*q - 25 = 0. Let s be (-5)/20*p*2. Solve j = -3*x - 0*j + 10, -s*j - 20 = -z*x for x.
4
Let h(c) = 11*c + 10. Let f be h(2). Let b(q) = -q**3 - 4*q**2 + 3. Let d be b(-4). Let v = d - 3. Solve 0 = -5*k + 3*a - f, v*k + 2*k = -3*a + 4 for k.
-4
Let t(f) = -34*f**3 - f. Let i be t(-1). Let m = 21 - 17. Suppose -3*c + 3*g = 5*g - 9, -m*c + 5*g + i = 0. Solve 0 = c*q - 2*v - 33, 0*v - 14 = -2*q + v for q.
5
Let t(n) = 8*n - 19. Let q be t(6). Suppose 0 = -2*w + l + q, 2*w - 2*l - 70 = -3*w. Suppose -2*g - w = -6*g. Solve -7 = -j + 2*x, j - 2*j + g*x = -8 for j.
5
Let p(t) = -t**3 + 23*t**2 + 29*t - 116. Let l be p(24). Solve l*n + 0*n = k + 15, 3*n + 2*k = 25 for n.
5
Let d(k) = -3*k - 20. Suppose -67 + 3 = 8*s. Let j be d(s). Solve -j*p - 2*u - 5 + 13 = 0, 0 = -3*p + 2*u - 1 for p.
1
Let k = -3 - -5. Let h(s) = -3*s + 1 + 0 + 0*s + 2 + 2*s. Let w be h(k). Solve f + w = 2*q + 2*f, -5*f - 9 = -4*q for q.
1
Let w be (-142)/(-4) - (0 + (-2)/4). Let k be 80/w - (-4)/(-18). Solve -2*c + 5*l = -17, 0 = -k*l - 7 - 3 for c.
-4
Let x = 46 - 47. Let r be (-3 + 3 + x)/(4/(-16)). Solve -y - 5*l = 4*y + 30, 3*l + 22 = -r*y for y.
-4
Let c(y) = -2*y + 9. Suppose f = 2 + 1. Let p be c(f). Suppose -p*t = -w + 5*w - 1, -8 = 3*w + 4*t. Solve -2*m - m + w*x + 11 = 0, 5*x + 34 = -3*m for m.
-3
Let q(a) = -a + 37. Let w be q(32). Solve -29 = 5*n + b, 2*n - w*b - 10 = -0*n for n.
-5
Let l be -10*(-3)/(-6) - -1. Let q(w) = -w**3 - 4*w**2 - 5*w - 5. Let z be q(l). Suppose z = 8*f - 3*f. Solve -2*j + 4*j = 6, -f*v - 2*j - 9 = 0 for v.
-5
Let o be 11/6 - (-1 + (-5)/(-6)). Let f be (11 - 5 - 6)*o/6. Solve -l - 4*t + 5*t = 2, f = 3*l + t + 18 for l.
-5
Suppose -57 + 432 = 15*m. Solve m = 2*k + 5*f, 25 = -3*k - f + 6*f for k.
0
Let t(s) = s**3 - 15*s**2 + 12*s + 31. Let u be t(14). Solve -u*b - 29 = -5*p - 4*b, -8 = -2*b for p.
5
Let b = 18 - 10. Suppose t - b = -2. Solve 4*s + t = 5*l, 5*s = l + 2*l - 14 for s.
-4
Let z be 636/(-36) + (-1)/3. Let i be 3*(-3)/z*8. Solve -4*o + p - i*p - 9 = 0, -o - 4*p = -1 for o.
-3
Suppose -4*o + 89 = 3*q, q + 2*o = 22 + 9. Suppose -5*i - 27 = -q. Solve 4*b - 3*t - 12 = i, -6*b + 2*b = 5*t + 20 for b.
0
Let w be (-1197)/114*(-4)/14. Solve 2*v = -d, 0 = -v + w*d - 0*d - 7 for v.
-1
Suppo