 l*n + 13*a - 8*a = 0 for n.
-1
Suppose -2*b + 2*v = -b + 89, -4*b - 2*v = 316. Let a = b - -61. Let o be ((-45)/36)/(1/a). Solve -5*x - r = -20, 0*x + o = x - 4*r for x.
5
Suppose 3*h + 3*u = 39, 0 = -4*h - 93*u + 95*u + 4. Solve 13*f = -h*p + 15*f + 5, 4*p - 2*f - 2 = 0 for p.
3
Let h = -8691 + 8691. Solve -1 = -x, 3*x + 7 = 5*m - h for m.
2
Let i = 194 + -194. Let b(o) = 2*o + 12. Let g be b(-6). Solve 4*k + 2*r + 6 = i, g = -r + 4*r - 3 for k.
-2
Suppose -2*r - 15 = 5*l, r - l = -0*r + 3. Let u be ((-6)/(-21))/(3/21). Let w be 2/(-9 - -9 - (-3 + u)). Solve 17 = 5*c + 2*o, r*c - o + 7 = w*c for c.
3
Suppose 3*c - 5*x - 27 = 0, c + 5*x = -108 + 97. Solve -m - z + 2 = 0, 9 = c*z - z for m.
-1
Suppose 21781 - 21781 = 14*c. Solve -2*r - 2*m - 4 = c, -4*r - r = 4*m + 10 for r.
-2
Let s(o) = 15*o**2 - 14. Let i be s(4). Let w = -221 + i. Solve -5 = w*m - 2*j, -m + 3*j = -1 + 15 for m.
1
Let z be ((-5907)/121)/(-1) + (-4)/(-22). Let q = z - 44. Solve 0 = 2*j + 2, -g + q*j = -6*g - 10 for g.
-1
Let p = -213 - -218. Let c(u) be the second derivative of -u**5/20 + u**4/3 + u**3 - u**2 + u. Let v be c(p). Solve -2*q = v*h + 7, 2 = -q - 0 for h.
-1
Let i(g) = 291*g**3 - 292*g**3 - 27*g + 58 + 25*g**2 + 2*g**2. Let o be i(26). Solve 15 = -5*a, 3*q - 8 + o = -5*a for q.
-3
Let w = 1 + -24. Let y = -18 - w. Solve -5*b = a - 6, -y*b - a + 10 = 4*a for b.
1
Let t be 4 + 1*(-1 + 0). Let a be ((-6)/6*-1)/((-2)/(-50)). Let z be 90/a - t - 17/(-5). Solve 0 = -z*v + 12, 0*q + 2*v - 7 = q for q.
-1
Let q be (120/80)/(3/(-6)) + 11. Solve -4*r - 5*c + 3 = -17, 0 = r - 2*c + q for r.
0
Let u(s) be the third derivative of s**6/120 + s**5/20 - 5*s**4/24 + 45*s**2. Let r be u(-4). Solve -r*t = 0, -3*t + 9 + 1 = -2*p for p.
-5
Let i = -2628 + 2636. Solve 0 = -2*t - 3*f - 4, 4 = i*t - 3*t + 4*f for t.
4
Let w be (-10 - (-650)/60) + 3/18. Solve 3*i = -2*n, 2*i + 4*n = w - 9 for i.
2
Let k = -211 + 226. Let v(u) = -u**2 - u + 253. Let d be v(k). Solve 0 = -2*i + m + d, m - 7 = -2*i - 0 for i.
5
Let k(r) = r**2 + 8*r + 9. Let c be k(-7). Suppose -2*v - c*s = -0*s - 54, -4*s + 138 = 5*v. Let z = v - 27. Solve 3*m + 5 = x, -z*x - 15 = 3*m + 6 for x.
-4
Let t(f) be the second derivative of f**5/20 - 5*f**4/6 - 2*f**3 + 13*f**2/2 - f - 31. Let y = 39 - 28. Let x be t(y). Solve -6 = 2*j, x*h + 2*j + j = -3 for h.
3
Suppose 2*j + 22 = 5*j + 2*o, -4*j + o = -11. Suppose 2*d - 4*u - 11 = d, 3*d - 1 = -j*u. Solve 0 = -3*p - 4*t + t + 18, 2 = p - d*t for p.
5
Suppose 0 = 4721*z - 4673*z - 2640. Solve 13*f - 11*w = 9*f - z, 25 = -4*f + 5*w for f.
0
Suppose -3*t - 3*y - 8 = -35, 0 = 2*t - 2*y - 2. Suppose -13 - 2 = 3*m, 3*n + t*m + 16 = 0. Solve a = -5*l - 10 - 3, -n*a + 5*l + 21 = 0 for a.
2
Let f = 116 - 113. Suppose 2*z + z - f*q = 3, 3*q + 3 = -3*z. Solve 13 = -2*y - w, -2*y + 0*y + 4*w + 2 = z for y.
-5
Let w = -1230 + 1234. Suppose 5*c - 30 = -5*z, -w*z + 96 - 78 = 2*c. Suppose 0 = -9*u + 4*u + 25. Solve 3*x - z*m - 2*m = u, 2*x - 16 = -3*m for x.
5
Let q(r) = -r**2 - 77*r + 2943. Let p be q(28). Solve o + 8 = 4*g, 0 = g - p*o + 7*o - 2 for g.
2
Suppose 0 = 5*o + 3*n - 566, 3*o = 6*o - 2*n - 332. Suppose -26*c = -33*c + o. Solve -4*m + c = -4*w, 3*w - 4*m + 10 = -3*m for w.
-3
Let s(g) = 8*g**2 - 151*g + 611. Let t be s(13). Solve -37*n + a = -34*n + 3, n + a + 1 = t for n.
-1
Let f = 31024 - 31022. Solve -g - g + f*u - 8 = 0, -1 = u for g.
-5
Let d be 41/3 + 7/21. Suppose -4 = 5*h - d. Let r = 239 - 235. Solve -r*o - 12 = 4*z, -2*o + h*z = -0*z + 10 for o.
-4
Suppose -11*r + 2*v = -15*r + 8, -2*r + 3*v + 12 = 0. Solve 0 = -3*l - r*k + 6, -20 + 12 = -l - 4*k for l.
0
Let m = 1877 + -1872. Suppose -q - 2*c + 3 = -0*c, -4*c = -4*q + 24. Solve 5*z - 4*d = 29, -14 - 6 = -m*z - q*d for z.
5
Suppose -38 + 17 + 34 = j. Solve 0 = 5*a + 20, 2*a = 69*k - 74*k - j for k.
-1
Let b(c) = c**3 + 5*c**2 - 5*c + 6. Let g be b(-6). Suppose 70*i - 75*i - 3*v - 27 = 0, -8*v - 103 = 3*i. Solve 3*q = -5*x, -i*x - 16 + g = 5*q for x.
3
Let g(x) = 6*x**2 + 2*x - x - 7*x - 4*x**2 + 25. Let u be g(0). Solve -3*y = 5*v - 8*y - u, 0 = 2*v + y + 5 for v.
0
Suppose -5*d = c + 202, 0 = -7*d + 2*d + 5*c - 220. Let g = 71 + d. Suppose h = -9*h + g. Solve -2*a + 7 = 2*t + h, 3*a - 8 = -5*t for a.
1
Let x(g) = 3*g**2 + 12*g - 14. Let n be x(-6). Suppose -22*l + 11*l + n = 0. Solve -6 = -3*q + 3*b, 3*q + 2 = -3*b + l*b for q.
0
Let t(c) = -28*c**2 - c - 1. Suppose -33*w + 29*w = 4. Let l be t(w). Let r = l + 30. Solve -g + u - r = 0, 8 = -3*g - 4*u + 9*u for g.
-1
Suppose 3*m - 27 - 39 = 0. Let c = 242 - 223. Suppose -c*v = -17*v - 8. Solve f + 14 = 6*f + 2*z, -v*f + 2*z = -m for f.
4
Let f be 0/(-14 + 38 + -22). Solve 4*l = -b + 5*b + 16, f = 2*l + b - 2 for l.
2
Let y be (18*(-42)/63)/(-6). Solve 5*g = -3*c + 34, -1 = y*c - 3*g - 11 for c.
8
Suppose 0 = 3*q + 3*g - 6, -2222*q + 10 = -2217*q - 4*g. Solve -q*j - 19 = 2*l + 3*l, 0 = -2*j + 3*l + 5 for j.
-2
Let q be -3 + 238/26 - (-30)/(-195). Let t be 9 - (-2)/6*0. Let x = t - 7. Solve -5*g + 2 = -0*s + 4*s, -x*s - 5*g + q = 0 for s.
-2
Let j(w) = 228*w - 446. Let p be j(2). Solve 5*c + 11 = o - p, 2*c = -o for c.
-3
Let b(x) = x**3 - 11*x**2 - 27*x + 15. Let k be b(13). Suppose q + 15 = 3*y + k, -5*q = 2*y - 20. Solve -4 = -2*n + n, 23 = -y*l + 2*n for l.
-3
Let f(k) = -39*k**3 - k**2 + k. Let a be f(1). Let i = a - -47. Suppose -2 + i = 4*w + 5*h, -2*h = -3*w + 16. Solve -3*q = 2*n + 14, -5*n = w*q - n + 20 for q.
-4
Suppose -3*k - 14*c = -10*c - 22, k + 5*c = 11. Solve k = -2*u, l + 3*u + 1 = -9 for l.
-1
Let y(k) = -3*k + 2. Let m be (1 + 2 - (-70)/(-20))*-2. Let n be y(m). Let o be (-2 + 3)/n*(-5 + 1). Solve 3*s - 29 = -4*q, -4*s + 8 = -o for q.
5
Suppose -27*d = -19*d + 496. Let i(m) = -m**3 + 13*m**2 - 7*m + 7. Let t be i(12). Let z = d + t. Solve 14 = 4*g + 4*j - 2, z*j - 14 = -3*g for g.
3
Suppose 5*j = -3*s + 6, 0 = 2*j + 3*s - 311 + 314. Suppose -3*t = -t + 24. Let v be ((-3)/(-2))/(t/(-40)). Solve 0 = -2*u - v*h - 24, -3*h + 4 = j*u + 22 for u.
-2
Let g = -7598 - -7600. Solve -3*i - 12 = 0, 4*b + 7 = 9*b + g*i for b.
3
Let h be 86/1*(-10)/(-20). Let i = h - 40. Suppose -20 = -7*w + i*w. Solve g = 4*a - 3, 0 = -w*a + 3*g + g + 1 for a.
1
Let k be (-5)/3 - 33/(-9). Solve -6 = 2*v - 3*m - 0, -m = 3*v - k for v.
0
Let t(f) = 3*f**3 + 48*f**2 + 68*f + 345. Let n be t(-15). Solve -372*d + 375*d - a = 21, -a + 3 = n for d.
8
Suppose 9*r - 10*r - 4*w = 286, 3*r = -3*w - 876. Let s = -290 - r. Suppose 0 = 3*b - 8 - 7. Solve -s*l = p - 4, b*l + p - 10 + 4 = 0 for l.
2
Let n be (-72)/32*((-384)/(-18))/(-8). Solve 5*p - 2 = 3*l, -n*l = -9*l - 12 for p.
-2
Suppose 24*b - 150 = -3*b - 15. Solve g - 83 = -88, -b*h - 2*g = 0 for h.
2
Suppose -348*v + 344*v = 8. Let p be 4*(-9)/18 + (v - -7). Solve -20 = p*y - l + 6*l, -2*y + 5*l + 20 = 0 for y.
0
Suppose -7*j = -11*j + 24. Suppose 0 = 5*n - 11 + 31. Let z be (n - -5*2) + -2. Solve 20 = -z*y - 4*u, -4*y + u = -j*y - 5 for y.
0
Let y(z) = -4*z + 16. Let u(b) = b - 3. Let r(s) = 22*u(s) + 4*y(s). Let p be r(3). Let d = -3017 - -3020. Solve -2*k - 6 = d*k - m, 0 = -2*k - 3*m - p for k.
-2
Let z = -34 + 49. Let q = -10 + z. Suppose -4*r = -4*m + 24, 2079 - 2049 = -3*r + 5*m. Solve r = -3*v - d - q, 3*d = v - 3 + 8 for v.
-2
Let m = 874 + -871. Solve -17*y = -21*y, 5*y - m = -v for v.
3
Let j = -37 + 44. Suppose -51*f = -47*f - 8. Suppose j*a - 6*a - f = 0. Solve a*r = 3*k - 0*r - 13, k = 2*r + 3 for k.
5
Suppose 317*o = 314*o - 5*i + 45, 0 = -3*o - i + 21. Solve -o*p - 29 = -2*m, -65*m = -63*m - 4 for p.
-5
Let g = 11 - 8. Suppose -g*k = 5*t - 49, -7*t + 3*t - 3*k = -41. Suppose 3*d = 5*b - 22, -t*d + 3*d - 26 = -3*b. Solve r = -3, -b*v - v = -5*r - 12 for v.
-1
Let u be 35/(-105) - (0 + 2/(-6)). Suppose -4*q + 15*m + 14 = 13*m, 0 = -5*m - 5. Let f = 11 + -8. Solve u = -4*o + q*h + 16, f*o - 2*o + 3*h + 11 = 0 for o.
1
Let c be 9/5*37950/90. Let w = -757 + c. Suppose 2*j = 4*i, 0 = 5*i - 4*i + 5*j - 22. Solve -3*s = -i*z - 17, 0 = -4*z + w*z - 3*s + 1 for z.
-4
Suppose -734 - 1165 = -3*p. Let h = p - 633. Solve h = 5*z + 20, -4*s - 4 = -3*s + 2*z for s.
4
Let i(l) = l**2 - 2*l + 34. Let r be i(0). Let s = -1195 + 1200. Solve 3*d + 14 = n, -s*n + 3*d + r = -0*d for n.
5
Let y = -10859 + 10866. Solve k + y = -2*z, -3*k +