-k*c. Solve 0 = -c*s + 4 - t for s.
-1
Suppose 5*n + 0*z - 25 = -5*z, 5*n - 13 = -z. Solve 3 = -n*g - 1 for g.
-2
Let m(v) be the first derivative of v**3 + 7*v**2/2 - 3*v + 35. Let r be m(-3). Solve 7*z - r*z = 0 for z.
0
Suppose -3*k + 2 = -10. Suppose -77*s - 31 = -193 - 146. Solve -3*c - k = -s*c for c.
4
Let u be (-44)/110 - (0 + (-306)/15). Solve 47*d - 43*d = -u for d.
-5
Let v = -241 - -262. Solve -v = 4*n - 1 for n.
-5
Let t(w) = w**3 - 6*w**2 - 6*w - 1. Let y be t(7). Suppose 0 = 5*z + 3*j - 24, 7*z - 2*z - 20 = -5*j. Solve 4*d - z = y for d.
3
Let o(v) = 2*v**2 - v - 3. Let r be o(3). Let y = 18 - r. Suppose -3*h + 2 = 5*s, h + y = -4*s + 2. Solve h = 3*c + 13 for c.
-3
Let d = 63 + -63. Suppose s - 13 = -3*r, 4*s + 4 = 2*r - d*s. Solve -f + r = 3 for f.
1
Suppose 6*b + 0*b = 24. Suppose -8 = b*f, 64 = 7*t - 4*t + f. Suppose -17*k = -t*k. Solve k*n = -2*n - 10 for n.
-5
Let m(z) = -z**2 + 7*z - 9. Let d be m(4). Let k be d/(-6) + 106/(-4). Let c = -24 - k. Solve 0 = -3*x - 0*x + c for x.
1
Suppose -40 = -4*g + 2*i + 18, 3*g - 51 = 3*i. Solve -g*t + 27*t = 0 for t.
0
Let t = 768 + -766. Solve -t*r = 1 - 1 for r.
0
Let r(d) = d**2. Suppose -3*f + 5*f = -4*f. Let w be r(f). Solve w = 4*j - 0 + 4 for j.
-1
Let d be (-1)/3 - (1 - (-19)/(-3)). Solve d = -5*f + 6*f for f.
5
Let a(u) = 133*u - 131*u - 3 - 11. Suppose -4*v + 27 = -v. Let f be a(v). Solve -3*t = -4*t + f for t.
4
Let s(l) = -5 - 4*l - 2*l + 3*l. Let k be s(-3). Solve -4 = k*q - 0 for q.
-1
Let x = 10 - 6. Suppose -4*w + 4*b = -4, 0*w - x*b = 2*w + 4. Solve 2*o + w = 4 for o.
2
Suppose -a + 4 = 1. Let n be (1/a)/((-2)/(-24)). Suppose -n*k + 2*k + 14 = 0. Solve -2*b = k - 17 for b.
5
Let r(g) = -2*g**2 - 8*g + 5. Let k be r(-4). Solve -w - k = -1 for w.
-4
Suppose 5*j - 34 + 13 = u, 3*j = -3*u + 9. Let t be (2/j)/((-1)/(-10)). Let v be -5*-2*3/t. Solve -15 = v*i - i for i.
-3
Suppose z + 25 = -2. Let t = 62 + z. Solve -5*l + 10 = t for l.
-5
Let y(l) = 2*l**2 + 9*l + 10. Let u be y(-4). Solve -14 = u*o + 16 for o.
-5
Suppose 2*i = -y + 20, 7*y = -i + 5*y + 7. Suppose i*z = -6*z + 17. Solve z = -2*o + 11 for o.
5
Suppose 5*x - 8 = 3*x. Solve -x*r + 6 = -2 for r.
2
Suppose -6*r + 3*r = -4*p, 0 = -3*p + 4*r. Solve p*h - 25 = -5*h for h.
5
Suppose i - 7 = 4*f, -5*i = -5*f - 18 - 2. Let u be (15/(-5) - -2) + 1. Suppose 3*p + p = 5*m - 14, -m + 4*p - 10 = u. Solve -i = -3*j + m for j.
3
Let w(b) = 5*b**2 + 9*b + 2 - b**3 - b - 11. Let l be w(6). Suppose v - l*g = 11, 4*v - 3*g - g = 20. Solve v*h + 7 = 1 for h.
-3
Let x be (2/(-6))/((-1)/(-9)) + 23. Let k be (6*x/(-18))/((-1)/3). Solve -k = 3*c + c for c.
-5
Suppose -2*j = -5*w - 29, -17 = 3*j - 4*j + 3*w. Let i(g) = g - 10. Let q be i(-20). Let d = -30 - q. Solve d = -l + 2 + j for l.
4
Let k = -102 + 106. Solve k + 8 = 6*c for c.
2
Suppose 0 = -14*i - i. Solve -6*m + m + 20 = i for m.
4
Suppose -65*p + 15*p = -750. Let u be 1 + 9/((-6)/(-2)). Solve h = u*h + p for h.
-5
Suppose 5 = b - 3. Let j(m) = m**2 - 9*m + 10. Let l be j(b). Suppose 0 = u - 1 - l. Solve u*f = 7*f + 8 for f.
-2
Let n(w) be the first derivative of 2 + 1/3*w**3 - 13*w + 7/2*w**2. Let x be n(-9). Solve -p = 4*p + x for p.
-1
Let v(o) = -7*o + 138. Let m be v(19). Solve -5*a - 20 = m*a for a.
-2
Let q = 314 - -433. Solve 5 = -748*c + q*c for c.
-5
Suppose -5*l - 277 = 4*k, -4*k + 6*k + 281 = -5*l. Let r = l - -61. Solve r*o - 8 = -0 for o.
2
Let s be 180/28 + 0 + (-9)/21. Solve 2*k - 5*k = -s*k for k.
0
Let t(p) = p**2 - 2*p + 2. Let z be t(3). Let d(m) = -2*m + z*m - 3*m + 13 - m. Let c be d(10). Solve 0*q = -q - c for q.
-3
Let v(l) = 2*l - 4. Let f(u) = u**2 + 7*u - 7. Let q be f(-8). Let a be (4/3 - q)*9. Let m be v(a). Solve 0 = -z - m*z - 3 for z.
-1
Let p = 25 + -20. Let s be 5/(p/(-2)) - 9. Let x = s + 13. Solve 8 = -2*w - x*w for w.
-2
Let h(l) = -3*l**2 - 8*l + 6. Let z be h(-3). Solve 0 = -s + z*s for s.
0
Let q = -17 + 28. Suppose 2*j + k = -7 + 14, -2*j + q = -3*k. Solve 2*w - j = 6*w for w.
-1
Suppose -2*i = 3*i. Suppose x + x - 4 = 0, -3*v = -3*x. Solve -b = -i - v for b.
2
Suppose -32 = -f - 11. Suppose -5*o - 80 = -f*o. Solve -o*i - 2 = 13 for i.
-3
Let x = 20 - 37. Let g = 10 + x. Let b = g + 7. Solve -2*z - 5 + 15 = b for z.
5
Suppose -z = 2*s - 5, -5*z - 5 = s - 7*z. Let p be (s + (-5)/(-15))/((-1)/(-3)). Solve -3*g = -p*g for g.
0
Suppose 5*p = -10 + 50. Suppose p = 4*i - 0. Let h be 5 + (1 - (4 - i)). Solve 0*f = f + h for f.
-4
Let v(n) = -43*n + 23*n + 25*n. Let l be v(2). Solve l = 5*c - 3*c for c.
5
Suppose 7*s - 2*s - 5 = 0. Suppose t + s + 2 = 0. Let g(m) = -m**2 - 4*m + 1. Let n be g(t). Solve -n*u = -1 + 13 for u.
-3
Let a(k) = -4*k + 64. Let x be a(12). Solve -x = -10*w - 66 for w.
-5
Let o be 8/20 + (-1508)/(-130). Solve p + o = 16 for p.
4
Suppose 5*i + 39 = 104. Let w = -18 + 8. Let x = w + i. Solve 0 = x*u - u - 2 for u.
1
Suppose -217*j = -212*j - 15. Solve j*g - 19 = -13 for g.
2
Suppose -5*k = i + 5, -5*i + 3*k + 48 - 17 = 0. Let b(h) = -13*h**3 + h**2 + 3*h + 3. Let n be b(-1). Let g = n - -9. Solve -i*s + g = -2 for s.
5
Let r = 24 + -12. Let o(v) = -2*v + 25. Let c be o(r). Solve -7 - c = -2*t for t.
4
Let z(i) = -i**3 - 39*i**2 + 2*i + 82. Let m be z(-39). Solve m*k - 5*k = -3 for k.
3
Let m(a) = -a**3 - 8*a**2 - 16. Let j be m(-8). Let h be 20 + (2 + 0)/(-2). Let f = j + h. Solve -f*i + 6 = -i for i.
3
Let x(u) = u**2 + 4 - 4 - 2 + 5*u. Let w be x(5). Let a be (w/60)/((-1)/(-25)). Solve c = 6*c + a for c.
-4
Let f(o) = -o**3 - 2*o**2 + 3*o + 4. Let b be f(-1). Solve b*q = 4*q - 4 for q.
1
Let i(b) = 2*b - 1. Let g be i(3). Let c(y) = 6*y**2 - 502*y + 6 - 7*y**2 + 506*y. Let v be c(g). Solve 0 - v = -n for n.
1
Suppose 2*c - 2 + 0 = 0, 2*h = -3*c + 3. Solve -6*k + 26 + 4 = h for k.
5
Let b = 21 - 19. Let m be (3 + 19)/b - -4. Solve m + 1 = 4*r for r.
4
Let p = 4 + -3. Let r be (-3 + p)/((-1)/(-2)). Let o = r + 4. Solve o = 4*v + 11 + 1 for v.
-3
Let s be ((-1)/2)/(10/(-20))*7. Suppose -s = -w - 3*z, -4*z - 21 = -w - 2*w. Solve -2*p = -w + 1 for p.
3
Let l = 522 - 520. Solve -l = -21*t + 20*t for t.
2
Suppose 0 = 5*w + h - 1, -9 = -5*w + 2*h + 4. Solve 0 = 5*d + 6 - w for d.
-1
Let d = 745 + -742. Solve 13 - 1 = -d*x for x.
-4
Let g = -20 - -35. Let b(w) = 3*w**3 - w**2 - 3*w - 2. Let d be b(2). Suppose 0 = -2*k - 4*f + d, -4*k - 5*f + 8 + 13 = 0. Solve -k*r = r + g for r.
-3
Suppose 10*a + 2*a - 48 = 0. Solve -a*h - 6 - 10 = 0 for h.
-4
Let q(p) = -2*p**3 + 9*p**2 + 4*p + 9. Let r be q(5). Let h be 12/8 - (-22)/r. Solve h = 5*b + 22 for b.
-3
Suppose -120 = -3*t - 12*t. Solve 0 = 10*m - t*m for m.
0
Let n(t) = -5*t - 4 + 2 - t**2 + 8. Let j be n(-5). Solve 0 = -4*u + 14 + j for u.
5
Suppose 5*t + 3*m + 5 = -0, 0 = -3*m - 15. Let i = 9 - t. Let s(c) = c**3 - 14*c**2 + 32*c + 16. Let r be s(11). Solve -3 = r*f + i for f.
-2
Suppose 0 = 4*i - 156 - 164. Suppose 2*v - i = -2*v. Suppose v = 6*s - s. Solve 0 = m + 3*m - s for m.
1
Suppose -2*o + 7 = 3*n, 0*o + 5*n = -4*o + 17. Solve o = -5*t + 33 for t.
5
Let a(v) be the second derivative of -v**4/12 + 5*v**3/3 + 7*v**2/2 + 4*v. Let c(i) be the first derivative of a(i). Let f be c(5). Solve f = t - 4*t for t.
0
Let u be 2 + 5/(5/8). Suppose 7*s - 2*s = u. Solve -s*r - 4 = -12 for r.
4
Let z(x) = 3*x**2 - 36*x + 14. Let b be z(12). Let i(v) = -v**3 + 14*v**2 + v - 13. Let j be i(b). Solve 0 = n + 2 + j for n.
-3
Let d(x) = 20 + 2*x**2 - 2*x + 2*x - 7*x - 3*x**2. Let g be d(-9). Solve 3*i = g*i for i.
0
Suppose 21 - 1 = 4*t. Suppose 0 = 5*l + 3*x - 89 - 27, -2*l = -3*x - 59. Suppose 16 = 2*r + 2*h, 5*h - l = -3*r + 5. Solve r*m + 25 = t for m.
-4
Suppose 4 = 2*g - g + 2*z, 5*g - 20 = 3*z. Suppose 5*t + 2*d = 0, 0 = 2*t + 2*d - g*d. Solve -16 = -4*n - t*n for n.
4
Let o = 42 + -136. Let x = o - -99. Solve x*q - 7*q - 4 = 0 for q.
-2
Let n = 80 + -77. Let j be n/(-2)*(-5 - -1). Solve -j*w + 3*w + 12 = 0 for w.
4
Suppose -5*v + 2*n = -17, 10*n - 5*n + 5 = 5*v. Solve -12 = -v*f + 11*f for f.
-2
Let c(s) = -s**2 + s + 2. Let u be c(1). Solve -x + u*x - 5 = 0 for x.
5
Let u(a) be the first derivative of -a**2/2 + 19*a + 39. Let b be u(14). Solve -b*s - 6 = -1 for s.
-1
Suppose 3*a - n = -201, -a = 3*a - 2*n + 266. Let i = a - -71. Solve -i*k + 12 = k for k.
3
Let p be 7 - (6 - 4 - 