 + 9 = 4*m, -4*y = -20. Let t(f) be the third derivative of -f**5/60 - f**4/8 + 2*f**2. Let j be t(-3). Solve j = 3*p - m*p - 12 for p.
-4
Let k(r) = r**3 + 9*r**2 + 9*r + 10. Let b be k(-8). Suppose 0 = a - 3*a + 4. Let j(n) = n**2 - 2. Let g be j(a). Solve -g*v + 8 = -b for v.
5
Suppose -5*s + 81 = 61. Solve -s*n = -n - 15 for n.
5
Let b(c) be the first derivative of c**4/2 + c**2/2 - c + 2. Let a be b(1). Solve -s - a*s = -6 for s.
2
Let d(n) = n**2 + 6*n - 4. Let a = 3 + -10. Let l be d(a). Solve 12 + l = -5*p for p.
-3
Suppose -62 = -4*a + 2*n, -2*a + n = -3*a + 23. Solve -5*w + a = 23 for w.
-1
Suppose 0*b + 4 = 2*b. Let s be b*-2*(-6)/(-12). Let r = s - -6. Solve -r*c - 9 = -1 for c.
-2
Suppose h - 1 = -0*h. Suppose -19 + h = -6*l. Solve l*p - 5 = -2 for p.
1
Let d be (-1)/((-3)/45*3). Solve -5 = d*t + 5 for t.
-2
Suppose -2*v = 5*k + 15, 3*v = 3*k + 21 + 9. Suppose v*i = -3*d - 13 + 48, -i + 1 = 0. Suppose -6 = -4*y + d. Solve y*m = -m for m.
0
Suppose -4*d = -0*d. Suppose 3*h + d*h = 36. Suppose 0 = -5*j + h - 2. Solve 0 = j*f - 5*f + 15 for f.
5
Let l = -19 + 22. Solve -m = l*m - 16 for m.
4
Let a(d) = d**2 + 7*d. Let b(w) = -2*w**2 - 13*w. Let y(z) = -11*a(z) - 6*b(z). Let l be y(-2). Solve 0 = -4*r + 2*r + l for r.
1
Let f be (-12)/(-3) + (1 - 2). Suppose 14 = f*b + b + l, -b - l + 5 = 0. Solve -b*t - t = 16 for t.
-4
Let u(h) = -2*h**3 - 2*h**2 + h. Let f be u(-2). Suppose v - c - c + f = 0, -3*v + 15 = 5*c. Solve v = 4*a + 12 + 4 for a.
-4
Let i = 8 - 6. Solve -i = 2*g - 4 for g.
1
Let n(y) = 13*y**2 - 2*y + 4. Let z be 2/(-7) - 23/(-7). Let w be n(z). Suppose 2*g - w = -4*t - 3*g, 0 = t + 4*g - 37. Solve 0 = 3*q - 8*q - t for q.
-5
Let u = 2 + -4. Let w = 4 - u. Suppose 0*g = -2*g + w. Solve g*i = i for i.
0
Suppose -2*m - m = 0. Let x(o) = o**2 + 2*o. Let v be x(-2). Solve m = -v*k - 2*k for k.
0
Let m be (2/(-2))/(2/(-30)). Solve 4*g + m = g for g.
-5
Let j(q) = q**3 - 5*q**2 + q - 5. Let z be j(5). Let w(n) = n**2 - 7*n + 3. Let l be w(6). Let i(m) = -m**2 - 5*m - 3. Let r be i(l). Solve z = u - 6 + r for u.
3
Let u = -31 - -77. Suppose 5*f = 2*i + u - 13, 0 = -f - i + 1. Let q be 30/9*6/f. Solve -10 = -q*j + 6 for j.
4
Let j(z) = z**2 + 6*z + 3. Let l be j(-6). Let y = 2 + l. Solve 0 = -3*q + y*q for q.
0
Let j = -4 + 5. Let o(u) = -3*u - 4. Let g be o(-2). Solve p = g*p + j for p.
-1
Let d(v) = -7*v + 3. Let p(m) = 6*m - 2. Let y(i) = -5*d(i) - 6*p(i). Let b be y(-6). Solve -c - 1 = b for c.
-4
Suppose 3*n = -2*n. Let q = n - -3. Solve 4*v - q*v = 3 for v.
3
Suppose 2*q + q = 21. Let r = 9 - q. Solve 2*l - r = -4 for l.
-1
Let k be ((-20)/30)/((-1)/18). Let a = k + -12. Solve a = -2*m - m + 12 for m.
4
Let j = -85 - -88. Solve -j*u = 2*u + 5 for u.
-1
Suppose 12 - 16 = -2*p. Solve 0*a + p*a = 0 for a.
0
Let g(x) be the first derivative of x**4/4 - 16*x**3/3 + 7*x**2 + 15*x - 1. Let l be g(15). Solve 2*p + l + 2 = 0 for p.
-1
Let d be (-1)/(-1 - (-3)/6). Solve -d*v + 3*v = 0 for v.
0
Suppose -1 = -n, -t - 4*t + 180 = 5*n. Suppose -9 + t = 2*v + 4*i, -5*i = 2*v - 31. Suppose -v*f - 5 = -2*d - 2*f, -3*f = 3*d - 21. Solve -d*o - o = -10 for o.
2
Let r(t) = t**2 + 4*t + 3. Let w be r(-5). Suppose w = 4*a - 0*a. Solve -3*b - a = 7 for b.
-3
Let a(z) = -2*z**2 + 15*z + 13. Let v be a(7). Solve d = 6*d - v for d.
4
Let d(r) = -r**3 - 10*r**2 - 9*r + 3. Let c be d(-9). Solve 0 = -4*z + c*z + 5 for z.
5
Suppose 5*w + 30 = 5, 3*s = 5*w + 31. Let b(k) = k + s - 1 + 2 - 2*k. Let c be b(-4). Solve 0 = c*f - 3*f + 20 for f.
-5
Suppose 10*v - 2*v = 32. Solve -v = -14*s + 16*s for s.
-2
Let p be 20/4 + -4 - -1. Solve -3*x = -x + p for x.
-1
Let q(a) = -7*a - 4. Let m be q(-1). Solve m*o - 21 = -6 for o.
5
Let j(a) = -a**2 - 6*a + 19. Let b be j(-8). Solve v + b*v = 20 for v.
5
Suppose -2*c + j = -9, -2*j + 10 = 3*c - 0*j. Suppose 0*g + 2*g = 3*i + 3, 4*i + c = 5*g. Solve g*b = 5*b + 15 for b.
-3
Let a(u) = -u**3 + 6*u**2 + u - 5. Let w be (-2)/(-6)*(4 + 14). Let t be a(w). Solve -t = p - 2*p for p.
1
Let c(h) = -1 + 2*h + 3*h - 6*h. Let b be c(-7). Let k be (-20)/(-4)*b/10. Solve -5 = -4*m + k for m.
2
Let h be (-1)/((27/6)/(-9)). Solve 2*v = -h*v - 8 for v.
-2
Suppose -2*v + 7*v - 50 = 0. Suppose -4*z - 2 = -v. Solve 2*g - 6 = z for g.
4
Suppose -q + 2 + 0 = 0. Solve -q*f - 3*f - 25 = 0 for f.
-5
Suppose -3*h + 16 = h - 2*t, 3*h - 10 = 2*t. Let i = h + -3. Suppose -i*q = -9, u = 4*u - 5*q + 6. Solve -u + 0 = -v for v.
3
Suppose 5*h - 26 = i - 5, -4*h = -20. Solve i*v + v = 5 for v.
1
Let q(i) = i**2 - 5*i - 2. Let v be q(4). Let g be ((-42)/(-9))/((-2)/v). Let k = -9 + g. Solve k = -2*p + 3 for p.
-1
Suppose -2 = 3*f - 29. Let c = 16 - f. Solve 2*x - 1 = -c for x.
-3
Suppose 0*z - 5*y = -z, -3*y = 3*z - 18. Suppose z*r - 2 = 3*r. Solve -5 = 2*p - r for p.
-2
Let c(b) = -2*b + 2*b**2 + 2*b - 8*b + 2 - 3*b**2. Let m be c(-6). Solve 2 = -4*z + m for z.
3
Let v(j) = -j**3 + 7*j**2 - j + 7. Let w be v(7). Solve 2*u = -w*u + 4 for u.
2
Let d be 35/21 + (-1)/(-3). Solve 0 = 2*t - 2 - d for t.
2
Let f(a) be the third derivative of -a**6/120 - a**5/30 + a**4/12 - a**3/6 - 2*a**2. Let u be f(-3). Solve -u*v = -0*v for v.
0
Suppose -4 + 12 = 4*b. Let x be (21/(-3))/((-2)/b). Let y(o) = -6*o + 2. Let n be y(-3). Solve -x*d - n = -2*d for d.
-4
Suppose -z - 5*w - 10 = 0, 0 = -4*z + w + 25 - 2. Suppose 5*c + z*x - 6 - 4 = 0, -5*c = -x + 8. Let l(r) = -9*r + 1. Let g be l(c). Solve -4*a = g + 6 for a.
-4
Suppose -5*s - 4 + 17 = -2*j, -s = -1. Let d be 1/j + (-13)/(-4). Suppose -d + 0 = -a. Solve a*r + r + 12 = 0 for r.
-3
Let p(b) = 4*b - 1. Let u be p(1). Solve 2*k + 3 = u*k for k.
3
Let h be (-43)/(-4) - (-6)/24. Suppose 2*r + 5*m - 30 = -2*r, r - 9 = -2*m. Suppose 6 = r*z + 1. Solve -h = 4*t + z for t.
-3
Let q be 39/9 + 8/(-24). Suppose -z + 0*z = q*n - 4, 5*n - 3*z - 5 = 0. Suppose -2*w + 5*u = 2*w - 14, 3*w - 9 = 3*u. Solve h + w = -n for h.
-2
Suppose -c = -2*c + 3. Let s(k) = -3*k - 19. Let h be s(-7). Suppose 4*f + 3*u - 24 = 0, -h*u - 2 = 2*f - 4*u. Solve f = -c*x - 3 for x.
-2
Let d = -30 - -53. Suppose p + d = 5*x, -3*x - p + 9 = -0*x. Solve -y + x*y - 6 = 0 for y.
2
Let v(l) = l**3 + l**2 + 5. Let x be v(0). Solve x*j - 2*j = 0 for j.
0
Suppose 0 = 3*o - 4*o. Let l = -28 - -31. Solve o = l*j + j + 12 for j.
-3
Let m(l) = -l**3 + 6*l**2 + 6*l - 1. Let j be m(6). Let c be (10/j)/((-2)/(-14)). Solve h = c*h for h.
0
Let c = 1 + -4. Let y = c - -5. Let h be 0*(-1 - 2*-1). Solve -y = d - h for d.
-2
Suppose 3*h - 49 = u, 5*h - 2*h = 5*u + 65. Suppose -3*y = -0*i - 2*i + 15, -y + h = i. Suppose a - 5*m - 11 = 5*a, -3*a + i = -3*m. Solve 0 = -k + a for k.
1
Let v(n) = n**3 + 11*n**2 + 8*n - 8. Let t be v(-10). Let o = t + -8. Solve -y + o = -0 for y.
4
Let q = -10 - -12. Solve q = 5*i - 3 for i.
1
Suppose z - 4*j + 10 = -0*j, 0 = z + 5*j - 17. Suppose 4*m = 6*m. Solve 5*y - z*y = m for y.
0
Let b(k) = -2*k + 5. Let m be b(4). Let g = m - -3. Suppose g = -2*h + 7 - 3. Solve h*w = 6 - 2 for w.
2
Suppose 0 = 5*f - 2*f - 12. Solve f = 2*w - 0 for w.
2
Let p(c) = -c**3 - 5*c**2 - 3*c + 6. Let b be p(-4). Solve -g + 4 = -b*g for g.
-4
Let i = -92 + 94. Solve 7*l = i*l - 5 for l.
-1
Let l = -2 + 4. Suppose -k - 6 + l = -2*d, -3*d + k + 6 = 0. Solve 5*b - 7 = -d for b.
1
Let p = -68 - -48. Let h be 36/30*p/(-6). Solve 2*a + 0*a = h for a.
2
Suppose 0 = -0*b + 3*b. Let h = b + 0. Solve h = -3*v - 6 + 21 for v.
5
Suppose r = -b + 4, 0 = r + 2*b - 0*b - 8. Let f = r - -5. Solve -3*p + 10 = -f*p for p.
-5
Let i be (-6)/(-15) - (-2)/(-5). Let c be (3 - i) + 2/(-2). Solve c*o + 12 = 4 for o.
-4
Let p(n) = n + 3. Let c be p(-5). Let s be 40*(2 + 9/c). Let r be s/(-36) - 4/(-18). Solve -r*y = -y - 6 for y.
3
Let u(n) = n - 37 + 33 + 0*n. Let v be u(4). Suppose v = 4*m - 5*m + 5. Solve 0*b - b = m for b.
-5
Let a(p) = -p**3 + 10*p**2 + 12*p - 5. Let i be a(11). Let f = -30 - i. Let c be (f/21)/(2/(-14)). Solve j = -3*j - c for j.
-3
Let a = -17 - -20. Let v be (11/(-4))/(2/(-8)). Solve -v - 4 = a*o for o.
-5
Let p be 161/49 - (-2)/(-7). Solve -d = -p - 1 for d.
4
Let m = 19 - 15. Solve 0 = -3*h + h - m for h.
-2
Let h = 67 - 63. Let n(q) = q + 4. Let j be n(4). Suppose 5*d - j = -h*g + 12, g = 5*d - 20. Solve 0 = -w - g + 4 for w.
4
Let k = 2 - 15. Let r = k -