 176 = n. Let o = 91 - n. Suppose o = 2*k - 3*q + 12, -4*k + 37 = 5*q. Solve -i + 2*c + 5 = 0, -4*c = -i - 4*i + k for i.
1
Let s = 4 + 13. Solve -5*o = -c - s, -5*c - 2 + 5 = -3*o for c.
3
Let h(t) = -3*t - 9. Let o be h(7). Let j = 54 + o. Suppose 0 = 2*c + c - j. Solve 2*g = 4*d - 3*g + 11, -3*d - c = -4*g for d.
-4
Suppose -4*f = -2*b - 6, -b + 27 = -4*b - 3*f. Let n(h) = h**3 + 6*h**2 - 7*h + 3. Let y be n(b). Solve 0 = -c - 5*o - 0*o + 10, -3*o = y*c - 6 for c.
0
Let w = 45 - 30. Solve 0*n + 3*r + w = -5*n, -25 = 4*n + 5*r for n.
0
Suppose -4*w + y + 3 = 4, -4*w = 3*y - 3. Solve w = 3*q + 3*c, 2*q - 3*c + 18 = c for q.
-3
Let w be 16/4*(-3 + 5)/2. Solve 2*h + w*t = -7 - 3, -4*h = -5*t - 19 for h.
1
Suppose -3*g - 3*p = -27, g = 5*g + 2*p - 30. Suppose 14 = 3*c - g*c - 4*r, -18 = c + 4*r. Solve -2*f + f = -c, -2*t - f = -4 for t.
1
Suppose -4*n = 5*b - 57 + 20, 19 = 3*n + 2*b. Solve 7 = -w + 2*j, -j + 21 = -7*w + n*w for w.
-5
Suppose 4*l + 4 - 24 = 0. Solve 0 = -2*m - l*y + 17, m + 0*m + y - 4 = 0 for m.
1
Let x be -2 + 12/3 - 0. Suppose x*n - n = 0. Solve -15 = 3*v, -3*t + t + v - 3 = n for t.
-4
Let g = 163 - 158. Solve -2*u = -g*u + h + 16, 0 = u + 2*h - 3 for u.
5
Let h be -1*6*(-2)/4. Solve -h*l = 5*k + 5, 0 = -k + 5*l + 1 - 2 for k.
-1
Let c(q) = -q**2 - q + 5. Let f be c(0). Let r(b) = b**3 + 5*b**2. Let s be r(-5). Solve s = -o + 2, -f*o + 9 = -g - 6 for g.
-5
Let c be (-5)/10*6*-1. Solve 5*m + s = -c, -2*s + 4 = -m - 1 for m.
-1
Suppose -c = -11 - 12. Let s(t) = -t - 8. Let b be s(-12). Let y = -1 - -1. Solve g - 8 = 4*k - c, -b*g - 5*k + 24 = y for g.
1
Let z(l) = -l + 2. Suppose 0 = -w + 1 - 4. Let v be z(w). Solve 5*u = -v*t + 15, 7 = 3*t + 2*u - 2 for t.
3
Let c = 3 + 0. Solve z + 11 = -5*s, -9 = -c*s + 2*s - 3*z for s.
-3
Let z(r) = r - 2. Suppose 0 = 3*g - 8*g + 15. Let a be z(g). Let u be a/(-5) + (-26)/(-5). Solve -5*c + 1 = u*m - 4, -3*c + 4*m = -17 for c.
3
Let q(d) = 2*d + 19. Let y be q(-8). Solve 3*t = -s + y*s - 2, -5*s = 2*t - 24 for s.
4
Let t(w) = -w**3 + 6*w**2 - 8*w + 8. Let r be t(4). Solve 0 = o - 3*q + q + r, 4*q = 12 for o.
-2
Suppose -f + 2*m + 9 = -0*f, 2*f - 50 = -4*m. Suppose f = 5*v - 23. Solve -2*q = -i + 3, 2*q - 5*i = -q - v for q.
-1
Let w(m) = 3*m**3 - m**2. Let p be w(1). Suppose -2*z = 5*s + z - 7, -p*s - 3*z = -1. Let o = s - 2. Solve 4*q - 8 = 0, o = 4*u - q + 3*q + 4 for u.
-2
Let m(c) = c**3 + 7*c**2 + c + 7. Let x be m(-7). Suppose -3*q + q = x. Let l be 0/((q - 1)*2). Solve -3*h - 2*s - 1 = l, 0*h - 3*h = -3*s - 9 for h.
1
Let h = -51 + 54. Solve -2 = -h*w + 4*z - 5, 3*w + 4*z + 3 = 0 for w.
-1
Let z = 27 + -6. Solve 0 = 2*w + 2*c + 2, 2*w - z = -w + 3*c for w.
3
Suppose 0 = -2*h + l + 11, -4*l - l - 35 = -5*h. Suppose -2*p + 2 = -h. Solve -5*n + 2*u + p*u = -25, -n = -3*u - 9 for n.
3
Let d = 2 + -1. Solve 5*l + 3*g + d = g, -4*l - 2*g = 0 for l.
-1
Let d = -107 + 115. Solve -d = -2*m, 5*m + 1 = 4*v + 21 for v.
0
Let y(h) = h**2 - 5*h - 6. Let p be y(6). Let c = -32 + 57. Solve -3*j + 5*t + 37 = p, -6*t = -t + c for j.
4
Let n be 29 + 4 + 18/(-6). Solve w + 5*o + 31 = 13, 5*o = -5*w - n for w.
-3
Let l = -35 - -43. Solve l = -2*j, 0*y - y - 4*j = 19 for y.
-3
Let l(r) = 2 - 26*r + 27*r - 4. Let f be l(6). Solve 2*h - 3*o = -2*h, 0 = -4*h - f*o for h.
0
Let j(u) = 5*u**3 - 2*u**2 - 8*u + 9. Let v be j(1). Solve 0 = -4*x - 5*a + 7, -12 = -3*x + v*a + 1 for x.
3
Suppose 25*y - 27*y + 10 = 0. Solve y*a - 11 = -2*t, a - 7 = 5*t - 3*t for t.
-2
Suppose v = 6*v - 25. Let x(g) = g**2 - 6*g + 5. Let y be x(v). Suppose y = -3*a + 1 + 11. Solve -4*d = -u + 17, d + 3*u + 8 = a*u for d.
-3
Let c = -99 + 104. Solve c*r - 2*s = 15, 0 = r + r - 5*s + 15 for r.
5
Let o = -1 + 3. Suppose -r + 5*r - 20 = 0. Suppose o*i - r = -1. Solve 3*b - 4*b = 2*z - i, b - 8 = -4*z for z.
3
Let g = 110 - 200. Let v be (-4)/22 + g/(-11). Suppose -u - 4*y = -v, u - y + 4 = 2. Solve 4*h + 0 + 2 = 3*i, 3*i - 6 = u for h.
1
Let p = -7 + 5. Let c = p - -6. Suppose -3*y - 2 = -c*y. Solve 0 = -t + 4, 0 = -y*x + 4*t + t - 26 for x.
-3
Suppose 3*o = 4*l - 29, -6*l = -7*l + 4*o + 17. Solve 2*f - l = -2*v + 9, -f + 2 = 0 for v.
5
Let l(k) = k**2 - 7*k + 7. Let s be l(6). Suppose -2 = n, -4*t - n = s + 1. Solve -g + 3*a - 17 = 0, t = -a - 0*a + 4 for g.
-5
Let w(b) = 5*b + 4. Let v be w(4). Let t be (3/(-4))/(6/v). Let n = t - -5. Solve 2*o - 2*q = -1 + 5, -o = 3*q + n for o.
1
Let b(h) = h**3 + 4*h**2 - 2*h - 5. Let m be b(-4). Let s be 2/3*1*m. Let c = 14 + -11. Solve w + n - 3 + 0 = 0, -c = -s*w - n for w.
0
Suppose -4*c - 5*p - 679 = 0, p + 548 = -3*c + 5*p. Let w be c/(-10) + 4/10. Suppose -w = -4*i - 10. Solve m - i = v - 11, 4*v = 20 for m.
-4
Let v = 3 - -1. Suppose -y + v*p = -0*p - 15, -3*p - 21 = -4*y. Solve 0 = -y*g + 6*g, 5*g + 1 = -b for b.
-1
Suppose 22 - 17 = h. Solve 1 = l + 5*c, 2*c = -h*l - 2*c + 5 for l.
1
Suppose 2*r = j - 2 + 7, 5*j - 11 = -2*r. Let x = 3 - j. Let g(q) = q**2 - 2*q + 3. Let d be g(2). Solve -4*s - 30 = -2*s + 4*p, 5 = x*s - d*p for s.
-5
Suppose -3*k + z = 61, -z - 44 = -k + 3*k. Let x = -18 - k. Solve -8 = -5*l - 2*j, -x*l - 4*j + 9*j = 20 for l.
0
Let t be (4 - (-3 - -9)) + 5*1. Solve j - t*j - 8 = -2*k, -20 = 2*k + 5*j for k.
0
Suppose 2*w - 9*w = -14. Solve -i + o = 3, 3*i - 2*i + w*o = 6 for i.
0
Suppose 0*s - 7*s + 14 = 0. Solve 10 = -2*w, l - 3*w + s*w = 5 for l.
0
Let h be (-2)/(-5) + 165/25. Let x = 13 - h. Solve f + 5*v - x*v = 1, 0 = -3*f + 5*v + 5 for f.
0
Let k(g) = -g**3 - g**2 + g - 3. Suppose 4*j - 6 = -2. Let z = j - 4. Let y be k(z). Solve 4*c - 5*a + 4 = 1, -c - y = -5*a for c.
3
Let c be 2/(10/12 + -1). Let w be 2 + c/4 + 3. Solve -5*p - b + 2 = 0, 5*p + 5 + w = -4*b for p.
1
Let g(o) = o**2 + 7*o - 1. Let m be g(-9). Solve 2*c - 7*c + 2*d = m, -2*d + 2 = 0 for c.
-3
Let w = 146 + -232. Let x be w/(-3) + (-10)/15. Solve -3*n - n = -u - 13, -4*u - x = -4*n for n.
2
Suppose -v + 17 = -0*v. Suppose -3*r + 11 = -3*o - 7*r, 4*o - 2*r - 22 = 0. Solve 4*s + 2 = 3*s, 0 = o*m + s + v for m.
-5
Let m(r) = r**3 - r**2 - r + 1. Let v be m(2). Let t be ((-2)/1)/(v/(-6)). Solve -z = -0*z - p - 2, t*z + 4*p - 24 = 0 for z.
4
Let l(m) = -3*m - 4 + 4*m + 3 + 0. Let f be l(8). Suppose -f = -3*u - 1, 0 = 5*j + 3*u - 31. Solve 0 = -2*d - j*r - 35, -3*d - 24 = 5*r + 16 for d.
-5
Let b(z) = -2*z - 4. Let r be b(-3). Suppose -4*g + g = 3*a - 180, 4*a = 2*g + 210. Let p be r/3 + a/3. Solve -4*s + 7 = -s - t, 3*t - p = -s for s.
4
Let u(p) = 3*p - 111 + 111. Let g(m) = m**3 + 6*m**2 - m - 5. Let w be g(-6). Let v be u(w). Solve 4*a + v*t = 19, a + 3*t - 26 + 10 = 0 for a.
1
Suppose c - 3*c + 2*a - 2 = 0, 2*c + a = 7. Suppose 3*i - c - 13 = 0. Solve j - 3*j - 5*l + 7 = 0, -3*j - 2*l + i = 0 for j.
1
Let q(i) = i**2 + i - 1. Let o be q(2). Suppose -4*l - 20 = 2*w + l, o*w = l + 4. Solve a = -1, w = -3*t - 0*a + 3*a + 3 for t.
0
Let y(s) = s. Let n be y(4). Solve 0*i = -3*r - 4*i + n, i - 1 = -2*r for r.
0
Let o(p) = 2*p**2 + 6*p - 7. Let n be o(-6). Let f = n + -19. Solve -3*r + f = -4*u - 2*r, -5*u + 4*r - 18 = 0 for u.
-2
Suppose -4*g = -8, 5*g + 1 = 4*u - 5. Solve -3*s - w = -s, u*w = -2*s + 12 for s.
-2
Let m(l) = -l**3 - l**2 + l + 4. Let s be m(0). Solve 3*v - 18 = -s*r, 3*v - 3*r = -5 + 2 for v.
2
Suppose 4*k - 2*c + c - 7 = 0, -5*k - 3*c = -13. Suppose -k*d = -3*d. Suppose -4*y - y = d. Solve y = 4*j - 2*x + 28, x - 1 - 3 = 0 for j.
-5
Suppose -w = -q - 4*q + 21, 0 = -5*q - w + 29. Let t be (-150)/(-35) + (-2)/7. Solve f + t*m + 16 = 0, -3 = q*f - m - 7 for f.
0
Suppose 3*m = -0*m + 12. Let l = -2 + m. Solve 0*k - l*z + 2 = -3*k, 3*z = -15 for k.
-4
Let n be (-1)/(6/4)*-9. Suppose -r - 8 = -5*u, -n = -r - 4. Solve -t = 3*f - u*t, -5*t + 12 = -3*f for f.
1
Suppose -v = -5*v + 24. Solve v*z - t - 2 = z, z = -5*t + 16 for z.
1
Suppose -8*n - 15 = -13*n. Solve -2*c + o = -2, n*o + 2 = 3*c + 5 for c.
3
Let d(j) = -6*j + 81. Let i be d(13). Solve -i*s = -7*r + 2*r - 3, 5*r + 4*s = 4 for r.
0
Let d = -48 - -52. Solve i - 6*i + 8 = j, -8 = 4*i - d*j for i.
1
Suppose -72 = -5*f - 27. Solve -5*y - 5 = 5*l, -4*y + y + l = -f for y.
2
Let y(m) = m**2 - 4*m. Let p be y(6). Suppose p = 4*h - 4*r, -7 - 18 = -5*r. Solve w - 4*w - 6 = 5*n, n + h = -4*w for n.
0
Suppose 5*p + 17 = 3*x, 3*p - 4 = -7. Solve 