= 4*k for k.
1
Let t be (((-1872)/(-182))/(-9))/((-1)/(7/2)). Solve 0 = t*c - 5*i - 0*i - 23, 3*c + 3 = -3*i for c.
2
Let z(k) be the first derivative of -8 - 1/3*k**3 + 12*k**2 + 3*k. Let m be z(24). Solve 2*c - 5*c = -m, 3*i + 2 = 2*c for i.
0
Let y be 224/168 + (-60)/(-9). Solve -2*b = -u + 9, 438*b = 439*b + 2*u - y for b.
-2
Let x = -45 + 38. Let b be x/(-21)*(-30)/(-2). Let v be 9/27 + (-78)/(-9) + -1. Solve q + i = 0, v*i = b*q + 3*i - 50 for q.
5
Let y be (-3)/(-9)*-8*(8 + 210/(-24)). Solve 0 = -4*k - y*n + 2, -2*k + 3*k = -3*n + 13 for k.
-2
Let o be -7 + (-17 + 2)*(-2)/6. Let s(p) = -p**3 - p**2 - 6*p - 10. Let x be s(o). Suppose -b + 0*b = 0. Solve -3*i - 22 = 2*g, -2*g = -4*i - x - b for i.
-4
Let l be (-1 - -22) + (-20)/(-4). Suppose 156 = 3*f + 2*n, 0 = 4*f - 0*n + 3*n - 208. Let m = f + -50. Solve 0 = 5*w - 4*k + 1, m*w + 2*k - l = -3*k for w.
3
Let v = -1541 - -1541. Solve 5*u + 27 = -2*f, v = u + 28*f - 25*f + 8 for u.
-5
Let y be 16 + 1166/(-77) + (-8)/(-7). Solve -2*d + 16 = -y*l, -4*d - l + 25 = 8 for d.
5
Suppose -h = 51*k - 52*k - 4, 3*k = -4*h + 44. Solve j - 13 = -5*l, 4*j - 16 = -10*l + h*l for l.
2
Suppose -3 = -4*b + 5. Suppose w + 21 = z + 3*z, 5*w = 7*z - 53. Solve 3*m = 4*f - z, b*m - 5*f + 3 = 5 for m.
-4
Let q(f) = f**3 + 16*f**2 + 17*f + 26. Let l be q(-14). Let j = l - 177. Solve 5*n - j*r = -r - 1, 4*r - 13 = -n for n.
1
Suppose 3*h = -4*q + 74, 4*q = -5*h + 7*h - 56. Solve -5*y + 254*u - 256*u = -18, -3*y = 5*u - h for y.
2
Let x be 104/20 + 32/40. Let k be (2 - -2)*x/12 - -1. Solve k*j + s = 8*j - 15, 0 = 4*j + 5*s - 12 for j.
3
Suppose 244*b - 8028 = -2904. Solve t + 4*h + 8 = 0, -h - b + 19 = t for t.
0
Suppose -4*l + 13 = h, -4*l - 3*h + 9 = 2. Suppose 0 = -5*c + l*j - 8, -3 = -4*j + 5. Solve 0 = -v - 2*s - 8, -2*v = -c*v - 4*s - 16 for v.
0
Let q(y) = -y**3 - 26*y**2 + 98*y + 324. Let w be q(-29). Solve 2 = 4*s + 387*z - 385*z, -w*z + 15 = 0 for s.
-1
Suppose 3*r - 320 = 5*t, 3*t - 10 = 2*r - 223. Let n be (r/(-60))/(1/(-4)). Solve 4*d - 20 = 0, 3*a - n*a + 3*d - 15 = 0 for a.
0
Suppose 32 = 5*h - l, 382*l - 53 = -5*h + 386*l. Solve t - h = -c, 3*t = 205*c - 207*c + 15 for c.
0
Let l be 1122/396 + (-13)/(-6). Solve -12*f - 3*m = 72, 4*f = l*m - 7*m - 28 for f.
-5
Suppose -8 = -5*i + 32. Suppose 0 = 36*s - i*s. Solve -2*l = -3*x - 0*x + 2, s = x for l.
-1
Suppose 5*v = -1 + 41. Suppose -72 = -n - v*n. Solve 5*p + n = 4*p + 3*b, 4*p - 5*b + 18 = 0 for p.
-2
Suppose 12*v = -20*v + 36 + 124. Solve 0 = v*u + 2*w, -5*u + 24 - 4 = -2*w for u.
2
Let n be (-1)/((-3)/132 + 0). Let o(l) = -41*l. Let f be o(1). Let d = n + f. Solve 2*x = -u - 3*x - 15, -2*x = -d*u + 6 for u.
0
Let d be -227 + (6 - (1 + 0)). Let y be 4/(-14) + (-1)/42*d. Suppose 5*f + 1 = -4, -4*f - 124 = -5*p. Solve 2*k - h - 3*h + p = 0, -y*k - 5*h + 15 = 0 for k.
-2
Let u(d) = 4*d - 20. Let s be (-9)/2*(-10 - -8). Let n be u(s). Solve 2*p + 2*a = 7*a - 8, 4*p = 3*a - n for p.
-4
Let n(r) = r**3 - r**2 - 14*r - 30. Let h be n(5). Solve -12 = 4*a + 2*i, -54*i + 55*i + 4 = h for a.
-1
Let t be (8 - 711/45)*-5. Solve -5*d = -3*a - 5, t = 4*d - 3*a + 38 for d.
4
Let u = -36 + 37. Suppose 5*h = 0, -h + u = -4*q + 9. Suppose -q*f + z + 4 = -3, 0 = -3*f - z + 13. Solve 4*s - 2 = s - 5*m, -f*m = 5*s - 12 for s.
4
Let d be 5*(-6 + (-63)/(-54)*6). Solve 0*h = -h + d, -i - 17 = -4*h for i.
3
Let g be -7 + -5 + (15 - 5). Let w be (3 - 4 - -6) + g + 2. Solve -3*l + 6 = 0, -w*l = -2*d - 3*l - 4 for d.
0
Suppose 5*j = -5*l + 15, -3*j - 2*l - 1 = -13. Let q be (-30)/120*(-3)/(j/32). Solve s + 0*s + 15 = 4*u, q*u - 25 = -s for u.
5
Suppose 145*r - 45 - 680 = 0. Solve -2*v + 3*v + 1 = -3*h, -r*v - 5 = h for v.
-1
Suppose -2*m + 50 = 2*z, -4*z + 80 = 8*m - 5*m. Suppose 19*p = 58 - m. Solve -3*w = g, -5*g = 5*w - p*w for g.
0
Let k(y) = -y**3 + 50*y**2 + y - 40. Let u be k(50). Solve -2*b = -4*a - 24, -3*a - u = -4*b + 18 for b.
4
Let s(r) = r**2 + 19*r + 28. Let h be s(-21). Suppose h*t = 72*t - 10. Solve 5*p - t*l - 5 = -0*l, -5*l = -4*p + 4 for p.
1
Suppose j = w - 0*j, -5*j = 3*w. Suppose -23 = -5*b - 2*m, -8*m = -3*b - 10*m + 13. Solve w = 4*z - 2*z + 5*a - 35, z + b = 2*a for z.
5
Let w = 233 - 226. Suppose -5*k - w = -4*z + 15, 13 = 5*z + k. Solve -7*d + z*i + 22 = -2*d, -d + 8 = 3*i for d.
5
Suppose 5*o - d = 4*o - 28, 2*o + 66 = -3*d. Let f = -67 - -118. Let h = o + f. Solve 0 = 3*u - 4*s - h, -3*s + 0*s - 6 = u for u.
3
Let n = -686 - -321. Let f = n + 398. Suppose -3*i + 4*i - 2 = 0. Solve 2*y - 7*y + 4*v = -40, i*y - 5*v = f for y.
4
Let y be 10/(-7)*826/(-295). Solve 4*o = -2*u, -4*o = u + 2*u + y for o.
2
Let h = -4 + 7. Let q be ((-40)/12)/(-2)*h. Suppose -q*l + 181 - 21 = 0. Solve -l = -4*u - 4*b, b - 15 = -4*b for u.
5
Let a = 13208 + -13206. Solve -2*c + v = -3, 5*c - a*v = -30 + 40 for c.
4
Let n be (87/9 + -3)*(-24)/2. Let l = n - -83. Solve 2*r = 5*c + l*r - 17, -5*c + r = -23 for c.
4
Let y(g) = -4*g + 10. Let l be y(-3). Suppose 3*q - 5*w - 12 = 0, -w + l = 3*q - 8. Suppose q*s - 33 = 3. Solve -5*a = -d - 1, s*d - 5*a + a = -4 for d.
-1
Let q = -24 + 34. Suppose -2988 = -4*o - 2976. Let s(c) = 23*c**2 + c. Let y be s(1). Solve 0 = 5*i + 5*t - q, 6*i = o*i + 3*t - y for i.
-3
Let t(c) = -c + 12. Let d be t(4). Suppose -13 - d = -3*i. Solve -i = k + 2*j, -2*k + 2*j + 2 = 2*k for k.
-1
Suppose -3*p - 9 = -4*r, -5*p - 1448*r + 1 = -1452*r. Solve -n = -s - 2 + 9, -3*s + 5 = p*n for n.
-2
Let j(v) be the second derivative of v**3/6 + 3*v**2/2 + v. Let a = -6181 - -6181. Let q be j(a). Solve 4*l + 0*l = c + 10, 2*c = q*l - 10 for l.
2
Suppose -4*k + 22 + 15 = 3*m, -3*m + 41 = 5*k. Let c be 207/483*(m - 0). Solve 9 = 2*o - c*h, 15 = o - 4*o - 5*h for o.
0
Suppose 7*g - 3472 = -117*g. Solve -19 = -3*u - 4*z - g, 4*u + 5 = -3*z for u.
1
Suppose 4*l - l - 15 = 0. Let o(t) = 6123*t + 42865. Let a be o(-7). Solve a*p = -l*f - 5, 0*p = f + 4*p + 1 for f.
-1
Suppose 61*q + 55*q - 264 = 50*q. Solve -q*r = 4*g - g, 5*g - 32 = 4*r for r.
-3
Suppose 0 = -36*f + 170 - 26. Solve -4*g + 24 = -f*d, -g - 6 = -0*g + 5*d for g.
4
Let o be ((-3)/9*0)/(-2 - -3). Suppose o = -z + 6*z - 265. Let x = -53 + z. Solve x = -5*c - q + 24, 17 = 2*c + c - 2*q for c.
5
Suppose -3*f = 15, 0 = 3*g - 5*f - 281 - 452. Let z = -218 + g. Solve -5*n - 6*y + 4*y = -21, 0 = 2*n + 4*y - z for n.
3
Let o = 3579 + -3572. Solve 5*q - o = 4*q + 2*x, 2*q - 10 = 2*x for q.
3
Suppose -135 + 103 = -8*a. Suppose 5*h = -3*k + 7, 2*h = -2*k + a*k + 6. Let d = 14 + -10. Solve -5*i = 5*t + 30, t - 3*i = -d*t + h for t.
-2
Let u(a) = 9*a - 85. Let b be u(10). Suppose 4 = b*p - 16. Solve p*c + 2 = 5*z, -4*z + 2*z + 4*c = 4 for z.
2
Let d be ((-16)/(-18))/(44/198). Solve 4*y + d = 0, -13*p - 5*y = -8*p - 20 for p.
5
Let o = -1756 - -1756. Solve 3*x - w = 13, -3*x + 8*x - 5*w - 35 = o for x.
3
Suppose 18 = -111*i + 18. Solve i = 4*n + 2*p - 8, -7*n + 5*p + 40 = -2*n for n.
4
Suppose -35*q - 60 = -50*q. Suppose 8*j - 21 = j. Solve -4*m + 5*v = -13 + 32, q*m - j*v = -13 for m.
-1
Let z(i) = i**2 + 22*i - 82. Let y be z(4). Let k = y - 22. Solve 5*a = 3*w + 13, -2*a + 4*w + 5 + 3 = k for a.
2
Let t be (-2)/(-5*10/200). Solve 0 = 2*p - 5*u, -t*u - 2 = -2*p - 4*u for p.
5
Suppose j + 5*v = 19, 5*v = 9*v - 12. Solve 2*h + 3*f - j = 2*f, -3*h + f = 9 for h.
-1
Let y(f) = -f**3 + 5*f**2 - 17*f + 219. Let b be y(7). Solve -b*v + 8*d - 3*d = 29, 5*v = -2*d for v.
-2
Suppose 2*w - 5*w - 31 = -5*q, -4*q - 2*w + 38 = 0. Let b = 134 - 136. Let o be (-64)/(-6)*(1 - b). Solve s + q = -d, -4*d = 3*s + d + o for s.
-4
Let q = 33113 + -33081. Solve -37*g + 1 = -2*l - q*g, 1 = 2*l - 3*g for l.
2
Let z be (-2)/(-15) + 80/75 + 44/55. Solve -3*j + z = -0*g + 2*g, 0 = -3*j + g + 17 for j.
4
Let o be 2/(6/(-135)*-5). Suppose 32*m - 2*l - 11 = 29*m, l = m - 3. Solve -4*n + o = -m*f, 2*n + 3 = 5*n for f.
-1
Let c = 405 + -403. Suppose 0 = -3*f + c*v + 52, -2*v - 8 = -4*v. Solve a - 8 = -2*b, f = -0*a + a + 5*b for a.
0
Let t = 135 - 131. Solve 9 = -2*h - 4*c - 3, -t*h + 4*c = 0 for h.
-2
Suppose 6*y - 9*y + 300 = 0. Let m be (3/4)/(15/y). Solve -10 = r - m*x, 3*r + 4*x - 26 = 1 for r.
5
Suppose 14*g + 14*g + 2128 = 0. Let n = 87 + g. Solve -5*f = 4*x + 31, -3*f + x - n = 2*f for f.
-3
Let f(d) = d**2 + 2*d - 8. Let s be f(3). Supp