5. Solve 0 = -2*b + k + 3 for b.
3
Suppose 0 = 9*y - 22*y. Solve 5*u + 6 + 14 = y for u.
-4
Let j be -17 + 2 + 4 + -1. Let n be -1*(-4 + j/(-4)). Solve -5*d - n = 4 for d.
-1
Let t(k) = k**3 + 16*k**2 + 14*k - 21. Let o be t(-15). Let q be (o - -1)*6/(-5). Solve 2*d = -d + q for d.
2
Suppose -1 = -2*x + 3. Solve 0*a + 4 = -x*a for a.
-2
Suppose 0 = -4*x + 5 + 3. Let u(n) = n**3 + 5*n**2 - 7*n - 1. Let l be u(-6). Solve l - 3 = -x*m for m.
-1
Suppose 41 = 3*x - 1. Suppose -x*j + 32 = -10*j. Solve -j = -4*i + 12 for i.
5
Let r be -1*((-6)/2 + 2). Suppose 0 = -2*a + 9 + r. Suppose a = 2*p - p. Solve -9 - 6 = -p*n for n.
3
Let u be ((-8)/20 - -1)*-5 - -8. Solve u*l = -4 - 11 for l.
-3
Let o(u) = -u**3 - 6*u**2 - 6*u - 1. Let y(d) = 2*d**3 + 4*d**2 + 4*d + 3. Let r be y(-2). Let w be o(r). Solve -7 - 9 = w*p for p.
-4
Suppose -2*m = m - 9. Let u be (7/(-14))/(1/26). Let r = 13 + u. Solve -m*l - l = r for l.
0
Suppose 16 + 4 = 4*c, c + 27 = 4*a. Solve n + 3*n = a for n.
2
Let x be (3 - 0)/((-12)/8). Let w = 5 + x. Suppose 3*o = v - 3, -2*v - 3*o - 3 = w*v. Solve -3*m - 7 + 22 = v for m.
5
Let y(z) = -3*z + 5. Let k(v) = v**3 + 3*v**2 - 6*v - 4. Let d be k(-4). Let u be y(d). Let q = 12 + u. Solve q*h = -0*h - 10 for h.
-2
Let g be (2 - 31/(-2)) + (-11)/(-22). Solve -5*b = g + 2 for b.
-4
Suppose -3*j = 3*f - 27, 2*j - 5*f = 5*j - 37. Suppose 5*q - 2 = -4*i, 4*i = 3*q + 5*i - j. Solve q*t - 1 = t for t.
1
Let d(l) = -l**3 + 2*l**3 + 3*l**2 + 0*l**3 + 1. Let s be d(-3). Solve -s = -3*f - 7 for f.
-2
Suppose 10 = -5*z + 25. Suppose -z*m + 2*h = 7, 0*m - h + 2 = -3*m. Solve 4*q = 13 - m for q.
3
Let v = -10 + 25. Solve -u - 4*u = -v for u.
3
Let z(v) = 2*v**2 + 10*v - 7. Let l be z(-6). Solve -l*y = -0 - 25 for y.
5
Let g = 35 - 33. Solve 2 = 4*b - g for b.
1
Suppose -k + 12 = 3*k. Solve k*y = -2*y for y.
0
Let y be -2 + 3 + 3 + -4. Solve -8 = 4*p - y for p.
-2
Let k = -21 - -24. Let x(b) = b**2 + b. Let p be x(-4). Solve -z - k*z = p for z.
-3
Suppose 0*t = 4*t. Suppose t = 4*w - w - 9. Let s = w - 1. Solve 7*x - s*x + 5 = 0 for x.
-1
Let f be (19/1)/(1/4). Suppose f - 16 = 4*i. Solve x = 6*x + i for x.
-3
Suppose 5 = -7*q + 19. Let v be -2 + 14/q*1. Solve -v = -i - 0 for i.
5
Let o be (-2)/4 + 33/6. Let h = -3 + 7. Let a(d) = d**2 - 2*d - 2. Let y be a(h). Solve o*n - y = -1 for n.
1
Let r = 1 + 3. Let w = -1 + r. Solve 0*p - w*p = 15 for p.
-5
Suppose -3*u = -n - 5 - 2, 5*n = 2*u - 22. Let k = 5 - u. Solve j = -j + k for j.
2
Suppose 0 = -3*s + 10 + 2. Suppose -3*m - s*d + 2*d = 1, -2*d - 10 = 0. Solve -m*t + 6 = -5*t for t.
-3
Let v(w) = w**3 - 5*w**2 + 6*w - 5. Let n be v(4). Solve 3*g - n = 12 for g.
5
Suppose 5*g = g - 2*t + 52, 5*g = -3*t + 67. Solve 5*w + 4 = -g for w.
-3
Suppose 5 = -5*s, -2*v = s - 8 - 3. Let z(u) = u**3 + u - 1. Let r(c) = -6*c**2 - 6. Let l(x) = -r(x) - z(x). Let n be l(v). Solve q - n = 2 for q.
3
Let g(w) = -w**2 - 1. Let o(x) = x**3 - 8*x**2 - 4*x - 1. Let q(y) = -4*g(y) + o(y). Let h be q(5). Solve 0*j - h = 2*j for j.
-4
Let s = 3 - -4. Let g = s + 10. Solve g = -5*f - 3 for f.
-4
Let k(s) = s**2 - 7*s + 10. Let u = -7 + 12. Let i be k(u). Let l(a) = a**3 + 2*a**2 - a. Let p be l(1). Solve p*j + i*j = 0 for j.
0
Suppose -3*a = -4*j - 20, j = -a - 3*a + 14. Let c = 4 - 4. Solve c + 4 = a*l for l.
1
Let w(j) = j + 18. Let r be w(-12). Solve 0 = 3*a - r*a + 3 for a.
1
Let d(p) = p**2 - 6*p + 0*p - 1 + 6*p. Let c(i) = i - 1. Let q be c(3). Let g be d(q). Solve r - 2*r = -g for r.
3
Suppose 0 = 3*m + 3*r, -6*m + 2*r = -2*m - 24. Let z = 29 + -19. Solve -m*y + 30 = z for y.
5
Let u be ((-4)/3)/((-4)/42). Let o = 21 - u. Solve 4*z - 5 = o for z.
3
Suppose -5*u + 52 = 3*i, -2*i + 4 = -4. Suppose 2*z = -0*z - u. Let f = z + 6. Solve 4*q - 3*q = f for q.
2
Suppose 0 = -2*k + 3*k + 2*k. Solve k = -g + 2*g + 1 for g.
-1
Suppose 0 = 2*z - 1 - 1. Let p be z/(-2) - (-34)/4. Solve -3*t = -t + p for t.
-4
Let u(v) be the third derivative of -v**6/120 - v**5/60 - v**4/24 - v**3/6 + 3*v**2. Let o be u(-1). Solve 5*x + 10 + 0 = o for x.
-2
Let y(x) = -x - 3. Let r be y(0). Let b be (r/2)/(2/(-4)). Suppose -2 = -q + b. Solve 0 + q = -p for p.
-5
Let s(q) = 4*q - 1. Let b(n) = -2*n + 1. Let p(c) = -9*b(c) - 4*s(c). Let a be p(5). Solve 0 = -4*z - a - 7 for z.
-3
Suppose -x - 5 = 0, -x + 0*x - 13 = -2*k. Suppose 4*h - 16 = -2*y + y, -k*h = -y - 16. Solve -b - 1 + 2 = y for b.
1
Let s be 1 - (0 + 4/4). Solve -3*u + s*u = 0 for u.
0
Let s be ((-4)/12)/(2/(-12)). Let d be 1/s*2/1. Let f be (3 - 3) + d*4. Solve -f = -w + 2*w for w.
-4
Let s = 11 + -8. Let b(r) = 2*r**3 - 3*r - 3*r**s - 5 - 3*r - 5*r**2. Let j be b(-4). Solve -j*l = -2*l - 2 for l.
2
Let y(p) = p + 22. Let n be y(-17). Solve n = 4*g - 7 for g.
3
Suppose 0*c = 5*c - 30. Let o be (c*-1 + 4)*-1. Let a(h) = h**3 - h**2 - h + 6. Let q be a(0). Solve -o = -4*s - q for s.
-1
Let q = -25 + 15. Let n be (-8 - q)*(-10)/(-4). Solve -t + n - 6 = 0 for t.
-1
Let b(g) = -g**2 - 5*g + 2. Let f be b(-2). Solve -f = 2*i + 2*i for i.
-2
Suppose 5*f = 2*f + 9. Solve 0 = f*k + k - 4 for k.
1
Suppose 2*w + 2*w - 12 = 0. Suppose 0*q - 38 = -5*r + 2*q, 0 = -2*r + w*q + 13. Solve 0 = 2*p - 6*p + r for p.
2
Suppose 3*b + 2*b - 12 = -3*u, 18 = 5*b - 3*u. Let l be (-12)/(-8)*8/(-6). Let d = l - -4. Solve d*s + b = 13 for s.
5
Suppose -10 = -4*g + 6. Solve -g*t + t = -3 for t.
1
Let u(z) = z**3 + 11*z**2 + 10*z + 9. Let d be u(-10). Solve -d = -0*n - 3*n for n.
3
Suppose u - 8 = 2*f, 0*f + 2*f = 0. Suppose 25 = 4*m - 5*c, -u = 5*m + 4*c + 12. Solve 4*s + m - 16 = 0 for s.
4
Suppose 3*a + 2 = -2*b - 3, -10 = 2*b + 4*a. Suppose 26 = -b*j + 101. Solve 2*t + j = -t for t.
-5
Suppose 4*l - 1 = -x + 6*x, 0 = 3*l + 4*x - 24. Suppose -4*k - 5*w = k + 15, 4*w + 28 = l*k. Solve o = -k*o - 15 for o.
-5
Suppose 0 = 5*b - 10 - 35. Suppose -6*g = -3*g. Solve g*q - 3*q = b for q.
-3
Suppose -p - 3*o = -8*o - 5, 0 = -2*p - 5*o - 5. Solve a = -5 - p for a.
-5
Suppose l - y + 2 = 0, 14*y = -3*l + 16*y - 4. Solve 3*b + 0*b - 9 = l for b.
3
Suppose 3*r = 3*z + 2*z - 34, r + 3*z - 12 = 0. Let i = r + 4. Solve b - i = -0*b for b.
1
Suppose -5*i - 15 = -15. Solve i - 4 = g for g.
-4
Suppose j - 40 = -4*j. Suppose 0*v - 3*v - 4*r + 65 = 0, 2*v - 2*r - 20 = 0. Suppose v = 5*p - 2*p. Solve p*m - j = 12 for m.
4
Let i(r) = -r**2 - 5*r + 3. Let h be i(-5). Suppose 4*p = -5*z + 16, 5*z - 12 = z - h*p. Solve u + z = -5 for u.
-5
Let n be (1 + 0)/(6/30). Suppose 0*d + d = n. Solve -3*l - 2*l = -d for l.
1
Let d be 0/2*(-15)/(-45). Solve d = -x + 4*x for x.
0
Let l(b) = -b - 1. Let f be l(-7). Let z be f/3*-1 - -2. Solve 0 = v - z + 1 for v.
-1
Suppose 0 = -a + 3*a + 4. Let t be (1/(-2))/(a/(-4)). Let m be (-3)/1*1*t. Solve 2*f + 10 = -m*f for f.
-2
Let g be -1 + ((-3)/4)/(1/(-8)). Solve 0 = -3*p + 4 + g for p.
3
Let f(w) = -2*w - 13. Let d be f(-9). Suppose 2*z - 5 - 1 = 0. Suppose l - 20 = d*l, z*l = 5*n - 40. Solve 0*x - 20 = n*x for x.
-4
Let n be -2*1/(-1 - 1). Solve 2 = -u + n for u.
-1
Let m(b) = b + 1. Let y(u) = u**2 + u - 1. Let f(w) = -2*m(w) - y(w). Let v be f(-2). Let l be (0/4)/(-1 - v). Solve l = 3*x - 8*x - 10 for x.
-2
Let u be (-8)/12 + (-64)/(-6). Solve -3*f - 5 = u for f.
-5
Let f = -35 + 36. Solve -p + f = -1 for p.
2
Suppose 3*z + 4 = 4*u, -4*z + 4 = -2*z + 4*u. Let r be (-3 - -7)*5/4. Let x = 6 - r. Solve -i = -z + x for i.
-1
Let q = 92 + -89. Solve q*a + 9 = -3 for a.
-4
Let u be 24/56 - 120/(-14). Solve -10*d = -u*d + 4 for d.
-4
Suppose -4*c = 3*v + 8, c + 1 = -v - 1. Let d be (c + 4 - -6) + -4. Let a = 6 + -4. Solve -d*o + a*o = 10 for o.
-5
Suppose -40 = -t - t. Solve 5*i - 5 = -t for i.
-3
Let x be (-14)/(-21)*((-15)/(-2))/5. Solve 4*c - x = 11 for c.
3
Let w(l) = 2*l**3 + 4*l**2 - 6*l + 2*l**2 + 8 - l**3. Let u be w(-7). Let p(i) = 2*i**2 + i. Let m be p(u). Solve -m*c + 0 = -12 for c.
4
Let y(t) = t**2 - t. Let o be y(2). Let w be (-1 - 0)/(1 - 2). Let v = w - 1. Solve v = -0*h - o*h + 4 for h.
2
Suppose 6*i - 6 = 4*i - 2*b, -3*i = 2*b - 14. Solve -2 = 3*w - i for w.
2
Suppose -3*i + 12 = 0, 2 = -4*c + 3*i + 54. Solve -2*r + c = 2*r for r.
4
Suppose 2*w = 5*w - 168. Suppose -w = -0*h - 4*h. Solve -h = 4*d + 6 for d.
-5
Let v be ((-6)/(-4))/((-3)/(-20)). Suppose 0 = n + 3*i - 9, -i + 3 = -0*n + 3*n. Sol