pose 9 = 4*i - v, -4*i = 5*v + 9 - 36. Suppose -i = -y + 4*p - 19, 17 = -2*y + 5*p. Solve -o = 3*w + 4*o - 16, 3*w - y = o for w.
2
Suppose d - 1 = 1. Suppose -3*k - 2*k = b + 11, -3*b - 5*k - 3 = 0. Solve -u - 2 = d*p - 6*p, -2*u - b = -3*p for p.
0
Suppose -5*k + 64 + 21 = 0. Suppose -5*i - 3*f = -64, 3*f - 1 + 3 = i. Solve -5*g + 4*n = 36 - i, k = 3*g + 4*n for g.
-1
Suppose 0 = 3*k - 15, 5*o + 2*k = 4*k. Solve 4*y = 2*g + 18, 0 - 15 = 3*g - o*y for g.
-3
Let s be ((-2)/(-6))/(2/18). Let f be 4/s + 4/6. Solve -m = -5*x - 11, 2*x - m = -f - 3 for x.
-2
Let b = 74 + -72. Solve b*x - 2 = -2*u, u + 2 = 2*x + 2*u for x.
1
Let j(d) = -d**3 + 4*d**2 - d + 9. Let i be j(4). Suppose 0 = 5*c, -i*c = 3*g + 14 - 74. Solve h = -h - 2*k, -3*h - g = -k for h.
-5
Let p = 30 + -22. Solve 15 = 5*y + 3*t, 4*y = p*y - t + 5 for y.
0
Suppose -1 = g + 3. Let t be g/(-10)*(-10)/(-2). Solve 2*y = 3*p + 2, -6*y + 3*y + 8 = -t*p for y.
4
Suppose 0 = 4*k + 12 + 16. Let n(x) = -x**2 - 9*x - 4. Let m be n(k). Solve -3*c + 2*o + 4 = -0*c, 2*o = -m for c.
-2
Let i be (-120)/(-24)*(1 + 0). Solve -4*x + v - 4 = 1, -2 = -i*x + 4*v for x.
-2
Let a(g) = -16*g + 6. Let d be a(-6). Let u be ((-15)/(-2))/(17/d). Solve 8*c - 3*c + 4*l - u = 0, -2*l = 3*c - 25 for c.
5
Let h(g) = g**2 - 5*g - 5. Let q be h(7). Suppose -l - q = -4*p, 4*p - 3 = 3*l - 0*l. Solve -9 = -l*m, -m = -2*w - 0*m + 5 for w.
4
Suppose 5*o - o - d = 0, 2*d = -3*o. Let i = o + 3. Solve -3*g + h = -2*g - i, 4*h - 16 = -3*g for g.
4
Let b(q) be the third derivative of q**4/2 + q**3/3 + 4*q**2. Let s be b(2). Suppose -29 + 4 = -5*v. Solve v*i = -5*x + 2*i - 30, 2*x + 4*i = -s for x.
-3
Suppose 0*d + 4*d - 20 = 0. Let z be 858/65 + (-2)/10. Solve n = m - d - 3, -n = -2*m + z for n.
-3
Let d be (1*(0 + -1)*3)/(-1). Solve m + d*c = 10, -3*c + 22 = -11*m + 6*m for m.
-2
Let g(u) = -10*u**3 + 0 + u**2 + 1 - 2. Let y be g(-1). Suppose -5*i + y = -5. Solve 0*t = i*w + t + 9, 2*w + 4*t = -6 for w.
-3
Let q(x) = x**3 + 5*x**2 - 15*x - 3. Let r be q(-7). Suppose -2*p - 4 = -3*p. Solve -3*t + 2*d + 11 = -p*t, -t = -r*d - 19 for t.
-1
Let z = 23 - 19. Let g be (-6)/(-33) - 4/22. Suppose -2*t - 13 + 71 = g. Solve -5*j + 3*k = -0*k - t, z*k = 4*j - 28 for j.
4
Suppose 0 = 2*w, 5*w - 3 = -4*j + 1. Solve -10 = -2*a, 3*f + 25 - j = 3*a for f.
-3
Let y be 43/4 + (-6)/(-24). Let n = y + -9. Solve 7 = 2*t + 3*t + n*z, -3*z = -3*t + 21 for t.
3
Let n be 10 - 0/(-6 + 2). Solve 5*l = 2*q - n, -4*l + 1 - 9 = -4*q for l.
-2
Let t be (2 - 14)*(-4)/2. Let u be 9/(-2)*6/9. Let b be 7/(u*(-2)/t). Solve i - b = 5*g, g + i - 23 = 5*g for g.
-5
Let m(d) = 2*d**2 - d. Let q be m(1). Solve -u + q = -o, -o = 5*u - 16 - 7 for o.
3
Let f = 13 + -14. Let r be (-119)/7*f/1. Let n be (-46)/(-14) - (-4)/(-14). Solve n*s = -3*g + 21, -g + r = 5*s - 2*s for s.
5
Let h(t) = 4 - 3*t + 2*t**2 + 0*t**2 - 3*t**2. Let g be h(-4). Suppose 5*n = 4*n - 2*w + 5, 5*w - 5 = g. Solve 2*y + 4*z + 0*z = 12, -z + n = 2*y for y.
0
Suppose 4*l - 7 - 5 = 0. Let o(t) = -3*t**2 - 3*t - 6 + l*t**2 + t**2. Let z be o(5). Solve -6 = z*k + b, 0*k - k + 3*b + 5 = 0 for k.
-1
Let v(j) be the first derivative of j**2/2 + 6*j + 1. Let s be v(-4). Solve 0 = g - 0*q - 2*q - 6, -5*g + 18 = s*q for g.
4
Suppose 0 = 3*c - 4*n - 3 - 12, 0 = -3*c + 3*n + 15. Solve a + 3*h + 18 = c*a, h - 4 = -2*a for a.
3
Let q(j) = 2*j**2 + 3*j. Let y be q(-2). Suppose 4*o - 2*o = -y, -k + 5 = -o. Suppose -3 = k*a - 7. Solve -4*n + l = 3, -5*n + 10 - a = 3*l for n.
0
Suppose -17*f + 14*f = -9. Solve -5*q - 3*h = -7, q - f*h + 0*h - 5 = 0 for q.
2
Let x be (-46)/(-10) + 6/15. Solve -t + 17 = x*v, 0 = -t + 2*v + 1 - 12 for t.
-3
Let t(k) = k**2 - 13*k - 11. Let q be t(14). Solve -5*m + 2*r - 4*r + 28 = 0, 28 = q*m + 4*r for m.
4
Suppose -5*w - 70 = -3*u - u, -3*w + 6 = 0. Suppose 4*l = -l + u. Solve l*j - 16 = -0*g - 2*g, -12 = -4*j for g.
2
Let x(v) = v**3 - 13*v**2 + 8. Let r be x(13). Solve -2*m - m - s = -r, 3*m - 5*s = 32 for m.
4
Let v(p) = p**2 - p. Let r(a) = a**3 - 7*a**2 + 13*a - 2. Let t(n) = r(n) - 2*v(n). Let g be t(7). Solve -4*x - 3*w - 23 = 0, -x - g*w - 12 = -2 for x.
-5
Suppose -3*u + 5 = -1. Suppose 0 = 4*l + u*j - 18, 3 = -5*l + 3*j - 2. Solve 2 = l*z, 5*q - 5*z = q - 13 for q.
-2
Let n = 31 + -27. Solve -w = -n*s + 7, 0*w + 4*s - 19 = 5*w for w.
-3
Let x be (-248)/18 - 4/18. Suppose 0 = -0*g - 5*g - 30. Let n be g/(-10) - x/10. Solve 3*f - f = c, 0 = n*c + 5*f + 18 for c.
-4
Let a = -18 + 23. Solve 0 = -2*n - 3*x + 6, 5*x = n - a*n + 8 for n.
-3
Let a = 95 - 89. Solve 4*c + 3*r + 37 - a = 0, 0 = -4*c + 2*r - 6 for c.
-4
Let b be (-254)/(-18) - (-25)/(-225). Solve -3*s - b = k, 5*k - 14 = 2*k + 5*s for k.
-2
Suppose 3*a = -3*d + 3 + 6, -a - 5*d + 7 = 0. Let m = 1 + a. Solve 3*p + 0*p - 30 = -m*b, 4*p = 4*b for p.
5
Let i be (-3 - 0)*(-10)/6. Let d be 2/(-4) + (-77)/(-14). Suppose -d*v = u - 2*u - 61, -4*v + 50 = -2*u. Solve 0 = -i*r - n + 1, -2*r - v = 2*r + 4*n for r.
1
Let n be (4 - 3)*-1 + 31. Solve -5*k + n = 5*s, 7*s = 3*s - 5*k + 25 for s.
5
Let l(z) = 2*z. Let w be l(5). Suppose -w = -y - y. Solve -3*b + 17 = -2*u - 0*u, 0 = -y*u - 3*b + 10 for u.
-1
Let a = 5 + -3. Solve 2*t = -2*t - a*i - 2, -5*t - 13 = -i for t.
-2
Suppose -56 = 2*s - 6*s. Let h be 2/8*10*2. Let p = h + -3. Solve p*l - 3*i + i = -s, -10 = -5*i for l.
-5
Let a = 0 + 6. Solve -2*d - 5*t = 23, 0 = 4*d - t + a + 7 for d.
-4
Suppose -3*z - 9 + 0 = 0, 0 = -2*b - 2*z + 28. Solve 3*r = v + b, -3*r + r + 28 = -4*v for r.
4
Let g(k) = -k**3 + 12*k**2 + 3*k - 30. Let h be g(12). Solve -i = -0*i - 2*t - h, -2*i - 2*t = 0 for i.
2
Let b = -79 + 78. Let i(p) be the second derivative of p**4/4 + p**3/3 + p**2/2 + p. Let h be i(b). Solve 0 = 4*o + 6*j - h*j + 20, -3*o + 5*j = -1 for o.
-3
Suppose 6*z - 8 = 2*z. Let p = -22 - -9. Let j = p - -17. Solve 2*c - n = -5*n + 10, z*n = j for c.
1
Suppose 3*o - 49 = -5*n, 3*o - o = -2*n + 26. Solve -b - 3*w + 20 = 0, -4*b - 2*w + 22 = -o for b.
5
Let p = -2 - -5. Let r be 0/((2 - 3) + p). Suppose r = s - 4*s + 15. Solve -s*x - 1 = -l - 10, 4*l = x - 17 for l.
-4
Let r = -6 - -9. Suppose r*j = 3*z + 6, -2*j - 1 = 4*z - 5. Let g = -17 - -29. Solve -d - 16 = 3*d - j*k, -3*k + g = -3*d for d.
-4
Suppose -5*w + 8 = -2. Solve -5*t - 22 = -3*d, 3*d + 3*t = -w*d + 14 for d.
4
Suppose 4*j + 0 - 14 = 3*x, x - j + 3 = 0. Solve x*i + 15 = -4*w - i, 5*w = -i - 5 for w.
0
Let l(z) = z**3 + 11*z**2 - 11*z + 17. Let w be l(-12). Suppose 0 = -2*s - 4*x + 8, 4 = -5*s - 3*x + w*x. Solve 0 = -3*y + 3*a - 6, -a + 2 = 2*y - s for y.
0
Suppose 0*r = -5*r + 6*r. Solve 3*n + 5*l = -r*n - 1, -2 = 2*n + 2*l for n.
-2
Suppose 5*c = 4*u - 36, -2*u + 5*c - 1 = -29. Solve u*t - t - 3*m - 15 = 0, m + 7 = 3*t for t.
1
Suppose 0 = 3*j - 12 - 0. Solve j*g = -f + 17, -g - 3*f = -f - 6 for g.
4
Let d(f) be the third derivative of -f**6/120 - f**5/15 + f**3 - 2*f**2. Let o be d(-5). Solve 5*l + o = -4*t, t - 3 = l - 4 for t.
-4
Let j(o) = -2*o - 8. Let u be j(-5). Solve 0 = u*z + 8, -h - 3*z = 2*z + 18 for h.
2
Let k(o) = -o - 2*o - 1 + 5*o. Let v be k(3). Let p(h) = h**3 - h**2 - h + 5. Let i be p(0). Solve -d + 4 = 5*r + v, 0 = -5*d - r - i for d.
-1
Suppose 2*q - 4*g = -8, 2*q - 6 = q - 3*g. Let k = q + 2. Solve -d - k + 8 = 5*n, -2*d = 3*n - 5 for n.
1
Let i(l) = 2*l**2 + 13*l + 4. Let r be i(-8). Solve 0 = b + b + 2*m, -5*b = -2*m + r for b.
-4
Let z(u) = u**3 - 5*u**2 + u - 3. Let x be z(5). Suppose -3*v = -4*n + 10, -2*v - 2 = -v. Solve -2*b - 6 = 2*p, x*p - p = n for b.
-4
Let n(o) = -15*o**3 - o - 1. Let y be n(-1). Let z = y + -11. Let a be 1*8*2/z. Solve 4*j + a = -8*x + 4*x, -5*j = 2*x + 5 for j.
-1
Let l = 4 + -2. Suppose 2*q = q - 2. Let n be ((-10)/4)/(q/4). Solve l*r - 3 + 7 = -a, a + 4 = n*r for r.
0
Suppose 4*b - 16 - 4 = 0. Solve -b*z = 2*y - 22, -4 + 0 = -2*z + 4*y for z.
4
Let k be (-228)/(-60) + (-1)/(-5). Solve -k*r = 3*w + 1, -w + 5*w - 8 = 4*r for r.
-1
Suppose -10 = 4*g - 46. Let q = 15 - g. Solve i = 2*z + z - 12, 3*z = -5*i - q for i.
-3
Let i(u) = u - 1. Let l be i(5). Let r = 10 + l. Let g(k) = -2*k**2 + 7*k. Let c be g(3). Solve r = b - c*x, -2*b + 2*x - x + 13 = 0 for b.
5
Let v be (2/5 - 0)*5. Let d(u) = 3*u**2 + 3*u. Let t be d(-2). Let s be (t/(-3))/(-2)*v. Solve i = 3*y - 0 + 16, 8 = 