pose -1 = w - 4*b + 16, -4*w + 37 = d*b. Solve 0 = -u*a + w*a for a.
0
Let w = -34 + 14. Let u = -117 + 112. Let b be 6/(u/(w/8)). Solve -4 = -b*a + 5 for a.
3
Let c be -4 + -2*13/(-2). Let g = c - 10. Let l be -4*g/(4 - 3). Solve -3*f + 8 = -l for f.
4
Let o = 484 - 484. Solve o = -5*t - 20 - 0 for t.
-4
Suppose 11*l = 20*l - 45. Let y = 19 + -15. Solve u - l = -y*u for u.
1
Suppose 41*p - 18 = 35*p. Solve p*i = 13 - 4 for i.
3
Let p(i) = i**3 - 3*i**2 - 8*i + 28. Let o be p(3). Solve o*l = -l for l.
0
Suppose 0 = -11*z + 36*z - 775. Solve 4*l = 47 - z for l.
4
Suppose 0 = q + 3*l + 30, 2*l - 6 = -l. Let a be (-2)/(q/158) + (-18)/(-81). Solve 0 = -0*g - 3*g + a for g.
3
Suppose 88 + 28 = 29*u. Solve u*s + 13 = 25 for s.
3
Suppose -49 = -3*r - 5*y, 0 = 5*r - 7*y + 2*y - 95. Solve 6*g - r = 6 for g.
4
Suppose -4 = -4*j - 0*j. Let c be 72/3 + -3 - j. Let s(r) = r**3 + 2*r**2 - 1. Let l be s(-1). Solve o + 3*o - c = l for o.
5
Let o(j) = 3*j + 9. Let m be o(2). Suppose -m = -h - 0*h. Solve 8*l + h = 3*l for l.
-3
Suppose -16*c + 11*c - 5*f + 40 = 0, c - 8 = -2*f. Solve -20 = 7*n + c for n.
-4
Let b = 1007 + -1004. Solve b*w + 3*w = 2*w for w.
0
Let b(y) = -y**3 - 8*y**2 - 6*y + 6. Let i be b(-7). Let t(f) = 2*f**2 - 11*f - 6. Let p be t(8). Let q be ((-17)/p)/(i/8). Solve 0 = -3*v + q*v for v.
0
Let v be 1 - (-1)/(-1 + 2). Suppose -3*d = -3*o + 31 - 4, 8 = -4*d - 3*o. Let b(n) = -n**3 - 4*n**2 + 5*n. Let q be b(d). Solve q = u - v*u - 1 for u.
-1
Suppose 5*s - 2*w + 0*w - 381 = 0, -5*s + 389 = 2*w. Suppose s = -4*j + 141. Solve 0 = -h + 5*h + j for h.
-4
Suppose -115*t + 100*t + 75 = 0. Solve -t*v + 14 = -6 for v.
4
Let d = -1572 + 1607. Solve 0 = 4*x - d + 19 for x.
4
Let c be 1/((0 + -1)/(-12)). Let k be 22/11 + (0 - -2). Let b(u) = 5*u**2 + 39*u. Let f be b(-8). Solve f = k*i - c for i.
5
Let f = 1508 + -1490. Solve -t = 15 - f for t.
3
Let h = 2 + -2. Let n(b) = -b**2 - 10*b - 20. Let z be n(-6). Let f(y) = y**3 - 6*y**2 + 5. Let x be f(6). Solve h = s - x*s + z for s.
1
Let z(i) = -2*i**3 - 14*i**2 - 13*i + 11. Let o be z(-6). Solve -8 = 3*a - o for a.
3
Let a(p) = -3*p - 12. Let r = 20 - 26. Let u be a(r). Let v be u - 7 - -3*1. Solve d - 2 = v*d for d.
-2
Let p be ((-168)/(-105))/(6/15). Suppose 2*g - 3*g + 3*y = -3, -2*g - 5*y = -6. Let k = 23 - g. Solve -k = p*l + l for l.
-4
Let x(c) = 2*c**3 - 3*c**2 + c + 4. Let p(i) = -i**3 + 3*i**2 - i - 4. Let k(q) = 3*p(q) + 2*x(q). Let r be k(-2). Suppose 5*z = r*z. Solve -a - 4*a = z for a.
0
Suppose 3*l = l + 4. Suppose 5 = 5*d - 5, -d + 32 = l*w. Let j be 36/w + 9/15. Solve j*g + 8 = -g for g.
-2
Let d be 324/(-567) - (-1 - (-6)/14). Solve 0 = -o - d*o for o.
0
Let p(j) = -j**2 - 13*j + 8. Let r be p(-12). Solve -167*f + 171*f = -r for f.
-5
Let u = -15 - -13. Let o = u + 8. Let p(c) = -c**2 + 6*c + 2. Let l be p(6). Solve -l*b - 2 - o = 0 for b.
-4
Let z be ((-105)/6)/((-15)/60*2). Solve 7*k + z = 63 for k.
4
Let o = 30 - 19. Solve 11 - o = -2*f for f.
0
Let s = -469 - -472. Solve -9 = -s*w - 15 for w.
-2
Let t be (-1)/7 - ((-228)/28 + 8). Solve 4*m - 3*m - 2 = t for m.
2
Suppose -182 = 2*d - 262. Solve -20*f + d + 60 = 0 for f.
5
Let l = -21 - -27. Suppose 2*g = l*g. Solve 3*a = -g*a for a.
0
Suppose -3*o + 5*s = s + 481, 632 = -4*o + 3*s. Let p = o - -157. Solve u = -u + p for u.
1
Let d = 1436 - 1432. Solve -5*b - 24 + d = 0 for b.
-4
Suppose p - 20 = -4*d + 25, 20 = 3*d - 2*p. Suppose 0 = -5*b - 2*n + 50, -9 = -2*b + 2*n + 25. Solve b*t + d = 17*t for t.
2
Let x(b) = -18*b + 74. Let q be x(3). Solve 0 = q*g - 16*g - 4 for g.
1
Suppose 0 = -4*p + 40 + 8. Solve p*y - 20*y = 40 for y.
-5
Let r = -4 - -13. Suppose 0 = -r*s + 86 - 32. Solve 2 = 8*u - s*u for u.
1
Let u = 251 - 247. Solve -u*w + 4 = -2*w for w.
2
Suppose 0 = 4*j - 8*j - 24. Let t = -12 - j. Let y be ((-4)/t)/((-2)/(-9)). Solve y*r + r = 0 for r.
0
Suppose 0 = -0*n - 15*n. Solve l - 2 + 4 = n for l.
-2
Suppose 180 = 289*g - 274*g. Let k(x) be the first derivative of x**2/2 + 8*x + 1. Let w be k(-6). Solve -5*y + g = -w*y for y.
4
Suppose -8 = -6*f + 4*f. Suppose -f*j + 7 = -13. Let k = -17891 + 17891. Solve k*a = -a - j for a.
-5
Let b = -260 - -260. Solve -3*c + c - 8 = b for c.
-4
Let r = -275 - -279. Solve r*i = i for i.
0
Suppose 60 = 3*o + 12*o. Solve 6 = 6*g - o*g for g.
3
Let x = 45 + -42. Suppose -2 = 2*i + 3*b + 1, -b + 13 = -4*i. Let g be (-7)/i + 6/(-18). Solve x*n + g = -1 for n.
-1
Let a be ((-8)/(-36))/(6/54). Solve 0 = v + a*v for v.
0
Let j be 6/4 + (-9)/18. Let x(s) be the third derivative of s**4/12 - 5*s**3/6 + 3*s**2. Let d be x(8). Solve -j - d = 3*q for q.
-4
Let p = 1243 - 1227. Solve 14*a - p*a + 10 = 0 for a.
5
Let x = -2 + 2. Solve 3 = -3*t - x for t.
-1
Let x be (-21)/(-35)*15/1. Let r = x + -5. Suppose n - 13 + 33 = -5*d, -3*n + 35 = -r*d. Solve n - 2 = -q for q.
-3
Suppose 647*w - 594 = 629*w. Solve 23*x + 30 = w*x for x.
3
Suppose l - 66 = -4*l - y, 5*l - 4*y - 61 = 0. Suppose -4*f - 4*n = -20 - 0, -3*n = 2*f - l. Solve -f*d = 2*d for d.
0
Let v = -27 + 22. Let x be v/(-25) + (-2)/10. Solve -l + 1 = -x for l.
1
Let a(j) be the third derivative of -j**5/60 - j**4/4 - j**3 + 6*j**2. Let w be a(-4). Solve 3 = y + w*y for y.
1
Let a(c) = -c**2 - 4*c - 2. Let r(k) = -k**2 + 5*k + 21. Let u be r(8). Let n be a(u). Solve 2*j + 9 = n for j.
-4
Let b be ((-24)/18)/((-16)/36). Let a be (b/(-2))/(6/(-4)). Solve -3*x - a = -4 for x.
1
Suppose -147 = 2*w + w + 3*s, 5*w - s = -215. Let y = w - -48. Solve -y*u + 6 - 26 = 0 for u.
-5
Let x = -970 + 975. Solve -x*i = -5*i - 7*i for i.
0
Suppose -4*s - 15 = -39. Suppose -3*t = -s*t + 75. Solve -3*d - 2*d + t = 0 for d.
5
Let h be (-40)/12*(-6 - -3). Let a = h + -16. Let s be (-8)/(-60)*a*-5. Solve -2*j = -s*j for j.
0
Suppose -2*k = 4*d + 80, 6*d - 3*d + 46 = 2*k. Let p be (-384)/(-15) + d/30. Solve 0 = -0*i + 5*i - p for i.
5
Suppose 8 = 2*l, -3*a + l + 2 = -3. Suppose a*c = 2*c. Suppose -3*g - 2*g + 10 = c. Solve g*o + 16 = -2*o for o.
-4
Suppose 15 = 7*f - 2*f. Suppose -x - f = 3*z, -3*z + 33 = 5*x - 4*z. Solve -x*u = -3*u + 9 for u.
-3
Suppose 7*v - 48 = -48. Solve c + v*c = 0 for c.
0
Suppose 0 = 2*s + 3*s + y - 54, 2*y - 28 = -2*s. Let w = s - -5. Suppose 2*h + 5*d = w, 2*h = -3*d - d + 12. Solve 5 = -h*z - z for z.
-5
Let w = -1 - -11. Suppose 0 = 3*v - 7*v, 2*v = -2*x + w. Let j be (-4 - -7)/(3/8). Solve -j = -x*u + 7 for u.
3
Let t(b) = -b**2 - 14*b - 22. Let d be t(-2). Solve 9*i - 7*i + d = 0 for i.
-1
Suppose -32 = n + r, -5*n - 121 - 39 = 3*r. Let o = n - -35. Suppose 4*z = o*d - 26, -4*d + 15 = -2*z - 13. Solve 0 = 4*t - d - 2 for t.
2
Let m be ((7 + -7)/4)/(-4). Solve m = 2*i + 3*i - 25 for i.
5
Let k be 225/10 - 8 - 3/(-6). Solve 0 = -37*h + 34*h - k for h.
-5
Let m be (3/(-2))/(39/(-416)). Let d(j) = j - 10. Let q be d(m). Let l be ((-2)/3)/(q/(-45)). Solve 0 = l*p + 5 for p.
-1
Let w(s) = s**3 + 5*s**2 - 8*s + 3. Let v be w(-6). Suppose q - 3*q = 0. Suppose 0 = -3*n + v - q. Solve -n + 2 = -p for p.
3
Suppose -4*k + 16 = -x, 3*k + x = 6*x + 29. Suppose 56 = -r - k*r. Let j be (-4)/r + 10/(-35). Solve j = -4*h - 3 - 9 for h.
-3
Let n(x) be the third derivative of -x**5/60 - 7*x**4/24 + x**3/3 + 13*x**2. Let d be n(-5). Solve 4*q - d = -0 for q.
3
Let o be (8*6)/(9/(-6) - 0). Let y = -32 - o. Solve s - 2*s - 2 = y for s.
-2
Let s be (-26)/(-10) - (-12)/(-20). Solve -5*n = -s*n + 3 for n.
-1
Let r(k) = -4*k - 4. Let t be r(-9). Suppose 0 = c - 3*c + t. Let i = -22 - -26. Solve 0*a - c = i*a for a.
-4
Let p be 4/(4/(-6)*12/(-16)). Suppose -9*b = p*b - 204. Solve 0 = -3*z - 0 + b for z.
4
Let p(k) = -k + 13. Let b(a) = -a**3 + 3*a**2 + 3*a + 1. Let f be b(3). Let n be p(f). Suppose n*j + 3 = 18. Solve j*c = 6 - 1 for c.
1
Let o(b) = 7*b - 152. Let a be o(22). Solve 4*p - a*p = -8 for p.
-4
Let i(p) be the first derivative of -5 + 3*p - 1/3*p**3 + 7/2*p**2. Let d be i(7). Solve -d*m + 4 = 10 for m.
-2
Let m(l) = -l**3 - 4*l**2 - 5*l - 3. Let w be m(-3). Let t be 3/((-192)/256 + (-26)/(-24)). Let x = 0 - 0. Solve x - t = w*p for p.
-3
Let w be 42/35*(-20)/3. Let c = w + 15. Solve 4*d = c*d for d.
0
Let t be (-6 - 150/(-20))*4. Solve -t*l - 17 - 7 = 0 for l.
-4
Let c = -367 + 367. Solve 4*f + f + 5 = c for f.
-1
Let o be 5/20 + 46/8. Let c = o + -6. So