lve 5*q - d = 2*q for q.
4
Let u(n) be the first derivative of -n**4/4 - n**3/3 + n**2 + n + 3. Let j be u(-2). Let i be (3 + -3)/(-2*j). Solve i = 5*w - w + 8 for w.
-2
Suppose 16 + 4 = 5*z. Suppose -4*g + 22 = 5*v, 0 = -v - 2*v + z*g - 6. Suppose -b + 1 = -v. Solve 1 = u - b for u.
4
Suppose 0 = 5*b - 8*b - 3. Let q be (-24)/16*(b - 1). Solve 4*v + q = 5*v for v.
3
Suppose 0 = 3*z - 3, -2*z + 5*z + 3 = -3*y. Let k = -2 + y. Let c(q) = -2*q - 6. Let t be c(k). Solve -4 = t*i + 2 for i.
-3
Let q be 0 - -3 - 1/(-1). Solve -i - i + q = 0 for i.
2
Suppose 22 = -5*g + 52. Let v(q) = -q**3 + 6*q**2 + 4. Let c be v(g). Solve 3 = c*r - 5 for r.
2
Let r(t) = -2*t - 7. Let o(a) = 2*a + 6. Let z(p) = 6*o(p) + 5*r(p). Let f(n) = n**2 + 6*n + 6. Let b be f(-5). Let u be z(b). Solve -3*x - 3 - u = 0 for x.
-2
Suppose 5 = 5*s - 15. Suppose d = -s*q + 5*d, -5*d + 20 = 0. Solve -o - q*o = 15 for o.
-3
Suppose -6*h + 4*h - 6 = 0. Suppose 0 = s + 3*s - 12. Let r = h + s. Solve r = -0*o + 5*o - 25 for o.
5
Let z(l) = -l. Let i be z(-4). Let q be (6/(-4))/(-3)*0. Suppose -6*x = 9*x - 120. Solve q*t = -i*t - x for t.
-2
Let o(z) = -z - 1. Let t(r) = -3*r**2 + r. Let f be t(-1). Let h be o(f). Solve 0*n + 6 = -h*n for n.
-2
Let a be (3/1)/(6/8). Suppose 0 = -4*g, -g = 4*q + a*g - 20. Solve 2*c - q*c - 6 = 0 for c.
-2
Let a(i) = 4*i + 4. Let b be a(0). Solve 4*n - b + 0 = 0 for n.
1
Suppose h = -0*h. Suppose 0 = -h*o - o. Suppose -3*f = -11 - 13. Solve 4*t = -o*t - f for t.
-2
Suppose w - 2*j = 6, -w - 4 = -0*w + 3*j. Suppose 0*s = w*s. Solve -2*d = -s*d for d.
0
Let i = -24 - -44. Suppose 0 = 5*h - i. Solve 3*c + h = 4*c for c.
4
Suppose 2*s - 6*s = -2*g + 24, -s = 5*g - 104. Suppose 5*m = -20, -3*m - 23 = -5*q - m. Solve 0 = -q*c + 8 - g for c.
-4
Let k = -12 + 20. Solve 2*h + 2*h = -k for h.
-2
Suppose 0 = -0*s - s - 6. Let l(j) = -j - 6. Let u be l(s). Solve 2*q + 0 - 2 = u for q.
1
Let o = -5 - -5. Suppose 5*m - 5 - 20 = o. Let u(h) = h - 3. Let j be u(3). Solve m*v + 12 + 13 = j for v.
-5
Let b = 22 - 31. Let w = -3 - 0. Let c be 8 - w/(b/6). Solve -4*n + c - 22 = 0 for n.
-4
Let u(m) = -m - 4. Suppose c + 4 + 0 = 0. Let f be u(c). Solve 4*a = -f*a for a.
0
Let d = -3 + 7. Suppose 0 = y - d*y + 24. Solve 4*o - 28 = -y for o.
5
Let m be ((-42)/(-35))/(9/60). Solve 5*w - w = m for w.
2
Suppose 4*f = -2*v + 26, -4*v = -0*f - 5*f + 52. Let n(h) = h**2 - 7*h - 3. Let r be n(f). Suppose 0 = 4*b - 37 + 5. Solve r*t = 17 + b for t.
5
Let k = 42 + -40. Solve x = 1 + k for x.
3
Let q(y) = -y**3 - 12*y**2 + 13*y + 4. Let u be (-13)/(4 + -3)*1. Let f be q(u). Solve -f*w = -w - 3 for w.
1
Suppose 0 = 3*g + 4*l - 27, 4*l + 0*l = 5*g - 77. Solve -2 = 3*t + g for t.
-5
Suppose -d - 3*d = -5*l - 20, 4*d - 20 = l. Suppose 3*u - 3*y = 2*u + 7, -d*u - 4*y = -16. Suppose 0*q = -2*q + u. Solve -q*f = -f - 3 for f.
3
Suppose 5*s + s - 24 = 0. Let g be s/(-28) + (-15)/(-7). Solve -15 = -g*m + 5*m for m.
-5
Let p = -45 + 46. Let i(a) = -2*a**3 - 2*a - 1. Let l be i(-1). Solve 4 = -l*d + p for d.
-1
Let i(x) = -x**2 - 7*x + 7. Let d be i(-6). Suppose -2*z + d = 5. Solve f - z*f = 12 for f.
-4
Let c be 0*(2 - 3/3)/(-3). Let v(m) = -m**2 - 4*m - 2. Let l be v(-2). Solve c*b + l = -2*b for b.
-1
Let h(k) = -k**3 - 7*k**2 - 6*k + 3. Let x be h(-6). Solve -x*g = -2*g for g.
0
Let q be 4/(-6)*(1 - 7). Suppose 6 = 4*l - 2*l - 4*i, -q*l - 4*i - 24 = 0. Let j = l + 5. Solve j*w = w for w.
0
Let p(r) = -r - 4. Let g be ((-3)/1)/((-9)/(-12)). Let m be p(g). Suppose -2*f + k + 6 = m, 25 = 4*f + 4*k - 11. Solve -f*x + 20 = -0*x for x.
4
Let n be (-6)/4 + 12/8. Solve n = -q + 6*q + 15 for q.
-3
Let z(p) = 4*p**3 - 4*p**2 + 5*p + 3. Let b(m) = 3*m**3 - 5*m**2 + 5*m + 2. Let j(r) = -3*b(r) + 2*z(r). Let w be j(6). Solve 3*t = w*t for t.
0
Let c = 7 + 3. Suppose 2*j - 7 = -3*p + 8, 5*p + 5*j = 25. Suppose -d + 10 = -5*o + d, 5*o - 4*d = -20. Solve p*v - c = -o*v for v.
2
Let b = 15 + -15. Let j(h) = h - 1. Let x be j(3). Suppose r - x = -m + 3*r, -3*r = m - 2. Solve m*s + 8 = -b*s for s.
-4
Let q be (-96)/(-28) + (-9)/21. Solve 6 = -3*o - q for o.
-3
Let v(w) = -w**3 - w**2 + 2*w + 2. Let c be v(-2). Solve c = 5*h + 7 for h.
-1
Suppose s + 12 = 4*s. Solve 0 = 5*h - s - 1 for h.
1
Let l = 53 - 20. Suppose 3*j = 2*d + 16, 4*j - d = 4*d + l. Solve r = j - 1 for r.
1
Suppose 2*k - 4*l = -3*k + 16, 4*l + 16 = -5*k. Solve k = z + 3*z for z.
0
Let l(p) = 3*p + 27. Let g be l(-8). Solve -g*n = -7*n for n.
0
Let x be (-6)/15 + 144/10. Let j = x + -10. Solve 1 = -3*h + j for h.
1
Suppose 4*c = b + 1, 5*c = b + 3*c - 7. Solve x - b = -4*x for x.
3
Suppose 0 = x + 3*z + 3, -11 = -4*x + 2*z + 19. Suppose -2*w - 5 + 3 = h, -3*w = 3*h + x. Solve -2*i - 1 + 3 = w for i.
1
Suppose 0 = -3*k, l + 5*k - 52 = 2*l. Let g = l - -81. Solve -5*v = g - 4 for v.
-5
Suppose 21*l = 22*l - 25. Let j(q) = -q - 6. Let m be j(-7). Suppose -z + 3*g = m - l, 5*g = 10. Solve -5*i = -5 + z for i.
-5
Let x be (-3)/(-2) + (-15)/10. Solve 2*b = -x*b - 6 for b.
-3
Let w = -2 - -2. Suppose 0 = 2*r - 4*r - 6. Let a be (-6)/(-4)*(-6)/r. Solve w = a*x - x - 4 for x.
2
Suppose y - 3 = -0*y. Suppose u + 12 = y*u. Let n be (8/u)/((-2)/(-3)). Solve n - 7 = g for g.
-5
Suppose 36 = -5*r + 2*g, -3*r - 22 = -r + 3*g. Let j = r - -8. Solve 4*z - 6*z + 6 = j for z.
3
Let d = 56 + -52. Let w(r) = -2*r + 7. Let k be w(5). Let q be 13/3 + 1/k. Solve d = -q*b - 4 for b.
-2
Let s(i) = -i**3 + 9*i**2 - 9*i - 9. Let r be s(8). Let g = 23 + r. Solve -6*c - g = -4*c for c.
-3
Suppose 31*t = 38*t - 28. Let w be (0 - -5*1)/1. Suppose -w*c - 14 = -3*o + 6, 4*c = 3*o - 16. Solve o = -m + t + 1 for m.
5
Suppose 0 = -10*d + 6*d. Solve 3*s = 3 - d for s.
1
Suppose -4*s + 49 = -27. Let c = s + -18. Solve -a - c = -4 for a.
3
Suppose 8 = -4*z, 0 = -2*p + 2*z + 2 + 8. Solve 2*x = p*x for x.
0
Let z = 8 + -4. Suppose 3*x + 2*h = x - 2, 0 = -4*x + 4*h + z. Suppose 4*d = -x*d + 20. Solve 0 = -d*l - 5 - 5 for l.
-2
Let w be 6/4*(-30)/(-9). Solve -w*h = -15 - 5 for h.
4
Suppose -5 = -5*c + 5. Suppose 10 = -2*l + 2*m, 2*l = -2*m + 6*m - 12. Let d(r) = -r**3 - 3*r**2 + 2*r - 4. Let b be d(l). Solve -c*a + 8 = -b*a for a.
-4
Suppose 2*z + 0 = 6. Let h = z - 3. Solve 0 = -h*j + 2*j for j.
0
Suppose 16 = j + 6. Solve -j = -7*y + 2*y for y.
2
Let j(a) = a**3 - 13*a**2 + 13*a - 10. Let u be j(12). Suppose 0 = 6*w - u*w. Suppose 2*m + 1 - 7 = w. Solve m*n - n = 2 for n.
1
Let g(b) = 3*b + 2. Let y be g(1). Suppose 8 = -4*d + 6*d. Solve y*s = -1 - d for s.
-1
Let r = -1 - -1. Suppose 0 = 39*o - 42*o + 15. Suppose r*b + o*b - 50 = 0. Solve b = -l - 4*l for l.
-2
Let o(j) = 4*j + 28. Let k be o(-6). Solve 0 = -0*w + k*w for w.
0
Let u = 25 - 22. Solve -x - u = -1 for x.
-2
Suppose 6*o - 1 = 29. Solve o*a + 13 = 3 for a.
-2
Let z(w) be the third derivative of w**7/2520 - w**6/180 - w**5/20 - 2*w**2. Let o(n) be the third derivative of z(n). Let t be o(4). Solve y = t*y + 15 for y.
-5
Suppose -2*g + l = -2, 12 = 2*g - 6*g - 2*l. Let o(w) = -w - 1. Let j be o(g). Solve -4 = -j*k + 4*k for k.
-1
Let d be 1/(1/(-2)) - -4. Suppose -2*u - 8 = 5*p, -2*u + 3*u + 4*p - d = 0. Let k be 3/(-2 - u/6). Solve -4*g = k + 3 for g.
-3
Let s(w) = w + 0*w**3 + 3*w**2 - 3*w**3 + 4*w**3. Let x be s(-2). Solve -3*k = -x*k for k.
0
Suppose 0*k - 5*k + 64 = 4*n, -2*n + 2*k + 32 = 0. Let v = 16 - n. Suppose -2*x = o - 25 - 0, 2*o = 2*x - 22. Solve 4*y + v*y = -x for y.
-3
Let q be 2/4 + (-102)/12. Let n be (5/2)/(q/(-16)). Solve 2*i - 3*i = -n for i.
5
Let w be 3*((-5 - -2) + 5). Let a = -6 + w. Solve a = g + 3*g + 12 for g.
-3
Suppose g - 12 = -m, 0*g + 2*g - 4*m + 6 = 0. Let v = g - 4. Solve -h - 4 = -v for h.
-1
Suppose 2*b - 42 = -0*b. Let t be 30/(-2)*b/(-35). Solve 4 = r + t for r.
-5
Let s = 3 + -1. Let c be 2/7 + (-2)/7. Suppose -5*u + 0*u = -5. Solve c = s*p + 1 + u for p.
-1
Suppose -27*l + 10 = -25*l. Solve -l*k - 12 = 8 for k.
-4
Let f(u) = -11*u**2 - u - 3. Let y(v) = 6*v**2 + v + 2. Let i(q) = -3*f(q) - 5*y(q). Let c be i(2). Solve c*j - 2*j - 20 = 0 for j.
4
Suppose -4*n + 10 + 30 = 0. Suppose 6*u = n + 8. Solve -u*m + 0 = -3 for m.
1
Let m = 10 + -5. Let i = 9 - m. Solve 0 = -5*f + 4*f + i for f.
4
Suppose 0 = 4*s - 6 - 38. Suppose f = -z + s, -4*z + 26 = 2*f - 0*f. Let v(h) = -h + 17. Let o be