for b.
4
Suppose -4*x - 2 = -5*x. Suppose x*h = -0*h + 2. Let p be (0/(-2))/((-1)/h). Solve p = 2*i - 4 - 4 for i.
4
Let y(c) = -c**2 + 19*c + 9. Let k be y(19). Solve 10*w = k*w - 2 for w.
-2
Suppose 3*s - 4*s = 0. Solve s = -3*w - w - 16 for w.
-4
Let q(x) = -x**3 - 5*x**2 + 6*x. Let w be q(-6). Suppose -2*p = 3*p - 3*k - 9, p - k - 3 = w. Solve -4*g - 12 = -p*g for g.
-3
Suppose -4*s - o = -6, 0 = 2*s + o - 1 - 1. Let c be 2 + (-6 + s)/2. Let k(z) = -4*z. Let h be k(-3). Solve c*y = -3*y - h for y.
-4
Let t(a) = a**3 + 7*a**2 + 5*a - 2. Let v be t(-6). Let s(o) = -2*o**3 - 2*o - 1. Let k be s(-1). Suppose -3 = 2*w - k*w. Solve -v*n + n - w = 0 for n.
-1
Let o be (-2)/3*(-27)/18. Let y = o - -3. Suppose -1 = -u + y. Solve u*s + 10 = -10 for s.
-4
Let x be 0/(-1*12/4). Suppose 5*y + 4*n - 38 = x, -5*n + n + 8 = 0. Solve y + 3 = 3*q for q.
3
Let z = -8 + 19. Let r = 21 - z. Solve 10 = 4*j - r for j.
5
Let b(y) be the third derivative of y**4/12 + 2*y**3/3 - 2*y**2. Let v be b(3). Solve -k = -3*k - v for k.
-5
Suppose 11*z = 8*z. Suppose 4*s - 5*v = -3, -5*s - 3*v - 2*v = 60. Let h = 27 + s. Solve z = -5*m - h for m.
-4
Suppose 0 = 3*w + 5*f + 11, 2*w - 23 = -3*w + 2*f. Solve 3 = -w*s + 18 for s.
5
Let n(j) = j**2 + 3*j + 4. Let r be n(-3). Suppose 5 = 5*g - 40. Suppose i + r = g. Solve i + 1 = -2*c for c.
-3
Let o(z) = 4*z**2 - z + 2. Let g be o(1). Solve -g*q - 8 = -3 for q.
-1
Let z = 3 + 1. Suppose 4*a = 5*p, p - 5*a = -3*p - 9. Solve -p*s = -z + 12 for s.
-2
Let t = -16 - -22. Let x be 5/(15/t) + -5. Let j be 2*(-3)/2*x. Solve -4*c = j + 11 for c.
-5
Let c(z) = -z**2 - 3*z - 1. Let v be c(-2). Solve -s - 2 + v = 0 for s.
-1
Suppose -2*f + 3*a = 8*a - 15, -a - 20 = 5*f. Let x = f + 9. Solve 0 = -n + x*n + 15 for n.
-5
Let l(u) = u**3 - 3*u**2 + u + 10. Let x be l(3). Solve -1 = 4*o - x for o.
3
Let a be 4/3*21/14. Solve 22 - a = -5*g for g.
-4
Let c be 2 - 5/(5/3). Let g be (-4 + 5 - c)/2. Solve -g = l + 2 for l.
-3
Suppose -l + 35 = -6*l. Let c = -3 - l. Let t(k) = k + 2. Let r be t(1). Solve r*b - c = 2*b for b.
4
Suppose 3*u = 8*m - 3*m + 42, 3*m + 28 = 2*u. Suppose 3*i + u - 38 = 0. Solve -i = -p + 3*p for p.
-4
Suppose 4*n = 3*b + 7, 10 = 5*n - 3*b - 1. Suppose 0 = -5*g + 4*u + 13, -3*u = -0*g + g - 14. Let x = 8 - g. Solve -a - x*a - n = 0 for a.
-1
Let q = 8 - 4. Suppose -q*v = -2*v - 8. Suppose 15 = v*k - k - 5*p, -5*p = 0. Solve -5 = -k*l - 0*l for l.
1
Let w = 82 + -79. Solve -4*i - 1 - w = 0 for i.
-1
Suppose 3*d = 2*d. Solve d*c + 15 = -3*c for c.
-5
Suppose -7*u - 15 = -8*u. Solve -5*c = -u - 5 for c.
4
Let d = 40 - 20. Solve 0 = 4*l + l + d for l.
-4
Let n be (-1)/(2/(-6))*1. Let u be 82*(-1 + n/2). Suppose -4*z + u = 1. Solve 0 = -5*y - z - 0 for y.
-2
Let s(t) = -t**3 - 14*t**2 - 12*t + 19. Let u be s(-13). Solve y - u*y = -20 for y.
4
Suppose m = -13 + 17. Solve 1 = m*t + 5 for t.
-1
Let o(u) = u**2 + u + 2. Let m be o(-2). Solve -3*s = -m + 16 for s.
-4
Let o = 7 + -3. Let q be (2/o)/(1/(-2)). Let j be 2 + q + (2 - -1). Solve 3*p = j + 8 for p.
4
Let a be 1*(1 - 5)*6/(-8). Solve 0 = -y - a for y.
-3
Suppose -2*m + 5 + 5 = 0. Solve 5*b - m = 10*b for b.
-1
Let h be 0/(-1 + 2 - -1). Solve h = 3*l + l + 8 for l.
-2
Let m be (1*6)/(-10 - -12). Solve -18 = 5*n - m for n.
-3
Suppose -3*r + 4*r = -2*t + 11, -3*t = -2*r - 6. Solve 7*i - t*i = 9 for i.
3
Suppose 0*r - 4*r = 36. Let k = 29 + r. Let y = -4 + 4. Solve y = c + 3*c - k for c.
5
Suppose 41 = 3*c + 5*u, -2*u - 23 = -4*c - 3. Let i be (4/(-5))/(1/(-5)). Let l = 3 + -2. Solve l = -i*g - c for g.
-2
Let o(n) = -n**2 - 5*n - 4. Let w be o(-3). Suppose -v = -b - 21, 2*b - 7*b = -w*v + 54. Let x(m) = -2*m - 7. Let t be x(-5). Solve -5*i = -v - t for i.
4
Suppose -3*b = 3*x - 6, -4*x + 6 = 4*b - x. Let q be -4 + 2 + 4 - 1. Suppose -5*s - q = -31. Solve b = 2*h - 4*h - s for h.
-3
Let x = -3 - -11. Let s = 17 - 5. Let w = s - x. Solve -w*p + p = 3 for p.
-1
Let p = 50 + -35. Let j = p + -10. Solve 2 - j = 3*q for q.
-1
Suppose 2*c = -2*c - 28. Let v = 7 + c. Solve v = s - 1 - 1 for s.
2
Let i(c) = -c**2 + c + 2. Let u be i(-4). Let m be u/(-4)*12/(-18). Let w be (m - -2)/((-1)/10). Solve -3*o + w = -8*o for o.
-2
Let c(u) = -u**3 - u**2 - u + 3. Suppose p - 2*j - 10 = 0, -p + 0*j - 10 = 3*j. Let t = -2 + p. Let l be c(t). Solve 5*k = -l - 2 for k.
-1
Let r be (2/(-3))/(2/3). Let u be r/(3 + 14/(-4)). Solve -g - 3 = u*g for g.
-1
Let t = 26 + -11. Suppose -12 = 11*b - t*b. Let r = -1 + 11. Solve b*a = 1 - r for a.
-3
Let n be 2 - 4 - 12/(-3). Suppose 3*l - 83 = -4*f, -n*l + 50 + 12 = 3*f. Solve 4*w + 0*w = f for w.
5
Let r(t) = -t**2 - t - 3. Let q be r(-3). Let z = q - -10. Solve -z = 4*v - 13 for v.
3
Let x = -3 - -30. Let a = 39 - x. Solve -2*k + a = 2 for k.
5
Let g = 4 + -2. Let u be (5 + -8)/(g/(-12)). Let m be 2/(-9) + 58/u. Solve m*h = h + 8 for h.
4
Suppose 0 = t + 8 - 11. Let l = 5 + 3. Solve -t*g = -l*g - 25 for g.
-5
Let o = 96 + -81. Solve -5 - o = -4*g for g.
5
Let o(z) = z + 12. Let p be o(-8). Solve -10 = p*v - 30 for v.
5
Suppose -3*j = -2*u - 4*j + 13, 4*j - 16 = u. Suppose 12 = 4*y - y. Solve -y = u*p - 20 for p.
4
Suppose -3*m = n - 6*m - 10, 5*m - 10 = -5*n. Let y be ((-3)/n)/(4/(-16)). Solve -4 = y*v - 16 for v.
4
Let s be (1 + 0)/(1/21). Let l be -5*(s/(-15) - 1). Let m be (l/4)/((-6)/(-20)). Solve -5*a + 25 = m for a.
3
Suppose 43*v - 47*v = 0. Solve -3*b + 5*b + 8 = v for b.
-4
Let x(i) = i**2 - 3*i - 6. Let k be x(-3). Solve -8 = 5*p + k for p.
-4
Let x be (-3)/6 - (-225)/30. Solve -x*a + 3*a = 16 for a.
-4
Suppose 0 = 7*a - 12*a - 7*a. Solve -4*p - 9 + 25 = a for p.
4
Let b be ((-6)/(-9))/(6/54). Solve -b = -0*h + 3*h for h.
-2
Suppose 0 = 3*o - 2*b - 6, -16 = -3*o - 3*b + 5. Let q be 6/o*(-6)/(-3). Let w be 7/4 + (-2)/(-8). Solve -q*g + w = -4 for g.
2
Let r(h) = h**2 + 7*h + 2. Let p be r(-9). Suppose 2*a + 2*a - p = 0, -5*a + 25 = -2*q. Solve q = 5*i - 26 + 1 for i.
5
Let t = 4 + -18. Let h = -24 - t. Let d be (-28)/h + (-3)/(-15). Solve 3 + d = 2*w for w.
3
Let s = 43 + -35. Solve -r = 3*r + s for r.
-2
Let i(r) = 3*r**2 + 4*r - 3. Let d(o) = -16*o**2 - 21*o + 16. Let a(n) = -2*d(n) - 11*i(n). Let p be a(-2). Let j = -4 - -6. Solve p - j = -w for w.
1
Suppose 0 = 5*j - 21 + 1. Suppose -6*b + 3*b = -6. Solve -j*t + b = -2*t for t.
1
Let f(u) = u**2 - 7*u - 3. Let c be f(8). Suppose 0 = -4*k + o + 24, -k = -c*k - 2*o + 12. Solve -2*b + 3 = -k for b.
4
Let n(q) = -3*q + 2. Let m be n(2). Let t = 6 + m. Let b = -383 + 383. Solve t*z + 4 = -b for z.
-2
Let m(t) = -t**3 - 6*t**2 + 7*t - 2. Let l be m(-7). Let o be l/(-7) - (-4)/(-14). Solve 2*d = -o - 2 for d.
-1
Suppose 4 = -3*g - 5. Let u be (-4)/g - (-2)/3. Suppose -5*p = v + 19, -4*v + 1 = 5*p + u. Solve -2 = -5*h + v*h for h.
-2
Let r = 0 + -8. Let x be r/44 - (-48)/22. Solve -7*m = -x*m - 25 for m.
5
Suppose f - 8 = 12. Let u be ((-18)/(-10))/(4/f). Suppose 0 = -3*w + t + u, 0 = -w - 4*t + 3 - 0. Solve -w = 3*i - 0 for i.
-1
Suppose 3*u - 2*u - 4 = 0. Solve 17 = u*w + 1 for w.
4
Let l = 14 + -14. Solve l = -5*a + 2*a for a.
0
Let u(x) = -x - 5. Let c be u(-5). Let t = 2 + c. Suppose 3*l + 13 = -t*j - 2, 2*l + 10 = 2*j. Solve -3*d + 21 - 9 = j for d.
4
Let d = 12 + -7. Solve d*f + 0*f - 25 = 0 for f.
5
Suppose -2*i = 2*i. Suppose -32 = -3*g + 5*n - 0*n, 0 = -4*g + 2*n + 24. Solve g*k - 12 = -i for k.
3
Suppose n - 3*n = -5*z - 19, 0 = -3*n - 3*z - 3. Suppose n*o = -0*u - 2*u - 8, -2*o + 5*u - 1 = 0. Let i = o + 6. Solve 2*j = 3*j + i for j.
-3
Suppose 2*j + 5 = b, 0 = 3*b + 5*j - j - 5. Suppose -7*a + b*a = -2*p - 6, 3*a + p - 7 = 0. Let i(z) = z + 8. Let l be i(-7). Solve a*h = h + l for h.
1
Suppose -73 = -5*j + 7. Solve -z = 3*z + j for z.
-4
Let z be (-352)/(-20) - 2/(-5). Suppose -5*k = -4*r - z, 0*k + 3*r - 21 = -2*k. Solve -2 = -4*b - k for b.
-1
Suppose -5*b = -g - 4*g - 35, 11 = b - 2*g. Suppose b*u + 2 = u. Let f be ((-45)/(-12))/(u/(-4)). Solve w - f = 4*w for w.
-5
Let u be ((-3)/9)/(2/(-66)). Suppose u = -3*k + 47. Let l be (-74)/(-4) - k/(-8). Solve -g + l = 4*g for g.
4
Let b be (0 - 0 - -2) + -14. Let y be (b/(-8))/(3/8). Suppose -d + 1 = -y. Solve 3*s = d + 1 for s.
2
Suppose 13 = -2*z - 9. Let f = -9 - z. Suppose -k = -5*c + 3 - 28, 2*k = -5*c - 10. Solve -k*a + f*a = 0 for a.
0