+ 6*n - b = 0. Suppose 5 - 5 = -6*o. Solve 3*j = -o + n for j.
1
Let j(d) = -6*d + 123. Let n be j(14). Solve 0 = n*q - 40*q - 5 for q.
-5
Let x(k) = k**3 - 10*k**2 - 11*k + 5. Let h be x(11). Suppose h = -0*u + u. Suppose -2*v - u = 2*y - 11, 2*v - 14 = 2*y. Solve -m = -0*m + v for m.
-5
Suppose -4*n = 4, 2 + 0 = -3*t - 2*n. Suppose 4*m - 5*m - 2 = t. Let a = m - -2. Solve -2*g + a*g = -4 for g.
2
Let u(d) = -2*d - 6. Let o be u(-5). Suppose 2*i - 136 = -2*i. Let f = -27 + i. Solve -19 = o*b - f for b.
-3
Let a = -58 + 52. Let j(c) = c**3 + 8*c**2 + 13*c + 6. Let d be j(a). Solve d = -y - 4*y + 15 for y.
3
Let u = 209 - 207. Solve u*w = -13 + 9 for w.
-2
Suppose 0 = -b + 7*b. Solve -17*i + 7*i + 30 = b for i.
3
Suppose 0 = -v - 3*v - c + 22, v + 4*c - 13 = 0. Suppose b = 3*z + 21, -2*b + 33 + v = -5*z. Solve 0 = r - 4 + b for r.
-5
Let h(f) be the first derivative of 2*f**3/3 + f**2/2 + f + 11. Let q be -2 + (-2)/4*-2. Let w be h(q). Solve c = w + 3 for c.
5
Let z(j) = -2*j + 15. Let y be (26/221 + 15/17)*6. Let s be z(y). Solve 6*a - s*a = 0 for a.
0
Suppose -44*o + 56*o = -16*o. Solve o = 26*p - 25*p for p.
0
Let x(g) = -g - 2. Suppose 0 = 4*q - 2*o + 6, 3*q - o - 3 = 2*o. Let n be x(q). Solve 0 = n*r + r for r.
0
Let u = -463 - -476. Solve -40 + 1 = -u*y for y.
3
Let y = -672 - -672. Solve -29*a + 9*a = y for a.
0
Let s be (-6)/(1*9/(-12)). Let x(p) = p - 3. Let n be x(s). Let k(m) = m**2 - 14*m + 6. Let h be k(14). Solve -h = n*j - 26 for j.
4
Let u(l) = -l**3 + 4*l**2 - 2*l - 2. Let t be u(2). Suppose -y + 6 = 2. Suppose -1 - 7 = -y*o. Solve -v = -t*v + o for v.
2
Let n(d) = 4*d**2 - 18*d + 24. Let v be n(3). Let y = 3 + 0. Suppose y*x = v*x - 9. Solve 16 = r + x*r for r.
4
Suppose 11*f = 439 + 45. Solve 4 - f = -20*h for h.
2
Let o be (135/(-18))/(4/(-8)). Solve 7*f + o = 12*f for f.
3
Let q be 12/14*(4 + 3). Let b = 263 - 252. Suppose b*z = q*z + 10. Solve 0 = -z*u + 8 for u.
4
Suppose 2 = y - 1. Suppose y*t + 2*x + 7 = 0, -2*t + t + 11 = -2*x. Solve 4*z - t = -5 for z.
-1
Let g be (-50)/(-13) - (208/(-169))/8. Solve -10*k = -g*k - 12 for k.
2
Let h = 1229 + -1226. Solve -h*m = 76 - 73 for m.
-1
Let u be 8*35/56 - (1 - 0). Solve 7*z - u = 5*z for z.
2
Let h(c) = 3 - c**2 - 116*c + 116*c. Let x be h(0). Solve t + x = 8 for t.
5
Suppose 5*h = 4*c - 23, 0 = -c - 3*h + h + 9. Suppose 0 = 4*z - 3*b, z + b = -3*b + 19. Suppose 8*r - z*r = 60. Solve -r = -c*q + 3*q for q.
3
Let f(w) = 5*w**3 + 8*w**2 + 15*w + 4. Let o(h) = -h**3 - 1. Let c(j) = -f(j) - 4*o(j). Let u be c(-5). Solve 0 = -u*t + 2*t - 10 for t.
5
Let j(o) = o - 5. Let a be 2 + 0 + 1 + 4. Let g be j(a). Let h be (-2)/(-8)*(-1 - -9). Solve -h*d - g*d - 20 = 0 for d.
-5
Let q(o) = -o**3 - 4*o**2 - o - 2. Let y be 34/(-8) + (-1)/(-4). Let a be q(y). Let c = 453 + -448. Solve a - 12 = c*r for r.
-2
Let k be (5/4 - -1)/((-18)/(-24)). Suppose 2*a = -k*p - 3, a + a - p = 9. Solve -10 = l - a*l for l.
5
Let c(g) = 19*g**3 - g. Let u be 0/(-1) + -15 + 16. Let v be c(u). Solve -3*b - v = -6 for b.
-4
Let i be (-12)/(-9)*(6 - (3 + -3)). Solve 0 = -5*k - 7 - i for k.
-3
Let j(g) be the second derivative of g**5/20 + 5*g**4/12 + g**3/3 - 4*g. Let y be j(-3). Let q = y + -8. Solve 4*i = q - 0 for i.
1
Let g = -7 - -9. Let a be 0/(-5)*(-1)/g. Suppose a = 2*n + 2*n - 36. Solve -m + n = 2*m for m.
3
Let y(a) = a**3 + 2*a**2 - 3*a - 4. Let l be y(2). Solve 0 = 17*w - 23 + l for w.
1
Let a be (-30)/(-9)*54/15. Let b = a + -12. Suppose 7*p = 2*p. Solve -5*t + b*t + 15 = p for t.
3
Suppose 3*w + 1 = 5*q - 30, 4*q + 4*w - 12 = 0. Let s be 5*238/(-35)*-1. Solve -q*f - 9 + s = 0 for f.
5
Let n = 1 - -1. Suppose -n*g + 0*g - 16 = 0. Let v be (g/32)/(2/(-88)). Solve v - 3 = -2*x for x.
-4
Let o be (-2)/3 + (-28)/(-6). Let b be (-24)/(-10)*1 + 6/(-15). Let z be (-42)/(-35)*5/b. Solve -o + z = -d for d.
1
Let n = -136 + 138. Solve -2 = 4*m - n*m for m.
-1
Suppose i = 4*l + 194, -2 + 6 = 2*i. Let c = -46 - l. Solve -u = -c*u for u.
0
Suppose -2*g + 3 = -b, 5*g + 3*b - 16 = 19. Solve -3*m + 35 = g*m for m.
5
Suppose 2*k - 5*k + 15 = 0. Suppose k*d = 3 + 7. Solve d*z + 5 = -3*z for z.
-1
Suppose 3*h - 420 = -32*h. Solve -h = g - 4*g for g.
4
Suppose -2*q - 10*u = -7*u - 1, -2 = -q - u. Solve 3 + q = 2*h for h.
4
Let k(s) = 3*s + 15. Let y be 2/(-3)*6 - 1. Let r be k(y). Solve r = -b - 0 - 3 for b.
-3
Suppose 4*k + 14*k = 36. Solve 3 + 1 = -k*v for v.
-2
Let l = 33 - 18. Suppose l = b - 19. Suppose -2*a - b = -38. Solve -d - 5 = -a for d.
-3
Let d(x) = 7*x + 21. Let m(l) = -3*l - 10. Let v(s) = -3*d(s) - 5*m(s). Let j be v(-4). Let c = 4 + j. Solve 7*k - c = 2*k for k.
3
Let m = 113 + 30. Suppose 16*q = 97 + m. Solve 0 = -2*f + 7*f - q for f.
3
Let u(w) = w**3 + 8*w**2 + w - 1. Let y be u(-4). Let m = 62 - y. Suppose -3 = -0*p - 3*p. Solve 4 = m*k + p for k.
1
Let f = 14 - 12. Suppose 0 = -19*y + 22*y + 4*r - 22, 5*r = 3*y + 14. Solve y*h = -6 - f for h.
-4
Suppose -5*r = 0, -5*o - 3*r + 2*r = -20. Suppose -4*g - 2*s + 4 = -0, o*g + 3*s - 2 = 0. Let c be 5/2 - 23/46. Solve -2*k - g = c for k.
-2
Let f(t) be the first derivative of t**4/24 - 2*t**3/3 + 3*t**2/2 - 5. Let m(j) be the second derivative of f(j). Let a be m(8). Solve -2*p + a*p = 10 for p.
5
Let o(u) = 3*u - 70. Let d be o(24). Solve -3*r - 4 = d for r.
-2
Suppose c = -1 + 19. Suppose m = 5*a + 32, m - 2*a + 7*a = -c. Solve 0 = -m*i + 3*i + 8 for i.
2
Let k = 16 + -10. Let j = -1 + k. Solve -q = -j*q + 4 for q.
1
Let p(m) = 3*m + 27. Let d(b) = 3*b + 26. Let y(g) = 6*d(g) - 5*p(g). Let s be y(-7). Suppose -5*l - 25 - 20 = -2*j, s = -2*j - 3*l + 5. Solve -x - j = x for x.
-5
Suppose -2*a + 44 = 4*q, -q + 0*q + 4*a = -20. Solve 3*v + 9 = q for v.
1
Let y(f) = -f**3 + 2*f**2 - f + 2. Let j(l) = l**3 + 6*l**2 - 2*l - 10. Let z be j(-6). Let p be y(z). Solve m + 4 - 7 = p for m.
3
Let u = 45 - 41. Let v = u + -2. Solve -3*l = -4*l + v for l.
2
Suppose 0 = 13*n - 162 + 84. Solve n = -5*c - c for c.
-1
Let t(z) = -6*z - 40. Let d(b) = -b - 8. Let c(q) = 11*d(q) - 2*t(q). Let m be c(12). Solve -7 = -m*i + 5 for i.
3
Let h(q) = q**2 + 3*q - 4. Let t be h(-4). Suppose t = -2*x + 5*u - 0*u - 21, -20 = -4*u. Suppose -7*d - 71 = -190. Solve 0 = -3*b + d - x for b.
5
Suppose -166 = 5*z - 16. Suppose -6 = 2*i + 4. Let q be (-39)/i - 6/z. Solve 3*l - l = q for l.
4
Let d be 1*(-1 + -2 + 1) - -7. Let n be (-1)/d - (-51)/5. Suppose -3*b + 12 = -0*b. Solve -6*t = -b*t + n for t.
-5
Suppose -2*r = 5*u + 163, -2*r + 3 = 11. Let q = 36 + u. Solve c = -4*c + q for c.
1
Suppose -3*u + 98 = 2*j, -2*j + 48 = 2*u - 20. Solve 3*s - 9*s + u = 0 for s.
5
Let o(z) = -z**3 + z**2 + z + 2. Let u be 4/(-7) + (-48)/(-84). Let h be o(u). Let w = 4 - 1. Solve h*c - 25 = -w*c for c.
5
Let v(i) = 17*i**3 + 3*i**2 - 3*i + 4. Let j(t) = 6*t**3 + t**2 - t + 1. Let n(w) = -7*j(w) + 2*v(w). Let q be n(-1). Let l = q + -4. Solve -l = -2*g - 5 for g.
-1
Let d(a) = 7*a + 1. Let l be d(-1). Let c be (0 - (-2 + l)) + 0. Let v = -7 + 10. Solve -k = v*k + c for k.
-2
Suppose 49 = 3*w - 65. Suppose 2*f + 6 = -w. Let s = f - -24. Solve -s*g = -0*g - 10 for g.
5
Let u(c) = -2*c - 26. Let t be u(-16). Let o be -2*t/4*-3. Solve -3*v - 3 = -o for v.
2
Suppose 124 = 4*i - 4*n, 4*i - 7 = -4*n + 109. Solve z = -5*z - i for z.
-5
Let w = 51 - 31. Suppose 5*v = w, 5*s + 2*v = 5*v + 23. Solve 0 = 5*k - s + 32 for k.
-5
Let j = -428 + 444. Solve 13*a = j*a + 9 for a.
-3
Let c(r) = 12*r + 763. Let m be c(-54). Solve m = -b + 112 for b.
-3
Suppose -z - 5*m - 5 = 0, -z = -3*z + 2*m + 2. Solve -2*p + z*p - 10 = 0 for p.
-5
Let x = 38 - 14. Suppose 8*q = 12*q - x. Suppose 60 = 2*r + 2*r. Solve 0 = -c + q*c - r for c.
3
Suppose 0 = -54*u + 51*u + 132. Suppose -5*n + u + 21 = 0. Solve -k - 9 = -n for k.
4
Suppose -4*n + 0*b + 12 = -4*b, b = -n - 3. Solve n = -13*m + 18*m - 25 for m.
5
Let b = -239 + 244. Solve 24 = b*f - 1 for f.
5
Suppose -554 - 31 = -39*j. Solve 4*n + j = 3 for n.
-3
Suppose -2*z - 7 = 29. Let w(r) = -r - 3. Let l be w(z). Solve -4*h - h = l for h.
-3
Let c be 3 + -1*(-1 - 0). Suppose 3*p = -5*m - c + 20, -3*m + 12 = p. Suppose -z - z + 19 = 5*d, -d = 5*z - 13. Solve z = m*g - 3 for g.
1
Suppose 0 = -0*f + 4*f - 8. Suppose 0 = 2*p - 4*p + f*j + 4, -5*p + 2*j = -22. Solve -p = 2*s + s for s.
-2
Le