be the second derivative of t**5/20 + t**4/3 + 3*t**2/2 + 2*t. Let w be c(a). Solve 3*k + 0*k = -w for k.
-4
Let d(l) = 12 - 3*l + l + 4*l - 3*l. Suppose -5*j = -3*k - 1 + 18, j - 2 = 0. Let c be d(k). Solve c = -i - 1 for i.
-4
Let m be 6/2 + 0 + -3. Suppose 0 = 3*z - z - 4. Solve m*g = g + z for g.
-2
Let o(n) = 2*n**3 + n**2 + n - 2. Let b be o(1). Solve r = -r + b for r.
1
Let u = -4 - -6. Let r be 3/3 - 1/(-1). Let s = u - r. Solve s*j = -5*j + 25 for j.
5
Let o(s) = s - 1. Let k be o(4). Suppose -m = -5*a - 14, 60 = 3*m - 0*m + 3*a. Let r be m/7 - (-8)/28. Solve r*t - k = -0 for t.
1
Let k be 4/3 - (-4)/6. Suppose 6*w - k = 4*w. Solve -1 = 2*q + w for q.
-1
Suppose 3*g - 27 = 24. Suppose -2*c + 43 = 5*j, 0 = c + j - 0*j - g. Suppose y + 4*b - 2 = -6, 3*y = -4*b + 4. Solve -y*r = c + 2 for r.
-4
Let h(p) = -5*p. Let q be h(1). Let v(t) = -t**2 - 7*t - 7. Let i be v(q). Let r = 4 - i. Solve -s = r - 0 for s.
-1
Suppose 2*z + 14 = 24. Suppose 5*o = h + 20, 4*o + 10 = -o - z*h. Solve -o*g = g for g.
0
Let i(u) = u**3 + 6*u**2 + 4. Let a be i(-6). Let y be ((-27)/(-36))/(1/a). Suppose 0*v = 3*v - 5*m + 14, 4*m - 6 = 5*v. Solve -v*o = y*o - 25 for o.
5
Let f(a) = -a + 21. Let z be f(16). Let y be (1/(-3))/((-6)/36). Solve -y*c - z = -c for c.
-5
Let k be 5 + (2 - 1 - 1). Let g be 8*1 - (-5 + k). Suppose -g = 4*v - 6*v. Solve -a - v = 3*a for a.
-1
Suppose -4*h + 3*h + 3*h = 0. Solve 0 = -4*c - h*c + 16 for c.
4
Let b be 32/6 + 6/9. Solve 0 = p - b*p for p.
0
Let g(q) = q**2 + 3*q - 2. Let z = -24 - -19. Let n be g(z). Let t = 9 - 4. Solve -l + n = -t*l for l.
-2
Let r be (0 + -1)/((-2)/14). Let p(q) = q**3 - 7*q**2 + 4. Let c be p(r). Suppose 3*j + 0 - c = -5*w, -4*j + 16 = -4*w. Solve -j*h + 3 + 0 = 0 for h.
1
Let v = 5 - 4. Let t be (v - 0) + -3 + 2. Solve -5*h + 11 + 4 = t for h.
3
Suppose 2*h - 4*j - 8 = 0, 6*j + 10 = -2*h + j. Suppose 2*o - 7 = 27. Suppose 3*x - o = -3*g + 4*g, 0 = 4*x - 2*g - 24. Solve x*s + h = -15 for s.
-3
Let r be -3 + -1 - 0 - -7. Solve 1 = -r*f - 2 for f.
-1
Let c = 4 + 2. Let s(a) = 4*a**2 + 2*a**3 + 12*a - a**3 + 10*a**2 - 11. Let v be s(-13). Solve c*y = v*y - 4 for y.
-1
Let r = -48 + 50. Solve 1 = x - r*x for x.
-1
Suppose -2*g = 2*f + 4 + 16, 0 = f - 4*g + 10. Let b be f*1*2/(-4). Suppose 0 = -b*i + 2*i + 60. Solve -d - 4*d = i for d.
-4
Let k be 2/(-9) - (-225)/(-81). Let c be 0 - k - (1 - -2). Let u be 1/(-4) - 25/(-4). Solve c = u*l - 2*l - 16 for l.
4
Let s = -100 - -151. Suppose 5*i = 2*i + 3*z + s, 0 = 5*i - 2*z - 88. Suppose -d - i = -4*d. Solve d*b = 2*b + 16 for b.
4
Let v = 2 - -7. Solve -3 = 4*a + v for a.
-3
Suppose -61 = -4*p - 5. Solve 0 = -3*f + 1 + p for f.
5
Let u be (5 - 1)/(4/6). Let c(d) = -d - 2. Let g be c(-2). Suppose 3*t + g*t - u = 0. Solve -t*n + 6*n - 20 = 0 for n.
5
Suppose 3*l + 2 = 11. Solve 8*k = l*k for k.
0
Let t(m) = m**3 + 6*m**2 + m + 6. Let x be t(-6). Solve 0*v - 4*v = x for v.
0
Let u = -5 + 8. Let v = 7 + u. Solve v - 4 = 2*j for j.
3
Let p(x) = -x - 3. Let f be p(-6). Solve -f*i = -0*i for i.
0
Let d = 10 + -6. Suppose -d*m - m = -20. Solve m*i = -9 - 3 for i.
-3
Suppose -5*k = -0*k - 65. Solve -4*b + 5 - k = 0 for b.
-2
Let g = 6 - -1. Suppose -5*j = 3*b + 3, 4*b + 20 = j - g. Let f = b + 7. Solve 2*v - f + 9 = 0 for v.
-4
Suppose -14*m + 60 = -8*m. Solve -5*c = -3*c + m for c.
-5
Let m(l) = l**3 + 10*l**2 + 10*l + 12. Let n be m(-9). Solve -8*b + 11*b = n for b.
1
Let h = 3 + 14. Suppose -2*r + h + 5 = 0. Solve 14 = 5*d - r for d.
5
Suppose -82 - 43 = -5*x - b, -4*x + 4*b = -100. Suppose -k + x = 4*k. Suppose -k*z = 2 - 12. Solve 4*s - 10 = z for s.
3
Let t(a) = -a**2 - 10*a - 6. Let u be t(-8). Solve 3*o - 1 = -u for o.
-3
Let f = -19 - -23. Solve -f = 2*l + 6 for l.
-5
Let d be (-2 + 3)/(2 - 1). Let h be (d + 1)*(-4 + 5). Solve 0 = h*a - 6*a for a.
0
Suppose 0 = 5*v + 3*w - 17, 0*v - 3*w = -v + 7. Let s(t) = -4*t + 4. Let d be s(-4). Suppose -5*r = -0*r - d. Solve -r*c - 16 = -v for c.
-3
Let v = -1 - -4. Suppose -38 = -3*t + 118. Suppose 44 = 4*o - 2*u, -4*o + 4*u + t = -0*u. Solve v*x = -0 + o for x.
3
Let t be (-2 + 1)*(12 - -3). Let f = -12 - t. Solve 0*j = -3*j + f for j.
1
Suppose -4*r = -20, 7*u - 5 = 4*u + 2*r. Suppose -3*l = -7 - u. Let i be 0/((0 + -1)/(-1)). Solve g + l = -i for g.
-4
Let v be (-1)/3 - 39/(-9). Solve o + 15 = -v*o for o.
-3
Let r(o) = o**3 - o + 24. Let f be r(0). Suppose 4*t + 2*x = 6*x + f, 16 = 5*t + 2*x. Solve -33 = -t*g - 13 for g.
5
Let m be 3*(-2 + 2/(-3)). Let z be (-1 - 25)/(m/4). Solve 0 = 5*y - z + 3 for y.
2
Let c = -5 + 8. Let t(u) = 2*u**2 - u + 2 - c*u**2 + 0*u. Let v be t(0). Solve -v*k = -0*k - 10 for k.
5
Suppose 5*x + 1 = h, 0*h - 5 = -3*x - 5*h. Solve x = -t - 0*t for t.
0
Suppose -28 - 7 = -5*c. Suppose c*f - 4*f = 12. Solve -i = f*i for i.
0
Let a = -8 - -13. Suppose -2*s - 2*w + 0 = -2, a*s - 26 = 2*w. Solve -s*u + u = 3 for u.
-1
Suppose -y - 3*y = 252. Let s = y - -93. Suppose -3*u = -s - 15. Solve 0*d = -3*d - u for d.
-5
Suppose 0*q + 2*q = 20. Let x(z) = 4*z**2 - z. Let m be x(1). Solve -m*s - q = -1 for s.
-3
Let m = -9 + 5. Let g = m + 7. Solve g*o - 7 = 2 for o.
3
Suppose -w - 4*v - 11 = -4*w, -w - 3 = -3*v. Solve 0 = -b + 4*b - w for b.
3
Let x be ((-10)/(-4))/(2/12). Suppose 2*t = t - 10. Let q be (-9)/(-5) + (-2)/t. Solve -q*g = g - x for g.
5
Suppose u = -4*u. Let a = -31 + 33. Solve u = 3*r - 4 - a for r.
2
Suppose -8 = -h + o, -4*h = -2*h + o - 4. Solve -3*s + 11 = -h for s.
5
Let b(j) = j**2 - 11*j - 3. Let i be b(12). Let v(h) = -h**2 - 3*h + 3. Let l be v(-3). Solve -3*o + l = -i for o.
4
Let f = -152 + 160. Solve -1 - f = 3*m for m.
-3
Let l(u) = -u**2 + 6*u + 10. Let i be l(8). Let v(h) = -h**3 - 7*h**2 - 6*h + 3. Let m be v(i). Suppose 0*t + m = t. Solve t*s = 1 - 4 for s.
-1
Let l(c) = c**2 + c. Let o be l(1). Suppose -o*r - 1 = -9. Solve 7*a = r*a + 9 for a.
3
Suppose -a = -6 - 5. Let r = a - 3. Suppose -n = 5*p - 105 + 75, -p - 5*n + 30 = 0. Solve 0 = -l + p*l - r for l.
2
Let w(m) = m**2 + 2*m - 3. Let r be w(2). Let h = 11 - r. Suppose -u + 3 - 1 = 0. Solve 4*x = -h - u for x.
-2
Suppose -19*x = -24*x + 10. Suppose 13 = 4*w - 3. Solve -6 = -w*a - x for a.
1
Let a(k) = k**3 + 5*k**2 - 8*k. Let w be a(-7). Let q be ((-2)/3)/(4/w). Let p = -1 + q. Solve m - p = -4 for m.
2
Let l be 2*((-15)/(-6) - 1). Suppose 0 = m + l*m - 76. Solve m = -3*u + 4 for u.
-5
Let r(w) = 9*w. Let v be r(1). Let p = -7 + v. Solve 10 = -2*i + p for i.
-4
Suppose -19 = -4*z + 17. Suppose -59*i + 53*i = -30. Solve -z*v = -i*v for v.
0
Let l be (-20)/15 - 16/(-12). Let k be ((1 - 0) + 0)*4. Let w = k + l. Solve 5*o - 1 = w*o for o.
1
Let v = 27 + -24. Solve -v*y = -2 - 1 for y.
1
Let j(i) = i**2 - 6*i + 5. Let m be j(5). Suppose m = o + 3*u + 7 + 2, 0 = o + 4*u + 13. Solve -o*f + 12 = f for f.
3
Let s(q) be the second derivative of 2*q**4/3 - q**3/3 + q**2/2 + q. Let f be s(1). Suppose -2*a + f - 1 = 0. Solve -2*k + 1 = a for k.
-1
Let b(k) = -k**2 - 5*k - 2. Let g(z) = z**3 - 15*z**2 + 14*z - 4. Let j be g(14). Let c be b(j). Solve -2*m + c = -4*m for m.
-1
Let v(j) = -j**2 - 4*j + 2. Let k be v(-3). Solve -2*l = 3*l - k for l.
1
Suppose 0 = 9*d - 4*d - 25. Let g(a) = a**2 - 8*a + 3. Let z be g(d). Let i be (6/(-9))/(2/z). Solve -i*f + 6 = 2 for f.
1
Let o = 117 + -114. Solve -15 = -o*q - 3 for q.
4
Let q = -4 - -12. Let v = 26 + q. Suppose -3*n - v = -4*n. Solve -9 = -5*z - n for z.
-5
Let a = 7 - 3. Solve 2*k - a = -2*k for k.
1
Suppose 3*k - 89 = -71. Solve k*q + 12 = 2*q for q.
-3
Suppose -5*y + 2*s - 61 = 0, -y = 4*y + 5*s + 40. Let v = 15 + y. Let b = 13 - 7. Solve -6 = -v*h + b for h.
3
Let o = 25 - 16. Solve 4*v = v - o for v.
-3
Let k(y) = y**3 - y - 2. Let c be k(2). Let w = 13 + -19. Let z be w + (-2 - -5) + 3. Solve -2*m = -z*m + c for m.
-2
Let m(d) = -d**2 + 4*d + 7. Let w be (-2)/6 - (-2)/6. Let h(u) = -u**3 + u**2 + u + 5. Let l be h(w). Let j be m(l). Solve s + s = -j for s.
-1
Let q(v) = v**3 - 3*v**2 + 3*v. Let x be q(2). Suppose x*y - 12 = 12. Solve 0 - y = 4*t for t.
-3
Let j(k) = k**2 - 2*k - 9. Let l be j(-4). Solve -5*g = -10 - l for g.
5
Let d(i) = -i**2 - 5. Let q be d(0). Let t be (-5 - -3) + 4 - q. Suppose t*k - 10 = 2*k. Solve k*y - 5*y = -15 for y.
5
Suppose -b = 5*y - 3 - 5, 5*b - 12