 = v, -v + 4*s = 0. Let k = 1 - v. Solve k + z = -a for a.
-1
Let r(h) be the first derivative of h**4/4 - 2*h**3 - h**2/2 + 8*h + 4. Let m be r(6). Solve 2*d = -m*d for d.
0
Suppose 4*c = c - 24. Let u = -3 - c. Solve 0 = -4*l - u + 1 for l.
-1
Let c be 3/3 - (-1 - -68). Let u be c/(-15) + (-2)/5. Let h be (-1)/u - (-1)/4. Solve -k + 4 = -h*k for k.
4
Let t = -85 - -87. Solve -t*g = g for g.
0
Let j(g) = g**2 + g - 4. Let o(l) = -l**3 - 4*l + 3*l - 5*l**2 - 4*l + l - 4. Let t be o(-4). Let r be j(t). Solve i = -i + r for i.
4
Let l be (-18)/8*40/(-15). Let d = 18 - l. Solve 0 = w - 5*w + d for w.
3
Let z = 2 - 3. Let c = -4 - z. Let g = c - -7. Solve 3*f - 7 = -g for f.
1
Let l be 1/2*(-1 - -5). Suppose -w + 20 = 5*v - 3*w, l*w + 16 = 3*v. Solve d + 2 = v*d for d.
2
Suppose -4 = 2*b - 4*b. Suppose -b*p + 2 = -4. Solve -p = -2*l + 3 for l.
3
Suppose -g + 6 = 2*g. Suppose s = 6*s - 15. Suppose g*t + s*t = 10. Solve -p - t*p = 0 for p.
0
Let c(n) = n**2 - n - 1. Let q be c(-2). Let f(d) = -2*d**2 + d. Let x be f(1). Let k be x + 3/(-2 + q). Solve 2*s + k - 2 = 0 for s.
1
Suppose -2*v = -4*n - 12, 2 = -n + 3*n + 3*v. Let p be n/(-9) + (-232)/(-9). Let s = -14 + p. Solve 3*r + 0 = s for r.
4
Let t be 60/14 - 4/14. Let v = t + -2. Suppose -5*w + v*w + 6 = 0. Solve -m - w = -2*m for m.
2
Suppose -4 = -2*o - 0. Suppose 6 - o = -4*u, 0 = -d - 3*u + 48. Let f = d + -36. Solve -f = 2*q + q for q.
-5
Suppose 4*r - 3 = -7. Let o be (r - -6)*(-2)/(-5). Suppose 0 = -4*u + o*u + 20. Solve -u - 2 = 3*k for k.
-4
Let g(o) = 25*o**2 - o + 1. Let u be g(1). Solve h - 6*h = -u for h.
5
Suppose 2*z + 6 = 5*l, 2*l + 3 + 12 = -5*z. Solve l = -3*h - 10 + 1 for h.
-3
Suppose 18 = -5*i - 3*r + 113, 2*i = 5*r + 38. Suppose 3*z + 2*z - a = 20, -i = -3*z + 2*a. Suppose 5*d - 7*d = -40. Solve 0 = -2*b - z*b + d for b.
4
Suppose 6*s = -0*s + 60. Solve -3*h - 2*h + s = 0 for h.
2
Let p(l) = 6*l - 14. Let v be p(4). Solve 0 = -2*m - 0 + v for m.
5
Let r(k) = k**2 + 5*k - 1. Let s be r(-6). Suppose -4*o = s*j - 14, -5*j - 3*o + 50 = -8*o. Solve 5*a + 1 = j for a.
1
Let b = 9 - 5. Suppose -y - 6 = y - b*f, -3*y + 2*f = -7. Suppose -y*k + 60 = -0*k. Solve 0 = -3*t + 3 + k for t.
5
Suppose m + 12 = 5*m, 2*z - 44 = -2*m. Suppose 6 + 4 = 2*d. Suppose -k + 0*k = 4*b - 27, 2*b - d*k = z. Solve -2*x = -b*x + 10 for x.
2
Let k = 32 - 16. Solve 6 - k = 2*p for p.
-5
Let o = -5 - -2. Let w be 0/(-3 + (-12)/o). Solve w - 4 = -2*l for l.
2
Suppose 5*c = i + 2*i - 82, 0 = 4*i - 5*c - 106. Let x = i + -19. Solve -x*v + 7 = 2 for v.
1
Let q(s) = 16*s - 10. Let t(v) = -3*v + 2. Let a(b) = 4*q(b) + 22*t(b). Let c be a(4). Let z(m) = -m**2 - 7*m + 3. Let u be z(c). Solve -5*k + u = -5 for k.
4
Suppose -4*c + 10 = -h + 1, -4*h = 2*c. Solve -c + 0 = -v for v.
2
Suppose -5*o + 1 + 4 = 0. Let r = o - 1. Solve 5*p = -r*p - 5 for p.
-1
Let u = -1 - -11. Suppose -u - 40 = -2*j. Solve j = -8*c + 3*c for c.
-5
Suppose 60 = -5*w + 15. Let a be ((-6)/w)/((-4)/(-12)). Solve 3*l = a*l + 5 for l.
5
Let p(b) = -b**2 - 12*b - 4. Let i be p(-8). Suppose x = -5*a + 10, 5*x - i = 2*a - 5. Suppose 5*z - a - 19 = 0. Solve z*n - 4 = 2*n for n.
2
Let m be 125/2 + 1/(-2). Let u = m - 43. Suppose -17 = -3*v - c, -4*c + 8 = -v - 8. Solve -u = v*p - 3 for p.
-4
Let s(j) = j**3 + 13*j**2 + 16. Let z be s(-13). Solve 0 = 3*p + p - z for p.
4
Let o(v) = -v - 1. Let h be o(-3). Suppose -h*c - 3*c = -30. Let t = 6 - c. Solve l = -t*l + 2 for l.
2
Suppose 26*w - 36*w + 150 = 0. Solve -2 = -13*y + w*y for y.
-1
Suppose 2*i - 38 = -i - u, -3*u - 18 = -2*i. Suppose -4*p = -7*p + 3*z + i, 3*z = 2*p - 10. Solve -p*t = 3*t + 25 for t.
-5
Suppose -3*g + 26 = 4*u - 0*u, 4*g + 5*u - 34 = 0. Let h = 3 - g. Let j be h/(9/(-2))*3. Solve 0*c - 2 = -j*c for c.
1
Let v(r) = 2*r**2 + 3*r. Let z be v(-2). Suppose -z*a + 0*a = -40. Suppose -a = 3*t - 8*t. Solve t*l + l = 0 for l.
0
Suppose -2*j + 0*j - 2 = -3*n, -3*n + 16 = 5*j. Solve 0 = -n*i - 2 for i.
-1
Let u(k) = -k + 5. Let a be u(3). Solve -a*m = -6 - 0 for m.
3
Let q(o) = 2*o + 1. Let j be q(-2). Let b be 3 + j + 0 - -3. Solve -6 = d - b*d for d.
3
Suppose -2*h - q + 1 = -2*q, 0 = h - 4*q + 10. Solve 0 = 4*r - h*r - 2 for r.
1
Suppose 4 = -3*b + 1, d = -4*b - 2. Suppose d = -2*v + 3*v. Solve -v*x + 7*x = -25 for x.
-5
Suppose 0 = 3*w - 0*w. Suppose 0 = 2*v - 10 - 4. Let k = -6 + v. Solve w = -3*p - 2 - k for p.
-1
Suppose -f + 0 + 1 = 0. Suppose 3*g + 9 = 0, f - 7 = -2*y - 2*g. Solve y*p + 15 = p for p.
-3
Suppose 0*f + 4*f + 8 = l, 5*l = -f - 2. Solve -w = -l*w - 3 for w.
3
Let p = -100 + 104. Solve -p + 13 = 3*m for m.
3
Let h(m) = m**3 - 5*m**2 - 4*m - 7. Let y be h(6). Suppose 2*v + x + 7 = 0, y*v - 5 = 2*x - 27. Let i = 6 + v. Solve -i*j + j = 5 for j.
-5
Let m = 0 + 4. Suppose -b = -5*z - 8, -2*b + 5 = -m*z - 5. Solve -b*w = -2*w - 5 for w.
5
Suppose 5*t - 3 = 17. Let x = 9 - t. Solve 5 = -x*b - 0 for b.
-1
Suppose 3*z - 1 = 20. Solve 18 + z = -5*r for r.
-5
Let b = 18 - 20. Let s = -2 - b. Solve 4 = -4*r - s*r for r.
-1
Let w = 5 + 2. Solve 4*p + 9 = -w for p.
-4
Suppose 0 = 4*w + u - 59, -4*w + 3*u + 74 = -5. Suppose 3*a = g - 14, -2*g = 3*a + 2*a + w. Solve -g - 6 = 2*z for z.
-4
Let a(d) = 6*d - 1. Let h(c) be the first derivative of c**3/3 + 3. Let f be h(1). Let x be a(f). Solve -2 = -x*t - 22 for t.
-4
Let p be (2 - -2) + -1 + -3. Solve p*w = -2*w - 10 for w.
-5
Let c(q) = q**3 - q + 15. Let l = -2 - -5. Suppose -4*z + j = 2 + 3, -l*z - 4*j + 20 = 0. Let f be c(z). Solve -3*d = -0 - f for d.
5
Let c(h) be the second derivative of 0 - 1/6*h**3 + 3/2*h**2 + h. Let n be c(3). Solve t + n + 4 = 0 for t.
-4
Let v(q) = q**3 - 8*q**2 - 4*q. Let u(d) = d**3 - 9*d**2 - 5*d + 1. Let k(x) = 4*u(x) - 5*v(x). Let b be k(4). Solve 0 = -n + b*n - 6 for n.
2
Suppose -5 = -4*f + 3*k, 4*k = -3 + 7. Solve f*p + 14 = 4 for p.
-5
Let w(v) = v**3 - 10*v**2 - 13*v + 31. Let z be w(11). Let y(b) = -2*b**2 + 7*b. Let t be y(5). Let g be (t/6)/((-1)/2). Solve g*f = 1 + z for f.
2
Let f(i) be the third derivative of i**4/24 + i**3/6 - i**2. Let j be f(6). Solve 0 = -3*r + j + 2 for r.
3
Let h(j) = j - 1. Let f(u) = -3*u + 3. Let g(o) = -f(o) - 2*h(o). Let t be g(6). Solve t = -4*a - 11 for a.
-4
Suppose 0 = -5*u + 15 - 5. Let f(s) = s**2 - s + 0*s**2 + 0*s. Let n be f(2). Solve a = n*a + u for a.
-2
Suppose h = 1 + 1. Solve 0 = -4*u + 22 - h for u.
5
Suppose 2*p = -0 - 6. Let j(s) be the third derivative of s**5/30 + 5*s**4/24 + s**3/2 - s**2. Let u be j(p). Solve -u*m - 20 = -m for m.
-4
Let t be (-19 - 2/(-2))*18/(-54). Solve -i - 4 = -t for i.
2
Suppose 30 = g - 2*f - 3*f, -3*f + 18 = 3*g. Let u be g/(4/(-2)*-1). Let p = u - 4. Solve -2 + p = -r for r.
1
Let n(m) = -2*m - 2. Let y be n(-4). Let i = -6 + y. Solve i = k - 4*k for k.
0
Suppose 5*v = 2*q + 23 + 6, -5*v + 15 = 5*q. Suppose l - v*l = -24. Solve 4*t + 6 = -l for t.
-3
Let z = 18 + -15. Solve z*c - 2*c = 3 for c.
3
Suppose -3*t - 36 = -5*t. Suppose -t - 42 = -5*c. Solve -4*k + c = -0*k for k.
3
Let s = 82 - 58. Let q = s + -17. Solve -2*r + 5 = -q*r for r.
-1
Let n = 15 - 21. Let b = n - -10. Let h = -14 - -17. Solve -y = -h + b for y.
-1
Suppose 5*s - 20 = -0. Suppose -12 - 3 = -3*p. Solve 1 + s = -p*r for r.
-1
Suppose -4*k = 5*p - 6*k + 4, 2*p - 3*k = -6. Suppose 3*l = 5*j - 4, -4*l + 3*j - 4*j = -10. Suppose 2*f = f - 3, -5*i = 5*f - 15. Solve p = -l*z + i*z for z.
0
Let v(a) = a**2 + 12*a + 16. Suppose -5*f - 39 = 16. Let z be v(f). Solve 4 = -c + z for c.
1
Let q(z) be the second derivative of -z**3/6 - 7*z**2/2 + 3*z. Let s be q(-9). Suppose 2*h - 10 = s. Solve -5*y + h = 31 for y.
-5
Let k be (-2)/(-2) + 2*12. Suppose 3*t - t = y - 7, 8 = -3*t + 4*y. Let f = t - -8. Solve -g - f*g = k for g.
-5
Let n(c) = -20*c**3 - 2*c - 4 + c + 5*c**3 + 3. Let m be n(-1). Solve m = -2*h - h for h.
-5
Suppose -x - x = -2*s - 40, 3*x - 67 = -4*s. Solve -4*t + 1 = x for t.
-5
Suppose 5*a - 22 - 28 = 0. Suppose -s - s + 8 = 0. Suppose h + s*h - a = 0. Solve 3 = d - h for d.
5
Let s = -108 + 113. Solve 0 = -s*h + 10 + 5 for h.
3
Suppose -36 = -5*x - 4*z + 59, -5*z = -4*x + 76. Solve 5*k + 6 = -x for k.
-5
Let v(m) = -m**2 + m + 2. Let w(k) = k**3 - 5*k**2 + 2. Let x be w(5). Let y be v(x). Solve y = -u + 3*u for u.
0
Let c = -14 + 19. Let m be ((