 for w.
5
Let n(i) be the second derivative of i**4/6 + i**3/2 + i**2 - i. Let y(s) = -s**3 - 7*s**2 - 5*s + 4. Let j be y(-6). Let g be n(j). Solve -g*u = -1 - 7 for u.
2
Suppose -z + 5*z + 32 = 0. Let l(q) be the second derivative of -q**5/20 - 2*q**4/3 - 5*q**3/6 - 3*q**2 - q. Let v be l(z). Solve -5*k + v = 14 for k.
4
Let g = -167 + 173. Solve -3*s + g = -0*s for s.
2
Let p(x) = -x + 4. Let j be p(-4). Let u(s) = s**3 - 9*s**2 + 10*s - 7. Let k be u(j). Solve 0 = -4*q - 7 - k for q.
-4
Suppose 0 = 6*o - 10 - 2. Solve 0*w = -w + o for w.
2
Let d be -1 - (-3 - (3 + -3)). Let b = -6 + 8. Solve d*k + b*k = 0 for k.
0
Let x be 7/3 - (-10)/(-30). Solve -g - 6 = x*g for g.
-2
Let s(j) = -j**3 + 3*j**2 + j - 1. Let h be s(2). Solve v + 8 = h*v for v.
2
Let r = 3 + 1. Solve 8*a - r*a = -12 for a.
-3
Let b = 18 + -16. Suppose -n = p - 1, 6*p - 4*p + 6 = b*n. Solve 0*s + s = n for s.
2
Suppose 45 = k + 4*k. Solve -2*l + 5*l = k for l.
3
Suppose 3*z + 0 = f + 1, -z - 4 = 4*f. Let u = f + 5. Let b = 35 - 20. Solve 0 = r - u*r + b for r.
5
Let p(j) = -9*j - 3 + 2*j + 8 + 5*j**2 + j**3. Let m be p(-6). Solve 1 = -4*v - m for v.
-3
Suppose 0 = 5*t - 147 + 22. Suppose 4*n + t = -7. Let z be 0 + 1 + 1 - n. Solve 6*h = h - z for h.
-2
Suppose 2*r = 5*t - 20, -71 = 4*r + t - 9. Let u = r + 17. Solve v = -u*v + 15 for v.
5
Let w(c) = 3*c - 11. Let a(z) = z - 4. Let i(o) = -8*a(o) + 3*w(o). Let f be i(1). Solve 2*m + 2*m - 16 = f for m.
4
Let y = 7 - 8. Let d be (-2 + y)/((-12)/16). Suppose 0*z - 3*t = -z + 15, -4*z - 2*t + d = 0. Solve -z*n - 2 = -2*n for n.
-2
Suppose 2*i - 6*t + 22 = -2*t, 0 = -2*t. Suppose -3 = 3*q - 3*v, -4*q + 5*q + 2*v = 8. Let j be q/i - (-24)/11. Solve 0 = -j*o + 2 - 0 for o.
1
Let s(h) = h**3 + 11*h**2 - h - 12. Let f be 108/(-10) + 4/(-20). Let c be s(f). Let k = 1 - c. Solve -2*l + 2 = -k for l.
2
Let c = 9 - 6. Solve -7*n - 16 = -c*n for n.
-4
Let m be ((-3)/2 - -1)*-6. Suppose 3*f + m*q - 22 = -4, -5*f - 3*q + 30 = 0. Solve v + 2*v = f for v.
2
Let c(g) = -4*g + 5. Let q be c(2). Let w(v) = -4*v + 3. Let k be w(q). Solve -4*z - 1 = k for z.
-4
Suppose -2*k + 2*o = 6, -2*o = k - 3 - 9. Suppose k*t - 1 - 7 = 0. Solve 0 = -4*u - 4 - t for u.
-2
Let q = -93 - -93. Solve -3*j = -q*j - 6 for j.
2
Let h = -13 - -19. Let o = -3 + h. Suppose -5*r + o = -7. Solve -u + r = 3 for u.
-1
Suppose -7*b = -2*b. Suppose -5*t + 4 + 31 = b. Let v = t + 9. Solve 0 = -3*k + 4 - v for k.
-4
Suppose 21 = -3*a - 0*x - 2*x, a - 4*x = -21. Let h = a - -21. Solve -h = -5*j + 13 for j.
5
Let f be 6/9*6/4. Let q be (-1 - f)*(4 - 5). Solve z = -q*z - 9 for z.
-3
Suppose 0 = -3*i - 3*o + 3, 4*i - 2*o = -i + 19. Suppose 3*r + i + 12 = 4*n, 5 = -5*r. Solve -12 = -n*q - q for q.
3
Let b(j) = -2*j**3 + 8*j**2 - 8*j - 3. Let c(n) = n**3. Let z(p) = -b(p) - c(p). Let v be z(7). Solve 2*h - v = 4*h for h.
-5
Let a = -3 + 6. Solve 0 + a = f for f.
3
Let g = -14 - -8. Let v(j) = j**3 + 7*j**2 + 5*j + 2. Let i be v(g). Solve 0 = 4*o - 4 - i for o.
3
Suppose -3*p = -p. Suppose 2*l - l = p. Solve l = -j + 3*j - 6 for j.
3
Let c = -11 - -5. Let t be (c + 2)/((-8)/6). Solve -4 = -t*b + 2*b for b.
4
Let z(m) = 7*m - 3*m**3 + 4*m**2 - 2*m**3 - 3*m**2 + 9. Let l(h) = -h**3 + h**2 + h + 1. Let w(v) = -4*l(v) + z(v). Let g be w(-4). Solve 5*a + 6 = -g for a.
-3
Let k = -14 + 20. Suppose -k*y = -y - 15. Solve y*u + 9 = -0*u for u.
-3
Let n(q) = -q + 13. Suppose -3*g - 7 = -34. Let t be n(g). Let z = -4 + t. Solve 3*l + 12 + 0 = z for l.
-4
Let r be 24/28*(-42)/(-6). Solve 0*a = 2*a + r for a.
-3
Let b(p) be the first derivative of -4*p**2 - 2 - 1/3*p**3 - 8*p. Let j be b(-6). Solve 0 = -7*m + j*m for m.
0
Let c = 36 - 24. Let u = c + -12. Solve u*r = -2*r - 4 for r.
-2
Let t(x) = x**2 - 7*x - 6. Let d be t(9). Solve 2*q = -2*q - d for q.
-3
Let h(o) = o - 2. Let k be ((-2)/3)/((-6)/45). Let r be h(k). Suppose r*l - 6*l + 18 = 0. Solve l = -4*c - 14 for c.
-5
Suppose 5*l = 2*l + 6. Suppose 0 = -3*k + 1 + l. Let c = 1 - k. Solve c = -0*h + 2*h - 4 for h.
2
Suppose -5*u + p = 2*p + 22, -p + 13 = -2*u. Let l = u + 8. Suppose -v + 0*c = -l*c - 4, 5*c + 16 = 4*v. Solve 3*r - 2 = v for r.
2
Let s(x) = 4*x - 10. Let h be s(5). Solve 0 = -2*i - 0 - h for i.
-5
Let f(k) = -2*k - 9. Let u be f(-7). Suppose -i - 1 = -0. Let b = 1 + i. Solve b = -5*n + u for n.
1
Let i(c) = c**2 + 2*c. Let s be i(-3). Solve s*v + 2*v = 5 for v.
1
Suppose -3*s + 2*g - 5*g = -27, -2*g = 0. Solve 0 = 3*t - 0*t - s for t.
3
Let m = -5 - -6. Let g be 2/1 - m - 1. Let a = 5 + -2. Solve a*q + q = g for q.
0
Suppose 0 = 5*i - 16 - 4. Let h(n) = -n**2 - 9*n + 2. Let u be h(-6). Suppose t + a - 5 = -3*t, -4*a + u = 0. Solve 0*p + p + i = t for p.
-4
Let z(x) = x**2 + 9*x + 8. Let i be z(-7). Let k = i - -9. Solve 1 = -k*n + 4 for n.
1
Let j(a) = a**3 + 11*a**2 - a - 12. Let n be j(-11). Let c be 3*n*2/(-6). Solve -1 = 2*p + c for p.
-1
Let u = 4 + -14. Let v(a) = a**2 + 10*a + 1. Let y be v(u). Solve -y - 1 = b for b.
-2
Suppose -3*i = 2 - 5. Solve -i - 3 = 4*x for x.
-1
Suppose 5*h + 7 = y - 22, 2*y = -3*h + 32. Solve -y*i = -14*i for i.
0
Let f(g) = g + 6. Let k be f(-5). Let z = -1 - -2. Let j = z + k. Solve -c - j = 3 for c.
-5
Suppose 2*g - 4*g + 40 = 0. Solve 0 = -0*o - 4*o - g for o.
-5
Suppose 3*b = c + 6*b + 9, 4*b = 4*c - 28. Solve r - 7 + c = 0 for r.
4
Suppose -5*n + 1 = -19. Suppose -2*y = 5*h + 18, 5*y - h - 8 = 1. Solve n*v + 15 = -y for v.
-4
Let w = 2 - 8. Let p be (0 - 3) + (-42)/w. Solve -g - 15 = p*g for g.
-3
Let j = 3 + 1. Suppose j*n + 0 = 16. Suppose 0 = -s + 2 + 1. Solve m = s*m - n for m.
2
Let g = 5 + -1. Let k be (-1)/(-5) - 210/(-75). Solve 0 = -k*b - 11 - g for b.
-5
Suppose -3*u = -0*k - 2*k + 2, 2 = 5*u - 2*k. Let o = 2 - u. Solve 8 + o = 2*p for p.
4
Suppose 2*q - 12 = -5*x, -7 = -4*x + 2*q - 1. Solve 4*u + x = 3*u for u.
-2
Suppose 0 = -4*c - 2 - 34. Let i = -2 - c. Solve 0 = -i*z + 3*z for z.
0
Let k be (3/9)/((-2)/(-18)). Suppose k*q + q - 20 = 0. Let j be 1 + (-4)/(-2 + 0). Solve 2*r - q = j*r for r.
-5
Let r = 1 + 1. Suppose -2*p = -0*p + 5*h - 25, -6 = -r*h. Solve -3 = 4*a + p for a.
-2
Let n be 6/2*6/9. Let u be 1 + 2 - (4 + -2). Solve 3*z = n*z + u for z.
1
Suppose -2*p = -0*p - 24. Suppose 0 = -3*x + p + 27. Solve -3*t + x = -2 for t.
5
Let i = 10 - 13. Let p(n) = -2*n**2 + 0*n**3 + n - 4 + n**3 - 2*n**3. Let q be p(i). Solve 4*d = q*d + 8 for d.
4
Let n be (-2)/((-1)/((-10)/(-4))). Let w(t) = t**2 - 8*t + 5. Let a be w(n). Let i = a - -14. Solve -d - 1 = i for d.
-5
Suppose -4*d + 11 = -13. Let i be 32/(-12)*d/(-4). Let g = 0 - 0. Solve g = -i*j + 3*j - 2 for j.
-2
Let l(i) = 2*i**2 + 4*i + 3. Let m be l(-2). Suppose 2*z = -m*z + 75. Solve -6*t = -3*t + z for t.
-5
Suppose 0 = -19*c + 22*c - 24. Let m(k) = -k**3 + k + 3. Let a be m(0). Let d be ((-30)/18)/(1/(-3)). Solve d*g - c = -a for g.
1
Suppose 5*c - 9 - 1 = 0. Solve -x + 3 = c*x for x.
1
Let d be 0*(-3)/(-24)*4. Solve d = -0*a - 2*a for a.
0
Let k = -138 - -144. Solve -i = i - k for i.
3
Let t(p) = p**2 - p + 3. Let f be t(4). Suppose -4*i = f + 1. Let a be (-42)/(-15)*(-10)/i. Solve -3*m + 12 = -a*m for m.
-3
Suppose -2*o + 4*a = -20, 6*o - 2*o + 5*a + 12 = 0. Let g = -1 + o. Solve -g - 1 = -i for i.
2
Let t = 46 + -34. Solve 3*v + t + 3 = 0 for v.
-5
Let o(p) = -p**3 + 8*p**2 + p - 8. Let y be o(8). Let v = y + 0. Suppose v = -2*s + s + 3. Solve -s*k = -2*k for k.
0
Let c(k) = -k**3 + 4*k**2 + 7*k - 5. Let i be c(5). Suppose -1 + 16 = i*r. Suppose 2*h = -3*h + 25. Solve r*x - 2*x = h for x.
5
Suppose -z = 2*v - 1, 0*v - 4*v - 4 = 0. Suppose -2*n = z*n - 4*c + 12, 9 = 4*n + 3*c. Suppose 0 = 3*p + 6*p - 3*p. Solve n = 2*y - p*y + 2 for y.
-1
Suppose -2*t + 12 = 2*t. Suppose -2*n + 14 = -5*p, -2*p - t - 3 = -n. Solve -n = -0*d - d for d.
2
Let a(j) = 3*j**2 - 4*j. Let w be a(6). Suppose 2*m = -2*r + 82, 3*m - 3*r = 27 + w. Let y = m + -27. Solve -5*k + k = y for k.
-3
Let n be 5/(-2) + (-3)/6. Let k = n - -3. Solve -3*h = -k*h - 12 for h.
4
Let t = 5 + 0. Solve -5*l + t = -0 for l.
1
Let o = -12 - -14. Solve o = 2*y - 0 for y.
1
Let c be (-9)/4 + (-1)/(-4). Let t(w) = -w. Let i be t(c). Suppose i = m + 5*o, 2*o - o + 10 = 5*m. Solve -f = -m*f - 3 for f.
-3
Let h(a) = 4*a**3 + a**2 - 1. Let k be h(1). Let d(g) = g**2 