be n(-4). Solve -5*f + 3 - c = 0 for f.
-1
Let d = -8 + 5. Let g = -1 - d. Solve 0*h = -g*h for h.
0
Let p(t) = t**3 + t**2 + 2*t**2 - 31 + 35. Let f be p(-3). Solve 0 = f*z + 8 + 4 for z.
-3
Suppose -3*b - 104 = 3*i - 8*i, 0 = -4*i + 4*b + 80. Solve -i = -5*k - 2 for k.
4
Let k(p) = p + 2. Let i be k(6). Suppose 5*r - 3*d + 6 = 0, 3*r + i = 3*d + d. Suppose 3 = x + 1, r = 4*o - x - 14. Solve -o*s = 6 + 10 for s.
-4
Let x = 9 - 5. Suppose -x*g - d + 14 = 0, 2*d + 2 - 6 = 0. Suppose -9 = 4*b - 2*b - g*q, -3*b + 5*q = 16. Solve 2*t - 5 = -b for t.
1
Suppose 3*k = 4*k + 2. Suppose -4*m + m - 12 = 0. Let i = k - m. Solve 0 = -3*c + i*c - 3 for c.
-3
Let t(n) = -n**3 + 11*n**2 - 10*n + 2. Let b be t(10). Suppose 0 = -u + b*u. Solve u*d + d = -5 for d.
-5
Let r(v) = -2*v**2 + 2 + v**2 + 0*v**2 + 9*v**3 - v - 1. Let c be r(1). Solve -c*y = -3*y + 15 for y.
-3
Let b be 1/(10/(-11) - -1). Let h = b + -4. Solve -3*f = -h*f for f.
0
Suppose 0 = -3*l + 7*l. Let h(c) = -c**3 + 5*c**2 - 2*c - 4. Let s be h(4). Solve s*g + 6 - 26 = l for g.
5
Let l = 1 - 1. Let d = 0 + l. Let x = d - -3. Solve -8 = -x*o - 2 for o.
2
Let q be (1 - 1)*(-1)/(-2). Let s = 5 + -3. Solve d = -s - q for d.
-2
Suppose -48 = -17*p + 11*p. Solve 2*y + 2*y = -p for y.
-2
Let c = 6 + -12. Let t(y) = -y - 4. Let d be t(c). Suppose 9*j - 5 = 4*j. Solve j = -d*r + 7 for r.
3
Let p = 4 + -5. Let o = 1 + p. Solve o = -5*m + 2*m for m.
0
Let v = -10 - -13. Solve v*j - 6 = -0*j for j.
2
Suppose 15*x - 80 = -x. Solve 4*d + d + x = 0 for d.
-1
Suppose 21 = -5*b + 3*c, -2*b = 5*c - 1 - 3. Let a be (4/(-4) - b) + -1. Suppose -m + 5*m = 8. Solve t - a = m for t.
3
Let c(a) = -a**2 - 3*a + 1. Let t be c(-4). Let d be (7 + t)/(-1 + 3). Let v be (9 - 3)/((-1)/(-2)). Solve -d*q - q = -v for q.
4
Let x(t) = t**3 - t**2 - t + 5. Let i be x(0). Solve y = i*y - 16 for y.
4
Suppose 0 = q - 4*h - 32, -3*q = -h - h - 46. Suppose 5*g + s = -3*s + 16, -4*g + q = 4*s. Solve 4*a - 3*a = g for a.
4
Suppose 9 = -2*o - 3*m, -3*o = -5*o + m + 11. Suppose t - 5 = 0, -3*v + 3*t = 12 - o. Solve 6 = v*i - 0 for i.
3
Suppose 23 = n - v, 5*v + 43 = 4*n - 2*n. Suppose 4*h - n = -q - 3*q, 4*h + 3*q = 22. Solve h*s = 5*s - 1 for s.
1
Let x = -19 - -21. Solve -w - x*w = -12 for w.
4
Let i = -10 - -13. Suppose 0 = -z + 5 - i. Solve 8 = -6*s + z*s for s.
-2
Let i(s) = -4*s - 4. Let d be i(-3). Solve 5*j - 15 = d*j for j.
-5
Let q(g) = -g**3 - 5*g**2 + 7*g + 8. Suppose 5*b + 14 = -16. Let p be q(b). Let r = p + 0. Solve r*a + 20 = -3*a for a.
-4
Let u be (12 - (1 - 2)) + -1. Let b = 22 - u. Let y be (b/(-3))/(2/(-6)). Solve -3*i - y = -1 for i.
-3
Let u(n) = n + 7. Let j be u(-4). Let i be (2/j)/((-1)/(-3)). Solve i = -5*q - 8 for q.
-2
Let r be -1 + 1/(-2 - -3). Let g(w) = -w**3 + 3*w**2 + 6*w - 5. Let x be g(4). Solve s + r*s + x = 0 for s.
-3
Let u = 9 - 6. Suppose -v - 6 = -u*x, 0*x = -5*v + 5*x - 10. Let m = 6 + -1. Solve -m*j = -v*j - 5 for j.
1
Suppose 3*m + 5*q + 5 = -2*m, 4*m + 5*q = -9. Suppose -3*c + 4*b + 4 = 3*b, -m*c + 10 = b. Solve -6 = -c*d + 4 for d.
5
Let q = -11 - -5. Let o be (4/q)/(1/(-3)). Solve o*i + 3*i = -15 for i.
-3
Suppose -v + 14 = 3*n - 2*v, -5*v = -3*n + 10. Let h = n + -3. Solve 6*l = h*l - 8 for l.
-2
Let w be 4/(-10) + (-4)/(-10). Let f(c) = -2*c + 19. Let h be f(8). Suppose 0 = h*m - 12 - w. Solve -m*g + 12 = -g for g.
4
Let b(v) = 3*v**3 + 6*v**2 + v + 1. Let d(j) = -10*j**3 - 19*j**2 - 2*j - 2. Let z(i) = 7*b(i) + 2*d(i). Let g be z(-3). Solve 0*q = q - g for q.
3
Let f be (-1 - 0)*(-2 - 0). Suppose -6 = 5*x - f*s, 5*x - 3*s = -5 - 4. Solve 0 = -x*l + l - 3 for l.
3
Suppose 0 = -f - f + 8. Let b = -6 + 6. Solve b = -f*n - n for n.
0
Let m be 63/13 + 8/52. Solve m*b - 7 + 2 = 0 for b.
1
Suppose -2*d = -4 - 8. Solve 0 = -d*g + 2*g + 16 for g.
4
Let q(m) = m**2 + m - 2. Let r be q(2). Let b = 4 - r. Let p be (-1 - b)*(-3 - -3). Solve 0 = -4*k - p*k for k.
0
Let b = 16 + -6. Suppose i = -5 + b. Solve 0 = -3*m + i - 20 for m.
-5
Let c = 50 + -48. Solve -c*o + 5 = 1 for o.
2
Let g(x) = x**2 + 7*x + 2. Let k be g(-7). Suppose -1 + 55 = 3*u. Let v(p) = -p**2 + 6*p. Let b be v(5). Solve -b*j - u = k for j.
-4
Let g be 1/(-2 - -1) + -9. Let l = 5 + g. Let i = -5 - l. Solve 4 = 4*z - i for z.
1
Suppose 26*n = 20*n. Solve 5*d + n*d + 15 = 0 for d.
-3
Let s = 28 + -17. Solve 2*n + 1 = s for n.
5
Let k be 28/21*6/4. Solve k*j + 0*j = -10 for j.
-5
Let w(p) = p**2 + 3*p - 1. Let y be w(-4). Solve -m + y = -2 for m.
5
Let f(l) = l**3 - 2*l**2 - 2. Let w be f(2). Let x = w + 5. Solve -8*k + 25 = -x*k for k.
5
Let m = 107 - 107. Suppose 4*u + 2*g - 8 = 0, -5*u - 4*g = -6 - 4. Solve -f + u + 2 = m for f.
4
Let c be 54/7 + (-6)/(-21). Suppose 3*t - 4*n = -c, -3*t - 3*n - 5 = -8*t. Let i be (-2)/t*2 + 1. Solve -3*u + i*u - 3 = 0 for u.
-1
Let h be 1/((-1)/(-1)) + 3. Suppose 3 = -3*m + 4*q - 5, -h*m + 36 = 4*q. Solve m*j + j = -5 for j.
-1
Let c(r) = 4*r - 2. Let f be c(1). Let t be 4/((-2)/(-4)*4). Solve -f*l = t*l - 12 for l.
3
Let k(n) = -4*n + 3. Let t be k(0). Solve 0 = t*a + 18 - 3 for a.
-5
Let d(q) = -q - 5. Suppose 3*v + 15 = -m + 6*m, 5*v + 12 = 4*m. Let f be ((-16)/10)/(m/15). Let g be d(f). Solve g*t = 4*t for t.
0
Let a be (-240)/(-130) - (-4)/26. Solve -p + 1 = -a*p for p.
-1
Let i(x) = -x**3 + 2*x**2 + 4*x - 3. Let o be i(3). Let d(a) = -a**3 + a + 3. Let y be d(o). Solve 12 - 3 = -y*b for b.
-3
Let a(q) = q**2 + 12*q + 8. Let s be a(-11). Let t be (3 + (s - 0))/1. Solve t = -h - 3*h - 16 for h.
-4
Suppose -4*y + 8 = 2*k, 0 = k - 2*k - 3*y + 2. Solve 2*s + 0 = k for s.
4
Let m = 82 + -82. Solve 5*h + 10 = -m*h for h.
-2
Let m(l) = 5*l**3 + 2*l**2 + 2*l - 1. Let p(d) = 10*d**3 + 5*d**2 + 4*d - 2. Let y(c) = 5*m(c) - 2*p(c). Let s be y(1). Let b = 9 - 4. Solve s = -b*f - 9 for f.
-3
Let z(w) = -w + 7. Let k be z(3). Solve -k*p = -6*p + 8 for p.
4
Suppose 4*s + 2*w + w - 34 = 0, 4*s = -w + 30. Let k be s/3 + 3/(-9). Suppose -k*x - 2*x - 3 = 3*a, -a = -3*x - 12. Solve 0*u = a*u for u.
0
Suppose 2*k - 3 = g, g - 5*k + 7 + 2 = 0. Solve 0 = 2*a + 1 + g for a.
-1
Let f = 43 + -38. Solve -f - 15 = 5*v for v.
-4
Let j(x) = x**3 - 11*x**2 - 11*x - 3. Let h be j(12). Solve 5*t = -6 - h for t.
-3
Let a be (-108)/8*(-8)/12. Solve -a = 4*v + 11 for v.
-5
Let u be ((-4)/6)/((-5)/15). Suppose -3*q = -4*s - 25, 3*s = 3*q - u*s - 29. Let k(y) = -y**3 + 4*y**2 - 4. Let r be k(q). Solve 0 = -r*t + 2*t for t.
0
Let i = -14 - 1. Let v = i - -21. Solve v*d - 10 = d for d.
2
Let a(j) be the first derivative of -j**4/4 + 5*j**3/3 - 2*j**2 + j + 1. Let i be a(4). Solve -3*l - 8 - i = 0 for l.
-3
Let c(j) = -j**2 + 3*j + 1. Let z be c(-2). Let s = z + 5. Let p be (15/s)/((-3)/8). Solve k = -k + p for k.
5
Suppose -c + 6 - 3 = 0. Suppose -r - 2*r - c = 3*t, 3*t - 5*r = 37. Suppose 0*f - d = 3*f - 8, 0 = -t*d + 8. Solve s - 6 = -f*s for s.
2
Let i be 6 + (4 - -4)/(-2). Solve -q - 15 = i*q for q.
-5
Let c be (-10)/8 - 3/(-12). Let o = c - -3. Solve o*a = a - 5 for a.
-5
Let u(y) = y**2 - 9*y + 3. Let t be u(9). Solve -c = -t*c for c.
0
Let l = -2 + 3. Let i(f) = f**2 + 4*f**3 + 4 - f**3 - 5. Let z be i(l). Solve -z*w + 8 = -w for w.
4
Let p = -1 + 4. Let u = 30 - 10. Suppose z + z - u = 0. Solve -z = f - p*f for f.
5
Let q(r) = r**2 - 6*r + 14. Let c be q(4). Solve 3*f - c*f = -6 for f.
2
Suppose 0*m + m = 0. Solve -3*q = -m*q for q.
0
Let k be (2/(-6))/(3/(-36)). Suppose -k + 2 = -d. Solve -i = -0*i + d for i.
-2
Suppose -10*m = m - 6*m. Let a(j) = 3*j - 9. Let h be a(6). Solve h + m = 3*d for d.
3
Suppose -2*d - 2 = -3*d. Solve -d*j + 3*j = -4 for j.
-4
Let m = -3 - -4. Let r be (6 - 7)/(1/(-2)). Suppose 0 = 2*n + r*d - 4*d - 2, n - 5*d + 7 = 0. Solve -m + n = -v for v.
-2
Suppose 0 = -0*i + 4*i - 24. Suppose 0 = i*j - 3*j - 36. Let q be -2*((-30)/4)/3. Solve -q*z = -2*z - j for z.
4
Let l(r) = -r**3 - 6*r**2 - 6*r - 5. Let u be l(-5). Solve u*g = g + 2 for g.
-2
Let o(c) = 7*c - 8. Let j be o(4). Solve -j = -2*h + 6*h for h.
-5
Let q be (2 - -2) + ((-60)/(-3))/(-5). Solve q = -5*d - 3 - 12 for d.
-3
Suppose 0 = 3*m + m - 28. Suppose -3*y + 10 + 2 = 0. Suppose -3*t + 4*h = -9, -2*h = -t + m - y. Solve -z = t*z for z.
0
Suppose 0 = -2*h + 5*h - 21. Solve -2*l = -h*l for l.
0
Let c(s) = -s + 3. Suppose 0 = -i + 2*i. Let t be 