 10. Solve 0 = 5*c - 3*i + 1, p = -4*i - 0*i + 8 for c.
1
Suppose 0 = -61*l + 58*l. Solve l*b + 2*i + 10 = 3*b, -4*i = -4 for b.
4
Let d = 392 + -391. Solve 2*m - 6 - d = -3*o, -4*o - 3*m + 10 = 0 for o.
1
Let x = 139 + -126. Solve -5*m - 3*c + x = -c, -m - c + 5 = 0 for m.
1
Suppose 10*d = 3*d - 168. Let c = d - -27. Suppose -f + 2*f = c. Solve -f*n = 12, 4*s - 7*s - 4*n = 4 for s.
4
Suppose w = 1, 0 = 2*a - 3*w + w - 8. Solve a*o = 3*i, -7*i + 2*i = -25 for o.
3
Let i be (-102)/(-24) + (-6)/(-8). Suppose i*y = 5 + 10. Solve -4*n - 10 - 7 = 5*d, 0 = -d - y*n - 10 for d.
-1
Suppose -f - 30 = -3*n, -5*n + 9*n = f + 39. Solve 2*i - k + n - 3 = 0, -5 = -3*i - 2*k for i.
-1
Let w be (3/(-9))/(-1)*9. Suppose -5*j + 23 - w = 0. Solve -j*v = -3*z - 5*v + 5, -5*v - 17 = z for z.
3
Let h = -2 - -3. Let n(m) = m**3 - 4*m**2 + 2*m. Let j be n(3). Let y = h - j. Solve -3*z = 2*r - 13, -y*z + 2*r + r + 6 = 0 for z.
3
Let t be (-174)/(-15) - 4/(-10). Suppose -5*p = 2*w - 3*p - 42, -5*w = 4*p - 100. Solve 4*a - w = 4*o, 7*a - 4*a = t for o.
0
Let i(h) = -5*h - 28. Let b be i(-7). Solve b*d - 4*d + 4*l = 8, 2*l - 10 = 0 for d.
-4
Suppose -33 = -3*k - 3*q, -4*k + 2*q = 5*q - 43. Let o(h) = 1 - 4 + h + k. Let r be o(-3). Solve -2*x - x + 5*g = 25, -r*x - 5 = -g for x.
0
Suppose -j = 3*g - 21 + 22, -3*g + 15 = -3*j. Solve 0 = 3*q + 5*r - g + 16, 15 = -3*q - 3*r for q.
-5
Let q be 1 + 18/(-36)*(-1 - -1). Solve -2*d + q = -5*k + 8, -5*d + 5*k + 5 = 0 for d.
4
Let t be (-2)/12 - 1023/(-198). Solve z - 2 = -2*n + 3, 4*n = -3*z + t for z.
-5
Let u(i) = i**2 + 14*i + 48. Let c be u(-9). Solve -c*t - 6 = -3*r, -5*t - 10 = 3*r - 4*t for r.
-2
Suppose -5 = -3*a - 23. Let c = 15 + a. Let f = -1 - -1. Solve 3*m = -f*y - 3*y + c, 3*y = -2*m + 7 for y.
1
Suppose 2*r = 15 + 1. Suppose 12*f - r*f = 28. Solve 5*x - 3*g - f = 0, -5*g = -2*g - 3 for x.
2
Let l be (-3)/(-2) - (-1)/2. Let c be (12/(-10) + 6050/250)*1. Solve -l*t + 4*t = 3*u - 1, -u - c = 4*t for u.
-3
Let m = -6 - -9. Suppose 4*n - 6*a = -m*a - 67, -n - 17 = -a. Let t be (-12)/18 + n/(-6). Solve -t*j = -4, w + 6 = 5*w + 5*j for w.
-1
Let y = 68 + -78. Let d be 8/20*(-75)/y. Solve -x - 11 = -5*p + d, 0 = 2*x + p + 6 for x.
-4
Let o(t) = 6*t - 16. Suppose v + 0*r - 19 = -4*r, 2*v - 26 = -5*r. Let h be o(v). Solve -p - 4*j = -2*p - h, -1 = 2*p - 5*j for p.
2
Let l = -6 - -5. Let d(c) = -c**3 + 1. Let r be d(l). Let b = 4 + 17. Solve -5*m + 22 = -3*q, r*q - 1 = -4*m + b for q.
1
Let k(z) = 10*z - 14. Let b(y) = 9*y - 13. Let f(u) = 7*b(u) - 6*k(u). Let m be f(3). Solve -d - 7 = 4*d + x, m*x - 16 = 5*d for d.
-2
Let f = -1 + 5. Let g(b) = -b**3 + 4*b**2 - b - 1. Let z be g(3). Suppose r = -z, t - 2*r - 25 = -f*t. Solve 6 = -5*o + o + t*w, 3*o + 3*w + 15 = 0 for o.
-3
Let w = 44 - 37. Suppose 6*n = 2*n + 20. Let b(a) = a - 3. Let i be b(n). Solve -i*d = 2*d - 5*k - w, -14 = -5*d + k for d.
3
Let v = 9 - 5. Let a(f) = -f**3 + 6*f**2 - 7*f + 6. Let k be a(v). Let y = k - 5. Solve -y*u + 5 = -4*u - 2*w, -2*u = w - 5 for u.
3
Let g = 58 + -58. Let u be 0 - 1 - -3 - (g + 0). Solve 0 = -u*j + 3*o + 2*o + 5, 1 = -j - o for j.
0
Let y be 8/(-16)*30/(-3). Solve -z = z + 2*h - 2, -y*z = h - 5 for z.
1
Suppose -10*n = -14*n + 12. Suppose 3*p = -4*g + 11, n - 15 = 4*p. Solve -3*o + g*f = 16 + 7, -f = -4 for o.
-1
Let t be (-4)/3*(4 - 5 - 74). Let w = t + -94. Solve -y + w = 2*o - 5*y, 0 = 4*o + y + 6 for o.
-1
Let f be (-8)/6*(16 + -19). Solve -2*g = -f*b + 20, 4*b - g = -0*b + 16 for b.
3
Suppose -5*c = -3*z - 67 - 12, -3*c = 3*z - 57. Let l = 19 - c. Suppose -l*x + 2 + 6 = 0. Solve 0 = g + 3*t + 17, x*g - 19 = 5*t - 2 for g.
-2
Let t = 13 + -9. Let a be (14 - -13)/(-1*1). Let l = a + 31. Solve -5*h + 4*w + 19 = 0, -h + l*h = -t*w + 5 for h.
3
Let k(u) = -3*u + 118. Let d be k(38). Let s = 41 - 25. Suppose 0*x + 4*x + 2*a - s = 0, -d*x + 40 = -4*a. Solve 0 = -2*p - 4*q, 20 = -2*p + x*p - 2*q for p.
4
Let y be (-1 + 0)/(2/(-28)). Suppose 17*b = y*b. Suppose 0 = 4*w + 5*u - 9 - 7, b = 3*w + 5*u - 12. Solve w*n + 3*j = 1, 33 = 2*n - 0*j - 5*j for n.
4
Let j(o) = 2*o**2 - 62*o + 120. Let b be j(29). Solve d = w - b, -d + 2 = 3*w + 2*w for w.
1
Let q = -1509 - -1513. Solve q*d - 3*y = d - 18, -4*d - 12 = 2*y for d.
-4
Let l = 42 - 41. Let g be (7 + (2 - 8))*(l - -1). Solve q + g*q - 14 = -m, 3*m = -3 for q.
5
Let u be -2*10/(-12) + (-1)/(-3). Suppose u*l + 4*a + 16 = 0, 25 - 4 = -2*l - 5*a. Solve 2*d = 3*t - 13, 3 - 10 = -t - l*d for t.
5
Let o = 32 - 30. Suppose 5*w = w + 12. Solve 4*m + o*p = -26, -5*m + 4*p = -w*m - 12 for m.
-4
Let v(s) be the first derivative of -s**4/4 - 2*s**3/3 - 3*s**2/2 - s - 26. Let p be v(-1). Solve 3 - p = -3*r - 2*i, 4*i + 22 = 3*r for r.
2
Suppose 164 = -4*n + 180. Suppose n*d + 2 = 4*y - 34, 5*y - 55 = -5*d. Solve y = 2*l, -2*s - 4 = 4*l - 16 for s.
-4
Let o be ((-504)/192)/(9/(-48)). Let s be ((-2)/(-2))/(6/126). Let t = -4 - -8. Solve -u = 4*w + 1 + o, t*w + s = 5*u for u.
1
Let m(h) = -h - 4. Let i be m(-6). Solve 4*p + 18 = -t + 3*t, p = i*t - 3 for p.
-5
Let s be 0/(1*(-3 - -5)). Solve g + 2*i - 11 = s, -i = 2*g + 4*i - 27 for g.
1
Suppose -9 = -i + t, 2*i + 3*t = 7*t + 26. Solve 5*q + 0 = -4*n + 33, i*q - 5*n = 15 for q.
5
Let x = 2 + 1. Solve 3*t + 6 = 5*t - c, x*c - 14 = -2*t for t.
4
Suppose -6*g = -50 - 46. Let x = -7 + g. Let f = x + -7. Solve -f*a + 4*a - 4*k + 18 = 0, 5*k - 22 = 2*a for a.
-1
Let t(i) = -6*i**2 + 55*i - 121. Let a be t(5). Let h = -5 + 7. Solve 2*s + 4 = a*m, 4*s - h*m - 3 = 1 for s.
2
Let w = 6 + 4. Let k = w + -9. Let b(c) = 5*c**3. Let j be b(k). Solve -4*p - 1 - 2 = -i, -5*i - 10 = j*p for p.
-1
Suppose 20 = -4*u + 8*u. Suppose 6*q = u*q. Suppose 0 = 7*t - 4*t + 3*w - 3, -4*t + w = -14. Solve 29 = -t*b - 4*g, q = 8*b - 3*b - g + 10 for b.
-3
Let w(f) = f**3 - 5*f**2 - f + 5. Let v be w(5). Suppose -28 = -3*a - 3*z + 2, 0 = 5*z. Let h = a + v. Solve -4*j = r + h, j - 5*r = 6*j + 20 for j.
-2
Suppose 0*r = -r. Suppose 2*j = -t - 1, j + r = -2*t - 2. Suppose 2*f + 16 = 5*s, j = 2*f + 2*f - 3*s + 4. Solve -f*n + 2 = 0, 5 = 2*i + i - n for i.
2
Suppose -43*y + 10 = -41*y. Solve y*w + 16 = -4*k, 5*w + 0 - 20 = 5*k for w.
0
Let z(i) = 3 + 2*i**2 - i**2 + 8*i + 4*i + 0*i**2. Let m be z(-12). Suppose 0 = m*b - s - 32, b + 8*s = 3*s. Solve 2*g - c - 4 = b, 2*c = -3*g + 7 for g.
5
Let z(p) = p**2 - 9*p - 8. Let x be z(11). Suppose 0*u - 2*u = -2*k - x, -18 = -k - 4*u. Let o be 3/k*8/(-6). Solve g + 0*g + 2 = 5*h, o*g - 2 = 4*h for h.
1
Let i(f) = -4*f**2 - 3*f - 3. Let v(q) = 3*q**2 + 3*q + 2. Let o(y) = -4*i(y) - 5*v(y). Let z be o(5). Solve -3 = -p - 5*k, 4*p = -0*k - k + z for p.
3
Let d(t) = -5*t - 3. Let u be d(-1). Suppose u*i = -l + 213, 5*i - l - 207 - 315 = 0. Let n be (i/(-20))/((-6)/16). Solve -h = -2, 0*h = 3*r - 4*h + n for r.
-2
Suppose -4*g - w + 6*w = 17, w = 5. Let a = g + 0. Suppose 375*u - 377*u = -6. Solve 3*i = a*j + 4, -5*i + i + j = u for i.
-2
Suppose 3 = 3*h + 3*k, 4*k - k = -4*h + 8. Let p be 2 + (16 - (-1)/1). Solve -4*s = 6*i - i + p, 13 = -h*i + 2*s for i.
-3
Suppose 8*f - 28 = f. Let k be 0/((-4)/(16/f)). Suppose k*d = -3*d + 33. Solve -a - 7 = -2*s - 0*a, 2*s + 3*a = d for s.
4
Let a = 14 - 8. Suppose c + a = -2*q, -17 = -5*c + 4*q + 9. Suppose 4*l = -c*t - 10 + 2, -4*t = -2*l + 16. Solve u + 1 = 0, p + l*u + 6 = -u for p.
-5
Suppose 2*o = o + 11*o. Solve o - 5 = -4*c + n, -22 = -5*c - 4*n for c.
2
Let a = 30 - 28. Solve 0 = 4*o + m - 10, o = 5*o + a*m - 8 for o.
3
Let k(d) = d**2 + 8*d + 3. Let h be k(-8). Let v be (-52)/(-12) + h/(-9). Solve -4 = v*a, 0*o = o - 2*a - 5 for o.
3
Let s = -21 - -16. Let h = s + 3. Let w(x) = x**2 - x + 2. Let g be w(h). Solve k - 6 + 0 = -4*t, -t - 5*k - g = 0 for t.
2
Suppose 6 = w + 8*c - 10*c, -c + 3 = w. Let i = 5 + 0. Solve -4*r + w*t = 28, -i*r + t - 27 = -2*t for r.
-3
Let g = 2486 + -2474. Solve -g*q = -7*q + 3*y + 1, 2*y = 6 for q.
-2
Let y = -153 - -156. Suppose -4*l = -2*l + r - 1, y*l + 4*r = -11. Solve 0 = 4*x - 2*o + 10, 2*x + 8 = 3*x + l*o for x.
-1
Suppose -6*k + 9*k - 111 = 0. Suppose -k*l = -36*l - 3. Solve 15 = l*z + 2*g + 2*g, 2*z - 5 = -g for z.
1
Let f = -23 + 31. Solve -4*x - t = t, 0 = -2*x - 5*t + f for x.
-1
Let n = 108 + -102. Suppose -l + 7 = -n. Solve 2*h = -0*v - 3*v + l, -1 = h for v