for k.
1
Let i = 195 + -180. Suppose -15 = -i*u + 10*u. Solve 5*v - u*h = 25, v - 5*h - 20 = -3*v for v.
5
Let n be (-240)/216 + 438/54. Let w = 10 + -6. Suppose -n*j + 6 = -w*j. Solve 0 = -5*o, j*t + 0*o + 4 = -3*o for t.
-2
Suppose -11*v = -3*j - 8*v - 6, 0 = -2*j - 4*v + 26. Let n be (-6)/((-7)/(-6) - 1). Let u be n/(-3) - 4 - j. Solve -3*s + 5*s = -u*g - 25, 4*s + 11 = 3*g for s.
-5
Let p = 111 - 163. Suppose 8*y = 4*y - 20, -5*n - 5*y + 250 = 0. Let x = n + p. Solve -3*j - 3*i + 27 = -8*i, -x*j - 5*i = 3 for j.
4
Let k(b) = -87*b - 350. Let x be k(-4). Let a be -4 - (344/(-16) - 3/x). Solve a = -4*m - 4*f, 2*m + 4*f = f - 12 for m.
0
Let x be (-15)/(1155/(-322)) + (-3)/((-99)/(-6)). Solve y - 3 = -4*d - 17, 24 = -x*d + 4*y for d.
-4
Let f = 774 + -753. Solve -20 = 5*x - 5*h, 24*x - f*x = 2*h - 11 for x.
-3
Suppose 1906 = 7*q - 740. Let u = -375 + q. Solve 2*i = -4*x + 12, 2*i + 0*x + u = -x for i.
-4
Let t = 932 + -947. Let a be 9/t - 126/(-35). Solve 0*h - 3*h + 6 = 0, -l + 4*h = a for l.
5
Let s(x) = -3*x**2 + 77*x + 31. Let r be s(26). Suppose 3*c - r = -4*t, -2*c - 4*t - 3 = -5. Solve h - c*h + z = 5, -5*h - 15 = -5*z for h.
-2
Suppose 0 = 3*a - 3*q - 6, -6*a + 10 = -a + 4*q. Let d = -2673 + 2678. Solve a*t = -6, -d*y - 1 = -2*t - 32 for y.
5
Let d be ((-1)/5)/(15/(-675)). Suppose 0 = 2*o - 2 - 12. Solve h = -3*n + d, 1 = 4*n + o*h - 2*h for n.
4
Suppose 5*l - 5*m + 76 = -m, 2*l = 2*m - 32. Let f be -9 - (-7 + l + 5). Solve 0 = -f*a - j - 4, a - j = -5*j - 16 for a.
0
Suppose -13 = 2*m + 17. Let z = 19 + m. Let r(q) = q**3 + 37*q**2 - 162*q + 86. Let a be r(-41). Solve -z*x = a*t - 8, 2 = -3*t - 2*t - 2*x for t.
-2
Suppose 2*y + 84 = -s + 79, y = -4. Solve 7 = 42*m - 45*m + 2*z, 5*m + 11 = s*z for m.
-1
Let o = -4 + 9. Let b(c) = -o*c + 2 + 2*c**2 + 5 + 3 - 3*c**2. Let z be b(-6). Solve -h - w + 2 = z, -8 = -4*w for h.
-4
Let l(n) = n**2 - 4*n + 5. Let x be l(1). Let y = -3 - -3. Let q be y/(-2 + 2 + -2). Solve q*r + 3*r + x = -4*z, 4 = -3*r - 2*z for r.
-2
Suppose -5*n = 6*f - f + 10, 0 = 4*n - 5*f - 37. Solve -3*d - 6 = -n*t, 23*t - 27*t = d - 8 for t.
2
Suppose 0 = -3*m + f + 12, 3*f = -11*m + 6*m - 8. Solve -m*s - 5*w = -2, -4*s - 2*w - 11 = 1 for s.
-4
Let k(o) be the third derivative of -o**6/60 - 19*o**5/30 - 3*o**4/2 + o**3/3 + 174*o**2. Let b be k(-18). Solve 0 = 2*c + 5*j - 11, -5*c - 15 = -j - b for c.
-2
Let b = 4111 - 4109. Solve -3*y - 3 = b*g - 6*y, -3 = -5*g - 3*y for g.
0
Let w be 1/(-3) + 160/12. Suppose -10 + w = i. Let r = -911 - -922. Solve h + 2*n + 4 = 0, i*n = -6*h + 2*h - r for h.
-2
Suppose 2*r - 3*a + 23 = 6*r, -3*a - 2 = -r. Suppose r*t - 20*t = -225. Solve 3*n = -t, 5*z + 3*n + n = 0 for z.
4
Let t be (-1)/(-1) + (-6)/(-6). Suppose 0 = -8*a + 4*a + 12, -6 = 3*w - t*a. Suppose w = 6*h - 9*h. Solve h = 4*r + r + 5*j, 0 = 2*r - 3*j - 15 for r.
3
Let j(x) = 6*x**2 + 7*x + 22. Let k be j(-2). Let b be (-6)/(24/k*-2). Solve -b = -z + 2*u, -4*z + 2*u = -5*z + 4 for z.
4
Suppose 11*s - 68 = 64. Suppose -5*m = -3*f + s, m - 15 = -5*f + 5. Solve -3*d + 2*k + 19 = 0, -f*d - 6 + 3 = 3*k for d.
3
Suppose 3*y = 2*y + 7. Suppose 32*q = -4*q. Suppose 15*i - 24 - 21 = q. Solve -l + 19 = -3*j, i*l + 16 = y*l for j.
-5
Suppose 0 = -a + x + 2, -2*x = -3*a - 0*x + 9. Let o be 8/(-3) + (-448)/(-24). Solve -a*j - o = q, -3*j + 7*j = 2*q - 10 for j.
-3
Suppose -6*q + 1321 = -1061. Let p = q + -393. Solve -2*w - p = -0*w - 2*n, 4*w - 32 = -4*n for w.
3
Let s be 19/7 + (-4)/(-14). Let v(g) = -g**3 - g**2 + 14*g + 265. Let q be v(0). Let j = 267 - q. Solve -3*p + j*t = s*t - 14, -4*p = 5*t - 15 for p.
5
Let c(t) = t - 13. Let k be c(16). Suppose 0*d - d = -4*w + 5, 21 = k*w + 5*d. Let n be (-13 - -9)/(2/(-4)). Solve -3*v + 0 = o - n, w*o = -v + 1 for v.
3
Suppose 0 = 233*m - 175*m - 116. Solve -2*v - 3 = -4*c + 3, -m*v + 15 = 3*c for c.
3
Let p = 3 - -8. Let x(u) = u**2 + 12*u + 3. Let r be x(-12). Solve -2*o + r*b = -0 - 4, -5*o = 3*b + p for o.
-1
Let t = 10710 - 10707. Let f = 11 + -6. Solve d + 4 = 0, -t*n + f*d + 10 = -1 for n.
-3
Let q = -93 - -106. Let n be (q + -13)*(3/2 - 1). Solve -4*u + w - 4 = 0, -4*u + n - 20 = -5*w for u.
0
Suppose -h + 4 = c, -3*c + h + 7 + 5 = 0. Suppose -3*a + 4*z - 16 = 0, -2*a + z - 3*z + 8 = 0. Solve 0 = c*u + f + f + 26, a = 3*u + 3*f + 27 for u.
-4
Let c = 40 + -43. Let p be (-40)/(-16)*(0 - 6)/c. Solve -4*l - l - 25 = -p*o, -5*l = -3*o + 15 for l.
0
Suppose -19*w - 2*w = -168. Suppose w*q = 14*q - 30. Solve q*k = 4*m - 5, 5*k - m - 2*m = 0 for k.
3
Suppose -475 = -5*d + 5*l, 16*d - 5*l - 375 = 12*d. Let k = d - 95. Solve k*b + 24 = 4*x, -4*b - 14 = -2*x + 4*x for b.
-4
Suppose 10*o - 188 = 24*o - 538. Solve 4*i = b, 5*b = 8*i - 13*i - o for b.
-4
Let b be 378/(-108)*30/7. Let h be 342/285 + (0 - (-3)/b). Solve 4*t - 2*c - h = -13, -2*c = -t for t.
-4
Let o(a) = -4*a**2 + 135*a + 954. Let y be o(-6). Solve y = -7*d + v + 16 + 16, 5*d + 3*v = 8 for d.
4
Suppose -150*z - 38 = -148*z. Let n be 2*1/19 - 55/z. Solve 4*r + 3*b + 2 = -0*r, 5*r + n*b + 1 = 0 for r.
1
Suppose 11*o = 14*o - 49*o + 966. Solve -2*p + 16 = -3*d, -2*d = o*p - 24*p + 14 for p.
2
Let s(j) = 8*j**3 + 47*j**2 - 9*j. Let k be s(-6). Solve 3*m - k + 12 = 4*q, 3*q + 7 = m for m.
-2
Suppose 171 - 55 = 36*x + 44. Solve -3 = -r - 5, 4 = x*i - 5*r for i.
-3
Let i(o) = 6*o - 10. Let r = 4 - 2. Let t be i(r). Suppose -t*q + 10 = -16. Solve -2*h - h = -y - 13, 4*h + 3*y = q for h.
4
Let h be -48 + (-20)/90 + 38/9. Let j = 49 + h. Suppose 0 = -j*x, 4*v + 4*x = v. Solve -i + 4*f = -15, -4*f - f - 20 = v for i.
-1
Suppose -12 = 3*r, -5*r + 147 - 179 = -4*q. Solve -q*m - 15 = -3*f, 5*f = 11*m - 8*m + 17 for f.
1
Suppose -131 = 2*v + 347. Let g = -221 - v. Solve 5*c - 20 = -5*q, 4*c - 2*q + 2 = g for c.
4
Suppose -340*x = -356*x + 400. Solve -5*k = 3*l - x, 3*k - 6 = -0 for l.
5
Let q(u) = 2*u**3 - 4*u**2 + u - 4. Let k be q(3). Let d be 3*(-80)/(-15) - 33. Let o = k + d. Solve o = -2*j - 3*f - 7, -4*j = -7*f + 3*f + 24 for j.
-5
Let f be (-4)/5*(-12 - -2). Suppose 5*l - 15 = 0, -5*s + l + 25 - f = 0. Let w be 2 + (s/(-4) - 2 - -6). Solve 5*j = 3*b + 29, j - b + 13 = w*j for j.
4
Let r = 74 + -59. Suppose -4*c + 3 = u, -u + r = 4*u. Solve -6 = -3*a + 3*p, -12 = -c*a + 2*a + 2*p for a.
-2
Suppose -4*w + 4*o = -12, 6*o = 5*w + 2*o - 14. Suppose l = 3*j + 4, w*j = 3*l - 1 - 11. Solve c - z - 4*z + 12 = 0, 5*c + 5*z - 30 = j for c.
3
Suppose -7*s + 9*s = 0. Let i(r) = 4*r**3 + 4*r**2 - 4*r. Let h be i(1). Solve o - 15 + 2 = 2*x, s = h*o + 5*x for o.
5
Let u(b) = 2*b**2 - 49*b - 94. Let w be u(-2). Solve 0 = 5*k + a - 5, -5 = 11*k - w*k - a for k.
0
Suppose 436*c + 4*n - 30 = 433*c, 2*c - 5*n + 26 = 0. Solve c = -2*u + i + i, 0 = u + 4*i - 19 for u.
3
Suppose n - 11 = -3*j - 0*j, 12 = 4*j. Let v(a) = -2 + 1 + 0 - a + n*a. Let x be v(5). Solve -x*z = p - 3, 2*p + 2*p - 4*z + 8 = 0 for p.
-1
Suppose -197*i + 26*i = -1368. Solve 3*q = 2*m + i, 4*m = -12*q + 17*q - 14 for m.
-1
Suppose 253*d = 249*d + 64. Suppose 4*b + d = 5*k, 2*k + 5*b + 20 = 3*k. Solve 5*w - 26 = 3*u, k*u + 18 = u + 5*w for u.
-2
Let g be (-16)/6*(-9)/30*25/10. Solve -g*c + 4*t = 22, 8*c + 3*t = 7*c + 14 for c.
-1
Let t = -147 + 154. Suppose -2*f + 26 = -2*b, -2*f + 2*b + 27 = -b. Suppose t*r + 25 = f*r. Solve 4*s + 16 = -r*x, 2*x + 2*s + 3*s = -20 for x.
0
Let c = 0 + 4. Suppose z - 4*w = 8, 3*z = -547*w + 545*w + 24. Suppose 0 = -2*g + 7*g - 20. Solve 5*h = 4*t + 3 - 2, -c*h - g*t = -z for h.
1
Suppose -247*s + 109*s + 6137 = 223*s. Solve 5*z - 4*m = -29, 4*z - s = -2*m - 35 for z.
-5
Let d be 4 + 4*2/(-4). Solve -3*v = 4*i - 22, -d*i + 11*v + 16 = 15*v for i.
4
Suppose 26*a = 5 + 73. Let y be (6 - 1)/((a + -9)/(-18)). Solve -5*w + 12 = -4*n, -y = 7*n - 2*n + w for n.
-3
Suppose 11*u - 41 = 14. Suppose 0*j + 4*j - 14 = -2*r, -3*j - 5*r + 14 = 0. Suppose -y = j*y, -y = -5*s + 5. Solve 5*h = 2*v + 10, 7 = -u*v + 3*h + s for v.
0
Suppose -4*k + 964 = 2*b, 0 = b - k - 396 - 98. Let t be b/18 + 6/(-27). Solve -l - 6*j = -j + t, -3*l + j = 1 for l.
-2
Suppose 48*h = 45*h + 3. Let o be ((-3)/6)/(1/(-10))*h. Suppose -4*b = v - 9*b - 32, 2*b = -o*v + 52. Solve -3*z - v = -3*c, 5*c + 2*z - 2 = -3 for c.
1
Let t(z) = 28*z - 2265. Let x be t(81). Solve q - 3 = x*b + 6, -6 = 2*b + q for b