 be q(0). Let t = w + -32. Solve 5*k - k - 4 = t for k.
1
Let s be 20/90 + 4/(-18). Suppose -5*l - 2*u - 35 = s, 3*l - 4*l - 7 = -2*u. Let r = l + 27. Solve 5*i + r = -5 for i.
-5
Let w(f) = 18*f - 21. Let v be w(2). Suppose -5*l - 4*a + 50 = 0, 6*a - 19 = l + a. Suppose 4*r - l = 3*r. Solve b - r*b = -v for b.
3
Suppose 24*j - 29*j = -25. Suppose 2*w = -j + 1. Let b be (7 + -8)/(w/4). Solve b = m - 3 for m.
5
Let t = -7 - -8. Let m be 2/9 - 110/90. Let n(h) = -4*h - 1. Let s be n(m). Solve -s = -o + t for o.
4
Let w be ((-6)/7)/((-8)/28). Suppose 0 = -3*n - n + 20. Suppose -k - w = -n*i, -3*k + 2*i - 4*i = -42. Solve 0*r - 3*r = -k for r.
4
Let b = 1042 + -1038. Let o be 146/10 + 2/5. Solve -b*l = l + o for l.
-3
Suppose 3*r - 5*d + 5 = 0, -5*r - 3*d - 9 = -12. Solve r = -26*b + 23*b + 9 for b.
3
Let p be (6/12)/((-2)/(-24)). Suppose 2*x + 3*o - 4 = -0, -3*o = 5*x - 10. Suppose -2*w + w = -x. Solve -2*h + w = -p for h.
4
Let s = -1254 - -1328. Solve 3*b = 62 - s for b.
-4
Let c be ((-1)/(-4))/(7/56). Suppose c*l - 11*l = 0. Solve -m + 3*m - 4 = l for m.
2
Let s be 6/((-1)/(6/(-9))). Let r(n) = n**2 - 8*n + 6. Let i be r(s). Let q be 3/(-9) + i/(-3). Solve 2*f + 1 = -q for f.
-2
Let g be 20 + (-5 + 4 - -2). Suppose 5 = -2*o - 2*q + g, 3*q = 3*o. Solve -o*x = -5 - 7 for x.
3
Let b be (-4165)/(-28) - -6 - (-1)/4. Let p = b + -150. Solve -3*m + p*m = 8 for m.
4
Let t(d) = d - 1. Let k be t(6). Let m be ((-9)/(-6))/(3/4). Suppose 0 = -m*b + p + 3, -2*b - 2*p + 3 + 3 = 0. Solve -b*q + k = -3*q for q.
-5
Suppose w - 1 = 1. Let g = 5 - w. Suppose 4*r = h + 2*h + 47, -h - 53 = -4*r. Solve 1 = -g*a - r for a.
-5
Let u(f) be the first derivative of -2*f**3/3 - 3*f**2/2 - f + 26. Let k be u(-1). Solve -4 = 2*c - k*c for c.
-2
Suppose -4*a - 4 - 17 = -l, 3*a - 18 = -3*l. Suppose 4*v - l = v. Solve -p = -v + 7 for p.
-4
Let h = 88 + -62. Suppose 2*f - 68 = -h. Let i be 5/20 + f/12. Solve i*r - 1 = 5 for r.
3
Let s = -17 + 17. Suppose s = -8*x - 7 + 7. Solve 3*p + x = 3 for p.
1
Let g = 78 - 80. Let y be g/4 + (-45)/(-10). Solve -5*v - 6 = y for v.
-2
Let g = -21 + 38. Suppose -g*d = -21*d + 44. Solve -1 = -2*s - d for s.
-5
Let y(g) be the second derivative of g**5/20 + 3*g**4/4 + g**3/2 + 29*g**2/2 - 9*g. Let c be y(-9). Solve c + 0 = -s for s.
-2
Suppose 22*v - 254 = 10. Suppose 0*j + 3*j - 51 = 0. Let o = j - v. Solve -o = s - 0*s for s.
-5
Suppose 5*w = b + 22, -5*w + 62*b + 18 = 63*b. Solve -h = -w*h + 12 for h.
4
Let b be 12/10*((-184)/(-12) - 7). Solve s + 7 = b for s.
3
Suppose -o + 3 + 2 = 0. Solve o*h = 6*h + 2 for h.
-2
Let m be (-26)/(-8) - (-7)/(-28). Let x = -5 + 8. Suppose -m = -x*h + 2*h. Solve -h*t = -0*t for t.
0
Suppose 5*p + 2*j = -0*j + 25, -j - 1 = -2*p. Suppose 3*r = -9, -5*m + 1 + 33 = -p*r. Solve -m*b = -8*b + 9 for b.
3
Let w(q) be the second derivative of -q**5/20 + q**4/3 - q**3/2 - 2*q. Let n be w(2). Suppose n*g = g. Solve -4*r + 8 = -g*r for r.
2
Let y(s) = s**2 - 8*s - 16. Let k be y(10). Let u be (1 + (-6)/k)/((-2)/8). Solve -u*n - 3 - 1 = 0 for n.
-2
Let r be (-48)/20*-5*(-21)/(-9). Solve -r*t = -33*t + 25 for t.
5
Let f(y) = y**3 - 21*y**2 + 2*y - 40. Let q be f(21). Solve -q*i + 0 = 8 for i.
-4
Suppose -14*u + 11*u + 15 = 0. Solve 5 = u*w - 0 for w.
1
Let h = -239 - -256. Let m = -5 - -2. Let l = m + 8. Solve l*t - 8 = h for t.
5
Suppose -s + 4 = -j + 1, 3*s - 2*j - 14 = 0. Suppose -3*y - 5 = -s*y. Solve y = b - 0 for b.
1
Suppose -3*i - 7*i = -60. Let y(h) = -h**2 + 2*h - 1. Let o be y(1). Let k = 2 + o. Solve -i = k*w + w for w.
-2
Suppose -b - 585 = -10*b. Let k be (-228)/(-39) + 10/b. Solve k*v = v - 25 for v.
-5
Let p(k) = -9*k - 14. Let y(s) = 10*s + 15. Let v(b) = 7*p(b) + 6*y(b). Let f be v(-4). Suppose 0 = -3*u - f*u. Solve u = -2*c + 5 + 5 for c.
5
Let x = -18 - -63. Let r = 49 - x. Solve -r*s - 2 = 10 for s.
-3
Let o(h) = -h + 4. Let r be o(2). Let l be (12 - 1) + (3 - (-2 - -6)). Solve 0*u = -r*u + l for u.
5
Let i = 245 - 243. Solve -i = d - 6 for d.
4
Let p be 0/(2 + -1) + 5. Let m = 14 - p. Suppose -36*g + 87 = -7*g. Solve g*a = 24 - m for a.
5
Let l be ((-30)/75)/((-2)/120). Let j = -16 + l. Suppose -j*d = -2*d - 54. Solve c - 4*c = d for c.
-3
Let b = -46 + 43. Let s(k) = -4*k - 10. Let z be s(b). Solve -q - 4 = -z*q for q.
4
Let u(n) = 10*n**2 - 140*n + 17. Let t be u(14). Solve -5 = -4*m - t for m.
-3
Suppose -l = 2*i - 41, -18 = -3*i + 2*i + 2*l. Solve 5*a = 10*a - i for a.
4
Let l = 443 + -433. Solve 5*x = -0 + l for x.
2
Let g = 10 + 4. Let m be (-10)/35 - (-32)/g. Suppose m*s - 6*s + 124 = 0. Solve 4*q + 11 = s for q.
5
Let j = 134 + -127. Suppose 2*t = 11 + j. Solve 0 = -5*w + 29 - t for w.
4
Let t be 1*20/(-16)*-4. Let s be 4/t*25/10. Solve l = -s*l for l.
0
Suppose 0*p = -4*p + 20. Suppose p*j - 13 = -3. Solve w + j = -2 for w.
-4
Let p(v) = v**2 + 14*v - 26. Let t be p(-16). Let d be 9/t - (-3)/10*-5. Solve d = 2*y - 0 + 4 for y.
-2
Let w(j) = 13*j**2 - 1. Let k be w(-1). Let y(o) = 1 + 0 + 2*o - 18. Let m be y(k). Solve 1 = 2*p + m for p.
-3
Let j be 3 + (26 - -4) + -2. Let d = j - 25. Solve -2 = 2*n - d for n.
2
Let l be ((-2)/6)/((-3)/18). Solve 3*q + 11 = l for q.
-3
Let j be (-3)/5*(-3 + -7)*1. Solve -5 = -j*z + z for z.
1
Suppose 0 = -2*p - 5*k - 235, -2*k = 4*p + 3*k + 495. Let r = -110 - p. Solve 6*o - 11*o + r = 0 for o.
4
Let c(r) be the second derivative of r**4/12 + 5*r**3/6 - 5*r**2 - 18*r. Let j be c(4). Solve j - 6 = 5*k for k.
4
Let v(n) = n**3 - 5*n**2 - 4*n - 18. Let o be v(6). Let k(r) = -3*r - 13. Let x be k(o). Solve 22 + 3 = x*p for p.
5
Let s(v) = -v - 2. Let m = 14 + -16. Let x be s(m). Solve 2*h - h = x for h.
0
Let a(m) = -16 + 88 + 14*m + 2*m - 18*m**2 + m**3 - 40. Let f be a(17). Solve f = -x - 2*x for x.
-5
Let n(h) = 2*h**2 - 48*h + 50. Let p be n(23). Solve -3*d = p*d - 7 for d.
1
Suppose -2 = -5*z + 3. Suppose -5*r + 2*o + 19 = 0, 17 = 3*r - o + 6. Solve -5 = r*y + z for y.
-2
Let f = -22 + 22. Suppose 2*p - 2 - 2 = f. Let n(s) = s**2 + 3*s. Let y be n(-3). Solve -2*v + 0 - p = y for v.
-1
Let y(x) = 3*x**2 - 16*x - 114. Let q be y(-5). Solve -5*c = -q + 56 for c.
-3
Let l be (-224)/(-80)*1*-10. Let a = 36 + l. Solve 5*f - 3*f - a = 0 for f.
4
Let v(f) = f**2 - 4*f - 9. Let c be v(7). Let l(b) = b**3 - 13*b**2 + 12*b + 16. Let g be l(c). Let o = -16 + g. Solve o = -3*r - 3 - 0 for r.
-1
Suppose 0 = -3*p - 3 + 18. Suppose p*n - 28 = n. Let r = n - 1. Solve -k - 2 = -r for k.
4
Suppose -41*x + 38*x + 33 = 0. Suppose -4 = -x*j + 51. Solve 3 + 7 = j*u for u.
2
Suppose 4*t - 126 = -5*t. Suppose -v + 1 = 3*g - 6, -4*v = -g - 15. Let k be g + -2 + 4/4. Solve k = 2*u + 4 - t for u.
5
Let o(c) = 9*c - 23. Let q be o(5). Let n = q + -20. Solve n*t = 4*t for t.
0
Let f(h) = h**3 + 13*h**2 - 31*h - 13. Suppose -16*b - 151 = 89. Let c be f(b). Solve 2 = 4*s - c for s.
1
Let n = 226 - 222. Solve -3*p = -n*p - 5 for p.
-5
Let m be 2/14 - 7676/(-707). Solve -7*n + m*n = 16 for n.
4
Suppose -60*i + 58*i + p = -30, -5*p = 0. Solve 0 = 14*k - 19*k - i for k.
-3
Suppose x - 2001 = -1997. Solve x*h = 4*h - h for h.
0
Suppose 45*f + 1134 = 63*f. Solve f*a = 62*a for a.
0
Let j(r) = r**2 - 15*r - 33. Let h be j(18). Let k = 25 - h. Solve -k = -2*z + 4*z for z.
-2
Suppose 2*l - 5 = 1. Let u be 6/(-18) - (-7)/l. Let z be ((-154)/(-21))/((-2)/(-6)). Solve -u = 4*h - z for h.
5
Suppose -3*n = -x + 59, -n + x + 0*x - 17 = 0. Let b be (-6)/n + 342/(-21). Let v = b + 43. Solve 2 - v = 5*k for k.
-5
Let i be (-356)/(-16) + (-2)/8. Suppose 2*b = k - i, 4*b - 2*k + 3*k + 32 = 0. Let o be 3*6/b - -10. Solve -2*j + 2 = o for j.
-3
Let s = 57 - 54. Suppose s*v - 6*v + 12 = 0. Solve 2*w = v - 14 for w.
-5
Let x be 1 - (3 + 3 + -1). Let i = 8 + x. Suppose -5 = -i*c + 7. Solve -c*s = -s for s.
0
Let q be 7 - (-4 + 0 - -7). Suppose 5*k - 3*k - q = 0. Solve 0 = -0*a + k*a + 4 for a.
-2
Let q be (-45)/(-10)*(-2)/(-3). Let v(w) = w**2 - 2*w - 1. Let u be v(3). Let y = 1016 - 1016. Solve -u*g + q*g + 4 = y for g.
-4
Let b(s) be the third derivative of -s**5/60 + 11*s**4/24 + 31*s**3/6 + 22*s**2. Let d be b(13). Solve 0*a + a + d = 0 for a.
-5
Let z be ((-12)/8)/(1/2). Let s = z - -6. Suppose -s*w + 19 = 4. Solve w*y + 3 = 6*y for y.
3
Let p(n) = 4*n**2 - 61*n - 45. Let v(z) = -2*z**2 + 31*z + 23. Let 