= -c*a + a - 2*l, a + 3*l = 14 for a.
2
Suppose 3*w = -3*f + 78, -w - 37 = -3*f + f. Suppose -25*a = -f*a - 364. Let u = -90 + a. Solve 2*k - 2*y = y - u, -3*k + 2*y - 9 = 0 for k.
-5
Let d = 1112 - 1101. Solve -b - 5*v - 8 = 0, 0 = -b + 5*b - v + d for b.
-3
Let l(v) = 765 - 6*v - 1522 + 777. Let h be l(3). Solve -h*q + 0*q = -4*y - 10, 2*q = 6 for y.
-1
Suppose -4*r + 3*r = 52. Let m = -50 - r. Let p be -4*2*4/(-8). Solve -7*w = -m*w - 3*k + p, 3*w - 4*k = -9 for w.
1
Suppose 4*b + 4*m = 24, 0 = -2*m - 0 + 2. Suppose -3*o - 16*j + 4 = -15*j, 0 = b*o - j + 4. Solve 2*q - n - 8 = o, 4*q - 13 + 5 = -2*n for q.
3
Suppose -13*u + 60 = -10*u. Suppose 0 = 5*y + 5*v - u, 3*v = 5*y - 0*y - 20. Solve -3 = o - 2*z + 2, 0 = 4*o - 2*z - y for o.
3
Let c = -178 - -185. Suppose -5*o + 2*s = -c, 10*s - 11 = -o + 8*s. Solve -o = -j - 3*w, -7*j = -3*j + w + 10 for j.
-3
Let z = 9 - 5. Let f be 8/5 + 312/780. Suppose 0 = -f*a + 6 - z. Solve -g = 3*w - 5*g - a, 8 = -2*g for w.
-5
Let q(p) be the third derivative of -7*p**4/24 + 34*p**3/3 - 59*p**2 - p. Let f be q(9). Solve 3*w - 8 = 5*w + f*h, 0 = -2*h - 4 for w.
1
Let u be (-70)/(-560) + 223/8. Suppose s + 6*z = 10*z + u, 3*s + 3*z - 54 = 0. Solve -2*r - 3 = 3*h + 9, -5*r + s = -5*h for r.
0
Suppose 16*b = -294 + 1622. Let r = b - 78. Solve 3*v - 45 + 8 = -r*m, 0 = -3*v + m + 7 for v.
4
Suppose -11*k - 3*k = -54*k + 40. Solve -4*t = -4*b + 8, 5*t + 9 = -b - k for b.
0
Let c be 2/(-14) - (-3 + 24/(-21)). Suppose -c*h - 5*j = -53, 4*j - 58 + 17 = -3*h. Solve 5*n + 2*d - 23 = 0, 4 = 3*n + 4*d - h for n.
5
Suppose -3*b - 93 = -207. Let q be 950/b - (-1 + 2)*1. Solve 3*d + q = -3*m, 0*m + 5*d = m - 16 for m.
-4
Suppose -i + 6*i - 15 = 0. Suppose -5*h - 5*s - 10 = 0, -4 = h + 3*h + i*s. Suppose -31*z - 19*z = -100. Solve -h*f + 24 = 6*k - k, k = 3*f - z for f.
2
Let j(b) = 5*b**3 + 2*b**2 - b - 2. Let g be j(-1). Let u = 8 - g. Let z be -5 - (46/(-8) + 30/40). Solve -3*t = -6*t + 2*f - u, -5*f = z for t.
-4
Let w(x) be the second derivative of x**3/3 + 43*x**2/2 - 68*x. Let g be w(-20). Solve -g*f - 14 = -4*j, f + 4*j - 30 = -4*f for f.
2
Let l(c) = 16*c - 252. Let o be l(16). Solve -3*k = 4*i - 32, 0 = -2*k + i - o*i + 23 for k.
4
Let k(n) = -n + 5. Let j(g) = g**2 - 10*g + 9. Let o be j(9). Let d be 2/(-2 + o) + (0 - -4). Let v be k(d). Solve v*p - 2*b - 2 = 0, 4*p - 4 = 3*b + 1 for p.
2
Let y be 16/24*1 + 10/3. Suppose 3*x = -5*r + 25 + 2, 4*x = y*r + 68. Solve 3*q + 0*q - x = -m, -2*m = 5*q - 23 for q.
5
Let i = -2666 + 2668. Solve 3*d - 13 + 42 = -5*n, 2*n + i = 2*d for d.
-3
Let q(n) = -5*n**2 + 79*n + 106. Let a be q(17). Solve 2*c - a*o - 20 = 0, 4*c - 3*o + 6*o + 15 = 0 for c.
0
Let i = 250 - 237. Let h(t) = t**3 - 12*t**2 - 13*t + 5. Let p be h(i). Solve p*r - 7 = -s - 2, s + r - 1 = 0 for s.
0
Let i(s) = -2*s**2 + 20*s - 41. Let o be i(6). Solve o*p - y = 11*p + 19, 4*y + 12 = 0 for p.
-4
Let x(v) = v**3 + 9*v**2 - 16*v + 26. Let m be x(-9). Let l = -168 + m. Solve 5*d - u = 20, -3*u = -4*d - l*u + 15 for d.
5
Let u be 1927/188 - (-1)/(-4). Solve 5*d + u + 5 = 5*m, 4*m = -3*d - 9 for d.
-3
Suppose -5*p - 4*o = -52 + 20, -5*p + 17 = -o. Solve -i - p = x, -7*x = -10*x for i.
-4
Suppose 0 = -p + 3*p - 3*j, 0 = 4*p + 3*j + 36. Let g be p/(-10) - 476/(-140). Solve 3*w - b - g = 0, 0*w + 3*b = 5*w for w.
3
Suppose -4*s + 37 = -55. Suppose 3*n - 8 = -v + 7, -3*v = -2*n - s. Solve h + v = 3*p - 6*p, h + 5 = -2*p for h.
3
Let y = -861 - -861. Solve -8*z = -4*o - 11*z + 5, y = -2*o + 5*z - 17 for o.
-1
Let p = -6760 - -6763. Suppose -2*m + 50 = 4*h, 3*h - 2*h - 2*m - 15 = 0. Solve 0 = -5*z - 5*r - 10, z + p*z - r + h = 0 for z.
-3
Let u(t) = -3*t - 5. Let o be u(-10). Suppose 54*j = 49*j + o. Solve 4*q = -3*n + 8 + 3, -j*q - 4*n = -13 for q.
5
Let c(n) = -n**3 + n**2 + 23*n + 15. Let p be c(-6). Let j = -123 + p. Solve -2*d = -5*t + j, -5*d = -5*t + 4*t + 15 for d.
-3
Suppose 15*m - 17*m + 42 = 0. Suppose -3*w + 19 = -2*l - 23, m = 3*w + 5*l. Solve -w = q - 2*g - 1, 4*g - 28 = 4*q for q.
-3
Let t be -12 - (0 - 7) - 161. Let x = -159 - t. Solve -3*z - 9 = 2*g, -2*z - x*g - 6 = -2*g for z.
-3
Suppose -2*z = 5*y - 13, -37*y + 41*y - z = 0. Solve 3*m + y = 5*b - 1, 0 = 4*m - 4*b for m.
1
Let b = -9890 + 9897. Solve -q = 5*h + 23, 2*h + b*q = 8*q - 5 for h.
-4
Let i(g) = 105*g + 9580. Let v be i(-91). Solve 2*m = -4*h + 20, 5*h + 3*m - 2 = v for h.
3
Let p = 1069 + -1067. Solve -p*s - 3*s - 29 = 2*v, -4*s - 2*v - 24 = 0 for s.
-5
Suppose 811*q = 807*q - 3052. Let t = -759 - q. Solve -20 = t*m + 2*b, m + 2*b + 5 = 4*b for m.
-5
Let l = 342 + -426. Let w be l/(-22) + 1/((-33)/(-6)). Solve -16 = -w*y + 2*z + 2, 5*y - 17 = -3*z for y.
4
Let o be ((9 - -13) + -34)*(-1)/4. Solve 2*f + 6 = 0, -5*z = -o*z - 2*f for z.
-3
Let a be 18*(-2)/(-12)*8. Let l be 2*((1 - 4) + a). Let o = l + -38. Solve 0 = q + i - 6*i + 20, -4*q = o*i + 8 for q.
-5
Let i = 134 + -131. Suppose -2*u - 10*u + i*u = 0. Solve u = -z - 5*s - 5 - 4, 6 = -4*z - 5*s for z.
1
Let a(n) be the third derivative of n**6/120 + n**5/15 + n**4/3 + 4*n**3/3 + 5*n**2 - 2. Let z be a(-2). Solve 4*w - b - 11 - 9 = z, 0 = 5*w - 3*b - 25 for w.
5
Let c(y) = -7*y**2 + 86*y - 21. Let n(x) = -6*x + 144. Let i be n(22). Let b be c(i). Solve b*d = -3*s + 21, 3*s - 31 = -5*d - 0*s for d.
5
Suppose 168*a - 3 - 669 = 0. Solve 3*h = w + 16, 5*w - 8*w = a*h - 4 for w.
-4
Let a = -49 + 109. Let v = a + -58. Solve i = -7*u + 2*u - v, u = -i + 2 for i.
3
Let x = -9007 + 9007. Solve -2*u + 42*w - 39*w + 15 = x, 4*w + 21 = 3*u for u.
3
Let k be 6/(-21) - 2/(-7). Let v = -14 + 22. Suppose 0 = v*o + o - 18. Solve k = -5*u - d + 1, -3*u - o*d = d - 3 for u.
0
Let q = 1272 - 697. Let n = -573 + q. Solve w = n*x + 9, -7 = x + 4*w - 2*w for x.
-5
Let u = 1061 - 1058. Solve u*w = -w + 2*p - 24, 0 = w - p + 7 for w.
-5
Let h = -271 + 399. Let x = 133 - h. Solve -l + 3*b = -10, l - 2*l + 20 = -x*b for l.
-5
Let a = 8651 + -8646. Solve 283*o - 3*q = 286*o - 6, a*o - 3*q + 6 = 0 for o.
0
Suppose 15*b + 12 - 21 = 36. Solve 4 = -2*u + 4*q, b*u - 12*q = -9*q - 6 for u.
-2
Let t = 22928 - 22925. Solve -4*q = 3*d + t, -22 + 16 = 3*d + 5*q for d.
3
Let q be (38/(-4) - -11)*(1 - -7)/2. Solve i = -5, -i + q*i + 29 = -v for v.
-4
Suppose -193*w = -83*w - 330. Solve -c - 2 = -u - 8, 0 = -3*c - w*u for c.
3
Let o be (-35 + 30)/((-4)/8 + (-4)/2). Solve s - 19 = -o*f - 4, -5*s = 5*f - 50 for f.
5
Let l = 2304 - 2303. Solve -9 = -p + 3*r - 4, -3*r = p + l for p.
2
Suppose -106*f + 103*f = -3*o + 6, 4*f - 34 = -3*o. Solve -2*a - 16*j = -18*j + f, -j = 5*a - 8 for a.
1
Suppose -4*x - 40 = -4*p, -192*x = -4*p - 190*x + 30. Solve 11*d - 13*d + 35 = p*s, 5*d = 4*s + 5 for d.
5
Let h = 381 - 370. Suppose -3*s + d + h = -d, s + 5*d = 15. Solve 2*f + 1 = -i + 6, -s = -i - 4*f for i.
5
Suppose -4 = -3*f + 11. Let i(r) = 4*r + 10. Let g be i(8). Suppose s - g = -25. Solve f*u - 2*k - 4 = -1, -u - 4*k = s for u.
-1
Suppose 6*p - 12 = 0, -c + 36*p - 33*p = 6. Let u be 1 - 3/(6/(-8)). Let a = 11 + -3. Solve c = -u*s + 5, v + 0*s = -4*s + a for v.
4
Let a(s) be the first derivative of s**2 - 44*s + 78. Let k be a(23). Solve 3*o + 0 - 13 = k*n, 4*n = -5*o - 15 for n.
-5
Suppose -27 + 6 - 33 = -18*f. Solve a = -z - 0*a - 3, -f*z + 2*a + 6 = 0 for z.
0
Let z(i) = -4*i + 40. Let c be z(10). Let g(a) = -a**2 - 4*a + 4. Let r be g(-4). Solve f + 11 = -c*f - r*t, -4*f + 1 = t for f.
1
Let x be (-1 - 1)*96/(-24). Suppose -x*b = -3*b - 50. Let a(w) = -2*w. Let p be a(-2). Solve -2*y - b = l, -9*y = -p*y - l + 25 for y.
-5
Let b(o) be the third derivative of -o**4/24 - 2*o**3/3 - 22*o**2. Let d be b(-14). Let l be 10/(-8)*(-4)/d*6. Solve -3*c = -7*c - u + 3, -3 = l*u for c.
1
Let f = -585 - -585. Suppose -5*u + 26 = 4*r, -7*u + 6*u - 2*r + 10 = f. Solve 4*n + 3*c = -u*c + 4, 5*c = -3*n + 8 for n.
-4
Suppose 0 = -54*i + 51*i. Suppose 5*p + 3*q - 82 = i, 3*p - 2*q = 27 + 7. Solve -s + 0*s - p = 4*t, -s = -t - 6 for t.
-4
Suppose 5*i - 5*b = -15 + 5, -2*i = -5*b + 10. Solve -24 = -5*k - 3*r, -3*k - 2*r + 15 = -i*k for k.
3
Let l be (355/(-15) - -25) + (-26)/(-3). Solve l*p = 6*p + 3*d - 13, 5*p - d + 8 = 0 for p.
-1
Suppose i = 5*i. Let q = 63 - 61. Suppose c = q*a - 6*a + 16, 2*a = -4*c + 22. Solve v - 5*u - 11 = i, v + v = u + c for 