 -k - p*i = k - 12 for k.
3
Suppose 4*s + 3*n = -2*n + 186, 2*n = -s + 48. Let m = -53 + s. Let l = m - -9. Solve -4*i - 2*a = 2, -3*i + 6*i - a + 9 = l for i.
-2
Let s be (-4 + 15 - 9)*1. Solve -5*j = -s*w - 20, -4*j + 12 + 4 = -w for w.
0
Let g = 301 - 298. Solve -g*z + u + 22 = -7*z, -4*z - 3*u = 26 for z.
-5
Let m(q) = 2*q**2 + 21*q - 241. Let l be m(7). Solve 22*p - 25*p + 4*j + 5 = 0, -10 = -2*p - l*j for p.
3
Let j(y) = -2*y**3 + 27*y**2 - 20*y + 111. Let g be j(13). Solve 0 = 4*v - 2*n - 10, 5*v + 20*n - 16*n = -g for v.
0
Suppose -2*r + 24 = 12*s - 8*s, -s + 2*r = 4. Let y(d) = d**2 + 2*d - 2. Let w be y(-4). Suppose 11*g = 5*g + w. Solve -4*f = -7 - g, 0 = -s*u + 4*f for u.
2
Suppose -l + 2 = 8. Let j be (-30)/9*9/l. Suppose 4*v + z = 6 + 6, 5*v = z + 15. Solve 21 = -2*m + j*d, 4*m - v*d + 2*d + 15 = 0 for m.
-3
Suppose 3*d = -2*d + 15. Suppose 0*y + 4 = 2*y. Let t(i) = i**3 - 20*i**2 + 106*i - 57. Let p be t(10). Solve d*b = -0*j - 3*j + p, -y*b = -3*j + 3 for j.
1
Let h = 4473 - 4421. Solve -2*i = -5*f - 53 + h, 2*i + 3*f = -7 for i.
-2
Let g = 499 + -717. Let j = g - -220. Solve j*p + f - 3*f + 14 = 0, -2*p - 5 = f for p.
-4
Suppose -5*a + 13 = 3. Suppose 45*s + 20 = -3*h + 46*s, -3*h - 14 = 2*s. Let p be -10*h/27 - 16/72. Solve -i - 11 = -2*i - 2*t, a*i - p*t = 4 for i.
5
Let z(k) = -k**3 - 15*k**2 - 15*k - 13. Let j be z(-14). Let a(u) = 18*u**3 + 3*u - 2. Let d be a(j). Solve 4*f = 2*i - 4, -2*i + i - d = 5*f for i.
-4
Let b = 61 + -62. Let z = b - -4. Suppose -11 = m + 5*f, -z*m + 4*f + 13 = -11. Solve -2*q + 12 = -q - m*v, 0 = -2*q + 3*v + 14 for q.
4
Let i(j) = j**3 - 11*j**2 + 33*j - 5. Let h be i(4). Solve 0 = 2*y + 10, -5*k + 4*y = y - h for k.
0
Suppose 5*x - 1 = -3*d - 11, -4*x + 3*d + 19 = 0. Solve -30 = -5*w + 2*n, -4*w - 6*n = -3*n - x for w.
4
Let y(f) = f + 5. Let d be y(-5). Suppose 0 = -195*o + 169*o + 6890. Suppose -o*q + 271*q = 24. Solve d = -2*m + 2*l + 3*l - 10, 5*m = -q*l + 8 for m.
0
Let o be -1*-53*9/21 + (-24)/(-84). Solve -o = -2*l + 3*u - 0, -4*l - 4 = 4*u for l.
4
Suppose -l + 3*r = 7, -5*r + 17 = -3*l + 4*l. Let j = -7136 + 7138. Solve l*t - 28 = -2*s - 3*t, -j*t + 12 = s for s.
4
Let h be -1*3*12/(-18). Suppose 289 = h*r - 4*p + 93, -r + 4*p = -108. Let t = r + -63. Solve -2*g + 0 - 3 = a, -5*a = t for g.
1
Suppose 7*g - t - 27 = 2*g, 0 = 3*g - t - 17. Suppose 5*v + 2 = 11*k, -4*k - 13 = -4*v - 5. Solve -h + g*x = -26, -5*x = v*h + 9 + 12 for h.
1
Let r = -599 + 615. Suppose 0 = 4*d + 2*l - r, -5*d - 6 + 4 = -3*l. Solve 4*v = -2*u - 16, -d*v + 2 = 3*v - 3*u for v.
-2
Let u(y) be the second derivative of -14*y**3/3 - 111*y**2 + 54*y - 1. Let g be u(-8). Solve -2*j + 13 = 3*o, 0 = g*j - 4*o + 2 - 8 for j.
5
Let g be (-106)/(-13) - 30/195. Let r be (-63)/14*g/(-12). Solve -r*q - 2*p - 2 = 2*p, -3*q = 3*p + 3 for q.
-2
Suppose 0*g - 4*g + 8 = 0. Suppose -16*r + 25*r = 0. Solve r = 5*x + 2*w + 13, -4*w + 13 = -g*x - x for x.
-3
Suppose -5*m + 92 + 113 - 35 = 0. Solve r - m = -4*k - 41, 5*k = r - 20 for k.
-3
Let o(n) = n**3 + 19*n**2 + 58*n + 4. Let m be o(-7). Let x = 190 - m. Solve -2*c + 5*r + 19 = 0, -2*c - x*r + 9 = -7*r for c.
-3
Suppose 4*t + p = 514, -t = 4*p - 55 - 51. Solve -3*k - t*y = -135*y + 16, 2*k - 2*y + 8 = 0 for k.
-2
Let l(f) = -115*f - 115*f + 232*f + 8. Let c be l(-2). Solve -g - 4*g = y + 13, -c*y - 20 = 4*g for y.
-3
Suppose -3*z + 2*z = -5*l + 184, 4*z - 164 = -5*l. Suppose -l = -5*b + 24. Solve -4*k - 4*m - b = 0, 28 = 4*k - 2*m - 2*m for k.
2
Let g be 1 - 3*(-5)/15. Let d = 870 + -867. Solve 4*h + d = 3*h - g*t, -5*h = 5*t + 10 for h.
-1
Suppose 7*k - 2*k - 5*i - 125 = 0, 117 = 5*k + 3*i. Let r = k - 14. Let o be (-2 - -13) + 10/(-4)*2. Solve -2*q - r = h, -o = 2*q - h - 0 for q.
-4
Let q(h) = -20 - 2*h - 2*h + 48 + 5*h. Let n be q(-23). Solve 0 = -2*a - 2*i + i + 6, -4*i + 12 = n*a for a.
4
Let c = 33221 - 33221. Solve 6*h + 3*b + 15 = 9*h, c = -3*h + 5*b + 23 for h.
1
Suppose 10*s + 54 = 37*s. Solve -j + 4 = s*g + 3*j, -5*g = -2*j + 2 for g.
0
Suppose 2*a = -a + 6. Let i(y) = y**3 - 4*y**2 - 13*y + 6. Let f be i(6). Suppose 0*n + 5*n = f. Solve -12 = -2*d + 2*w - n*w, 0 = a*d - w - 11 for d.
5
Let l(c) = -c**3 - 3*c**2 + 10*c + 4. Let k be l(-5). Let z be (-2)/9 - (-60)/27. Solve -z*d = -k*a + 20, -4*a + d + 14 = 2*d for a.
4
Let p = 4571 + -4566. Solve -3*x - 4*f - 3 = -32, -19 = 2*x - p*f for x.
3
Let a(q) = q**2 + 6*q - 23. Let m be a(7). Let p = m - 44. Suppose 10*f - 6 = p. Solve -3*i = 6, -3*i + 4*i = f*j + 7 for j.
-3
Let p = 117 - 35. Suppose p = -11*c + 52*c. Solve -k + 7 = -n + c*k, -3*n + 11 = -k for n.
5
Suppose p = z - 2, 3*p + 13 = 2*z + 11. Suppose 5*t + z*t = 315. Solve 5*g - t = -10, 3*i = 3*g - 24 for i.
-3
Suppose -4*k + 0*k + 205 = 3*n, k + n - 52 = 0. Solve -53*b - 12 = -k*b + v, b + 20 = 4*v for b.
-4
Let k(v) = -97*v + 1. Let m be k(-1). Let z be -7*2/3*(-84)/m. Solve -2*h = 4*i + 7 + 5, 0 = -z*i - 16 for h.
2
Suppose 0 = 3*p + p - 12. Suppose 2*n = 5*g - 882, 4*g - 249 - 454 = -n. Suppose -g*a + 14 = -174*a. Solve -p*q - i + 0*i - 11 = 0, -a = 2*q + i for q.
-4
Let z(y) = 4*y - 1. Let v(s) = 5*s. Let i(h) = 4*v(h) - 6*z(h). Let w be i(1). Solve -w*b = 2*q - 4, 3*b + 4 + 5 = 2*q for b.
-1
Let t = 54 + -56. Let y be 4/(-20) + t/(-10). Suppose -4*a + y*j + 44 = 4*j, 3*a - 23 = -5*j. Solve -4*g + 8 = -2*v, 4*v = g - 6*g - a for g.
0
Suppose 32 - 14 = 17*v - 33. Suppose 0 = -u - 3*x - 4, 0 = 4*u + x + 4*x - 12. Solve -u*w = -3*w + v*b + 11, 4*w - b = -2 for w.
-1
Let i(v) = -55*v - 19. Let r be i(4). Let q = 257 + r. Solve k = -4*z + 7, -3*z + 1 + q = -2*k for z.
3
Let w be ((-12)/(-26))/(21/182). Solve -j + p + 5 = 0, w*p = -j - 15 - 0 for j.
1
Suppose 0*n - 12 = 4*n - 8*n. Solve -4*c + 9 = 5*y, y = -n*y - c + 16 for y.
5
Let h be (2/(-4))/((-1)/(-2)) - -218. Suppose -637 = -35*b - h. Solve 5*m + g = -15, 5*m = m - 5*g - b for m.
-3
Let o be 2/2 - (-3 - 1). Let h(z) = -z**3 + 4*z**2 + 6*z - 1. Let k be h(o). Let g be 7 + (-1)/(2*3/12). Solve -3*j - 2 = r - k, -r = g*j for j.
-1
Let k(a) = a + 22. Let s(n) = -2*n - 22. Let v(j) = 3*k(j) + 2*s(j). Let y be v(7). Suppose -11*g + y*g = 0. Solve l + 5*x + 6 = g, -25 + 7 = -5*l - x for l.
4
Let b be (((-126)/27)/7 + 1)*12. Solve b*x + 20 = 5*n - 0, -3*x = 4*n + 15 for n.
0
Suppose -i - 14 = 12. Let g be (-230)/i + -1 + (-70)/(-455). Suppose g*u = 4*u + 16. Solve -u*k + 5*a = -22, 4*k + a - 14 = 2*a for k.
3
Suppose 0 = -4*j + w - 7, -3*j + 3*w = -w - 11. Let k be (-3 - 1*(j - 3)) + -1. Solve k*c - 3*h + 2 = 9, 4*c + 5*h = 3 for c.
2
Suppose 0 = 5*a + 4*y + 17 + 2, a + 17 = -3*y. Solve 5*s - 20*d + 24*d + 40 = 0, s - d = a for s.
-4
Let m = -25 + 30. Suppose 6*x + 6 = m*x. Let r be (x/(-4))/((-3)/6) + 6. Solve -6*u = -u + 2*f - 5, -r*u + 12 = 3*f for u.
-1
Let z(u) = -10*u + 259. Let m(g) = -9*g + 258. Let q(w) = 3*m(w) - 2*z(w). Let k be q(36). Solve -5*v - 3*p = p + 1, 4*v = -k*p for v.
-1
Suppose 0 = -18*z - 40 + 8 + 104. Solve r = 3*r - c + 2, -z*c - 1 = r for r.
-1
Let f = 670 - 677. Let l(v) = -v**2 - 15*v - 52. Let x be l(f). Solve q + x*q = -3*p - 40, -4*p - 40 = 4*q for p.
-5
Let a = -10020 - -10024. Solve a*i + 4*t - 22 = 2*i, 2*i - 16 = -3*t for i.
-1
Suppose -3*z = -27*z + 381 + 99. Solve 0 = -5*h - z, h + 2 = 5*b - 2 for b.
0
Let x be 7/2 - (-14)/((-196)/21). Suppose x*m = -5*l - 10, l + 2*l = -6. Solve y + 0 = c + 1, m = -3*y - c + 7 for y.
2
Let b = 1016 + -1016. Solve -8 = -2*r + h, 3*h + 3 = -r - b for r.
3
Suppose 242*o - 244*o - 204 = 0. Let v = o - -104. Solve -u - 8 = -v*w + 2, 3*w = 3*u + 15 for w.
5
Let k(z) = -z**2 + 18*z + 2. Let t = 84 + -66. Let u be k(t). Let v be u/(-4*(-1)/4). Solve -s = 4*c + v, -4*c - 4 = -2*c + 2*s for c.
0
Suppose -11 = -3*s + 1. Let v = 435 - 432. Let l be -2 - (-7 + -2 + 12/v). Solve 5*p + 3*x + 6 = 0, 0 = 4*p - s*x - 5 - l for p.
0
Let s(q) be the second derivative of -q**5/20 + q**4/3 + 7*q**3/6 - 9*q**2/2 - 41*q. Let x be s(-3). Solve 5*z = -2*b - x, -3*b + 0*z - z - 17 = 0 for b.
-4
Let y = 10 - 7. Suppose -16*z = -13*z - 6. Let m be (z/(-5))/(-2 + (-18)/(-10)). Solve b - y = -g, -g - m*b = -3*g + 2 for g.
2
Suppose -2*f - 1341*x = -1339*x - 28, -f = -4*x + 11. Solve -4*h + 17 = 5*l + f, 2*h - 4 = 0 for l.
0
Let y = -15814 - -15814. Solve y = u + 1, -t