-72. Solve 17 = x + 2*c + 4, x + a*c - 21 = 0 for x.
5
Let q(k) = k**3 - 9*k**2 - 2*k + 8. Let s be q(8). Let g = s + 86. Solve -2*y + 5*n = 2*y + g, 4*n - 8 = 0 for y.
-1
Let m be 2/(4/22)*3. Let z = m + -13. Let w be -1*1*(-11 - -10). Solve z = -4*l, 3*i + 22 = -4*l - w for i.
-1
Suppose -10 = -3*j - 4. Let c be (2 - 1)*(-3 + 4). Suppose -c = j*g - 47. Solve -4*m - f - g = 0, -2*f - 31 = 7*m - 2*m for m.
-5
Suppose -2*n + 6 = -5*a - 0, 12 = 4*n. Let w(s) = -s**3 - s**2 - s - 1. Let l be w(-1). Solve -4 = -4*b - 2*y, l = b + y - a*y + 1 for b.
3
Let u(z) = 15*z - 8. Let d be u(3). Suppose -2*c + 13 = -d. Suppose g = -4*g + c. Solve -g*p - 1 = -10*p - 3*i, -i = 3*p - 3 for p.
2
Suppose 65*d = 45*d + 80. Solve 5*w + b + 1 = d*b, -5 = w + b for w.
-2
Suppose -8*s + 92 = 36. Solve -w + 4*g - 13 = 2*w, -4*w - 5*g = s for w.
-3
Let t(c) = -c + 10. Let b be t(11). Let y = b - -13. Let r be 8*(y/(-16) + 1). Solve 5*w + 6 = 3*j, -3*j = r*w + 21 - 6 for w.
-3
Suppose -2*f + 5*h = -17, -4*f - 4*h = -5 - 71. Suppose 5*a - 27*a = -110. Suppose -3*u = -a*u + f. Solve -b + 6*b - 25 = -5*v, 0 = -4*b + 2*v + u for b.
3
Suppose -87*k = -80*k - 14. Solve 0 = 4*m + y - 5*y + 12, k*m = y - 5 for m.
-2
Suppose -v + 5 = -0*v. Suppose -27 + 12 = -5*a. Suppose 4*l - 7 = u, -4*u + a*l + 14 - 3 = 0. Solve 0 = -4*t, 3*h - u*t - v = 4 for h.
3
Suppose 0 = 5*j + 4*h - 394, -2*h + 320 = 3*j + j. Let y = -79 + j. Suppose 55 = 5*q - 0*q. Solve 0 = d - 5*m + 2*m - 9, -q = -y*d + m for d.
3
Let v = -275 - -279. Solve 4*j = m - j + 8, 4*j = v*m + 16 for m.
-3
Suppose -114*b + 118*b - 16 = -5*i, -i + 4 = b. Solve -5*k + i*k - 22 = -4*y, -4 = 2*y + 5*k for y.
3
Let b(r) = r**3 - 10*r**2 + 16*r + 2. Let c(t) = 2*t**3 - 4*t**2 + 4*t. Let s be c(2). Let n be b(s). Solve n*h - 3*d - 5 = -16, -h - 4*d + 22 = 0 for h.
2
Let t be ((-30)/(-20))/(1/2). Let h = 9 - 6. Solve 0 = l + 3*l - 5*u + 18, 0 = h*l + t*u for l.
-2
Let o = 503 + -503. Solve 2*c + 4*g - 2 = 6, 2*g - 8 = o for c.
-4
Let v(f) be the second derivative of -f**3/2 + 21*f**2/2 - 10*f. Let t be v(6). Solve -5*p - 2*j - t*j + 20 = 0, -5*p = 2*j - 23 for p.
5
Let v be (2 - 0)*2/1. Suppose -5*b + 2*n = 6*n + 6, -18 = -b + v*n. Solve -l = -b*j - 11, -5*l + 0*l = j for l.
1
Let n(k) = -k**3 + 2*k**2 + 2*k + 1. Let q be n(2). Suppose -3*b - 6 = w - 3*w, -5*b + 15 = q*w. Solve 4*r - 17 = v, -w = v - 2 for r.
4
Let u be (-2)/(-12)*0 - -5. Solve 0 = -f + 2*f + 3, 0 = u*v - 5*f - 35 for v.
4
Let x(u) = u**3 - 21*u**2 - 45*u - 19. Let l be x(23). Solve j + a = -j - 1, l*a = 4 for j.
-1
Let w be -1 + (6/(-8))/((-36)/48). Solve -3*y - 3 = w, -5*y + 1 = 5*t + 21 for t.
-3
Let l = -235 + 237. Solve 4*h = 5*r + 5, -l*r = -2*h + 2 + 2 for r.
3
Suppose -3*c - 4 = 2, 3*z - c + 22 = 0. Let m = 10 + z. Let d be (-33)/(-6) + m/(-4). Solve 2*k - 14 = d*a, k - 8 - 9 = 5*a for k.
-3
Let d be 5 - 52/5*10/(-4). Solve 2*w + w - d = 4*a, 5*w = a + 29 for a.
-4
Suppose -9*p + 18 + 0 = 0. Solve -4*y + 28 = -3*w, -5*y + p*w = 9 - 37 for y.
4
Let g be (-1)/(-2)*(17 - 357/21). Solve -2*y + 5*m - 14 = 0, 2*y + 8 = -g*m + 2*m for y.
-2
Suppose -2*p - 274*o = -269*o - 28, 4*p + o - 38 = 0. Solve -3*v + 2*l - 3 = l, l = -3*v - p for v.
-2
Suppose -4*a = -0*a + 16, 0 = -r - 3*a - 9. Solve -5*g = -4*n - r, 0*n + 4*n = -8 for g.
-1
Let y(v) = v**3 - 6*v**2 + 7*v - 5. Let p be y(5). Let a(g) = -4*g + 3. Let r be a(-6). Let u = 28 - r. Solve -l - 2 = -p*o, -l + 2 + u = 0 for o.
1
Let j(i) = -2*i**2 - 2*i - 2. Let l be j(-3). Let g be (-1370)/60 - (14/(-12))/(-7). Let f = l - g. Solve 3*k + k + 5*v - f = 0, -3*k - 32 = -4*v for k.
-4
Let p(l) = 2*l + 23. Let w be p(-10). Let d(r) = 2*r - 13. Let h be d(7). Solve -w*a + h = m + 8, 0 = 5*a - 5*m + 5 for a.
-2
Suppose w + 4 = 2*r, -r - 4*w + 2 + 9 = 0. Solve r*k - 5*k - 4 = 0, -k + 2 = z for z.
4
Let u(g) = -g**2 - g - 2. Let i be u(-2). Let p(d) = d**3 + 9*d**2 - 21*d + 16. Let r be p(-11). Let w = i + r. Solve 7*y + 1 = v + 2*y, -w = y for v.
-4
Let l(c) = 9*c + 583. Let k be l(-63). Solve 2*z - k = 3*a, 3*a - 6*a + z - 11 = 0 for a.
-2
Suppose -3 = 3*q + 5*a, 2*q - 21 = -q + 3*a. Solve 0 = -l - 3*l + 3*m - 19, 24 = -4*l + q*m for l.
-1
Suppose -38*f = -48 - 142. Solve 6 = -3*r + f*r, -3*u - r = 3 for u.
-2
Let l(n) = 5*n - 1. Let y be l(1). Let m = -5617 + 5623. Solve f = 4*u + 25, -m*f + 30 = -y*u - 4*f for u.
-5
Let b = -291 + 295. Solve b*h - 1 = w, -4 - 7 = 3*w - 4*h for w.
-5
Suppose 0 = 3*w - 3*a + 6*a, 8 = -w - 5*a. Solve 0 = -4*q + l + 10, -4*l + 0*l = w*q - 14 for q.
3
Let h = 5 - 4. Let x(g) = g**2 - 1. Let w be x(h). Solve -3*s - 11 = -p, -s = -w*p + p + 9 for s.
-5
Let a = -25 + 27. Let h = 67 - 46. Solve -a*y + 3*g + 15 = 0, 0 = 4*y - 4*g + g - h for y.
3
Let s(f) = -f**2 - 6*f - 4. Suppose 5*d - 2*a = -14, 5*a - a + 28 = -4*d. Let z be s(d). Suppose 3*b - z*b = 0. Solve b = 2*h - 4*j + 12, j = 4*j - 15 for h.
4
Let k(t) = t**3 - 4*t**2 + 4*t + 1. Let n be k(3). Suppose 137 = 10*a + 117. Solve -n*m - a*s - 11 = -5*m, -12 = 4*s for m.
5
Let f(l) = l**2 + 13. Let i be f(0). Suppose 27*h = 40 + 14. Suppose -3*o = 4*g, -2*o - 7 = 2*g + 3*g. Solve 5*k + i = 4*c, o*c - h*k = 2*k + 12 for c.
2
Let y be 8/2 - -2 - -1. Let g(z) = 3 + y*z - z**2 + 3*z - 6. Let x be g(9). Solve -3 = -2*w + f - 1, 4*w - f - x = 0 for w.
2
Suppose -4*l - 14 = 3*c - 50, 0 = 5*l. Suppose 6*j - 12 = c. Solve -3*z + j*s = -z + 26, 5*s - 31 = 2*z for z.
-3
Suppose -1 = -4*z + 23. Suppose 2*q - 12 = u, -3*q + 2*q + 4 = 0. Let c = z + u. Solve 0 = b - c*v + 3, -2 = b + v - 2*v for b.
-1
Let j be 42/28*(-2)/(-3). Solve -4*v = -12, -2*o - 4*v = -5 + j for o.
-4
Suppose -4*b = -b - 54. Suppose -b = -6*m - 6. Solve 14 = -2*g - 2*i, 2*g + 0*i = m*i + 6 for g.
-2
Let f(s) = s**3 + 9*s**2 - 2*s - 16. Let d be f(-9). Let c be 0 - (8/(-4) - d). Solve -20 = 2*t + 2*g + 3*g, -c*g = 8 for t.
-5
Suppose 0 = 2*d + 32 - 38. Solve i + i - d*p = -8, p = -i - 4 for i.
-4
Suppose -4*m = -3*a + 48, -a + 3*m = -12 + 1. Solve -2*o = 3*r + a, 2*r + r = 4*o + 4 for r.
-4
Suppose 0 = l - 1 + 2. Let r = l + 3. Suppose 3*n + o = 6, 7*n - o - 18 = r*n. Solve 0 = -3*j - 4*b - 6, -b - 8 = -4*j + n for j.
2
Let t = 28 - 23. Suppose -13*f = -t*f. Solve 24 = 3*y - 4*z, z + f*z = 2*y - 11 for y.
4
Let c be (5/3)/((-40)/(-72)). Solve -4*q = -2*s + 24, c*s - 7*s + 33 = -5*q for q.
-5
Let y = 31 + -27. Let g(i) = -i**2 + 2*i + 12. Let o be g(y). Solve 0 = -o*x - 5*t + 33, -x - t + 3 = -2*x for x.
2
Let x(q) = -2*q - 4. Let n be x(-3). Suppose -n*h + 2 + 6 = 0. Suppose 9 = h*j - 11. Solve 3*u - f - 2 = f, -j*f + 18 = 4*u for u.
2
Suppose -p = -r + 7, 3*r - 2*p = -7*p - 11. Solve 0 = -5*k - 3*d + 3, 5*k - r + 2 = -d for k.
0
Let b(g) = 2*g - 9. Let v(z) = -z + 4. Let y(k) = -4*b(k) - 9*v(k). Let c be y(4). Solve -3*j + 0 = 4*p - c, 0 = -3*p + 3*j + 3 for p.
1
Suppose -5*j - 5*w = -15, 5*j = -0*w + 2*w + 36. Let m be j/4 - 1/(-2). Let l be (-4)/((-3)/24*2). Solve l = 5*a - a, m*a = -2*u + 12 for u.
2
Let r = 65 + 12. Suppose 2*s = -r + 17. Let j = -26 - s. Solve j*h + 3*q + 11 = -5, 4*h = -q - 8 for h.
-1
Suppose -2*j - 5*f = 3, -2 = 2*j + 3*f - 5. Suppose -3*v + 7 = 2*z - 13, 4*z = -2*v + 24. Solve j = d + q, -v*d + 3*q + 26 = 9 for d.
5
Let d(v) = 2*v**2 + 8*v - 6. Let r be d(-6). Suppose 0 = -27*w + r*w + 27. Solve 25 = -5*z, 4*q = -q + w*z + 15 for q.
0
Let j(p) = p**2 + 16. Suppose 2*t + a + 5 = 2*a, 4*t - 5 = -a. Let y be j(t). Let s = y - -18. Solve -4*c - 5 = r + 2, -s = -5*r + 3*c for r.
5
Let y be (-272)/(-56) + -5 + 145/35. Solve t = -4*n + 8, -t + y = -4*n + t for n.
1
Let r(p) = -p**3 - 5*p**2 + 4*p + 1. Let s(q) = q**3 - 5*q**2 - 3*q + 9. Let l be s(5). Let y be r(l). Solve c - 5*d = 21, -5*c + 2*d + y = -0*c for c.
1
Let n(g) = g**3 - 4*g**2 + 2*g + 2. Let t be n(4). Let k be (-2)/36 - (-12)/216. Solve -4*x + 0*x + 5*p + 45 = k, p - t = -3*x for x.
5
Let q = 1694 - 1686. Solve 0 = -5*d + 5*o + 3 - q, 0 = -3*d - 5*o + 5 for d.
0
Suppose 0 = -0*b + 3*b - 9. Suppose 3*o + 7 - 1 = 0, 5*o - 14 = -2*l. Solve 0 = p + 3*c + 13, -l = p + b*p + 4*c for p.
2
Let b be (-10)/(-4) - (-4)/(-8). Suppose 20 = 4*s + s - 2*l, 0 = -4*s - 4*l - 12. Let k = -3 - -3. Solve s*o + b = d, k*d = -2*d - 4*o - 12 for d.
-2
Suppose 19 = -2*s - 5*b, 0*b + 25 = -5*b. Solve -5*q + r = -19, 2*r