9))/(7/168). Suppose 6 = s*z - 6*z. Solve -z*k = 2 - 5 for k.
1
Let r(s) be the second derivative of s**2 - 1/20*s**5 + 0*s**3 + 7/12*s**4 + 0 + 4*s. Let l be r(7). Solve 0 = -y - l*y for y.
0
Let f be (-1 - -1) + 4 + -2. Suppose -5*t = -5*g + 20, -g - f*t = 4*g - 27. Suppose -4*k + 2*u - 6 = 4*u, 0 = -3*u - 9. Solve 5*w + 0*w - g = k for w.
1
Let s = 14 - 8. Suppose 0 = k - 0*k + s. Let c = -6 - k. Solve c = 3*j - 13 - 2 for j.
5
Suppose 10 = 4*p - 6*p. Let m be 645/75 - (-3)/p. Solve -3*i + m - 2 = 0 for i.
2
Suppose 7*f + 8 = -3*b + 2*f, 5*b - 16 = -f. Solve b*y = -0*y for y.
0
Suppose 78 = 17*c - 75. Solve 11*k - c*k = 0 for k.
0
Suppose -5*j = -142 + 52. Let g be 50/j + 4/18. Let q be g*(-2 - (-7)/3). Solve o = -q + 2 for o.
1
Suppose 3*s - 135 = 8*s. Let h = -356 - -403. Let w = h + s. Solve -7*c = -2*c - w for c.
4
Let g be (-12)/(-9)*(2 + -14). Let i = g - -20. Solve -1 - 3 = i*x for x.
-1
Let x = -1885 - -1887. Solve -x*u = u - 4*u for u.
0
Suppose -76*i = -73*i. Solve -21*x + 13*x - 8 = i for x.
-1
Let l(z) = z**3 - 11*z**2 + 8*z. Let h(s) = 2*s**3 - 22*s**2 + 15*s + 1. Let u(k) = 2*h(k) - 5*l(k). Let o be u(10). Solve 4*v + 6 = o*v for v.
-3
Suppose -24*z - f = -29*z + 22, -4*z + 17 = -f. Solve -3*w = -4*w + z for w.
5
Let u(s) = -s**3 + 23*s**2 - 21*s - 16. Let r = 79 + -57. Let x be u(r). Solve x = 3*a - a for a.
3
Let q = -7 + 13. Let z = -533 + 853. Suppose -z = -17*k + k. Solve -c = -q*c - k for c.
-4
Let d(k) = k**2 + 7*k - 13. Let m be d(-9). Suppose -60 = -5*w + m. Solve w = -4*q + 1 for q.
-3
Let m = 7 - 9. Let z be m/(-3) - 44/(-6). Let o(q) = -q**2 + 7*q + 9. Let a be o(z). Solve -y + a = -1 for y.
2
Let a = 7 + -6. Let s(i) = -2*i + 20. Let c be s(9). Let j = c + a. Solve 21 - 9 = -j*y for y.
-4
Let i = -2620 - -2651. Solve i*d + 21 = -41 for d.
-2
Let d(u) = -u**3 + 9*u**2 - 8*u + 4. Let l be d(8). Suppose -l*o + 56 = -4. Solve 7*g - o = 4*g for g.
5
Suppose 3*c = 4*c - 3. Suppose r - 27 = c*r + 5*q, -4*r + 5*q = 9. Let s be 6*r/27*-3. Solve l = s*l for l.
0
Let h(l) = -l**2 + 2*l - 1. Let q be h(3). Let s(a) = 41*a**2 - 4*a + 2. Let k be s(1). Let u be q/26 - (-123)/k. Solve -g + u = 2 for g.
1
Let n = 15 + -7. Suppose -5*h + n*h - 12 = 0. Suppose 0 = -4*r - 3*f - 1, h*r - 4*f = r + 18. Solve 5*j = -r - 3 for j.
-1
Suppose 5 = -n, 6*o = 7*o - 2*n - 10. Solve -4*v + o*v = -16 for v.
4
Suppose 13*i + 108 = 407. Solve i - 13 = 2*u for u.
5
Suppose 2*c - 10 + 0 = -3*q, 5*q + c = 5. Solve 24*t - 27*t - 6 = q for t.
-2
Let m be 14/49*(-2 + 16). Let n be m/6*9/3. Solve -2*r + n = -6 for r.
4
Let d(r) = -r**2 - 7*r. Let c = -23 - -16. Let p be d(c). Suppose p*a = 2*a - 10. Solve a*s - 1 = -11 for s.
-2
Let c = -111 + 114. Let p(b) = b**2 + 3*b - 12. Let n be p(c). Solve 6 + n = -3*f for f.
-4
Let n be 6 - ((-12)/16)/(1/(-4)). Suppose -2*y + 3*f = -9, 3*y - f - n*f = 12. Suppose 0*l = -l. Solve l = -5*k - y*k for k.
0
Suppose 3*r - 3 = -33. Let p be (-8)/20 - 4/r. Solve p = t - 3 + 7 for t.
-4
Let x = 562 - 536. Solve -1 = -9*q + x for q.
3
Suppose 107*m - 93*m = 154. Solve o = m*o - 30 for o.
3
Suppose 2*r = -2*w + 284, 0 = -w + 5*r - 2*r + 146. Suppose 48 - 13 = b + 3*u, -u - w = -5*b. Solve -5*c + 4 = b for c.
-5
Let z = 36 + 11. Suppose -7*c + z + 9 = 0. Solve -6*a = -10*a - c for a.
-2
Suppose -2*b - 3*f = 14, -2*f - 42 = 2*b - 6*f. Suppose -2*c = 2*c + 52. Let n = b - c. Solve 0 = 3*t - n - 6 for t.
2
Let a(b) = -b - 6. Suppose 5*k - 5*u = -15, 0 = 3*k - 5*k + u - 11. Let j be a(k). Let q = 2 - 0. Solve 0 = -q*c + j - 10 for c.
-4
Suppose 2 = -2*w - 4*j + 10, 2*w - 5 = -j. Let d = 79 - 78. Solve w*g = -1 - d for g.
-1
Suppose w = -9 + 2. Let y = -8 + w. Let t be (-39)/y - (-18)/(-30). Solve 0*p - t*p = 4 for p.
-2
Suppose -2*i + 1 = -5. Suppose -2*g + 4*d = -0*d, -i*d + 36 = 3*g. Solve 0*w + g = -4*w for w.
-2
Suppose 0 = 7*b - 6*b - 34. Suppose 0 = -b*a + 30*a + 28. Solve a + 8 = 5*p for p.
3
Let w = 6 - 4. Let n = 3 - -4. Suppose -4*q = -2*b - 3 + n, 0 = -q. Solve -16 = -w*o - b*o for o.
4
Let a(p) be the first derivative of 2*p**3/3 + p**2 - p + 3. Let r be a(1). Suppose 15 = r*k - 3. Solve 3*g = -0 - k for g.
-2
Let h be 5 + -1 - 4 - -2. Solve 11*u + 9 = h*u for u.
-1
Suppose 5*v = 2*n - 5 + 11, 3*n + 4*v - 14 = 0. Solve 4*r = -6 - n for r.
-2
Suppose 4*c = 3*p + 3, -2*p + 3*c + c - 6 = 0. Suppose 0 = -4*q + j - 1 + 38, p*j = -15. Solve f = -f + q for f.
4
Let f = -62 + 68. Solve f = -3*u - 6 for u.
-4
Let n be (-10)/(-6) - 1/(-3). Suppose 3*y - o = 16, -y = 4*o - 1 - 0. Suppose -3*r + y*j + 15 = n, -10 = 5*j. Solve 5*a = -r - 14 for a.
-3
Let d = 87 + -69. Solve -6*x - d = 6 for x.
-4
Suppose -2*g + q - 6*q = -35, -g + 19 = 3*q. Let u be -1 + 9 - (g + -5). Solve 5*j - 2*j = u for j.
1
Let r be (-40)/8 - (-1 + 0). Let t be 3 - (-2 - r)/((-8)/4). Solve t - 1 = h for h.
3
Let a = 1275 - 1268. Solve a*o = 9*o for o.
0
Let y = 9 + -5. Suppose -4*i = -4*m - 8*i + 32, -4*m + 5 = -5*i. Solve 0 = -y*j + 13 - m for j.
2
Suppose -2*a = -4*t - 2, 3*a + 6*t = 7*t + 23. Solve 3 + a = -3*j for j.
-4
Let b(q) = q**2 + q - 7. Suppose 2*y - 6*y + 12 = 0. Let j(l) = -l + 1. Let d(n) = y*j(n) + b(n). Let x be d(-2). Solve -m = -x + 1 for m.
3
Let u be (-8)/6*72/(-32). Solve u*b = 13*b + 40 for b.
-4
Suppose 147 - 19 = 16*v. Solve v*s = 9*s - 5 for s.
5
Suppose 0 = 5*l - 3 - 27. Let o = 50 + -52. Let f be (o/(-2))/(2/4). Solve 4*z = f*z + l for z.
3
Suppose 0 = 2*p - d + 3*d - 10, 5*p + d - 45 = 0. Solve -8*q - p = -10*q for q.
5
Suppose -w + 19 - 3 = b, 5*w + 28 = 4*b. Solve -37 = 5*y - b for y.
-5
Suppose 8*l + 2352 = 64*l. Solve -37*b + 23*b = l for b.
-3
Let w = -4 + 7. Let g(m) = -3 - 2*m + w*m + m - 6. Let q be g(6). Solve 0 = c - q*c - 6 for c.
-3
Suppose 2*s = -0*w - 3*w + 29, -2*s + 8 = -4*w. Let z be (-26)/s*-1 + (-2)/(-5). Solve 4*t = z*t - 2 for t.
-2
Suppose 0 = 4*w - 2 - 6. Suppose 92 - 8 = 5*l + 4*u, 0 = -2*l + w*u + 48. Solve 11*h - 6*h = l for h.
4
Suppose 29*z = 82*z - 530. Solve -z*y + 8 + 2 = 0 for y.
1
Let m(w) = -8*w + 113. Let v be m(13). Solve 4*x - 5 = -v for x.
-1
Let n be 185/15 + 9/(-27). Let d = -2 - -2. Solve d = -j - 3*j + n for j.
3
Let f be ((-108)/20 - -5)*(-2 + -3). Let k be f/(-7) + (-270)/(-63). Solve 0 = -k*t - 0*t + 16 for t.
4
Let d = 32 - 21. Suppose -3 = -d*z + 8*z. Suppose 5*v + z = 31. Solve 0*h - v = 2*h for h.
-3
Suppose -3*f = -3 - 3. Let j(h) be the second derivative of -h**3/6 + 3*h**2/2 + 5*h. Let m be j(0). Solve -f*r + m = -1 for r.
2
Let k = 553 + -549. Solve -2*f = -8 + k for f.
2
Suppose -7*w = 254 - 359. Suppose -h + 5 = -5*z + 20, -z - 4*h = -3. Solve 8*x = z*x + w for x.
3
Let w be (38 - 2) + 2*-4. Solve -6*t = t + w for t.
-4
Suppose 0 = -3*z + z - 50. Let w = z - -19. Let p(v) = -v**2 - 10*v - 9. Let k be p(w). Solve k - 5 = 2*m for m.
5
Suppose -325*j + 21 = -318*j. Solve -j + 18 = 3*y for y.
5
Let c(g) = 4*g**2 - 12*g - 28. Let j be c(-2). Solve 8*n = 4*n - j for n.
-3
Let k(v) = -v - 9. Let x be k(-13). Let s(r) = -r**3 + 4*r**2 + 3. Let c be s(x). Let t = 6 - 2. Solve t = c*z - 2*z for z.
4
Suppose -4*x = -4*i + 48, 4*x + 4*i - 2*i = -18. Let q be (-1 - -1)/((-21)/x). Solve 2*m - m = q for m.
0
Let m = 17 - 10. Let y be 40/m + 8/28. Let d(f) = -7*f - 33. Let q be d(-5). Solve 0 + y = -q*x for x.
-3
Let j(b) = -b**3 - 37*b**2 + 3*b + 121. Let k be j(-37). Solve -k + 11 = -z for z.
-1
Suppose -l - 2*v - 6 = 0, 5*v - v + 28 = 2*l. Solve -s + 6 = -l*s for s.
-2
Let r(l) = -l**2 - 18*l + 26. Suppose -p - 17 = 2. Let c be r(p). Solve -3*a = -4 + c for a.
-1
Let p(x) = x - 2. Let u be p(2). Let a be u/2 - (-23 + 5). Let f be (2/(-4))/((-3)/a). Solve -f*h + 9 = 3 for h.
2
Let g(o) = o**3 + 3*o**2 + 19*o + 66. Let q be g(-3). Solve 0 = 4*z + 25 - q for z.
-4
Let i(o) = o**3 + 5*o**2 - 7*o - 2. Let l be i(-6). Suppose l + 12 = y. Let t(b) = b**3 - 3*b**2 - 18*b + 4. Let p be t(6). Solve 0*n = -p*n - y for n.
-4
Let x be (-1 + 2)/(-1 - (-9)/6). Let l = 39 - 24. Let u = l + -10. Solve x = u*s - 8 for s.
2
Let l(o) = -o**2 - o - 2. Let j be l(4). Let c be -1*(-202)/22 + 4/j. Solve -4*x - 3 = c for x.
-3
Suppose 8*l + 61 = 373. Let y = -10 + l. Let o = -29 + y. Solve -f - 4*f = o for f.
0
Let n be ((-2)/3)/(6/(-135)). Suppose -n = -5*m, 0*v - 2*v - m + 3 = 0. Let a(b) = -b**3 - 9*b**