et l(d) = -d**3 - d**2 + d + 6. Let t be l(0). Let f be 3/t - (-13)/2. Suppose 3*p = f*p. Solve 0 = -2*u - p*u for u.
0
Let d be 3*1/2*2. Solve -2*h - 5 = -d*h for h.
5
Suppose -3*f = -30 + 3. Solve -z - 2*z + f = 0 for z.
3
Suppose 27 = -5*p + 27. Solve 9 = -3*q - p for q.
-3
Let f = 1 + -1. Suppose 0 = -0*u - 4*u + 20. Suppose 2*r = -u*q - 2*r + 3, 0 = -4*q - 3*r + 3. Solve -2*h + 13 - q = f for h.
5
Suppose 3*a - 4*f + 14 = 4*a, 2*a - 16 = 4*f. Let d be (-6)/a + (-92)/(-20). Solve 0 = 6*l - d*l for l.
0
Suppose 0 = 2*s + s - 12. Suppose -5*i - 14 = d - 0*i, 5*d + 7 = -s*i. Suppose 0 = -j + 2, -3*k + 4*j + 3 = -d. Solve -k*f + 26 - 10 = 0 for f.
4
Suppose -5*b = -2*b - 12. Solve -b + 29 = 5*d for d.
5
Let b = -34 + 36. Suppose m - 5*m - 4*o + 40 = 0, 8 = 4*o. Suppose -2*q - 8 = 2*g, q + m = -q. Solve -n = -g*n + b for n.
-2
Let i = 3 - 1. Suppose 0 = -j + 2 + i. Solve 0*c = -j*c for c.
0
Let g be (-10)/55 - (-4)/22. Suppose g = -b - 3*b. Solve -4*v + 2 - 6 = b for v.
-1
Suppose -5*l + 3*j + 85 = 0, 0 = -3*j + 8 + 7. Solve 0 = 3*g + g + l for g.
-5
Let s = -34 + -6. Let v be 3/9 + s/(-6). Suppose -9 = -3*g + 4*z, g = -v*z + 2*z + 3. Solve -b + g*b = 0 for b.
0
Let w be 7 + -1 + 0 + 2. Let p be 5 + (-1 - (-1)/(-1)). Solve p*x = x + w for x.
4
Let z(r) = r**3 + r**2 - r + 2. Suppose -3*f = -4*f - 2. Let h be z(f). Solve h*p - 6 = 3*p for p.
-2
Let v(g) = -g**3 - 12*g**2 + 2. Let m be v(-12). Solve -m*c - 1 = -c for c.
-1
Let t(g) = -g**3 - 2*g**2 + g - 4. Let b(s) = -s - 11. Let a be b(-8). Let d be t(a). Suppose 0 = -5*c + 3*c + d. Solve 0 = m + 4 - c for m.
-3
Let s(d) = d**3 + 5*d**2 + 2*d + 7. Let w be s(-3). Let k = -18 + w. Solve -2*z + 7 = -k for z.
4
Suppose 4*t - 20 = 0, 5*u + 5*t - 25 = 2*u. Solve u = -2*a + 3*a for a.
0
Let b = 37 + -35. Suppose o - 19 = 4*g, -2*o + 6*o + 3*g = 0. Solve -o = b*t + t for t.
-1
Let w(s) = 65*s**2 - s - 1. Let j be w(-1). Suppose 3*n - j = 3*x + 2*x, -2*x = -3*n + 62. Solve -o = -6*o + n for o.
4
Let l = 16 - 10. Suppose -4*q + w + 12 = 3*w, l = 3*w. Solve -5*a = -q*a - 3 for a.
1
Let a be (-6)/(-1) + -1 - (12 - 11). Solve -a*j + j - 12 = 0 for j.
-4
Let s(q) = -q**3 - q**2 + q. Let h be s(-2). Suppose 0 = h*g - 0*g - 30. Suppose 4*u - 15 - 25 = 0. Solve 0 = -u*r + 5*r - g for r.
-3
Let a(t) = 4*t**2 - t - 1. Let c be a(1). Solve -c*o + 3*o = -4 for o.
-4
Let s = 6 - 4. Solve -x = -s*x for x.
0
Suppose 0 = n + 9 - 23. Let f = n - 4. Solve -r + 3*r = -f for r.
-5
Suppose 3*f = 4*f - 2. Solve 6*h + 8 = f*h for h.
-2
Suppose 4*u = 3*u - 5. Let q = 5 + u. Solve 0*w + 3*w - 12 = q for w.
4
Let g be ((-16)/(-28))/((-4)/(-14)). Suppose -2 = -4*d + g*d. Let r = 3 - d. Solve -r*k + 0*k = 4 for k.
-2
Let d = -1 + 3. Solve 0*z + 2 = -d*z for z.
-1
Suppose 14 = 3*r + 4*t, 2*t = -2*t + 8. Solve -r*m = -7*m + 20 for m.
4
Suppose -14 = 2*g - 4*r, -4*g - 3 = -2*r + 1. Let j(b) = 17*b. Let h be j(g). Let n = 32 - h. Solve -2*f + 7*f + n = 0 for f.
-3
Suppose 0 = 2*x - 57 + 19. Let i = x + 5. Solve -4*a + 4 - i = 0 for a.
-5
Let n(h) = h**3 - 4*h**2 + 3*h. Let j be n(4). Solve j = -r + 4*r for r.
4
Let s = 29 - 24. Solve -3*y + s*y = 10 for y.
5
Let l be 1/(1/9) - -1. Let u be 48/15 - 2/l. Suppose 0*x - u*x = -12. Solve -4*v = 8 + x for v.
-3
Let w(s) = -4*s - 63. Let z be w(-22). Solve t = 6*t + z for t.
-5
Suppose -10 = -f - 4*f. Suppose -4*m + 0*m - 16 = f*n, 3*m = 4*n - 23. Solve -i - 2 = -n*i for i.
2
Let x be 8 + 1 + 4/2. Suppose 6*b - x = -4*v + b, -4*b - 56 = -4*v. Solve v = -0*s - 3*s for s.
-3
Let r(j) = j**3 + 7*j**2 - 1. Let u be r(-7). Let q = 4 + u. Suppose 21*d - 10*d = 22. Solve -d*s + 1 + q = 0 for s.
2
Let l(h) = 26*h**2 - 4*h + 3. Let t be l(2). Suppose t = 5*j + 24. Let q be 69/j - 6/10. Solve q*f - 1 = -9 for f.
-2
Suppose 20 = 3*w + w. Suppose -w = -k - 3. Suppose -u = k*u - 12. Solve -u*b + b = 12 for b.
-4
Let f(n) = -n**2 - 4*n - 7. Let s be f(-5). Let q = s + 20. Solve q = m + 4 for m.
4
Let h(v) = 3*v**2 - 2*v - 2. Let j be h(2). Solve -3*w - 3 = -j for w.
1
Let i(j) = j**3 + 6*j**2 + 7*j + 6. Let z be i(-5). Let s(c) = -c - 2. Let h be s(z). Solve -u = 2 + h for u.
-4
Let q(g) = -11*g**2 - g - 1. Let f be q(-1). Let j(c) = c. Let h be j(-5). Let u = h - f. Solve p - u = -2*p for p.
2
Suppose 5*u = 2*u + 27. Suppose -2*z + 4 = -2*f, u = 3*z - 6. Suppose 0 = k - 2*k + 4. Solve -k*v - 19 = -f for v.
-4
Let v(i) = -i**2 - 4*i + 3. Let a be v(-5). Let g be (-3)/((-12)/(-2))*a. Let z(f) = f**3 - 9*f**2 + 9*f - 6. Let b be z(8). Solve -9 = -b*n + g for n.
5
Let g(n) = -9*n**3 + n - 1. Let o be g(1). Let f(s) = -s - 7. Let v be f(o). Suppose v*l = l + 25. Solve -y + l = 4*y for y.
5
Suppose 3*z - 3*d - 21 = 0, -5*z + 3*d + 28 = 5*d. Solve -7*l + 4*l = -z for l.
2
Let r = -14 + 15. Solve 0 = o - r - 1 for o.
2
Let b be 55/(-33)*(1 + -4). Solve b*t - t = -12 for t.
-3
Suppose 5*v + 3 = 2*v. Let r = 1 - v. Solve -z - r*z = -3 for z.
1
Suppose 2*v - 4*l = l + 26, -4*v = -5*l - 32. Let a = v + -3. Let i be a + 1 + (10 - -1). Solve k = -3*k + i for k.
3
Let y = -2 - -5. Let h = y + 0. Suppose -4*l + 11 = -9. Solve l = -h*u - 10 for u.
-5
Suppose 3*m - 31 = 4*f, 4*f = m - 2 - 19. Let z be 4*1*(-4)/(-8). Solve 8 + z = -m*a for a.
-2
Let y be (1 + (5 - 3))*(-2)/(-3). Solve y*w + w = -6 for w.
-2
Let h(l) = -2*l - 1. Let n be 2/4 - 12/8. Let a be h(n). Let i be (1/(-2))/(a/(-8)). Solve i*p - 7 = 1 for p.
2
Let f = -28 - -49. Let d = f + -13. Solve d = -2*i - 0*i for i.
-4
Let r be -1 - ((-3)/(-1))/(-1). Suppose -2*g - r = -6. Solve g*w + 1 = -1 for w.
-1
Let d(a) = 7*a**2 - 5*a**3 + 3*a**3 - 15*a**2 - a + a**3 - 6. Let n be d(-8). Solve n*z + 2 = -6 for z.
-4
Let o(n) = n**2 + 5*n - 1. Let q be o(-5). Let y be -2 - 0 - q*5. Solve -5 = -2*m + y for m.
4
Suppose 0 = 3*d - 8*d + 10, -2*f - 5*d + 34 = 0. Suppose -8 - f = -2*q. Solve 5*p = q*p for p.
0
Let h = 7 + -14. Let n = h + 17. Solve -x - n = x for x.
-5
Let t(x) = x + 5. Let w be t(-7). Let d = 20 - 17. Let h = d - w. Solve u + h = -4*u for u.
-1
Suppose 0*y - 5*p + 60 = 5*y, p + 20 = 3*y. Solve 0 = r - 3*r - y for r.
-4
Let c = -10 - -26. Solve t = 5*t - c for t.
4
Suppose -5*k + 4*k + 5 = 0. Suppose -3*f + 4*c + 4 = -0*c, -5*c - 5 = -2*f. Solve 0*x + k*x = f for x.
0
Let i be (-9)/(-4) + (-18)/(-24). Solve 4*k = i*k - 5 for k.
-5
Let o be ((-102)/(1 + 2))/(-1). Suppose 0 = -3*h - b + 18, 5*h = -3*b - 0*b + o. Solve -15 = -h*n - 5 for n.
2
Let f(j) be the third derivative of -j**4/24 + 2*j**3/3 + 3*j**2. Suppose 0 = 2*w + 2*l - 4, 26 = 5*w - 5*l - 4. Let c be f(w). Solve -d + 4 = -c for d.
4
Suppose -5*m = 5, -w - 3*m = -7*m - 20. Solve -4*r = -4 - w for r.
5
Let d(i) = 7*i + 1. Let x(c) = -2*c. Let p(v) = -6*d(v) - 22*x(v). Let j be p(4). Solve -j*b - b = 9 for b.
-3
Let a be (1 - 4)/3 + 3. Suppose -2*y + 5*k + 7 = -13, -4*y + k = -40. Suppose 2*w - y = -u - 4*u, 0 = 4*w - 5*u - 20. Solve -a*p + 1 = w for p.
-2
Let s(m) = m + 0*m**2 + 3 - m**2 + 2*m. Let q = 9 + -6. Let f be s(q). Solve 0 = f*j - j + 8 for j.
-4
Suppose 0 = -4*p + 4*b + 12, -4*b + 4 = -3*p + 12. Suppose f - 11 = -3*m, -5*f = m - 3*m - p. Solve 0*y = -m*y + 12 for y.
4
Let i be 0/(-14) + 8*2. Solve 8*l - 4*l + i = 0 for l.
-4
Let q be (1/3)/(2/30). Suppose 3*p = 20 - 5. Suppose i = -5*j + 17, -4*i + 0*i + p = -j. Solve i*b - q*b = 0 for b.
0
Suppose 4*z - z = 12. Suppose 4*n = 3*y + 2*n - 20, -5*n = -z*y + 36. Solve 0*f = 4*f - y for f.
1
Suppose -w - 51 + 58 = 0. Solve w = -4*x - 13 for x.
-5
Let i(g) = -g**2 - g - 1. Let x(z) = -3*z**2 + z - 7. Let k(p) = 4*i(p) - x(p). Let q be k(-4). Solve 1 = 3*h + q for h.
-2
Suppose -3*r = 3*n - 3, r + 2*n + 2 - 1 = 0. Suppose -7*k = -r*k - 20. Solve 3 = k*a + 13 for a.
-2
Suppose 50 + 5 = 5*u. Let c = u - -14. Solve -w - c = -6*w for w.
5
Suppose 6 = 2*c + f - 2, 0 = -3*c - 3*f + 18. Suppose 0 = -c*d + 4*d. Solve d = o - 6*o + 25 for o.
5
Suppose 11*a = 6*a + 10. Solve 0 = a*j - 0 + 4 for j.
-2
Suppose 5*n + 13 = 4*j + 3, n + 2 = -j. Solve j = -3*l + 8*l + 25 for l.
-5
Suppose 0 = -2*f + f - 4*m - 2, 3*m = -9. Solve -f = -6*r + 4*r for r.
5
Suppose 5*h = 4*p + 25, 4 - 19 = -3*h + p. Let u(a) = a**3 - 14*a**2 + 13*a + 4. Let s be u(13). Solve 3*v = s + h for v.
3
Let f(v) = -v**2 + v. Let z(u) = -7*u**2 + 14*u + 2. Let j(a) = -6*f(a) + z(a). Let