 = -m**2 + 4*m - 1. Let w be i(3). Let s = 5 + w. Solve 5 = a, -3 = -x - 3*a + s for x.
-5
Suppose 20*c - 8 = 18*c. Solve c*n = 4*d + 8, -3*d = -5*n + 1 + 9 for d.
0
Let u = 82 + -64. Solve 0 = -4*s - 3*q, -u = -3*s - 5*q - 7 for s.
-3
Suppose -3*u + 11 = 2*r - 3*r, -2*r + 4*u = 12. Suppose d + r = 2*d. Let j = 30 + -25. Solve -4*i + 8 = 4*x, d*i + 2 - 37 = j*x for x.
-3
Let g = 30 - 28. Solve 1 = -2*c + c - g*s, c = 5*s - 15 for c.
-5
Suppose -2*p = -2*w + 14, -3*w = -3*p + 2*w - 31. Let k be -6*3/(-12)*p. Let q be -1 + k*(0 + -2). Solve d - 3*d - 4*l + 20 = 0, -3*d + q*l - 25 = 0 for d.
0
Let r be 1/4 + (-31)/(-4). Suppose -5*f + r = -4*y, -4*f + 3*y + 4 + 3 = 0. Let k = 4 - f. Solve k = -5*x + i - 15, -5*x - 3*i = 27 + 8 for x.
-4
Suppose t = -0 + 4. Suppose r - 2*r = t*m + 12, 5*m + 20 = 0. Solve 10 = 3*s - s + r*g, -3*s = 3*g - 12 for s.
3
Suppose 0 = -n + 3*n - 6. Let a = 13 + -9. Suppose 4*d - a = -0. Solve -4*l + y - 19 = -d, -n*l - 23 = 4*y for l.
-5
Suppose -7*t + 6*t - 4 = -2*f, -2*t + 19 = 5*f. Let a be -1 + 0 - (0 + -3). Solve -a*i + 0 = -6, 10 = -2*u + t*i for u.
-2
Let g(b) be the second derivative of -b**4/12 + 5*b**3/6 + 3*b**2/2 + b. Let h be g(5). Solve 23 = -5*i + h, 3*f - 2*i = -7 for f.
-5
Suppose -3*t - 5*v = 20, -t - v + 16 = -5*v. Suppose -z + 2*s = -13, 4*z - 5*s - 44 + 7 = t. Solve r = 2*l + 3*l + z, 3*r - 9 = 3*l for l.
0
Suppose -18 = -2*z - z. Suppose -y + z*y = -10, -4 = j + 2*y. Solve -7*x + 2*n = -3*x, j = 2*x - 4*n - 12 for x.
-2
Let q = 5 + -2. Suppose 2*f - f - q = 0. Solve b + 17 = -3*d + 3*b, 4*d = -f*b - 17 for d.
-5
Suppose 5*d = 1 + 9. Let r be (64/8)/(2/3). Let l be ((-4)/5)/(4/(-10)). Solve -p = 3*w + 2*p + r, l*p + 4 = d*w for w.
-1
Suppose 1 = -l - 6. Let i(r) be the first derivative of r**3/3 + 5*r**2/2 - 9*r - 6. Let d be i(l). Solve 5*n - d*c - 2 + 7 = 0, 0 = -5*n + 4*c - 9 for n.
-5
Suppose 0 = -4*c + 17 + 11. Solve 5*d - 19 = -j - c, 4*d + 3*j - 14 = 0 for d.
2
Let a(q) be the third derivative of q**5/60 + q**4/4 - 2*q**3/3 + 2*q**2. Let b be a(-7). Solve -b*n - c - 15 = 4*c, -5*n - 2*c = 6 for n.
0
Suppose t + 1 = -5*z + 5*t, -5*z + 19 = t. Solve u + 16 = -u + z*w, 5*u + 26 = 4*w for u.
-2
Suppose -2*m = 4*m - 10*m. Let k be (5/(-2))/((-5)/10). Solve -k*u = -n - 23, 2*n - u + 10 = -m for n.
-3
Let a = -5 + 10. Solve -f + 4 = -a*r - 5*f, 0 = r + f for r.
-4
Let i(x) = 4*x + 1. Let u be i(-1). Let v be 1/u*1*0. Solve -4*b = v, l - 2*b + 5*b = 2 for l.
2
Let k be 2 + (-5)/(15/6). Solve k = -a - 3*a - r - 2, 4*a - 2*r = -8 for a.
-1
Suppose 5*a - 2*a = 42. Suppose 2*m - 2*z = a, -2*m = -4*m + 5*z + 26. Solve p - m*h + 13 = -2, 5*p + 31 = 4*h for p.
-3
Let y(o) = -o**2 + 7*o + 4. Let m be y(6). Let b be 34/m + (-2)/5. Let c = -1 - -1. Solve -i + b = -u - u, -4*i + 5*u + 3 = c for i.
-3
Let f = 5 - 3. Suppose 6*q - f*g - 13 = q, 0 = -4*q - 2*g + 14. Suppose -4*v - 8 + 0 = 0, -4*t - 2*v = -16. Solve q*c - 3*o + 15 = 0, -t*o = -c - 7 - 6 for c.
-3
Let j = 7 + -5. Solve j = -r, p - 7 = 3*r + 4 for p.
5
Suppose 2*c = 4*f - 22, 4*f - 4*c - 26 = 2*f. Solve f*m - 14 = -2*h - m, 0 = 5*m - 5 for h.
5
Suppose t = 2*u + 19 - 5, -6 = t + 2*u. Solve 0 = -t*a + 3*z - 4, -5*z + 0 = -a - 1 for a.
-1
Let k be (-6)/9*(-21)/2. Let u(s) = s - k*s + s**2 + 6 - 2 - 2. Let q be u(6). Solve 2*d + q*c - 12 = 3*c, -d - 2*c - 4 = 0 for d.
4
Let c(d) = 3*d - 6 - 4*d + 2. Let t be c(-6). Let b be t/6 + (-1)/3. Solve -19 = 3*p - 5*f, -2*f = 3*p - b*f - 16 for p.
2
Suppose -16*y + 48 = -12*y. Solve q - 4*k = 13 + y, 0 = -2*q + 2*k + 20 for q.
5
Let c = -89 + 92. Solve -4*d + 4*l - c + 23 = 0, -5*d - l + 7 = 0 for d.
2
Let w(o) = 2*o**2 + 20*o - 20. Let j be w(-11). Solve 0 = -5*b + b - 3*x + 16, 4*b - j*x = -4 for b.
1
Let z = -1 + 4. Suppose b = -c + 3, 4*c - 3 = z*c - 4*b. Solve 3*l + 6 = -c*d, 3*d - 4*d = 2*l for l.
2
Suppose -4*v = -2*i - 102, -v - 4*i = i + 2. Solve r + 4*r = -2*w - v, w - 4*r - 21 = 0 for w.
1
Let n = 3 - 1. Suppose -3*b + 4*p = -b - n, 5*b - 3*p = 12. Suppose 6 = 3*q - 6. Solve 0*o - 3*u - 18 = b*o, q*u = 2*o for o.
-4
Suppose 0 = -5*b - 26 + 66. Let u = -51 - -53. Solve 0 = -5*n + 5*r + u + b, r - 6 = 5*n for n.
-2
Let d be (6/(-21))/((-8)/56). Solve -d*j - 5*n = -23, -j = n - 4 - 0 for j.
-1
Suppose j - 2*c - 13 = 0, c + 9 = j + 1. Let b be (-11)/(-3) - 2/j. Solve -b*l + 0*h = -5*h + 21, 0 = -4*l + h - 11 for l.
-2
Let o = 6 + -4. Let b be (0*(-1)/2)/o. Let i = 1 + -1. Solve b*t - 5*m = -t - 22, -4*t - m + 17 = i for t.
3
Let b = 33 - 1. Suppose 3*k = b + 19. Solve 26 = 5*s + 2*y, k = -0*s + 2*s + 3*y for s.
4
Let o(s) be the second derivative of -s + 0 + 1/6*s**4 + 1/2*s**2 + 1/3*s**3 - 1/20*s**5. Let m be o(-3). Solve 5*j - m = 5*p, 2*p - 24 = -4*j + 4*p for j.
4
Let p be 3/(0 + -3) + 12. Let l = p - 7. Suppose 15 = l*j + j, -3*j = -3*k + 6. Solve 0 = 2*u + 3*x - 2, -k*u - 14 = -3*x + x for u.
-2
Let b = 7 + -6. Let d be (b - 4) + 10 + -2. Solve -3*v - 2 = -2*v + 4*h, d*h = 5*v + 10 for v.
-2
Let s = 10 + -9. Solve 7*d = 2*r + 2*d + s, -5*r - d + 11 = 0 for r.
2
Suppose -16 = -4*i - 0*i, 0 = -4*a - 5*i + 76. Solve 2*z - 2 = -2*x, 0 = -2*z + 3*x + x + a for z.
3
Suppose 2*d = -5*k + 10, k - 4*d + 3*d + 5 = 0. Solve -2*a + 4*w - 2 = k, 4*w - w + 3 = 0 for a.
-3
Suppose -1 - 4 = r. Let j = r - -8. Let s = j - 1. Solve -5*m + 5*y = 4*y + 30, -s*y = 4*m + 10 for m.
-5
Let x = -150 - -153. Let d(c) = 3*c - 3. Let g be d(-6). Let n be g/(-4) + (-2)/8. Solve -n*r = -3*w + x, w - 2*r = 2*w + 10 for w.
-4
Suppose 0 = 3*w - k - 16, 4*w - 3*k + 8 = 9*w. Solve -w = g + 3*a + 1, -3*a - 3 = 0 for g.
-2
Let b = -11 + 13. Suppose b = -2*r - 2*l + 18, -5*r + 2*l + 5 = 0. Let h = 1 - -5. Solve 4*v + 4 - r = 5*y, y = -5*v + h for v.
1
Let u = 27 + -10. Suppose 4*y - a + 4*a - 19 = 0, 5*y = 3*a + u. Solve -3*b + 14 = -4*d - 2*b, 0 = 4*d + 4*b + y for d.
-3
Let p = -9 - -14. Solve k = z + 1 - 2, 5*k = -2*z - p for z.
0
Let p = 5 + -2. Solve 3*j - 1 = p*d - 13, -2*d + 4 = 0 for j.
-2
Let z be ((-2)/6)/(5/(-15)). Let t be z/((-9)/(-3))*12. Solve -t*y = -2*k - 22, y - 3*y - 4*k = -6 for y.
5
Let n(q) = q - 3. Let r be n(0). Let y(u) = -u**3 - 5*u**2 - 3*u + 2. Let x be y(r). Let l = x - -7. Solve -j + 0*b = 2*b + 6, -j + 4*b + 18 = l for j.
2
Let d = 0 + -12. Let v(f) = f + 14. Let o be v(d). Solve 2 = 3*n - z, -o*n - 12 = 2*n - 5*z for n.
2
Suppose -20 = -q - 3*q. Suppose -5 = -q*v - 0. Solve -p = 3*b - 10, -4*p - b + v = -2*b for p.
1
Let q(v) = 2*v**2 - v - 2. Let g be q(2). Suppose 0 = -i - 2*k + 5*k - 7, 5*i + k - 13 = 0. Solve -i*y - 1 = -3*f + g, -1 = -3*f + y for f.
-1
Let u(p) = p + 8. Let k be u(-5). Let x be 5 + 0/(-2*1). Let r = x - k. Solve a = 2*m - m - r, 5*a + 37 = -4*m for a.
-5
Let f = -7 - -7. Suppose f*v - 4 = -2*v. Solve 4*t + 24 = -v*j, 28 + 5 = -4*j - 5*t for j.
-2
Suppose 0 + 13 = f. Let c = 108 - 56. Suppose 4*k - 2*d - 48 = 0, 4*d = -5*k - 5 + c. Solve 4*x = -3*o - k, 2*o = -0*o + 3*x - f for o.
-5
Let h be -4*((-52)/16 - -2). Suppose -16 = -u - h. Solve -u = -2*c - 5*l, -4*c + 2*l = -6 - 4 for c.
3
Suppose 5*w - 13 = 12. Let k be 6/(-15) - (-27)/w. Let v = 9 - k. Solve 5*p = 4*u - u + 8, p - v = 0 for u.
4
Suppose -m + 3*q = -10, 6*m - 2*m = -q + 14. Suppose -5*t = 4*v + 15, -3*t + m*v + 19 = -4. Solve 2*n = d - 1, -3*d + 2*n + t - 10 = 0 for d.
-5
Suppose f - 54 = -52. Solve 4*j - 10 = -w + 2*w, -2*j - f = -4*w for j.
3
Suppose -15 = -4*z + j - 4*j, -4*z - 4*j = -16. Suppose -z*f = 4 - 22. Suppose 11*x - f*x - 10 = 0. Solve x*r - 3*k = -8*k - 29, -3*k = 3*r + 21 for r.
-2
Suppose 3*u + 34 = i, -13 - 79 = -3*i + 4*u. Solve 3*m - 5*s = 2*m - i, 17 = m + 4*s for m.
-3
Let w be 1/((4/(-6))/(-2)). Solve t = -2*y + w*y - 2, 0 = 2*t + y + 4 for t.
-2
Let s(k) = 4*k**3 - k. Let d be s(1). Solve d*f - 2*w - 17 = 0, 1 = -4*w - 15 for f.
3
Suppose -9*r + 12 + 33 = 0. Solve r*o + 22 = -4*t, t - 2*t = -5*o - 7 for o.
-2
Let r be (18/4)/(6/16). Suppose -3*j + 0*j - r = 0, 0 = -d - 4*j - 16. Let y be d*(6/4 + -2). Solve 4*z + 3*v + 11 = 0, y*z + 5*v - 20 = z for z.
-5
Let f = -28 + 30. Solve 15 = 5*o, 5*h - 22 = -f*o + 3*o for h.
5
Suppose -4*q + 36 = 2*d, 7 = 2*q + 2*d - 13. Let g(c) be the first derivative of c**2/2 - 4*c + 2. Let k be g(q). Solve 3*m + 2*s - 5 = k, s + 28 = 5*m for m.
5
Let k(r) = -57*r - 