f - 17 + 2. Suppose -6*k + 12 = -f*k. Solve 0 = -4*o + 4*n - 12, k*o = -n - 3*n + 12 for o.
0
Suppose 4*p = -0*p - 152. Let r be (0 + -1)/(2/p). Solve -4*v + 2*m - r = -1, 2*m + 9 = -5*v for v.
-3
Let w(o) = o**2 - 1. Let z be w(-2). Suppose 0 = 2*r - 0*r - 3*b, r + z*b - 9 = 0. Solve r*v = y - 20 + 6, 4*v = y - 17 for y.
5
Let q = -48 - -51. Solve q*k - 11 = -c, -c + k = -0*k + 1 for c.
2
Suppose 12 = -3*g + g. Let v(z) = -z**3 - 7*z**2 - 6*z + 4. Let y be v(g). Solve 5*k + 20 = 3*w, y*w - 22 = k + k for k.
-1
Suppose 0 = -5*i - 2*i - 7. Let g be ((-1 + 1)/(-3))/i. Solve g = 3*h + 2*h - 5*f - 25, -8 = -h + 4*f for h.
4
Let d = -47 - -2. Let g = d + 45. Solve 3*r + 4*y + 5 = g, -9 = -5*r + y + y for r.
1
Let p be (-3 + 21 - -4) + -4. Let l = 3 - 1. Solve 4*n - p = -0*n - t, t - l = 0 for n.
4
Suppose u - 136 = -3*u. Let l = -15 - -20. Suppose -20 = -5*j + l*d + 30, 5*j = -5*d + 80. Solve 5*v - j = n - u, 2*n = 3*v + 7 for v.
-5
Suppose -379*v + 196 = -330*v. Let m = -4 + 1. Let n be 2*4 + (m - -3). Solve 2 = 2*i - v*c - n, 0 = 4*i + 5*c + 32 for i.
-3
Suppose -6*c + c = -5*p - 215, -2*c + p + 88 = 0. Let h = c + -40. Solve -h*l + 2*q + 25 = -0*q, -3*l = -3*q - 24 for l.
3
Let j = 1174 - 1167. Solve 4*u - 2*t = -14, -5*u + 0*t - t = j for u.
-2
Suppose 3*m + 23 = 4*z, -2*m = m + 3. Suppose -130 = -z*h - 105. Solve 4*g - 1 = 2*g + 5*f, f = 3*g + h for g.
-2
Let b(p) = 4*p**2 + 89*p - 57. Let m be b(-23). Solve 3*u - 4*y + 10 = 0, -9*u + 2*y - m = -4*u for u.
-2
Let j be 3/(4 + -1) - -2. Suppose -50 = 2*v - 7*v. Suppose q = -4*q + v. Solve 5*y = j*i - 6, 0*i - 2*y - 12 = q*i for i.
-3
Let y(m) = 6*m**2 - m + 1. Let o be y(1). Suppose -q - 12 = -4*b - 5, -2*b + 7*q = 29. Solve -2*s = -5*k - 2, k - b*s - 3 = -o*s for k.
0
Suppose 3*w - 5*w + 5*d = 6, -3*d = -2*w - 2. Suppose 25*s = 17*s + 32. Solve -2*k + 0*k - s*t - 2 = 0, -k = -w*t + 1 for k.
-1
Let y = -27 - -42. Suppose y = -3*h + 6*h. Let d be (-1)/(16/(-84)) + 2/(-8). Solve -2*z + 3*z - 9 = 3*m, h*m = 5*z - d for z.
-3
Let t(r) = -r + 18. Let i be t(4). Solve -4*l = n - 9, -3*l + 2*l - i = -3*n for n.
5
Let w = -172 + 175. Suppose -2*v + 5*t + 40 = 0, 28 = 3*v - v + t. Solve 0 = w*y + 4*j - 5*j - 1, 3*j = v for y.
2
Let f(k) = 11*k + 96. Let w be f(-8). Solve 2*t - 2 = -w, -10 = 2*v + 4*t for v.
1
Let r be 288/(-2 + 6) - 5. Let i = r - 63. Let l be 1/4 - 38/(-8). Solve 4 = -2*n + n - 3*m, -3*m + i = l*n for n.
2
Let f(c) = -c**3 + 9*c**2 - 10*c + 16. Let k be f(8). Let b be -1 + 10 + k + -3. Solve -2*o = -5*j + 14, b = -2*o + 2 for j.
2
Suppose 0 = 18*n - 22*n + 5*j + 41, 3*n - 4*j - 32 = 0. Solve 0*a - 4*a - 2*c = 28, 0 = 5*a + n*c + 41 for a.
-5
Suppose 4*a = -a. Let y(c) be the first derivative of -2*c**3/3 + 2*c - 72. Let g be y(a). Solve 5*m + 25 = 0, -4*n + g = -2*m - 24 for n.
4
Let h(s) = s**2 - 26*s + 88. Let i be h(22). Solve d + j = -4*d + 10, i = d - j - 2 for d.
2
Let v(q) = -34*q - 153. Let p be v(-5). Solve u = -3*s + p, s - 3 = 4*u - 3*u for u.
2
Let j(t) = -t**3 + 4*t**2 + 2. Let w be j(2). Suppose -w = 6*s - 11*s. Let p be (-2)/5*-5*s. Solve -3*z + 4*i + 1 = 3*i, 4*z + 4 = p*i for z.
1
Let w(b) = 9*b + 0*b**2 - b**2 - 1 - 3 + 0. Let u be w(8). Suppose 3*p + 14 = 2*h - 1, 0 = -2*p - 2. Solve -22 + h = u*z, -z - 12 = -4*d for d.
2
Suppose 660*s - 674*s + 28 = 0. Solve -p - h + 12 = 2*h, 3 = s*p - h for p.
3
Let o be 5/3 - 3/(-9). Suppose 3*q - 9 = 0, -2*t - o*q + 0 = 2. Let g = -4 - t. Solve u - 3*h + 7 = 0, -11 = -3*u + h - g*h for u.
5
Let q(h) = -h**3 - 10*h**2 - 11*h + 1. Let g be q(-9). Suppose 17*y = g*y - 8. Solve -21 = -3*d - 0*m - 2*m, y*m = 4*d - 8 for d.
5
Let n(c) = -c - 8. Let v(x) = -x + 11. Let g be v(30). Let o be n(g). Solve -6 = -2*f, 4*f = -0*w + w + o for w.
1
Let w(s) be the third derivative of -s**5/30 + 13*s**4/24 + 2*s**3/3 + 27*s**2. Let j be w(6). Solve -3*y - 1 = -j, -y = 4*f - 11 for f.
2
Let q be (6/(72/(-44)))/((-1)/27). Let m = q - 97. Solve -2*d - 2*x = d - 2, m*x + 14 = 5*d for d.
2
Suppose -5*a + 45 = 4*k, -3*a - 10 = -2*k - 3*k. Solve -6*v + 3 = 3*s - 3*v, -30 = -2*s + k*v for s.
5
Let j(r) = r**3 - 6*r**2 - 5*r - 7. Let y be j(7). Let a be (-104)/(-3) + y/21. Solve -2*k - 2*t + t = -15, -4*k - 3*t = -a for k.
5
Let o(g) = 71*g - 268. Let l be o(4). Solve -t = -5*j - l, 2*j + 7 = 4*t + j for t.
1
Suppose -4*q = -0*q + 48. Let h = 27 + q. Suppose -j + 6*j = -v, -h = 5*j. Solve -3*t + 22 = -2*d, -v + 43 = -4*d + 2*t for d.
-5
Suppose 77*c - 192 = -19*c. Solve -c*d + 2 = 5*n, 5*n = 4*d + 8*n - 4 for d.
1
Suppose -35 = -5*g + 5*i, i + 8 = 2*g - 3. Suppose 5*f = g*f + 7. Solve -f*d - 16 = -2*d + c, 0 = 5*d + 5*c for d.
-4
Suppose 0 = 2*q + 3*j, 19 - 6 = q - 5*j. Suppose i - 2*i + q = 0. Let o be (-52)/(-14) + (-2)/(-7). Solve -5 = 5*s + i*p + 2*p, 5*p = o*s - 23 for s.
2
Let a be -2 + 52/18 + (-1)/(-9). Solve -3*w + a = h - 16, h = 5*w - 15 for h.
5
Suppose -5*s + 14 = -z - 2*z, -2*s = 5*z + 44. Let k = z - -8. Let f(o) = -o**3 + o**2 + 3. Let g be f(k). Solve -2*v + 2*n = g*v + 26, 5*n - 31 = 4*v for v.
-4
Suppose 3*r - 6*u = -u + 42, -4*u = -4*r + 56. Suppose -r - 25 = -3*t. Solve -4*n - 5*l + 2*l + 13 = 0, -5*l + t = -2*n for n.
1
Suppose -3*a + 10 = -95. Let c be (-14)/a*1*15. Let q be -1*2 + c/(-3). Solve -19 = 3*v + 4*x, -4*v - 8 = x - q*x for v.
-1
Let n(g) = -3*g - 30. Let z be n(5). Let b be (-105)/z + 1/(-3). Solve -2*h + 10 = 6*x - b*x, -3*h - 2*x + 11 = 0 for h.
3
Let x be (15/(-10))/(9/(-4))*102. Suppose -4*s = -x + 48. Solve -22 = l - 0*l + 4*v, -5*v - 35 = s*l for l.
-2
Let p = -51 + 66. Suppose 4*d = -d + p. Solve -v - 4*a - 6 = 0, 3*a - 4 = 2*v - d for v.
-2
Let o(z) = 32*z - 10. Let f be o(3). Let p = f + -82. Solve -4*s = p*t - 16, -t - 12 = -3*s - 0 for s.
4
Let l = 549 + -546. Solve -l*a + 10 = 2*b - 0*a, b + 3*a = 5 for b.
5
Suppose 0 = -5*b + 15, i + 242 = -i + 4*b. Let r = i - -117. Solve -3*x - r*a = -5, 4*x + 4*a - a - 5 = 0 for x.
5
Let h(t) = -t**3 + 21*t**2 + 47*t - 20. Let d be h(23). Solve -3*w + 8*w - 3*y - 10 = 0, -4*w + d*y + 11 = 0 for w.
-1
Let s(x) = x**2 - 18*x - 85. Let l be s(-4). Solve 0 = -4*a - 4*v - 36, -v - 20 = l*v for a.
-4
Suppose -47*z = -46*z. Solve -23 = -z*w - 3*w - 4*m, -w = -m - 3 for w.
5
Suppose 3*u + 0 = 15. Solve u*d = 3*d + 5*x, 5*x = 4*d - 10 for d.
5
Suppose 18 = 3*b - 2*b. Let t be 45/b*(-4)/(-5). Suppose 0 = -t*l + 8. Solve l*o + o - y + 19 = 0, o + y = 1 for o.
-3
Let a(h) = h**3 - 31*h**2 - 29*h - 94. Let u be a(32). Solve -5*d + 2*c + u*c = 37, 5*c = 4*d + 35 for d.
-5
Let x(b) = b**3 + 10*b**2 + 2. Let z = 17 - 12. Let i be z/(7/(-2) - -3). Let o be x(i). Solve -q = o*m - 1, m + 2 = -q - 4*m for q.
3
Let a = -626 - -629. Solve a*k - 6 + 2 = -5*h, 3*h - 3 = -2*k for k.
3
Suppose 0 - 16 = -4*y. Suppose -4*j + 0*d = -2*d - 34, y = 4*d. Let q be 14/(-63) + 20/j. Solve 2*s = -i - 0 - 10, -q*s - 3*i = 10 for s.
-5
Let g = -82 + 105. Let u = -5 - -5. Solve -4*s + 3*k + u = g, s - 13 = -3*k for s.
-2
Let j(k) = k**2 + 9*k - 8. Let u(x) = -x**3 + 2*x**2 + 7*x - 5. Let z be u(4). Let q be j(z). Let h = -3 - q. Solve 0 = d - 2*v + 14 - 2, h = v for d.
-2
Let t(l) = -2*l**3 + 28*l**2 - 24*l - 21. Let p be t(13). Suppose -p*d - 83 = -88. Solve 2*g - 5*h + d = -2*h, -3*h = 4*g - 7 for g.
1
Let d(v) = 19*v - 143. Let z be d(8). Solve 0 = 2*u - 0*u + 5*q - 15, 3*q - z = -3*u for u.
0
Let l = 87 - 51. Suppose -6*v + l = -3*v. Solve -z - 1 = i - 3, -5*z = 3*i - v for z.
3
Let a(f) = f**2 + 4*f - 4. Suppose 2*z + 8 = b + b, -20 = z + 3*b. Let i be a(z). Solve 5*s - 4*k - i = 0, -26 = -3*s + 3*k - 8 for s.
4
Suppose -4*z + 180 = 4*l, 110 = 3*l - 0*l - 2*z. Suppose -2*v = 7*v - 45. Solve -5*i - l = v*k, k + 1 = 3*i + 5 for k.
-5
Let c(b) = -41 + b**2 + 7*b + 4 - 2 + 12*b. Let o be c(-21). Solve 0 = o*z - 2*y - 1, 4*y = z + 2*y + 5 for z.
3
Let a be 4/(-14) + 2831/133. Let m = a + -18. Let i(o) = -o**3 + 7*o**2 - 5*o - 6. Let z be i(6). Solve -2*s + m = 2*v - 3, 5*s - 20 = z for v.
-1
Suppose -3*u - 2*f - 186 = u, 4*u + 198 = 2*f. Let v be 87/27 - (2 + u/27). Solve -31 = -4*h - 5*z, -3*z = -v*h + z for h.
4
Let h(x) = -6*x + 24. Let f(r) = -5*r + 24. Let i(w) = 7*f(w) - 6*h(w). Let l be i(-7). Solve 3*v + 0*v - 12 = 0, l = -c + 3*v for c.
-5
Let p(u) = u**3 + 4*u**2 + 2*u + 6. Let b be p(-4). Let d