3*o + 4*o + 5 = 0, -1 = -d*g + 5*o for g.
4
Suppose 0 = -2*k + 6*k - g - 17, 3*g = -15. Suppose -2*j - k*j + 60 = 0. Let z = j + -6. Solve -3*b + z*b + 17 = -5*a, -4*b - 2*a = 4 for b.
1
Let w be ((-60)/21)/(2/(-7)). Suppose w = -6*v + 11*v. Solve 0 = -2*u + 4*c + v, -3*c = -u - 6*c - 14 for u.
-5
Let h be (-5 + (-48)/(-18))*12/(-2). Solve 2*k + 12 = -k, 2*k = 3*u - h for u.
2
Suppose -10 = u + 3*z, -5*u + 2*z = -21 - 14. Suppose -t = 5*d + u, 2*d - 15 = 3*t - 0*d. Let q = 8 + t. Solve -4*f = 3*a - 35, -5*f + 2*a - q*a + 30 = 0 for f.
5
Let y = 34 + -24. Let l = y + -8. Solve 0 = -q - 2*z - l*z - 11, -3*z = -q + 3 for q.
-3
Suppose 7 = 4*x + 3*h - 7, 3*h - 6 = 0. Let d be 7/x + 6/12. Solve 5*t - 2*j = -9 - 1, -j + 5 = -d*t for t.
0
Let l = 3 - 3. Let s = l + 3. Suppose -12 = -s*t - 0*t. Solve t*u + g = -u + 6, 3*g + 6 = -3*u for u.
2
Let a(u) = u**2 + 4*u - 3. Let s(m) = -m. Let t(y) = a(y) - 4*s(y). Let v be t(-9). Solve 4*l = w + 16, l - v*l - 4*w + 20 = 0 for l.
4
Let q be 0/1 - (0 - 5). Solve 3*g - q*t = -11, t = 5*g - 10 - 1 for g.
3
Suppose -d - d + 26 = 3*m, 4*m = 5*d + 4. Suppose 4*y - 14 = m. Let h(b) = b**2 - 16*b + 55. Let o be h(13). Solve 3*k + 5*u - y = 15, 4*k - o = -4*u for k.
0
Let g be 2/6 - 11/(-3). Suppose 6 = 2*c, g*r + c - 23 = -0*r. Solve u + q - 2*q = -7, -5*u - r*q = 5 for u.
-4
Let k be 2 - (1 + 3)/(-4). Let j(y) = y - 3. Let q be j(8). Solve v = 5 - k, 3*t - q*v = -25 for t.
-5
Let m be (0 - (-9)/(-5))*-5. Suppose -3 = u, 5*u + m = l - 10. Let f = 1 + 2. Solve -n - 3*j - 15 = l*n, -f*j + 6 = -2*n for n.
-3
Suppose -5*c = -c - 16. Suppose p - 3*p = -c. Solve -4*j + y + p = 3*y, y - 7 = j for j.
-2
Let o be 44/7 + -2 - (-8)/(-28). Solve -2*x - 3 = -3*x - 2*b, 0 = 4*x + o*b - 8 for x.
1
Suppose 0 = -4*r - 0*r. Suppose 4*u - 4 = s, -3*s - s - 16 = 3*u. Let v = 14 + s. Solve r = -5*t + v, -2*q - 4*t + 3 = -7 for q.
1
Let c be (-1 - 1) + 5 + 3. Let u(b) = b**3 - 3*b**2. Let x be u(3). Suppose -4*d + 31 = 3*z, 2*d - 23 = -3*z - x*d. Solve -z*i + 20 = -5*q, -q = -c*q + 5 for i.
5
Suppose 0 = 4*p + 12, 0*p = 5*n - 4*p - 22. Let b be (3/n)/((-1)/(-18)). Solve -b = -3*m - 12, -5*m = -y - 29 for y.
-4
Suppose -5*b = t - 33 - 10, 99 = 3*t + 5*b. Suppose 5*r + t = 88. Let j be 1 - (-3)/(9/r). Solve -w = j*n + w - 22, -2*n - 2*w = -10 for n.
4
Let m = -30 - -53. Suppose -9 = -7*d + 12. Suppose -6*n = -3*n - 12. Solve n*u = u - 4*x - m, -11 = -4*u + d*x for u.
-1
Let j(i) = i**3 + 8*i**2 - 9*i + 10. Let w be j(-9). Solve -5*r - w - 16 = 3*u, 4*u + 12 = -r for u.
-2
Suppose -9*j - 6 = -11*j. Solve -2*k + 2*l = 6*l, -j*l = k - 1 for k.
-2
Let y(w) = w - 4. Let b be y(5). Let d(l) = 5*l - 1. Let k be d(b). Suppose -k*r + 2*c = -10, -3*c + 8 + 7 = 0. Solve -j + 4 = -4*v, -3*j + 4*v = -r - 7 for j.
4
Let c be 1/(11/2 + -5). Solve 2*t = 2*p, 3*t = 3*p - c*p + 4 for p.
2
Suppose 16*k - 40 = 8*k. Solve -3*w = y - 8, k*w + y - 3 = 9 for w.
2
Let d be (-1)/((-2)/(-2 - -76)). Let f = -5 + d. Let w be (-34)/(-8) + (-3)/12. Solve 12 = -w*i + 4*m + f, -i - 4*m - 10 = 0 for i.
2
Let k(v) = v**2 - 2*v - 4. Let b be k(-4). Let x = b + -15. Solve -19 = -x*l + 2*t, l + 0*t = 4*t - 7 for l.
5
Let x be -3 + 2 + (2 - 1). Solve 5*u - 4*a + x*a - 5 = 0, a - 5 = 0 for u.
5
Let j = 9 + -6. Let k = 63 - 58. Solve j*q - k*n = 4*q - 9, 4*q - 2*n - 14 = 0 for q.
4
Let b be 4/(4/3) + -1. Let k be 1 - 0 - (-10 + 1). Suppose 0 = -3*q + 2*q + 10. Solve -5*f = g - q, g - 4*f - b = -k for g.
0
Let t(b) = -b - 1. Let m be t(-5). Suppose 0 = 3*q - p - m - 0, 5*q - 12 = 3*p. Solve k + 3*k - 5*r = q, 5*r - 45 = -5*k for k.
5
Let s(g) be the first derivative of -g**4/4 + 4*g**3/3 + g**2 - 4*g - 5. Let k be s(4). Solve -2*m - 3*m = k*p - 8, -4*m + 19 = -p for m.
4
Let n be -1*(3 - 4 - 3). Solve z + 34 = n*h + 14, 4*h = -4*z + 20 for z.
0
Let l be 0/3 - (1 - 4). Suppose -1 - l = v. Let j = v - -8. Solve -j*g = -2*n + 10, -5*n + 0 = 3*g + 14 for n.
-1
Suppose 3*c - c = -8. Let a be 2/(-4) + (-18)/c. Suppose -a*x + 9 = -x. Solve 5*g - 8 = -4*t, -2*t = -t + x*g - 2 for t.
2
Let y(h) = 5*h + 25. Let v be y(-5). Solve -2*f + v*a + a + 13 = 0, -15 = 5*a for f.
5
Suppose 0 = -x + 1 + 1. Let y = 22 + -14. Let a = 13 - y. Solve 3*w = l + x*w - 7, -a*l = -2*w - 26 for l.
4
Suppose 4 = -f + 6. Solve -p + 5*w = -0*p - 12, -4*p - 3*w = -f for p.
2
Let z(o) = -o**3 + 11*o**2 - o + 5. Let v be z(11). Let n(s) = s**2 + 6*s + 4. Let t be n(v). Solve -t*r + 3*j + 8 = 0, 3 = -2*r - j - 3 for r.
-1
Suppose -14 = 5*y + 26. Let n be ((-2)/4)/(1/y). Suppose -3 = -j + 1. Solve n*d - 2*s = 10, -7*d + 2*d + 20 = -j*s for d.
0
Let t be 6 + (-5 - 0 - -3). Solve -5 = y, -t*m + 5*y - 10 = -31 for m.
-1
Let t(c) = c**3 - 5*c**2 + 3*c + 6. Let y be t(4). Solve 0 = y*v + 2, -5*i - 3*v - 21 = -2*v for i.
-4
Let h(b) = -22*b + 3. Let i be h(-6). Suppose u + i = 6*u. Solve -s + 3 = -k - 3*s, -4*k + 5*s + u = 0 for k.
3
Let a = -6 - -11. Solve -3*s - 9 = c, a*s + 13 + 2 = 5*c for s.
-3
Suppose 4*b - 4 = -d + 10, 3*b - 3*d - 18 = 0. Solve 2*s + 4*f - 20 = 0, -9*s + 4*s + 20 = b*f for s.
0
Let v = 81 - 49. Let p be (-17)/(-4) - 8/v. Suppose 5*r - 8 = 7. Solve 0 = p*b - r*d - 2, 0*b + 6 = 5*b - 2*d for b.
2
Suppose 5*w = -2*q + 14, -q = -3*w - 4 + 19. Suppose 4*x = 16, 16 = z - 0*z + 4*x. Let y = w - z. Solve 0 = i + g - 6*g - 9, 4*g = -y*i + 12 for i.
4
Suppose 0 + 2 = m + 2*h, h = -2*m + 4. Solve -4*q + m*q - x + 15 = 0, 30 = 5*q + x for q.
5
Let y(v) = -2*v + 13. Let k be y(-9). Let b be 3/15 + (-24)/(-5). Solve -x - 4*g - 7 = 10, 2*x - b*g - k = 0 for x.
3
Let k(t) = -t**3 + t**2 + 2*t + 1. Let b be k(2). Let f = 2 - b. Let l be (-2 - -3) + 13 + f. Solve 6*s - 3*s - 3*m = l, 0 = -s - 3*m - 15 for s.
0
Let z = 31 + -28. Let m(w) = -3*w - 3. Let v be m(-6). Solve 0 = -0*h - h - 3*s - v, h - z*s = 15 for h.
0
Suppose 4*l - 4*s - 25 - 27 = 0, 0 = -3*l + 5*s + 49. Solve 0 = 4*c - 9*w + 4*w - l, 5*w = 0 for c.
2
Suppose 5*l - 3*d = -5*d + 33, 0 = -l + 4*d - 11. Solve 4*t - 4 = -l*v, -4*t - v - 3*v + 4 = 0 for t.
1
Let t(z) = -z**2 + 6*z - 6. Let y be t(4). Solve 5*v - 2*v = 2*s + 14, -y*s + v = 6 for s.
-1
Let f(n) = -n + 3. Let o be ((-4)/5)/(2/15). Let w be f(o). Suppose w = 4*k + 5*z - 9, 5*z - 8 = k. Solve -4*r + k*h + 17 = -r, -r = 3*h - 2 for r.
5
Let v be -3*(-5)/(-15) + 4. Suppose h - i + 3 = i, 0 = -2*i + 2. Let g be 5*v/(h + 4). Solve -z + 4*n = g, 10 = -z + 3*z + 2*n for z.
3
Let a = 33 - 22. Suppose -r + 1 = 0, -r = -5*f - 2*r + a. Solve 0 = -2*t - 3*v + 4*v + 6, f*v - 20 = -4*t for t.
4
Suppose 10*k - 13 = 9*k. Let q = k - 10. Let p be (-9)/12 - 3/(-4). Solve -2*t + 11 = -t - q*d, p = 4*t + 4*d - 12 for t.
5
Let z(c) = -c**3 - 2*c**2 + 6*c + 3. Let f be z(-4). Suppose b + 35 = f. Let l be (b/15)/((-2)/35). Solve 5*x - o = l, 6*o = 4*x + o - 35 for x.
5
Let n = 3 + 1. Suppose -2 = -3*w - n*l + 65, 2*l - 8 = 0. Let t(b) = 5*b**3 + b - 1. Let u be t(1). Solve 4*o + 3*s + w = 5*o, -u*s - 31 = -3*o for o.
2
Let r = 8 - 14. Let p be r*(0 - 3/9). Solve -g = p*c + 9, -3*c + 21 = -8*c - g for c.
-4
Let r(c) = 3*c - 1. Let y be r(1). Suppose 0 = -6*p + 5*p - 7. Let u(m) = m + 10. Let i be u(p). Solve -i*w - 3*t = 3, -1 = -y*w - 0*w - 5*t for w.
-2
Let d = -17 + 29. Let g = d - 7. Solve b + 0*b = o + 3, -9 = -3*b + g*o for b.
3
Let f = -23 + 28. Let n(w) be the second derivative of w**5/20 - 3*w**4/4 - w**3/6 + 13*w**2/2 + w. Let s be n(9). Solve -5*d = -f, -s*b = 4*d + d + 3 for b.
-2
Let h = 23 - 15. Solve -4*p = -3*t - 8 - h, 0 = -2*t + 5*p - 13 for t.
-4
Let a(g) be the first derivative of 3*g**2/2 - g + 3. Let c be a(1). Solve 3*o = -s, -5*o = s - c*s for o.
0
Let u(a) = -20*a**3 - a + 6. Let q(s) = -20*s**3 - s + 5. Let j(f) = 7*q(f) - 6*u(f). Let g be j(-1). Solve 5*y = 4*z - g, 3*z = -4*y - 2 - 14 for y.
-4
Suppose -2*p + 2*g - 8 = 0, p - 7 = -p - g. Let u = 4 + -6. Let i be (4 + p)/1 + u. Solve v = i*v + 3*j - 11, 3*v + j = -1 for v.
-2
Let z(q) = q**3 - 6*q**2 - 8*q + 8. Let k be z(7). Let t be (k + 10/4)*-2. Let o = t - -11. Solve -2*s = 4*v + 5 - 1, 3*s = -o*v for s.
4
Let y = -9 - -11. Solve h - 12 = -h + 2*d, 0 = 3*h + d - y for h.
2
Suppose 5*v - 18 = 7. Suppose 3*y = v*l - 7 - 6, -5*l + 9 = -4*y. Solve -k + 2 = h - 4, 0 = -k + y*h + 1 for k.
5
Let l be (-1)/(-3)*21 - 2. Solve 3*j + 8 = 4*s, 4*