for k.
-4
Let w = 0 - -8. Suppose -4*a = -2*a - w. Solve -x + 6 = -a*x, x - 7 = -3*p for p.
3
Let c be 2 - 4/6*9/(-2). Solve -c*a = -4*b + 7, 39*b - 35*b = -3*a + 15 for b.
3
Let i be (-6)/(3 - (2 - -3)). Suppose -i*g + 6*k - 16 = 2*k, -2*g - 4*k = -16. Solve -3*s = 5*x - 3, -2*s = 5*x - g*s - 7 for x.
3
Let a(w) = w**3 + 24*w**2 + 24*w + 34. Let u be a(-23). Solve -u = 5*m + 3*p, -2*p - 4 = 4*m + 2*p for m.
-4
Suppose l + 4*r - 32 = -3*l, -4*l + 3*r = -11. Solve 2*f + 4*i = 6*i, l*i = 2*f - 12 for f.
-4
Let u(y) be the third derivative of 0 - 2*y**2 - 1/60*y**5 + 1/6*y**4 + 0*y + 0*y**3. Let r be u(4). Solve 0 = -5*h + 10, 2*t + 4*h - 14 = -r*h for t.
3
Let i = 178 - 178. Solve -4*n = -i*n - 5*t + 11, 0 = -4*t - 4 for n.
-4
Let z(b) = b**2 + 14*b - 31. Let q(t) = t**2 + 22*t - 39. Let l be q(-23). Let x be z(l). Solve -12 = -g + 4*s - x, -9 = -5*g - 3*s for g.
3
Let f(s) = s**2 - 6*s + 7. Let y be f(9). Let o be (-63)/(-84) + y/8. Solve -2*d - w + 6 = 0, 4 = o*d - 2*w + 7 for d.
1
Let q = -260 - -266. Solve -r - t - q = -2*r, -r = -3*t - 16 for r.
1
Let h be ((-12)/10)/(16/240). Let y = 18 + h. Suppose 4*g - 124 + 4 = y. Solve 0 = -4*z + 3*f + 10, 5*z + 6*f = f + g for z.
4
Suppose -3*c = -11 - 4. Suppose 3*r = -2*k - 28, -c*k = 5*r + 19 + 21. Let f be 0/((r/4)/(-3)). Solve 2*v - 4 = f, -5*l = -0*l + v - 2 for l.
0
Suppose -12*p + 12 = 3*w - 15*p, 4 = w + 4*p. Solve w*i = -15 + 7, -16 = 2*a + 5*i for a.
-3
Suppose 10*n = 12*n. Suppose n = 2*y + 1 - 5. Suppose 2*p - 42 = -5*b, 5*b - 21 = -p + y*b. Solve 2*v = 3*q + p, v + 22 = -2*q - 3*q for v.
3
Suppose f + s - 16 = 0, -s + 32 = -33*f + 35*f. Solve 0 = 3*v + p - 5*p + 19, -4*p - f = 4*v for v.
-5
Let z(f) = -f - 2 + f + 2*f. Let x be z(2). Solve -5*i = 5*d + 20, x*d - 3*i = -3*d - 20 for d.
-4
Suppose -5*m = -4*c - 88, 51 = 4*m - m - 3*c. Solve -3*u = j + 6, 5*j - 3*u = m + 4 for j.
3
Let l(o) = o**2 - 8*o. Let w be l(8). Solve w = 4*j + 3*b - 1 - 2, -2*b + 2 = 5*j for j.
0
Let d = 2 - -25. Suppose 0 + d = 9*w. Solve -2*n + 2*a + 8 = 22, -4*a = n - w for n.
-5
Let l = 8 - 4. Suppose 3 = -l*x + 5*x. Suppose 2*f - 6*u = -x*u + 2, -3*u = f - 10. Solve -2*v - 3*d - 11 = 0, -v - 13 = -0*v + f*d for v.
-1
Let x be ((-37)/4)/1 + 2/8. Let u = -6 - x. Solve 3*h + 3 = u*d - 0, -d + 7 = -4*h for h.
-2
Suppose 3*x = -16 + 52. Let a be 3/x - 38/(-8). Solve a*f = -b, 2*f - 4*b - 22 = -0*b for f.
1
Let m(t) = 4*t + 16. Let g(a) = 4*a + 16. Let u(x) = -3*g(x) + 4*m(x). Let j be u(-3). Solve j = i + c + 2, 2*i = c + 7 for i.
3
Let h = 13 + 2. Suppose -24*r = -7*r - 238. Suppose u = 5*i - h, u - 3*u + r = i. Solve -2*g - 5 = -3*x + 5, -2*g = i*x - 18 for g.
1
Let q = -246 + 251. Solve -u = 5*s + 22, -q*u - 5*s = -s + 5 for u.
3
Let w = -525 - -527. Solve -2*v - l - 12 = w*l, v + 8 = -2*l for v.
0
Let j be ((-2)/4)/(1/(-14)). Let h = 11 - j. Suppose -4*x + 358 = 234. Solve 0 = h*l - 2*v - 2*v + 28, 3*l - 5*v + x = 0 for l.
-2
Let f = -5 - -5. Suppose 4*p = 4*x - 32, 2*x - 6*p + 5*p - 16 = f. Suppose 3*u + 2 = x. Solve 2*w - 9 = 3*b + 2, -u*b - 14 = 2*w for w.
-2
Suppose -4*k + 7 = -5. Let n = 43 - 43. Solve k*a + 7 + 6 = -2*d, 2*a + 4*d + 6 = n for a.
-5
Let w be 9/(-6) - 27/(-2). Let i be (4/6)/(2/w). Suppose -u = -i*u, 0 = g - 3*u. Solve g = -h - 3*m + 9, -6*m + 3*m + 9 = 0 for h.
0
Let k = -168 + 170. Solve -u = -2*a + 6, -k*u - 3*a = u for u.
-2
Suppose -3*d + 10 = -44. Let s = 17 - d. Let k(z) = -2*z - 1. Let v be k(s). Solve x - 14 = -3*r, -3*x + v + 8 = -2*r for r.
3
Let p be ((-40)/(-15))/8 + 1/(-3). Suppose 3*c + 2*a - 15 = p, a + 4 - 1 = 0. Solve y - 7 = 2*x + c, -5*y + 3*x = -35 for y.
4
Let u(d) = d - 1. Suppose -25 = -2*f - 13. Let s be u(f). Solve -w = -2*o - s, -o - 2*w = 4*o + 17 for o.
-3
Suppose -3*g - 1 = -16. Let s(m) = -2*m - 4*m + 4 + g*m. Let f be s(0). Solve 0 = -f*n + o - 2, -8 = 5*n - 3*o - o for n.
0
Let p(t) = t**3 - 26*t**2 - 229*t - 61. Let s be p(33). Solve l - 2 = 0, -b + 9 = s*l - 0*l for b.
-1
Let n(q) = 37*q - 36*q - 12 + 2. Let p be n(13). Solve -j + 14 = -3*y - 1, 0 = -p*j - 3*y - 3 for j.
3
Let s(j) = 4*j - 5. Let y be s(6). Let x = -8 + 24. Let l = y - x. Solve 3 = -4*o + 5*n, 6*o - 5*n = 5*o + l for o.
-2
Let x = 902 - 889. Solve -5*q - x*p + 17*p = 26, 0 = -q - 2*p + 6 for q.
-2
Suppose 0 = 12*l - 7 - 17. Solve 3 = c - p, l*p + 2*p = c for c.
4
Let j(h) = 13*h - 544. Let m be j(42). Solve -w - u = m, u = 3*u + 6 for w.
1
Let n be ((-40)/130)/(3/(-39)). Let u(h) = -2*h + 7. Let x be u(-7). Solve 3*q - 2*q + 14 = 3*t, q = -n*t + x for t.
5
Let t = 1 + 7. Suppose 3*b - t*b = -70. Solve 2*s - 15 = 5*w, 5*w + s + b = -1 for w.
-3
Let c be 3/(((-30)/(-8))/(-5)). Let v(y) = -6*y - 95. Let x be v(0). Let i be x/(-20) - 1/c. Solve 5*q = 3*b - 22, -i*q + 5*b - 24 = 6 for q.
-2
Suppose 0 = 8*t + 1 - 1. Suppose 0 = 4*f - t - 4. Solve 0 = -s - 3*m + 5*m + f, -3*m = 0 for s.
1
Let n be (-1 - (-5)/10)*0. Suppose n = 3*z - 4*z + 2. Let s(o) = -3*o - 3. Let k be s(-7). Solve -3*v + k = -l - l, -2 = v + z*l for v.
4
Let y be 116/6*3/(-2). Let j = y - -29. Solve 5*b + 2*f - 3 = j, -4*b = b + 4*f - 1 for b.
1
Suppose -55 = -9*b - 1. Suppose t - 8 = -b. Solve -4*w = -7*w + 2*r - t, 2*w - 16 = -3*r for w.
2
Let n(u) = u + 6. Let k be n(-4). Suppose -k*v - 2*h = -20, 2*h - 22 = -3*v + h. Let r be (-4)/(-16)*4 + v. Solve -r = 5*y + 3*c + 1, 2*y - 3*c - 1 = 0 for y.
-1
Let m be (3 + 2)*((-126)/15)/(-7). Solve 5*a = -2*u + 25, -5*a + 19 = 3*u - m for a.
5
Let v = -35 + 65. Suppose 3*i - 9*i + v = 0. Solve 5*d + 2*m = -11, -i*d = -3*m + 2*m + 17 for d.
-3
Let a = 2 + -2. Let d be 144/132*22/4. Suppose -4*s + 8 = -d*f + f, 2*s - 4 = -3*f. Solve n - x - 9 = f, a = 3*n - x - 15 - 4 for n.
5
Suppose -7*m + 6*m + 6 = -3*d, -3*d = 2*m - 3. Solve 2*s - 5*a = 11, s - m*a - 10 = a for s.
-2
Suppose 0 = -3*m + 32 - 11. Let i(s) = -27 - 22 - s**2 + 6*s + 58. Let z be i(m). Solve -2*u - 3 - 4 = -n, -z*n = -3*u - 12 for n.
3
Let t(v) = 6*v + 65. Let k be t(-7). Let c(a) = 96*a**2 + a. Let n be c(-1). Suppose 0*m = 4*w + 5*m - n, -w + k = 2*m. Solve 5*q - f + 5 = f, -5*f = -w for q.
1
Let p = 441 - 440. Solve -5*m = -10, 3*o - p = 2*o - 3*m for o.
-5
Let t be -1 - ((-3)/(-9))/(2/(-24)). Suppose 2*w - 14 = -4*y, -4*w = -5*y - 5 + 16. Solve 0 = 2*h + t*h + 4*r + 9, -y*h - 4*r - 7 = 0 for h.
-1
Let k(o) = -o**3 - 14*o**2 + 33*o + 27. Let d be k(-16). Suppose c = 5*c. Let i be 2 + -4 - c - -5. Solve -j + 0*j + i*p + d = 0, 3*j = 5*p + 21 for j.
2
Suppose -9*z + 60 - 15 = 0. Solve -6 = -3*n + 2*o + o, 5*n = -z*o for n.
1
Suppose -40 = -4*v + 4*t + 32, -33 = -v + 4*t. Let b = v + -37. Let r be (-2)/(-8) - 66/b. Solve 6*c + l = 4*c - 10, -3*l = -r*c + 3 for c.
-3
Suppose 5*z - 3*z = -2*n + 62, -5*n = 2*z - 161. Let p = n - 29. Solve 2*y = p*h + y + 10, -5*y + 10 = 0 for h.
-2
Suppose -3*s + 4 = 1. Let j = -114 + 110. Let r be 84/(-35) + (-3)/5 - j. Solve a - l - s = 0, -l - r - 2 = 0 for a.
-2
Let g(c) = c + 12. Let k be g(-7). Suppose k*a - 5 = x, -a + 0 + 20 = -4*x. Solve 2*p + 2*p - 5*z + 10 = 0, a = p + 3*z - 6 for p.
0
Let f(s) = 2*s**2 + 16*s - 35. Let q be f(2). Solve -q*c - 24 = -4*x, 2*x + 6 = -0*c - 2*c for c.
-4
Let j be (6/(-39))/(-1*(-1)/(-13)). Solve 2*v + 6 = 2*h + v, -j*h + 6 = -3*v for h.
3
Let h be (20/12)/(10/36). Suppose 2*w - h = -w. Solve w = -3*y - 2*p - 0*p, -4*y + 2*p = -2 for y.
0
Suppose 2*h = n - 7 - 3, h = n - 6. Solve -11 = 5*q + 4*l, -4 = 4*q - 0*q + n*l for q.
1
Suppose 5*t + 20 = 0, 5*u - 3*t = -314 + 66. Let d = u - -82. Solve 6*g - g - d = 4*o, 4*g - 3 = -o for o.
-5
Let t(i) be the third derivative of i**5/60 + 5*i**4/24 - i**3/2 + 11*i**2. Let u be t(-6). Solve -u*p + 2 = -4*z, -6 = -3*p - 2*p + 4*z for p.
2
Let n(h) = 2*h - 20. Let z(j) = -5*j - 4. Let y be z(-3). Let q be n(y). Solve -u = 4*t + 16, 0 = q*u + u + 2*t + 18 for u.
-4
Let q = 460 + -457. Solve 0*o + 12 = q*o - u, 3*u = 2*o - 8 for o.
4
Let h(w) = 3*w + 6. Let l be h(-6). Suppose -6*m + 4*m - 40 = 2*c, 28 = -m - 5*c. Let y be (m/l)/((-6)/(-16)). Solve -5 + 4 = -n, -v - y*n = 1 for v.
-5
Let c(j) = 2*j**2 + 4*j + 2. Suppose 4*p + o = 5*o, 2*p + 2*o = -8. Let f be c(p). Solve 3*u = -f*n + 1 + 1, 17 = -2*u - 5*n for u.
4
Suppose 0*y - 48 = 2*y + 3*l, 0 = -3*y + 5*l - 34. Let b = y - -158. Let u be 4*(-7)/(b/(-15)). 