 -o*k + 8, 5*k + 5*g = -20. Solve k*q = -q - 4*l - 19, 2*q + 4*l = -22 for q.
-3
Let u(v) = 2*v - 8. Let n be u(6). Let x = -1 + n. Suppose x*b - 130 = -46. Solve -2*r - 19 = -w + r, -2*w = -4*r - b for w.
4
Let u be -5*5/(75/(-12)). Suppose 3*s - u = 2. Solve 0 = l + s*r - 7, 0 = -3*l + 3*r - r - 3 for l.
1
Suppose 0 = 4*c + 2 - 46. Solve 2*v = -3*a - 23, -3*a - c = -4*v + 3*v for v.
-4
Let r be 0*(-2)/(-4) - 9. Let b be r*(-1 - 8/(-6)). Let a be 16/(-1)*b/6. Solve 4*l = -a, 3*l = g - 3*g for g.
3
Suppose 5*v + 21 = 5*d - 9, 4*d - 2*v = 24. Let z be (48/(-20))/(d/(-15)). Solve x + o = -z, 0*x - 3*o = -x + 10 for x.
-2
Let p = 41 + -24. Suppose 0 = -5*a + 5*y + 38 + 7, 0 = 2*a - 4*y - 18. Solve -p = 4*k - 3*m, 2*m - a = -3 for k.
-2
Suppose 0*c - 4*c + 4 = 0. Let u = 2 + c. Suppose 4*o + 17 - 65 = 0. Solve -f + w + 2*w = 14, u*f - 3*w + o = 0 for f.
1
Suppose 0 = 3*c - 37 + 10. Solve 0 = -3*p + c, 0*j - j - 2*p + 3 = 0 for j.
-3
Let h = -3 + 19. Let b = h + -12. Solve 3*v - 2 + 7 = -z, -4*v + 4 = -b*z for z.
-2
Let i be 77/14 + (-1)/2. Solve -4*c = 3*f + 8, -4*c = i*f - 3*c + 2 for f.
0
Let q = 0 + 5. Let t = -2 + q. Solve 0 = 2*c - t*d + 6*d - 1, 0 = 4*d - 4 for c.
-1
Suppose -49 - 39 = -8*q. Solve 2*n - 4*n = -o - 9, -3*o + 2*n = q for o.
-1
Let f = -14 + 9. Let t(s) = -s**3 - 4*s**2 + 4*s + 4. Let i be t(f). Solve 2*u = -3*g - i - 7, g - 3*u = 2 for g.
-4
Let x = -14 + 6. Let r be 14/3 - x/24. Solve -2*z + 11 = r*j, -4*z - j + 6 = -7 for z.
3
Let g = -20 - -22. Suppose -8 = g*y - 4*y. Solve k - y*s - 2 = -s, -24 = 4*k + 4*s for k.
-4
Let f = 6 - 14. Let n(g) = g**2 + 8*g + 3. Let v be n(f). Solve k - 4 = 3*k - 2*s, -2*k - v*s = -6 for k.
0
Let c(g) = -2*g + 2. Let x be c(3). Let u = x + 6. Let r(q) = -3*q - 3. Let l be r(-7). Solve 3*s + 5*b = 8 - l, -s = -b - u for s.
0
Let y be 6*1*(-3)/9. Let j(l) = l**2 + l - 1. Let n be j(y). Solve 0 = d - 5*w + 7 - n, 2*d = 2*w + 4 for d.
4
Let g be (4 - 2 - 2)/3. Suppose w + g*w - 2 = 0, -5*w + 61 = 3*v. Solve 5*p = z + v, -5*z - 4*p + 4 = 2 for z.
-2
Let r(c) = c**3 + 2*c**2 - 2*c - 2. Let k be r(-2). Suppose -y - k = -2*y. Solve -5*m + y*g + g = -10, 2*m + 5*g - 35 = 0 for m.
5
Suppose 37 = -4*c - 19. Let m = -11 - c. Solve -4*d = -5*f - 9, 4*d = 3*d - m*f - 19 for d.
-4
Let w be ((-4)/6)/(-4*3/90). Solve -q - 4*q - w*r + 10 = 0, -4*r = 12 for q.
5
Let x = -6 + 20. Solve w - 5*p + 2 = 0, -5*w = -10*w + p + x for w.
3
Let c(a) = -a**3 + 2*a**2 + 3*a + 2. Let l be c(3). Let s(f) = 4*f - 2. Let x be s(l). Solve 0*r - b - x = -2*r, -r - b = 0 for r.
2
Suppose 0 = 2*b + 2*b + 5*q - 32, -16 = -2*b + 3*q. Let z be b/(-48) + (-50)/(-12). Let o be (6/(-4))/(-3)*10. Solve -5*x + 2 - 6 = z*y, -y + 24 = -o*x for x.
-4
Let l(c) = c**2 + 1. Let m(o) = o**3 - 3*o**2 + o - 2. Let q(j) = -6*l(j) + m(j). Let g = -6 - -15. Let z be q(g). Solve -f + z = 2*x - 8, 15 = 3*f + 2*x for f.
3
Let b(m) = -3*m - 1. Let s be b(1). Let a = 7 + s. Suppose 5*d = n + 10, 0*d - 4*n - 8 = -4*d. Solve 0 = p - 3*c + 9, -a*p - d - 10 = -4*c for p.
0
Let t = 6 - -4. Let y(o) = o + 9. Let p be y(-7). Let f be 1/(p - 6/4). Solve -f*d = 4*h + 30, 3*h + 3*d = 4*d - t for h.
-5
Suppose -4*d + 10*h - 5*h = 2, 0 = 2*d + 2*h - 8. Solve -4 = d*t - y + 3, 5*t - 5*y + 10 = 0 for t.
-5
Let m(w) = -w**3 + 7*w**2 - 7*w + 5. Let a be m(6). Let c(i) = -14*i - 2 + 0 + 1. Let n be c(a). Solve -6*d = -2*d - 4*s - 20, 2*d = 5*s + n for d.
4
Let p = 3 - -5. Solve 2*j + p = -2*z + 3*z, -4 = 4*j + 4*z for j.
-3
Let g be (-9)/(-6)*4/6. Let v be 1 - -3*(g + 0). Suppose v*n - 22 = -2*s, 0 = 3*n - n - 6. Solve 17 = -3*y + d + 3*d, -y = -d + s for y.
-3
Suppose -12 = -6*u + 3*u. Solve -2*n - 10 = u*p, -p = -n + 3*n + 7 for p.
-1
Let k be 23/(-2) + (-7)/(-14). Let f = -11 - k. Solve f = 2*s + 5*j + 7, -7 - 21 = -4*s + 4*j for s.
4
Let z be (18/(-5))/((-6)/15). Let y be ((-6)/z)/(2/(-69)). Suppose y = 4*c + 3. Solve c*m = -4*s + 16, 0 = -5*s - 5 for m.
4
Let y = -65 + 103. Suppose 3*k = 2*h - 13, -5*h + 2*k = -h - y. Let m be (10/6 - -2) + (-16)/(-12). Solve 8 = 5*d - 2*x, -h = -4*d + 4*x + m for d.
0
Suppose 3*s + 0 - 3 = 0. Let l = 3 + s. Solve -3*f + 1 - 11 = a, -l*a + 8 = 0 for f.
-4
Let l = -3 - -5. Suppose -l*k + 2*m = -8, 0*k - 4*m = -k + 10. Solve 0 = g - b, -k*b = 5*g - 4*b - 12 for g.
4
Suppose -2*m = 6 + 4. Let j be m/(-1) + 6/6. Solve 5*w = 20, 33 = 3*k + 3*w + j for k.
5
Let s = 46 + -44. Solve 4*w = -k + 12, s*k + 2*k - 6 = 5*w for w.
2
Let p(x) = -x**3 + 18*x**2 - 15*x - 29. Let g be p(17). Let a = 2 - -1. Solve 2*i = 3*n + 3, -5*n = i - g - a for i.
3
Let f = 5 + -2. Solve 3*r - z = -f, 0*r + 10 = -2*r - 2*z for r.
-2
Let q(l) = -4*l - 7. Let r be q(-5). Solve 0 = a - 3*c - r, a = 5*a - 4*c - 12 for a.
-2
Let d(k) = -2*k - 5. Suppose -20 = 4*z - 4. Let w be d(z). Let i = 8 - w. Solve -2*g = -3*j - 3 + 16, i*j - 4*g - 21 = 0 for j.
5
Let g be (-33)/(-55) + (-2)/(-5). Let u be (-15)/10*-2*g. Solve 5 = -4*v - 5*i, 2*v - u = 5*i + 2 for v.
0
Suppose 0 = -10*r - 15 + 45. Solve 0 = -2*w + 3*t - 7, r*w + 2 = -2*t - 2 for w.
-2
Let o(a) be the second derivative of a**4/12 + a**3/2 + 2*a**2 + 5*a. Let s be o(-3). Solve -5*k - s*i - 14 = -3*k, -2*i = 4*k + 16 for k.
-3
Let m be (-4)/(-3)*3 + 2. Let b be (2 + -1)/(1/2). Solve -v = 4*c - 19, -m*v = -2*v + b*c - 20 for v.
3
Let c(z) = 11*z**3 + 2*z**2 - z. Let l be ((-2)/(-6))/(2/6). Let x be c(l). Solve 4*f = -4*i + 16, -f + x = 2*f - 3*i for f.
4
Suppose 0*i = 2*i + 8. Let d(g) = -g - 14. Let s be d(-8). Let o be i/s*(-15)/(-2). Solve 0 = -z + 3*z + 2, 0 = -5*a + o*z for a.
-1
Let h(c) = -c**3 + 4*c**2 - 3*c + 4. Let g be h(3). Solve -4*d + 4*p = 10 + 14, 0 = -g*p + 12 for d.
-3
Let b(y) = -y**2 - 2*y + 1. Let m(f) = -f - 1. Let o(s) = b(s) - 5*m(s). Let j be o(5). Let q = j + 4. Solve v = 3*c + 13, 2*v - 3*c - 17 = -q for v.
4
Let n = 35 - 1. Let p = n + -10. Suppose 6*s = 22*s - 320. Solve -2*t + 4*d - s = 0, 3*t - 2*d - 2*d = -p for t.
-4
Let z be (5 - 3) + 1 + -1. Let j be 0 + (3 - -2) - 2. Solve -z*q = -2*s + 2 - 4, 3 = -j*q + s for q.
-2
Suppose 2*w - 2*u + 2 = 0, -4*w - 4*u - 13 = 23. Let t = w - -5. Solve -4*n = -5*m - 0*n - 21, t = 4*m - 4*n + 16 for m.
-5
Suppose 8*z - 65 = 7. Solve -6*q - 4*w - 6 = -8*q, 3*w = -z for q.
-3
Let r be (-6)/15 - (-6)/(-10). Let u be 2 + -1 - (-4 - r). Solve k - 16 = u*a - 4, 3 = 3*k - a for k.
0
Let w = 152 + -152. Solve -2*n + o = -w*n - 4, 6 = 3*n - 4*o for n.
2
Suppose -9 - 6 = -3*g. Solve 0 = l, -7*h + 2*h = -g*l + 25 for h.
-5
Suppose -4*l - l = -90. Suppose l = 4*s + 2. Solve -v = 4*j - s, 13 - 39 = -3*j + 5*v for j.
2
Let w(x) = 2*x - 4. Let m be w(3). Suppose 0 = 5*h + j + 23, 2*h - 1 = 3*j - 0. Let f be (2/(-6))/(h/24). Solve -m*y + 3*q = -f, 5 = y + 2*q + 18 for y.
-5
Let p(v) = v**3 - 3*v**2 + 2*v - 2. Let d be p(3). Solve d*t + 13 = -f - 0*f, 2*f = t + 10 for t.
-4
Let y(t) = t**3 - 3*t**2 - 3*t - 4. Let i be y(4). Suppose 0 = -i*m - m - 4, 0 = -4*r - 4*m. Solve -5*l - r*k - 4 = 0, -5*l - 27 - 13 = -5*k for l.
-4
Suppose -3*d - 8 = -35. Suppose -2*r - r - d = 0. Let f = r - -6. Solve 0*b - 2*b = f*v + 2, -3*b - 4*v - 1 = 0 for b.
5
Suppose -3*n + 15 + 0 = 0. Solve -2*j = -n*k + 15, -k + 15 = 2*k for j.
5
Suppose 57 - 53 = 4*b. Solve -b - 4 = j, v = j for v.
-5
Let b(x) = -x - 5. Let s be b(-7). Solve 0 = 4*k - 0*k - 3*a + 26, 0 = s*a - 4 for k.
-5
Let i = 16 - 14. Solve -p + i = -0*p - t, -11 = 2*p + t for p.
-3
Let f = 41 + -25. Let u = f - 13. Solve u*b - a - 4 = 0, 6*b = b + 5*a for b.
2
Suppose 5*n - 6 = 4. Suppose 36 = h + n*h. Suppose -5*w = 2 - h. Solve -o - 2 - 3 = -u, -4*u - 4 = w*o for o.
-4
Let j(f) = 3*f**2 + 7*f + 5. Let l be j(-4). Solve -5*r + 20 = 0, -2*w - l = -3*w - 5*r for w.
5
Let g be 44/(-12) - (-2)/(-6). Let i = -1 - g. Suppose 5*v - 45 = -2*d, d + 9 = v - i*d. Solve -2*a + v = 5*o, -o - 2*a = -3*o + 12 for o.
3
Let q(o) = o**3 + 6*o**2 - 6*o + 10. Let d be q(-7). Solve 29 = 2*t + 5*n, -7*t + d*n - 9 = -4*t for t.
2
Let l be (0 + 1)*(-2)/(-1). Suppose -l*k = -k. Suppose -3*n + 0*s - 4*s + 27 = k, 0 = 4*n + s - 23. Solve w - d = 2*w - 1, 0 = -n*w - d - 15 for w.
-4
Suppose -5 + 10 = 2*p - t, 31 = 4*p + 5*t. Solve 2*c + 25 = c - 5*j, 2*c - p*j - 20 = 0 for c.
0
Let g(t) be the first derivative of -t**2 - 1. Let n be g(-3). Let i = 10 