 for b.
-3
Suppose d - 2*d + 3 = 0. Let g(p) = -p + 12. Let f be g(12). Solve 3*m + 0 + d = f for m.
-1
Let l(m) = -4*m**3 + 2*m + 3*m**3 + m**2 + 3*m**2. Let b be l(4). Suppose 0 = k - 5*u + 12, -4*u + b = -2*k + 2. Solve 3*c + k = -0*c for c.
-1
Suppose 2*g - 4 - 1 = -l, -20 = -3*l - 5*g. Suppose -6*x + 11*x = l. Solve -w + x*w + 8 = 0 for w.
-4
Let b = -2 - -3. Suppose -4*m + 8 = -4*y, y + 2 - b = 0. Let u be m - 1/((-3)/3). Solve -u*k = k for k.
0
Let i = -3 + 5. Suppose 3*h + 3*d - 29 + 5 = 0, -h + i*d - 1 = 0. Suppose -h*t + 15 = -0*t. Solve -t*p = 2*p for p.
0
Suppose 0 = -k - k + 4. Solve 2*r + k = -0 for r.
-1
Let q be 1 - (-2 + 2 + 2). Let b = 3 + q. Suppose h = 5*r - 13, 5*r = r - 2*h + b. Solve -z + 2 = -r*z for z.
-2
Let x = -39 - -39. Solve 0 = a - x + 5 for a.
-5
Suppose 4*t + 0*t = 8. Let n(w) = -w - w + 4*w. Let h be n(t). Solve -16 - 4 = h*c for c.
-5
Suppose 21*d - 12 = 17*d. Solve -8 = -d*i - i for i.
2
Let m = -1 + 1. Let n(d) = 4*d - 36. Let z be n(12). Solve m = 2*r + z - 2 for r.
-5
Suppose -b - 2 = -10. Let c(l) = -l**2 + 7*l + 11. Let x be c(b). Solve x*o = -4 - 8 for o.
-4
Suppose z + 11*z = 0. Solve z = -0*a - 3*a + 3 for a.
1
Suppose 0 = -r + 3*f + 6, 0*r + 3*r - f = 26. Solve r + 16 = 5*a for a.
5
Let r be (4/6)/(3 - 215/75). Solve 2*x = r*x + 9 for x.
-3
Suppose -3*b = 7*b - 20. Solve -b*c = -c + 4 for c.
-4
Let u = 17 + -16. Let o be (-36)/(-24)*4/u. Solve 0 = 4*k - o - 14 for k.
5
Let d(q) = -q**3 - 7*q**2 + q + 5. Let f be d(-7). Let w be f*3/(-6) - -3. Solve w = 3*p - 2 for p.
2
Suppose -c = -5*t - 18, -5*c - 4*t = -48 - 71. Suppose -5 = -4*p - x, -4*p - 4*x - 3 = -c. Solve p*k - 2*k = 0 for k.
0
Suppose 5*d - 14 = 1. Let g be 9 + 2*(-3)/6. Suppose 0*j + j = -5*z - 4, z - 2*j = g. Solve -d*s - 6 = -z*s for s.
-2
Let j be (-170)/(-35) + 2/14. Solve 14 + 1 = -j*t for t.
-3
Let f = 25 - 37. Let z be 1/(-3) - 52/f. Solve -2*g = z - 2 for g.
-1
Let d(m) = 2*m**2 + 11*m - 1. Let a be d(-6). Suppose 0*h - 3*h = 4*f - 18, a*f = 2*h + 11. Solve -f = c - 2*c for c.
3
Suppose b + 0*b = 0. Suppose -2*q + 8 = -b*q. Solve -u = q*u for u.
0
Let i be (-2)/(1 + 5/(-4)). Suppose 7 = 3*l - i. Suppose -l = -d + 4. Solve 3*u + 0*u - d = 0 for u.
3
Let m be -2 - 3/(3/(-5)). Suppose 0 = -5*b + m + 7. Suppose 2*f + b = 0, -4*r + 2*f = -0*f - 10. Solve 3*p = 5 - r for p.
1
Let b(s) = 5*s**2 + 3*s**2 - s**2. Let d be b(1). Solve -5*a - 8 - d = 0 for a.
-3
Let x(d) = d**3 + 11*d**2 + 12*d + 4. Let v be x(-10). Let k be (1/(-4))/(1/v). Solve -2*q = -k*q - 2 for q.
-1
Suppose 0*f = f - 9. Let r(j) be the second derivative of j**3/3 - 5*j**2/2 + 3*j. Let s be r(4). Solve -s*b = -f - 3 for b.
4
Let r(m) = 6*m**3 - m + 1. Suppose -4*x = -5*w - 14 - 10, 2*x - 14 = 3*w. Let o be r(x). Solve 0 = -p - o + 2 for p.
-4
Let u(t) = 2*t**2 - 2*t - 1. Let d be u(2). Let x = 8 - 4. Solve d*s - 2*s + x = 0 for s.
-4
Let q(j) = j - 2. Let u be (-6)/(-3) - 4/(-2). Suppose 4*a + 3*f - 30 = 2*f, 0 = a - u*f + 1. Let h be q(a). Solve -h*l - 28 + 8 = 0 for l.
-4
Let d(t) = t**3 + 4*t**2 - t - 4. Let g be d(-4). Suppose 4*q - 4*i - 4 = 0, -2*q + 3*i = -g*i + 2. Solve 0 = -q*h + 2*h for h.
0
Suppose -3*y + 35 = 2*y. Solve -18 - y = 5*r for r.
-5
Let g be 6/14 + (-6)/14. Suppose -f - f = g. Solve 5*p - 4 + 14 = f for p.
-2
Let t(b) be the third derivative of b**4/12 - 2*b**3 - 2*b**2. Let u be t(8). Solve u*p + 34 = 14 for p.
-5
Let z be -8 - (-1)/(-1)*2. Suppose -2*x + 38 = 3*k, -3*x - 17 = k - 88. Let f be z/x + 32/5. Solve -f*y = -y for y.
0
Suppose -10 + 0 = -2*v. Suppose -2*m + 18 - 6 = 0. Solve 4 = -v*c - m for c.
-2
Let i = 0 + -30. Let l be (-174)/(-45) - 4/i. Solve -l*k + 15 = k for k.
3
Let s(v) = -v**3 - v**2 - v + 5. Let c be s(0). Let i be c*(0/3 - -1). Let q(h) = h**2 + 2. Let p be q(0). Solve -i*l - 9 = -p*l for l.
-3
Suppose 3 - 9 = 3*x + 3*f, -2*x = -f - 11. Suppose -s - 4*k = -22, -2*s + 3*s + 23 = 5*k. Let r = s - -4. Solve x*l + r = -6 for l.
-4
Suppose 18 = 5*j + j. Solve j*x = 2 + 10 for x.
4
Let c(f) = f**3 - 5*f**2 + 5*f + 2. Let a be c(4). Suppose 0*p - p + 11 = 0. Suppose 3*b - 1 = p. Solve -a = 2*u - b*u for u.
3
Suppose 0 = -3*b + 2*b - 5*k - 15, -3*b - 5*k = 15. Suppose b*u - 4*l = 3*u - 39, 5*u - l - 42 = 0. Solve -5*o - u = 11 for o.
-4
Suppose 3*p + 16 = -2*a, -5*a + 3 = -2. Let c be 3*p/(-9)*1. Solve -c*g + 3*g = -3 for g.
-3
Suppose g = 2*w + 8, 18 = 2*g - 4*w + w. Let y = 13 - g. Solve c = -1 - y for c.
-2
Let g = -3 + 4. Suppose 0 = w - g. Solve -4*o - 5 = -w for o.
-1
Let u = 7 + -14. Let j = 8 + u. Solve l + j = -1 for l.
-2
Let b(v) = v**3 - 2*v**2 - 2*v - 4. Let d be b(3). Let x be (-15)/(-3) - (1 + d). Suppose -x*u = -3*u. Solve -3*z = -u*z for z.
0
Suppose -9 = -4*x + x. Suppose -x*c + 30 = -39. Suppose g - 4*f = c, 3*g - 3*f + 10 = 34. Solve k + g = 4*k for k.
1
Let r = 41 + -39. Solve -x + 1 = -r*x for x.
-1
Suppose -5*n + 3*l = 3, 0*l = -n + l - 1. Solve -k + 1 + 1 = n for k.
2
Let t(o) = -o - 9. Let k be t(-6). Let l be (1/2 - k)*2. Solve -2*i - 5 = -l for i.
1
Let r(s) = s**2 - s + 2. Suppose 0 = 3*n + 2*z - 1 - 1, 3*n - z = -1. Let o be r(n). Solve 0 = v + o - 3 for v.
1
Suppose 0 = -2*h - 0*h + 10. Suppose -v + 5 = 5*p, -h = -4*p - p - 5*v. Let k(y) = y**3 + 2*y**2 - 3*y - 3. Let g be k(-2). Solve 0 = 2*b + g + p for b.
-2
Let p(o) = o**2 + 3*o - 2. Let x be p(-3). Let a = 2 + x. Suppose v - 4*c - 23 = a, -5*c - 1 + 6 = v. Solve 5*b = -5 - v for b.
-4
Suppose n + 3 = 2*n. Suppose 0 = n*f, -4*f + f = 4*c - 16. Solve 0 = -c*u + 7*u - 6 for u.
2
Let t be 4/6*(9 + 3). Let o = 23 - t. Solve 4*l + 5 = -o for l.
-5
Suppose -10 = -4*x - x. Solve 0 = x*i - 3*i for i.
0
Let b = 86 + -86. Suppose 2*q = 3 + 3. Solve 3 = -q*s - b for s.
-1
Suppose 0 = -5*m - 4 - 11. Let y = m - -6. Solve -y*w + 16 - 4 = 0 for w.
4
Let i = 241 - 239. Suppose -8*v - 50 = -5*a - 6*v, -10 = -a + 4*v. Let u be 2/(-5) - (-34)/a. Solve u*c = -i*c for c.
0
Suppose 26 = 5*w + 3*m + m, 2*m = 3*w - 20. Solve -3*q = -w*q + 6 for q.
2
Let u = 8 + -5. Solve -y = -1 + u for y.
-2
Let f be (-3 + 3)/(1 + -2). Solve 3*i - 5 - 7 = f for i.
4
Let p be 21/(-12)*(-3 + -1). Suppose 2*s - p = -3*j, -s - 2*s = 3. Solve -j*q + 8 = 2 for q.
2
Let m be 1/(3 - (3 - 1)). Solve -m = 5*r + 4 for r.
-1
Let o(z) = z**3 - z**2 - z - 1. Let w(n) = -2*n**3 + n**2 - n - 1. Let s(d) = o(d) + w(d). Suppose -r - 4 = r. Let j be s(r). Solve 5*x - 15 = j for x.
5
Let g(v) be the third derivative of -v**6/120 + 13*v**5/60 + 5*v**4/8 - 11*v**3/6 + 5*v**2. Let a be g(14). Solve a*m = -2*m - 10 for m.
-2
Suppose -4*a = a - 25. Suppose 5*w - 2*c - 15 = 3, 2*w - 16 = 3*c. Solve 3 + a = -w*z for z.
-4
Let j(v) = 2*v**3 + v. Let k be j(1). Suppose -36 = -4*w + k*w - 5*q, -2*q = 2. Let r = w + -29. Solve 5*f + r = f for f.
-3
Let n = -13 + 10. Let v = n - -9. Solve -3*w + 21 = v for w.
5
Suppose -n - l = 2*l, 34 = -5*n + 2*l. Let g = n + 6. Suppose -f - 3*f - 4*i + 96 = g, 4*f = -i + 84. Solve 6*u - 2*u = f for u.
5
Let i = -74 - -76. Solve -3*o = -o - i for o.
1
Let g = -5 + -13. Let u = -12 - g. Let v be u/(2/4*3). Solve -w = v - 0 for w.
-4
Suppose 2*b - 4*d = 16, -6*b + 20 = -2*b - 5*d. Solve b*k - 25 = 5*k for k.
-5
Let q = -16 + 26. Suppose -2*s - 19 = -5*x, 0 = 2*x + 3*s - q - 9. Solve -2 = o - x for o.
3
Let p(j) = -j**2 + 6*j - 1. Let h be p(5). Solve -4 = -h*l + 8 for l.
3
Let t = 38 + -34. Solve -t*u = -u - 9 for u.
3
Suppose -w + 8*w = 14. Solve -w*g + g + 5 = 0 for g.
5
Let c be (-27)/(-2) - (-2)/4. Suppose -c + 38 = 4*f. Solve 2*j = f - 0 for j.
3
Let r be (-9)/(-27) + (-56)/6. Let u(w) = w**3 + 9*w**2 + w + 11. Let g be u(r). Solve g*t + 1 + 1 = 0 for t.
-1
Suppose -3*o - 13 = 5. Let v be (o/8)/((-2)/(-16)). Let z be 45/v*-1*2. Solve 0 = -u - 2*u + z for u.
5
Let l(v) = 3*v**2 + 8*v + 3. Let x be l(-5). Let b = x + -14. Let s be 1/(-2)*-1*b. Solve 0 = -3*u - 0 + s for u.
4
Let s(w) = -w**3 - 10*w**2 - 8*w + 9. Let n be s(-9). Solve n = p + 1 + 3 for p.
-4
Suppose -3*a = -4*k - 22 + 56, 5*a - 5*k = -65. Let i(j) = j**3 - 5*j**2 - 5*j - 3. Let m be i(7). Let y be (12/(-10))/(a/m). Solve -y*w - 4 = -16 for w.
3
Let d(l) = 2*l + 20. Let q be d(-8). Solve -9 = q*x + 7 for x.
-4
Let d = 18 + -10. Let n = 13 - d. Solve n*h - 1 = 4 for h.
1
Suppose 3*z - 9 = -0. Suppose 15 = z*t - 