 5, -b + 2 = 3*k - c*o for k.
-3
Let c = -31 + 31. Suppose c = 21*f - 17*f - 20. Solve 2*v + b = 2*b - 8, -20 = f*v + 2*b for v.
-4
Suppose c + 2 + 8 = 4*w, -w = c - 5. Solve c*h = -3*r - 6, -h - 3*h + 8 = r for r.
-4
Suppose 0 = -2*h - 164 - 6. Suppose 4*a + 351 = l, -2*a + 3*l + 2*l = 171. Let w = h - a. Solve w*i + 2*j + 3*j - 1 = 0, -7 = 3*i + j for i.
-3
Suppose 4*m = 3*k + 16, 3*m + 4 = k + 16. Suppose 5*l - 2*l - 32 = m*u, -5*l + 45 = -5*u. Solve l*q = -g - 11, g = -q - g - 1 for q.
-3
Let a be (-84)/(-462) - (-7)/((-308)/(-80)). Solve -3*u = a*u - 3*k, 2*u + 16 = -2*k for u.
-3
Let a = -3444 + 3444. Solve a = 5*z - 3*f + 13, -5*f = -f + 16 for z.
-5
Let r be (-21*2/(-3))/(-16 - -17). Suppose r*o = 23*o. Solve 5*m = -5*d, 2*d + 0*m + 5*m + 15 = o for d.
5
Suppose o - 9*u = -10*u + 2, 0 = 2*o + 5*u + 5. Suppose o*y = k + k - 13, -3 = 3*y. Solve -s - 2*s + 2*q - k = 0, -2*q + 8 = -4*s for s.
-4
Let b be (-1 - -4) + -2*1/(-2). Suppose -2*d + k + 2 = 0, -5*k = -d - b*d + 15. Let p be (-4 - (-6 - d)) + 2. Solve -i + p*o = 1, -i + 7 = 3*o + 2 for i.
2
Let c be 26/(-12)*-2 - ((-35)/21 - -2). Solve 5*d = 9*y + 10 + 12, c*y + 4*d = -16 for y.
-3
Let p be 6*(-1 + 121/22). Solve -29 = -3*v - 4*q, -2*v + p*q - 9 = 24*q for v.
3
Suppose -16 = -6*r + 4*r + 3*p, 2*r - 4*p - 20 = 0. Let a be (-13 - -13)*1/r. Solve a*m + 2*m + x = -1, -4*x - 7 = 5*m for m.
1
Let m be 4170/66 - (-6)/(-33). Let h be -7*-9*30/m. Let j = h + -27. Solve 0 = -5*g, 0 = -a + j*a - 3*g + 10 for a.
-5
Let q be (-1360)/6 - (1 + 12/(-18)). Let p be q/(-5) + (-93)/(-155). Let v = p - 42. Solve -j + 6*j + m - 6 = 0, 0 = -5*j - v*m - 6 for j.
2
Let o = 6 - -7. Let i be (-65)/(-20) - 49/(-28). Suppose -s + 2 = k, 4*s - i*k + 4*k - o = 0. Solve -f + r = -1, s*f - 5*r - 6 = -f for f.
-1
Let s be (-53)/(-3) + 2*3/18. Let j = 23 - s. Suppose n = n + j*n. Solve n = -f - 2*f - 3*w, 4*f + 9 = -w for f.
-3
Let b(g) = -3*g + 48. Let o be b(-7). Suppose 36*d = 645 - o. Solve 3*p = 5*h + d, 1 - 7 = 4*h + p for h.
-2
Let h = 1215 + -1211. Solve -h*y + 2*m = 2, 5*y - 8*m = -4*m + 5 for y.
-3
Let r = 28418 + -28410. Solve z - 3*o + r = 0, -20*o + 21*o = 3 for z.
1
Let g = 3796 + -3790. Solve 0 = g*j - 4*j + 4*k - 12, -2 = 5*j + 2*k for j.
-2
Suppose 3*x = 12*t - 7*t + 40, 0 = -5*x + 4*t + 45. Solve -5*y = 2*z + 28, x*z - z + 4 = 3*y for z.
-4
Let k = -28860 + 28862. Solve k*c = n - 6, 3*n - c + 2 = 5*n for n.
2
Suppose -10 + 28 = 9*u. Solve -3 = u*p + n - 0, 4*n = -4*p + 4 for p.
-4
Suppose 0 = -3*x - 5*d + 36, 3 = 4*d - 9. Solve -2*o = 3*a - x, -2*o - a - 4*a = -9 for o.
2
Let y = 31 + -31. Suppose y = h - 9*h + 16. Suppose 5*k - h = -2*j + 3, 0 = 4*j + 4*k - 4. Solve 0 = -4*w - 4*i + 32, w + w - 3*i - 1 = j for w.
5
Suppose 207*z - 620 = 52*z. Solve -4*d + 22 = -3*q, z*q = q - 3*d + 6 for q.
-2
Let b(v) be the third derivative of v**5/60 + v**4/6 + 5*v**3/6 - 54*v**2. Let t be b(0). Solve 2*q - 1 = -q + 5*a, -5*a + 5 = -t*q for q.
-3
Suppose -5*g + 4*m - 383 = 0, 17 = -4*m + 5. Let r = -68 - g. Solve 3*i - u + 3*u = -r, 5*i + 4*u = -21 for i.
-1
Suppose -5*i - 3*n + 1660 = 0, 801 = 4*i - 4*n - 527. Suppose -10*v + 198 = -i. Solve -5*y - 18 = 2*j - v, y - 10 = -j for y.
5
Let o be ((-19)/(-95))/((-5)/(-75)). Let k be ((-2)/5)/(17/(-1020)). Solve k - 8 = 4*y - 2*b, 17 = o*y + b for y.
5
Let b = 3 + 0. Suppose -14*p = -9 - 131. Suppose -p*n - 2*n = 0. Solve n = -4*g + 2*u - 20, -15 = -3*u - b for g.
-3
Let s be ((-22)/55)/(1/20). Let b(h) = h**3 + 7*h**2 - 9*h - 8. Let k be b(s). Solve 2*y + 9 = -2*z - 5, 5*z - 4*y + 17 = k for z.
-5
Suppose 0*l + 6 = 3*c + 5*l, -2*c - 4*l = -4. Suppose 3*p - 2*p = -c*p. Solve -4*t - r = 10, -4*t = -p*t + 4*r + 4 for t.
-3
Suppose o + 20 = 43*a - 39*a, -4*a + 4*o = -20. Suppose -h + 2*u = 6, -a*h - 9 = -u - 2*u. Solve h = 3*t - 4*n + 4, 2*n - 3 = t - n for t.
0
Let f be 3/8 + 5509/(-56). Let w = -94 - f. Solve 3*v + q = -1 - 4, 2*q = -w for v.
-1
Let j = 16 + -12. Let b = 3917 - 3917. Solve b = 2*l - j, -4*y = l - 3*l + 20 for y.
-4
Let k(o) = o - 2. Let g be k(3). Let l be (-6 - -1)/(g + -2). Let v = -29187 - -29191. Solve v*d = -d - t - 21, -4*d - 40 = -l*t for d.
-5
Let a(z) = 5 - 29*z**2 - 37*z**2 + 8*z + 64*z**2. Let m be a(4). Suppose -k - m = -2*k. Solve -8*j + 10 = -3*j - k*d, 0 = 3*j + 3*d - 18 for j.
4
Let t = 6659 + -6654. Solve -v + 5 = q, 2*q - 6*q + 22 = t*v for v.
2
Let v(t) be the third derivative of t**6/120 + 7*t**5/30 + 25*t**4/24 + 13*t**3/6 + 56*t**2. Let y be v(-12). Solve -r + 2*d + y = 0, 3*r = -r - d - 5 for r.
-1
Suppose 58 = 16*c - 13*c - 4*k, 0 = -c + 5*k + 34. Solve 3*j - 3*p - 12 = 0, -3*p = 11*j - 16*j + c for j.
1
Suppose 14 = -3*y - 2*y - 4*k, -3*y + 4*k = -30. Solve -y*j = 2*b - 18 + 28, -5*b = 20 for j.
-1
Suppose -6*p + 1 = -5*p - 6. Solve n + 11 = -3*g, -g + 19*n - p = 16*n for g.
-4
Let p = 77 + -78. Let d = 6 + p. Solve -5*a - 2 = d*h - 12, 5 = -5*h - 2*a for h.
-3
Suppose 15*y = 19*y - 140. Let r(z) = -13 + 27*z**2 - 28*z**2 + y - 18*z. Let x be r(-19). Solve -5 = -5*g - 0*g - 5*t, 2*g - x*t + 8 = 0 for g.
-1
Let f(m) = -m**2 + 38*m + 1245. Let i be f(-21). Let g be -1 + 1 - (-12)/3. Solve -s = g*s - a - i, 0 = -4*s + a + 5 for s.
1
Suppose -5*k = -d - 45 - 7, 3*d = 9. Suppose 17*v - 30 = k*v. Solve -b + 8 = -l - 0*b, -2*l - v*b = -19 for l.
-3
Let c be (10/4 + 0)*(-4)/5. Let t be 290/(-8) + c/(-8). Let p = 36 + t. Solve 0 = -5*n + 2*q - 15, -6 = 2*n - p*q + 3*q for n.
-3
Suppose -2*y - 8*r = -5*r - 171, -5*y + 2*r + 399 = 0. Let g = y + -78. Solve 0*q - g*q + 15 = -5*m, -10 = -2*q - m for q.
5
Let u(c) = c + 8. Let p be u(-4). Let z(w) = -w**3 - 7*w**2 - w - 10. Let h be z(-7). Let q be (1 - 6)*h/5. Solve 0 = 5*a - n + 7, q*a - a + p = n for a.
-1
Suppose 5*k + 5*p = -10, 106*k - 102*k - 3*p - 27 = 0. Solve 4*c = 3*c - k*d + 19, 0 = 2*c - d - 3 for c.
4
Suppose 0 = -869*u + 907*u - 76. Solve -u*g - 39*j + 43*j = 18, -3*g - 21 = -3*j for g.
-5
Suppose -4*j = -5*v + 55, -5*v + 3*j + 75 = 15. Suppose 0 = 31*k + 235 - 359. Solve v = 8*x - 4*x - h, 0 = -x + k*h for x.
4
Let t = -109 + 123. Suppose 2*d + t = -8*o + 10*o, 4*d = -12. Solve 0*j + 3*j - 3 = -3*b, 0 = b + o*j + 5 for b.
3
Let g = 562 - 543. Solve 5 = -4*y - 5*w, 0 = -6*y + y - 2*w - g for y.
-5
Let d be 5*-2*(-3)/3. Suppose -2*l = d, 0 = 5*m - 2*l + 5 - 35. Suppose m*y - 14 = -2. Solve 0 = -y*f - 3*a - 3 + 9, -f = 2*a - 6 for f.
-2
Let o = -315 - -313. Let c be (o - -1) + -2 + -6 + 9. Solve -2 - 2 = 2*a, c = t + 3*a + 5 for t.
1
Let n(s) = -4*s - 13. Let y = -1 - -1. Suppose 2*q + 13 = -5*h - 0, y = -q + 3*h - 1. Let w be n(q). Solve 2*u = -3*b - 16, 0 = w*b - 3*u - 2*u - 19 for b.
-2
Let p be ((-83)/(-5)*6)/(4/(-10)). Let l = p + 254. Solve -5*h + w + 8 = -3*w, -l*h = 5*w + 10 for h.
0
Let h(z) = -12*z + 129. Let f be h(9). Suppose -f*m = -49 - 35. Solve -m*i + 12 = 2*q, -4 + 16 = -4*q + i for q.
-2
Suppose 0 = 2*h + 5*h - 1939. Let a = h - 274. Solve -4*d + 19 = 5*c, a*d + d = -3*c + 13 for c.
3
Let s(j) = 6*j**2 + 377*j - 1525. Let a be s(4). Solve -4*d - 17 = k, k - a = 5*d - 69 for d.
-3
Let u(h) = -71*h - 2268. Let r be u(-32). Solve 15*d - 17*d = 8, 3*d = r*m - 8 for m.
-1
Suppose -79*t = -82*t + 96. Suppose 48*c + t = 64*c. Solve 0 = -4*l + j - c*j - 9, 5*j + 13 = -4*l for l.
-2
Suppose -15*n = 3*l - 14*n - 2231, 3*l + 5*n - 2251 = 0. Let r = l - 736. Solve -3*q = -4*a + 6, a - 8 = 4*q + r*a for q.
-2
Let d(z) = 12 - 1 + z + 1. Let q be d(-10). Suppose 4*x - q*x - 10 = 0. Solve 9*s = 4*s - x*u + 40, -12 = -3*u for s.
4
Let j = 2820 + -2815. Solve -2 = -5*r + 3*v, 0 = r + j*v - 6 for r.
1
Let l(p) = 27*p - 4851. Let c be l(180). Solve c*n - 21 = -3*j + 6*n, -4*n = -4*j - 4 for j.
3
Let r(i) = 2*i + 16. Let x be r(-7). Let f be (0 + 0)*(-1 + 24/16). Solve 6 = -0*k - 3*k - 4*z, -x*z = f for k.
-2
Let c = -38 + 40. Suppose -6*r + 4*r + 126 = -4*l, c*r = -5*l + 81. Let s = r - 39. Solve q = 4*w - 7, 2*w - 3*q - s = q for w.
1
Let n(c) = -58*c + 29. Let v be n(0). Suppose -7*l - v*l + 144 = 0. Solve 4*y - 2*h = -24, -3*y = -0*y + l*h + 7 for y.
-5
Let i(x) = -2*x - 4. Let q be i(-4). Suppose 2*w - 5*p - 53 = 0, 55*w = 53*w - 4*p - 28. Solve 0 = 2*s + q*g - w, g = -s + 3*s + 6 for s.
-2
Suppose -w + 22 = 5*r, -r - 2 = -0*w - 3*w. Suppose -r = -7*q + 38. Let u be (-