6 for b.
5
Suppose -5 = -5*l + 3*y, -2*l - y + 1 = -3*l. Let c be 6/l + 117/18. Solve -4*h + 16 = -3*d + c*d, 12 = 4*d + 4*h for d.
4
Suppose 4 = -l + 4*n - 1, 5*l + 4*n = -1. Let w = 3 - l. Solve -3*h + 2*h - 1 = -3*v, -v = -4*h - w for v.
0
Let a be 2/(-6) - (-7)/3. Suppose 7 = 4*u - 5. Solve -a*h + 22 = -4*m, u*m + 2*m + 4*h = 5 for m.
-3
Suppose -5*m - 5*b + 70 = 0, 24 = 2*m - 3*b + 4*b. Let j(u) = -u**2 + 9*u + 13. Let q be j(m). Let c = 9 + -5. Solve -q*x = d - 1, 0 = -c*d + 4 for x.
0
Suppose -f - 3*z + 2 = -2, 0 = -2*z. Let w be 16*2*(-3)/4. Let s = w - -26. Solve -2 = s*u + f*v, v + 1 = -u - 2 for u.
-5
Let h be (-4)/(-20) - (-436)/20. Solve 8 = -3*o - 5*n - 5, 3*o = 2*n + h for o.
4
Let j = 93 - 90. Solve 3*a + j*z - 15 = 0, -5*z + 16 = -7*a + 3*a for a.
1
Let a(h) = -h**3 + h**2 - h - 1. Let p be a(-1). Suppose -p*b + 5*b = 6. Solve 0 = -4*l, u + b*l = -l - 5 for u.
-5
Suppose 4 = -2*k - 2*g, 7 = -0*k - k - 2*g. Solve w = c - 3, 5 = -k*w - 2*c + 4*c for w.
1
Let b = 2 + -5. Let o be (-4)/(-2) - 3/b. Suppose 5*a - 12 - o = 0. Solve s + 5*q + 20 = -4*s, a*s + q + 4 = 0 for s.
0
Suppose -6*t + 18 = -3*t. Let z = t + -4. Suppose -2*w + p = -5, -3*p - 11 + 5 = -3*w. Solve z*k - 10 = q + w*q, 4*q + 30 = -2*k for q.
-5
Suppose z = 2*a + 5*z, a - z + 3 = 0. Let x(v) = -v**3 - 3*v**2 - 3*v - 2. Let b be x(a). Let y = 1 - -11. Solve t = 5*p - 1 - 3, -3*t - 4*p - y = b for t.
-4
Suppose -2 = -w + 1. Suppose 0 = i + w*i - 120. Solve 2*n + 5*b = -0*n - 5, i = 3*n - 5*b for n.
5
Suppose 0*b - 3*b + 9 = 0. Let p(v) = v**2 + 2*v - 1. Let d be p(-3). Solve -g = 4*c - b - 4, 0 = -c - d*g for c.
2
Let u(q) be the second derivative of -q**5/20 + 2*q**4/3 - q**3/3 - 4*q**2 - 2*q. Let r be u(7). Solve -b - w = w - 10, 0 = -3*b - 5*w + r for b.
4
Suppose -4*w = 2*l - 30, w + 28 = 3*l - 24. Solve -l = 4*u + j - 6, -2*j = 4*u + 14 for u.
-2
Let k be 7 + ((-19)/7 - (-10)/(-35)). Solve k*p + 8 = -a - 3*a, -5*p - 2*a = -2 for p.
2
Let m = -24 - -35. Solve 3*y - m = -u + 5*y, 0 = 3*u - 4*y - 23 for u.
1
Suppose 0 = -4*s + 5 + 11. Solve -14 = 5*b - m, -2*m = -2*b + 4*b - s for b.
-2
Let p(q) = -q + 13. Let m = -2 + 8. Let g be p(m). Let d be 0/((-1)/(1/2)). Solve -2*a - 2*z - z - g = d, 29 = a - 5*z for a.
4
Let v = -127 + 134. Solve 9*a - 4*a + 3*f = -10, v = 2*a - f for a.
1
Let o = 4 + 1. Suppose -o = -4*y + 3*y. Solve 8 = -2*f, -2*z - y*f - 14 = z for z.
2
Suppose -6*u + 5*u + 4 = 0. Suppose u*n + 9 - 53 = 0. Solve 0 = -y - 3*h + n, y + 3*h - h - 8 = 0 for y.
2
Let t be (-1 + -4)*(-3)/5. Solve 0 = 3*l + 2*v - 21, -2*v + v = t*l - 18 for l.
5
Suppose 2*k + 5*v = 57, -2*k + v + 66 = -3*v. Solve -l + 2*g - 5 - 4 = 0, -3*g + k = -5*l for l.
-5
Suppose 4*t = 26 - 6. Solve 2*m - 2 = -t*u - 4, 0 = u + 2 for m.
4
Let d = 72 - 70. Solve 4*x = -5*l - d, 5*l = 5*x - 0*x - 20 for l.
-2
Let c(l) = 6*l + 0*l + 1 - l**2 + 3 + 0. Let y be c(6). Solve j - 14 = -4*j - 2*x, -3*x + 14 = y*j for j.
2
Suppose -n = -5*v + 38, -v = 4*v + n - 32. Solve 2*r + 5 = 5*z, v*r - 2*r + 3*z = 34 for r.
5
Let j(k) = k**3 - 10*k**2 + k - 5. Let r be j(10). Suppose 3 = -4*h - r*s, 5*s + 17 = 4*h - 10. Solve 2*b = -5*x - 2, -h*x - 2*x = -4*b - 4 for b.
-1
Let m = 36 - 33. Solve 0 = -3*u - m, x - u + 3*u = 1 for x.
3
Let s(o) = o**3 - 3*o**2 + 2*o - 3. Let r be s(3). Let p be (r/2)/((-3)/(-10)). Solve 5*h - 3*x - 3 = 0, x - p*x = 4*h + 4 for h.
0
Suppose -2*i = i + 3*m - 27, -5*m = -5*i - 5. Solve -i = -4*g - j, 2*g - 5 = -3*g + 2*j for g.
1
Let b = -1 - -4. Suppose -4*c + 13 = -b. Let r be (-20)/(-8)*(c - 2). Solve -r*w = 4*h - 22, 0 = 2*h - 3 - 3 for w.
2
Let n = 56 - 53. Solve -n*j - 13 = -2*y, y = -2*y - 5*j - 9 for y.
2
Let q be (-90)/54*(-9)/5. Solve -u + 4*u - q*h = 0, 5*u + 5*h = 30 for u.
3
Suppose -u + 6 = u. Solve 0 = 3*b + 2*m - 3 - 11, u*b = -m + 13 for b.
4
Suppose -2*m - 3*m = 3*l - 42, 4*l - 24 = 4*m. Solve -p = 2*c + 1, -3*p = 3*c + l - 3 for p.
-3
Suppose -l + 2 = -7. Suppose 3 + l = 4*g. Suppose -g*z - 2 + 17 = 0. Solve -3*d = -4*j - 15, 0*j - z*d = -4*j - 25 for j.
0
Let f = 203 + -200. Solve f*j - 5*x = -7, 7*x = 2*x - 5 for j.
-4
Let m be (-9)/3 + -1*28/(-4). Solve 4 = m*w - 4*q, -4*w - 7 = -w - q for w.
-4
Let x(z) = 1 + 1 - z - 3 - 4. Let b be x(-6). Solve n - 2*n = d - b, -n = 3 for d.
4
Suppose w - 2*w = 1. Let x be (w/(-3))/((-2)/(-12)). Let t = x + 3. Solve 2*l - 5*r = -t, 5*l = -2*r + 5*r - 3 for l.
0
Suppose -4*c = 10 - 30. Solve -r = 2*d - 3, -d - 6*r = -c*r for d.
3
Let t = 2 + 0. Suppose -6*j = -t*j. Solve 3*h = -4*r - 13, 2*h + 5*r + 11 = -j*h for h.
-3
Suppose 6*f = 3*f + 12. Suppose 6*c = -3*g + 3*c, -3*g + c + 16 = 0. Let v = -4 + g. Solve 2*s + x = -4*x - 11, v = f*s - 5*x + 7 for s.
-3
Let f = 48 + -43. Solve 0 = f*y - 2*h + 14, 0 = -2*y + 5*h - h + 4 for y.
-4
Suppose -5*b - 14 = -24. Solve -3*f - 4*c = 6, -c = b*f - 2*c - 7 for f.
2
Let d be 8*1*3/6. Suppose -p = -d*p, 5*r - p - 75 = 0. Solve 2*j + 27 + 8 = -5*t, j - r = 4*t for j.
-5
Let d be (20/(-16) - -3)*-8. Let l = 16 + d. Let p = 29 + -17. Solve -10 = a - l*y, -2*a + y = p - 1 for a.
-4
Suppose 0 = 2*u + 3*u - 30. Let r = 8 - u. Solve a = -4*s - 5, 25 = -4*s - r*a - 3*a for s.
0
Suppose j + 2*j - 4*p = -12, -3 = -p. Solve 5*x + 32 = 3*m, m - 12 = -j*x + 2*x for m.
4
Suppose 0 = 3*x, -i = i - 5*x. Let c(f) = -2*f - 3. Let y be c(-4). Solve i*j - 3*j - b = y, -2*b - 4 = 0 for j.
-1
Suppose -6*h + 14*h - 24 = 0. Solve 0 = 4*f + 4*v, 0 = -f + h*f + 4*v - 6 for f.
-3
Let v(o) = 3*o - 6 + 4 + 0*o - 4*o. Let z be v(-4). Solve -1 = -z*w - a, 4*w + 0*a - 3*a + 3 = 0 for w.
0
Let i(y) = y**3 + 4*y**2 - 6*y + 3. Let m(b) = -3*b + 13. Let f be m(6). Let h be i(f). Let o = -2 + 6. Solve 4*p = -a - 14, 0 = p - 4*a + h + o for p.
-4
Let p = -17 + 19. Solve -r - 11 = -p*l - 3, 12 = -5*r - 4*l for r.
-4
Let l = 6 + -4. Let u be l + (-1 - 3/(-3)). Solve 31 = 2*p + 5*y, u*y - 2 - 5 = p for p.
3
Let i = -5 + 7. Let d = i - -9. Solve -m = -3*m - 3*x - d, -x - 5 = m for m.
-4
Let m(v) = -30*v**2 + v - 1. Let c be m(1). Let z be (24/c)/(1/(-15)). Suppose 2*y - 6*y = -z. Solve a = -4*i - 2, 0 = -a + 3*a + y*i - 1 for a.
2
Suppose -6*c - 15 = -7*c. Solve -2*s = s + c, s = -5*m + 15 for m.
4
Suppose 4*t = -a + 5, 2*a + 2*t = a + 3. Suppose w = a + 1. Suppose -q - 2*n + 2 = -0*n, -w = -q + 4*n. Solve q*j + 14 = -s + 3, -3*s - 13 = 2*j for s.
-1
Suppose 5*x + 0*p = 3*p - 9, 0 = -3*x - 4*p + 12. Solve 5*s = -3*l - 20, 4*l + x*s = s - 19 for l.
-5
Let p = 9 - 7. Let v be 0*(p + 5/(-2)). Solve 2*a + 1 = f + a, v = -3*f + a - 5 for f.
-3
Let p = 10 - 8. Suppose p*f + 10 = 4*q, -3*f = -q - 2 - 8. Solve 14 = -5*c - 3*x, -f*c - 3*x - 20 = 2*x for c.
-1
Suppose 3*x = -d + 17, -2*x + 3*x - 3*d = -11. Solve -x*s + v - 3*v = -10, -4*s = 3*v - 5 for s.
5
Suppose 17 - 1 = 4*v. Let h be (-3)/6*v*-1. Solve -h*y + 2*f - 6 = -2*f, 0 = f - 1 for y.
-1
Let c = -13 + 32. Solve -4*x - d = 17, -4*x + 2*d + c = -7*x for x.
-3
Suppose -5*d + 19 = -m, -2*d + 3*d = -m + 11. Suppose -c - 125 = -m*c. Solve -c = 3*q + i - 6*i, 5 = q + i for q.
0
Suppose -3*d - 12 - 6 = 0. Let s = d + 10. Solve -3*w = 4*o + 4, -3*o - w + s = 3*w for o.
-4
Let y(j) = j. Let x be y(0). Suppose 4*a + 22 = 5*n, -3*n + a + 9 = -x*a. Solve n*r - 6*r = -5*s - 20, -5*r + 20 = -5*s for r.
0
Let p(x) = x + 4. Let y be p(-4). Solve 3*u - 5*u = -3*r - 8, -r - 3*u + 1 = y for r.
-2
Suppose 2*r = -2*r - 8. Suppose b - 3*u - 1 = 0, 3*b - b - 14 = 3*u. Let x = b - r. Solve -3*a = -4*v + x, -2*a - a - 5*v = -12 for a.
-1
Suppose 7*o = 2*o. Suppose 0 = -5*m - h - 0*h - 6, o = 2*m - 2*h. Let k be (m - (-1 - 3)) + 0. Solve k*p - 8*p - 8 = -3*t, -4 = -3*t + 4*p for t.
-4
Suppose 0 = -4*p + 3*g + 86, -2*p - 15 = -3*p + 4*g. Let n = -53 - -132. Suppose -5*z + n = 19. Solve -5*l = f - p, 5*l - z = f + 5 for l.
4
Suppose w - 1 = -2*n, 2*w - 3*w - 4*n - 5 = 0. Solve 5*c + i = w + 16, 5*c - 11 = 3*i for c.
4
Suppose 2*t + 4 = -2*t. Let m be t*3*(-1 + 0). Suppose m*y + y = 0. Solve y = -3*g + 4*d - 11, -2*d - 4 = 2*g + 8 for g.
-5
Suppose -5*d - 10 = 3*x, 5*d + 16 = -9. Solve 0 = x*c - 3*r - 9, -r = 3*c - 11 for c.
3
Let f(o) = o + 7. Let p be f(-4). Suppose p*u + l - 3 = 0, 3*l - 2*l = 0. Let y be -2 - 2*(-1)/u. Solve -v - 5 = g, y = -2*g + 5*g - v - 1 for g.
-1
Let v be ((-28)/(-6))/(12/(-18)