 0*p = 2*f - 8 for f.
4
Let m(b) = 2*b**3 - 5*b**2 + 4*b - 1. Let x be m(3). Let i(w) = 2*w - 3. Let f be i(6). Suppose 0 = f*k - 4*k - x. Solve 3*n - k*z = 3, n + 8 = -z + 2 for n.
-3
Let p(q) = -q**3 + 3*q**2 + 2*q + 2. Let a be p(4). Let y be (1 - 9/6)*a. Solve -k + 5*k = y*s, 2*k = -s + 10 for k.
3
Let r(k) = k**2 + 3. Let u be r(2). Suppose -h - 2*s = -10, -10 = 2*h - h - 2*s. Solve u*o - 3*o - 4*p - 4 = h, -o = 5*p + 17 for o.
-2
Let b(k) = -k + 3. Let c be b(3). Solve c = p + 5*d - d + 7, 0 = 4*p - 5*d + 7 for p.
-3
Let p = 13 - 9. Suppose -10 = -p*u - 2*z, -z = -u + 3*z - 20. Suppose 0 = 5*b - 13 + 3. Solve -4*x + 4*v + 4 = u, -b*x - 5*v + 9 = -0 for x.
2
Let t = 2 - 0. Let w be 3 - (4 + -8 - -6). Solve 2*h + x = 1, t*x + w = -5 for h.
2
Let o be (-106)/(-22) - (-4)/22. Suppose -20 = -6*n + n. Suppose -5*w = x - n*x, 0 = 2*x - o*w. Solve -5*m = -3*t - 10, 0 = -x*t + t + 3*m + 8 for t.
-5
Suppose 2*s = -5*d - 17, 3*d - 2*d + 5 = 0. Solve 12 = 4*o, k + s*k + 11 = 2*o for k.
-1
Let b be (16/32)/((-1)/(-4)). Solve 3*l = -0*h - 3*h + 15, b*l + 2 = h for h.
4
Suppose p = -5*i + 2*p + 99, -4*i - 5*p = -85. Solve -g + 4*h + 16 = -0, 0 = -2*g + 5*h + i for g.
0
Let p = -23 - -41. Let l = p - 16. Solve -3*d = -5*q - 30, 4 = 2*q + l*d - 0*d for q.
-3
Let h be ((-66)/44)/((-1)/10). Solve 0*j + 4*a - h = -5*j, 0 = -4*j - 3*a + 11 for j.
-1
Suppose 5 = 3*d + 2. Suppose -d = k - 4. Solve 15 = -k*c - 3*p, 5*c = 4*p + 10 + 10 for c.
0
Let z = -84 - -88. Solve 2*h = -4*s - 26, h + 2*h = z*s + 1 for s.
-4
Let c = 27 + -24. Solve l - n = 1, 10 = 2*l + c*n - 7 for l.
4
Let o(g) = g**3 + 4*g**2 + g - 4. Let v be o(-3). Let d = v - 0. Solve a - d*w = -4*w + 4, -3*w = 4*a - 11 for a.
2
Let f(a) = -a**2 + 7*a + 2. Let l be f(5). Let d = l - 10. Solve 8 = -4*t, d*t = 4*m - 2*t - 28 for m.
5
Suppose -2*i = -0 - 2. Let v(j) = j - 7. Let n be v(8). Let t = n - i. Solve -5*x - 30 = -5*g, 5*x + t*g - 10 = -5*g for x.
-2
Let q be (3/(-1))/(3/(-2)). Suppose -16*o + 23*o - 14 = 0. Solve -o*y - 5*x = 1 + 22, q*y + 2*x = -14 for y.
-4
Suppose 0 = 3*a, 3*s - 4*a = -0*a + 24. Let g = 10 - s. Suppose 3*f = 2*z + 15, 4*f - 5*z = 2*f + 21. Solve -q + 3 + g = 0, -2*y + 23 = f*q for y.
4
Let l be (-2)/(16/18 - 1). Let u = l + -13. Solve 0 = -2*h - u*d + 31, h = 2*d - 8 + 1 for h.
3
Let i(n) = -22*n + 5*n**2 - 6*n**2 - 3 + 14*n. Let l(m) = m**3 - 6*m**2 + 3*m + 3. Let f be l(5). Let b be i(f). Solve 0*x - 3*x - c = 6, 5*x + 27 = b*c for x.
-3
Let c(n) = n**3 - 9*n**2 + 8*n + 4. Let s be c(8). Let h = -1 + 3. Solve s*d + 12 = -2*q, 3*q - 22 = h*d - 0*q for d.
-5
Suppose 80*r = 81*r - 4. Solve r*k = -4*h - 16, -2 = 4*h - 3*k - 7 for h.
-1
Let w(i) = i**3 + 2*i**2 - 14*i + 7. Let p be w(-5). Solve p*z = f - 1, 0 = 2*f - 7*f - 4*z - 9 for f.
-1
Suppose 20 = -2*b + 5*h, -2*b = -6*b + 3*h - 12. Solve b = -5*n + 3*g - 32, 5*g - 3*g + 4 = -3*n for n.
-4
Let l be (-2)/3*(-48)/16. Solve -3*a - l*b = -4*b - 10, b = 1 for a.
4
Suppose 16 = 4*c - 12. Let w = 10 - c. Suppose 12 = w*v + 2*n + 4, -4 = -n. Solve v = 3*m - 2*i + 12, 5*i - i = 5*m + 20 for m.
-4
Suppose -3*o + 5 = -4*x + 2, 0 = x + 4*o - 23. Solve 5*k - 3*g = -6 - 0, -6 = -k - x*g for k.
0
Let s = 20 + -14. Suppose a - 3*a = -s. Solve -4*f + 21 = 5*j, -9 = -3*j + 6*j - a*f for j.
1
Suppose 0 = -7*u + 20 + 1. Solve -8 = 2*x + u*y, 2*x - 4*y = y - 8 for x.
-4
Let x(w) = -w**3 - w**2. Let i be x(-1). Let j = 2 + i. Let f = 2 - j. Solve 0*a + a + 13 = 5*q, -4*a + 3*q - 1 = f for a.
2
Let h(s) = -s + 3*s - s**3 + 1 + s**2 + 5*s**2. Let d be h(6). Suppose 0 = 3*v + 1 - d. Solve x = 2, 0*o - 6 = -2*o - v*x for o.
-1
Suppose 3*k = -0*k + t - 10, k = 2*t. Let c = -13 - -7. Let i be (-5)/k - c/8. Solve -2*j - m + 10 = -i*m, -4*j + 20 = -5*m for j.
5
Suppose -3*q - 8 = -c, c - 3*c + 16 = -2*q. Solve -3*p + c = 4*x, -3*p - 5*x + 9 = 2 for p.
4
Let n(f) = 2*f + 5 - 4*f - 3 + 3*f. Suppose -3*m - m = 4*u - 4, -5*m + 8 = 2*u. Let d be n(m). Solve -5*s + 5 = 5*q, -q + 5*q - 2*s - d = 0 for q.
1
Let t = 52 + -49. Solve 0 = -5*k - m - 11, -2*m + t*m = -k - 3 for k.
-2
Suppose 0 = 2*i - 4. Let y(c) = 6*c + 10 + c**2 + 4*c - 1. Let v be y(-9). Solve 22 = i*m - v*w + 4*w, -5*m - 4*w = -37 for m.
5
Let s = -7 - -6. Let b be (-21)/s*(-15)/(-9). Let y = b - 25. Solve 5*m - 2*m + l + 17 = 0, 0 = -2*l - y for m.
-4
Let z be (-6)/33 + (-120)/(-55). Suppose -2*d + 0*d - 30 = -z*i, 0 = 2*i - d - 27. Solve -2*f = 2*a + i, -2*f - 4*a + 7*a = -3 for f.
-3
Suppose 8 = i + 3*i. Solve 5*x - l + 23 = 0, -i*x + l - 3*l - 2 = 0 for x.
-4
Let z(b) = -b**3 + 2*b**2 + b - 2. Let a be z(-2). Suppose -8 + 19 = n. Let s = -8 + n. Solve 4*x - 3*t - 23 = 0, 2*x - a = t - s for x.
2
Let h(l) = 4*l - 3. Let q be h(2). Suppose -5*f = q*g - 30, -2*g + 3*g - 8 = -2*f. Solve -2*u + 4 - 2 = f*t, 4*u - 16 = 2*t for t.
-2
Suppose 0*j + 10 = 5*j. Let u = -50 + 52. Suppose 2*g - u = j. Solve c + g = -2*c - 2*o, -5*o - 20 = 0 for c.
2
Let x(a) be the first derivative of a**2/2 - 12*a - 1. Let t be x(0). Let f be 1/((-3)/(t*1)). Solve -4*h = d - 8, -5*d + f*h - h = -17 for d.
4
Suppose -a + 6*a = -2*o + 12, -5*o = -a - 3. Let l = 1 + a. Solve -10 = l*m - 6*t + 4*t, -4*t = -m - 10 for m.
-2
Let x = 41 + -19. Solve o - 13 = j + 4*o, j - x = 4*o for j.
2
Let w(q) = 2*q**2 - 3*q. Let c be w(2). Let i = -3 + 3. Suppose i*x = c*x. Solve x = -5*v - 4*m - 3 + 1, m - 10 = 4*v for v.
-2
Let b = -5 - -3. Let k = 6 + b. Suppose 0 = n - 6*n + 15. Solve 3*c - 19 = k*t, 0 = -5*c + n*t - 4*t + 1 for c.
1
Suppose -4 = -0*m + 2*m. Let i be 1 + -1 + 2 + m. Solve i = -g + 2, -2 = 3*o - 2*g + 11 for o.
-3
Let q be (-20)/16 - (-1)/4. Let n(c) = -11*c**3 - c**2. Let h be n(q). Solve 0 = -5*w - 5*f - h, -f + 18 = -5*w - 2*f for w.
-4
Let n be ((-1)/(-3))/((-3)/(-36)). Let s be n/22 + (-420)/(-110). Solve o + w + 3 = 0, -2*w + s*w + 8 = 0 for o.
1
Let r = 12 + -7. Suppose 3*z + 3 + 2 = -2*a, 29 = -r*a - 2*z. Let x = a - -11. Solve p = -2*h + 4, -x*p + 2 = -h + 13 for h.
3
Suppose 0 = -5*d - 15, 3*d + 11 = -3*h + 2. Suppose 2*k + 6 = j + 3*k, -4*k - 16 = h. Solve 2*o = -2, 24 = -3*m + o + j for m.
-5
Let z = -11 - -15. Let q(k) = k - 1. Let s be q(3). Suppose -z*h = 3*d - 91, d - 4*d + 83 = s*h. Solve -5*o = -4*a - d, 4*a = -4*o + 8 + 12 for a.
0
Let y(b) = 7*b**2 - 1. Let c be y(1). Solve -5*t = -3*g + 28, -g = -c*g + 4*t + 25 for g.
1
Suppose 4*f = 2*b + 12, -2*f - 42 = -0*b + 2*b. Let p be (b/6 - -3)*3. Solve 3*t - 4*y = 10, 3*t - 2*t - p = -y for t.
2
Let t = 29 + -24. Solve -4*x - 12 = -6*l + 4*l, -l = -t*x - 15 for x.
-3
Let t = -48 + 26. Let z = t - -13. Let u be 5/((-3)/z*1). Solve -7*c - u = -2*c, -15 = -v + 4*c for v.
3
Let v = 1 + 0. Suppose -4*p - 26 - 6 = 0. Let z be (6/8)/((-2)/p). Solve 3*c = -0*c + 5*m - v, z*c + 4 = 2*m for c.
-2
Let m(p) = 2*p**2 + 3*p. Let s be m(-3). Let h be (10/6)/(3/s). Solve -u - 3 = 5*z - 0*u, -u + h = -3*z for z.
-1
Let q(s) = s**2 + 13*s + 17. Let z be q(-12). Solve u + 3 = 4*j, -23 - 2 = -z*u for j.
2
Let q be (-44)/(-12) + 8/6. Solve -2*p + 23 = -3*t, -3*t + 2*p + 2 = -q*t for t.
-5
Let z(t) = -2*t - 11. Let l be z(-7). Suppose 2*y + 0 = 6. Suppose 0 = -5*g + 2*i + 22, -y*i = -2*g + i + 12. Solve 5*b - 4 - 1 = -4*h, -l*b - g*h = -11 for b.
-3
Let f(n) be the first derivative of -n**4/4 - 8*n**3/3 - 11*n**2/2 - 8*n + 4. Let k be f(-7). Let y = k - 10. Solve 5*w = -t + 10, 0*w - 5*w = 5*t + y for w.
3
Let h(g) = -g**3 + 8*g**2 + g + 9. Let t be h(8). Solve 3*w - 4 = 2*u, -4*u + w = -t + 5 for u.
4
Let k(d) = -3*d**2 + 3*d + 4. Let i(w) = -13*w**2 + 11*w + 15. Let o(q) = -2*i(q) + 9*k(q). Let y be o(3). Solve 0 = 7*c - 3*c + 2*b - y, -2*b = -4*c - 4 for c.
1
Let k(s) = -s + 2. Let f be k(-3). Let w = -2 - 11. Let o = w + 18. Solve -d + 13 = -f*q, 3*q + d = -q - o for q.
-2
Suppose -5*r = -x - 36, 2*r - 10 = -x + 10. Let z = -6 + 1. Let b = z + 5. Solve -5*l - r = -3*m, 3*l - 2*m + 3*m + 16 = b for l.
-4
Let q be 4*(-3)/(6/(-2)). Let g be (q/3)/(4/6). Solve l + 2*w = -8, g*l - 3*w + 0*w - 12 = 0 for l.
0
Let z = 5 - -10. Suppose 6*w = 3*w + z. Suppose -w*b - 25 = 0, y - 7 = 2*b - b. Solve -y*l + 5 = 3*t - 6, -3*t = -l + 1 for l.
4
Let q = 4 + -2. Solve 5*p + 2 = 2*t, 1 = -q*t + p + 3 for t.
1
Let s(i) = -2*i + 0*i**2 + i**2 - 5 + 0*i**2. Let g be s(4). Let u be 7/(-35)