lve -5*b + f - 32 + u = 0, -4*f = 2*b - 10 for b.
-5
Suppose f = -0*f + 3. Let l(z) = -z**2 - 6*z - 3. Let h be l(-5). Let i = h + 0. Solve 4*x + f*u = 4*u - 3, 2 = -i*u for x.
-1
Let b(h) = h - 1. Let g = -11 - -17. Let c be b(g). Let f(z) = z**2 + 2*z - 1. Let j be f(-3). Solve -j*r + 10 = 0, v = -c*r + r + 17 for v.
-3
Let w = -70 + 74. Let i(u) = u**3 + u**2 + u + 4. Let l be 2/(-9) - 2/(-9). Let j be i(l). Solve w*o = -3*b + 18, -j*o + 7 = -3*b + 1 for b.
2
Let r be 18/(-4)*(-14)/21. Solve -2*l - l = 4*o + 4, -l + 16 = -r*o for l.
4
Let b be 1/(3/(-3)) - 9. Let o be ((-4)/10)/(1/b). Solve 8 = 2*a, -2*v + 7*v - 36 = -o*a for v.
4
Let a be (-22)/18 - 2/(-9). Let m be 0 + 0 + (-1 - a). Let z be m/(-2 - -2 - -1). Solve z = -5*b + o - 6, 5*o + 3 - 4 = -4*b for b.
-1
Suppose -2 = -2*a + 4. Solve 4*g - 3*d = 2 - 5, 0 = -2*g - a*d + 21 for g.
3
Let k(m) = -7*m + 37. Let c be k(5). Solve -a - 5*g = -0*a - 9, -c*g + 10 = 2*a for a.
4
Let j be 6 - 12/(-8)*2. Solve 3*y + 5*v = -0*v - j, 12 = -4*v for y.
2
Let y(l) = -l**3 + 3*l**2 + 3. Suppose q = 3, -q + 18 = 2*d + 3*q. Let g be y(d). Let k = -12 + 18. Solve -i = -k*o + o + 7, g = 3*o for i.
-2
Suppose -964 = -4*p + 2*y, 493 = 2*p + 2*y - 1. Let d be p/7 + (-10)/(-35). Let w = d - 19. Solve 4*g = -3*k - g - w, -4*g - 17 = k for k.
3
Let j be (48/(-36))/(-2*(-2)/(-6)). Solve 2*z + 4*l = -12, -3*z + j*l = -18 - 4 for z.
4
Let w = -155 + 158. Solve w*b - b = 2*g + 16, g = 2*b - 13 for g.
-3
Suppose 100 = 2*i - 48. Let n = -26 + i. Suppose 0 = y - 3*y + n. Solve -4*v = -4*w - y, 5*w + 10 = -v - 2 for w.
-3
Let p be 1/2*4*1. Suppose -o - 2*o + 5*m - 13 = 0, -6 = p*o - 2*m. Let l be -1 + 4 - (1 + o). Solve -l*a = 5*q - 5, 4*a = -3*q - 2*q + 10 for a.
5
Suppose 0 = -2*l - 3*y + 21, 2*l = 4*l - y - 9. Suppose -5*i + 5*k + 32 + 23 = 0, -4*k = -5*i + 53. Solve 11*t + i = -2*f + l*t, 5*f - 6 = -3*t for f.
3
Let r = 910 - 906. Let a(n) = n**2 - 3*n - 4. Let k be a(4). Suppose k = 2*m - 5*m. Solve 0 = 2*c + 8, m = -v + 3*c + 12 + r for v.
4
Let r be 32/(-144) + 22/18. Solve -5*s = -q + r, -s - 3*q = -2*s - 3 for s.
0
Suppose -4 = 7*v - 9*v. Suppose 7 = d + v. Solve 3*u - 6 + 0 = 0, -w = -d*u + 9 for w.
1
Let f be (-162)/(-39) + 2/(-13). Solve 0 = -0*c + 3*c - 3*q - 9, 16 = -f*q for c.
-1
Suppose -3*t + 114 = -0*t. Suppose -5*j = -3*f + 313, t + 85 = -2*j - f. Let c be j/(-5) + 4/(-10). Solve -5*o + 8*q = 3*q, -2*o - 2*q + c = 0 for o.
3
Let w(d) = d**3 - 8*d**2 - 21*d + 13. Let s be w(10). Suppose -7 + 4 = 3*o. Let v = o + s. Solve r = -v*i + 15, 3*i + i - 5 = 3*r for r.
5
Let i = 82 + -79. Solve i*b - 5*c - 15 = 0, -9 = 4*b - 4*c - 21 for b.
0
Suppose 28 = 4*x + 3*x. Solve -z - x*s + 25 = 2*z, -s = -z - 1 for z.
3
Let r = 2 - -4. Suppose 2*w - 2 = r, -3*v - 11 = -5*w. Suppose 3*u + 2*b = v, 0*u - 2*u = b - 3. Solve -5*d + 2*f + 27 = 0, 3*f + 19 = u*d - f for d.
5
Let c = -10 + 35. Solve -5*p + 4*l + 0*l - c = 0, 0 = 5*l for p.
-5
Let t = -10 - -12. Let k(g) = -g**3 + 3*g**2 - 2. Let n be k(t). Solve -2 = r, -r - 8 = n*o + 3*r for o.
0
Let k be (1 - 10)*8/(-24). Let z be -3*((-2)/k - 0). Solve z*a + 15 = -a - 2*v, 30 = -5*a - 5*v for a.
-3
Let c = 9 - 8. Let z = 1 + c. Solve -4*k - l - 2 = z, -2*l + 12 = -2*k for k.
-2
Suppose 0 = 5*x + 3*z - 17, 13 = 3*x - 2*z + z. Let j be (2/x)/(2/12). Solve -3*q - j*a - 6 = 0, 5*a = q + 13 - 5 for q.
-3
Let n(k) = -3*k + 31. Let l be n(10). Solve -3*c = 5*j - 5, 4*c + 4*j = c + l for c.
-5
Suppose 2*m - 16 = -2*r - 2, 4*r = 16. Let k(u) = -u**3 - 8*u**2 - 5*u + 14. Let q be k(-7). Solve -2*s - m*s - 15 = q, -2*t + 5*s = -21 for t.
3
Suppose 3*n + 6 = -3*w - 0, -n - 10 = 3*w. Solve 5*t + 4*s = -0*t + 32, -n*t = -5*s + 7 for t.
4
Let w be 2*(-5 - -2)/6. Let u be w/(-1) + (0 - -1). Suppose 5*l = 4*j - 8, -3*j + 0*l = u*l - 6. Solve 4*r + j*a = -a + 21, -9 = -4*r + a for r.
3
Let g be 7 - (-2 - (2 - 1)). Let q = g - 6. Solve -3*o = 2*z - 0*o + 1, -12 = -q*o for z.
-5
Let b(n) = 1. Let z(d) = 6*d + 18. Let s(t) = 9*b(t) - z(t). Let j be s(9). Let f = -43 - j. Solve 2*u - g - 2 - 3 = 0, 5*u + 5*g - f = 0 for u.
3
Let r(h) = -8*h - 9. Let t be r(-2). Solve 1 = -3*w - 2*v, -t = -5*w + 10*w - 2*v for w.
-1
Suppose l + 7 - 10 = 0. Let r(c) = -c. Let x be r(-2). Solve -5*s = l*u + x, u + 2 = -0*u - s for u.
-4
Suppose 5*i = 3*x - x - 18, 3*i + 10 = x. Solve -5*r = -x*y + 9, 0*y + 2*y - 5*r = 7 for y.
1
Let w(n) = n**3 + 9*n**2 + 8*n. Let y be w(-8). Solve l - 5*g + 3 = -0*g, -2*g = y for l.
-3
Let j(y) = -y**2 - 13*y. Let q be j(-13). Suppose 3*p + 5*w - 22 = 0, 5*p - 26 = p - 5*w. Solve 6 = 3*u + 3*a - q*a, 2*u + a - p = 0 for u.
2
Suppose 0 = -3*t + 7*t + 60. Let v = t + 17. Solve 3*n + v*w = -11 + 1, w + 3 = -n for n.
-4
Let k(g) = -g - 8. Let i(s) = 1. Let v(j) = 3*i(j) + k(j). Let a be v(-5). Let o be (1 - a) + -2 + 6. Solve -q + 4*x = -0 + o, 2*x = -q + 1 for q.
-1
Suppose -64 + 1 = -3*i. Suppose -3*x + 3*g = -3, -6*x - 4*g = -2*x - 28. Solve 4*m - i = 3*k - 2*k, x*k - 16 = -4*m for m.
5
Let g(d) be the second derivative of d**4/12 - d**3 - 2*d**2 - 3*d. Let t be g(7). Solve 4*m - 7 = -t*c, -4*m - 9 = -c + 4 for c.
5
Let v(o) = o - 2. Let w be v(7). Suppose f - 79 = -3*k - 0*f, 4*k - 137 = w*f. Solve 3*m - k = 4*j, -j + 3*j = -4*m + 8 for m.
4
Let n be (9/(-3))/(6/4). Let b = n + 4. Solve -2*v + 5 = 5*t, -t + b*v + 4 = 3*v for t.
-1
Let h be (1 + -1)/(-2 - 0). Let g be (-1)/(-1) - (0 + -2). Suppose -5*z - 1 = -11. Solve 3*l = z*p - 7, 1 + h = 2*p + g*l for p.
2
Suppose 5*f + 4*s + 119 = 26, f - 3*s = -30. Let y be (-28)/(-6) - 7/f. Solve 0 = y*r + 2*b - 18, -b = -4*r + 2*b - 4 for r.
2
Let u be (-4)/(-7)*42/12. Let n(k) = -k**2 + 6*k - 3. Let y be n(u). Solve 0 = -c - y*j + 6, 2 = 2*c - 4*c + 4*j for c.
1
Let m(i) = i**2 - 6*i - 18. Let l be m(9). Let d = -24 - -38. Solve 0 = -2*t + 4*k + d, -t + 4*k + 2 + l = 0 for t.
3
Let h(g) = -g**3 + 6*g**2 - 6*g + 6. Let i be h(5). Solve -2*q + 4 = 4*j, 0 = -2*j + j - 3*q + i for j.
1
Let j = 13 + -9. Let o = 1 + 1. Suppose -i = 3*i - 16. Solve -16 = -i*t - o*q, -t - t = -5*q + j for t.
3
Let k be 6/12*1*14. Suppose -42 = -5*t - k. Solve 4*z - 2*j = 6, z - 5*j = t - 1 for z.
1
Suppose 3*q - 37 = -q - 5*x, 4*q = 4*x - 8. Solve q*d + 5*u - 22 = 0, 4*u = u + 6 for d.
4
Suppose -4*z = 3*f - 112, -5*f - 3*z - z = -200. Suppose -f = -2*r - 2*r. Solve -5*v = -0*a - a - r, -4*v = -4*a + 4 for v.
3
Let a(w) = 2*w**3 + 2*w**2 - 2*w + 1. Let i = 1 + 0. Let k be a(i). Suppose -k*u - u = -12. Solve -u*d = 2*g - 5, 3*g + 35 - 5 = 3*d for d.
5
Suppose -6*h + 87 = -3*h. Let c = -27 + h. Solve -9 = c*r + b, -5*r - 2*b - 24 = -b for r.
-5
Suppose 0 = -0*q + 4*q. Let f = 0 + 6. Let c = f - q. Solve -j + 9 = -2*x, x + c = -0*x + 2*j for x.
-4
Let b = 4 + -9. Let s be (2 + -6 + 3)*b. Solve 3 = 2*g + 1, s*a = 2*g + 23 for a.
5
Suppose 4*b = -0*r + 3*r + 15, -b = 2*r + 10. Let n(s) = s**3 - 5*s**2 - 5*s - 2. Let x be n(6). Solve 5*h = 3*y - b*y - 12, -3*h = -5*y + x for y.
-1
Let d be (-2)/5 + (-780)/(-75). Solve 0*y - 2*t + 25 = -3*y, -t + d = -y for y.
-5
Let m = -11 + 16. Suppose -b - b = -2*h, 5*b - 25 = 0. Suppose 0 = -h*d + 10 + 5. Solve 5 = -4*k + a, 4 = d*k + m*a + 2 for k.
-1
Suppose 6*i = 5*i + 3. Let m be ((-6)/(-3) - 2)/2. Suppose 4*n - 29 = 4*f + f, m = 3*n + 2*f + 7. Solve -4*w - n = 2*p - 3, 9 = -i*p for w.
2
Let z(r) = r + 6. Let u be z(-5). Suppose 0 = -3*w + 2*i + u + 6, 4*w = i + 11. Solve 2*q = -5*j + w, 0*q = 2*q + 4*j - 2 for q.
-1
Let l = 10 - 8. Solve 5*p - 3 = -n - 0*p, l*n = 5*p - 9 for n.
-2
Let m = 23 - 32. Let i = 9 + m. Let y = i + 2. Solve 6*l = -5*h + y*l - 10, 0 = h + 2*l + 2 for h.
-2
Suppose -12 = 4*v - 4. Let r = v - -7. Let w be (-2)/1 - (-10)/r. Solve 2 + 10 = 3*n, w = -2*h - 4*n + 22 for h.
3
Let p(w) = w + 1. Let s be p(1). Solve -5*m = 4*i + 29, 3*m = -0*m + s*i - 13 for m.
-5
Let l = 10 - 9. Let d be l/(12/(-16) + 1). Solve 0 = 3*f, -2*p - 3 = -d*f + 7 for p.
-5
Let n be 1 - (4/(-1) + 1). Suppose f - 15 = -7. Solve -2*b + 0*p + 3*p + f = 0, -5*b + n*p + 6 = 0 for b.
-2
Let m(h) = -h + 3. Let j be m(-2). Solve i = j, 0 = -f + 2*i + i - 19 for f.
-4
Let f(k) = 2*k. Suppose 0 = -2*o - o. Let w be f(o). Solve -g - 1 = w, 10*g - 5*g + 1 = -y for y.
4
Suppose -5*f + 23 = 4*u, -5*u + 0 = -3*f - 1. Let a = u + 18. Solve -a 