 23 = 0 for n.
-2
Let d be 2/6*(8 + 4). Let s = d + -1. Solve -5*i + 3*i - 6 = 0, 6 = a - s*i for a.
-3
Suppose -4*g = -3*v, -15 - 6 = -3*v - 3*g. Solve 7*y = 2*y + v*i + 13, -6 = -2*i for y.
5
Suppose 0 = -b + 90 - 26. Let q be (-2)/9 + b/(-36). Let x be -1*(3 + q) - -1. Solve 4*o + 7 = 2*s + 33, x = 3*s - o + 19 for s.
-5
Let v = 27 - 12. Suppose -v = p + 4*p, 0 = 3*g + 2*p. Solve w - g = -f - f, 0 = -5*f - 5*w for f.
2
Let v(l) = l**2 - 7*l - 1. Let h be v(6). Let s = 19 + h. Suppose g - 4 = 3*g - 3*j, s = 2*g + j. Solve g*k = 2*k + 5*f - 7, 2*k + 5*f - 3 = 0 for k.
-1
Let m(z) = z**2 + 4. Let o be m(0). Suppose c - 1 + 5 = -3*y, o*y + 8 = -c. Let p = c + -6. Solve -d = -l - p*d + 4, -12 = -5*l - d for l.
2
Let v(f) = -f**2 - 3*f. Let b be v(-2). Let i be -7*(-2)/(0 - b). Let o be -2 + 2/(-2)*i. Solve o*q - 13 + 0 = -3*c, -4 = c for q.
5
Let x = 44 + -41. Solve -x*w = -3*y, -w - 2*y = -5*y for w.
0
Suppose -4*h - 14 = 2*w, -5*w + 4*w + 5 = -4*h. Let y(j) = j + 7. Let m be y(w). Solve -q + m*b = -5*q + 8, -4*q = -5*b - 26 for q.
4
Let k be -1 - (-46)/8 - 5/(-20). Solve 2*t = -k*r + 3 + 16, -4*r = -12 for t.
2
Let n(x) = -x**3 + 6*x**2 + 18*x - 14. Let j be n(8). Solve 4*a - j = -5*b, -5*b + 0*b + 6 = 2*a for a.
-2
Let d = -35 - -11. Let z = d + 35. Let v = -8 + z. Solve -v*a + 1 = 4, 2*a + 2 = -4*h for h.
0
Let a(w) = -w**2 + 7*w + 5. Let y be a(7). Solve 4*m - y*u = 18, 25 = 5*m - 4*u + 7 for m.
2
Suppose 11*m + 6 - 28 = 0. Solve -m*h = -4*s - 14, 2*s + s - 4*h = -13 for s.
-3
Let a(m) = -4*m - 7. Let u be a(-3). Solve -18 = -2*n + 3*r - r, -u*n + r = -25 for n.
4
Let n = -3 - 0. Let u be (-18)/(-5) - n/(-5). Let o be ((-6)/(-5))/((-4)/(-10)). Solve o*q = -5*a + 31, -4*a + u*q + 3 = -11 for a.
5
Let i = -16 - -25. Let h = 21 - i. Solve 3*n + h = 5*w, -2*n = n + 5*w - 18 for n.
1
Let b = 5 - 4. Let v = b + 2. Suppose 2*s + 11 - 3 = 0, -v*s = -o + 14. Solve -15 = o*q - y, 0 = -q - y - 3*y + 15 for q.
-5
Let r be 2/8 + (-6)/24. Solve p + 2*w - 11 - 1 = 0, p + w - 7 = r for p.
2
Let f = -6 + 11. Solve 0*i + 2*j + 10 = -3*i, 2*i + f*j + 14 = 0 for i.
-2
Let l(f) = -f**3 + 2*f + 2. Let n be l(-2). Let p(s) = 2*s - 4. Let y be p(n). Solve 7*a + u = 2*a - y, -5*a = 5*u + 20 for a.
-1
Suppose -3*y - 9 = -3*m, 5*m = -4*y + 28 - 4. Suppose -m*o = -7*o - 36. Let b be (-2 - 3/(-2))*o. Solve -3*a + 24 = 2*k + b, -5*k = -15 for a.
4
Suppose 5*x - 9 = 4*b, -4*b + 4*x = -6*b + 28. Solve -3 = b*y - 5*p + 4, 11 = -4*y + p for y.
-3
Suppose 0 = -o + 2*t - 1 + 8, 5*o + 5*t = 20. Solve j + 4*j - 2*c = -7, 3*j + 8 = o*c for j.
-1
Suppose 2*g = 2*l + 34, 0 = 4*g - 7*g. Let h = -15 - l. Solve 0 = -5*d + c - 23, 7*d - h*d + 17 = 4*c for d.
-5
Suppose 2 = -3*l + 4*l. Solve 2*d = n - 7, -n + 23 = -4*d - l*n for d.
-5
Suppose 2 = -z + 5. Solve -4*x - 23 = -z*g + 9, 0 = g - 2*x - 14 for g.
4
Suppose 11 = 2*i - t + 5, 0 = 3*i - t - 8. Suppose 0 = 2*n - i*z, 0 = -2*n + 5*n - z - 8. Solve 4*h - 2*v = -22, n*h - h + 19 = 2*v for h.
-3
Let x = -6 - -8. Suppose x*k = -4*r + 30, -4*r = 4*k - 39 - 1. Solve -p + 1 = -3, 0 = c + r*p - 24 for c.
4
Suppose 2*d = -2*d + f + 9, 5*d = f + 12. Let l be 9/(-18) + 11/2. Suppose -3*z + 9 = l*u, -6 = d*u - 4*z + 2*z. Solve 0 = -r - s + 6 - u, r + 2*s = 9 for r.
3
Suppose -y = 3*y - 28. Suppose 2*p + 2*q - 21 = 3*q, 0 = 4*p + 2*q - 38. Solve -5*s + 4*z - y = -p*s, -4*z = 8 for s.
3
Let x(z) be the first derivative of -z**3/3 + 6*z**2 + 3*z + 3. Let i be x(11). Solve 5*p + 3*g - i = 0, 4*p - 3*g + 6 = 1 for p.
1
Let o(a) = a**2 - 9*a - 16. Let s be o(11). Suppose -4*b + s = -b. Solve -3*t + 7 = b*d, -17 = -2*d - t - 8 for d.
5
Suppose -4*o - 20 = -8*o. Solve -u = -2, -3*u + 21 = -o*z + 5 for z.
-2
Suppose -3*v = v. Suppose 4*s - 15 = s. Solve v = 5*l + 3*h - 28, -s*h + 9 = 2*l - 6 for l.
5
Suppose 5*o = 2*o + 6. Suppose -d + 6 = -o*d + 5*w, -10 = -5*d + 5*w. Suppose d*t - 13 = 7. Solve t*x = 3*c - 10, 2*c + x + 2 = -3*c for c.
0
Suppose 0 = 3*u + 28 - 10. Let f(v) = -v**3 - 7*v**2 - 6*v + 3. Let s be f(u). Solve 2*r + 3*b + 9 = -r, r = s*b + 17 for r.
2
Suppose -2*j - 2*j = -24. Suppose 8*k + 12 = j*k. Let z be 5 + (-3)/(9/k). Solve 2 = -q - n, 2*n - 27 = 4*q - z for q.
-4
Let a be (5 + 44/(-10))/((-1)/(-5)). Solve -u + 9 = -a*b, b + 5*u = -3*b - 31 for b.
-4
Let z be 0*(-1)/3 + (4 - 4). Suppose -i = i - 6. Solve 0 = 2*v - t - 9, -2*v + z*t - 11 = i*t for v.
2
Suppose 3*x = 5*x - 36. Solve 0 = -4*n - 12, -3*t - n - x = 2*n for t.
-3
Suppose -6 = -3*x + 2*x. Let m be x*(11/3 + -3). Solve 2*g + 4 + 10 = -3*d, -4*g = -2*d - m for g.
-1
Let f(p) = 4*p + 2. Let n be f(2). Let x be n/1 - (-2 - -4). Solve i = 4, -4*a - 3*i = i - x for a.
-2
Suppose b + 2 = 0, -2*r - 11 = 3*b - 1. Let p = -4 + r. Let f be (p - -14) + -3 + 1. Solve 5*y - 25 = -3*d, f*y = 3*y + 4*d - 14 for y.
2
Suppose -5*f = 15, o = -4*f + 2 - 4. Suppose r - 2 = 0, 2*j = -3*j + 3*r + 14. Solve -5*p - 2*z - o = 0, 2 = -2*p + p - j*z for p.
-2
Suppose -3*q - 1 + 14 = 2*o, o + 1 = 0. Suppose -4*y + 12 = n, -q*y = -n + 8 + 22. Solve 2*r + 5*w = n, -5*r + 0*r = 5*w - 20 for r.
0
Let q(u) = 5*u**3 - u + 1. Let a be q(1). Let i = -9 - -13. Suppose 0 = -4*w - 4*y - 19 + 7, -4*w + i*y + 28 = 0. Solve a*x + 25 = w*o, -4*o = -2*o for x.
-5
Suppose -75 = -9*j - 30. Solve -3*u - 2*i + 8 = 0, -u + j*i - 5 = 15 for u.
0
Suppose -l = l - 36. Suppose b - l = -5*k, 3*b = -4*k + 4 + 6. Suppose -2*p = -3*m - 0*p + 15, k*m - 5*p - 20 = 0. Solve w + 3 = 2*y, -3*w + m*y = -w + 5 for w.
-5
Let a(k) = -k - 8. Let r be a(-8). Solve -3*w - 2*f - 17 = r, 3*w - 3*f = 5 - 2 for w.
-3
Let p(c) = -c**3 - 8*c**2 - 7*c + 3. Let a be p(-7). Solve -5*g - 14 - 12 = -a*r, g = -2*r for g.
-4
Suppose 0*o + 2*o + 9 = 5*i, -3*i + 2*o + 3 = 0. Solve 5*h + 3*a + 2 - 1 = 0, 2*a = i*h - 7 for h.
1
Suppose -5*v + 6 = -3*v. Let b = 4 - -7. Suppose -3*d + 6*d = 12. Solve v*s = o - b, d*s = -o - 14 - 10 for s.
-5
Let d(y) be the second derivative of y**4/6 - 5*y**3/6 + y**2 - y. Let o = -11 + 14. Let b be d(o). Solve -4*g + 2*g + 5 = 5*t, -b*g = -4*t + 37 for t.
3
Let c(g) = 4*g + 1. Let q be c(1). Let x(z) = -z**2 - 6*z + 3. Let n be x(-6). Suppose t = -n*t + 60. Solve -q*y - 2*r = -7*r + t, -4*y = -2*r + 8 for y.
-1
Suppose 0 = -k + 5*k. Let x = k - 4. Let u be (-1 + 1/2)*x. Solve -u*y - 3*v = -2, -y - 14 = 2*y - 4*v for y.
-2
Let u be 2/(-3)*(-108)/8. Let q = 10 - u. Solve p + q = -2*y + 4, -4*y - 3*p + 3 = 0 for y.
3
Suppose 4*z = 5*w + 96, 0*z - 49 = -3*z - 2*w. Let n = -34 + z. Let v be ((-3)/(-2))/(n/(-20)). Solve -4*m - 9 = v*h + m, -4*m = -3*h + 21 for h.
3
Let w(k) = k**2 + 11*k. Let z be w(0). Let x be ((-2)/(-1))/(2 + -4). Let r be -2 + (x - -4)*4. Solve 3*l + v + z*v = -11, 0 = -5*v - r for l.
-3
Let b = -2 - -8. Suppose 4 = -w + b. Solve -4*y + 2 = -3*l + 8, w = -3*y + l for y.
0
Let w(o) = o**3 + 7*o**2 - 2*o - 10. Let f be w(-7). Solve 6*t = 2*t + 4*r + 24, 2*t = -f*r for t.
4
Let k be (14 + -4)*(-2)/(-4). Solve 0 = 4*y - k*o - 24, -o = -2*y + 3*o + 18 for y.
1
Let n = -15 + 17. Solve 2*t - t - n*y = -3, 3*y = 3*t for t.
3
Suppose -2*f - 5*k + 5 = -10, 3*f = k - 3. Solve 3*g = -2*b - b - 3, f = -g + 4*b + 4 for g.
0
Let q(d) = 15*d**2 + 2*d + 1. Let s be q(-1). Suppose 3*i - x - 11 = -i, 3*x = i. Suppose -59 = -i*l - s. Solve -t - g + 6 = -2*t, 0 = 5*t - 2*g + l for t.
-1
Let y = -48 - -52. Solve -5*g = 4*n + 40, 0 = -0*g + g + y for n.
-5
Let c be ((-3)/(-9))/((-3)/(-18)). Let v be 3/(-6)*c*0. Suppose v = 3*w + 1 - 7. Solve -w*x = -4*x - f, -3*f = -6 for x.
-1
Suppose -3 = 2*s - 77. Solve 15 = -3*j, -4*b + 5*j + s - 4 = 0 for b.
2
Suppose 8 - 2 = 2*j. Suppose -c = -j*n + 1, 5*c - 35 = 4*n - 7. Solve c = 2*u, 2*o - u = u + 2 for o.
5
Let q be ((-4)/10)/((-11)/110). Solve z - q*u = -u + 6, 5*z + 2 = -u for z.
0
Let s = 14 - -1. Solve s = 5*c - 5*l, -2*c + 0*l = 3*l - 11 for c.
4
Let z = -4 + 6. Suppose j - z*j + 2 = 0. Let d = 9 - 6. Solve 4*p + 6*r = d*r + 17, j*r = -4*p + 14 for p.
2
Let d(p) = 2*p - 2. Let r be (-2 + 10)*2 - 1. Suppose 0 = 2*o + 2, 3*o - 8*o + r = 5*x. Let n be d(x). Solve -n = -j + b, 0 = 3*j + 4*b + 3 for j.
3
Let o(l) = 3*l - 6. Let u be o(7). Let y be u/9 - 5/(-15). Solve 3*c + f = 9, -4*f + 2 + y = -4*c for c.
2
Let b = 11 + -9. Suppose 3*j + 12 = 3*y, y = -4*j + 2*y - 31. Let d = j + 13