 a(l) = 2*l**2 - 2*l + 1. Let z be a(3). Let m = z + -8. Let y = 20 - m. Solve 5*d = f - y, f - 3*f = -2*d + 2 for f.
-5
Let n = -56 + 66. Let k(u) be the first derivative of u**2/2 + 8*u - 2. Let b be k(-4). Solve -b*f = y - 4*y + 31, -2*y = -n for f.
-4
Let a = -5 + 0. Let s(m) = m**3 + 2*m**2 - 7*m - 7. Let c be s(a). Let p be c/(-9) - (-6)/(-27). Solve z - p*z + 2*n = 22, -11 = -z - 5*n for z.
-4
Let k be (52/7)/((-6)/(-21)). Solve -2*o + 5*v + k = 8, -4*v - 4 = o for o.
4
Suppose 12*y = 16*y - 16. Solve 6*x = 3*b + 2*x - y, -5*x - 5 = 0 for b.
0
Suppose -5*a + 6*n - 4*n = -6, 5*a + 4*n = 18. Solve -2*y - a = l + 4, -3*y - 9 = -3*l for y.
-3
Let s(l) = l**3 + 3*l**2 - 5*l - 2. Let j be s(-4). Suppose f = 4*y - 29, 2*y + 3*f - 41 = -j*y. Solve 0*q - x - 11 = 2*q, 4*x = q - y for q.
-4
Let o = 5 - 2. Solve -2*y = 2*x + 14, 5*y + 29 = x - o*x for y.
-5
Let k = -10 - -12. Solve 0 = -x - k*r - 1, -3*x + 0*r = -5*r - 19 for x.
3
Let i be 1 + 10/(-2)*-1. Suppose -1 + i = d. Suppose -2*p - 2*y - 16 = -4*p, 0 = d*p + 3*y - 72. Solve -p = 4*k + 4*l + 12, 2*k = l + 3 for k.
-1
Let h = -33 - -36. Solve 3*k + 2*g + 4 = 0, -20 = -8*g + h*g for k.
-4
Let c(r) = -r**2 - 6*r - 2. Let n be -2 - -1 - (3 - 0). Let t = n + -1. Let u be c(t). Solve -4*q = 4*d - 8, 0 - 6 = -u*q + d for q.
2
Suppose 8*d = 7*d + 28. Let i = 57 - 41. Let n be d/i - (-1)/4. Solve -2*z = n*x - 2, -14 = -2*z - 3*z + 4*x for z.
2
Let w = 50 + -48. Solve -w + 1 = j, -a - j = -4 for a.
5
Let r(s) = -s + 19. Let o be r(0). Let p(q) = q**2 - 1. Let b be p(1). Let n = b + 4. Solve y - 3*z = -n*y - 21, 5*y = 2*z - o for y.
-3
Let f be ((-9)/(-12)*4)/(6/4). Solve -5*j - 2*z = 23, -j = -f*z - 3*z + 10 for j.
-5
Suppose -u + 4*m = 2*u - 11, 4*u + m = 21. Suppose -v - 21 = -u*b, 5*v + 5 = -0. Solve -5*i + b*y - 1 = 18, -5*i - 5*y - 10 = 0 for i.
-3
Let u be -1 - (-1 + -13)/2. Let i = 16 - 23. Let w = -4 - i. Solve 2*z + 6 = -u*m + 3*m, w = 5*z + 3*m for z.
3
Let a(n) be the second derivative of -n**3/6 - 7*n**2/2 - 6*n. Let l be a(-12). Solve 0 = -3*v + l*z - 15, -4*v = -z + 3 - 0 for v.
0
Let w = -59 - -12. Let k = -11 - w. Solve -4*y = 4*s + 32, 0 = 4*s + 4*y + y + k for s.
-4
Let b be 3/((-2)/(8/(-3))). Solve -4*n + 23 = 4*q - 7*n, b*q + n - 19 = 0 for q.
5
Let g(z) = -z**3 - 16*z**2 - z - 16. Let q be g(-16). Solve q = 4*s - 5 + 1, 0 = -4*n - s + 9 for n.
2
Let z(a) = -5*a. Let w be z(-2). Suppose 0*h - w = -5*h. Solve -5*m - r = -3*r - 8, 3*m - h*r - 8 = 0 for m.
0
Suppose 0 = -3*q - 2*q + 30. Let v = 9 - q. Suppose -v*g + 5*d = -14, 12 = -0*g + 5*g + 3*d. Solve -i = -l - 4*i - 11, -i = g*l + 9 for l.
-2
Suppose -o - o + 2 = 0. Let p(y) be the first derivative of -y**2/2 - 2*y - 2. Let r be p(-5). Solve -u - 2 = 2*c - r*c, -2*c = u - o for u.
-1
Let u(j) = j**2 - 6*j + 2. Let a be u(6). Suppose -4*g + 3 = -g - 3*d, -5*g = a*d - 19. Solve -3 = g*k, 0 = -2*i + i - k - 5 for i.
-4
Let b be ((-2)/5)/((-5)/50). Suppose 0 = -b*j + j + 15. Solve -j*n - 2*g = 4 - 23, -4*n = g - 17 for n.
5
Suppose w = 3*w - 6. Suppose w*h = -h. Solve -13 = -3*s - 4*c, -2 = -h*c - 2*c for s.
3
Suppose 2*x - z = 4, 4*x - 4 = -0*z + 4*z. Solve -2 = -3*m - o + 12, 18 = m + x*o for m.
3
Let m(x) = x**3 + 3*x**2 + 3. Let z be -5 + (0/2 - -2). Let s be m(z). Suppose -s*d = -4*d + 2. Solve -d*b + 10 = -4*q, -5*b - q = -3*b for b.
1
Suppose -3*d = 0, -4*d + 8 = -s + 3*s. Suppose -2*h = -h + 58. Let g = h - -82. Solve 2*v + 9 = -z, -s*z = -0*v - 4*v - g for z.
1
Suppose -5*c + 7 = 2. Let g = 3 - -3. Let j = -4 + g. Solve b + c = -5*q, 3 = -q + j*q - 3*b for q.
0
Let y(z) = z - 5. Let p be y(8). Let l be (-4)/p*9/(-6). Solve u - 27 = -5*q, -u + 4 - l = 0 for q.
5
Let a(p) = -p**3 + 2*p**2 + p. Let t be a(2). Solve 3*c + 4*u = -t*c + 12, 0 = -3*u + 9 for c.
0
Suppose 4*g + 2 - 22 = 0. Suppose 0 = 5*c - 20, g*u + 2*c - 13 - 15 = 0. Solve u*y - a + 7 = 0, -2*y - a - 2 = -3*a for y.
-2
Suppose 2*s - 15 = g, 5*g + 19 + 64 = 2*s. Let d = g + 20. Solve d*r + 17 = -4*p, 2*p - p = -2 for r.
-3
Let c(b) = -b**3 + 4*b**2 - 2*b - 1. Let u be c(3). Let k be 0/(-3) - u/(-2). Let j = k + 2. Solve 0 = -4*s + j*l - 23, -s - 6 = -3*s - 2*l for s.
-2
Let c(v) be the second derivative of -1/6*v**3 - v + 0 - 5/2*v**2. Let g be c(-6). Solve -2*s - 4*p = g - 3, 0 = 5*s - 2*p + 31 for s.
-5
Let u be (-8)/(-2)*(-2)/(-4). Let d be u/(-3) - 11/(-3). Suppose 4*l - 2*n = -3*n + 52, 3*l - 34 = -2*n. Solve d*m - 14 = 5*w, -m + w - l = -6*m for m.
3
Suppose -4*d - 2 = -10. Suppose 4*s = d*s + 3*c + 22, 3 = -s - 2*c. Suppose 5*n - 25 + 6 = -r, n - r - s = 0. Solve 2*m = 2*w + 10, -m = 3*w + n*m - 1 for w.
-3
Let z = 4 - 4. Suppose q = 4*d - 8, 4*d - 4 = 6*q - 4*q. Suppose -3 = -3*x + d. Solve u - 26 = -n + 6*n, -x*u + 2 = z for n.
-5
Let x = 10 - 5. Suppose z - 4*a = -x, 5*z - 2*a = 3*a + 5. Solve -21 = 5*o + 2*c, z*o = 2*c - 0 - 3 for o.
-3
Let u = 3 - 1. Let p be (2 - 1)*12/u. Solve 3*r = r + 2*j + p, -2*r = j + 6 for r.
-1
Suppose 5*h = -5*r - 15, -8 = 2*h + 3*r + 2. Let z be 3/1*h/1. Suppose p = -2*p - 2*w + 11, -2*w - 31 = -z*p. Solve -4*t = -t - o - p, 2*t - 22 = 5*o for t.
1
Let b = 1 - 1. Let d(j) = -j + 0*j + j**2 + b*j + 3. Let o be d(0). Solve 0 = 2*w - 0*p + 3*p + 3, -3 = -5*w + o*p for w.
0
Let t be 9 - (-9)/(36/(-16)). Solve -5*j + t = -3*d - 10, 3*j - 9 = -d for j.
3
Suppose 0 = -3*q + 7*q. Solve -3*r - w + 13 + q = 0, -4*r = w - 18 for r.
5
Let c(d) = 1 - 4*d**3 + 2*d - 3 - 1 + 3*d**3 + 4*d**2. Let q be c(4). Solve 3*t = -3*g - q - 4, -4*g = t + 15 for t.
1
Let w = -24 + 28. Solve -12 = -5*q - 3*o, -w*q - 3 = o - 7 for q.
0
Let z(j) = -j**3 - 2*j**2 - 2*j - 1. Let v be z(-2). Suppose -y - 1 = -v. Solve -23 = -l - 5*k, 2*l - y*k - 2 = -4 for l.
3
Let s = -12 + 19. Suppose 0 = s*k - 12*k + 20. Solve k*r + 11 = -2*l - r, -3*l - 8 = -r for l.
-3
Let c = 197 + -197. Solve -3*d = -t + 1 - 0, c = -4*d - 5*t + 24 for d.
1
Let y = -2 - -6. Suppose 2*r + y = 3*r. Solve -q = -r*m + 5*m - 4, 2*q = 4 for m.
2
Let s be (-267)/(-21) + 2/7. Let q = -9 + s. Solve -q*z + z + 2*x = -4, -z = -2*x for z.
2
Suppose -o - 20 = -5*o. Solve 0 = 5*x - 5*f - 15, -5 + 21 = 4*x - o*f for x.
-1
Suppose 6*w = 4*w + 4*y + 4, 0 = -2*w - 3*y - 17. Let i = 1 - w. Suppose a + 5 = 3*b, 3*a = -4*b + 3*b + i. Solve 2*l + 6 = -3*c, 0*l + 5*l + b*c = -15 for l.
-3
Let j be (-7 - (-16)/(-12)) + (-8)/(-6). Suppose 0 = -h - 0*h - 3. Let p = h - j. Solve -3*t + 2*g = -2*t + p, 5*t + 4*g = 22 for t.
2
Let l be 2*(4 + 1*-2). Suppose -3*f = -l*o + 17, -o - 5*f - 13 = -0*o. Let z be ((0/1)/(-1))/o. Solve z = c - 5*n + 27, -7*c + 3*n = -2*c + 25 for c.
-2
Let j(r) = -3*r - 2. Let s be j(-2). Let f(k) = -k**2 + 7*k. Let l be f(7). Let p = l - -1. Solve -2*u + 9 = h, 5*u - s + p = 4*h for h.
3
Let g(r) = r + 2. Let q be g(-5). Let k be q/(-2 - -5) - -6. Let j be (1/(-3))/(k/(-45)). Solve -5*m + x = j*x - 16, 0 = -m + x - 1 for m.
2
Let d = -16 - -11. Let n be 4/12 - d/3. Solve -t + 5 = t + 3*b, -2*b = n*t for t.
-5
Suppose 0 = 3*c + 9, 7*c - 2*c + 21 = 3*j. Suppose -21*z + 27 = -15. Solve 16 = -j*y - 5*q, -3*y - z = 2*q - 0*q for y.
2
Let p = 24 - 5. Solve -3*g - p = -5*u, 3*u - 4 = 2*g + 4*u for g.
-3
Suppose 4*a = -3*z + 6, 2*z + 3*z = 4*a + 10. Solve -5*g + 28 = u, a = -2*u - 5*g + 21 + 10 for u.
3
Let q = -1 - -5. Let a be 7/(-21) + 28/12. Solve -q*f - a*g = -7*g + 15, -f = -3*g + 2 for f.
-5
Let p = 6 - 3. Suppose 3*k + 15 = p*a, 3*a + k + 1 = -4. Solve -i + 5 = 0, -2*q + 7*q + i = a for q.
-1
Suppose d + 12 = -4*q - 0, d + 16 = -5*q. Solve d*z - 2*f + 4 + 2 = 0, -3*z - 17 = -4*f for z.
1
Let r(a) = a**2 + 9*a + 12. Let l be r(-8). Solve -2*w - 18 = -l*o, 0*w - 5*w = 3*o + 19 for w.
-5
Suppose 2*p = p + 10. Solve 0 = -2*d - 5*k + 10, 4*k - p = d - 2 for d.
0
Suppose 0 = 5*g - 10, 0*n + 75 = 5*n - 5*g. Suppose 2*w + 7 - 17 = 0. Solve -3*u = -4*l - 2*u - 13, -n = w*l - u for l.
-4
Let q(z) = -z**3 - 11*z**2 + 8. Let s be q(-11). Let n be (-2)/(-4) + 17/2. Let m be (s/(-6))/((-3)/n). Solve -x = 5, -m*k - k - 2*x = 35 for k.
-5
Let x(k) = -k**3 - 3*k - 3. Let b be x(-2). Solve -2*l + 10 = -5*y - b, 9 = -y + 2*l for y.
-3
Let k(c) be the third derivative of c**4/24 + c**3/3 + 4*c**2. Let y be k(2). Let o = 8 - 5. Solve -y*m + z + 2*z - 3 = 0, o*z - 18 = -m for m.
3
Suppose -3*y + 20 = -2*h