e v(1). Solve 0 = -a*w + w + 2 for w.
2
Let n(p) be the third derivative of p**5/30 + p**3/3 - 2*p**2. Let k be n(2). Suppose -4 = -3*r - 2*m + 9, k = 5*m. Solve u = 2 - r for u.
-1
Let m = -2 - -7. Suppose m*u - 52 = 9*u. Let k = u + 21. Solve 2*b - 4*b = k for b.
-4
Let s(g) = g + 2. Let l be s(2). Suppose -20 = -l*u + m + 3*m, u - 9 = 5*m. Solve -u*a + 13 - 1 = 0 for a.
3
Let b be (-1 - -7)/(39/65). Solve -b = 4*g + 2 for g.
-3
Suppose -5*n + n + 4 = -5*l, 3*n - 5*l + 2 = 0. Suppose -n*x = -2*x + 20, -2 = -2*z - 2*x. Let r = z - 3. Solve 6 + r = -3*o for o.
-3
Let w = 22 + -19. Solve 8 = x - w*x for x.
-4
Let l = 6 - -10. Suppose -3*m + 12 = 4*c, 5*c - 2*m = -6*m + l. Solve -3*h + 9 = -c*h for h.
3
Let y(a) = -a + 4. Let c be y(0). Suppose 13*l - 10 = 11*l. Suppose 30 = -0*v + 2*v + 4*o, 2*v - 3*o + l = 0. Solve v*m - 3 = c*m for m.
3
Suppose -2 = 5*l + 2*q + q, 5*q = -4*l - 12. Let z be 4 + 5/(5/(-2)). Solve z*d + l*d - 16 = 0 for d.
4
Let u(m) = 2*m**2 - m + 1. Let n be u(2). Solve 4*b - 15 = n*b for b.
-5
Let g(b) = b**2 + 8*b + 6. Let w be g(-8). Let q be w/4 - 1/(-2). Suppose 2*u = 4*l - 2, 0*l - 3*l + q*u = 0. Solve -3*k = 1 + l for k.
-1
Let y(l) = -2*l - 7. Let h be y(-5). Suppose 4*p = h*d - 7, -d + 0 = p - 7. Solve d*u - 2 - 3 = 0 for u.
1
Suppose 3*m - 4*y + 3 = -y, 2*y + 1 = 5*m. Let j be 1 + m - (1 - 1). Solve -j*u + 0*u = 2 for u.
-1
Suppose -6 - 4 = -2*a. Solve o + a - 4 = 0 for o.
-1
Let j be 2*9*18/(-27). Let f = -12 - j. Solve -l = -f + 4 for l.
-4
Let y be 1 + -3 + 2/1. Suppose -5*v = 3*n - 42, 2*v + 2 = 4*n + 24. Suppose v = 4*u + 1. Solve -u*h - 2*h - 8 = y for h.
-2
Let d be 12/9 + 204/36. Solve -6*r + d*r + 2 = 0 for r.
-2
Let v be ((-9)/(-12) - 2)*-4. Suppose 0 = v*w + 2*s + 10, -2*w - s = w + 5. Suppose w = -2*y + 8 + 4. Solve 0 = 4*t - 2 - y for t.
2
Let s(f) = f**2 - 3*f - 5. Let n(a) = a**2 - 2*a - 3. Let h be n(4). Let q be (2 - h) + 10 - 2. Let z be s(q). Solve z*m = m - 20 for m.
-5
Let g be 5*(-2 - (-6)/2). Let k(u) = u + 6. Let s be k(0). Suppose -3*r + p + 6 = 0, 3 = g*r + 2*p - s*p. Solve -r = -b - 4 for b.
-1
Let n be (-12)/16*8/(-3). Let h be n*(15/6 - 2). Solve 0 = -2*r + r - h for r.
-1
Let x be (-11 - 0) + 6 + -3. Let s = 4 - x. Let k = s - 8. Solve -k*q + 0 + 16 = 0 for q.
4
Let j(h) = -5*h + 10. Let y be j(10). Let r be 2/(-5) + (-136)/y. Solve -12 = 7*t - r*t for t.
-3
Let x(w) = 2*w + 0*w + 9 - 9. Let a be x(5). Solve 2*q = -3*q + a for q.
2
Let f(p) = -p**3 - p**2 - 3*p - 3. Let m be f(-2). Suppose 3*w - m*w = 48. Let o = w + 24. Solve -8 - o = 4*v for v.
-5
Let k = -2 - -7. Solve -25 + 10 = k*h for h.
-3
Let s be (-1)/(-3) - (-1)/(-3). Let u be (3/(-3) - 2)/(-1). Solve s = -2*x + u*x + 4 for x.
-4
Let y(l) = -l**2 - 2*l + 1. Let t be y(-2). Solve 0 = n - 0 - t for n.
1
Let x(h) = -75*h**3 + h**2 - 6. Let d(r) = -15*r**3 - 1. Let a(k) = -11*d(k) + 2*x(k). Let z be a(1). Solve z = -2*q + 6 for q.
-5
Suppose -x + 2 = -0. Solve o = x*o for o.
0
Suppose -10*p = -p - 36. Solve -t = p*t for t.
0
Let s(f) = -f**2 + 12*f + 2. Let h be s(12). Let v = -20 - 13. Let u be v/(-7) + 2/7. Solve u*d + 3 = -h for d.
-1
Suppose 3*l = -6*l - 0*l. Let a = -3 + 4. Solve 4*h + a - 5 = l for h.
1
Let x(y) = -y**2 - 11*y + 18. Let n be x(-12). Solve -l - 5 = -n*l for l.
1
Let j(y) = 2*y**3 - 3*y**2 + 2*y - 5. Let g be j(2). Solve 0 = g*r - 17 + 2 for r.
5
Suppose 0 = 4*g - 5*l - 12, 0*l = -2*g + l + 6. Let v be (-64)/(-6) - g/(-9). Suppose 6 = 3*i - n, i + 8 = -4*n + n. Solve 5*y - i = -v for y.
-2
Suppose -9 = -2*f - 3. Let v be (-5)/(-3) + (-2)/(-6). Solve 0 = v*t - t - f for t.
3
Let n = -118 - -130. Solve -3*g + 0*g + n = 0 for g.
4
Suppose 4*z - 2 - 2 = 0. Suppose 2*g + 3*m = 22, g - 4*m = -2*g - z. Suppose -4*f - 4*k = -f - g, 0 = k + 1. Solve 8*a + 20 = f*a for a.
-4
Let l(d) = 6*d**2 - 4*d - 5. Let k be l(-2). Suppose -5*h = q - k, -4*h + h = -4*q - 7. Solve -a - q - 2 = 0 for a.
-4
Let o = -9 - -11. Suppose o = 5*c - 8. Solve 3*p = -c*p for p.
0
Suppose 3*x = -3*b, -2*b + 27 = -2*x + 11. Let v be (2/3)/(2/12). Let j = v - b. Solve -k - 2*k = j for k.
0
Suppose 5*i - 7*i + 108 = 0. Let k be 282/i + 6/(-27). Solve k*y = -0*y for y.
0
Suppose -5*h = 2*f - 0*f - 8, -5*f = 3*h - 39. Suppose -2*r - f = -r. Let n be 6/r*21/(-2). Solve 2*g - n*g = 5 for g.
-1
Let d(y) be the third derivative of y**7/5040 + y**6/360 - y**5/30 - y**2. Let t(p) be the third derivative of d(p). Let m be t(3). Solve m*l - 8 = 12 for l.
4
Let m(x) = x**2 + 2*x + 2. Let w be m(-3). Let d(s) be the first derivative of s**3/3 - 5*s**2/2 + 2*s + 1. Let i be d(w). Solve 3 = -i*p + p for p.
-3
Suppose -g + 7 - 3 = 0, -4*z + 20 = 2*g. Let p be (2/z)/((-4)/(-24)). Let y be p*-5*3/(-12). Solve 0 = y*l - 4 - 1 for l.
1
Suppose 5*u - 1 + 21 = 0. Let x be (2 - (-10)/(-8))*8. Let v = x + u. Solve -1 = y - v for y.
1
Let m = 5 + 2. Let s = 6 - m. Let d = s - -4. Solve d + 0 = -3*u for u.
-1
Suppose -8 = -2*b, -b = 2*o - 13 + 5. Solve -6*z - 4 = -o*z for z.
-1
Let d = 0 - -10. Suppose 0 = -0*y + 5*y - d. Solve -y*p = p for p.
0
Let o = -2 - -5. Let b(i) = 6*i - 3. Let m be b(2). Let w = m - 8. Solve w = -s + o for s.
2
Let u(v) = v**3 - 2*v**2 + 4. Let a be u(3). Solve a + 3 = -4*w for w.
-4
Let q be -6*(-3)/(-6)*-1. Suppose 0 = -2*x + 4*z - 8, 7*z = -5*x + 2*z - 35. Let w = -3 - x. Solve 0*i = q*i - w for i.
1
Suppose -62 = -3*b - 14. Solve -3*h + b - 4 = 0 for h.
4
Suppose 0 = 10*i - 9*i. Solve i = 6*u - u for u.
0
Let i be -3*(3 + 7)/(-2). Solve 0 = -8*f + 5*f - i for f.
-5
Let t = -20 - -20. Solve 0*h + 5*h - 10 = t for h.
2
Suppose 0 = 2*c - 8, 3*l + 1 = 2*l + c. Solve l*y - 3 = 9 for y.
4
Suppose 0 = -4*d + 8 + 12. Solve d*r + 4 = -11 for r.
-3
Suppose 4*p + 3*h - 7 = 0, -p + 0*h + 1 = h. Solve 4 = p*n - 12 for n.
4
Let j be (4 - 6)/(2/(-3)). Suppose -4*b - 4 = -s, j*b - 4*b + s = 4. Solve g = -b*g for g.
0
Let o = 4 - 0. Solve -9 = o*g - g for g.
-3
Let d(f) = f**2 + 1. Let y be d(2). Solve -3*l + 4 + y = 0 for l.
3
Let g be 5/((-5)/2) - -2. Suppose -2*i + 5*f = -4, -3*i + 5*f + 6 = -g*i. Suppose -2 = -i*r + r. Solve 2 = -r*c - 4 for c.
-3
Let k = 33 + -16. Suppose -n = -d, -3*n + 8 + k = 2*d. Suppose -2*f - 4*m - 2 = 2, -d*f + 35 = -5*m. Solve -6 = -2*x - f for x.
1
Let r = -6 + 11. Suppose 0 = t - 2, 3*x - 3*t - 2*t - r = 0. Solve -1 = x*s + 4 for s.
-1
Let w(r) = r**2 - 2*r - 5. Let x be w(4). Suppose -1 - 2 = 2*u - v, -x*v - 9 = 3*u. Let a be -3*(2 + u - 1). Solve -f - 2 = a for f.
-5
Suppose -y - n = -1, -4*y + n + 24 = -0*y. Solve p = -4*p + y for p.
1
Let f(k) = -4*k - 4. Let u(c) = -3*c - 4. Let v(s) = 2*f(s) - 3*u(s). Let z be v(-2). Solve -3*d - z*d + 10 = 0 for d.
2
Let w be 10/(-35) - (-172)/14. Solve 0*p + w = 3*p for p.
4
Let r(x) = 4*x - 13. Let b(i) = 5*i - 13. Let g(w) = 5*b(w) - 6*r(w). Let t be g(-12). Solve -2*f - t - 3 = 0 for f.
-2
Let v = -6 - -6. Solve v = s - 2 - 3 for s.
5
Let b(q) = -q + 5. Let s be b(3). Solve -2*c + s = -4*c for c.
-1
Let o(n) be the third derivative of n**6/120 + 3*n**5/20 - n**4/24 + n**3/2 - 4*n**2. Let g be o(-9). Solve 5*t = -3 - g for t.
-3
Let h(j) = -j + 10. Suppose 5*r - 5*l - 19 = 16, 0 = -2*r - 3*l + 9. Let g be h(r). Solve -g*b - 8 = -0*b for b.
-2
Suppose 0 = -4*u + 8*u. Suppose o + 1 = -u*o. Let h be (0 + 0)/(o - 1). Solve h*k = -2*k - 10 for k.
-5
Suppose 5*h = -0*h. Solve -o - o = h for o.
0
Let q = -21 - -25. Solve -2*d + q*d = 6 for d.
3
Suppose -70 - 2 = -3*l. Suppose 6 + l = 5*s. Let d = 3 - -2. Solve j = s*j - d for j.
1
Let n(w) be the first derivative of w**3/3 - 3*w**2 - 2*w - 6. Let x be n(7). Solve -x = -s + 2*s for s.
-5
Let z be 0*-1*2/(-4). Let h be ((-2)/(-1) - 2)/1. Solve h = -4*i - z - 16 for i.
-4
Let j(x) = -x**2 - 7*x - 4. Let n be j(-6). Suppose 4*g - 25 = -5*b, 5*b - 15 = g + 2*b. Suppose 2*o + n - 12 = g. Solve 20 = o*k + 5 for k.
3
Let n = 4 - 1. Let k be n + -4 - (0 - 2). Let q be -1 - (-2)/2*k. Solve 0 = -q*v - v for v.
0
Let s be 4 - (0 + (1 - 0)). Suppose 0*w - 21 = -5*w - p, 2*w + 2 = -s*p. Suppose -3*v + 3*y + 15 = 0, 3*v - 2*y + 15 = -w*y. Solve -2*h + 8 + 2 = v for h.
5
Let k be 1 + -5 + 15 + -9. Solve k*f + 3 + 1 = 0 for f.
-2
Let u(z) = -z + 1. Let t be u(1). Let r(j) = 0 + 2 + 1 + t - j. Let d be r(0). Solve 8*b + 25 = d*b for b.
-5
Let u = 33 - 28. 