se 107 - 105 = 2*m. Let r be (2/2)/(2/24). Let c = 17 - r. Solve -2*g + c = -m for g.
3
Suppose 5*c - 12 = -o, -4 = -3*o + o. Suppose c*s - 3 = -r - 2*s, 12 = -4*s. Solve -3*v - 2*v = r for v.
-3
Let g(k) = -8*k**2 + 3*k + 2. Let d be g(-1). Let l = -6 - d. Solve c + 5 - l = 0 for c.
-2
Suppose 3*v = 2*b - 115, -v - b - 157 = 3*v. Let k = v - -43. Solve 1 = k*s - 3 for s.
1
Let l = 4 - 7. Let r be (l*2)/(6 + -7). Suppose -q = q - r. Solve q*u = -u - 8 for u.
-2
Let y(w) = -w**3 + 11*w**2 - 16*w - 10. Let v be y(9). Let o(p) = p**3 - 8*p**2 + 8. Let r be o(v). Solve 0 = -4*z + r*z + 16 for z.
-4
Let d = -156 + 163. Solve d*p + 7 = -21 for p.
-4
Let u = -11 + 11. Suppose h - z - 10 = u, -11*h + 6*h - z = -74. Solve 0 = 2*i + h - 4 for i.
-5
Let h(w) = -w**2 - 8*w - 8. Let x be h(-5). Suppose -x = 4*d + 5*c + 10, 5*d - 2*c - 20 = 0. Solve 0 = -d*u - 3*u - 20 for u.
-4
Let h(q) be the second derivative of -q**5/20 - q**4/3 - 5*q**3/6 - 3*q**2/2 + 12*q. Let o be h(-3). Solve -3*f + 3 = -o for f.
2
Let g be 16/72 + 122/18. Let j = -15 + g. Let l = j - -13. Solve 0 = l*t + 28 - 8 for t.
-4
Let a be 4 - (1 - 0 - 2). Let l(p) = -p**3 + 4*p**2 + p + 4. Let o be ((-18)/4)/(24/(-16)). Let m be l(o). Solve a*d - m + 1 = 0 for d.
3
Let a(r) be the second derivative of -r**4/12 + 17*r**3/6 - 17*r**2/2 + r. Let c be a(17). Let g = c + 18. Solve 4 = w + g for w.
3
Suppose 5 = 3*q - 10. Suppose -4 = 4*y, -w - w + q*y - 29 = 0. Let b = 20 + w. Solve b*g - 2*g + 2 = 0 for g.
-2
Suppose h = -4*g - 2, g - 4*h + 2*h - 4 = 0. Solve g = -z - 10 + 14 for z.
4
Suppose 0 = -4*i + g + 55, 2*g = -3*i - 25 + 80. Solve -4*n - 44 = -i*n for n.
4
Let y(a) = a**2 - 9*a - 86. Let m be y(15). Solve m*o - o = -6 for o.
-2
Let r(o) be the first derivative of o**3/3 + 2*o**2 - 3*o + 2. Let h be r(-5). Suppose -2*q = h*q - 40. Solve -3*a + q = -a for a.
5
Let n = 61 + -41. Let v = -1 + n. Solve v = -4*f + 3 for f.
-4
Let y be (0*((-34)/6 + 6))/4. Solve y = 7*u - 5 - 30 for u.
5
Suppose -g + 6 = 2*g. Let t = 6 - g. Suppose -18 = -113*q + 104*q. Solve -t*h - 10 = -q*h for h.
-5
Let u = 41 - 23. Suppose -u = 2*d + 4*n, 3*n + 45 = -5*d + 2*n. Let y be 0 + 10 + 7 + d. Solve -3*h = -5*h - y for h.
-4
Let v = 20 - 4. Suppose v*k = 18*k. Solve k = -2*q - 0*q + 10 for q.
5
Suppose 3*p + 29 = 2*b + 4, b = -p. Suppose 3*t - 5*g = -0*g + 28, -b*t - 4*g = -59. Solve t = 2*j + 3 for j.
4
Let w = 739 - 724. Solve -5*j + 0 = -w for j.
3
Let f be (-3 - -3 - 6)/((-1)/(-4)). Let r be 2 - (-54)/f - (-13)/4. Solve r*x - 2*x = 5 for x.
5
Let i = 38 - 31. Suppose 0 = -i*y + 8*y - 1. Solve 4*n - 3 = y for n.
1
Suppose -4*b = -b - 5*g - 31, 4*b - 3 = -g. Let r(v) = 18*v + 84. Let n be r(-4). Solve -b*l - l = n for l.
-4
Suppose 3*w - 11*w + 72 = 0. Solve w*p = p - 16 for p.
-2
Let g(t) = t**3 + 2*t**2 + t. Let k be g(2). Suppose 0 = -3*o - 0*o + k. Suppose 0 = 2*h - 3*h. Solve 0 = 3*j - o - h for j.
2
Let n(d) be the third derivative of -d**5/60 + d**4/4 - d**3/6 - 15*d**2. Let y be n(5). Solve -2*u + y*u = 8 for u.
4
Let s be 314/6 - 1/3. Suppose 8*a = -2*p + 4*a + 44, 4*a + s = 4*p. Let y be (-230)/(-18) - p/(-72). Solve 3*t = -1 + y for t.
4
Let d(z) = z**3 - 17*z**2 + 13*z + 7. Let r be d(16). Let v = r + 61. Solve v = -0*h + 4*h for h.
5
Suppose 0 = -6*s - 69 + 81. Solve y = s*y + 2 for y.
-2
Suppose 0 = 5*i - 3*p - 13, 3*i - 3*p = 4*i + 1. Let t = 1 + -1. Solve t = i*m - 2 for m.
1
Suppose -6*a = -2*v - 4, -2*a = -20*v + 15*v + 16. Let y be (0 - -2)*(-3)/(-2). Suppose y*z + 2*z - 15 = 0. Solve -7*l = -z*l + v for l.
-1
Let t(f) = f**2 + 5*f + 2. Let h be t(-5). Suppose -i = -5*u, -h*i - 5*u = -3*u. Solve 4*r = -i - 4 for r.
-1
Suppose -8*z + z + 49 = 0. Solve 39 = z*v + 4 for v.
5
Let g = -919 + 927. Solve g - 12 = -2*x for x.
2
Let n be 5*(7 - 3)*1/(-10). Let z be (n/11)/((-4)/44). Solve 0*k - 4 = -z*k for k.
2
Suppose -2*k + 4*k = -5*u + 26, -3*k - u = -13. Let w be (-8)/6 - (76/k)/(-4). Solve w*d - 2*d + 3 = 0 for d.
-1
Let s(r) = -r + 17. Let o be s(14). Solve -o*y = -0*y + 12 for y.
-4
Let j(b) = 0*b**3 + 2*b + 0*b**3 - 5*b + 4*b**2 - b**3. Let i be j(2). Suppose 3*x - 24 = 2*x + 3*o, -o - 3 = 0. Solve i*c - x = -3*c for c.
3
Let k be 4/(-2 - 0 - 9/(-4)). Solve -3*v - k = 5*v for v.
-2
Let b be (24/4)/2 - 3. Solve -25*v + 21*v - 4 = b for v.
-1
Let w = 107 + -44. Let q be 18/w + (-80)/(-14). Solve q = -0*h + 2*h for h.
3
Let m = 13 + -11. Suppose a - m = -5*z, 0*a + 3*z - 2 = -a. Suppose -2*g + a = -g. Solve 2*x - 12 = -g*x for x.
3
Suppose -7*s + 0 = -175. Let r(h) = h + 8. Let g be r(-5). Solve g*b + s = -2*b for b.
-5
Let s be (0 - 0)/(-3 - -5). Let d be 2/9 - (-160)/90. Suppose -w = 2*w - 2*y - 29, -25 = -3*w - d*y. Solve -3*n + s*n = -w for n.
3
Let g(i) = -3*i**2 + 83*i - 46. Let m be g(27). Solve -12*o = -10*o - m for o.
4
Let w(t) = t**3 + 14*t**2 + 23*t - 7. Let i be w(-12). Solve -i*f = f + 24 for f.
-4
Let t = -16 + 20. Suppose 0*l + l - t = 0. Solve 0 = l*z - 6*z + 2 for z.
1
Suppose -5 = -2*q - 3*y + 6, -y - 29 = -4*q. Suppose -p = -4*b + q, p + b + 3 = 6. Suppose p = 5*x - 4. Solve -x = w + 2 for w.
-3
Let n(l) = -2*l - 3 - 6*l**2 + 4 + 0*l**2 + 3*l**2 - l**3. Let i be n(-4). Solve 3*r + 10 = i for r.
5
Let b = -327 + 332. Let m = -1 - -3. Suppose r - 30 = -m*r. Solve 0*l = b*l + r for l.
-2
Suppose -27*n + 31*n = 32. Solve -2*l - 2 = -n for l.
3
Let b be 0/(3/(6/(-4))). Let o(x) be the first derivative of x**4/4 - 11*x**3/3 + 23*x**2/2 + 8*x - 40. Let f be o(8). Solve f = i - b*i - 5 for i.
5
Let x = -17 - -47. Suppose -o = -4*o + x. Solve 0 = -2*p + 4*p + o for p.
-5
Let k = -8 - -10. Suppose d = k*d - 21. Suppose 4*i - 11 = 3*z + d, -3*i = -5*z - 24. Solve 4*p - i = -0*p for p.
2
Let z = -10 + 4. Let x be z/(-1) - (-1 - -3). Suppose -42 = -4*w - 3*o, 37 = x*w - 4*o + 9. Solve -w - 16 = -5*b for b.
5
Let z = -1391 - -1403. Solve -29*r + 75 + z = 0 for r.
3
Suppose -3*o + 2*f - 3*f - 5 = 0, 2*f = -4*o - 10. Let x(m) = 3*m - 2. Let b be x(-5). Let q = b + 21. Solve 0 = -o*v + q*v for v.
0
Suppose 21 = 3*j + 5*m, 10*j + 2*m = 7*j + 12. Suppose -2*c + 3*c = 4*w + 3, 0 = j*w. Solve -c*v + 0*v = -3 for v.
1
Suppose 5*v - 20 = 2*p, -4*v + 3*p - 8*p = -16. Solve 21 = -v*u + 1 for u.
-5
Suppose 4*s + 11 = -3*a + 8*s, a + 4*s - 23 = 0. Solve -a*v + 12 = -0 for v.
4
Let k(p) = p**3 + 7*p**2 + 6*p + 5. Let y be k(-6). Let c = 49 + -48. Suppose c = -o + y. Solve -2 + 6 = -o*n for n.
-1
Suppose -3*w = -3*f + 8 + 1, -f = -4*w. Solve -f*t - 7 + 23 = 0 for t.
4
Suppose -5*u - 2*r + 8 = -163, 2*u - 68 = -r. Let c(w) = 9*w - u*w**3 - 3*w - 1 - 4*w**2 - w + 36*w**3. Let p be c(2). Solve -1 = 2*b + p for b.
-1
Suppose -q - 4*l + 61 = -6*l, -3*q + 5*l = -182. Solve -a = -q + 64 for a.
-5
Suppose 4*j = -0*m - 3*m - 29, -m - 28 = 5*j. Let s(u) = -12*u. Let b be s(j). Suppose b = 4*a + 3*r + r, -2*a + 30 = 3*r. Solve -l = -4*l + a for l.
5
Let t(n) = -1. Let d(i) = -3*i - 9. Let z(b) = -d(b) + 12*t(b). Let f be z(1). Solve f = -6*h + 2*h for h.
0
Let f be (-1 - (-4)/8)*40/(-10). Solve -f*n - n = n for n.
0
Suppose r - 11 = -3*s, -3*s = 2*s - 2*r. Suppose 0 = -4*a + s*l + 14, -50 + 13 = -2*a - 5*l. Let k be 5 - 2*a/4. Solve -3*t = -k - 4 for t.
2
Let z(t) = -t**2 + 5*t + 24. Let o be z(8). Solve o = -4*q + q - 12 for q.
-4
Let z = -11 + 12. Suppose -5*q + 2*u + 7 = 0, -u = -q - 0*u - z. Let s be (5 + -5)*(q + -2). Solve -8 = -4*h - s for h.
2
Let c(d) = 2*d**3 - 2*d**2 + 2*d - 3. Let b be c(2). Solve 0*y + 3*y = b for y.
3
Suppose -12 = -4*s + 2*c + 2, -2*s + 1 = c. Suppose 0 = q - 4*q + a + 10, q - 10 = s*a. Solve 10 = -4*w - q for w.
-3
Let b = -550 + 550. Solve b = -x - 0*x + 4 for x.
4
Suppose 2 = 4*l - 5*j, -2*j - 3*j + 25 = 5*l. Let b be 0*l*(-2)/(-6). Solve -4*n + 2*n - 8 = b for n.
-4
Suppose -w - 5*i = 4, 9*w + 8 = 7*w + 5*i. Suppose 2*q + 3*m - 2*m = 0, 3 = q + 2*m. Let d be -3*(-3 - w)*q. Solve -10 = -d*f + f for f.
5
Suppose -3*d - 35 = -8*d. Let p(k) = k**3 - 6*k**2 - 5*k + 1. Let x be p(d). Let y = 15 - x. Solve y = 2*o + 2*o + 12 for o.
-3
Let s(t) = 5*t + 41. Let o(d) = -11*d - 83. Let k(i) = -3*o(i) - 7*s(i). Let y be k(-21). Solve 1 = -g - y for g.
-5
Suppose -2*y - 76 = -5*v, 0*v - v - 2*y = -20. Suppose 18*i - v*i = -14. Let f(s) = s**2 + 6*s. Let g be f(i). Solve 0 = 4*m - 5 - g fo