(13). Solve -3*b + r*b = -3 for b.
-3
Let q(b) = b + 1. Let g(c) = -c + 5. Let w be g(3). Let o be q(w). Solve -2*m = m + o for m.
-1
Suppose 2*z - 5*a = 24, -3*z + 4*a + 26 = 2*z. Suppose -z*b - 2*b + 12 = 0. Solve -2*r + b = r for r.
1
Let q be (-4)/(-6)*(-4 - -25). Let r = q + -10. Suppose -4*s = -0*s - 8. Solve r = s*y - 4 for y.
4
Suppose 0 = -5*w + 5, t + w - 3 = 4*w. Suppose 4*v - 17 = 7. Suppose q = -2*q + v, -l + 5*q - t = 0. Solve -2*i + 4*i = l for i.
2
Suppose 3*s - 5*u - 2 = -9, 3*u = 15. Let r = s + -4. Suppose -1 = r*f + i - 0*i, 0 = -5*f + 3*i + 25. Solve -f*o + 6 = -4*o for o.
-3
Let v be ((-2)/6)/((-4)/(-36)). Let z be 2/4*(-90)/v. Solve z = 2*g - 5*g for g.
-5
Let p be 16 + (-1)/(-4)*0. Let i be p/(-32) - (-1)/2. Solve -f - 2*f + 3 = i for f.
1
Let d = 17 + -8. Solve 3*c + 0 = -d for c.
-3
Let h be (-1)/(-3) - (-4)/(-12). Solve -7*n + 6*n = h for n.
0
Suppose 6*f - f = 25. Let b be (-15)/f + 2*9. Solve b = 2*k - 5*k for k.
-5
Let j = 24 - 20. Suppose w - 2*d = -w, j = 4*w - 3*d. Solve -3*v - w = -2*v for v.
-4
Let f = 18 + -17. Let y = -4 + 7. Solve n - f = y for n.
4
Let i(k) = k. Let t be i(2). Suppose -h + t*h - 3*f - 19 = 0, 0 = -5*h + 4*f + 40. Solve 8 - 24 = h*b for b.
-4
Let k(w) = w**3 - 3*w**2 + 5*w - 6. Let l be k(4). Suppose -i - 3*i = -4, -l = -5*y - 5*i. Let g = 6 + -4. Solve g*m - 3*m = y for m.
-5
Suppose -3*b - 2 = -0*k - 4*k, -4*b - 4*k - 40 = 0. Let m = b - -10. Suppose c - 3*c + 2*r = -12, -m*c - 5*r + 24 = 0. Solve -n + c = n for n.
3
Let b = -22 + 24. Solve 0*j = b*j + 8 for j.
-4
Let f = 7 + -5. Solve f*r = -2*r + 16 for r.
4
Suppose 4*a - 5*p + 36 - 101 = 0, 2*a - 28 = -2*p. Suppose 3*s + 0*s = 135. Suppose -o - o + 3 = 3*k, 5*o - s = 5*k. Solve -o*j = -j - a for j.
3
Let y = -18 - -21. Let s be 2/8 - (-1)/(-4). Suppose -2*i + u + 6 = 0, -3*i + 4*u + y + 1 = s. Solve -3*z + 5 = -i*z for z.
-5
Let s be -1*3/2*(-20)/6. Suppose 5*d - 20 = z, 4*d - d - 14 = z. Let v = 0 + d. Solve -4*o + v + s = 0 for o.
2
Suppose 11*y - 130 = -20. Solve -30 = 4*u - y for u.
-5
Suppose 15 = 3*c + 3. Solve 4*z + c = 16 for z.
3
Suppose 3*q = -0*q. Suppose 6*d - 5*n - 54 = 3*d, q = -n. Suppose -s + 3*z = -z + 7, s - d = -z. Solve 3*r + s = 1 for r.
-4
Let p = 1 + 4. Solve -p*w = -10*w + 10 for w.
2
Suppose 0 = -0*k + 2*k + 18. Let p be 3*(-2 + (-12)/k). Let f = 2 - p. Solve f*q - 3 = 13 for q.
4
Let n be (-3)/(-1) + 9 + -2. Solve 0 = 2*z + 3*z - n for z.
2
Suppose 0 = -i - i + 4. Suppose -3*x + 5*z - 45 = 0, -5*x + 6*x + 4*z - 2 = 0. Let f = -10 - x. Solve f = -i*j + j for j.
0
Let v(z) = -z**2 - 7*z + 5. Let r be v(-7). Suppose r*f + 0 = 10. Suppose -m = f*m - 9. Solve w = 4*w - m for w.
1
Suppose -15 = 3*r - 2*r - 5*s, 8 = 2*s. Suppose 2*o + 16 = 4*p - 2*o, -r*p = o + 10. Let j = 3 + p. Solve 0 = -j*n + 2 for n.
1
Let m(k) = 3*k**3 - k**2 + k - 1. Let v be m(1). Let t = 4 - v. Suppose t*r - 6*r = -8. Solve 27 = 5*n + r for n.
5
Let y = 10 + -5. Solve 0 = -m + y - 2 for m.
3
Let b(a) = -9*a - 17. Let u be b(-4). Solve 4*p = 1 + u for p.
5
Let w(d) = -d**2 - 10*d + 10. Let q = -29 + 18. Let h be w(q). Let c = h + 3. Solve c*t = -t for t.
0
Let r be -1 + 9 + -2*2. Solve -6*c + 5*c - r = 0 for c.
-4
Let r = 20 - 15. Solve -r*b + 0*b + 10 = 0 for b.
2
Suppose d = 2*y - d + 20, d = -5*y - 20. Let u = 0 + y. Let j = 6 + u. Solve a = j - 0 for a.
1
Let u be 7 + (0 - (0 - -1)). Suppose 1 + 5 = 2*m. Let x = m - -1. Solve x*i + u + 2 = 0 for i.
-2
Let f = 3 + 0. Let l(b) = -6*b. Let i be l(5). Let x be ((-3)/(-2))/((-9)/i). Solve d - x = -f for d.
2
Suppose -5*v + 9 = -6*v. Let d = -12 - v. Let h(u) = -u**3 - 3*u**2 - 3*u - 4. Let k be h(d). Solve -k*z + z = 12 for z.
-3
Suppose -3*f = f - 8. Let m = 9 + f. Let p = m - 7. Solve 0 = p*t + 7 + 9 for t.
-4
Suppose -1 = -10*c + 29. Solve 3 = c*s - 0*s for s.
1
Suppose h + 16 = -3*u, 5*h - 25 - 21 = 3*u. Let a = -3 - u. Solve -1 = a*t - 13 for t.
3
Let w(r) = r**3 - 5*r**2 - r - 22. Let c be w(6). Solve -8 - c = -4*y for y.
4
Let n(o) = -o**2 + 3*o + 3. Let l be n(3). Let u be 2/4*(-2 + 0). Let a be (-6)/(-2) - (u + l). Solve 0 = 2*k - 1 - a for k.
1
Suppose 2*q - 5 = 1. Solve -3*w + 6*w = q for w.
1
Let m be (-2 - -1)*(-36)/12. Solve -1 = c - m for c.
2
Suppose 2*j - 70 = -3*y, 2*y + 5*j + 56 = 5*y. Suppose 36 = 5*g - i, 0*i = 3*g - i - y. Solve g = -2*q + 1 for q.
-3
Let w be ((-1)/2)/(10 - (-147)/(-14)). Solve p - 3 - w = 0 for p.
4
Let w(c) = -c + 1. Suppose -3*o + 5*n = 2*n + 6, 3*o + 5*n + 14 = 0. Let t be w(o). Solve 0 = z - t*z for z.
0
Let w be (-56)/(-30) + (-18)/(-135). Solve -y + w = -1 for y.
3
Let f be -1*1 - (-8 + -18). Suppose -4*l - 19 = 3*h, -l + 4 - 3 = -5*h. Let u be 3*(-2 - l)/1. Solve o - u*o = f for o.
-5
Suppose 3*z - 4*z = 4*s - 2, 4*s - 10 = -5*z. Let u(a) = 5*a**2 + 2*a**3 - 3*a**3 - 2*a**2 + 0*a**3. Let h be u(2). Solve 3*p + h = z*p for p.
-4
Let c be (-3)/(12/(-14))*2. Suppose -3 = q - c. Suppose -9*i = -13*i + 44. Solve -i = q*k + 9 for k.
-5
Let v = 4 - -1. Let l be 2/v + 2/(-5). Solve l*w - 4 = w for w.
-4
Let u(v) be the third derivative of v**4/24 + v**3/6 - 7*v**2. Suppose 0*x + 8 = 2*x. Let h be u(x). Solve -2*g + h = -g for g.
5
Let v = -17 + 19. Solve -q = v*q for q.
0
Let k(m) = m - 2. Let u be k(5). Suppose u*b - 1 = 3*l + 2, 5*b = -4*l + 5. Solve l*y - 4 = y for y.
-4
Let r be (1/(-1))/(-1) - -3. Let b(v) be the second derivative of v**5/20 - v**4/3 + v**3/3 - 2*v**2 + v. Let h be b(r). Solve -u = h*u for u.
0
Let c = -25 + 4. Let p = 24 + c. Suppose -4*j = -4*y - 12, -10 = 5*y - 4*j + 2. Solve -v + p + y = 0 for v.
3
Suppose -12*g - 116 = -41*g. Suppose 0*k - 5*k = 0. Solve -g*x = 4 - k for x.
-1
Suppose -2*o - 14 - 18 = 0. Let c be (o/40)/((-2)/20). Solve a - c*a = 12 for a.
-4
Suppose -12 - 15 = -3*y. Solve -2*o = o + y for o.
-3
Suppose 0 = -2*n + 3 - 3. Solve 2*o = -n*o - 2 for o.
-1
Let u be (-4)/(-14) + (-14)/49. Solve u = -4*n + 1 - 13 for n.
-3
Let l(a) = -a - 3. Let c be l(-5). Suppose 3*g - c*g + i + 12 = 0, -16 = 4*g - 4*i. Let k be 2/(-6)*(-1 + g). Solve 0 = k*s - 6*s + 3 for s.
1
Let f(g) = g + 1. Let m be f(3). Let o = m + -2. Suppose -4*l + 12 = -l. Solve -o*i + l = -4*i for i.
-2
Let r(y) = 3 + 10 + 0 + y - 1. Let z be r(-12). Solve -3 = -3*k - z for k.
1
Let t(v) = -v**2 + 5*v - 1. Suppose -3*h + 2 = 2*m - 0, 2*h = 3*m - 3. Suppose 13 - m = 3*l. Let g be t(l). Solve 0 = -g*b - 2*b for b.
0
Let g = 9 - 12. Let h = 0 - -3. Let u = h + g. Solve -2*n + 3 - 1 = u for n.
1
Suppose -28 = -7*t - 0*t. Solve c - t*c = -9 for c.
3
Suppose -8 = 2*d, -4*z + 28 = 2*d - 0*d. Let y(w) = 14*w**3 - 6*w**3 + z*w + 4*w**2 - 8*w - 5*w**2. Let t be y(1). Solve t = -5*v - 17 for v.
-5
Suppose 0 = -v + 13 + 6. Suppose -2*f + v = 5*w, 0*w - 5*f - 10 = w. Solve 0 = -w*q - 7 - 3 for q.
-2
Suppose 4*h = 3*y - 0*h - 235, -2*h - 81 = -y. Suppose 4*q - 7 = y. Let j be (-2 - -5)*8/6. Solve -q = -j*l - 0*l for l.
5
Let c be 3 - (3 + 15/(-3)). Let p(s) = -s**3 + 5*s**2 - s + 7. Let x be p(c). Solve 0 = x*k - k - 3 for k.
3
Let b be ((-3)/(-9))/((-1)/(-15)). Solve 3 = b*m - 2 for m.
1
Let z be (6 - (-4 + 6))/2. Solve -z*r + 3 = -r for r.
3
Suppose -h = -u + 8, 3*h + 37 = 4*u - 2*h. Suppose -u*y = -f - 17, -4*y + 4*f = 6 - 42. Suppose 0 = w + 2*w. Solve -y*i = -w*i + 16 for i.
-4
Let o be 0 + 8 + 5/(-1). Suppose -g + 3*b - 3 - 7 = 0, -4*b = -20. Suppose 0 = -f - g*h + 1 + 7, -3*h = 5*f - 18. Solve -9 = -f*t + o for t.
4
Let o(s) = -s - 1. Let z be o(-5). Solve -z*x - x = 20 for x.
-4
Let u(j) be the first derivative of j**4/4 + 2*j**3 + 2*j**2 - 3*j - 2. Let l be u(-5). Let h be (2 + -4)*(l - 4). Solve -q = h*q for q.
0
Let f(j) = -j**3 - 4. Let w be f(-3). Suppose -2*s = -4*l - 1 + w, 4*s = 12. Solve -1 = -2*m + l for m.
4
Suppose 4 + 1 = m. Suppose m*u - 24 = -4. Let k be 6/(-2 + 14/u). Solve -3*z = -k*z for z.
0
Let n = 4 - 2. Let p(k) = 1 - 3*k + 1 + n*k. Let t be p(-2). Solve t = 4*r - 8 for r.
3
Let z(g) = 9*g - 1. Let j be z(2). Let f = j - 7. Solve 0 = -8*v + 3*v + f for v.
2
Suppose 5*t = -m + 10, t + 0*m + 19 = 4*m. Solve t + 0 = p for p.
1
Let x be 2/(-9) - 272/72. Let j(t) = -t**2 - 5*t + 1. Let v be j(x). Solve 3*b - 2*b = -v for b.
-5
Suppose 0 = c - 4*c. Let w = 2 + c. Suppose -2*t + 2*n - 4 = -3*t, 0 = -2*t - 5*n + 4. Solve -t = -w*v - v for v.