se -2*v = -2, -v - v + 8 = q. Let k(y) = y**3 + y**2 + 2*y + 3. Let d be k(0). Solve d*h + q = -0*h for h.
-2
Suppose 34*n - 29*n = 20. Solve -n*i - 25 = i for i.
-5
Let q = 12 + -5. Let h(g) = -g + 12. Let i be h(q). Solve 15 + i = -5*s for s.
-4
Let y(b) be the third derivative of b**4/24 - b**2. Let t be y(0). Solve t = -3*q + 5*q - 6 for q.
3
Suppose y = -5*o - 17, -3*o = -o + 10. Solve 2*v + y = -2*v for v.
-2
Suppose -29*d - 32 = -37*d. Solve 1 = -d*n - 11 for n.
-3
Let z = 37 - 21. Suppose -5*c = -c - z. Suppose -t - c = -3*t. Solve 0 = t*y - 0 + 4 for y.
-2
Let j be (-390)/(-54) - (-6)/(-27). Suppose -3*d + 4*d + 3*m = j, -2*m + 26 = 2*d. Solve -1 = 5*z - d for z.
3
Let r = 16 + -24. Let a(u) = -u**2 - 3*u - 2. Let y be a(-5). Let c = r - y. Solve 5*s + c = 19 for s.
3
Suppose 0 = 3*x + 3*s + 2*s - 20, 20 = -4*x + 5*s. Suppose -5 = a - x*a. Let w be a/(-2) + 3/6. Solve j + w = -1 for j.
-4
Suppose 0 = z + 4*k - 25 + 5, 28 = 2*z + 5*k. Solve -2*w = -w - z for w.
4
Let x(c) = -21 - 10 + 53 - 8 - c. Suppose 5*f - f = 40. Let v be x(f). Solve 0 = -v*w - 16 for w.
-4
Let b = 3 + 0. Let q = -3 + b. Let k = q - 0. Solve k*w - 5 = w for w.
-5
Let w(a) = -a + 11. Let z be w(-5). Solve 4 = -4*v - z for v.
-5
Let m be (-425)/(-15) - (-4)/6. Let j = 32 - 52. Let d = j + m. Solve d - 1 = -4*w for w.
-2
Let r(l) = l - 2. Let n be r(-4). Let j(a) = a**3 + 7*a**2 + 6*a + 2. Let s be j(n). Solve -u - 7 + s = 0 for u.
-5
Let b(v) be the first derivative of v**4/4 - 2*v**3 + 2*v**2 + 6*v + 2. Let q be b(5). Solve q = -x + 3 for x.
2
Let s = 12 - 1. Suppose s - 50 = -3*d. Solve -3*v - 4 = -d for v.
3
Let l = 2 - 14. Let q be (11 + l)*(-4 + 0). Solve h + q = 3*h for h.
2
Let y be (-38)/(-10) - (-68)/(-85). Let h be ((2 - 2)/(-2))/(-1). Solve y*r - 7*r = h for r.
0
Suppose -8*o + 6*o = -18. Let m(v) = -v**3 + 10*v**2 - 7*v - 12. Let q be m(o). Let y be (q/(-2))/(1/(-3)). Solve 2*t + 1 = y for t.
4
Let s(t) = t**3 - 3*t**2 + 3*t - 7. Let f be s(3). Suppose -j + 4*j = 0. Solve -f*y - 4 = -j*y for y.
-2
Let c(m) = m**2 + 4*m - 6. Let g be c(-5). Let a(q) = -2*q**3 + q**2. Let l be a(g). Suppose 0 = -3*r + l. Solve -3*b = 13 - r for b.
-4
Let h(q) = q**2 + q - 1. Let f(b) = 5*b**2 + 14*b - 9. Let s(v) = f(v) - 6*h(v). Let w be s(3). Solve 3 = 3*a - w for a.
5
Let b(q) = q**3 + 10*q**2 + 9*q + 7. Let r be b(-9). Let n = r - -8. Solve -4*u - n = -u for u.
-5
Suppose -2*j + 29 = -j. Suppose 4 = -i, j = -4*v + 3*i + 249. Suppose -5*b + v - 22 = 5*s, -3*s = -2*b + 32. Solve 3*c + 1 = b for c.
3
Let a(n) be the third derivative of -n**5/60 - 3*n**4/8 + 11*n**3/6 - n**2. Let g be a(-10). Let u(v) = v + 12. Let r be u(-9). Solve -r*i + g = -5 for i.
2
Suppose -24 = -4*m - 4*n, -2*m + 3*n = 3*m + 2. Solve 0*c - m*c = -2 for c.
1
Let f = -11 - -13. Let v = f + -2. Solve -2*s - 10 = -v*s for s.
-5
Let w be (-84)/(-18) - 4/6. Suppose 1 - 19 = -2*d + 2*h, 3*d - 3 = -5*h. Suppose 2*f + d = 4*a, 0*f - w*a + 41 = 3*f. Solve 5 = 2*b - f*b for b.
-1
Suppose 3*b - 39 + 18 = 0. Let f(d) = -d**2 + 8*d - 7. Let w be f(5). Let o = 13 - w. Solve -4*k + o = -b for k.
3
Let w(t) = t**3 - 4*t**2 + 6*t + 5. Let q(v) = v**3 - 3*v**2 + 5*v + 4. Let g(k) = -6*q(k) + 5*w(k). Let y be g(-1). Solve y = 5*s + 11 + 9 for s.
-4
Let j = 10 - 5. Let c(s) = s**2 + 4*s**2 - j*s - 1 - 6*s**2. Let b be c(-4). Solve b*k = k - 8 for k.
-4
Let u be ((-12)/18)/((-2)/(-6)). Let r be ((u - -2)/(-1))/1. Suppose 0 = -r*v + v. Solve -2*w - 3*w + 20 = v for w.
4
Suppose -3*j + 6*j = 0. Suppose -g + 6*g = j. Solve g = -m - m for m.
0
Let r = -27 + 29. Solve 0 = -r*l - 0 + 10 for l.
5
Let n = -4 - -7. Suppose 2*o + o - 5*z - 60 = 0, 5*o + 5*z = 60. Suppose n*m = -5*u - o, 2*u = m + 2*m + 15. Solve -g + 0*g - 4 = u for g.
-4
Let x be (15/45)/((-2)/(-24)). Solve -5 = x*s + s for s.
-1
Suppose -12*m + 7*m = -20. Solve 0 = m*y - y + 3 for y.
-1
Let j = 10 + -11. Let r = 6 + j. Solve 2*l - r*l - 6 = 0 for l.
-2
Let c(j) = 2*j**3 - 11*j**2 - 7*j. Let a(q) = q**3 - 11*q**2 - 8*q. Let d(h) = 3*a(h) - 2*c(h). Let r be d(-10). Solve 3*v = -r*v - 6 for v.
-2
Let f be (-6)/(-2*6/8). Let r be ((-2)/f)/((-1)/2). Solve p = 3 + r for p.
4
Let q be -1*(-2 + 1 - 8). Let t be (-15*1)/(q/(-6)). Solve 2*a = 4*a - t for a.
5
Let m = -13 - -13. Let i = 4 + -4. Suppose i = -3*n + n + 10. Solve m = k + 1 - n for k.
4
Let y = -84 + 124. Suppose 6*m - y = 2*m. Suppose -6 + 0 = -3*x - 4*i, -5*x = -3*i - m. Solve 0 = x*r - 4*r + 2 for r.
1
Let o = -13 + 18. Solve -l - o = -2 for l.
-3
Suppose -22*t - 21 = -23*t. Suppose b = 4*g + t - 5, -20 = -2*b - 4*g. Solve -2*y - b = y for y.
-4
Let v be ((-1)/(-3))/(1/9). Solve 2*u = u - v for u.
-3
Let p(b) = -b + 4. Let z be p(4). Suppose z = q - 1 + 9. Let t = q + 16. Solve 0 = -3*i - i - t for i.
-2
Let i = 23 - 18. Solve 1 = -i*p - 4 for p.
-1
Let k = -9 - -5. Let z(h) = -7*h - 5. Let m be z(-2). Let v = m - k. Solve -3*w = -4 + v for w.
-3
Suppose -2*d - 75 = -5*i, -4*d + 3 = -i + 36. Suppose -i = -2*t + 1. Let m = 10 - t. Solve -2*l + 9 = m for l.
3
Let s(i) = 36*i**3 + 2*i**2 - 1. Let f be s(-1). Let y be 4/(-10) + (-154)/f. Solve 2 = -y*t - 2 for t.
-1
Let b = -38 - -48. Solve 0 = 3*m - m - b for m.
5
Let h(g) = -g**2 + 14*g - 11. Let p be h(13). Let r be ((-10)/p + 2)/(-1). Solve 2 = z + r for z.
-1
Suppose -j - j = w, -2*w - j = 0. Solve w = -5*m - 2 + 12 for m.
2
Suppose 3*s - 5*g - 15 = 0, -2*s = -4*g + 2*g - 10. Solve s = -w - 4*w for w.
-1
Let l be -18*(7/(-21) + 0 + 0). Solve 0 = -x + l*x - 5 for x.
1
Suppose -24 = -4*b + b. Let y = -2 + b. Suppose -y*p + 45 = -p. Solve -6*o + 3*o - p = 0 for o.
-3
Let o(m) = 2*m - 4. Let r be o(3). Suppose 5*u = 10, x + r*u = 4*u - 1. Solve 0 = -x*l - 5 + 20 for l.
5
Suppose 2*k + 38 = 42. Solve k*q + 0 = -2 for q.
-1
Let k = 38 + -38. Solve -a - a = k for a.
0
Suppose -3*s + 4*w - 2 = 0, 2*s - 3*w + 5 = 3. Let y(i) = -i**3 + 7*i**2 - 7*i + 7. Let c be y(6). Let k be c/3 - (-5)/3. Solve -k = r - s*r for r.
2
Let b(k) = 2*k**3 - k**3 + 5 + 6*k**2 - 1. Let d be b(-6). Solve -3*t - 8 = d for t.
-4
Let c = 13 - 3. Suppose o = -3*z + 6, 2*o + z - 10 = -3*z. Solve -c = -k + o*k for k.
-5
Let g = -8 + 8. Solve g = w - 1 for w.
1
Let v = -7 + 9. Solve -v*z - z = 0 for z.
0
Suppose 0 = -4*m - 0*m. Suppose 4*x - c + 2 = 0, m*c + 6 = -3*x + 3*c. Suppose -5*k + 80 = -3*s - x*s, -4*s = -k + 16. Solve 0 = 5*n + k + 9 for n.
-5
Let f be 7/(-14) - (-26)/4. Suppose f*x = x. Solve -u + 3 = -x*u for u.
3
Let i = -50 - -70. Let o = i + -10. Let s be (1/1)/((-2)/(-10)). Solve -s*j = -o*j + 25 for j.
5
Let c = 116 - 112. Solve 0 = c*w - 0 - 20 for w.
5
Suppose 5*u + 20 = 0, -2*u - 18 = 3*c - 5*c. Solve 3*y + 2*y - c = 0 for y.
1
Let l = 9 + -5. Solve -l*t - 2 = 2 for t.
-1
Let l be 2/((-4)/6*-1). Let c(x) = -x**3 - 4*x**2 + 4*x - 5. Let b be c(-5). Let r be (1 - b)/((-2)/(-6)). Solve 12 - l = -r*p for p.
-3
Let s be (0 - 3 - -7)*1. Solve s*c + 1 + 3 = 0 for c.
-1
Let o = 24 + 57. Suppose -o = -3*h - 15. Let g = -11 + h. Solve 5*k + 1 = g for k.
2
Let q = 4 + 8. Let o be 16/q + 4/6. Let n be ((-9)/(-18))/(1/8). Solve o*t - 6 = n*t for t.
-3
Let h(z) = 2*z**2 - z - 1. Let s be h(-1). Suppose -3*j = 3*a - 12, 5*j = 2*a - 6 - 2. Suppose -3 - 9 = -a*o. Solve 0 = -s*u - o*u - 5 for u.
-1
Suppose r - 4 = -2*x + 4*r, -2 = -x - 2*r. Solve x*q - 3 = -7 for q.
-2
Let u(v) = -8 + v**3 - 3*v + 11*v**2 - 3*v**2 + 2*v. Let q be u(-8). Solve 2*x = -q*x - 6 for x.
-3
Let f(p) = 2*p**3 - 2*p**2 - 1. Let h be f(2). Solve -h*q + 2*q = 5 for q.
-1
Let w be 20/(-6)*(-6)/4. Suppose -w*a - 6 = -4*l - 20, 0 = l + 3*a - 5. Let j be 0/((0 - l)*2). Solve -g - 3 - 1 = j for g.
-4
Suppose 0 = 2*d + t - 6*t + 20, 4*t - 16 = -3*d. Solve d = -3*v + 4 + 11 for v.
5
Let j = -31 + 33. Solve j*p + 3*p = -15 for p.
-3
Suppose 6*h - h = 0, -3*j + 9 = h. Let z(k) = -k - 17. Let f be z(0). Let l = f - -25. Solve -l*u + j*u = -20 for u.
4
Let m = 23 + -16. Suppose 3 = 3*k - 3. Solve -k*z - 10 = -m*z for z.
2
Let s = 6 + -5. Let p(c) = 2*c + 2. Let y be p(s). Solve -2*i + 0*i = y for i.
-2
Let s(h) = -h. Suppose 4*r - 1 + 21 = 0. Let a be s(r). Solve n - a = -2 for n.
3
Let w(o) = 1 - 8*o - 1. Suppose -2 = f + f. Let x be w(f). Solve 0 = 2*j + 2*j - x for j.
2
Suppose -h + g + 6 = -g, 5*h - 5*g - 25 = 0. Solve 0 =