t). Solve 0 = -y*b - b for b.
0
Suppose 0 = 2*v + 2*c - 2 - 2, v = 4*c + 7. Let f = v + -1. Suppose 0*a + 4 = a. Solve -f*u + u = -a for u.
4
Suppose v + 6 = y + 4*y, 2*y - v = 3. Solve 5 = l + y for l.
4
Suppose 12 = 7*i - 3*i. Let c(x) be the second derivative of -x**4/12 + x**3/2 + x**2 - x. Let l be c(i). Solve 8 = 5*o - l for o.
2
Let t be 2/4*(-20)/(-5). Solve 0 - t = 2*b for b.
-1
Let z be 2*(3/(-6) - -2). Suppose -z*a - 56 = a. Let b = 23 + a. Solve -b = x + 2*x for x.
-3
Let d be 2 + (-6)/(-10) + 4/10. Let k = -2 + 2. Solve q + d*q = k for q.
0
Suppose 4*y - 5*x = -16, 0*y + 4*x = 2*y + 8. Let s be 36/3*(-2)/y. Solve -2 - s = -4*w for w.
2
Suppose -2*r = -17*r + 75. Solve -2*x = -x + r for x.
-5
Suppose -14 = -2*r + 2. Suppose -m + 3*k - k + 13 = 0, 3*k - r = -4*m. Solve 21 = m*g - 4 for g.
5
Let g(h) = -5*h + 3. Let a be g(-5). Let n be ((-16)/a)/((-2)/7). Suppose 4*z + 5 = 3*w, -w + n*z = -3*w + 8. Solve -w*x - 13 = 2 for x.
-5
Suppose 0 = -g + 4*n + 16, 3*g - 4*g - n = 4. Suppose g = 7*k - 2*k - 50. Solve 2 = 4*w + k for w.
-2
Let x be -4*3/6 - -3. Let m = x + 5. Solve -m*o + o + 15 = 0 for o.
3
Suppose 62 = 5*i + f, -6 = -4*i + 3*f + 36. Let m(z) = 3*z - 5. Let u be m(3). Solve u*h - i - 4 = 0 for h.
4
Suppose -3 - 5 = -2*u. Suppose u*b - 4 = 16. Solve -b + 1 = -s for s.
4
Let d = 4 - 1. Suppose -5*z = d*f + 11, -2 = 2*f - 2*z - 16. Let w be f + 5/((-10)/4). Solve -b - w = 1 for b.
-2
Let h = 14 - 14. Suppose 2*b = q + q + 2, 5*b + 2*q - 5 = h. Solve -3*p + 5 + b = 0 for p.
2
Suppose 5*f - 3 = 12. Solve f = 3*u - 12 for u.
5
Suppose o + 0*o = 2*y + 9, 12 = -4*y. Solve -25 = o*v - 8*v for v.
5
Suppose z - 4 = -1. Solve -4*w = -z*w - 3 for w.
3
Let q be 10 + -1*2/2. Suppose -q + 5 = -2*y. Suppose -y + 11 = h. Solve 16 = 5*j - h for j.
5
Let m be (1 + -1)*(-12)/(-24). Solve 5*l - 5 = -m*l for l.
1
Suppose 5*n - 5*d + 59 = 9, 12 = 3*d. Let h be n/(-2) - (-7 - 5). Solve 3*l + 0 = h for l.
5
Suppose h + 2*h = 15. Suppose 2*a + 3*a + 25 = -4*i, -a - 5 = -3*i. Let g = 6 - 4. Solve g*p - 1 - h = i for p.
3
Let k(f) = 12 + 1 + 3 + f. Let l be k(-13). Solve l*i - 2*i - 3 = 0 for i.
3
Let m(o) = o + 1. Let g be m(4). Suppose -3*a = 0, -4 = -b - a + 3*a. Solve b*w + 1 = g for w.
1
Let z(l) = l**2 - 4*l - 1. Let c be z(2). Let t be (c - -7)/((-4)/(-6)). Solve -5*p - t = 12 for p.
-3
Let y(r) = r**3 - r**2 - 2*r. Let t be y(3). Let c = 12 - t. Solve c = s - 3 + 1 for s.
2
Let t(b) = -b + 14. Let j be t(10). Solve -1 = j*m - 17 for m.
4
Suppose 0 = -y - 4*r - 9, -5*y + 0*r + 4*r + 27 = 0. Suppose w + 1 = 0, 0*w - y*w = 3*q + 3. Solve q = 2*p + 3*p for p.
0
Suppose -s = -3*s - 4*o - 2, 0 = 4*s + o + 18. Let g = s - -13. Solve 2*w - g = -2*w for w.
2
Suppose -3*k - 1 = -4*k. Let c(v) = 4*v - 1. Let b be c(k). Suppose b*j - 27 = -0*j. Solve -y = -4*y + j for y.
3
Let g(o) = 7*o + 7. Let j(h) = -h + 1. Let q(a) = g(a) + 6*j(a). Let v be q(-13). Solve v*u - 2 = -2*u for u.
1
Suppose 3*c - 6 = -2*p, -2*p - 13 = -5*c + 13. Let x = p + 5. Solve x = -g + 5 for g.
3
Let z = -31 - -43. Solve -7*a + z = -11*a for a.
-3
Suppose 13*k + 14 = 27. Let r(n) = -n**3 - 4*n**2 - 3*n - 1. Let c be r(-3). Let x(b) = b + 1. Let a be x(c). Solve -i + k + 0 = a for i.
1
Let b be (-6)/(-4)*(-8)/6. Let d be b/(-3) - 20/30. Solve d*i = 2*i for i.
0
Let l(z) = 3*z - 23. Let h be l(16). Solve h = -3*y - 2*y for y.
-5
Suppose 3 = -h - 2. Let i be h/(15/(-18)) + -2. Solve l + i = -l for l.
-2
Let f(s) = s**2 + 1. Let m be f(1). Let o be (-18)/(m/4 + -2). Solve 6*g = 3*g - o for g.
-4
Let u = -18 + 25. Suppose -v + c + 9 = 0, 3*v - 4*c = u*v - 60. Let r = v + -7. Solve r + 4 = 3*d for d.
3
Let x be (-2 + 3)/(2/4). Solve -c - x*c = 0 for c.
0
Let j(v) = -v**2 + 4*v + 5. Let x be j(5). Solve 2*w = -x*w for w.
0
Let t(n) be the second derivative of n**5/20 - n**4/6 - n**3/3 - 3*n**2/2 + 4*n. Let w be t(3). Suppose 0 = -w*g + g - 4. Solve y + g = 2*y for y.
4
Let j be 2*(-2)/(-4)*-2. Let r = j + 3. Solve -r = -3*u + 5 for u.
2
Let q = 0 - -4. Suppose 0 = 3*n + 2*y - 10, 2*y - 8 - 4 = -4*n. Solve w - n*w + q = 0 for w.
4
Let u be -1 - (-1 - (-3 - -6)). Solve -k = u*k for k.
0
Let t(x) = x**2 - x - 2. Suppose 5*h = 3*i + 4, 0 = 3*i + 3*h - 6*h. Let v be t(i). Solve -5*n + v*n = -25 for n.
5
Suppose s - 24 = -s. Let r = 11 - s. Let u be r + -3 - -1 - -8. Solve k + 0 - u = 0 for k.
5
Suppose 5*c + 20 = d, -2*d + 6*d - 61 = c. Solve -3*k = -6*k + d for k.
5
Let p(b) = -b + 8. Let r be p(4). Solve o = r*o for o.
0
Let d = 7 - 2. Let u(l) = -2*l**2 - d*l - l**3 + 4 + 2 - 5*l**2. Let a be u(-6). Solve -i - 3 = -a for i.
-3
Suppose 3*f - 3*o - 9 = 0, -o = 2*f - 4*o - 7. Suppose f*d = 4 - 0. Solve 8 - d = -2*m for m.
-3
Suppose 0 = -2*k + 4*g + 20, 0 = 2*k - 5*g - 8 - 15. Suppose -k*f - c + 4 = -f, 12 = 3*c. Solve f = -0*r + 3*r + 9 for r.
-3
Let k(r) = r**3 + 4*r**2 + r + 4. Suppose w + 0 + 4 = 0. Let y be k(w). Suppose -h = 2*b - 2, y = -2*b + 6*h - h + 26. Solve b*f + 2 = f for f.
-1
Let q = 103 + -100. Solve 0 = -q*y - 1 + 4 for y.
1
Let v(b) = b**2 - 7*b - 5. Let k(f) = -f**2 + 4*f + 3. Let x(h) = -5*k(h) - 3*v(h). Let n be x(0). Solve -5*j + 15 = -n*j for j.
3
Let j(k) = -k**3 - 5*k**2 + 4*k - 6. Let d be j(-6). Solve -p - 5 = -d*p for p.
1
Let p = 9 - 1. Suppose 3*w + 5*j + p + 3 = 0, -j - 19 = -5*w. Solve 2 = w*x - 7 for x.
3
Let c = -2 + 13. Let j = -6 + c. Suppose u + j*t - 9 - 3 = 0, -4*u - 3*t = -14. Solve i - u + 0 = 0 for i.
2
Suppose -5 = -3*u + 13. Solve 4*a - u*a = -10 for a.
5
Let u(y) = y**2 + 5*y - 1. Let x = 5 - 11. Let j be u(x). Let f be 5/((-15)/(-21)) + -3. Solve 16 = j*a - f for a.
4
Suppose 3*r + 0*r = 0. Suppose r = -5*w + 10*w. Let z = -3 - -6. Solve 2*c - 1 + z = w for c.
-1
Let z(d) = 4*d. Let u be z(2). Suppose u = -5*n + 23. Solve r = -n*r for r.
0
Suppose 3*w = -2*k + 18 + 2, -5*w + 5*k = 0. Let g = 1 - 1. Suppose 0*j - 4*j + 22 = d, d - j + 3 = g. Solve -w - d = -3*r for r.
2
Suppose -8 = -8*d + 8. Let g = -4 + 9. Let o(n) = -n**2 + 5*n + 4. Let h be o(g). Solve d*l = h*l for l.
0
Let a be 1*(1 - (-3 + 2)). Suppose -3*d + d = b + 12, -3*b = a*d + 20. Let z be (-2)/(-1) - (b + 0). Solve -5*r - 9 - z = 0 for r.
-3
Let q(a) = -3*a - 1. Let j be q(-1). Suppose -2 = -j*m, h - 2*m - 17 = m. Solve -b = 4*b + h for b.
-4
Let k(m) = m**2 + 11*m + 14. Let h be k(-10). Suppose s + h*s = -3*p + 66, 3*p - 36 = -3*s. Solve 3*b = -0*b + s for b.
5
Let y be 8/52 - (-315)/65. Solve 0 = -2*x + 15 - y for x.
5
Suppose 3*o = b + 6*o + 13, -4*b = -4*o - 28. Suppose -b = 3*t - 20. Solve 0 = 5*s - t - 9 for s.
3
Suppose 0 = -0*q - 2*q - 4. Let s be 10/3*(-3)/q. Suppose -2*r = 2*b - b - s, -5*r - 15 = -3*b. Solve -5*g - 5 = b for g.
-2
Let g = -2 - -6. Suppose -d + 3 - 2 = 0. Let i be (3 - 1 - 2)*d. Solve g = o - i for o.
4
Let x = -23 - -23. Solve -w = -1 - x for w.
1
Suppose 5*m = 2*g + 28, 2*g + g = -12. Suppose 2*s = m + 6. Suppose 0 = -3*n - v + 3, -n - s*v + 1 = -v. Solve x = -0*x - n for x.
-1
Let k be (8/(-3))/((-6)/45). Let u(m) = -m - 11. Let y be u(-14). Solve y*f = 7*f - k for f.
5
Suppose 3*c - 1 = 5*s + 4, 4*c = 20. Solve s*f = 6*f for f.
0
Let k(m) be the third derivative of m**5/60 + m**4/8 - 7*m**3/6 + m**2. Let t be k(-5). Solve j - t*j = 10 for j.
-5
Let t(o) = o**2 - 1. Let j(c) = c**3 + 2*c**2 - 5*c + 5. Let a(n) = j(n) + 3*t(n). Let r be a(-6). Let k = r + 6. Solve p + k*p = -3 for p.
-1
Suppose -12 = -2*z - 2. Solve -1 = -3*q + z for q.
2
Let z be (0 + -6)/(1/4). Let w = z - -48. Solve 0 = -4*k + w - 4 for k.
5
Suppose -4*r - 66 = -2*z, -4*r - 5*z + 0*z = 73. Let y = -17 - r. Solve y*v - 2 = 2*v for v.
-1
Let h be 4/14 + (-66)/(-14). Let w be 10/30 + (-58)/(-6). Suppose 6*g - 34 = -w. Solve -g*i = -9*i + h for i.
1
Suppose -z - 4*z = -20. Solve 5 - 1 = z*g for g.
1
Suppose 3*v + 0*v - 2 = -k, 0 = -5*v + 5*k - 10. Solve v = -0*g - 3*g for g.
0
Let k = -4 - -8. Suppose -k*s - x + 32 = 0, 0*s + 8 = s + 4*x. Solve -4*p = -0*p + s for p.
-2
Suppose -6*t + 12 = -6. Solve -12 = t*p - 7*p for p.
3
Let u = -3 - -5. Suppose 0 = c + u*c. Suppose 2*s - 4*d = c, 0 = s - 2*s + 4*d. Solve 2*g + g + 6 = s for g.
-2
Suppose 2*q = -2*n + 1 - 3, -5*n - 45 = -5*q. Let x be (1 - 11)/(1*-1). Suppose -q*f + 6*f - x = 0. Solve -2*c + f = -3*c for c.
-5
Suppose 0*y - 8*y = 0. Sol