Suppose -11 = 5*h - 21. Let g be 1/(-2)*(-108)/3. Solve -2*b - 4*f - 28 = h*b, 4*b + 2*f = -g for b.
-2
Suppose -3*u + 11 + 78 = 5*v, 0 = 4*v + 8. Let g = 55 + -27. Let j be 8/g - 19/(-7). Solve -4*a - 5*w + u = 0, j*w = 23 - 8 for a.
2
Let v(h) = 3*h + 62. Let r be v(-13). Solve 0 = -2*t + 7*t - 2*w + 7, -5*t = 2*w + r for t.
-3
Let c = -7 - -9. Suppose -a = -0*a - c. Suppose 0 = -3*u - a*k + 82, -2*u + 3*k + 24 = -48. Solve h - 5 = -m, 2*h = -5*m + u - 8 for h.
1
Let x(w) = w + 4. Let c be x(0). Solve 5*q + z = 8, c*z = 5*q + 2*z + 1 for q.
1
Let m(g) = -2*g + 1 + 0*g - 8. Let p be m(-7). Let r(h) = -h**2 + 9*h - 4. Let q be r(p). Solve -q = s + 3*c, 25 = -0*s + s - 4*c for s.
5
Let c = 15 + -13. Suppose -y - 15 = -5*b, -3*b - c*b + 10 = -2*y. Solve -2*n - 8 = 3*h, 2*h - 20 = y*n + 6*h for n.
-4
Let q be (4 - 1)/(3/15). Suppose o = -2*o + 2*j + 13, -3*j - q = -3*o. Solve 8*g + 24 = 3*g - o*d, -5*d - 27 = 4*g for g.
-3
Let f = 14 + -11. Solve 5*c - 18 = 5*t - 3*t, 2*c = -f*t + 11 for c.
4
Suppose -1 + 4 = 3*t. Solve -3*m + t - 25 = 4*j, -m = j + 7 for m.
-4
Let c = 11 - 7. Solve 0 = r + 3*j - 2, 0 = -r + c*r + 5*j + 2 for r.
-4
Let d = 0 + 2. Suppose l = -4, 0*v - 4 = -2*v - 4*l. Solve 4*b + v = -2*n, 4*n = -d*b + 5*b + 13 for b.
-3
Let u = -286 + 296. Let g = 4 + 1. Solve 2*t + 1 = n - 1, 3*t + u = g*n for n.
2
Let r(h) = h**2 + 10*h + 9. Let z be r(-9). Solve 2*c = -2*g, z = 2*c - 2*g + 5*g for c.
0
Suppose -5*d = -2*v - 53, -5*d - 5*v = -6*v - 54. Solve -4*c + d + 3 = -2*w, 4*c - 2 = -2*w for c.
2
Let o = 26 - 22. Solve -b - o = -r, 16 = -2*r + 5*r - 5*b for r.
2
Suppose 0 = -2*l + l. Let g be l + 4/(-12)*-3. Solve -4*o = -2*k - 16, -k - k + o = g for k.
2
Suppose -3*g = k - 7, -3*k = -7*g + 2*g + 7. Solve 0 = -3*t - 3*w - 25 + 4, 0 = g*t - 4*w - 4 for t.
-4
Suppose -3*i + 0*r + 8 = -r, -i = -5*r - 12. Solve 0 = i*z - 8, -2*m - m - 13 = -4*z for m.
1
Let q = -11 - -15. Suppose -4*z = -6*z + q. Solve -z*n - 3*v - 8 = -7*v, 0 = v - 3 for n.
2
Let t(y) = -4*y + 1. Let x be t(-1). Let p = -19 + 19. Solve o = -p*o - x*a + 19, 0 = -5*o + 3*a + 11 for o.
4
Let i(y) = -y**3 + y + 6. Let f be i(0). Suppose 0*p - 6 = -3*p. Solve 5*n + 17 = 4*z, f*n - p*n + 10 = 2*z for z.
3
Let r(t) = -t**2 - 4*t + 1. Let h be r(-3). Solve -3*k + 5*k + 24 = 4*i, -h*k + 12 = 4*i for k.
-2
Suppose -t - 5 = -2*n, -10 = -2*t - 2*n + 4. Solve 0 = 4*v + 2*w + 22, -2*v - t + 1 = -2*w for v.
-4
Suppose 2*u - 4*p + 6 = 0, -u + 21 = -p + 5*p. Let w = -30 + 35. Solve -3 = r + 2*r, -w = -4*t + u*r for t.
0
Let m = -1 + -3. Let w = 7 + m. Let k = -6 - -14. Solve -6 = -5*j + w*d - d, 5*j = d + k for j.
2
Let j = 14 - 12. Let q be (3 - 7)*j/(-4). Solve 2*f - 15 = f - q*n, 0 = 5*f + 5*n - 50 for f.
5
Let g(u) = -u - 2. Let s be g(-7). Solve 3*z - 22 = s*b, -4*b = 4*z - z + 23 for b.
-5
Suppose x = -x - 2. Let u be (-5 - -5)/((-2)/x). Suppose -4*g + q = -7*g + 6, -g - 4*q + 2 = u. Solve -5*o + g*b - 12 = 0, o + 3*b + b + 20 = 0 for o.
-4
Suppose 2*t - 19 = -5*d + 55, 0 = -t + 2. Let w = d - 14. Solve 31 + w = -3*z - 4*i, 0 = z - 4*i - 11 for z.
-5
Suppose -8*m - 15 + 63 = 0. Solve -15 = 2*w - m*w - h, 2*w - 3*h = 11 for w.
4
Let d be (-20)/8*(-8)/10. Suppose -14 = -4*b - d. Suppose -c - b*m - m + 36 = 0, 0 = -5*c - 5*m + 120. Solve 4*p + p = 2*y + 33, 0 = 4*p - c for y.
-4
Suppose 0 = f - 6*f + 360. Let r be f/32*2*2. Let k = r + 5. Solve -3*l - 4 = -3*q + 5, -3*l = -4*q + k for q.
5
Suppose 2*r - 5 - 15 = 0. Let p(z) = -z**2 + 11*z - 6. Let s be p(r). Solve -9 = -2*h + 3*j, 4*h + 17 = -s*j + 5 for h.
0
Let n(m) = 6. Let d(u) = -u + 1. Let k(i) = d(i) - n(i). Let a be k(-10). Solve 2*v - 6*v = q - 1, 5*q = -4*v + a for q.
1
Let p = 0 - -1. Solve 5 = -5*t + 5*m, -4*m - 5 - p = t for t.
-2
Suppose p + 6 = 4*p. Let m be 2 - (-5 + p) - -1. Solve 0 = 2*h - 2*b, -h + b - 30 = m*b for h.
-5
Let x = 11 + -6. Let i = -16 - -22. Suppose 2*s = 2 + i. Solve -x*g = -s*g + 4, 3*m + g = -10 for m.
-2
Let m(o) = o**3 - 3*o**2 + 2*o. Let z be m(2). Let l(s) = s**2 + s - 2 + 3 - 2*s. Let g be l(0). Solve 0 = c - 4, p - c = g - z for p.
5
Suppose v = -7*v + 32. Solve -v*n = 4*b - b + 2, -2 = -n - 2*b for n.
-2
Let q = 1 - 1. Suppose -2*z = -z - 2. Solve -3*b = -q*x + 4*x - 20, 5*b - 24 = -z*x for x.
2
Let l(k) = 5*k**2 - k. Let t be l(1). Let i = -4 - -4. Suppose i*j + 10 = 5*j. Solve y = -j*x - t, -x = 3*y + 4*x + 8 for y.
4
Let s be 1 + -1 - (0 - 0). Suppose -4*p - 5*v + 5 = -p, 3*p - 3*v + 3 = s. Solve u + 9 + 1 = -4*y, p = -y + 3*u - 9 for y.
-3
Let f be (-9 - -5) + 2 + 7. Solve 4*k - 3*k - 5 = 3*l, -f*k - 11 = 3*l for k.
-1
Suppose 4*p + 14 = b - p, 0 = -2*b - p + 6. Let o(l) = -l + b*l**2 - 3*l**2 - 6*l. Let r be o(7). Solve t - 4*f = 1, t - 1 = -r*t + f for t.
1
Suppose -5*w - 7 = -32. Suppose -f + 4*j + w = 0, -4*f + f + j = -4. Let h be 18 - (f + -4) - 0. Solve -5*y + m + 19 = 0, 2*y + h = 5*y - 3*m for y.
3
Suppose 8 = 3*g + g. Solve g*j + 2*j = 5*t - 15, 5*t = -3*j - 20 for j.
-5
Let r be (-15)/3 - -3 - -5 - 1. Solve 0 = r*z + 2*a + 20, 5*z + a + 34 - 4 = 0 for z.
-5
Let r be ((-56)/(-35))/((-2)/(-15)). Solve -s = 2, 4*z + 10 + r = -5*s for z.
-3
Let h be 1 - -1 - (-2 + 1). Suppose -4 - 5 = -h*c. Solve 0 = 2*a + c*u - 2, -u = -4*a - 6*u for a.
-5
Let n(m) = -2*m - 14. Let o be n(-7). Solve -4*t + o*t - 20 = 5*f, 0 = 2*t - f - 4 for t.
0
Let l be ((-2)/(-2))/(1/(-5)). Let g(t) = t**3 + 5*t**2 + t + 7. Let p be g(l). Solve 5*v = -5*j - 10, -j - p*j - 7 = 2*v for v.
1
Suppose 0*s - 9 = -3*s. Suppose 0 = -3*j - s*i, -3*j + 16 = -3*i + 4. Suppose j*z = -z + 15. Solve k - 5*c + 19 = -3, -5*k - z*c = -40 for k.
3
Let t(x) = x**3 - 3*x**2 + x + 2. Let o be t(3). Suppose -o*d = -0*d - 20. Solve 3*b - 2 + 0 = -4*m, m - d*b = -9 for m.
-1
Let h = 2 + -7. Let l = h + 7. Solve s = -2*v + 7*v + 25, 18 = -l*v + 2*s for v.
-4
Let r = 7 + 13. Suppose -4*n + 5*h + 13 = -2, 0 = -3*n - 5*h + r. Solve 5 = 5*k - n*i - 0, -k - 4*i = 4 for k.
0
Suppose 4*i + 2*n = 3*n + 60, 5*n - 36 = -i. Let d = 25 - i. Solve -d = b + 5*l, 7 = -2*b - 4*l + 1 for b.
1
Let z be 187/55 + (-2)/5. Solve 0 = -h - z*h - c - 1, h - 2 = -c for h.
-1
Suppose -4*b + 16 = -20. Let q = 12 - b. Solve 6*k - 4*k = q*y - 5, 4*y = 20 for k.
5
Let r be (-4 + 1)/(15/(-20)). Solve 4*h + 24 = 5*n + 4, r*n - 16 = -h for h.
0
Let b be 0*(1 - (-3)/(-2)). Suppose -12 = -3*g - b. Solve 0 = -2*q - d - 1, -1 = g*q + d - 0 for q.
0
Let x = 1 - -1. Let s(m) = 8*m**2 - m + 2. Let t be s(0). Solve -x*u = 5*p + 17, 2*p = -2*p - t*u - 14 for p.
-3
Let z = -3 - -7. Suppose z*j - 30 = j. Solve -3*p = 2*s, -2*p - 5*s + j*s = 0 for p.
0
Let g = -31 - -18. Let x be (-1)/(-4) - (-198)/8. Let n = g + x. Solve h = 2*l + 3*h - n, -6 = -2*h for l.
3
Let g(s) = -s**2 - s + 4. Let k be g(0). Let l be 0 + k/2 - 0. Solve 3*y + l*t + 9 = 0, -4*t + 3 = -3*y - 8*t for y.
-5
Let o = 8 + -4. Let s(n) = 2 - 2*n + 2 - 1 + n**2. Let l be s(3). Solve v - o*f = -3*f + l, -v + 15 = -4*f for v.
3
Let f be 8 + (5 - 3) + 0. Solve 6*x - x = 5*p + 10, 5*x = p + f for x.
2
Let y be 1/((-1)/(-3) + 0). Solve -3*h + 3*r + 9 = 0, -h - y*r = 2*h - 9 for h.
3
Let i(s) = 4*s**2 + 2*s**3 - 4*s**3 + 5*s**2 + 4 + s**3. Let l be i(9). Solve -l*f + 0 = 5*a + 3, 2*f = -2*a - 2 for f.
-2
Let w be (-2)/7*(-14 + 0). Solve -2*g = -x + 1, x = -w*g - 0*x + 1 for g.
0
Suppose 5*n - 32 = -4*o, -2*o + 9 = 3. Let k = 2 - 3. Let g be 3 + (k + 2)*-1. Solve y + 5 = q, -6 = 2*y + n*q - g for y.
-4
Let o(w) = w**3 + 8*w**2 + 8*w + 10. Let n be 27/(-4) + (-2)/8. Let j be o(n). Solve 5*s + 7*z = 3*z - 4, -28 = 4*s - j*z for s.
-4
Let m = 3 + -6. Let y = 5 + m. Let b be 6/33 - 229/(-11). Solve -4*w - y*p + p + b = 0, 2*w + p - 13 = 0 for w.
4
Suppose 2*t + 7*x - 2*x - 16 = 0, 4*t = -4*x + 44. Solve 15 = 5*u + 5*c, -6*u = -2*u + 5*c - t for u.
2
Let c be ((-2)/(-4))/(90/(-48) - -2). Solve c*h + 2*y = -6, -4*h - 7 + 2 = y for h.
-1
Let r be -22*(1 + (-9)/6). Let c = r - 7. Suppose -y = i - 0*y - 10, c*y - 20 = 0. Solve -4*h + 0*k = -i*k - 15, -4*h = 2*k - 22 for h.
5
Let m be (-4)/8 - ((-18)/4 + -2). Solve -2*l + 4*u + m = 0, 5*u = -3*l - 2*l + 15 for l.
3
Let k = -6 - -10. Let n be (-1)/k + 51/12. Let l be (-54)/(-8) - (-3)/(-4). Solve 5*v + h = l, 0 = 2*v - 0*v + 2*h + n for v.
2
Let p be -1 + 2/1 - -1. Suppose h = p*z 