40)). Solve -f*p = -2 + 6 for p.
-1
Suppose 4*t + 4*j = -16, t - 21 = 5*t + 5*j. Solve t = y - 2 for y.
3
Let g be 0*((-1)/(-2) + 0). Let v = -13 + 16. Suppose -k = -4*w + 7 + 6, v*k = 4*w - 7. Solve g = -l - 1 + k for l.
2
Suppose 0 = -5*x + x. Solve d = -1 - x for d.
-1
Let s be -2 - 3*(-8)/(-6). Let z = -1 - s. Solve 0 = c - z + 3 for c.
2
Let j be (-2)/(-3) - (-14)/(-3). Let s = j - 2. Let n = -6 - s. Solve n*y = -y + 1 for y.
1
Let s be -5 + 3 - -8 - 4. Solve -3*y = -s*y + 4 for y.
-4
Suppose r = 2*s - 4, 0 = 5*s + 3*r + 7 + 5. Suppose s = -5*p - 2*z + 7, p = z - 0*z. Solve -p - 3 = -w for w.
4
Let o = -19 - -26. Solve -o = -4*g + 1 for g.
2
Suppose 5*l + 4 = h + 22, 5*h = -5*l. Solve -w + l*w = 4 for w.
2
Suppose -5*k = -3*z, -2*k + 0*z + 4*z - 14 = 0. Suppose -35 = -2*m - k*w + 8*w, m = 2*w + 16. Suppose 3*c + 1 - 7 = 0. Solve 0 = -2*g + m - c for g.
4
Let t be 16/(-4) + 1 + 3. Solve -5*j = -t*j - 25 for j.
5
Suppose 8*r = 7*r + 6. Let y = r + -2. Solve 2*d = y*d - 6 for d.
3
Let u be 14*(10/2 + -4). Solve 5*v - u = -4 for v.
2
Let h be (-4)/(3/4*(-4)/6). Solve 10*v + h = 8*v for v.
-4
Let a be (4/(-3))/((-6)/36). Solve -2*j + 0*j = a for j.
-4
Suppose -4*h = -12, t + 11 = 2*t + 2*h. Suppose t*j + 0*a - 39 = 2*a, 5*a = 2*j - 24. Suppose n = -3*k + j, k - 29 = -3*n - 0. Solve 0 = m + m - n for m.
5
Let s(u) = -u. Let j = 3 + -6. Let t be s(j). Suppose t*q = 4*q. Solve q = l - 2*l + 2 for l.
2
Suppose -h - 3*b = -13, -2*b - 24 = -5*h + 24. Suppose r - 9 = 2*m, 2*r + 0*r + 3*m + h = 0. Solve -r + 5 = -2*v for v.
-2
Let j = -22 - -47. Solve -2*g + j = 3*g for g.
5
Let c(h) = h - 5. Let y be c(5). Let k be 2/(0 - (y - -2)). Let x = k + 5. Solve -x*o = o - 25 for o.
5
Let w be ((-3)/(-5))/((-3)/(-15)). Suppose -17 + 5 = -w*b. Solve -b - 11 = -5*q for q.
3
Let h be 56/(-9) + 6 - (-20)/9. Solve 4 = o + h for o.
2
Let w be 18/8 + 2/(-8). Suppose -16 = w*t - 6*t. Suppose t*p = -3*d + 37, p + 5*d - 29 = -p. Solve -p = 3*v + 2 for v.
-3
Let c be (-6)/21 + 72/7. Solve 0 = -2*t - 3*t - c for t.
-2
Let o(v) = -v**3 - v. Let h be o(0). Solve h = -2*t - 2 for t.
-1
Let t(m) = m**3 - 3*m**2 + 2*m - 4. Let i be t(3). Suppose -i*r - 4 = -z, 4 = -0*r - 2*r + 5*z. Let f = 4 + r. Solve -6 = -4*l + f*l for l.
3
Let p be 2/(-6) + 98/42. Let t(n) be the first derivative of -n**4/4 + 2*n**3/3 + n**2/2 - n - 1. Let k be t(p). Solve -j = -0*j - k for j.
1
Suppose -7*r = 17 - 52. Suppose 0 = -r*o - 0*o. Suppose -3*w + 6*w = 0. Solve w*v + v - 2 = o for v.
2
Let b be (-30)/12*6/(-5). Let y = 18 - 10. Solve 7*o + y = b*o for o.
-2
Let n be (((-147)/(-14))/((-6)/8))/(-2). Solve -n + 4 = -w for w.
3
Let c(k) = -2*k + 14. Let g be c(6). Suppose -4*w = -2*v + 12, -g*v + w + 0*w + 9 = 0. Solve -v*s = s + 15 for s.
-3
Suppose -t - 4*b + 16 = 0, 3*t + 4*b = 12 + 4. Let z(x) = x**3 - x**2 - x + 2. Let f be z(t). Let n(r) = r - 2. Let i be n(6). Solve -4*o + i = -f*o for o.
2
Let p be -3*(-1 + 2 - 0). Let q be 0*((-3)/2)/p. Let u = -2 + 5. Solve q*b + u = 3*b for b.
1
Let o(n) = n + 19. Let r be o(-13). Let j(x) = -x**2 + 8*x - 2. Let d be j(6). Solve 0 = 4*w + d + r for w.
-4
Let s(b) = -b**3 + 3*b**2 + 6*b - 6. Let l be s(4). Suppose 2*a - 2 = 2*v, -7*v + 31 = -3*v + 3*a. Solve l - 14 = v*m for m.
-3
Let r = -44 + 44. Solve r = v - 1 + 2 for v.
-1
Let m = -5 - -2. Let o be (m - -5)*-1 - -9. Solve o = 5*z - 18 for z.
5
Let b be (-2)/(-5) - 52/(-20). Suppose 3*l = 2*i + 9, 8 = b*i + 3*l - 16. Suppose i*t = t + 4. Solve t = s + 6 for s.
-4
Let l be (-48)/(-22) + (-4)/22. Suppose -4*g + 3*o = 4, l*g + 1 = g + 4*o. Let b be -4*(-1 + 3)*g. Solve -r - r - b = 0 for r.
-4
Let n = 13 - 11. Suppose -n*s = -10 - 6. Solve 0 = 3*c - c + s for c.
-4
Let c(k) = -2*k**2 - 4*k + 4. Let l(z) = -z**2 - z. Let v(q) = c(q) - 3*l(q). Let b be v(-3). Let g = 28 - b. Solve -g = 5*n + 3 for n.
-3
Let t(f) = -f - 5. Let p be t(-5). Suppose p = 4*g + g - 15. Let u be (-2)/(-9) - (-3408)/216. Solve -w = g*w - u for w.
4
Let r(q) = q - 5. Let v be r(5). Let s(k) = k**3 + k**2 - k + 4. Let z be s(v). Suppose -29 = -5*h + 1. Solve -z - h = 2*m for m.
-5
Let z be (-18)/(-4) + 1/2. Let f(s) = s + 11. Suppose -p + h = -2*h - 3, 0 = 5*p + h + 33. Let l be f(p). Solve 0 - z = l*y for y.
-1
Suppose r + 9 = 3*y, -y + 5*r = -0*y - 17. Suppose -2*p = -4*p - 2*v, 5*p - 2*v - 28 = 0. Let q be ((-30)/10)/((-6)/p). Solve -y*n - q*n + 8 = 0 for n.
2
Let u(t) = t**2 + 4*t + 5. Let d be u(-4). Suppose -4*b - 21 = -101. Suppose -b = -0*r - r. Solve -r = h - d*h for h.
5
Suppose 12*z - 7*z - 10 = 0. Let g be 1*(-1)/(-2)*0. Solve -z*r + 8 = -g*r for r.
4
Let t be ((-4)/(-5))/((-2)/(-5)). Suppose -7*m + 190 = -2*m. Suppose 0 = -3*d - 3*y + 21, -5*d - 4*y + 0*y + m = 0. Solve -4*o + d = -t for o.
3
Let n be 18*(0 - (-2 + 1)). Let i = n + -13. Let j be 1/((-25)/(-24) + -1). Solve i*z + j = 4 for z.
-4
Suppose -5*f - 11 = -4*q + 4, 4*q - 3*f = 9. Solve q = -2*y - 6 + 16 for y.
5
Let z(u) = -u**2 + u. Let c be (8/20)/((-2)/10). Let f be z(c). Let q be 1*3 + (-5 - f). Solve 3*i = q + 8 for i.
4
Let r(l) = -2*l - 2. Suppose 22 = -5*n + 7. Let q be r(n). Suppose -3*s + 0*a = -5*a + 15, a - 3 = q*s. Solve -t + s = -1 for t.
1
Let n = -6 + 7. Let a(d) = 3*d**3 + d**2 + d - 1. Let f be a(n). Solve f*z - z + 6 = 0 for z.
-2
Let s be (-1 - 0) + (-7 - -19). Solve -4*f - s - 5 = 0 for f.
-4
Let z = 9 + -4. Suppose -4*o + 3*g + 4 = 0, -5*o + z = -2*g - g. Solve -4 + o = -3*x for x.
1
Suppose 0 = 4*j - 4*p - 52, -3*p - 1 + 2 = j. Let h be 56/j - (-2)/5. Solve -2 = v - h for v.
4
Let n be 6/(1 + (-6)/(-3)). Solve -4*i - n = 2 for i.
-1
Let t(r) = 4 - r + 1 - 1. Let n be t(-5). Solve 0 = 3*s + n for s.
-3
Let q = -2 + 2. Solve q = -3*p - 11 + 2 for p.
-3
Suppose -5*p = 4*u + 5, 5*u - 24 = 5*p - 64. Let q be (-6)/(-9)*(7 - 1). Solve p = -q*w - 1 for w.
-1
Suppose -5*z = 10 + 15. Let b be (-2)/(3 + z) + -1. Let p be (-1)/(b - 1) - -7. Solve 0 = 2*c - 0*c - p for c.
4
Let b be (-3)/4 - 7/28. Let t = -1 - b. Solve -1 + t = n for n.
-1
Let f(o) = -o**2 + 16*o + 2. Let t be f(16). Suppose -u - t*u + 9 = 0. Suppose -6*q + 45 = -q. Solve -3 - q = u*y for y.
-4
Let r be (-3 + 3)/(2/(-2)). Suppose -2*d + 5*b - 21 = r, d - 3*b = -2*b - 3. Suppose k = -0*k + 4. Solve d*t = 2 - k for t.
-1
Suppose -4*p + 5*i - 6 = -16, -i - 2 = 0. Solve 2*k - 7 - 1 = p for k.
4
Let t(w) = w**3 - w**2 - 1. Let y be t(2). Let z be 16/(-4) + 12*1/3. Solve z*s + y = -s for s.
-3
Let z be (8/(-6))/(4/(-12)). Let t be 4/(-26) + z/26. Let g be t + (3 - 1) - 2. Solve 0 = v - g*v - 3 for v.
3
Suppose 0 = 6*h - h - 30. Let v be 4/h + (-32)/12. Let g = -2 - v. Solve g = -d - 3 + 7 for d.
4
Suppose 8*f = f + 56. Solve -3*p + f = -5*p for p.
-4
Let f(w) = -w. Suppose 4*s + 23 = 3*g - 4*g, 5*s - g = -31. Let x be f(s). Solve -i + x*i = 20 for i.
4
Suppose w + 4*v = -6, -w - 4 - 1 = 3*v. Let r be w/4 + 45/2. Solve 5*c - r - 3 = 0 for c.
5
Let t(g) = -4*g - 24. Let i be t(-9). Solve -2*y + i = -5*y for y.
-4
Let g(i) = -i**2 - 10*i - 12. Let w be g(-8). Suppose -w*a + 30 = -a. Solve -a = 4*h + 10 for h.
-5
Let v(z) = -z + 8. Let l be v(4). Solve -q + l = 3*q for q.
1
Let b be (6/4)/(3/(-4)). Let q be (b + (-6)/(-3))/1. Suppose 0 = -q*j - 2*j + 10. Solve -j*k + 12 = -2*k for k.
4
Let z be 12/66 - 150/(-22). Let h = -12 + z. Let p = 9 + h. Solve 20 = 8*f - p*f for f.
5
Suppose 3*d = -2*q - 2*d - 11, 4 = 5*q + 2*d. Solve 0 = -s + q*s + 1 for s.
-1
Let l be ((-36)/10)/(4/(-30)). Suppose 3*u - 3*s = l, 3*u - 24 + 1 = 2*s. Solve -d + u*d + 16 = 0 for d.
-4
Let b be (-9)/(-4)*(-6)/(-27)*20. Let w(p) be the first derivative of p**2/2 + 6*p - 2. Let t be w(-6). Solve 7*x - 2*x - b = t for x.
2
Let z(m) = -m**3 - 4*m**2 + 2*m - 6. Let a be z(-5). Let k(l) = -l**3 + 10*l**2 - 4*l - 4. Let f be k(a). Suppose -2*w + f = 15. Solve 5*q - 3 + w = 0 for q.
-2
Let d(c) = c**3 - c. Let t be d(-1). Let s(m) = -m**3 - 5*m**2 + 6*m + 5. Let n be s(-5). Let o = n + 38. Solve -5*z + 2 + o = t for z.
3
Let b be 42/8 + (-5)/20. Solve 0 = -5*i - b - 0 for i.
-1
Suppose -21 = 3*u - 5*b, -u - 7 = b - 0. Let s = u - -9. Solve -h - 1 = s for h.
-3
Suppose z + v - 3 + 5 = 0, 4*z - 1 = -v. Let m be (5/(5/2))/z. Solve m*h - 20 = 6*h for h.
-5
Let a(w) = w**2 - w - 2. Let q be a(0). Let p(f) = -15*f - 2. Let n be p(q