5, 2*c + 2*m - 2 = 0 for c.
3
Suppose 4 = -10*k + 84. Suppose -k*b = -14*b + 18. Let m be 2 + 3*b/9 + 4. Solve -9 = -w + 2*g, 2*g + 4 = 3*w - m for w.
1
Suppose 2*g = f - 9, 0 = -f - 5*g + 6 + 3. Suppose f*q - 6 = 7*q. Solve b + 9*l + 8 = 4*l, q*l + 6 = -b for b.
-3
Suppose -859*z + 909*z = 150. Solve 7 = -79*n + 82*n - m, -z*m - 8 = 4*n for n.
1
Let c be (-20460)/90 - (-4)/3. Let t = c + 229. Solve -4*j = 2*h + 6, -j - t*h + 19 = -2*j for j.
-4
Let z = -41 + 60. Let o = 19 - z. Let b(c) = -2*c**3 - 41*c**2 + 22*c + 25. Let g be b(-21). Solve -y + g*x - 9 = o, -2*y + 6*y + 3*x = -17 for y.
-5
Let d be -15 + 104/(-8) + 38. Solve -3*n = -w - n - d, 2*w + 12 = 2*n for w.
-2
Suppose 0 = -8*f + 5*g + 568 - 5, 4*g + 94 = f. Solve 0 = 3*c - m - 18, 2*m - f = 2*c - 82 for c.
5
Let l(r) = 24*r**3 + 3*r**2 - 6. Let v be l(-2). Let b be ((-2)/5)/(v/2325). Solve 5*j = -15, -2*w - 3*j + b*j = -16 for w.
5
Suppose 0 = -8*l + 3*l + n + 104, -l + 12 = 2*n. Suppose -2*c + 12 = -4*u - 16, -3*c - 3*u - 3 = 0. Solve 5*r + 5*f = l, 2*f = -r - 0*f + c for r.
4
Let z(q) = -2*q**3 - 12*q**2 - 3*q + 1. Let t be z(-6). Suppose 21*r - t*r = 6. Solve 0 = r*n + w - 11, -3*n - 2*n - 4*w + 30 = 0 for n.
2
Let x = 18144 + -18138. Solve 4*g = -66*o + 68*o + 18, g = -o + x for g.
5
Let b = -57 - -127. Suppose 3*o + b = 94. Solve 3*h - u + 2 = 0, 3*h - 20 = -5*u + o for h.
1
Let b(j) = -j**3 - 18*j**2 + 22*j + 71. Let i be b(-19). Solve 3*v - i = 2*v + 5*m, 5*m = 6*v - 9 for v.
-1
Let b(l) = l + 29. Let d be b(-9). Suppose 5*v = v + d. Solve 0*k - 3*i = v*k + 40, i = k for k.
-5
Suppose -2*y = -4*p - 18, -4202*p = -3*y - 4204*p + 11. Solve 4*h + 2 = -y*i, -3*i + 6*h - 8*h = 0 for i.
2
Let x(v) be the first derivative of -2*v**2 - 10*v + 10. Let q be x(-2). Let m be (-1)/q*-2*1*0. Solve 2*p + 4*z = 4, 0 = 5*p - m*z + z - 1 for p.
0
Let h = -12533 + 12533. Solve -5*g + 5*l - 18 - 42 = h, -5*g - 4*l = 15 for g.
-7
Let t(v) be the first derivative of -v**3/3 + 5*v**2/2 + 6*v + 3. Let s be t(7). Let o = s - -10. Solve 2*m = -5*q - 17, -5*m + 5*q + 4 = o*q for m.
-1
Let t be -39*(-1)/(-3) - -18. Solve 3*h = -2*r + 7, -h - r + 3*r = -t for h.
3
Let k be -27*5*40/(-30). Let w be k/15 + (0 - 0). Let x be (0/1)/(-17 - -19). Solve -3*m + w = x, 5*m + 1 - 5 = 4*i for i.
4
Let j be -8*2/4 - -8. Suppose -2*w + w + j = 0. Solve 0 = -4*s - 12, n + 3*s + 24 = -w*n for n.
-3
Let c(x) = -4*x**2 + 50*x - 14. Let z be c(12). Suppose -50 = -10*u - z. Solve -j - 8 = 2*v, -2*v - u - 4 = -2*j for v.
-4
Let f(g) be the first derivative of -g**2/2 - 10*g - 8. Let o be f(-16). Let i be (-10)/5 + (o - -1). Solve -a = 2*t - 4, i*a - 5 = t - 18 for t.
3
Suppose -186 = 2*m + 5*b, 67 = -m - 25*b + 29*b. Let g = -78 - m. Solve -11 = 4*u - 2*p - p, 0 = -3*u - g*p - 30 for u.
-5
Let j(t) = 3*t + 2. Let c be j(1). Suppose 2*v + 5 = 3*v. Let n = -89 - -90. Solve -2*b = -c*d - 9 - n, -2*d + v*b = -17 for d.
-4
Let b(x) = -2*x + 14. Let z = 30 + -24. Let o be b(z). Suppose -15*v = -62 + 2. Solve -o*f - 6 = v*q, 3*f + f - 4 = 0 for q.
-2
Let q(f) = f**2 + f - 6. Let t be q(7). Suppose 0 = 10*m + t - 80. Let p(s) = s**2 - 8*s + 15. Let v be p(6). Solve -m*o = 2*o - v*h - 3, -3 = 3*o - 3*h for o.
3
Let l be (-8)/(-6)*4/(-32)*-12. Suppose -2*p + 1 = -p - v, -l*p - 3*v + 12 = 0. Solve -p*q + 28 = -4*j, -2*j + j - 2*q + 4 = 0 for j.
-4
Let h(l) = l**3 - 4*l**2 - 4*l - 3. Let n be h(8). Suppose -3*a - 103 = y, 4*y + 3*a = 2*y - n. Let g = y + 122. Solve 0 = -g*b - 2*c, 0 = -b + 2*c + 2*c for b.
0
Suppose -31 = -5*x - 2*f, 192*x - f + 43 = 200*x. Solve -x*a = 2*q - 15, -6*q + q = 0 for a.
3
Let i = 1323 + -1321. Solve 0 = 2*z + 6, -i*l - 12 = -z - 5 for l.
-5
Let b be 0/((-882)/(-189)*(-6)/4). Solve -2*o - 3*r + 17 - 8 = b, 0 = -o + 4*r - 1 for o.
3
Let m be 90/20 - (1/(-2) + 1). Let y be (m - -8)/(-4) - -53. Let v = y + -43. Solve -3*n = -n - 2*z + 2, n + z - v = 0 for n.
3
Let b(p) = 55*p - 4280. Let o be b(78). Solve 0 = 3*y - 4*i - o, 20*y - 25*y + 3*i + 13 = 0 for y.
2
Let z(w) = -2*w**3 - 15*w**2 + 23*w - 34. Let t be z(-9). Let n be 180/45 + (1 + t)/3. Solve -15 = n*s, 2*s + 11 = 2*c + 3*c for c.
1
Let g(b) = -b**3 + 5*b**2 + 103*b - 579. Let j be g(6). Solve -58*h - 2*k = -63*h, 2*k = j*h - 4 for h.
-2
Suppose 0 = 6*g + 75 - 117. Let r be -2*((-11)/3 - g/21). Solve -m + 2*p = 3*m - 8, 0 = -3*m + p + r for m.
4
Let v = 6 - 19. Let c = 80 - 96. Let g = v - c. Solve 5 = k + g*o, -k = -0*k + 5*o - 7 for k.
2
Let a(k) = -k**3 + 8*k**2 + k - 4. Suppose 2*u + 5*z - 21 = 0, 2*u + 9 = -3*z + 28. Let o be a(u). Solve -o*t + 12 = t + 4*q, 0 = -5*t - 3*q + 14 for t.
4
Suppose 4*b = -3*a - 10, -3*b - 20*a + 18*a - 6 = 0. Solve b*k = -6, v + 15 = k - 5*k for v.
-3
Suppose -f - 5*y - 75 = 4*f, -28 = 2*f + 4*y. Let k be 0*(4/f + 0). Suppose k = -6*u - 1 + 31. Solve a - 3*w - 16 = u*a, 2*a = -w - 8 for a.
-4
Suppose 5*y - 100 + 61 = 66. Solve 9*z + 4*o = 6*z + y, -5*o + 6 = -3*z for z.
3
Suppose -9 = -o + 4*s, 34*s - 9 = -o + 35*s. Solve -3*r = -5*q + 10, 4*r + o - 39 = -2*q for r.
5
Let b = 183 + -181. Suppose 8*c - b = 14. Solve 3*n + 8 = 4*q, 4*q - 28 = -c*n - 0*q for n.
4
Let m(i) = -i**3 - 5*i**2 + 6*i + 6. Let x be m(-6). Let g be (4 + 0 - 3)*(-28)/(-2). Suppose x - g = -4*c. Solve d = -4*a + 16, -c*a = -5*d - 6 - 2 for a.
4
Suppose 2*o = -f + 14, 2*f + 2*o - 15 = 5. Let i = 55 - 61. Let c = i + f. Solve -3*t - 24 = -4*b, -b + 3*t - t + 11 = c for b.
3
Suppose -146*r + 118*r = -336. Solve -5*a - r = k + 7, -2*k + 14 = -3*a for k.
1
Let z = 212 + -212. Suppose -7*g + 12*g - 15 = z. Solve g = 5*o - 3*n - 3, -3*n = o - 12 for o.
3
Let u = 852 + -850. Suppose -u*h + 50 = 6*v - 0*h, 2*v = -2*h + 10. Solve -m - v = 4*n - 2*n, -n - 5 = 5*m for n.
-5
Suppose -20 = -4*u + 4*j - 4, 32 = 5*u + j. Suppose 0 = x - 0 - u. Let f = 345 + -340. Solve 2*k = 4*q - x, 4*k = f*q - 4*q + 16 for k.
5
Let y be 8/(-5)*(-575)/230. Solve -4*r = 4*j - y, -3*r - 71 + 66 = -j for j.
2
Suppose 4*a - 164 = -47*u + 43*u, 0 = -5*u + 5. Let q = 799 + -796. Solve 2*r - 15 = q*f + 2*f, -5*f - a = 3*r for r.
-5
Let i be 0/1 - (-11 - -8). Let j be 0 - -5*5*i/15. Solve -2*t - 16 + 0 = j*m, -5*t = -5*m + 5 for m.
-2
Let l be ((30/8)/3)/(33/132). Suppose -3*d = l*u + 20, -11*d + 6*d = 5*u + 20. Solve -t - 5*p - 1 = d, -p - 3*p = t for t.
4
Let r = 10637 + -10633. Solve -6*j + 9*j + 21 = 3*z, -r*z = -2*j - 22 for j.
-3
Suppose -490*h = -257*h - 248*h + 30. Solve 5*i = h*a - 18, -3*a + 14 + 6 = -4*i for a.
4
Let a be -4 + 1 + (6 - 3). Suppose 2*t + 3*t - 25 = a, -9 = 2*n - 3*t. Solve -3*j - 5*g = -4, n*j + 2*j = -2*g - 6 for j.
-2
Suppose -2*l = -4*a - 1344, 696 = -18*a + 16*a - 5*l. Let n = 343 + a. Solve 2*g + x = 8, 2*x = -n*g + 5*x - 2 for g.
2
Suppose 5*c - 3*w + 2*w = 15, -24 = -c - 4*w. Suppose c*o = -2*i + 7*i - 28, i - 5*o - 14 = 0. Solve 0 = 3*f + i*n + 10, -2*n + 1 = -3*n for f.
-2
Let j = 45 + -38. Let d = -5 + j. Suppose -14 = -d*r - 6. Solve 4 = 4*v - r*p, 0 = -p + 5*p - 16 for v.
5
Let s be (12 + (-1320)/75 + 4)/(1/(-5)). Solve -4*j = s, -6*j + 7*j = -4*w + 10 for w.
3
Let j be ((-3)/(-2))/((-23)/230). Let b be 9 - (2 + 6*(-10)/j). Solve 2*o = -q - 3*q - 16, -b*o + 5*q = -31 for o.
2
Let w = 13 - 10. Let z(i) = i**3 + 5*i**2 - i - 8. Let k be z(-4). Let m be 2/k - 267/(-18). Solve 4 = -w*t + 2*g, 5*t + 2*g - m + 43 = 0 for t.
-4
Let c be (100/3)/((-1)/((-15)/10)). Suppose 0 = -y - 47 + c. Solve -3 = -3*j - y*o + 4*o, -5*j + 5 = -o for j.
1
Let d = -21 + 26. Suppose -12 = d*m - 8*m. Let u(x) = x**2 + 4*x - 9. Let q be u(-6). Solve -4*s + 1 = 2*n - s, q*n + 2*s = m for n.
2
Let z = 35624 + -35599. Solve 5*b - 2*o + 12 = -4, 5*o - z = 5*b for b.
-2
Let w = 110 - 49. Let p = -34 + w. Solve 3*o - p = 3*m, 3*m - o + 22 = 5 for m.
-4
Let b(h) be the third derivative of -h**6/120 - 2*h**5/15 - 2*h**4/3 - 4*h**3 - 4*h**2 - 13. Let d be b(-6). Solve d = o - 5, -k + 6*o - 23 = 2*o for k.
-3
Let x be (-254)/(-28) - 5/70. Solve 3*g = 2*n + x, 3*n - 4*n = g + 2 for n.
-3
Suppose -3*h - 4*g + 12 - 143 = 0, -2*h = 5*g + 85. Let c be (-86)/(-18) + (-10)/h. Solve 3*o - 2 = -5*t + 10, 5*o + c = 0 for t.
3
Suppose -8 = -2*o - b, 4*o = -6*b + 5*b + 12. Suppose -o - 97 = -3*a. Suppose 13 = k + 2*x, k - 3*k + a = -3*x. Solve -k = 3*s - 3, 0 = -z + 3*s + 9 for z.
-3
Let g = 