 Solve -2*h + 2*k - c = -1, -31 = -2*h - 5*k for h.
3
Let j(i) be the third derivative of i**5/60 + i**4/24 + 4*i**2 + 2*i. Let d be j(-1). Solve d*l - 3 = l + 3*z, 0 = -4*l - 5*z - 12 for l.
-3
Suppose 4*f = -0*p + 3*p - 36, 3 = -f. Let v = 147 + -147. Solve v = -m, -p*l + 3*l = 2*m - 25 for l.
5
Let w be 18/5 + -3 - 24/(-10). Suppose 22*x = 27*x - 3*z - 13, 4*x - 8 = w*z. Solve 0 = 2*k - 3*i - 7, -x = -4*k + 5*i + 4 for k.
-4
Let c(t) = t**2 + 3*t - 37. Let f be c(20). Let b = 428 - f. Solve -12 = -2*z - 2*x, -26 = -b*z + x - 4*x for z.
4
Let z be 0/(-2)*(19 + -18). Suppose -4*s + 53 - 41 = z. Solve 5*t + 0*t + 9 = 4*c, -c + s*t = -11 for c.
-4
Let d(m) = m**3 - 6*m**2 + 3*m - 14. Suppose 2*g - 15 = -3. Let v be d(g). Suppose -v*z + 28 = -0. Solve 2*u - z = -5*l + 6, 3*u - 4*l = -15 for u.
-1
Suppose 887 + 445 = 12*q. Let f = 115 - q. Solve 3*a = -a + 8, f*j + 3*a - 18 = 0 for j.
3
Let w be -4*2*(-1)/2. Let y(r) = r**3 + 14*r**2 + 33*r - 68. Let h be y(-10). Solve 3*u - 21 = 3*l, -u + w = 3*u + h*l for u.
3
Suppose -4*b + 143 = 58*b + 19. Solve -9 = b*s - 3*o, o + 5 = 5*s - 5 for s.
3
Let s(u) = -u**2 + 9*u - 19. Let m be (1*2)/(14/42). Let j be s(m). Let h be (-3 + 2)*(j + 120/(-5)). Solve 0 = -l + k - 7, -5*l - 58 = -4*k - h for l.
-5
Suppose -17*p - 4 = -12*p + 3*v, 0 = -5*p - v + 2. Solve -4*g + 13 = m, 2*g + p = -17*m + 14*m for m.
-3
Let i(n) = 3*n**2 + 10*n + 11. Let c be i(-2). Suppose 2*f + 16 = 2*k, 7*f + 8 = k + c*f. Solve 2*a - k = 0, 4*z - 4*a + 12 = 4 for z.
2
Let g = -27 - -35. Suppose 4*j - 2*c - 28 = 0, -3*c - 10 = -g*c. Suppose -3*i + 0*m = m - 11, 4*i = 2*m + j. Solve 2*v - u + 11 = -0*v, v = -i*u + 12 for v.
-3
Let a(w) = 17*w - 123. Let o be a(8). Suppose 60 = o*m - 5. Solve -2*t - 10 = 0, -2*z + m*t = -4*z - 17 for z.
4
Suppose -2*p = p - 2*f + 7, -13 = -3*p - 2*f. Let a(z) = -2*z**2 - 41*z - 20. Let v be a(-20). Suppose 0*h - 6*h = v. Solve h*i = i + 3*w + 4, w = -p for i.
-1
Let v be 5/(-5)*(-4 + 1). Suppose 0 = -4*d - v*x + 11, 0 = -x + 1. Suppose -d*r - 5 = -3*r. Solve 0 = 3*l + r*y - 35, -3*y + 30 = 2*l + 2*y for l.
5
Suppose 5*b + 15 = -y, 0*y + 40 = 3*y - 2*b. Suppose -y = 2*w - 2. Let m be ((-6)/w + -1)/((-71)/(-426)). Solve 0 = -5*i - 5*k - 0 - 10, k = m*i + 2 for i.
-1
Suppose 3*w - 3 = 12. Let q(x) = x**3 + 11*x**2 - x - 6. Let p be q(-11). Suppose -w + 0 = -p*l. Solve l = -5*h - 3*m, 4*m - m + 6 = 0 for h.
1
Let z = 59 + -46. Let n be (52/(-8))/z*-12. Solve -4*u + 5*k - n = 3*k, 15 = 2*u + 5*k for u.
0
Suppose 8*p = 3*z - 28 + 26, -4*p = -5*z + 22. Solve -2*h - p = 4*v, 10*h = 3*v + 8*h - 9 for v.
1
Let z = 16 + -8. Let l(k) be the first derivative of k**4/4 - 3*k**3 + 4*k**2 + 15*k - 74. Let t be l(z). Solve 5*q = -5*w - 30, -2*q - t - 6 = 5*w for w.
-3
Suppose v - l - 23 = -6*l, -5*l = -10. Suppose 15*z + v*z - 56 = 0. Solve 3*d - 8 = z*w, 2*d - 4 = w + d for w.
-4
Let s = -3202 - -3209. Solve g + 4 - s = z, -z + 3 = g for z.
0
Let n(m) = m**3 - 11*m**2 + 10*m - 2. Let o be n(10). Let b = -178 + 176. Let t be (o + 2 + 0)/b. Solve 0*h + h = 4*q + 16, t = 5*q - h + 19 for q.
-3
Let r(u) = u**3 + 13*u**2 - 17*u + 9. Let a be r(-14). Let s = a - 42. Let j be (-1)/((-2)/s*(-15)/(-10)). Solve 20 + 2 = -3*t + 5*v, j*v = t + 14 for t.
1
Suppose 7*w = -379 + 50. Let v = w + 59. Let f(k) = k**3 + 6*k**2 + 5*k + 3. Let r be f(-5). Solve -r*s + i + 4*i - 9 = 0, v = 4*i for s.
2
Suppose -334 - 48 = -116*j - 75*j. Solve -2*x - 2*x + 12 = -2*b, -4*x = j*b - 12 for x.
3
Let b = -2099 + 1215. Let l be b/(-78) + 4/6. Suppose 4*j = s - 6*s - l, 0 = 4*j + 2*s. Solve 0 = -4*w + 3*w - g, -4*w + j*g = -30 for w.
5
Let r be 1 + 1 + 9 + -1. Suppose -7*k + 2114 = -1638. Suppose -527*i = -k*i. Solve -r = -5*a - 2*x, a + i*x - 9 = x for a.
4
Let o = 117 + -48. Suppose o + 90 = 3*q. Let a = q + -48. Solve -b - a*j + 0 = -14, -4*b + 4*j = 16 for b.
-1
Let f = 10488 + -10486. Solve 0 = 4*o - j - 11, -f*j - 13 = 90*o - 95*o for o.
3
Let m be (-8)/(-3) + (-2)/(-6). Let q(d) = d**2 - 4*d - 3. Let a be q(5). Suppose -177*v + 418*v - 256 = 225*v. Solve 0 = m*p + 2*g + v, 5*p = 4*g - a*g for p.
-2
Let a = -40889 - -40893. Solve a*m = 101*c - 106*c + 3, -3*m = -4*c + 21 for c.
3
Let i = -784 + 784. Solve -4*s + 7*w + 9 = 10*w, -s + 3*w - 9 = i for s.
0
Let t(n) = n**2 + 33*n + 264. Let s be t(-13). Solve -6*h + s = -9*h - c, -2 = 4*h + 3*c for h.
-2
Let b(n) = -1652*n + 11567. Let f be b(7). Solve 40 = d + 5*o, -4*d = -7*d + f*o - 24 for d.
0
Let w = 96 - 90. Suppose -q - 4*r + w = 0, 2*q - r + 5 = -1. Let b be 12 + q - -3*4/6. Solve -4*y + 4*d + b = 0, 5*d + 11 = 1 for y.
1
Suppose 103 = -22*m - 73. Let b be (2/m - -1)/((-20)/(-240)). Solve 3*o = a + b, 0*a - 2*o + 14 = 2*a for a.
3
Let c(b) = -9*b**3 - b**2. Let t be c(-1). Let a be (9/(-3))/(4/t - 1). Solve j - 2*s + a = 0, 3*j + s - 1 = 9 for j.
2
Let o be 80/880 + 1/(33/162). Solve -5*r - 15 = -2*y, -36*r = -o*y - 35*r + 26 for y.
5
Suppose -1 - 19 = 2*q. Let s be 8/(120/171) + 4/q. Let r(m) = m**2 - 11*m + 10. Let l be r(s). Solve -4*i - 5*d - l = 14, -i = -2*d - 7 for i.
-1
Let k(z) = 6*z**2 - 49*z - 109. Let b be k(10). Solve 16*a + 6 = -4*c + 13*a, -3*c = 4*a + b for c.
-3
Let g(z) = -z**3 - 5*z**2 + 24*z + 2. Suppose -64 = -38*h + 46*h. Let k be g(h). Solve -k - 8 = 2*c, 2 = 3*b - c for b.
-1
Let h(z) = z + 13. Let f be h(-8). Let p(x) = x**3 - 8*x - 15. Let d be p(5). Let l = -67 + d. Solve 12 = l*u, -f*u = 2*t - 4*t - 14 for t.
3
Let j(f) be the second derivative of -5*f**3/3 - 10*f**2 - 5*f. Let a be j(-2). Solve -m = 0, -2*l + a*m - m = 2 for l.
-1
Suppose 3*x = 4*x - y - 1, -2*x + 30 = 5*y. Solve j - 3 = -3*d - j, -5*j - 5 = -x*d for d.
1
Suppose -3*d + 95 = 2*d - 3*a, -3*a + 19 = d. Suppose -5*g + d = 2*m, m - 3*g + 10 = g. Solve -3*b - 7 = -0*j - m*j, -2*b - 3*j = -4 for b.
-1
Suppose -10*r + 1454 = 1434. Let m = -39 + 42. Solve 5*h = -a - 1, -6 - 5 = -r*a + m*h for a.
4
Let n be (1780/52 - 5) + 3072/208 + -15. Solve 5*m + 0 = 2*q - n, 0 = -4*q + 2*m + 18 for q.
2
Let x = 158 + -160. Let z be 49*x/(-34) - (-40)/340. Solve -z*d = h + 17, -d - 13 = 4*h + 11 for d.
-4
Let c = 9791 - 9789. Solve 6*q - 3*q = l + c, 4*q + 14 = -2*l for q.
-1
Suppose g + 2*r + 9 = 0, 3*r = 23*g - 27*g - 1. Solve -3*y + 6 = -3*p, 3*p = g*p + y + 7 for p.
-3
Suppose 23 = 2*r - 1307. Let m be 6/57 - (-7910)/r. Solve 5*b = 5*z + 35, 0 = 3*z - 2*b + 29 - m for z.
-3
Let m be 2/(-11) + 806/4433. Solve -10 + 9 = -a, m = -c + a + 1 for c.
2
Let f(z) = 30*z + 1593. Let a be f(-53). Solve -3*p = 3*d + a, -2*d + d + 5 = -2*p for d.
1
Let j = -150 - -135. Let n = j + 20. Solve 5*v - 4*u = 1, -4*v + n = 3*u + 29 for v.
-3
Let y = 13579 - 13575. Solve y*h = -d, -d - 13 = -17 for h.
-1
Let f = -918 - -933. Suppose -13*o + f = -11. Solve 2 = -o*q + j, -5*q + 3*j + 1 = 2*j for q.
1
Let z = -55 + 65. Suppose -41 - z = -17*q. Solve g - 10 = 5*g - q*h, 16 = -3*g - 2*h for g.
-4
Let c be (-392)/(-294)*6*(-1)/(-4). Solve 2*h + 12 = -q - 2*q, c*q + 18 = 2*h for h.
3
Suppose l = 4*u - 14, -2*l + 3*u - 43 = -0*l. Let j = l - -24. Let d be ((-72)/20)/j - (-1)/5. Solve -2*n + 4 = 0, d*n + n - 14 = -4*f for f.
2
Let k(r) = r**3 + 20*r**2 + 62*r - 32. Let y be k(-16). Let z = 9 - 5. Suppose -z*i + 0 = -28. Solve -i*q = -3*q + 3*b - 21, y = -5*q + 5*b for q.
3
Let v(i) = i**3 + 22*i**2 - 73*i + 54. Let p be v(-25). Suppose -p*m - 1389 = -1397. Solve -5*z = 5*k - 5, -3*z = -2*k + 4*k - m for z.
0
Suppose -10*y - 11 = 24 - 55. Suppose 0 = -5*j + 17 - 7. Solve 3*v = j*v + y*l - 1, 13 = 5*v - l for v.
3
Let y = -48 + 53. Let c = 100 + -63. Let a = -35 + c. Solve 10 = -x + 2*s + a, 2*x - 11 = -y*s for x.
-2
Suppose -25*s + 1 + 16 = -83. Solve -5*z + 2*w = 3*w - 19, 8 = s*z - w for z.
3
Let b be (16/(-20))/(8/40). Let l be 74/26 + b/(-26) + 0. Solve i + l*m = -m - 15, i = 4*m + 17 for i.
1
Suppose -a - 17 = -4*l, l = -4*l + a + 20. Suppose -m - l*m = m. Let z be 6/4*(50/3 + m). Solve -3*s + 2*c + 2 - 14 = 0, 5*s - 5*c + z = 0 for s.
-2
Let p = -2685 + 2689. Solve 6*w + p*h + 14 = 5*w, 2*h = -4*w - 14 for w.
-2
Suppose 2*g = -2*i + 14, 3*g - 12 + 2 = -2*i. Let u be ((-24)/(-16))/((-18)/(-60)). Solve -5*l + 13 = 2*c - 0*c, -u*l + 4*c - i = 0 for l.
1
Let w = -6550 + 6565. Solve -3*t - w = 0, d + 21 = -2*d - 3*t for d.
-2
Let k = 65 