 for k.
-2
Let c be (-6 + 68/8)*(-8)/(-5). Solve c = -5*b - x - 7, 2*b + 8 = -4*x for b.
-2
Suppose 3*c - c - 2*y = 88, 4*y + 217 = 5*c. Let g = c + -35. Suppose 25 = -g*m + 11*m. Solve 30 = -m*x + 5*b, 2*b - 1 = -2*x + 3 for x.
-2
Let o be ((-4)/6)/((-20)/2310). Suppose 18*y = o - 23. Solve 3*n + 4 = -4*c, y*n + 10 = -5*c + 2 for n.
4
Let w be 26/6 + 546/(-234). Solve w*t + t = 5*r + 35, 29 = 5*t - r for t.
5
Let g be ((-10)/(-14))/(12 + (-167)/14). Solve 3*a + g*o - 8*o = -3, o = 5*a + 18 for a.
-3
Let l be 201/(-268) + (-23)/(-4). Solve l*w + 36*f - 15 = 34*f, 3*w + 4*f + 5 = 0 for w.
5
Suppose 2*d - 28 + 52 = 3*j, 10 = -2*j - 3*d. Solve 4*g - 3*v = -0*g - 4, 4*g + j = -2*v for g.
-1
Let w = 11 + -4. Suppose w*j - 256 = -235. Solve 5 = -2*u + j, 5*b - 4 = 4*u for b.
0
Suppose 4*s + 3*l - 59 = 0, -s + 46*l = 48*l - 21. Solve 0 = 5*m + 4*q - 6, 22*m - 19*m - 5*q - s = 0 for m.
2
Let y(j) = 114*j + 218. Let z be y(-9). Let m = 810 + z. Solve m*b = -4*f - 2, 4*f - 3*b + 0*b = 23 for f.
2
Let t(i) = 6*i**3 - 2*i**2 + 3*i - 2. Let y be t(1). Let n(x) = 10*x - 36. Let g be n(y). Solve -p - 4*p = -v + 18, g = -v - 3*p for v.
-2
Let g(n) be the second derivative of n**3/2 + 69*n**2/2 - 26*n. Let l be g(-23). Let y be 2 + (5 - 3) + l. Solve r = 3*q - y*q, 2*r + q + 5 = 0 for r.
-5
Let m(p) = 6*p - 12. Let l be m(5). Let r be -35*(-13)/(273/l). Let w be (-6)/r + (-26)/(-5). Solve 5 = s + u, 0*s - 13 = -2*s - w*u for s.
4
Suppose -11*r - 24*r + 13 = -92. Solve -4*s + 9*q + 11 = 14*q, 0 = 3*s - r*q + 12 for s.
-1
Suppose -2*f - 49 + 63 = 0. Suppose -230 = 2*t - f*t. Let r = t - 46. Solve 8 = -p - z, -p + 2*p - 2*z - 7 = r for p.
-3
Let a = -320 + 333. Suppose 6*u - 5 = a. Solve -2*t = -o - 4, -o = u*o - t + 16 for o.
-4
Let w = 30 - 14. Suppose -6*i + 2*i + w = 0. Let j be (((-1272)/96)/(-53))/(847/140 - 6). Solve -4*q + j = 5*g - 19, i*g + 5*q = 21 for g.
4
Let m(h) = 2*h**2 - 6. Let f be m(-6). Let t = f + -63. Let x be (-128)/(-40) + t/(-15). Solve 5*d - r - 1 = 0, 2*r + x = d - r for d.
0
Let z be 4 + 0*(-6 - (-10 + 3)). Suppose -z*j = -4 - 16. Solve -2*m + 7 - 1 = 0, j*m - 19 = -p for p.
4
Let m(k) be the first derivative of k**2 + 58*k + 88. Let o be m(-28). Solve -2*z - z = d + 4, -d - o*z - 4 = 0 for d.
-4
Let f(z) = 17*z**2 + 22*z + 4. Let j be f(-2). Suppose q + 6*q = j. Solve -q*k + 2 = 5*p, -p + 3*k - 2*k - 5 = 0 for p.
-2
Let y = 104 + -77. Suppose -2*r = -5*r + y. Suppose 0 = -r*h + 5 + 13. Solve -z - h*f = -10, 0 = -f + 10 - 5 for z.
0
Let h(s) = -3*s - 89. Let m be h(-31). Suppose 2*z = m*v, -4*z - v - 4 + 22 = 0. Solve f + 14 = -z*j, -1 + 5 = -4*j + 4*f for j.
-3
Suppose -52 = 40*h - 53*h. Solve 12 = -4*z + h*f, 2*z = 8*f - 3*f - 9 for z.
-2
Let d = 991 + -984. Solve 16*x = 17*x + 4*l + 2, -l = -3*x + d for x.
2
Let i(s) = -35*s - 82. Let t be i(-6). Suppose 9*o - 155 + t = 0. Solve p = -4*u + u + 9, -2*p + o*u = 18 for p.
-3
Let k = 230 - 235. Let o be ((-230)/30 - -11)*(-6)/k. Solve o*n + 4*c + 8 = 0, -n + 9 = -2*c - 1 for n.
2
Let l(s) = s**3 + 19*s**2 - 21*s - 19. Let p be l(-20). Let o be p/(-3) + 25/3 + -3. Let y = 1 + 0. Solve 0 = -3*n + 5*c - 18 - 11, o*n - y = -4*c for n.
-3
Suppose -2*u = 4, 5*u - 10 + 72 = x. Suppose 5*w - p = -2*p - 252, -2*p - 254 = 5*w. Let i = w + x. Solve -10 = -2*t - 4*o, -4*o - 2 = i*t - 3*o for t.
-3
Suppose -32*h = -71 - 48 - 297. Solve -4*r + 29 = 5*u, -4*r - u + h = 4 for r.
1
Let u(c) = c**2 + 30*c + 124. Let y be u(-29). Suppose 4*s = -y + 115. Solve 0 = -j - 5*w - s, 0*j - j + 5*w + 5 = 0 for j.
0
Let g(z) = z**3 + 10*z**2 - 53*z - 182. Let i be g(-13). Solve -5*q = 6*w - 5*w, 5*w = i for q.
0
Let z(a) be the second derivative of a**5/20 + a**4/6 - a**3/3 - a**2/2 + 71*a. Let j be z(1). Solve j*h = 2*h + 3*x - 11, h + 4*x - 8 = 0 for h.
4
Let j be (-4 - 0) + (5 + 45)*5. Suppose -294 = -2*v - j. Solve -3*w - v = 4*t, -5*w - 2*t = -w + 22 for w.
-4
Let h be (2/(-5) - -1) + 582/5. Let d = -97 + h. Let p = 30 - 28. Solve 0 = -5*w - p*t + 3*t + d, -2*t = 5*w - 35 for w.
5
Suppose 4*z + 5*b = 0, 3*z - 72*b = -70*b + 23. Solve -1 = -i + c - 0, i + z*c = -11 for i.
-1
Let f be 2 - 16/(-2)*1. Suppose f*v - 14*v - 40 = 0. Let u be (6 - 1)/(v/(-4)). Solve -k = u*z + 1, k + 5*z + 1 = z for k.
-1
Suppose -2*p + 32 = 4*c, 31*c = 28*c - 5*p + 38. Solve c = -3*g + 3*r, -6*g = -8*g - 3*r + 11 for g.
1
Let q(h) = h**2 - 14*h + 38. Let v be q(8). Let m(l) = -l**2 - 18*l - 20. Let f be m(v). Let y = -60 + f. Solve y = c + 2*c + 2*i, 5*i = -4*c for c.
0
Let c(q) = 4*q. Let p(i) = i. Let m(f) = -2*c(f) + 11*p(f). Let r be m(2). Let b(o) = -7*o + 65. Let j be b(9). Solve -2*n = -j*l - 4, -n = -l - r*n + 4 for l.
-1
Suppose 4*g + 130 = 2*q + 148, 15 = 3*q + g. Solve -q = -5*w + 2*o, -w - o - 4*o + 6 = 0 for w.
1
Suppose 123*i - 4*t = 127*i + 8, 0 = -10*i - 5*t + 5. Suppose -2*v - 4*z + 6 = -2*z, 1 = -2*v + 5*z. Solve k + i = -v*q - 3, -4*k - 17 = q for q.
-1
Let l be -21*16/48 + 9. Solve -2*i = -l*c + 12, c = 4*i + i + 26 for c.
1
Let k(v) = 7*v - 88. Let l be k(12). Let m(g) = -6*g - 23. Let y be m(l). Solve -4*w - x - 14 = -0*w, 0 = w - x + y for w.
-3
Let r be (16 + 0)*-10*(-16 + (-638)/(-40)). Solve t = -2, -5*q + 4*t - 18 = r*t for q.
-2
Suppose 4615 - 683 = 11*u - 1392. Solve -2*y - 480*q + 8 = -u*q, -12 = 3*y + 2*q for y.
-2
Let w be (-7 + -1)*1/(-4). Suppose 0 = 386*p - 314*p - 216. Solve p*y = z - w, 4*y = 7*y for z.
2
Suppose 168*r + 1264 = 247*r. Solve -r*z + 21 = -11*z + j, -16 = 4*j for z.
5
Suppose 5*m = -3*z - 26 + 13, 0 = -4*z - 4*m - 4. Suppose z*t = -3*c + 24, 0 = -2*c - 2*c + 16. Solve 3*x = -4*h + 3, -t*x + h + 8 = -2*x for x.
5
Suppose g - 84 = -2*g. Let i(z) = 3*z**3 + 11*z**2 - 19*z - 52. Let a be i(-3). Let p = g - a. Solve f + 3*k = -k + 17, 0 = 5*f - p*k + 15 for f.
1
Suppose 4*z - r + 3 = 23, -5*z + 25 = 2*r. Suppose -z*y = -4*y - 5. Solve 5*k - 4*w = -4 + 5, 3*k = -y*w + 8 for k.
1
Let w(l) = -99 + 304 + 14*l - 141 - 174. Let p be w(8). Solve -2*r = -5*r + 4*m + 17, -4*m = -p*r + 14 for r.
3
Let h be 0 - 3 - (-363)/11. Let k = h + -39. Let s be (20/45)/((-2)/k). Solve -4*f + 12 = r, -s*r + 0*r = -2*f + 16 for f.
4
Suppose -h = 2*h + 5*t - 26, 0 = -4*h + 5*t + 23. Suppose 41 = 6*v - h. Solve -d = 3*o - 5*o - 2, d - v = 4*o for o.
-3
Let k(x) = x - 4. Let y be k(7). Let h = 1287 - 1285. Solve -5*r - 19 = h*d + d, 0 = -d - y*r - 13 for d.
2
Let o be (-8)/(-124) + ((-269880)/403)/(-5). Solve 5*i - 4*b + o - 154 = 0, 3*i + 5*b + 25 = 0 for i.
0
Let y(o) = 2*o**3 - 4*o**2 - 6*o - 14. Let v(x) = x**3 + x**2 - x. Let l(f) = v(f) - y(f). Let m be l(6). Solve -12 = 2*r + 4*g, 3*r + g - m = -1 for r.
4
Let z be 77/5 - 7*(-2)/(-35). Let a = z + -10. Solve -3*o - 5*i = 13, -a*o - 5*i - 5 + 0 = 0 for o.
4
Let x = -3074 + 3086. Solve 4*q = -4*z + x, 3*q - 3 = -z - 0*z for q.
0
Suppose -2*u + 8 = 2*u. Let p = -12892 + 12896. Solve p*f - 13 + 41 = 4*g, -2*g + u = 2*f for g.
4
Let m = -6589 - -6593. Solve -4*l = v + m, -2*l = -4*l - 4 for v.
4
Suppose -41*r + 18 = t - 40*r, 5*t - 4*r = 63. Solve 5*p - j = t, -15 = -5*p + 4*j - 0 for p.
3
Suppose -4*i = -3*b + 8, i + 16 = 2*b + 9. Solve 15*m - 12*m + 5*n = 22, 0 = -2*n + b for m.
4
Suppose -3*w + 7*n - 11 = 12*n, -5*n - 32 = -4*w. Solve j - 24 = -w*j + 8*y, 4*j - 9 = 3*y for j.
0
Suppose -25*o + 9 = 11*o - 171. Solve -28*c + 33*c - 30 = -j, -2*c + 3*j = o for c.
5
Suppose 76*p - 79*p + 15 = 0. Suppose p = c + 4*x, 4*x = -2*c - c + 7. Solve 3*j - 5 = 2*i + c, 0 = -i for j.
2
Let y(x) = 3*x**3 - 17*x**2 + 8*x + 13. Let z be y(5). Let w(s) = -s**2 + 11. Let p be w(z). Solve -3*o + 4*i = -9, p*o + o - i = 0 for o.
-1
Let f(r) be the first derivative of -3*r**2/2 + 20*r - 18. Let y be f(5). Suppose 13*k = y*k + 16. Solve k*d + 3 = n, -n - 1 + 2 = 0 for d.
-1
Let m = 90 + -223. Let o = 168 + m. Solve 4*w + 29 = 3*g, 0 = 5*g + 3*w - 7*w - o for g.
3
Let n(v) = v**2 + 4*v + 10. Let o be n(3). Suppose -2*u + o - 19 = 0. Solve -3*d - 3*s = -8*s - u, 4*d - s = 8 for d.
2
Let k(z) = 2*z**2 + 18*z + 36. Let b be k(-6). Let p be 3/(-6) + 78/(-12). Let d be (-150)/p + (-72)/(-126). Solve -l + d = 5*j - 8, b = 4*l - 20 for j.
5
Let a be (-12)/(288/264) + 14. Solve -a*s = -0*s + 5*u - 17, u + 15 = 4*s for s.
4
Let a be (7 - 4)*-14*2/(-12). Suppose a*l - 7 - 14 = 0. Suppos