 4*k = s*b for b.
3
Suppose 0 = -12*f + 14*f - 16. Suppose -2*d + 17 + 7 = -4*w, 5*w + 4 = -4*d. Solve 4*b + f = u, 5*b + u - 15 = -d*u for b.
-1
Let m(k) = k**2 - 12*k + 41. Let n be m(7). Solve 0*c - c + 3*r = n, 2*c + r - 2 = 0 for c.
0
Let q(c) = c**3 - 3*c**2 - 3*c. Let x be q(4). Let d(t) = t**2 - 10*t. Let i be d(13). Let y be -9*(x - i/9). Solve -3*m + y = m + o, 2*m - 3 = -o for m.
0
Let o be (-6*1)/((-18)/(-45)). Suppose r + 72 = -3*r. Let l = o - r. Solve l = 5*s - 4*s + 2*t, -4*s - t + 19 = 0 for s.
5
Suppose -2*t = -3*q - 3 - 16, 5*q + 3*t + 19 = 0. Let c be 3/q*-1 - (-289)/85. Solve -3*i + 9 = 0, -3*i + 3 = c*a - 2*a for a.
-3
Let u = 41 + -36. Solve -u*i = -5*k + 15, 5*i + 5 + 12 = 3*k for i.
-4
Let w(o) = -o**3 + o**2 + 5*o + 1. Let m be w(-2). Solve -3*g + m = 3*y, 2*g + 7 - 9 = 5*y for g.
1
Suppose -3*i = -8*i. Let t = -117 + 137. Solve 5*o - 4*d = -t, i*d = d for o.
-4
Suppose 2*q + 0*q - 6 = 0. Suppose 5*v + 48 = -37. Let j = v - -23. Solve -j*i + 3*i - q*l = 0, -2*i + 3*l = -5 for i.
1
Suppose 58*a - 57*a = 9. Suppose -5*x = -a*x + 32. Solve -3*i - 2*i = -3*j - x, 0 = -2*i + 5*j - 12 for i.
4
Let a(f) = -6*f + 43. Let w be a(6). Suppose -w*z + 5*z = 0. Solve 4*y - g + 13 = z, 3*y = -g - 0*g - 15 for y.
-4
Let s(l) be the third derivative of -l**4/24 - 3*l**3/2 + 23*l**2 - 1. Let z be s(-9). Solve -3*i - 8 = w, -3*w - 6 = 3*i - z*w for i.
-3
Let q = 2061 - 2036. Solve -2*k - 4*r - 20 = 0, -6*r + 11*r + q = -3*k for k.
0
Suppose 0 = 2*m - 4*u + 86, 0 = -2*m - 2*u + 4*u - 86. Let r = -41 - m. Solve -r*s - 21 - 5 = 4*l, 3*l + 2*s = -21 for l.
-5
Let t = -206 - -209. Solve 5*y = t*l + 29, 6*l = -4*y + 3*l + 7 for y.
4
Let h be 2*4*4/8. Suppose -3*g - h*b = -0*g + 16, 2*g + 20 = -5*b. Let t be (30/4)/((-6)/(-8)). Solve -2*j - 4 = g, -5*l + t = 2*j - 1 for l.
3
Suppose -b = 3*b - 3*i - 8, 4 = 2*b + 3*i. Let u(r) = -4*r - 10. Let w be u(-3). Solve -j = -w*j + 2*p + 12, 3*j + 4 = -b*p for j.
2
Let v be 7 + 88/11 + -5. Solve -5*p = 2*r - 2*p + 4, 5*r = -4*p - v for r.
-2
Let a = 252 + -250. Solve 7*z - 4*z = -4*x + 11, -z = a*x - 5 for z.
1
Suppose 40*g - 42 = 26*g. Solve g*r - 35 = -u - 4*u, -18 = -2*u - 2*r for u.
4
Suppose q + 2*j - 6 = 0, 3*q + 2*q - 12 = -4*j. Suppose 0*g + 2*g + 4*f = q, 3*f = -g + 2. Let v = g - -8. Solve 10 = 2*o + 4*p, o - 4*p = -v*o - 31 for o.
-3
Let k be 6*(-10 - 380/(-24)). Solve -2*s = 5*b + 30, -k = 3*s + 2*b + 3*b for s.
-5
Let a be (-3)/2 + (-81)/(-54) - -8. Solve -5*u + 3 = -4*n - 13, 4*u = 2*n + a for n.
-4
Suppose 291 = 26*b + 187. Solve 2*m - 4*p - b = 4*m, -3*m + 3*p + 3 = 0 for m.
0
Suppose -b + 2*w = -4*b + 19, 0 = -b + w - 2. Solve -2*v + 0*v + 3*x - 4 = 0, -x - 17 = b*v for v.
-5
Let v(y) = y**2 - 5*y - 11. Let r be v(5). Let x(c) = 3*c + 38. Let a be x(r). Solve 0 = i - g + a, -3*i - 7*g + 25 = -2*g for i.
0
Suppose -3*r - 2*p - 33 = -49, -5*r + p + 18 = 0. Solve r*z - 5*x + 3*x - 6 = 0, 4*z = -4*x - 12 for z.
0
Let n = -22 + 32. Let m be 760/(-19)*(-1)/8. Solve m*r = 5*u - n, 16 = 2*u + r + r for u.
5
Let q(x) = -7*x - 4. Let m be q(-5). Let a = 33 - m. Solve -4*n + 32 = -5*s, -n = -1 - a for s.
-4
Let o(l) = l - 33. Let a be o(42). Solve 2*s - 5*g + a*g = -12, 2*g = -2*s - 8 for s.
-2
Suppose -3*z = -6 + 30. Let f(j) = -2*j - 2. Let o be f(1). Let m = o - z. Solve m*b - 2*b = 2*i + 4, 0 = 2*i + b + 13 for i.
-5
Suppose -8 = -g + 5*g. Let u(s) = -10*s + 1. Let p be u(1). Let o be g/(p/(252/8)). Solve 0 = 2*f + 3*n + o, 4*f + f - n = 25 for f.
4
Let n(m) = 7*m + 4. Let j be n(4). Suppose -3*g - 4*v = j - 7, -3*g = -2*v + 1. Let a be 2*((-114)/4)/g. Solve -4*f - 3*s + 11 = 0, -4*s - a = -2*f - s for f.
5
Suppose 0 = 5*y - 12 + 2. Suppose 2*u - 5 = -13, -q + u = 0. Let v(x) = -x**3 - 5*x**2 - 5*x - 3. Let i be v(q). Solve -2*l = -c + y, -c + 3*c - i = 3*l for c.
-4
Suppose 8*d - 444 = 308. Let q = -91 + d. Solve -q*u = -4*j, 3*u + 2*j + 2*j = 0 for u.
0
Let z = 34 + -36. Let f be 2 - (-4 + (-1 - 1)/z). Solve 4*a + 36 = -5*v, 4*a - f*v = -v for a.
-4
Let k = -80 + 85. Suppose 3*x - 9 = 3*t, x - 3 = k*t - t. Solve a - 15 = 4*j - j, -2*j - 10 = -x*a for a.
0
Let f(j) = j**3 + 6*j**2 + 4*j + 10. Let p be f(-5). Let h be 5 + (4/(-5))/(6/p). Solve 2*w + 5*v - 2 = h*v, 2 = -w - 2*v for w.
4
Let p = -82 + 79. Let i = -1 - 0. Let c be (i - p)/(-1 - -2). Solve -3*o + c*s = -9, -5*o = -2*s - 10 - 9 for o.
5
Let b = -918 + 922. Solve 4*i - 4*t - 6 = -6*t, -b = -4*t for i.
1
Let n(p) be the third derivative of p**4/12 - 2*p**3/3 - 17*p**2. Let l be n(4). Solve j - l*i = 17, -i = 4*j + 2*i + 8 for j.
1
Let x(l) = l**3 - 7*l**2 + l + 35. Let v be x(6). Solve -v*f - 4*b = 2, 3*f = 6*f - 5*b - 21 for f.
2
Let h = -383 - -385. Solve 2*y - 14 = 4*p, y - h = -1 for p.
-3
Let s(v) = v**3 - 5*v**2 + 2. Let c be s(5). Suppose -b = 3*b + 4*t - 8, -c*t = -4*b + 8. Solve 0 = -b*w - 4, u - 3*u + 5*w + 2 = 0 for u.
-4
Suppose 5*l + 0*l + 10 = 0. Let i be (l + 3)/(8/(-56)). Let h be -2 - (i + (0 - -3)). Solve 5*m = 15, p - 2*m - h*m + 12 = 0 for p.
0
Suppose 6*l = 4*l. Suppose -35 = -4*n + 3*j - l*j, -5 = -2*n - j. Let d be 4*1/(-3)*-3. Solve d*x + 4 = -4*y - y, 5*y = -n*x for y.
-4
Suppose -2*q = 10, 14*t - 3*q = 12*t + 23. Solve -l = -5*w + 9*w + 12, t*w = 3*l - 28 for l.
4
Let a = 116 - 111. Solve 4*x - a*q - 8 = 5, -15 = 3*q for x.
-3
Let o be 26/4 + ((-147)/(-14))/(-7). Solve -3*l + 35 = -3*w - 2*w, -5*l = -o*w - 45 for w.
-4
Suppose -2*f = p, 2*f + p - 3*p = -12. Let o be 10/20 + (-7)/f. Solve m - 20 = c - 4*m, -16 = -3*c - o*m for c.
0
Suppose 0 = 5*s + 1 - 11. Suppose 2*u - 10 = -s. Solve -u*z + c + 1 = 0, 2*z - 3 = -0*z + c for z.
-1
Suppose -4*u + 32 = -4*z, 3 = -3*z - 12. Suppose u*o = -6, -7*r = -3*r + 4*o. Solve 3*l - 2*i + 6 = 7*l, r*l - 5*i = 33 for l.
4
Suppose 20 = 4*k, -67 + 11 = -2*u + 4*k. Let d = -19 + u. Solve -i - 3*i - 5*l = d, 3*i - 2*l - 3 = 0 for i.
-1
Suppose 83 = 16*g - 13. Solve -2*v - 2*q - g = -2, -q + 7 = 4*v for v.
3
Let a(k) = 14*k - 138. Let x be a(11). Solve 0 = 2*z - 5*q + 6, -13*z + x*z + 9 = 2*q for z.
-3
Suppose 0 = -4*j + 3*f - 5, -4*j + 2*f - 5 = -3*j. Solve 3*n - 5*q = -27, q - j = n + 2*q for n.
-4
Suppose 2*l - 5*s - 135 = 0, -4*s + 3*s = 3*l - 177. Suppose 7*o - l = o. Solve u - o = r - u, r = -4*u + 20 for r.
0
Suppose -30 - 2 = -2*x. Let t = -11 + x. Suppose 17 - 2 = 3*v. Solve -t*m + 5 = -v*z, 7*m - 8 = 4*m - 2*z for m.
2
Suppose -31*r + 38 = -24. Solve 2*w + 6 = r*a - 0, -6 = -4*w - 2*a for w.
0
Let d be -3 + (-4)/(4 + -5) + 16. Let n be 0/(7/((-14)/4)). Solve 5*x - x + 5*c + d = n, x - 5*c - 27 = 0 for x.
2
Let o = -1276 - -1276. Solve 0 = -4*k - 3*l - 8, 4*k - 8*l + 10*l + 12 = o for k.
-5
Let p = -22 - -25. Suppose -5 = -p*d + 4. Let h be d/12 - 165/(-12). Solve 5 = n + 2*x + h, 0 = n + x + 4 for n.
1
Suppose 10 = -5*b, b = 3*d + 2*b - 52. Let i be 264/d - (-1)/3. Solve -5*v - 3*w = -6*w - i, 0 = -5*v + 2*w + 15 for v.
3
Let v(s) = -s**2 - 12*s + 90. Let n be v(-17). Solve 6*u = u - 2*z + 20, -35 = -n*u - 5*z for u.
2
Suppose -4*a + 8 = -32. Let j be 48/26 + a/65. Solve -3 = -3*r + j*i - 13, -3*i = 3*r for r.
-2
Let a = -234 - -162. Let g be ((-4)/6)/(16/a). Solve w = -s - 3, g*s = -0*w + w - 5 for w.
-1
Let v = -1245 - -1248. Solve -v*h + h - 5*s = -9, -4*h + 13 = 5*s for h.
2
Suppose -3*k - 90 = 75. Let l = k + 57. Solve 3*m = m - l*g + 2, 0 = g + 2 for m.
3
Let r = -27 - -31. Suppose -2*l + 5*g - 55 = -5*l, 25 = 5*g. Let x(j) = -j + 17. Let w be x(l). Solve 0 = -3*y - 12, 0 = r*z + 2*y + 13 + w for z.
-3
Let z be -1*(-2)/(-4 - -5). Suppose -4*r - 3*k + 61 = 0, 0 = z*r + 3*k - 10 - 25. Solve h - 2*b + r = 0, 5*b = h - 0*b + 25 for h.
-5
Suppose -5*c - s + 6*s + 90 = 0, -10 = 5*s. Solve 2*w = -3*g + 6, c = 5*g - 3*w - 13 for g.
4
Suppose -4 = w - 37. Suppose 5*q = 5*y - 55, -q - w = 3*y - 82. Let b = y - 7. Solve 2*n = 2*z + 4, -4*n - z + b = -4*z for n.
2
Let p(r) = 2*r + 1. Let w be p(1). Let b(k) = -77*k + 1083. Let o be b(14). Solve 4*a + m = -15, 2*m - o = -w*m for a.
-4
Suppose -513 = -44*y + 15. Solve 2*s = k + y, 20 = s + s - 5*k for s.
5
Let m = 660 + -656. Solve -4*a - 20 = 0, m*a - 5 = 3*v - 13 for v.
-4
Let n be (-189)/(-11) - (-16)/(-88). Suppose n = 2*a - 9. Suppose -5*c + 50 = 2*k + 3*k, -2*c + k = -11. Solve -d = 5*r + c, 4 = -d + 3*r + a for d.