. Solve 0 = 5*k - 5*b - 5, -y*k - 2*b + 5*b + 9 = 0 for k.
3
Suppose 2*a + 2*i - 1 - 5 = 0, 4*i = 0. Suppose 13 = 4*h - a. Solve -h*o + d + 4 = 0, 4*d + 26 - 10 = 5*o for o.
0
Let o be -1*6/((-3)/1). Suppose o*m = -2*m + 56. Solve -4*d + 2*d = -2*b + m, d + 10 = 2*b for b.
3
Suppose -17 = 2*o - 27. Solve 2*d - 1 = 3*b + 1, -o*d + 5*b + 10 = 0 for d.
4
Let o be -3*3/(-9) - 2. Let d be o/4 - 2/(-8). Let n be 5/2*8/10. Solve -n*f - 9 = -5*f, d = -m - 2*f + 7 for m.
1
Let x(f) = -6*f + f - 1 + 2*f. Let r be x(-1). Solve -r*p = -5*d + 3*p + 15, -d - 3*p + 3 = 0 for d.
3
Suppose 5*n - 4*p = -3*p + 4, 3*n = -2*p + 5. Let y(x) = 2*x + n + 2 - 3*x + 2. Let w be y(5). Solve -5*g = -w*h - h + 22, 2*h + g = -11 for h.
-3
Let h(j) = -j**3 + 6*j**2 + 2*j - 6. Let l be h(6). Let z be 20/l - (-4)/6. Suppose z*q + q = 20. Solve -4*o + q*y + 22 = -2, 0 = -5*o - 2*y + 23 for o.
5
Let v = 0 + 2. Suppose -2*l - m = 2*m - 8, -m + 8 = v*l. Let c be (7 - l)*4/6. Solve 0*i - 7 = -3*i - c*j, 0 = 4*j + 4 for i.
3
Suppose -3*x - w - 11 = -x, -x - 1 = 2*w. Let g be x/2*24/(-42). Solve -3*n = -h + 4, -5*n - g*h + 7*h = 0 for n.
-2
Let z(p) = -8*p - 13. Let u be z(-2). Solve -5*w - 15 = -3*s, 0*s + 15 = 3*s - u*w for s.
5
Let b be ((-30)/(-25))/((-2)/(-5)). Solve 3*h - 16 = 7*h + b*j, h = -4*j - 4 for h.
-4
Suppose 2*k + 2 - 6 = 0. Suppose -5*q = -k*f + 13, q + 46 = -5*f + 119. Solve 4*t + 2*c - 12 = 8, 2*t - 5*c + f = 0 for t.
3
Suppose q = 2*d + 6*q - 29, -30 = -5*d - 4*q. Suppose -d*c = c - 24. Let u be (3/(-2))/((-6)/8). Solve -7 + 4 = t + a, u*t + c = -3*a for t.
-1
Suppose 2*u = u. Suppose -m + 1 + 2 = u. Solve 2*h - m*j = h - 8, -h = 2*j + 3 for h.
-5
Let f(i) = 2*i**2. Let j be f(1). Suppose 0 = k + s - 4, -6*k + 3*s = -j*k - 16. Solve 17 = k*b + p, 3*b - 36 = 3*p - 12 for b.
5
Let a = -1 + 2. Let m be (-1 + 0 - a) + 4. Let k = 6 - m. Solve 0 = 5*h - 5*w + 3*w - 18, k*h - 12 = 4*w for h.
4
Let a be (1 - -1) + 2 - 1. Let c be 1/2*(-140)/(-14). Solve -a*y + 2*n = -5, -c*y - 2*n = -4*n - 7 for y.
1
Let f be 9/12 + 52/16. Solve -5*k + 8 = f*x - 3*x, -5*k = 4*x - 17 for x.
3
Suppose -9 = -5*j + 6. Solve -5*k + k = f - 15, -f + j = k for f.
-1
Let r = -4 + 0. Let d be (-2)/r*8 - 2. Let p be d + 0 + 0 - 0. Solve 0 = 2*w - 0*w + p*s, -3*w - 6 = -3*s for w.
-1
Let o = -131 + 135. Solve 3*q + 18 = 3*p, -5*p + o*p = -4*q - 18 for p.
2
Let d(x) = 5*x**2 - 1. Let m be d(-1). Suppose h - 4 - 4 = -m*n, 2*n - 3*h - 4 = 0. Solve 5*k = n*q + 15, -4 = -3*k + q + 4 for k.
1
Let l be 9/4 - 12/(-16). Solve 0 = 2*x + 4*j + 12, -15 = -l*x + 2*x + 5*j for x.
0
Let k be (-3)/((36/42)/(-2)). Solve 2*w = -m + 3, w - m - k = 2 for w.
4
Suppose -3*l - 4*a = l, -5*l - 2 = 3*a. Let c be (-2 - l)*1*-2. Solve 2*b + 6 = 4*r, 0 + 10 = -c*b + 5*r for b.
5
Let h(i) = 2*i**2 + 4*i - 2. Let n be h(-3). Suppose -26 = -3*q - 8. Let a = -6 - -9. Solve -2*j = n*c - q, c + 0 = a*j - 9 for c.
0
Let k = 17 + -15. Solve k*b + j - 3 = 0, -5*b + 5*j + 45 = -0*j for b.
4
Suppose 0 = 4*y + 8, 5*d + 0*y = -4*y + 12. Solve 2*m - 6*m + d*q = 24, 3*q - 17 = 2*m for m.
-1
Let a(m) = m + 4. Let o(c) = -2*c - 9. Let i(t) = -7*a(t) - 3*o(t). Let u be i(-6). Solve 5*g = -u*k - 25, 0 = 3*g - 2*k - 8 + 23 for g.
-5
Let r = -3 - -3. Suppose r = b - 2 + 4. Let f be (-7)/(-2)*2 + b. Solve -5*z - 2 = -4*w, 0 + 10 = -f*z for w.
-2
Suppose 0 = 4*f - 5*k - 12, -k + 18 = f - 6*k. Let i = 3 - f. Solve 7 = -u + 3*p, -i*p = -0*u + 2*u - 19 for u.
2
Let w(u) = 8*u - 7. Let v be w(5). Let b = 6 + -2. Suppose 2*z = 4*y + 12, z + y = -b*y + 34. Solve -r - z = -2*a, r = 3*a - v + 14 for r.
-4
Suppose -12 = 4*x - 32. Solve 0 = -0*n + 2*n - o + 15, 3*n = -x*o + 10 for n.
-5
Let g = -4 - -4. Suppose g = 2*t - 6 - 4. Solve -3*y + 4 = 4*f + y, -2*y = t*f + 7 for f.
-3
Let v(b) = b**2 - b + 5. Let w be v(0). Suppose -4*x - 4*d = 0, d - w*d = 3*x + 2. Solve -1 = -4*c - 2*i + 13, -3*c = -i + x for c.
1
Suppose 4*n - 5 - 3 = 0. Solve -1 + 3 = -3*i - 4*f, -n*i - 5*f + 1 = 0 for i.
-2
Suppose 2*u - 6 = l + l, -8 = l - 2*u. Suppose 0 = d + 2*c - 15 + l, -3*c + 26 = 2*d. Solve -t = -5*r - 4*t + d, -2*r + 4*t + 26 = 0 for r.
5
Let f(m) = -m**2 - 7*m - 5. Let l = 7 + -13. Let d be f(l). Solve -2*q = 5*n + 12, -d + 9 = -2*n for q.
4
Suppose 5*x = -0*x. Solve -p + 0*p = 2, x = 2*t + 4*p + 14 for t.
-3
Let c = -10 - -7. Let i = c - -3. Solve i = -4*w + 3*s - 3, -2 = -2*s for w.
0
Suppose -3*o = -2*o - 1, 0 = 5*f + 2*o - 17. Let s be 3 + 2/2 + -1. Let r be (4 - s) + (25 - 1). Solve 5 = -z + 2*z - f*j, 0 = -5*z + 4*j + r for z.
5
Let w = 18 - 10. Suppose -5*d = -43 + w. Solve -3*q - 3 = 0, -d*l + 3*l + 2*q - 6 = 0 for l.
-2
Suppose 0 = 6*m + 2*m - 40. Solve 3*v + 2*v = 2*r - m, 2*r = -10 for v.
-3
Suppose 2*m - 2 - 2 = 0. Suppose 2*a + m*a = 68. Solve -3*i = -2*j - a, 0 = -5*j + 4*i - 6 - 26 for j.
-4
Let g = -2 - -22. Solve 0 = y + y + 2*d - 6, 2*d = 5*y + g for y.
-2
Let h(g) = -2*g**3 - 3*g**2 - 4*g - 3. Let m be h(-2). Let y = 10 - m. Solve -5*a + 2*a - y = 2*d, -5*d + 4 = a for a.
-1
Let p be (-2)/(-10) + (-18)/(-10). Suppose -3*z + p = -4. Let d be (-1)/(((-4)/(-6))/(-2)). Solve -a + z = -o, 2*a + 3 = -d*o + 2 for o.
-1
Suppose 0 = h - 3 + 1. Let k = -1 - -4. Suppose 5*u - u + 2*t = 16, -2*u + t = -8. Solve n - h*n + 19 = -u*j, -9 = -k*n for j.
-4
Let c(q) = -2*q + 4. Let j be c(6). Let p be j/(-4)*14/4. Solve -2*i = d + i + p, 30 = 2*d - 5*i for d.
5
Let u = 7 - 4. Suppose n - u*n = 0. Solve 0 = 5*k - 5*r - 14 - 6, -3*k - r = n for k.
1
Let q(t) = t**3 - t**2 - t - 4. Let k be q(0). Let d be 2/3 - 66/(-9). Let g = k + d. Solve -x + 0*x = 4*b + 11, 0 = g*x - 5*b - 40 for x.
5
Let h = 14 - 13. Let r(c) be the first derivative of 2*c**4 - c**2/2 - 1. Let y be r(h). Solve o = -0*p + 4*p - y, -3*p + 34 = 5*o for p.
3
Suppose h - z = 12, 2*h + 2*h = -5*z + 12. Let w be (1*5)/(8/h). Solve 4*u = -p + 6, 2*u = -w*p - 0 - 6 for p.
-2
Let s = 23 - 21. Solve 3*v + 5*h = -3, -s*v - 4*h = 2*v + 4 for v.
-1
Suppose -7*n + 7 = -7. Solve 4*a - 5*p + 2*p + 4 = 0, 0 = -n*a + 4*p - 12 for a.
2
Let i(a) = a - 5. Let t be i(9). Suppose t*p - p = 5*f - 40, -p = f. Solve -2*k + f*h = 0, -2*k + 2 = -4*h - 0*h for k.
5
Let p(k) be the second derivative of -k**5/20 - k**4/12 + k**2/2 + 4*k. Let y be p(0). Let t = y - 1. Solve u + 3*x + 8 = t, 3*x + 5 = -7 for u.
4
Suppose -3*j = -6*j + 4*a + 15, 3*j = -4*a + 15. Let y = -1 - j. Let w = -1 - y. Solve -s = -2*d - 4, -d - 20 = d - w*s for d.
0
Let d(u) = u**3 + 3*u**2 - 6*u - 6. Suppose -5*j + 4*f - 20 = 0, -5*j - 3*f + 2*f = 20. Let p be d(j). Solve -k + m = 2 - 4, -5 = 5*k - p*m for k.
-3
Let i be (-2)/(-12)*4*3. Let w(k) = 4*k**2 - 2*k - 1. Let h be w(-1). Suppose -5*g + 36 = -14. Solve -3*b = 5*p - g, 0 = -i*b - h*p + 5 + 10 for b.
-5
Let g be 52/(-6) + 4/6. Let h = -2 + g. Let z be (4/(-10))/(1/h). Solve 2*l = -5*w, z*l - 30 = 3*w + 2*w for l.
5
Let x(b) = -b**3 - 2*b**2 + b - 4. Let j be x(-3). Solve -14 = p + j*n + n, -26 = 3*p + 5*n for p.
-2
Suppose 9*w = 14*w. Suppose -r - 2 = -4. Solve 0 = -j - 4*p - 4, 2 = r*j - w*j - 2*p for j.
0
Let d = -13 - -22. Suppose -3*u + d + 18 = 0. Suppose 3 = 3*m - k, -m + 3*k = m - u. Solve -3*y = -y - 8, m = 3*x - 2*y + 20 for x.
-4
Suppose 0 = 3*r + 2*r - 40. Suppose 0 = -5*a + 7 + r. Solve 2*u + 2*x - 17 + 5 = 0, a*x + 14 = 5*u for u.
4
Suppose -i - n + 25 = 4*i, n = 2*i - 3. Let v be 12/7 - 6/(-21). Suppose -i + v = -h. Solve 2*u + 15 = -0*u + 3*f, -h*u = 3*f - 15 for u.
0
Let c be 9/(-6)*(-22 + 2). Suppose 0 = -4*f - f - c. Let o = -2 - f. Solve 26 = o*l - 2*u, -l + 3*u = 2 - 21 for l.
4
Let z = 196 - 191. Solve 4*u + 25 = -0*u + z*g, -g + 5 = 3*u for u.
0
Let a be (2/7)/((-3)/(-21)). Solve 0 = -3*s + l + 13, s + 7*l + 1 = a*l for s.
4
Let f(u) = 2*u + 3. Let l be f(0). Suppose 2*t + 7 = l*t. Solve -3*k - 2*r - t = 0, -3*k + 4*r = 2*k - 25 for k.
1
Let y be ((-4)/6)/(4/(-24)). Solve z = 5*a + 20, a - y*z - 8 = 7 for a.
-5
Let u be (-6*2)/3 - -6. Solve 3 = -3*y + d, 0 = u*y - 0*d + d + 2 for y.
-1
Suppose 0*s = s - 5. Solve s = -3*f + x, 0 = -x - 0 + 2 for f.
-1
Let u = 4 + -1. Suppose m - u*m = -10. Suppose m*j - j - 16 = 0. Solve 15 = p + j*v, -3*v + v + 25 = -3*p for p.
-5
Let s(o) = 3*o**2 + 4*o + 3. Let c be s(-3). Let x = -3 + c. Solve -x = 5*b, 2*m - 11 = -3*m + 2*b for m.
1
Sup