-2
Let k(l) = -l**2 + 7*l - 3. Let u be k(6). Let f be 0/(1 + -2 + 0). Suppose f = -5*v + 5*o + 90, -2*o - 16 = -v - 0*o. Solve 5*g + v = g + u*s, 0 = -2*s for g.
-5
Let b(o) = o**2 + 9*o - 6. Let a be b(-10). Solve -a*s = -3*r - 1, 12 + 11 = 2*s + 3*r for s.
4
Let o = -61 - -63. Solve 6*h - h + n = -19, -o*h = 5*n + 26 for h.
-3
Let y(f) = f - 9. Let v be y(7). Let o be (2 + -10 - v)/(-2). Suppose -12 = -7*w + o*w. Solve 4*t - 3*t = 4, 0 = -w*k + 4*t - 10 for k.
2
Let w be (-22)/(-4) - 1/2. Let x(a) = -3*a - 10. Let z be x(-5). Suppose -5*k = -z*s, 2*k - k = -5*s + 12. Solve -u + w*o = -2*u + 4, u + 3 = s*o for u.
-1
Let s = -7 - -23. Let d = s - 8. Let a = -5 + d. Solve -3*n + 5 = -z, -5*z - 2*n + a = -6 for z.
1
Let u = 36 + -32. Solve 0 = 3*f + u*s - 7*s - 6, -3*f = 3*s for f.
1
Let s be 4 + (3 - -1)/(-4). Solve 23 = -5*o - 4*f + 3, -2*f - 10 = -s*o for o.
0
Let d(k) = 4*k + 6. Let r(z) = -7*z - 11. Let g(n) = -5*d(n) - 3*r(n). Let h be g(5). Solve h*p - 26 = 3*p - c, 0 = c - 1 for p.
5
Suppose 13 = 3*w + 4. Let d = 2 - -8. Solve -3*z + 6 = c + w*c, -5*z + d = -4*c for c.
0
Let f = 158 - 151. Suppose 2*t - 4 = 2*s - 18, 0 = 4*s + 2*t - 4. Solve -4*k = -s*o - 1, -5*k - 3*o + f = -o for k.
1
Let x(o) be the first derivative of o**3/3 + 20*o + 3. Let d = -3 - -3. Let f be x(d). Solve 4*n - f = -2*y, 4*n - 10 - 2 = 2*y for n.
4
Suppose 0 = 2*a + a. Let m = a - -5. Suppose -m = -2*q + q. Solve -2*h = -2*d + 10, 2*h + q*d = -3*h - 5 for h.
-3
Let d(l) = -2*l - 6. Let h be d(-5). Solve 5*p = 3*k + h + 12, -2*p = -k - 7 for p.
5
Let s = -40 - -65. Solve -3*z + 13 = v, -s = -4*v - v - 5*z for v.
1
Let p = 20 + -17. Suppose -p*h + 5*h = 6. Solve 0 = 4*k - 0*w - w - 19, h*k - 6 = -2*w for k.
4
Let o = -4 - -6. Suppose -3*i + 41 = -2*r, o*r = 3*i - 7*i + 78. Let q(d) = 6*d - 3. Let a be q(1). Solve -3*y + 5*t = -i, -2*y = a*t - t + 10 for y.
-1
Suppose -3 - 1 = -2*v. Solve 3*o + v*l = 13, -o + 0*l - 3*l = -9 for o.
3
Suppose 0*q = q - z + 4, 0 = -5*q - 3*z - 12. Let c be 5 + -3 + 6 + q. Solve 29 = c*h - 0*h + 4*b, -2*h - 2*b + 12 = 0 for h.
5
Let g = -2 - -2. Let b be -2 - (81 - g)/(-3). Suppose -b = -n - 4*n. Solve -v - 12 = -n*l, 4*v + 6*l = l + 2 for v.
-2
Let y(g) = 2*g + 3. Let w(s) = -s - 1. Let d(o) = -5*w(o) - 2*y(o). Let n be d(5). Solve -x + 2*t = 8, 4*t = -x - 0*t + n for x.
-4
Let k be 3 + -3 + (-20)/(-4). Solve -5*q - 10 = -3*a - 3*q, 2*a + k*q = -25 for a.
0
Suppose -4*m + 83 = 5*g, -g + 2 = -3*m - 7. Solve -c + 3 = 0, 3*n - 3*c = 2*c - g for n.
0
Let w be (-5 - -10)/((-2)/(-10)). Solve 3*d + 4*a - 15 = -0, -5*d + w = a for d.
5
Suppose -d = -5*c + 24, 2*c - 24 = 2*d + 4*c. Let u be d/(-2) - (-2 + 4). Suppose -j - 4*r - u = -4, r - 2 = -j. Solve j*m - 4*p - 2 = -4, -3*m = 2*p + 8 for m.
-2
Suppose 5*x = -20, 5*p + 2*x = -2*x - 196. Let a be (-8)/p - (-16)/9. Let v = 3 + 1. Solve 0 = b + v*b - c - 24, -a*b = 2*c for b.
4
Suppose 3*l - 3*p + 2 = -52, 2*p - 19 = l. Let c = -40 - l. Let j = 6 - c. Solve 3*m - j = -4*h, 3*h = 3*m + 4*h - 14 for m.
3
Let l(a) = a**3 - 8*a**2 + 8*a - 5. Let b be l(7). Suppose -b*w + 4*j = 0, -j = -3 + 1. Solve -4*y + 3*y - 3*c = w, -y - 5*c - 10 = 0 for y.
5
Let k(i) = i**3 - 8*i**2 + 11*i + 6. Let f be k(6). Let y be 1*(-3 + 8 + f). Solve 0 = -2*z - 3*s + 2 + 2, 0 = -z - 3*s + y for z.
-1
Let r = 18 - 11. Solve -2*b - 3*y + r = 2, b - 5*y = 9 for b.
4
Let v(a) = -a**2 + 7*a - 3. Let y be v(6). Suppose 0 = c - y*c. Suppose -t + 2*h - 4 = -16, -3*h = 4*t - 4. Solve -9 = -3*f - 2*d, c = t*d - 0*d for f.
3
Let f = 0 + 9. Let w(v) = v**3 - 10*v**2 + 9*v + 11. Let g be w(f). Solve 8*u - 3*u = q - 16, -4*q = 5*u + g for q.
1
Suppose -a = 5*m + 8 + 1, 15 = 5*a + 5*m. Suppose 17 = -a*g + 7*g. Solve 0 = 3*o + 4*r + 6 - 3, 4*r - g = o for o.
-5
Let m(r) = 5*r - 6. Let k be m(5). Solve -5*d = 2*v + 7, -v + 2*v - k = 5*d for v.
4
Suppose 4*u - 3 = 13. Suppose u*y + 4 = 6*y. Suppose 0 = 3*a - 5*f - 5, -5*f = -2*f + 3. Solve -4*p + 5*h = -21 - 3, -y*p + 4*h + 18 = a for p.
1
Suppose 3*g + w = -3*w - 8, 3*w + 11 = -g. Solve -2*f = -5*c + 14, -3*f + g*f + 4*c = 19 for f.
3
Let n = 8 - 6. Let z be (-22)/(-8) - (-3)/12. Let t = z - 2. Solve 5*o - n = w - t, -o - w = -5 for o.
1
Suppose 0 = -3*k - 2*k + 135. Solve -k = -3*r - 4*x, -5*r + x + x = -19 for r.
5
Let q = 44 + -44. Suppose 0 = y + 2 - 3. Let z be 1/y*0 - -4. Solve -z*l - 2*m - 24 = l, -l + m - 2 = q for l.
-4
Let q(h) = -h - 3. Let c be q(-6). Let j(f) = 2*f - 3. Let l be j(3). Let n be (-2 + l + -3)/(-1). Solve m - n*t + 0 = c, 25 = 4*m + 5*t for m.
5
Suppose -10 = -2*j + 4*q, -3*q = 4*j - 6 - 3. Solve -3*r + 3*x = 21, -r - j*x = -4 - 9 for r.
-2
Suppose 0 = 3*w - 3*t + 36, -2*w + 7*t - 2*t - 30 = 0. Let x be (-2)/(-4) - (-5)/w. Suppose x*k - 6 = -3*k. Solve -k*h + 2*d + 4 = 0, -2*d = 5*h + d - 2 for h.
1
Let j(r) = -r**3 + 4*r**2 - 4*r + 2. Let s be j(2). Let i be (-12 - -7)/(s/(-6)). Solve q + 3*u = -7, i = -5*q - 3*u + 4 for q.
-1
Let r = 15 - 7. Solve 10 = 4*d + r*t - 3*t, 0 = -4*d + t - 2 for d.
0
Let n = -7 - -12. Suppose 4*w = z + 9, 2*z = 3 - n. Solve 0 = -w*o + 5*h + 14 + 11, 6 = -2*h for o.
5
Suppose -8 = 2*z - 3*b - 3, -2*z + 4*b - 8 = 0. Let p be -1*((-7)/1)/(-1). Let m = -2 - p. Solve 3*j - z*q + 25 = 0, -4*j = -3*j + 2*q - m for j.
-5
Let q(r) = -2*r - 3. Let k be q(-4). Suppose -3*v + 10 + k = 0. Solve v = -4*f + x, -4*x + 25 - 5 = 4*f for f.
0
Let s = 91 + -88. Solve 0 = -3*i - s*l - 9, 8*i - 3*i - 5*l - 15 = 0 for i.
0
Let b(v) = 5 + 6*v + 5*v**3 - v**3 - 5*v**3 - 3*v**2. Let p be b(-5). Solve -3*a = 2*a + y - p, -5*a + y = -25 for a.
5
Let x = 14 - 9. Let m(o) = o**2 + 2*o - 2. Let b be m(-3). Let s be 5/(3 + b*-2). Solve -x*a = k - 5*k + 14, -k + 11 = -s*a for k.
1
Suppose -f = 2*s + 8, 6*f - 3*f + 20 = -5*s. Solve -j = -y - 7, 2*j - 4*y - 15 - 9 = f for j.
2
Let s = -1 - -10. Suppose -1 = q - 0. Let y = q - -6. Solve y*r + s = -2*g + 1, 0 = -3*r for g.
-4
Suppose 142 = 5*a + 3*v, 3*a + 2*v = v + 86. Suppose -2*q + 3*p - 7 = -a, -4*q = -2*p - 28. Solve 0 = -4*x + 12, -g - 5 = 4*g - q*x for g.
2
Suppose -3*l = -4*l + 3. Solve 0 = 2*y - 0*y + a - 6, y - l = -3*a for y.
3
Suppose -5*i + 1 = 11. Suppose 12 = -5*t + f - 4*f, f = 5*t - 4. Let a be i - ((2 - t) + -7). Solve -6*d - u = -a*d - 9, d - 3*u - 13 = 0 for d.
4
Let r be ((-1)/2)/(2/(-4)). Let j(z) = -z**2 - z + 4. Let i be j(0). Let t = i + r. Solve 0 = -6*a + 3*a - 5*o + 11, 4*a + t*o - 13 = 0 for a.
2
Let k be ((-30)/(-4))/3 + (-11)/22. Solve 5*n + 10 = 3*b, -k*n - 18 = -3*b - b for b.
5
Let p(z) = -z**3 + z**2 + 4*z. Let a be p(3). Let m be 3*(-3)/a*2. Solve 0 = m*s + 5*h - 17, 2*s + 4*h = 11 + 3 for s.
-1
Let l(s) = -3*s - 9. Let t be l(-4). Suppose -2*f = -t*f + 1. Let m be (-4)/(-4) - (-1 - -1). Solve 0 = 3*k + c + f + m, -k - 4 = 2*c for k.
0
Suppose -5 - 5 = -5*y. Suppose -4*n + 12 = -4*u, -y*u = 4*n + 3*u - 21. Suppose -h = n*h. Solve -3*v + 2*i - 10 = h, v + i = 3*i - 2 for v.
-4
Let a(u) = u**2 - 3*u + 5. Let z be a(4). Let t = -6 + z. Suppose t*f + 2*k = 4*k, 0 = -3*f + k. Solve -10 = v - s, -2*s + 15 = -v - f*s for v.
-5
Suppose 5*a + 15 = 35. Solve 3*v - n = -6 - a, -5*v - 30 = n for v.
-5
Suppose 0 = 3*j + 9, -26 = -4*w - 0*j + 2*j. Let d = 6 + -1. Suppose d*h + 2*k + 2 = 7, 5*k = -2*h - 19. Solve 0 = -2*b - 3*o - h, 2*b + w = 6*b - 5*o for b.
0
Suppose -7*z + 9*z = -36. Let f = z + 20. Solve -25 = -f*p + 3*c, 3*c = 2*p + 4*c - 5 for p.
5
Let x(c) = c**2 - 9*c + 2. Let i be x(9). Solve 4 = h + i*y, 5*y - 10 = -h - 0*h for h.
0
Let w = 8 + -4. Suppose -w*i - 4 = -12. Solve -m = 0, k - i*m = -3*k + 16 for k.
4
Suppose 8 = 2*z + 4*s, -28 = -5*z - 4*s - 8. Solve 3*y - w + 5 + 2 = 0, y + 11 = -z*w for y.
-3
Suppose 5*d + 2*z = -z + 1, -2*z + 4 = 5*d. Suppose -2*l = 3*i - 36, d*i + 3*i + 3*l - 59 = 0. Solve 2*v + 3*g - g - i = 0, -3*g + 5 = -2*v for v.
2
Let t be -6*(2/8)/((-6)/8). Solve i + 17 = 4*r - 0*i, 4 = t*r - 2*i for r.
5
Suppose -5*j = -o + 20, -2*o = o + 2*j - 9. Solve -18 + 7 = -x + 4*r, 0 = 5*x - o*r + 5 for x.
-5
Let q(r) = -r**3 + 5*r**2 - 4*r + 6. Let h be q(4). Let u = 23 - 21. Let j(v) = -v + 2. Let f be j(-3). Solve 0 = 5*z - f*s, u*z - s - 3*s - h = 0 for z.
-3
Suppose -3*w - 2*w = -175. Suppose -o - 4*o = -w. Let h be (1 - 0) + -3 - -2. Solve 5*n + o = -m, -3*n + 