l. Solve s*p = -5*k + 14, -k - p = -4*p + 4 for k.
2
Let h be 2*(-8)/(-80) + (-19)/(-5). Solve 104 = 3*o - 4*r + 95, 0 = -o + h*r + 3 for o.
3
Suppose 5*u + 5*f - 4*f = -270, -3*u - 3*f = 150. Let y = -53 - u. Suppose y*n + 1 = 7. Solve n*c = -0*c - k + 16, 3*c = 5*k + 10 for c.
5
Let g = -78 - -78. Suppose 97*y - 96*y - 4 = g. Suppose 3*c - 5*k = y*c - 2, 2*k = 0. Solve -4*o + 8 = 4*q, -c*o = 7*q - 2*q + 5 for o.
5
Suppose 7*m - 231 = 18*m. Let z be (-1)/((m/35)/3). Solve z*n + d = 17 + 3, -4*d + 8 = -4*n for n.
3
Let g be -25 - (-1 + 6)*-5. Solve 0 = -7*b - 5*n - 12, g = 4*b - 3*b - 3*n - 2 for b.
-1
Let n = -857 + 857. Solve c - 3 = n, 2*c = 3*k - 5*k + 2 for k.
-2
Let r = -19 + 13. Let i be 4/16*r*2 + -72. Let n = -72 - i. Solve -4*h - 3 = -5*v - 29, -22 = -4*h + n*v for h.
4
Let v = 7462 + -7437. Solve -3*w = g - 5, -w + 6*g - v = g for w.
0
Let f = 2093 - 2091. Solve -i - 20 = 3*i, 23 = -f*y - 3*i for y.
-4
Let n(d) be the first derivative of -7*d**2/2 - 9*d - 11. Let v be n(4). Let b = v + 40. Solve -u - j + 7 = 0, 5*u - 1 = b*j + 2 for u.
3
Let t = 104 - 105. Let n be (t/2)/((-7)/14). Solve -3*h - 4*d - n = -6*d, -4*h = -3*d + 2 for h.
1
Suppose 5*p + 2 = 6*p. Suppose 0 = 2*z - z + s + 3, s + 9 = p*z. Let k be 8*(4 + 21/(-12)*z). Solve 1 = -a + k*h, -2 + 1 = a - 5*h for a.
-1
Suppose -2*o + 3538 - 3544 = -4*l, -33 = -5*o - 2*l. Solve 4*b + 3*q = -19, o*b - 7*q = -11*q - 25 for b.
-1
Suppose -92*u - 169 + 864 = 419. Solve u*d + 6 = 0, 2*n - 4*d - 12 = n for n.
4
Let a be 207/(-45) + 4 - (-46)/10. Suppose 26 = a*i + 6. Solve -5*x = 3*o - 12, 2*o + 4*x - i*x - 8 = 0 for o.
4
Let k be (-8)/(-2)*(1 - 0). Let j be -6*(-4)/80 - (1177/(-110) + 9). Solve h = -k*m, -m - j = h + m for h.
-4
Let d(j) = 3*j**3 - 52*j**2 + 18*j - 5. Let a be d(17). Solve z - 5*c - 24 = 0, -a = 3*c + 3 for z.
-1
Let p(g) = 3*g + 24. Let h be p(2). Suppose -12*k = -6*k - h. Let c be 2/7 + 445/35. Solve x = k*f + c, 11 = -0*f - f + 3*x for f.
-2
Let i = 9719 + -9719. Solve 0 = 5*p + a - i*a + 3, 4*p = 3*a + 9 for p.
0
Let k be -8 + (-9 - -19) + (1 - -1). Solve 6 = 4*t - 4*m - 6, -3*m = k*t - 26 for t.
5
Let x(c) = -c**2 + 6*c - 3. Let j be x(2). Suppose -53 + j = p. Let v = -43 - p. Solve -8 = -s - v*q, -4*q + 12 + 0 = -2*s for s.
-2
Let h(q) = -q. Let a be h(-3). Suppose 12 = 7*n - a*n. Suppose 4*o = -n*u + 19, 3*u = 1 + 2. Solve 2*w = -o*c - 6, -4*c + 9 = c - 3*w for c.
0
Let s(x) = 21*x + 758. Let m be s(-36). Solve -6 = t + m*r - 0, -1 = r for t.
-4
Suppose -24 = -4*z - 4*x, z + x = -3*x + 6. Let n be z/(-3) + 30/5. Solve n*p = d - 22, -4*d - 8 = 2*p - 3*d for p.
-5
Let d be (49/(-20) - 36/(-16)) + (-1)/(-5). Solve 2*k - 31 = -4*q + 5*k, d = -q + 3*k + 19 for q.
4
Let m(j) = -31*j - 176. Let y be m(-6). Suppose 16*q = 18*q - y. Solve c = 4*c + 4*p + 23, 2*p + q = 5*c for c.
-1
Let v(f) = -6 + 5 + 5 + 2 - 12*f**2 - 12*f + f**3. Let x be v(13). Solve 0 = -o + i - 0*i + 9, 0 = o - 3*i - x for o.
4
Let r = 8021 + -8016. Solve 0 = -4*o - r*d + 9, -5*o - 17*d = -13*d for o.
-4
Suppose 8 = -55*t + 56*t. Let x(d) = 12*d - 92. Let w be x(t). Solve 3*n = -2*n + 3*f + 35, w*n - 41 = 5*f for n.
4
Let l be -3 - (558/(-36) - (-1)/2). Suppose -8*n + 4*n - k + l = 0, 3*n - 5*k = -14. Solve -n*m - 17 = 4*j - 7, 0 = -5*j for m.
-5
Let d(f) = -6*f - 585. Let o(c) = 2*c + 167. Let u(z) = -5*d(z) - 18*o(z). Let v be u(-14). Solve -10 = -0*w + 5*w, -2*w = -v*r + 19 for r.
5
Let r(f) = -f**3 - 12*f**2 + 15*f + 19. Let t be r(-13). Let x be 3*2/(-3)*(t - -5). Solve x*l + 3*h = -0*l + 10, l = -5*h + 11 for l.
1
Let k(z) = -7*z**2 + 8*z - 10. Let t be (-7)/((-28)/12) - -1. Let v be k(t). Let j be ((-21)/9 + 3)/((-12)/v). Solve 5*i = -5, 0 = -j*r + 4*i + 19 for r.
3
Let s(t) = -170*t + 505*t - 166*t - 168*t + 10. Let u = -21 + 13. Let y be s(u). Solve 3*l = y*o + 1, -o = 3*l + 2*l - 19 for l.
3
Let h = 26 - 29. Let k = h - 12. Let u be ((-18)/k)/(4/50). Solve -r = -5*z - 19, 2*r + u - 1 = -3*z for r.
-1
Let w = 44 - 40. Suppose -7*t - 13 = -9*t - o, 3*o - 4 = t. Solve -9*j - 5*m - t = -w*j, 4*m - 11 = -j for j.
-5
Let h(y) = y**2 + 312*y + 623. Let l be h(-2). Solve -l*z = 4*m, -3*z = 5*m - 4*z for m.
0
Let c(q) = 18*q + 10. Let t be c(12). Let s = t - 224. Solve 3*z - 15 = -4*o - 0*o, s*o = -4*z + 10 for z.
1
Suppose o + 44 = 11*o + 14. Solve -t + 8 = -o*z, -53*z - t = -54*z for z.
-4
Suppose 41*a = 35*a - 6. Let w(v) = -5*v**3 - 5*v**2 - 5*v - 1. Let x be w(a). Solve 0 = -j + x*o + 9, 0*o - o = -5*j + 26 for j.
5
Suppose -4*z = -24, -4*i + 6*z + 4 = 28. Solve -12 = 5*x + i*l, -x - 2*l + 14 - 15 = 0 for x.
-3
Let h(q) = 8*q. Let t be h(-2). Let f be (10/4)/(28/t + 3). Let v be 1*(-1)/(f/(-1))*6. Solve 0*o = -3*u + v*o - 3, o + 3 = 0 for u.
-4
Let u = -46 + 47. Suppose -32 = -5*t + f + u, t = f + 5. Let o be 2/t - (-95)/35. Solve -1 - 14 = 4*a - o*c, 5*a + 20 = 4*c for a.
0
Let d(k) = -1396*k - 5562. Let u be d(-4). Suppose 0 = 4*p - 67 - 245. Let o be (-2)/10 + p/15. Solve -9 = -4*m + 5*v, -19 = 4*m + o*v + u for m.
-4
Suppose 9*r + 4 = 5*o + 10*r, -o - 3*r = 16. Solve -o*j + 3*n = -2*n - 8, -12 = -3*j - n for j.
4
Suppose -5*h - 121*x + 125*x + 14 = 0, 0 = 4*h + x - 7. Solve -4*j = -o + 16, h*o + 23 = 4*j - 7*j for o.
-4
Let r(d) = -243*d**2 - 488*d - 2. Let n be r(-2). Solve 0 = 11*q - 8*q - n*t - 2, q - 2*t - 2 = 0 for q.
0
Let u = 80 - 88. Let s(j) = -12*j - 48. Let b be s(u). Suppose q = b - 17. Solve -3*n + 5*v - q = 0, -21 - 6 = n - 5*v for n.
-2
Let m(k) = k**3 + 39*k**2 + 169*k - 30. Let v be m(-34). Solve 5*j = -10, -8*j + 26 = v*c - 13*j for c.
4
Suppose 10*k - b = 6*k + 21, 3*k = -4*b + 11. Let q = 39 - 23. Suppose -q = -3*r - n, -k*r - 5*n + 14 = -16. Solve r*j = -0*j - 5*m - 10, -m + 4 = -5*j for j.
-1
Let z be -4 - 0 - -1 - -4. Let d be (0 + 4)/(1/z). Suppose -102 + 35 = -4*c + 5*q, -4*c + 4*q = -68. Solve 3*n = -d*p - 25, -c + 7 = -3*n + 5*p for n.
-3
Let q = 3 + -12. Let a be (-15)/q + 1/3. Suppose 2187*h = 2421*h - 468. Solve a*o + u + 15 = -h*u, 0 = -4*o + 2*u + 10 for o.
0
Let j(k) = -k**3 + 10*k**2 - 6*k - 13. Let b be j(2). Solve -b*t + 13 = -2*g, -2*t + 20 - 2 = 3*g for g.
4
Suppose 0 = -50*c + 45*c - 160. Let k = c + 34. Solve -3*d + k = 3*f - 1, -11 = 4*d + f for d.
-4
Let j be 6/(-153) - 127392/(-2448). Solve -5*o + j = -3*k + 37, -4*o = -4*k - 20 for k.
-5
Let d(u) = -u**3 + 6*u + 3. Let m be d(-2). Let b(f) = -54*f + 3. Let r be b(m). Suppose 4*i - i = r. Solve 0 = q + 2*k + 13, 4 = -3*q - 2*k - i for q.
-5
Let m = 325 + -465. Let v be (-210)/m*(8/3)/2. Solve 0*g + 3*g - t + v = 0, 0 = g + 3*t + 14 for g.
-2
Let v(c) = 5*c**2 - 232*c - 139. Let b be v(47). Solve x = -b*h - 1, -4*x = 16*h - 13*h + 4 for h.
0
Let b(i) = -11*i - 11. Let u = 83 + -84. Let r be b(u). Suppose r = -19*d + 10 + 47. Solve -5*c = -2*y + 16, d*y = -2*y - 10 for c.
-4
Suppose -h + m = -2*h + 11, 36 = 3*h + 2*m. Let v be 5/(-70)*-4 - (-24)/h. Solve 5*j - 1 + 3 = -v*l, -5*l + 3*j + 26 = 0 for l.
4
Let a(d) = 12*d + 87. Let n be a(-7). Suppose -k - 2*k = -p + 5, n*p + 4*k - 15 = 0. Solve t + 5*b + 19 = 2*t, p*b = -3*t - 3 for t.
4
Suppose -2*i + 245 = 3*s, -4*s = -2*i - 188 - 134. Suppose 0 = 4*v - s + 17. Solve 3*l = 4*l - 5*u + v, -3*l + u = 6 for l.
-1
Let p be 0*(2 + -1) - (21 - 54). Suppose 0 = -5*d + n + 55, 4*d - 11 = -3*n + p. Solve q + 3*y = 0, -7*q + 2*q - 4*y + d = 0 for q.
3
Let r(s) = -8*s - 114. Let j be r(-17). Suppose -2*f + 4*k - k + j = 0, k = 0. Solve -l - 5*v = -26, -l = -0*v + 2*v - f for l.
1
Let s be -3 + 0 + 5 + 2 + 1. Suppose 274 = s*r - 3*n, 3*n + 65 = r - n. Let v = r - 41. Solve 2*l - 2*d = v, -2*d = -4*l + 12 + 8 for l.
4
Let m = 8 - 6. Let s(o) = -o**3 - 26*o**2 - 1029*o - 28510. Let r be s(-27). Let p = 11 + -7. Solve 20 = p*j, m*j = 4*v - r*j + 24 for v.
-1
Let s = -720 - -218. Let r = s - -505. Solve r*c = z, -2*z + 3*c = -0*z + 3 for z.
-3
Let r(l) = -34*l**2 + 333*l + 72. Let o be r(10). Solve 13*d - 2 = 2*w - 12, -2*w + o*d + 10 = 0 for w.
5
Let w(p) be the second derivative of p**4/12 - 5*p**3/6 - 61*p**2/2 - 7*p + 1. Let y be w(-6). Solve -15 = -s - 4*s + 5*b, y*b = -s - 27 for s.
-2
Let s be (-4)/(-12)*((-30)/6 - -5). Solve s = -2*w + f + 8, -210*w + 2*f = -215*w + 11 for w.
3
Let x be (-32)/(-56) - (-1185)/21. Suppose x*j + 15 = 129. Solve -12 = 4*z 