 = -0*j - b for j.
1
Let l(j) = 2*j**2 + 5*j + 2. Let r be l(-3). Suppose 0 = -r*f - w - 0*w - 12, 2*f + 3*w = -10. Let t be f/9 - (-12)/54. Solve -4 = -4*b - t for b.
1
Let u(n) = -4*n - 21. Let g be u(-6). Let z = 10 - 14. Let l be z/(-14) - 40/(-7). Solve 0*o = -g*o + l for o.
2
Let w be (3/6)/((-6)/(-36)). Let x = w + 5. Solve x = b - 5*b for b.
-2
Suppose -5*g - h + 8 = h, h = 2*g - 5. Let q(o) = -o + o - o - g. Let b be q(-2). Solve y - 3*y - 2 = b for y.
-1
Let r(f) = 4*f**2 - 11*f + 2. Let g(c) = -5*c**2 + 12*c - 3. Let o(n) = -5*g(n) - 6*r(n). Let s be o(-5). Let v be 22/2 + 0 + s. Solve 2*z - 1 = v for z.
5
Let p(j) = 6*j - 2*j - 17 - j + 0*j. Let v be p(7). Solve 0 = -5*a - v + 9 for a.
1
Let j be -2 + 4 + 1/(-1). Solve -j = 2*l - 3*l for l.
1
Suppose u - y - 4 = y, 3*u - 4*y = 8. Let z(g) = -g**3 - 8*g**2 - 7*g + 5. Let r be z(-7). Solve -10 = -u*k + r*k for k.
-2
Suppose -3*z + 1 = 2*v - v, -4*z = 0. Suppose 5*n + 4*w = 55, -2*n = -3*w + v - 0. Solve -2*d = -n + 3 for d.
2
Let r be ((-10)/(-35))/(4/28). Solve -j = 4 - r for j.
-2
Suppose -18 = -2*f + 30. Let n = f - 17. Solve -3*p = -n + 16 for p.
-3
Suppose 0 = -3*s - 2 + 11. Suppose -s*a + 14 - 2 = 0. Suppose -12 = -3*y + 5*k, -a*k - k = -4*y + 16. Solve c - y*c = 0 for c.
0
Suppose 2*p - 6*p - 5*y - 31 = 0, -p + 2*y = -2. Let s be p + (3 - 11)*-1. Solve 0 = z - s*z for z.
0
Suppose 0 = 5*t - 18 - 7. Let c = t - -1. Solve -2*p - 2 - c = 0 for p.
-4
Suppose 0 = 2*p - 2 - 2. Suppose -d = -p*d + 6. Let x(u) = u**3 - 6*u**2 + 6*u - 3. Let q be x(5). Solve -2*n - q - d = 0 for n.
-4
Suppose -y - 4*h = 9 + 9, 0 = -5*y - 3*h - 5. Suppose -4*j + y*j - 6 = 0. Let n = j + 15. Solve 4*f + n = f for f.
-4
Let v = 14 - -74. Suppose -v = -4*q + 4*m, 0*q + 32 = 2*q + 4*m. Solve -q = -3*i - i for i.
5
Let a = 17 - 1. Suppose -3*h + 6*c = 2*c - 14, 4 = 3*h + c. Let r(i) = -i**3 + 6*i**2 + 6*i + 7. Let f be r(7). Solve -h*t - 2*t + a = f for t.
4
Let w(u) = u**3 + u - 1. Let k be -3 - -6 - (-1 + 0). Suppose -1 - 3 = -k*r. Let j be w(r). Solve 0*h - h = j for h.
-1
Suppose 6*u - 21 = -9. Solve -o + 9 = u*o for o.
3
Suppose -4*s + w - 5 = 0, -s + 20 = -4*w + 8*w. Let c = 0 - s. Suppose n - 4 = -c*n. Solve -n*b + 9*b + 5 = 0 for b.
-1
Suppose 4*i - u - 31 = 0, 0*u - 14 = -i - u. Suppose -v = -5 + 1. Solve 3 = v*t - i for t.
3
Suppose -2*b = -4*u + 32, -u + 3*b + 24 = u. Solve u*p - 2*p = 0 for p.
0
Suppose 4*f - 3*d = 8 - 0, -4*f - 4*d = -36. Suppose -2*y + 28 = -f*v, 0*v + 2*v = -y - 4. Suppose 8 = y*r - 0. Solve -2*t = r*t for t.
0
Let v(m) = 2*m - m**3 - m - 8 - 5*m**2 + 2*m. Let g be v(-6). Solve 0*r = -5*r - g for r.
-2
Let o(y) = -y - 5. Let v be o(-7). Suppose -4*i = -v*q + 8 + 8, -4*q + 5*i + 20 = 0. Solve -4*c = -q*c for c.
0
Suppose 2*l + 31 = -3*d, d + 13 = -3*d + 3*l. Let t = -4 - d. Solve -t*y + 6 = -6 for y.
4
Suppose -2*a = 2*f - 0*a - 2, -4*a = -2*f + 26. Suppose 0 = -0*v + f*v + 10. Let u be 6 - -2 - (-6)/v. Solve z + u = 2*z for z.
5
Let v = 29 + -26. Solve -v*d = 11 + 4 for d.
-5
Let u be ((-18)/(-24) + 6/(-8))/(-1). Solve 4*t + 0 + 8 = u for t.
-2
Let u be 3/(-1) + 0 - 3. Let b(m) = -m**3 - 6*m**2 + m + 6. Let j be b(u). Solve 4*h + 0 + 4 = j for h.
-1
Suppose -5 + 11 = 3*h. Suppose 5*q - 31 = -2*i, -3*q = -h*i + i - 12. Solve -i*v = 2*v - 10 for v.
2
Let q(c) = -6*c - 28. Let s be q(-6). Solve -4*j - 12 = -s*j for j.
3
Suppose -6*c + 3*c + 27 = 0. Let o(i) = i - 9. Let k be o(c). Solve -b + 0*b - 2 = k for b.
-2
Suppose 5*k - 5*c = 0, -4*k + 5*c - 4 = 2*c. Let u be (-6 + -1)*(k - -3). Let g = u + -7. Solve g = 4*h - 2*h + 6 for h.
-3
Let a = -5 + 3. Let s be a/((2 + -3)*1). Solve -7*k + s*k = 0 for k.
0
Suppose -3*x = 59 - 23. Let k = 16 + x. Let i(y) = y + 6. Let f be i(-6). Solve -k*l + f*l - 8 = 0 for l.
-2
Let x = -2 + 2. Solve 0 = 3*s - x*s + 15 for s.
-5
Let a(h) = -2*h**2 + 2. Let g be a(2). Let w(n) = 1 - 3 - 3*n + 2*n. Let x be w(g). Solve 0*i - 20 = x*i for i.
-5
Suppose 0 = 3*v - m + 4*m - 9, 0 = -5*v + 2*m + 15. Let c = -54 - -58. Solve -i = v*i - c for i.
1
Let c(y) = -6*y - 3. Let g(x) = x + 1. Let n(f) = -c(f) - 5*g(f). Let l be n(4). Suppose -3*p + 3*o = -p, l*o = -2*p + 10. Solve -p*k - 1 = -7 for k.
2
Let n(c) be the third derivative of c**7/840 + 3*c**4/8 + c**3/6 + 4*c**2. Let v(u) be the first derivative of n(u). Let z be v(0). Solve 2*w = -w + z for w.
3
Let c = -103 - -106. Solve 0 = -c*t + t + 6 for t.
3
Let t(a) = a + 3. Let q be t(-3). Solve 3*r = 6 - q for r.
2
Let t(x) = -x - 2. Suppose 5 + 1 = 2*b. Suppose -5*q - 5*w - 24 = 16, b*w = 3*q - 6. Let v be t(q). Solve 0 = -2*d - v + 9 for d.
4
Let x(i) = -i**2 - 5*i + 15. Let b be x(-7). Solve b = -3*h + 10 for h.
3
Suppose -10 = 2*f + 2. Let o(b) = -9*b**2 - 7*b - 4*b**2 - 6 + 12*b**2. Let w be o(f). Solve -3*l = -w*l - 3 for l.
1
Let v(l) = 6*l - 2. Let y(g) = 13*g - 3. Let o(b) = -7*v(b) + 3*y(b). Let m be o(-5). Solve 0 = -8*q + 4*q - m for q.
-5
Let r(n) be the first derivative of -9*n**4/4 + n - 5. Let j be r(-1). Let h(z) = 3*z**2 + z + 1. Let g be h(-1). Solve -f = -g*f - j for f.
-5
Let x = -60 + 72. Solve 6*u - x = 3*u for u.
4
Let m(p) = -2*p - 4. Let u be m(-3). Solve 0 = y + u*y for y.
0
Suppose 7 - 9 = -u. Solve -15 = u*l + l for l.
-5
Let f = -133 + 139. Solve -s - 1 = -f for s.
5
Let j(m) = m**2 - 1. Let u be j(7). Suppose -28 = -h - 5*b, -5*h - b + u = b. Solve 4*f - 4 = h*f for f.
-1
Suppose 5*y = -2 + 17. Suppose -5*b - y*f = -5*f - 35, -f - 5 = 0. Solve -h + 0*h = b for h.
-5
Let x be 2/(-3)*1*-3. Let u(m) = -m**2 - m - 1. Let c(f) = f**3 - 8*f**2 - 11*f - 4. Let y(q) = -c(q) + 6*u(q). Let g be y(3). Solve x*h - g = -2*h for h.
1
Let g(i) = i**3 + 19*i**2 - 20*i + 3. Let q be g(-20). Solve -1 - q = 2*l for l.
-2
Suppose -5*x + 0*x = 0. Solve -2*z + z - 1 = x for z.
-1
Suppose -20 = -0*l - 5*l. Let h(m) = -m**2 + 6*m + 1. Let n be h(5). Solve -l*c - 2 = -n for c.
1
Let h = -9 + 13. Suppose 8*n - 36 = 4*n. Solve -h*d = -25 + n for d.
4
Let l be (5 + -3)*-2 + -3. Let o = l - -11. Solve o*k = 2 + 2 for k.
1
Let q be 4/3*(-6 + 12). Solve -9*s + 11*s - q = 0 for s.
4
Let c(o) = -o**3 + 7*o**2 - 5*o - 4. Let n be c(6). Suppose -5*x = -0*i + 4*i - 17, -n*i = -6. Solve -j = -x - 4 for j.
5
Let d = 66 - 66. Solve d = h - 4*h + 6 for h.
2
Let v = -47 + 51. Solve -29 + v = 5*m for m.
-5
Suppose i + 2 = k, 0*i - 5*i = 2*k - 18. Solve 0*t - 8 = -i*t for t.
4
Let z = 9 - 4. Let q be (-3)/(-6) + z/2. Solve -q*v = -1 - 14 for v.
5
Suppose 5*x - 45 = h, -x - 2*x + 2*h + 20 = 0. Solve 6*s - x = s for s.
2
Suppose -l = -3*w - 14, 5*w + 26 = 3*l - 0*w. Let x = -22 - -27. Solve x = -l*o + 3 for o.
-1
Let q(r) be the third derivative of r**4/8 - r**3/6 + 3*r**2. Let b be q(2). Suppose -b*k = -k - 12. Solve n - k = -0 for n.
3
Let f = -5 - -8. Suppose -10 = -0*p - 2*p. Solve -p - 10 = -f*k for k.
5
Suppose r = -r + 56. Suppose -2*f = 5*y - 29, -4*y + r = 4*f - 0*f. Solve -x = 4*x + y for x.
-1
Let c(b) = b**3 + 2*b**2 - 3*b - 4. Suppose 3*x + 34 = 28. Let i be c(x). Solve i*r + 6 = -0*r for r.
-3
Suppose -19 = -4*x + 61. Suppose -4*y + 20 = t, 2*t - x = -3*y - y. Let a be (0/(-1) - 3) + y. Solve -a*z + z = 3 for z.
-3
Let s = -19 - -19. Solve 0 = -3*z - s*z - 15 for z.
-5
Let n = -146 - -149. Solve -5*o + n*o = 0 for o.
0
Suppose a + 15 = 3*x, 3*x + 2*a - 15 = 5*a. Suppose 1 - x = -r. Solve -t - 20 = r*t for t.
-4
Suppose -3*q = m - 6, -3*m - 3*q = -0*m - 36. Let n = 15 - m. Solve -o - 3*o = n for o.
0
Suppose 0 = 3*x - 4*b + 4, -2*x + 2*b + 12 = 3*b. Suppose 4*f = -x*i + 4, 0 = f + 3*i + i + 14. Suppose 0 = v - f*v + 75. Solve -v = -u - 2*u for u.
5
Let a(t) = -2*t - 3. Let m be a(-3). Let s(i) = -i + 7. Let z be s(m). Solve z*v - 2 = 2 for v.
1
Let p(y) = y**3 + 5*y**2 - 5*y + 8. Let a be p(-6). Suppose -8 = a*d + 2. Let r = d - -8. Solve -m + 1 = r for m.
-2
Let t be (-10)/(-50) - 78/(-10). Solve w = 3*w + t for w.
-4
Suppose 220 = 3*p + 8*p. Solve -2*q + p = 2*q for q.
5
Let d(h) = 2*h**3 + h**2 - h + 1. Let s(n) = 5*n - 6. Let p be s(4). Suppose p = 4*q - 5*z, -q + 3*q = -z. Let w be d(q). Solve w*j = -j - 20 for j.
-5
Suppose -49 = -4*n - 5*i - 4, 0 = n - i. Solve -n*d = -27 + 2 for d.
5
Let y = -44 - -74. Suppose y = 2*a + 3*a. Solve -h - a = -4 for h.
-2
Let g be (-1)/(1/(2/(-1))). Suppose 5*i = 