= -6*k**2 + 1. Let l be q(-1). Let w(n) = -n**2 - 6*n. Let y be w(l). Solve -2*f + 3*a = 9, 3*a = y*f + 7*a + 11 for f.
-3
Let a be -1 + -1 - -26 - -2. Solve -5*u + 3*i = -a, 3*u + 2*i - 22 = 7*i for u.
4
Let k be (-6)/8 + 6/8. Let j = 10 + -6. Suppose k*u + 2*o = -2*u + 12, -3*o + j = -4*u. Solve 4*p = 3*w + u*w + 8, 4*w + 5*p + 31 = 0 for w.
-4
Suppose -n - 4*h + 9 = h, -4*n + 5*h = -11. Solve 0 = -4*l - 5*p - 12, -n*p = -4*l - p - 12 for l.
-3
Let t(p) = -p**3 + p + 1. Let v be t(-1). Suppose 2*m + h - 15 = -2*h, -9 = -3*h. Solve r - v = -b, -m*r + 0 + 3 = b for r.
1
Suppose 2*w + 0*g - 8 = g, -4*g = -3*w + 17. Suppose 0 = 4*l - 19 + w. Solve c - 3*p = -2, -c - l*p + 2*p + 3 = 0 for c.
1
Let o(f) = f**2 - 4*f - 1. Let r be o(5). Suppose 0 = 3*l - r*l + 23. Solve -3*y + 3*g + l = -g, -4*g - 17 = 3*y for y.
1
Let p be (-24)/(-8) + 1 + -3. Let l be -5 + 8 + 2*p. Solve -w + l*m - 9 = 0, 2*w + 6 = -3*m + m for w.
-4
Suppose 7*n - 4*n + 2*z = -8, 5*n = -3*z - 14. Let h be n*(-5)/(-8)*-2. Solve 8 = 2*a - 6*a + 4*u, -h*a - 10 = -3*u for a.
-2
Let c(l) = l + 1. Let i be c(-2). Let f be i/(-3) - (-85)/15. Solve 4*u - f = 3*y, 17 - 7 = -5*y - 5*u for y.
-2
Suppose 3*g = -2*u + 15, 4*u = -u + 4*g + 3. Solve 0 = -0*w - 3*w - 12, -u*w = -5*x + 32 for x.
4
Let u = 39 + -36. Solve -3*z - u*n = 9, n - 3 = -1 for z.
-5
Suppose 3*b + 0*b - 24 = -v, v - 3*b = 6. Solve 0 = 5*t, t = -3*x - t - v for x.
-5
Let o = 84 + -78. Solve -2*j = 3*a + 4 + o, -3*j = -4*a + 15 for j.
-5
Let h(f) = -2*f - 3. Let k be h(-3). Solve -3*v = -2*s - 2, -21 + 2 = -k*s - v for s.
5
Let d(a) = -a**3 - 3*a**2 - 6*a - 1. Let f be d(-3). Let j = -1 + 4. Solve 3*v - 23 = -j*w + 5*w, -3*w = -v + f for w.
-4
Let w be (-6)/(-8)*(-21 - -25). Solve -w*m + o + 10 = 0, -m - 2 = 4*o + o for m.
3
Let a = 6 + -13. Let n = -1 - a. Solve -3*j + 4*f = -0 - n, -4*j - 2 = -2*f for j.
-2
Let m = -8 + 13. Suppose -3*j = m - 11. Solve z - 13 = -g - 4*z, g + j*z = 7 for g.
3
Let z = 0 + -2. Let k be (-5)/z + (-1)/(-2). Let p = k + -1. Solve 0*o - 3*y - 6 = p*o, 4*o + 12 = 5*y for o.
-3
Let p = 11 - 7. Let x be (1 - p) + (5 - 3). Let f be (-1 - x) + 1 + -1. Solve -5*s - 2*a + 1 + 3 = f, -6 = 2*a for s.
2
Let y = -4 - -7. Suppose -y*d - 1 = -7. Suppose 4*g = 3*j - 3, -4 + 3 = j - d*g. Solve -2*m - 5*l = -17, j*l = 2*m - 3*m + 21 for m.
-4
Suppose 4*q + 8 = 2*z, z - q = -0*z + 3. Let a be (-122)/(-8) - (-3)/(-12). Solve u + z*l - 10 = 0, 0 = -u - 0*l - 3*l + a for u.
0
Let w be 4/18 - 1240/(-90). Solve -w = -u + 4*a, -2*u - 1 - 4 = 3*a for u.
2
Suppose -20 = -3*p - 2*p. Suppose 3*j + 4*x = -3 - p, 5*j = 5*x + 35. Solve 31 = -5*c + j*v, 5*c - 2*v + 8 = -21 for c.
-5
Suppose 5*q - 2*q - 20 = 2*j, 5*q - 12 = -2*j. Solve 3*p - q*b + 11 = 0, -2*p - b = -4 - 7 for p.
3
Suppose d - 8 = -d. Let q = -2 + d. Suppose -3*g - 5*a = -16, 3 = 4*g + q*a - 9. Solve 6*t - g*t = 5*v - 17, t + 3 = 0 for v.
1
Let r = -3 - -3. Solve 3*s = -4*o + 22, -2*s + 8 = -r*o + o for s.
2
Let n(x) be the first derivative of x**3/3 - x + 4. Let i be n(-1). Solve i*t - 6 = 4*t + 2*j, 5*t - j = -25 for t.
-4
Let r = -36 + 65. Solve -3*l + 0*l = 4*b - 17, -5*b + r = -4*l for l.
-1
Suppose -2*r + 23 = 19. Solve 0 = -3*f, 4*q + r*f = 3*f - 8 for q.
-2
Let n = -5 + 7. Solve s + n*p - p - 1 = 0, -29 = s - 5*p for s.
-4
Let l = -8 - -4. Let k be l/(-10) + 36/10. Solve 0 = -k*n - 2*r, n - 5*r = -n - 24 for n.
-2
Suppose -4*l - l = -175. Let j be 4/14 + (-150)/l. Let r = 8 + j. Solve 32 = -5*f - r*p, -4*f - 7 = -4*p + p for f.
-4
Let q be (0 + 1)/(2/4). Suppose 17 = -u + q*u. Solve v - 4*v = 5*c + 25, -4*c = -5*v - u for v.
-5
Suppose 5*k + 15 = n, n = -k + 2 + 1. Let f be (-2 - (1 + -1)) + 10. Solve -5*j - 18 = i, n*j = f*i - 4*i - 3 for i.
-3
Suppose 0 = 3*j + 8 - 23. Suppose -f = -j + 3. Suppose f*i = -i + 15. Solve 3*r = -y - 4*y - 4, 2*r - i*y = -11 for r.
-3
Suppose 0 = 17*n - 19*n + 8. Solve -f + 16 = -5*f, 0 = q - n*f - 18 for q.
2
Suppose 3*w - v = 4*v + 20, -2*v - 8 = -5*w. Let i = -6 + 8. Suppose 0 = 2*n + i*n - 32. Solve -m - 5*f + 2*f = -n, w = m - f for m.
2
Let s be (-4 - (-8 - -3))*2. Solve s*t = 5*v + 30, -43 + 18 = -5*t for v.
-4
Suppose 11 = -5*x - 74. Let g = x + 12. Let p = g - -20. Solve f = 3*l - 2*l + 9, 5*l + p = -f for l.
-4
Suppose -5*u = -2*u - 27. Let t = -4 + u. Solve -t*w - 3*f - f = 15, 6 = -2*w + 4*f for w.
-3
Let q(h) = h + 12. Let i be q(0). Let z = i + -17. Let f = z - -8. Solve -j - 2*o - 3 = -2*j, 5*o = j - f for j.
3
Suppose 50 = -6*w + 16*w. Solve -w*i + 4*l + 0*l = 17, 5*i + 14 = 3*l for i.
-1
Suppose 5*p + 1 = 11. Suppose 3*k - j - p = 0, 4*j = 4*k - 0*j + 8. Solve 4*m + 10 = -2*r, -r - 3 = 2*m + k*r for m.
-3
Let p be -3*(-4)/(-6)*2/(-1). Solve 5*v = 8*d - 3*d - 25, v = p*d - 14 for d.
3
Suppose 3*a + 5*u = 21, -4*a + 5*a = -3*u + 11. Solve -33 = -a*c + 5*n - 3, -c - 4*n - 11 = 0 for c.
5
Let a(v) = -5*v - 1. Let i = -7 - -3. Let m(g) = g - 1. Let b(s) = i*m(s) - a(s). Let k be b(-5). Solve -2*c = -w - 8, 5*c - 19 = -k*w + 3*w for w.
2
Let s(d) = 2*d**3 - 3*d**2. Let r be s(2). Suppose -6 = -2*i + r. Suppose 7 = i*n + 2. Solve -2*b - 5 = x, 4*b + 5*x - n = -2 for b.
-4
Let x = 2 - 0. Suppose 0 = -0*a - 5*a + 4*s + 8, 3*s = x*a + 1. Let u = 14 + -12. Solve -j = 3*q + 2*q - 12, -6 = -a*q - u*j for q.
3
Let b = -87 + 89. Solve 4*l - 4*k = -12, 0 = 2*l - l + b*k for l.
-2
Let m = -13 - -31. Let t(c) be the second derivative of c**4/12 + 43*c**2/2 + c. Let f be t(0). Solve k = -3*r - m, 3 = 5*r + 5*k + f for r.
-5
Let y = 2 + 10. Let a be (-2)/6 - (-40)/y. Solve -4*h + m - 3 = -2*m, 3 = 5*h + a*m for h.
0
Let r be (1 - (-2 + 1)) + 2. Suppose g + 2 = 4. Let s be 35/28*(7 + -3). Solve s = -3*f - r*l, -f = 3*l + 8 + g for f.
5
Let h = -8 + 11. Solve s + 9 = -2*i, -h*s - 2*s = 15 for i.
-3
Let m = -14 + 29. Suppose -n + 1 = m. Let o be (-46)/(-14) - (-4)/n. Solve o*v = -4*f - 2, -2*v - f = -0*v - 2 for v.
2
Let b(k) = k**2 + 14*k + 24. Let h be b(-12). Let w(f) = -f**2 - 8*f - 6. Let u be w(-5). Solve -p + 4 = -h, 3*p - u = 3*t for t.
1
Let c(y) = -y**3 + 8*y**2 - y + 10. Let r be c(8). Let s(u) = 5 + 3*u**2 - 3*u**2 - u**r. Let d be s(0). Solve 3*a = -d*j - 14, -3*j - 3 = -5*a + 19 for j.
-4
Suppose 5*n = 3*t, 5*t = -5*n - 20 - 20. Let j be n + 2 + 29 + 2. Solve 4*x + 5*a - j = 0, 0 = -3*x + 4*a - 2*a + 11 for x.
5
Let v(q) = -2*q + 1. Let y be v(-5). Let o = y + -6. Solve z + 3 = 3*x + 1, 0 = o*x - 4*z - 15 for x.
-1
Let j = -11 + 18. Let h = 10 - j. Suppose h*w - 36 = -2*o + o, -w - 3*o + 4 = 0. Solve -4*g - 3*i + w = 4, 0 = -g + 2*i + 5 for g.
3
Let i(s) = 10*s - 76. Let r be i(8). Solve -2*f + f - r*y = 17, 4*f = 4*y + 32 for f.
3
Let t(b) = -b**2 - 11*b + 17. Let i be t(-12). Let g = -4 + 6. Solve -g*l - 18 = 2*s, 0*l - i*s = -4*l for l.
-5
Let j be 3*(-5)/(-15)*5. Solve 0*v = -3*v, t - 5*v - j = 0 for t.
5
Let a = -18 - -20. Solve j + a = 2*t + 3*j, -5*j - 15 = 0 for t.
4
Suppose -3*q - 4 = -4*q. Let l(k) = -k**2 + 11*k + 9. Let m be l(11). Solve 5*r - q*p = 1, -5*r - 3*p - p = -m for r.
1
Suppose 0*h + 2*v = -4*h + 10, 4*v - 20 = 2*h. Suppose h = -4*u - 2 + 6. Solve 5*m - 2*z = u, m + z - 1 = 5*m for m.
-1
Let p = 7 + -11. Let v be ((-6)/p)/((-12)/(-40)). Suppose -2 = 4*z - v*z. Solve -5*d = 0, -j + z*d = -6*j for j.
0
Let p = 4 + 0. Let a = p - 6. Let m = 0 - a. Solve 0 = -5*n - 2*v + 4, v - m = 2*n for n.
0
Let v be ((-4)/3)/((-1)/3). Suppose -5 = -f - 0. Let t(h) = -18*h + 90. Let a be t(5). Solve -2*z + 2*u = 2, 7*z - v*z - f*u + 13 = a for z.
4
Suppose -4*h + 2 = -2. Let v be h/(3/(-2) + 2). Solve -5*d + 3*b - 10 = -2*b, 0 = -2*b - v for d.
-3
Suppose 2*h - 20 = -3*p - 3*h, -2*p - 20 = -5*h. Solve -3*k + 3 + 17 = -4*j, 3*j + 2*k + 15 = p for j.
-5
Let q(c) = -c + 2. Let u be q(5). Let d be 2 - u - (4 - 1). Solve -d*b + 28 = 5*s, 5*s - 6 = -5*b + 34 for b.
4
Let t = -4 - -8. Let q be 68/18 + (-2)/(-9). Let n = 27 - 16. Solve t*y + 8 = q*l, 2*y - n = -2*l - l for y.
1
Let i be ((-1)/2)/((-2)/32). Let n be i/5 + 2/5. Suppose 0 = n*r - 3*r + 2. Solve r = v + 5*q - 3, -4*q + 4 = 0 for v.
0
Let m be 12/(-5) - (-4)/10. Let h be (m/(-8))/((-8)/(-160)). Let o be (-2)/(-6) - (-11)/3. Solve -6*t + t = -2*f, -o*t + 17 = -h*f for t.
-2
Let p = 8 - 0. Let c be (6 - p)/(1/(-2)). Solve -5*x + 3*d + 16 = 0, -c*d + 9*d