7. Let c(o) = o**3 + 23*o**2 - 22*o + 70. Let d be c(a). Solve 0 = 3*k - 3*t + t + 17, d = -5*k - 3*t for k.
-5
Let z(f) = -2*f**3 + 7*f**2 + 23*f - 3. Let y be z(7). Let d = -181 - y. Solve 0 = 6*q - 3*q - 15, -q + 17 = d*b for b.
3
Let v be (-9)/((-9)/(-8)) + 6/(-4)*-12. Solve -2*l + v = 0, 2*s + 12 = -117*l + 119*l for s.
-1
Let v be 572/(-7150) + ((-381)/(-25))/3. Solve 3*x - 6*x + 12 = -3*h, -x = -v*h - 8 for h.
-1
Let p be 39/6 + (-161)/46. Solve -y + p*k - 29 = -k, -21 = 3*y - k for y.
-5
Let w(d) = 3*d + 30. Let r be w(-10). Let l be 0 + r - (-2 + -4). Suppose -4*k + 7*k - l = 0. Solve 2*m - 2 = 3*s, -m = -5*s + 3*m - k for s.
-2
Let w(x) = 7*x + 105. Let j be w(-15). Suppose -n + 4*g - 6*g + 3 = j, g - 6 = -2*n. Solve -n*r = -0*r + 5*v - 21, -5*r - v = -13 for r.
2
Suppose 5*t = 2*n + 64 - 31, -4*t + 3*n = -32. Solve t*r = -5*v - 15, 0 = -0*v - 4*v + 5*r + 15 for v.
0
Let j = -191 - -183. Let q(a) = -a**2 + 2*a + 85. Let c be q(j). Solve -2*x + 0 = -8, 32 = c*h + 3*x for h.
4
Let v = -22 + 24. Let m(t) = 8 - t + 28*t**v - 10 - 1 - t. Let f be m(-1). Solve -4*c + 5*p - f = 0, -2*c + 4*c - 4*p = -18 for c.
-3
Let k = -26 - -101. Let q = 78 - k. Solve -4*i - 2*y - q*y = 17, 5 = -y for i.
2
Let s(t) = t**3 - 21*t**2 + 3*t - 58. Let a be s(21). Let g = -8 - -12. Suppose 3*o - 10 = -2*k + 3, 16 = -g*k. Solve 5*v - 3*f = o, -a*f = -3*f + 8 for v.
-1
Let o be 0/1 + (37 - -3)/(-5). Suppose 0 = 6*t + 5 + 25. Let f be t/5 - o - 3. Solve 0 = -4*j - f, -3*c - 4 = -4*j + 4 for c.
-4
Let c = -37 - -41. Suppose 26 + 36 = 2*u + 3*g, -95 = -3*u - 4*g. Let p = -37 + u. Solve -3*f + 4*k = -5, p*k - 5*k = c*f + 45 for f.
-5
Suppose -67*c + 65*c = -5*v + 6, c - 15 = -2*v. Solve 0 = -2*q - 3*s - 23, 2*s = v*q - 2*s - 4 for q.
-4
Suppose z - 8 = -4*r + 8, -2*r - 3*z + 8 = 0. Let s(k) = 61*k + 2443. Let n be s(-40). Solve -18 = 2*a + r*w, -4*w - 19 = n*a + 2 for a.
-3
Suppose 13*p + 11 = 14*p - 2*z, -5*p - 4*z = 1. Let c(i) = i**3 - 12*i**2 + 10*i + 11. Let o be c(11). Solve -p*r + 0*r = -6, -4*b + r - 22 = o for b.
-5
Let h = -323 + 308. Let u be (-2)/16 - h/(240/82). Solve -2*i = 4*o + 22, u = 2*i - 6*o + o for i.
-5
Let w(c) = c**3 + 25*c**2 + 42*c - 62. Let s be w(-23). Suppose 3*f - s = -2*i - 16, -4*i = -f - 14. Solve f = n + d - 3, d - 5 = 0 for n.
0
Let s(m) = -7*m + 25. Let v(c) = -23 + 8*c + 6*c + 5*c - 13*c. Let b(z) = 4*s(z) + 5*v(z). Let n be b(10). Solve -n*a = 5*u - 30, 5*a - 2*u + 4*u = 18 for a.
2
Suppose 0 = 55*f - 33*f + 281*f. Solve -2*m + 11*h - 3 = 6*h, h + 1 = f for m.
-4
Let l be (48/6)/(-24)*3*-3. Suppose -l*q - 107 = -113. Solve 4*h - 1 + 7 = q*j, -4*j + 4*h + 4 = 0 for j.
-1
Suppose 332*o - 335*o = -399. Suppose o = 3*z + 118. Solve 2*h + 20 = 5*b, 0*h = h - z*b + 15 for h.
-5
Suppose s = 2*k - 5, -9*k + 10*k + s = -5. Solve k = -5*q + c + 23, -15*c + 8 = -11*c for q.
5
Let m(s) = s**2 - 19*s + 37. Let c be m(17). Suppose 64 = c*z + 52. Solve 0*r + i - 15 = -5*r, -z*i = 3*r - 26 for r.
2
Let j be 24/(-68)*2482/(-438). Solve -3*n + j*p - 3*p - 4 = 0, -6*n + 8 = -2*p for n.
0
Let b(c) be the first derivative of c**2 - 9*c - 29. Suppose -15 = -0*d - 3*d. Let z be b(d). Solve 2*r + 17 = 3*y, -2*y - 2*r + 7 + z = 0 for y.
5
Suppose -3*a - 2 - 1 = 0, 0 = v - 5*a - 10. Suppose 137*r = 135*r + q, -2*r + v*q - 16 = 0. Solve -2*o + 0*o + 3*c = -14, r*o - 4*c - 18 = 0 for o.
1
Suppose 2*t - 4*t - 156 = -5*w, 5*t = -5*w + 170. Let g be ((-1252)/(-3756))/(2/18). Solve -g*c - 5*x = w, -x = 4*x + 20 for c.
-4
Suppose -315 = 17254*r - 17269*r. Solve -16*d - 4*k - 30 = -r*d, 5 = -k for d.
2
Suppose 5*x + p - 107 + 14 = 0, -2*x + 36 = p. Solve -5*z + k - x = 0, 43 - 38 = -z - k for z.
-4
Suppose 5*u + 10 = 10*u. Let c = -30 + u. Let x be (-165)/(-12) - 7/c. Solve -3*w + 3*l + 6 + 12 = 0, -w - 3*l = x for w.
1
Let c(j) = 37*j - 587. Let q be c(16). Solve -q*z = -4*g + 20, -g - 38 + 43 = 2*z for z.
0
Let v = 945 + -1421. Let r = -471 - v. Solve 3*g + 12 = 5*g - r*f, -3*g - 2*f - 20 = 0 for g.
-4
Let v = 38 + -30. Let g be (((-90)/4)/(-3))/(54/72). Suppose -g = -y - 2*q, 0 = -y - y - q + 8. Solve 0 = -3*x + s + v, -4*s = 3*x - y*x + 6 for x.
2
Suppose 0 = 4*y - 2*o - 39 + 7, 2*y - 16 = 4*o. Suppose -i + 44 = 3*b, i = -b + 4 + y. Solve u - b = -4*u + 3*s, u + s = 0 for u.
2
Suppose 0 = -3*a - a - 4*w, 2 = 5*a + 4*w. Suppose -2*n - 6 = 4*m, -17*n - 33 = m - 12*n. Solve -3*r + a = -u - m, -2*r + 6 = u for r.
2
Suppose -15*a = u - 14*a - 5, 5*a = 4*u - 11. Let l(q) = -16*q - 96. Let z be l(-6). Solve g = 2*c - u, -5*c - 3*g + 22 - 1 = z for c.
3
Let z(n) = -7*n - 51. Let o be z(-8). Let p be (-25)/((-1 - -2)*-1). Let y be (-5)/(p/5) + 42/2. Solve -4*g - 1 = 2*k - 13, -5*k = o*g - y for k.
2
Let h = 2482 + -2478. Solve -1 = o + s, -3*o = -2*o - 2*s + h for o.
-2
Let r be (-526)/2893 + 2/11. Solve r = 5*x - 2*s - 6, -x + 10*s = 8*s - 6 for x.
0
Let v(g) = 4*g**2 + 24*g + 4. Let u be v(-9). Let s be 46/14 + 8*(-4)/u. Solve s*k = 7*b - 3*b + 18, 1 = -k - b for k.
2
Suppose 5*w - 8*u = -4*u + 28, -3*w = 5*u - 2. Suppose w*q = 2*d - 64, -10*d + 5*d + 145 = 5*q. Solve 5*s = -z + d, -12 = -s - 3*z + 8 for s.
5
Let o(p) be the first derivative of p**4/4 - 11*p**3/3 + 4*p**2 - 76*p - 15. Let j be o(11). Solve -4*r + 3*h - 8 = 0, 8*r + j = 4*r + 2*h for r.
-5
Let o(j) = -2*j**2 + 30*j + 22. Let a be o(17). Let m = a - -48. Solve 0 = -f - m*z - 1, -4*f + 9*f - 4*z + 33 = 0 for f.
-5
Suppose k - 4*k = -6. Let g be (1/(-2)*0)/(-1). Suppose -5*c + g - 10 = 0, -4*c = 2*v + 4. Solve -v*h - 8 = 0, -k*h - 2*h - 11 = z for z.
5
Let a be (-8)/(-32) - 2*(-2)/(-16). Solve -3*h + 0*t = -t + 8, -h - 2*t + 2 = a for h.
-2
Let u be ((-6)/4)/(3/(-12)). Suppose -3*o + 3 = -u. Let p = -7262 - -7266. Solve -1 + 2 = -o*l - p*a, -4*l - 16 = -2*a for l.
-3
Let s(c) = 2*c - 3. Let r be s(2). Let i(k) = 7*k - 299. Let x(w) = 2*w - 1. Let v(y) = -i(y) - 6*x(y). Let b be v(16). Solve r + b = 2*n, 5*m + n = -14 for m.
-3
Suppose 57*c - 19*c - 27*c = 17*c. Solve -d = 6*u - 10*u - 8, c = -3*d - 5*u + 7 for d.
4
Let h(d) = 106*d**2 + d - 6. Let b be h(2). Suppose -2*t - b = 8*t. Let r = -41 - t. Solve 4*n - q = 4*q - 5, -q = 5*n - r for n.
0
Let p(f) = 2*f - 1. Let m = -150 + 152. Let x be p(m). Solve -5*t + 29 = x*q, 4*t = -0*q + 2*q + 10 for t.
4
Let d = -1915 + 1918. Solve -5*z = -6*c + d*c - 10, -4*c + 4 = 2*z for c.
0
Let t = 1050 + -1048. Solve -t*b + 7*b - 2*z = -25, 5*z - 5 = b for b.
-5
Let x = -107 + 85. Let y(n) = -3*n - 61. Let w be y(x). Solve d - w*c + 10 = 0, 3*d = -d - 3*c + 6 for d.
0
Let d(i) = i**3 - 5*i**2 - 5*i - 4. Let z be d(6). Let f be (6 - 240/36)*-78. Suppose -z*r = -f + 46. Solve -4*l = -5*w - r - 4, -3*l = w - 10 for l.
3
Let u = 99 + -160. Let w = -118 - u. Let h = 62 + w. Solve -h*o + 10 = -2*a, -3*a - a - 10 = -5*o for a.
0
Let h = 3651 - 3645. Solve -5*n = -t - 28, -5*n + h*t - t + 40 = 0 for n.
5
Suppose k + 609 = 8*k. Let n = k - 85. Solve -n*p + 4*f + 1 + 7 = 0, 4*p + 3*f - 5 = 0 for p.
2
Let i(k) = 15*k - 11. Let a be i(2). Solve 3*b = 2*h - 6, -a*h + 14*h + 15 = 0 for b.
0
Let s(p) = p**2 + 122*p - 493. Let z be s(-126). Solve 5*i + z = x, -9*i + 5 = -5*x - 4*i for x.
-4
Let p(m) = 12*m + 4. Let b be p(-3). Let a be (-248)/b + -2 + 3/(-4). Suppose -a*u + 24 = -3*u. Solve 3*y = -3*n + 8*y + 20, -n + u = -3*y for n.
0
Let n be (-2 - (-11)/4)/((-216)/(-10368)). Solve 8 = -i, n = 2*z - 4*z - 5*i for z.
2
Let k = 86 - 83. Suppose 0 = 3*c - w - 13, -k*w - 2 = -5*c + 13. Suppose c + 0 = 2*p. Solve -o + 4 = -z + p*o, 3 = 3*o for z.
0
Let a be 9 + -4 + (-2 - -1). Suppose a*m - 2*v - 60 = 0, 2*m - 30 = 4*v + v. Suppose 0*q = 3*q - m. Solve l - 3*w = -7, 0 = -q*l + w + 3*w + 9 for l.
5
Let i = -3509 + 3524. Solve -m = 2*y - 0*m - 5, -i = -3*m for y.
0
Let l be 3 + 0 - (20 - 23). Suppose -l*s - 3 + 33 = 0. Suppose -5*f - 3*x - 2 = 0, -6*f + 18 = -s*f - 4*x. Solve 5*b - k = 4*k - 25, 2*b = -f*k - 6 for b.
-4
Suppose -14*l = -34 - 8. Let o = l - -12. Solve -n - 8 - 1 = -5*r, -5*r - 5*n = -o for r.
2
Suppose 196*g = -10 + 504 + 290. Solve g*t - r - 4 = 0, -5*t - 50 + 30 = 5*r for t.
0
Let i = 12283 - 12259. Solve -i = 3*b, -3*j + 3*b + b + 47 = 0 for j.
5
Let y(u) = -u**3 - 3*u**2 - 13*u - 20. Let m be y(-2). Let q be (-14)/14 + 10/m. Solve q*z = -8, 2*k + 12 = -3*z + z 