 5*s. Suppose -s*y - 2*l = -7, 16 = -3*l - l. Solve 6*h - y*o = h - 1, -5*h - 13 = o for h.
-2
Suppose 0 = 5*x, -36 = -f - 2*f + 5*x. Solve 6 = -2*h, -30 = 2*k + 4*h - f for k.
-3
Let g = 177 + -177. Solve 0 = y + 2*p - g*p - 4, -p + 2 = 0 for y.
0
Let h = -9 + 12. Let m be (-6 - 2 - -2)/(-1). Solve l + 24 = m*l + 2*g, -14 = -h*l - g for l.
4
Let o = -1 - -1. Let p(b) = -b**3 - 6*b**2 + 2*b + 3. Let v be p(-3). Let k be v/(-2) + -4 + 1. Solve -h - 3 = 2*n - o*n, 3*n = 4*h + k for n.
0
Let c = 11 - 3. Let i be c/(-6)*(-6)/4. Solve w - 4 = 3*f + i, f + 2 = -2*w for w.
0
Let l = -8 - -13. Suppose 0 = 2*m + 2*m + 3*g - 17, -13 = m - l*g. Solve -2*u + k + 4 = -0*k, -3*u + 13 = m*k for u.
3
Let l(h) = -h**3 + 24*h**2 - 21*h - 42. Let s be l(23). Solve -2*t + 4 - 24 = -s*v, v + 2*t + 5 = 0 for v.
3
Let k(x) = x**2 + x + 2. Let l be k(-1). Solve -5*r + 25 = 2*b + 3*b, -l = -4*r + 5*b for r.
3
Let f = -1 + 4. Let l be 3*(16/6 - 2). Let v = 5 - l. Solve -v*k + 3 = -f, -2*m + 3*k - 12 = 0 for m.
-3
Suppose -2*j + 4 = 0, s + 3*j = 4*s - 36. Let v be (-702)/(-91) - (-4)/s. Solve -5*h - 6 = -0*t - 4*t, -v = -2*t + 5*h for t.
-1
Let r be (-1 - -1)/(-3) + 3. Solve 0 = 2*u - 3*n - 13, -19 = -r*u + 3*n - 1 for u.
5
Let g(c) = -c + 1. Let a be g(-1). Let i be (-6)/3 - -2 - -2. Let r be -2 - (0 - 10/i). Solve -3*j - 1 - 4 = 2*p, -5*j = -r*p + a for j.
-1
Suppose -28*l = -32*l. Solve -v - 5*f - 18 = l, 3*f - 9 = 2*v - 25 for v.
2
Suppose 12 = 5*b + 4*w - 3*w, 0 = 5*w - 10. Suppose 0 = 4*y - b - 6. Suppose 0 = y*h - 2. Solve -2*v + 8 = 4*j, 0 = 5*v + 2*j + h + 3 for v.
-2
Suppose 0 = -8*q - 9 + 137. Solve 4*t - i - q + 5 = 0, -4*t + 9 = -3*i for t.
3
Let a be 7 + ((-7)/(28/12))/1. Solve 2*o - a*f = -30, o - 4*f = f - 30 for o.
-5
Suppose -79 - 36 = -3*x + 4*j, 181 = 5*x - 4*j. Solve 0 = -3*i + 2*z - 10, 5*z + 8 = -3*i + x for i.
0
Suppose -3*l + 0*y + 2*y + 19 = 0, 4 = -2*l - 2*y. Let n(t) = t + 15. Let h be n(-9). Let c = h - l. Solve u = -d - 2*d + 5, -c*d + 4*u = -10 for d.
2
Suppose -3*q = 5*i + 8, 2*q + q + 2*i = 4. Solve r + 3*r = 2*y, -3*r = q*y + 11 for y.
-2
Suppose 0 = -3*l + i + 6, -6 = -4*l + l - i. Solve l*t + 1 = -5*f - 9, -2*f - 4 = 0 for t.
0
Let q(k) = k**3 + 3*k**2 - 6*k - 6. Let l = 4 - 8. Let d be q(l). Suppose -d*s + 0 + 8 = 0. Solve 3*y + 11 = 4*i, -s*i - 5*y = -1 - 2 for i.
2
Let h be 0 - (-3)/3 - 1. Let k = h + -4. Let l be (10/k)/(-5)*8. Solve 6 = l*x + z, -x + 11 = 5*z - 0*z for x.
1
Let r(x) = x**2 - 3*x - 4. Let f be r(4). Solve f = 3*j + 12, j + 13 = i - 3*j for i.
-3
Suppose 0 = 5*x - 4 - 11. Solve s - 3 = 2*s, 5*c - x*s + 1 = 0 for c.
-2
Suppose -j + 5 - 1 = 0. Suppose -b + 21 = 2*b - 3*m, 4*m = -j*b - 12. Solve 3*f = n + 5, 0*n - n + b = 4*f for f.
1
Let h(y) = 4*y**3 + 2*y**2 - y. Let o be h(1). Solve 5*s - o*z = -5, -4*z - 5 + 16 = 3*s for s.
1
Let r = -18 + 11. Let w = r + 25. Suppose -k + w = k. Solve -p + 3 = i, 2*i - 3*p = -0*p - k for i.
0
Let b(v) = -v**3 - 2*v**2 + v + 4. Let z be b(-3). Let g be ((-6)/(-10))/(2/z). Solve -15 = -5*s, -2*i - g*s + 4 = -3*i for i.
5
Suppose 5*h - 8 = -3*k + 1, -5*h + k = 3. Suppose h = -s + 1 + 2. Solve -4*d - 2*q + 20 = s*q, 0 = d + q - 4 for d.
0
Suppose 3*g - 4*g = -10. Solve g = 3*o + 5*b - 0, b + 11 = 2*o for o.
5
Let o(s) = -s**3 - 4*s**2 - 6*s - 2. Let t be o(-2). Solve 3*v - 4*u - 10 = -t*u, 4*u = -3*v + 16 for v.
4
Let k(o) = o**2 + o. Let c(a) = 2*a**2 - 2*a + 3. Let n(g) = c(g) - 3*k(g). Let q be n(-5). Solve -2*w - q*j - 2 = -j, 0 = -3*j for w.
-1
Let o = 48 + -46. Solve 2*t + t + 16 = 5*a, -2*t = -o*a + 4 for t.
3
Let b be (2*-1)/(8/(-16)). Suppose 0 = 2*k - b*g + 4, -4*g + 16 = 4*k. Solve -8 = 4*c - 0*c, 5*c = 3*x + k for x.
-4
Suppose 3*m + 0 = 12. Solve 0 = 4*f - 5*x, 0 = m*x + 14 + 2 for f.
-5
Suppose 5 = 3*u - 10. Let y be (-4 - -1)/(u + -4). Let l = y + 5. Solve 3*x + l*a = 4*a + 3, 5 = -2*x - a for x.
-1
Suppose 0 = 4*z + a - 5, 3*z - 4*a = -0*z - 1. Let x be -4 + z + -1 - -14. Solve 0 = 4*y - 2*s + 7*s - 13, 4*y - x = -2*s for y.
2
Let v(i) = -i + 2. Let q be v(-2). Let n be (-4)/(-2) + 2/(-1). Suppose -3*y + n*y + 24 = 0. Solve -3*b + b + y = -3*o, o = -q for b.
-2
Let g be (70/6)/(2/(-6)). Let b = -14 - g. Solve 4*v + b = -z, 3*v - 4*z = -v + 4 for v.
-4
Let v(a) = a - 5. Let y be v(9). Solve s = 4*i - 4*s + 8, 2*s + y = -2*i for i.
-2
Suppose -v + 3*p - 19 = -2*p, 4*v - 2*p + 4 = 0. Let o = -1 + v. Let r = o + 5. Solve -i - 3*i - 14 = r*l, 4*l + 5 = 3*i for l.
-2
Suppose 4*s = 5*g, 2*g - 2*s = g. Let q be g/(-1) + (0 - -24). Let w(f) = -33*f - 95. Let l be w(-3). Solve 0 = -h - l*p + q, 1 - 2 = h - p for h.
4
Suppose -w + 2*m - 4 = 0, -w - 2*w - 6 = -4*m. Suppose 3 = n - w. Solve 3*c - 10 - 7 = n*f, -4*c = 4*f - 12 for c.
4
Let p = 135 + -133. Solve 3*o = -p*j - 7, -3*j + 16 = j for o.
-5
Let g = -74 + 85. Solve 3*v + g = -2*f - 2*f, 4*f = -4*v - 8 for f.
-5
Let n = 52 - 52. Solve n = 3*m + 4*j - 13, -m - j - 1 = -5 for m.
3
Suppose -k - 2*k + 4*b = -22, b + 14 = 5*k. Suppose -g = k*g. Let v be (6 + -2)*(1 - g). Solve 5*a + 30 = v*u, -4*a - a = -2*u + 20 for u.
5
Suppose 3*c = -2*u - 5 + 1, -c + 7 = -u. Suppose c*j = -2*j. Suppose j*a = -3*a + 21. Solve 2*r + 22 = -4*s, 2*r = -2*s - a - 7 for s.
-4
Let t(i) = i**2 - 14*i + 4. Let k be t(14). Solve 5*u + 26 = 5*w - 24, 4*w = -k*u for w.
5
Suppose -4*v + 4 = -4*l, 2*v - 2 = 4*l - 0*l. Solve h + 5*i - 11 = l, 9 = -2*h + 2*i - 5 for h.
-4
Let f(s) = -2*s - 4. Let p be f(-6). Solve i = 5*k - 5, 3*i - 5*k + p = -7 for i.
-5
Suppose 0 = 3*b - 12. Suppose 0*k - 4*v = -k + 15, -k - 5*v = 12. Suppose 26*z - 21*z = 20. Solve -k - 13 = b*l + 2*t, -2*l = z*t + 20 for l.
-2
Suppose 0*l - 3*l + 3*x = -9, 5*l - 27 = -x. Solve 33 = 5*s + 8, -4*s + 45 = l*u for u.
5
Let y be (2 - 1)/((-2)/(-8)). Suppose -y*j + 17 = -3. Solve -10 = 5*h - 2*o, -h + 5*h - j*o + 8 = 0 for h.
-2
Let c be (-2 + 1)*-1 + 4. Solve -c*v = 3*j - 20, -2*j + 2 - 22 = -5*v for v.
4
Suppose -x = 3*v - 2 - 4, -3*x + 9 = 0. Let i be (4/4)/(v/17). Solve 3*f = -3*z + 5*f, -3*f - i = 4*z for z.
-2
Let w = -27 + 29. Solve 0 = w*h - 0*h - 2*d + 10, 4*h - 7 = -5*d for h.
-2
Let z(y) = y**2 + y. Let h be (-2)/4 + 2/(-4). Let c be z(h). Let w be (2 - -10) + 3 + -5. Solve 2*x + w = -t, c*t + 22 = -3*x - 5*t for x.
-4
Let h(x) = x**2 + 2*x - 1. Let o be h(1). Suppose r + 2*p - 2 = 3*r, -14 = -r - o*p. Solve 19 = -5*l + 4*s - s, 4*l = r*s - 20 for l.
-2
Let x(v) = v**3 - 16*v**2 - 3*v + 48. Let k be x(16). Solve -2*w - 27 = 5*f, -3*w - w + 3*f + 11 = k for w.
-1
Suppose -i + 4 = -2*x + 11, -5*x = i - 28. Let t = -7 + 11. Let c be (-20)/2*2/(-4). Solve -k + o = -t, 4*k + c*o = i*o - 14 for k.
-1
Let n = 6 + 8. Let j = n - 10. Solve 2*r = -0*r + 5*c + 21, 3*r + j*c = -26 for r.
-2
Let r(a) = a + 4. Let z be r(-4). Let c = 2 + z. Solve 3*y + 7 = -0*i + c*i, -2*i = 3*y - 13 for i.
5
Suppose 2*i = -0*i - 2*d - 6, i = -4*d - 9. Let z = 1 + i. Suppose n - 4 + z = 0. Solve 4*g + 4 = 5*g, -n*k + 28 = 5*g for k.
2
Let c = 5 + 0. Let d(i) = -i**3 - 6*i**2 - 5*i + 4. Let v be d(-5). Suppose 5*x = v*x + 7. Solve 3*s + c*h = 6*s - 20, -s + 2*h = -x for s.
5
Let x(l) = l**2 + 4*l - 13. Let r be x(-6). Let a be 14 - (3 - (2 - r)). Solve 0 = -3*n - 0*w + w - a, -w = -2 for n.
-4
Let c(l) = l - 1. Let t be ((-2)/4)/((-2)/4). Let v be c(t). Suppose v = 3*i - 4*i + 8. Solve 2*s - i = 0, -2*x = -4*x - 4*s + 8 for x.
-4
Suppose -4*j + 5*s - 21 = 0, 5*j - 2 = -3*s + 18. Suppose 3*p + 0*p + 5*i = 5, -p - 2*i = -j. Solve -4*o - 5*r + 4 = -0*o, -32 = 3*o - p*r for o.
-4
Let m(j) = -j**3 - 7*j**2 - 8*j - 8. Let t be (7*-1 + 1)*1. Let v be m(t). Solve -5*p = v*f + 6, 0*f = -2*p + 2*f + 12 for p.
2
Suppose 8*g - 9*g = -15. Suppose 0*b = -2*b. Solve t - 2*o + 5 = b, -t - 2*o = -0*o - g for t.
5
Let w(f) = 7*f - 15. Let v(q) = 8*q - 16. Let c(d) = -6*v(d) + 7*w(d). Let u be c(0). Let z = -6 - u. Solve 5*r - 19 = z*b, 2*b - 2*r + 4*r - 14 = 0 for b.
2
Let z be 3*(-3)/(18/(-4)). Let k = z + -1. Let m be k/(-4) + 186/8. Solve 5*s - 5*b = 5 + 25, 4*s - 3*b - m = 0 for s.
5
Suppose 0 = g + k - 4, -3*g + 4*k - 7 = -4*g. Suppose -g*i + 8*i - 15 = 0. Solve -i*b - 1 = 5*f + 4, -9 = -4*f - 5*b for f.
-4
Let v = 3 + 1. Suppose 20 = g + 5*s, 18 = 4*g + v*s + 2. Let z = 2 - g. Solve -z*y = -0*y + x + 3, 5*x - 17 = -2*y 