d(c) = -c - 3. Suppose -5*f + 7 = -4*a - 0, 0 = -5*a + 5*f - 10. Let u be d(a). Solve u = 4*k + 4 for k.
-1
Let q(a) = 4*a**2 + 18*a - 31. Let v be q(-6). Solve 39 - 24 = -v*f for f.
-3
Let j be 312/(-26)*5/(-20). Solve 0 = -j*z + 10*z - 7 for z.
1
Suppose 6*p - 46 = -0*p - 4*u, u + 13 = 2*p. Solve -6 = s - p for s.
1
Let p = 2 - -1. Suppose -p*n = -0*g + 2*g - 6, 0 = 2*n + 4. Suppose l = 4*l - g. Solve -y + 4 = l for y.
2
Let i(k) = 2*k + 6. Let d be i(4). Let a = 17 - d. Solve 0 = x + a - 1 for x.
-2
Let p be (-30)/(-3) - (-3)/(-3). Suppose 2*z - 2*q = -3*q + 12, 0 = z - q - p. Suppose 2*l + 4*h + 3 = -z, h + 25 = 4*l. Solve -n + l = 1 for n.
4
Let q = 35 - 23. Suppose -q = -6*b + 3*b. Suppose 2*s - b = 4. Solve l = 5*l - s for l.
1
Let z(f) = 3*f + 8. Let q be z(-2). Suppose -25 = -r + q*d - 6*d, 3*r = d + 10. Solve r = c + 2 for c.
3
Suppose 51 = -21*q + 4*q. Let a be (-6 + 16)/(-1 - -3) + q. Solve 2*d + 8 = -a*d for d.
-2
Suppose -2*u - o + 2*o = 2, 3*o - 6 = 3*u. Let n be (12/4 - (u + -4)) + -2. Solve n + 3 = 4*b for b.
2
Let t = -61 + 131. Suppose 20 = -69*r + t*r. Solve -7*b + r = -2*b for b.
4
Suppose -79*s = -72*s - 84. Let w = 0 + 3. Suppose -w*f - f + s = 0. Solve -z = f*z - 4 for z.
1
Suppose -13*m = 322 - 88. Let p(v) = -17*v**2 - 2*v - 1. Let d be p(-1). Let i = d - m. Solve i + 2 = -2*h for h.
-2
Suppose 0 = 4*t - 12, -2*t + 5*t - 25 = -4*j. Solve -5*u + 2*u = -j*u for u.
0
Let c(m) = m**2 + 7*m - 6. Let z be c(-10). Let f = 30 - z. Solve -5*k = -3*k + f for k.
-3
Suppose 2*b - 7*b = 0. Let n(d) = -d**2 - 3*d + 2. Let m be n(-2). Suppose -4*o + 48 = -r, 24 = m*o - 2*o + 3*r. Solve 4*j = -b*j - o for j.
-3
Suppose 0 = 2*u + 6, u - 15 = -3*a - 9. Solve 39*x - 38*x - a = 0 for x.
3
Let r = -6 - -8. Let h(x) = -x**3 - 12*x**2 + 13*x. Let l be h(-13). Suppose l = -v + 2*v. Solve 3*a - r*a + 1 = v for a.
-1
Let n(y) be the second derivative of -y**4/12 + 5*y**3/3 - 11*y**2/2 + 14*y. Let x be n(8). Solve -2 + x = -3*b for b.
-1
Let v = -688 + 697. Solve 12*g = v*g + 6 for g.
2
Let a = -33 + 35. Suppose -v = -2*v + a. Solve j = -j - v for j.
-1
Let w = 5 + -5. Suppose -3*m - m + 12 = w. Suppose -3*b = -2*b - a - 8, 3*b - 4*a = 26. Solve m*s = -0*s + b for s.
2
Let t(c) = -4*c + 71. Let r be t(17). Let f = 5 + 1. Suppose f*b = 2*b. Solve b = -n - r + 1 for n.
-2
Let k = 1760 + -1757. Solve 26*n - k = 29*n for n.
-1
Let x = -5 + 3. Let f(w) = -w**3 + 2*w**2 + w - 1. Let b be f(x). Suppose -4*k + b + 7 = 0. Solve y = k*y + 4 for y.
-1
Let y(n) = n + 20. Let b(g) = -17*g + 1. Let h be b(-1). Suppose -l - h - 1 = 0. Let z be y(l). Solve -3*q + 5 = -z for q.
2
Suppose 21 = 3*w - 3*g, -w + 0 + 4 = 2*g. Suppose -5*p = -0*p - 10. Let u be (w/(-9))/(p/(-9)). Solve a - u*a = 0 for a.
0
Let c be (-172)/(-22) + (-42)/(-231). Suppose 0 = i - 0*i. Suppose q - m = -4*m + 5, 3*q - 5*m - 1 = 0. Solve -q*y + c = -i*y for y.
4
Let f(l) be the third derivative of -l**5/60 - 3*l**4/8 + l**3/6 - 8*l**2. Let k be f(-9). Suppose o + k - 3 = 0. Solve u = -o*u for u.
0
Suppose -44*b + 39*b + 112 = 2*t, -3*b - 2*t = -68. Solve b*h + 88 = -0*h for h.
-4
Suppose 4*s - 34 = -5*z + 8*s, -3*s = -3*z + 21. Let g be (-2 + -2)/((-4)/6). Suppose 0 = -3*i + z*i - g. Solve 3 = -5*q - i for q.
-1
Let r(t) = -t - 10. Let l be r(0). Let n(j) = -j**3 - 8*j**2 + 22*j + 23. Let x be n(l). Solve x*b = -2*b + 5 for b.
1
Let h be (42/49)/(33/308). Solve 0 = -13*u + h*u for u.
0
Let j be 5*(54/10 + -5). Solve 2*n - 10 = -j for n.
4
Let k(q) = 2*q**2 + 17*q. Let t be k(-9). Suppose -t*m = 3*m. Solve -s + 0*s + 5 = m for s.
5
Suppose -10*g + 19*g - 18 = 0. Solve g*j + 3*j + 10 = 0 for j.
-2
Suppose 1009 = 51*h - 1745. Solve o - h = -55 for o.
-1
Let i(j) = -j**3 + 5*j**2 + 6*j + 8. Let x be i(6). Let h = -167 + 195. Solve -5*c - h = -x for c.
-4
Let s(w) = w**3 + 4*w**2 + 3*w + 1. Let n(g) = g**3 - 13*g**2 - 13*g - 16. Let h be n(14). Let b be s(h). Solve 3*z + 6 - b = 0 for z.
-1
Let m(s) = -6*s - 70. Let g be m(-20). Let q = g + -45. Solve -5*x = -4*x + q for x.
-5
Suppose 8 = -2*h + 6*h. Let y(f) = f**3 - 8*f**2 - f + 11. Let k be y(8). Suppose k*z = 14 + 4. Solve h*m - 5*m = -z for m.
2
Let d(f) be the third derivative of -f**5/120 + f**4/6 - 2*f**3 + 11*f**2. Let t(s) be the first derivative of d(s). Let a be t(4). Solve a = -b + 4 - 3 for b.
1
Let q be 3 + 19 + (-4 - (-10)/2). Solve -3 = 5*m - q for m.
4
Let k be (2/4)/((3 + -8)/(-130)). Let l = -9 + k. Solve 0*c = -l*c for c.
0
Suppose -3*j = -3*k - 15, j + 30 = 6*j - 4*k. Solve 8*g = 6*g - j for g.
-5
Let o be (10/40)/((-1)/(-36)). Solve 29 = 5*d + o for d.
4
Suppose -4*b + 4 + 12 = 0. Let a = -150 + 153. Solve a*s + b + 5 = 0 for s.
-3
Suppose 5*a + 2 = 27. Suppose a*d + 32 = 3*f, 3*d + 8 + 4 = f. Solve 5*b - f = 6 for b.
3
Let b(d) = d - 4. Let o be b(8). Suppose -4 = -5*y + 4*y - 5*p, 4*y - o*p - 16 = 0. Solve y*n + n = 0 for n.
0
Suppose 6*a + 8 = 8*a. Solve -3 - 9 = a*y for y.
-3
Suppose -2*a + 6 = 42. Let t be a/(-99) + 31/11. Let d be (-3 + 2)/(t/(-6)). Solve 0 = 5*j - d*j + 9 for j.
-3
Let a(z) = -z**3 - 8*z**2 - 7*z + 6. Let g be a(-7). Let y(i) = 3*i - 5. Let p be y(0). Let l(w) = w + 10. Let x be l(p). Solve -x*r + g + 4 = 0 for r.
2
Let i = 470 + -438. Solve -9*v + v = i for v.
-4
Let g(h) = h + 11. Let m be g(-7). Let k be 6/m + (-93)/(-62). Solve k*x = -x for x.
0
Suppose -5*m - 5*j - 5 = 0, 2*m + j + 5 = -2*j. Suppose f + 10 = m*s + 2, 4*f = -3*s + 23. Solve -3*w - 5 = -f for w.
-1
Suppose 5*j + 4*i - 16 - 32 = 0, -j = -4*i - 24. Solve 3*a = -a - j for a.
-3
Let p(k) be the first derivative of -4*k - k**2 - 7 + 12 + 3*k. Let u be p(-5). Solve 0 = -2*n - n + u for n.
3
Let r be -2 + 9 + (-4)/2. Suppose s = r*i - 17, 4*i - 10 = -2*s - 2. Suppose c + 8 = 3*w + 2*c, 3*c = -i*w + 12. Solve w*l - 5*l = 9 for l.
-3
Suppose 0 = -3*l + 4*b - 2, -l - 21*b = -18*b - 8. Let q = 3 - 3. Solve q*d - 10 = l*d for d.
-5
Suppose 37*w - 42*w + 10 = 0. Suppose w = -4*r + 14. Solve z = r*z for z.
0
Let r = 134 + -86. Suppose 0*o - r = 2*o. Let u = -21 - o. Solve u*v + 6 + 9 = 0 for v.
-5
Let y be ((-2)/(-2)*-1)/(22/(-132)). Solve -y = 2*v + 4 for v.
-5
Let u be 25/(5 - 15/6). Solve u*w = 7*w - 9 for w.
-3
Let q = 13 - 2. Let g = -6 + q. Suppose 0 = -0*b + g*b - 10. Solve -6*j = -b*j - 8 for j.
2
Suppose -d + 4*y + 9 = 0, 2*d + 0*d = 5*y + 27. Solve -d = 4*r - 1 for r.
-5
Let g be 18/15*40/3. Let h(v) = 3*v + 7. Let s be h(0). Suppose 12 = -3*c + 6*c - a, 4*a - s = c. Solve -c*j - 4 = g for j.
-4
Suppose 17 = -2*t - 2*t - 5*f, -5*t + 20 = -2*f. Suppose -d + 2 = -t. Let v(o) = -o**2 + 12*o - 19. Let m be v(10). Solve -m + d = l for l.
3
Let y be 36/(-21)*((-175)/10)/5. Solve 4*j - j = -y for j.
-2
Let s be 54/7 - 8 - (-4)/14. Solve s = -11*t + 6*t - 5 for t.
-1
Let t = -28 - -55. Suppose 4*k + 15 = t. Suppose -3*q = h + 3 - 10, 3*h = q + 1. Solve q + 7 = -k*w for w.
-3
Suppose -f + 9 = 3*r, -3*f = 3*r - 6*r - 15. Solve -d - f + 1 = 0 for d.
-5
Let b = -331 + 339. Solve x = -x + b for x.
4
Suppose 2*s - 16 = -5*o, 5*s + 4*o = 6*o + 11. Suppose w = s, 4*h + 5*w - w = 24. Solve 0 = 2*l + h*l for l.
0
Suppose 0 = 9*l + 11*l - 40. Solve 0 = -0*m + l*m + 6 for m.
-3
Let x be (-2)/(-6) - (-33)/9. Suppose 2*i + 0*i - 2*d - 26 = 0, 21 = i - 5*d. Let b = i + -11. Solve b = 4*s - 2*s + x for s.
-2
Suppose 2*d + 6*d - 856 = 0. Let k = 110 - d. Solve k*s = 2*s for s.
0
Suppose -3*n + 0*n = 6, -4*z = 5*n + 98. Let g = 49 + z. Suppose -g - 6 = -3*b + 3*m, 0 = -b + 2*m + 16. Solve -12 = -2*f + b*f for f.
-3
Suppose k = -o + 7, -6*o - 19 = -11*o + 3*k. Solve 10*v - o = 15*v for v.
-1
Let s(m) = -21*m - 2. Let d be s(4). Let q = d + 89. Solve -z = -2*z + q for z.
3
Let v be -6*(-5 + 3)/6. Solve -57*b = -56*b + v for b.
-2
Let o be (-3)/(-1 - 1/2). Let n = -17 + 39. Let y = n - 22. Solve 0*z - o*z - 10 = y for z.
-5
Let n be ((-1)/(-3))/(-2 + 183/90). Let p be (-6)/(-4) - (-5)/n. Let r be -1*(0 - (-24)/(-2)). Solve -r = -2*k - p for k.
5
Let b be (-2)/(-13) - 96/(-52). Suppose b*z + 15 = 21. Solve z*u = u - 2 for u.
-1
Let y(j) = 12*j - 30. Let g be y(6). Let o be 4*((-2)/10 + g/60). Solve o*v = -v for v.
0
Let j be 867/221 + 2/26. Solve -3*a - 2 - j = 0 for a.
-2
Suppose -5*y - 14 + 4 = 2*m, -4*y + 25 = -5*m. Let w be (-61)/(-7) - (-4)/14. Solve y 