+ t for k.
3
Let l(h) be the third derivative of -h**5/60 + h**4/24 + 4*h**3/3 - 9*h**2. Let n be l(3). Let f be (2/(-2))/(n/(-6)). Solve 2*z = -f - 5 for z.
-4
Let y = -88 + 96. Suppose 5*a - h + 2*h - 3 = 0, 2*h - 6 = 3*a. Solve -y*l + 7 + 1 = a for l.
1
Suppose h - 2*h - 2*d = -27, -5*h = 5*d - 125. Let m = -18 + h. Suppose -y = -5*t + 2*y + 10, 0 = -4*t + m*y - 5. Solve t*o - 8 = o for o.
2
Let a(h) = -h + 14. Let u be a(10). Suppose -3*r - 2*r + 10 = 0. Suppose g - r*g = -0*g. Solve g = u*n + n for n.
0
Suppose -3*q - 48 + 186 = 0. Suppose 48 = g + q. Solve 3*j - g*j = -5 for j.
-5
Suppose 3*b = a + 4*b + 2, -3*b = -4*a + 6. Suppose -2*f - 4*y + 14 = 0, -5*y + 19 = -a*f + 3*f. Solve 0 = 3*i + f*i for i.
0
Let y = 18 - -1. Suppose 434*h + 171 - 669 = 804. Solve -h*a + y = 7 for a.
4
Let v(o) = 5*o**2 - 332*o - 198. Let m be v(67). Let z = 8 - 5. Let l be 10*((-12)/(-5))/z. Solve -5*h = -m*h - l for h.
4
Let q = -1094 - -1180. Solve -6*p - q = -38 for p.
-8
Let j be (-162)/(-30) - 45/(-75). Solve -566 = j*f - 548 for f.
-3
Let v = 76 + -52. Suppose -4*h - 3*p = -6*h + 24, -4*p = 2*h - 24. Suppose 58 = h*m - 2. Solve -v = m*j - 4 for j.
-4
Suppose -5*b + 4*o + 22 = 0, 34*o = -3*b + 37*o + 9. Solve 0 = -14*v + b*v + 16 for v.
4
Let b(c) = -28*c + 20. Let v be b(1). Let u = 11 + 7. Let x = v + u. Solve w = -w + x for w.
5
Suppose -428 = -135*t + 28*t. Let b be (-18)/(-8)*32/12. Solve -t*i + 10 = -b*i for i.
-5
Let x(i) = 17*i + 1 - 6 + 12*i + 0. Let z be x(1). Solve -4*q - z + 40 = 0 for q.
4
Suppose 16*d - 3*d - 1064 = 1120. Solve 28 = d*b - 175*b for b.
-4
Let x be -3 + -1 + 39 + 0. Let f be (-35)/15*(-30)/x. Solve f*v = 4*v - 4 for v.
2
Let o = -121 + 302. Let a = o - 173. Solve -3*u = u - a for u.
2
Let q be 4/12*54*(1 - 0). Suppose -q = 9*n - 18*n. Solve 1 - 11 = -n*s for s.
5
Suppose u - 4*l - 216 = 0, -389 - 754 = -5*u - l. Let c = -222 + u. Solve -c*h + 11 = -13 for h.
4
Let k be 0 + 1/(1/11). Let s(x) = 2*x - 19. Let h be s(k). Solve 3*l = -h*l - 24 for l.
-4
Let m(i) = 2*i**2 + 14*i + 27. Let d be m(12). Let n be 569/21 + (-46)/d. Solve -n*b + 28*b + 5 = 0 for b.
-5
Let j = -20 + 27. Let u(d) = d**2 + 8*d - 16 - 6*d**2 + j - 2*d**2 + d**3. Let p be u(6). Solve -4*i = -p*i - 1 for i.
1
Let a(s) = s**2 - 3*s + 4. Let v be a(-3). Let j(c) = -c**2 + 17*c - 9. Let k be j(15). Let f = v - k. Solve 0 = -i + f + 3 for i.
4
Let n(r) = -r**2 + 5*r - 5. Let v(h) = -2*h**2 + 11*h - 11. Let c(s) = -13*n(s) + 6*v(s). Suppose 9 = 4*a - 7*a. Let b be c(a). Solve l - 8 = b*l for l.
-2
Suppose w + 4*o - 75 = 0, 0 = -3*w - 13*o + 18*o + 208. Solve -w*c + 68*c + 12 = 0 for c.
4
Let s be -6 - (2 + (-100)/4). Suppose 11*a = -6 + s. Solve -a = 3*x - 13 for x.
4
Suppose 47*g = 43*g - 2*s - 3484, -4*s + 2591 = -3*g. Let c = 872 + g. Solve -c*r + 1 - 10 = 0 for r.
-3
Let q(x) = -232*x - 2709. Let n be q(-12). Solve -13*y + 28*y = n for y.
5
Suppose -9*m - 2 + 2 = -20*m. Solve 0*d + 15*d - 75 = m for d.
5
Suppose j + 3 = -15. Let f be (5/(75/24))/(j/(-45)). Suppose -4*o = -5*k + 23 - 65, o = -3*k + 2. Solve -o - f = -3*t for t.
4
Suppose -2*l + 92 = -3*z, 8*z - 12*z = 4*l - 164. Solve 84 = -l*k - 2 for k.
-2
Suppose -w = -4*u - 16, 0*w = -3*w - u + 35. Suppose 0 = l + 8 - w. Let i be l - -1 - (-6 - -6). Solve -i*b + 4 = -b for b.
1
Suppose -178 = -4*p - 90. Suppose -12*o = -p - 14. Solve 12 = -7*k + o*k for k.
-3
Suppose 12*l + 862 = 1102. Solve l = 23*t - 3 for t.
1
Let v(b) = -25*b - 7*b - 207 + 5*b - 7*b + 3*b. Let y be v(-7). Solve p - y = -4*p for p.
2
Suppose 2*h - 8 = 4*h. Let a be h/2 - (2 + -4). Let t = 18 - 14. Solve a = -w + 1 + t for w.
5
Suppose 36 = 5*k - 11*j + 7*j, -j = 4. Let n be 23/4 - (1 - 1/k). Solve -9 = 14*i - n*i for i.
-1
Let n(t) = -16*t + 5. Let r be n(0). Suppose -14*i = r - 439. Solve -2*q - 35 = -i for q.
-2
Let u be 6 + (3 - 0 - 4). Suppose -s - 8*r + u*r = 1, s - 3 = r. Solve 8 = -s*h + 10*h for h.
1
Suppose 18 = 8*f - 11*f. Let o be (-3 - f) + (-3 - -1). Let u = -171 - -173. Solve -o = v - u for v.
1
Let l be (-50)/(-475) + 262/38. Suppose 0 = -10*n + l*n + 12. Solve -7 = -n*m + 1 for m.
2
Let d be (12/30)/(((-6)/(-20))/(-3)). Let g be d/(-3 + 2) - 4. Suppose 5*c - 25 = 0, g = -4*l - 2*c + 4 + 14. Solve l*i - 15 = -i for i.
5
Suppose -o + 8 = 4. Suppose o = 2*u - 14. Suppose -2*w - w = -3. Solve -2*r + w - u = 0 for r.
-4
Let z(i) = i**3 + 13*i**2 - 10*i + 56. Let m be z(-14). Let s(p) be the first derivative of p**2/2 + 10*p - 9. Let q be s(-6). Solve -o - q*o = m for o.
0
Suppose y + 1 = p, -66*y - 2 = -3*p - 64*y. Solve p = 8*a - 21 - 3 for a.
3
Suppose 0 = -5*y + 2*g + 20 + 18, 5*g + 3 = y. Let v(k) = -k**2 - 2*k + 3. Let m be v(4). Let b = 25 + m. Solve -b*t = -0*t - y for t.
2
Suppose -16 = -18*c + 56. Suppose 0 = p + 5*o - 17, 20 = 8*p - c*p + 4*o. Suppose j - 2*j + 8 = 0. Solve -2*n + j = p*n for n.
2
Suppose 0 = -2*g + 4*m + 32, -10*g + 15*g - 2*m - 48 = 0. Solve 20*v = 18*v - g for v.
-4
Suppose 0 = 9*j + f - 71, -2*j - 2*f + 11 = -3. Solve 9*k = k + j for k.
1
Suppose 3*z - 3*m + 2*m = 9, -z = -2*m - 3. Suppose c - z*j - 29 - 95 = 0, 0 = -3*c - 3*j + 384. Suppose -c*g + 6 = -124*g. Solve 2*x = 2 + g for x.
2
Let d be (-1)/(-2)*-1*(-112)/28. Suppose -2*h + h = l + 27, -5*l = -h - 51. Let x = h + 37. Solve 8 = -x*k + d*k for k.
-2
Suppose 4*y + 2*q = 76, 6*q - 2*q - 95 = -5*y. Let k be (-1)/(-2)*(y + -19). Solve -4*x + k*x - 8 = 0 for x.
-2
Let p(j) = -53*j + 4162. Let b be p(77). Solve b*o - 6 = 83*o for o.
-3
Let r(h) = -497*h - 6266. Let a be r(-13). Solve 24*n + a - 3 = 0 for n.
-8
Suppose v = -4*p - 8, 0 = 2*v + 5*p + 3 - 5. Solve v*q - 132 = 38*q for q.
-6
Let g be 58/6*(4 - 1). Let j = g - 24. Suppose a - 14 = -j. Solve -v = 2*v - a for v.
3
Suppose 3101*c = 3109*c - 128. Solve -15 = 13*k - c*k for k.
5
Let f(k) = k. Let n(q) = -16. Let c(x) = -2*f(x) + n(x). Let z be c(-12). Suppose z*h = 10*h. Solve h = 3*r + 4 + 5 for r.
-3
Let f = 3789 - 3774. Solve -10 + f = 5*q for q.
1
Let i = -2996 - -3002. Solve 24*v + i = -18 for v.
-1
Suppose -8*g = -5*m - 4*g + 1287, -9*g = 5*m - 1248. Solve -12*b + m = 279 for b.
-2
Suppose o - 2*n - 9 = 0, o + 2*n - 25 = -0*n. Let h(i) = i**3 - 5*i**2 + 16. Let w be h(5). Suppose 9*y + 35 = w*y. Solve -y*x - 3 - o = 0 for x.
-4
Let c be (-1 - 3)/8 - 3/2. Let u be (11 + -7 - 4)*c/4. Solve -4*k + 0*k - 4 = u for k.
-1
Suppose 63*p - 3198 = 25*p - 44*p. Solve -2*g - p = -25 for g.
-7
Suppose 17 = 4*f - 3*f + 5*m, 5*m + 7 = f. Let k = f + -13. Let j be 2 - k/((-28)/8 + 3). Solve 7*o - 4*o - 3 = j for o.
1
Let r be (-3)/(-9) - 1316/(-21). Let h = 65 - r. Solve 0 = 2*q + 12 - h for q.
-5
Let k = 13 + -7. Suppose -19*m + k = -51. Solve -m = -3*l + 9 for l.
4
Let v = 37819 + -37307. Solve -7 = v*k - 519*k for k.
1
Suppose -18*i - 7979 = 2137. Let l = i + 574. Solve -10*q + 13*q = l for q.
4
Let i(m) = -m**3 - 15*m**2 + 17*m + 20. Let t be i(-16). Suppose t*f - 13 - 15 = 0. Suppose -2*q + f + 3 = 0. Solve q*z + 2 = 4*z for z.
-2
Let j = -31136 - -31448. Solve j*a - 296*a - 96 = 0 for a.
6
Let n = -7 - -12. Let m(w) = 8*w + 19. Let h = -37 - -35. Let o be m(h). Solve n = -g + o for g.
-2
Let u(i) be the second derivative of -1/20*i**5 + 6*i**2 + 0*i**3 - 8*i + 0 + 3/4*i**4. Let q be u(9). Solve -l - 2*l = -q for l.
4
Let t(l) = l + 9. Let d be t(-6). Suppose -8*c = -2*u - 13*c - 21, -4*c = 4*u + 12. Solve u*s = s - d for s.
-3
Let s be (1 - (-39)/(-5))*(-370)/148. Solve -27 - 58 = -s*b for b.
5
Let n be 22*(-30)/4*9/15. Let c = 115 - 16. Let w = n + c. Solve -s - 2 = -w for s.
-2
Suppose 4*a + 805 = 65. Let z = 101 + a. Let i be (12/(-14))/(18/z). Solve 0 = f + 3*f + i for f.
-1
Let x be (20/40)/((-2)/(-148)). Solve 185 = -x*n + 37 for n.
-4
Let g(c) = -2*c**2 - c + 33. Let a(j) = j**2 - 17. Let x(n) = -9*a(n) - 4*g(n). Let o be x(6). Solve -20 - 7 = o*u for u.
-3
Suppose s + 5*t + 15 = -4*s, 5*t = -s + 13. Let f be -1 + 1 + (-7)/s. Solve -3*l = 5 + f for l.
-2
Let l(z) = 12*z**3 + 2*z**2 - 2*z + 1. Let a be l(1). Suppose o - a = 7. Suppose 0*r + r = o. Solve 4*s = -s - r for s.
-4
Suppose -8*f - 17 + 1 = 0. Let t be 440/66*(f + -1)/1. Let l = t + 23. Solve -2*v = -l*v + 2 for v.
2
Suppose 394*k = 391*k. Suppose -n = r - 8, k*r + 4*r - 29 = -3*n. Solve -4*y + r*y = -5 for y.
-5
Suppose 