 Solve 2 = -4*k + y*k, -k = 5*h + 22 for h.
-4
Suppose 6 = -c - 0*c. Let p = c + 8. Solve 0 = -5*l - 4*f - 2, -3 = -p*f + 1 for l.
-2
Let c be 0*2/(2 - 0/(-4)). Solve -2*h - 5*g + 7 + 3 = 0, g - 4 = c for h.
-5
Let h(z) = -z**2 - 6*z + 4. Let o be h(-4). Suppose 0 = -3*s - 4*b + 48, 4*s - o = -5*b + 51. Solve -4*i + s = 0, 2*t = -4*i + 6 + 16 for t.
5
Let l = -1 - -3. Let g be (2 - 0) + (1 - 1). Suppose g*t = -t + 12. Solve 4*o - 3*h + l = 0, 2*o + t*h = 2 - 14 for o.
-2
Suppose 1 = 3*l - 5. Suppose -l*j - 2*k = -16, -3*k = 3*j + 2*j - 32. Solve -2*c + 4 = 4*p - j, -5*p = 0 for c.
4
Let l be (2107/63)/7 + 4/18. Solve -2*f = 3*b - l*f + 15, 0 = -4*b - 2*f - 14 for b.
-4
Let r = -5 - -8. Suppose 4*m - 19 = u, -4*m + 2*u + 4 = -10. Let n = m - r. Solve 8*c = n*c - 4*s - 31, -2*c - 2*s - 14 = 0 for c.
-3
Let f(v) = -v**2 + 5*v - 4. Let k be f(3). Let a be 5 - (-2)/(k/(-3)). Suppose 0 = a*q - 4 - 2. Solve 3*x = 2*i - 1, -q*x - 1 = 2*i - 8 for i.
2
Let k(x) = 2*x - 7. Let d be k(6). Let t be (0 - 1/1) + d. Solve t*a - 2*b = -2 + 18, 4*a - 28 = 5*b for a.
2
Suppose 4*b - p = -4 + 32, -b - 4*p = 10. Suppose -41 = -3*t - b*j + 4*j, 0 = 2*t + 5*j - 42. Solve -4*q = 4*x - 16, -5*x = 4*q - t - 7 for q.
2
Suppose 13 = 2*k - 3*k. Let c = k + 19. Let p = 10 + -10. Solve 4*o = p, 4*o = -11*d + c*d + 20 for d.
4
Let f = 59 + -59. Solve -3*a - 3*z - z + 1 = f, 2*a + 18 = 2*z for a.
-5
Let z = 51 - 33. Let d = z + 8. Solve -4*p + 3*f + 0*f - d = 0, -2*p - 14 = -2*f for p.
-5
Suppose 0 = 2*b - 4 - 12. Suppose 0 = i + 3*s + b, -s = 4*i + 16 - 6. Let z be 1/i - 7/(-2). Solve -2*y + 19 = z*f - y, 12 = 3*y for f.
5
Suppose 124 = 2*s + 2*a, -7 = 2*a - 3. Let v = -33 + s. Solve 0 = -3*q - 5*w + w + v, 4*w + 4 = 4*q for q.
5
Let g(r) = r**2 + 7*r + 7. Suppose -2*a = a + 18. Let t be g(a). Solve -16 = -5*q - 4*l, l + t = 3*q + 5 for q.
0
Suppose -5*j - 20 = -5*p - 3*j, -5*p = 2*j. Solve -3*h + 18 = p*r, -5*r = -9 - 6 for h.
4
Let r = 9 - -1. Solve f = -d - 2 + r, 3*f = 5*d for d.
3
Suppose 9 + 15 = -4*v. Let n = v + 10. Suppose 5*t + 15 = 10*t. Solve 0*z = s - n*z - 14, 5*z + 26 = -t*s for s.
-2
Let u be 9 - (-4)/4*-4. Let y = 11 + -2. Suppose -i + y = 2*i. Solve u*m + 10 = 4*q, 4*q - 5 + i = m for m.
-2
Let s(r) = 3*r**2 + 3*r - 4. Let y be s(-2). Solve -4*d + 16 = -3*b, -d + 5 = -y*b + 1 for d.
4
Let q(t) = t**3 - 3*t**2 + 3*t + 2. Let s be q(3). Let z = s + -11. Solve -5*m + 5*u + 50 = z, -5*m - u - 3*u = -5 for m.
5
Suppose -4*q + 1 + 39 = 5*g, -4*q = 0. Let k = g + -4. Solve a - k*z = 21, 2*a + z - 6*z - 30 = 0 for a.
5
Let a = 6 + -6. Solve -4*u - 21 - 1 = 3*l, a = -3*u - 12 for l.
-2
Let g = 65 + -45. Let y = g - 18. Solve 5*c = -3*k - 10, -5*k + 10 = -5*c - y*k for c.
-2
Let x be (-3)/(-4 + 7) - 22. Let p = -20 - x. Solve -2*y = f + 4, -p*y + 5*f + 6 + 14 = 0 for y.
0
Let v = 38 - 36. Solve 4*h = -5*o + 36, h - 20 = -v*o - 2*o for h.
4
Suppose -2*x + 2*u = -24, -1 - 9 = -5*u. Let z = x - 12. Solve -4*b = -4, 5*b + z = n + 9 for n.
-2
Let k(v) = v**3 - 3*v**2 - 8*v + 6. Let s be k(6). Suppose 3*p - 5*c = s - 11, -c + 1 = 0. Solve -p = -4*n + 3*g, -5*n - 3*g = -2*n + 6 for n.
2
Suppose 2*x = -2*x + 8. Let a be (x - 2)/((-2)/1). Let d be 2 - (a/3 + -2). Solve -j + 3*z = 8*z - 22, j - d*z = -23 for j.
-3
Suppose 4 = m + m. Suppose m*w + 4*v = 8*v, -2*w + 6 = -v. Let a = 9 - w. Solve a*p + 7 = -y, -2 = -2*p - 4 for y.
-2
Suppose 7*u - 4 = 3*x + 3*u, 3*x = 3*u. Suppose 0 = -2*n + n + 4. Solve h + n*p = x - 1, -2*p = -2 for h.
-1
Let o = 10 + -18. Let u = 11 + o. Solve 0 = -2*b + b - 2*a - 2, -2*b - u*a - 5 = 0 for b.
-4
Let z(r) = 2*r**2 - 6*r - 6. Let c be z(6). Let y be (-12)/c - 27/(-5). Solve -4 - 1 = u + 2*q, 4*u + 3*q = -y for u.
1
Suppose -2*j - 2 = 4*w - 0, 2*j - 4*w - 30 = 0. Solve 2*h + 3*c = 2*c - j, c - 28 = 5*h for h.
-5
Let c be (-2)/(-8) + 19/4. Suppose -5 = 9*n - 4*n. Let t(z) = -4*z. Let q be t(n). Solve x - q*u = c*x - 16, -3*x + 2*u = -12 for x.
4
Let r be ((-39)/(-3))/(1 + 0). Solve -3*m = -3*p - 9, 0 = -p + m + 2*m - r for p.
2
Suppose -3*h = -7*h - 2*g + 22, 0 = 3*h + 5*g - 27. Solve -h*i - 5*w = -0*w + 4, 2*i - 4 = -w for i.
4
Suppose -5*s + 8 + 2 = 0. Solve -s*b - j - 8 = -4*b, -2*j = -b + 1 for b.
5
Let z(q) = -q**2 + 5*q + 11. Let h be z(6). Solve -2*c - h*b + 13 + 14 = 0, -3*c + 23 = 4*b for c.
1
Suppose 2*b = 3*b - 2. Let i = -5 - -10. Let a = i - 0. Solve 16 + 0 = 5*x + b*c, a*c + 10 = 0 for x.
4
Let g(w) = -14*w - 1. Let r be g(-1). Suppose -5*f + r = -12. Let v = f - -8. Solve -4*d + 0*t + 4*t = 8, 3*t - v = -4*d for d.
1
Let d = -99 + 67. Let r be (1 + 0)*-3 - d. Solve -a - 2*a + 3 = 3*x, 0 = -3*a + 5*x - r for a.
-3
Let c(b) = -b**2 - 6*b - 4. Let t be c(-4). Solve 0 = -g + 3, 2*u + g = t + 9 for u.
5
Let y(t) = -t + 6. Let d be y(12). Let f be 2 + 3/d*-6. Let n be ((-6)/f)/(-3)*5. Solve 3*x + q - 5 = 8*x, n*x + 2 = 2*q for x.
-1
Suppose -4*b = w - 15, 0*w = -5*b - w + 18. Solve b*z = d + 17, -z + 16 = -4*d - 2*z for d.
-5
Suppose s + 0 - 4 = 0. Suppose -1 = d, -7*a + d = -s*a - 19. Suppose -w = a*j - j - 59, 0 = 4*j - w - 49. Solve 2*b = b, 0 = 3*y + 2*b - j for y.
4
Suppose a - 14 = -4*v, 5*v - 3*a = v + 6. Solve 4*p - 2*z - z + 5 = 0, v*z = p + 8 for p.
1
Let y be (-6)/(-12)*2 - -1. Solve j + 4*j + x = -13, y = 5*j - 4*x for j.
-2
Let i(t) = t**3 - 9*t**2 + 8*t - 3 - 5 - 1. Let f be i(6). Let q = 106 + f. Solve 5*k + q = -3*n, -5*n = -3*k + 3 + 2 for n.
-4
Suppose 0 = 5*n - 3*u + 6*u - 156, -111 = -3*n + 4*u. Suppose -q + 8 = 3*q. Let w be n - (q/(-2) - 0). Solve -2*c - 5 + 4 = -3*j, -3*j - 5*c = w for j.
-3
Let w be 19/(-38) - 2/(-4). Let y be (-4 + w)*(-3)/6. Solve 4*g + 18 = y*h, -14 = -2*h + g + g for h.
5
Let a(w) = -w + 1. Let i(n) = 4*n - 4. Let q(v) = 7*a(v) + 2*i(v). Let z be q(3). Suppose 2*y - z = 2. Solve 2*j = -y*x - j - 23, 3*x + 7 = j for x.
-4
Suppose 5*r - 6 + 1 = 0, -2*s + r = 3. Suppose -7*p + 3*p - 8 = 0. Let o be 1*((-1)/s - p). Solve 15 = 3*i - 0*i, y = o*i - 19 for y.
-4
Let t be (-4)/30 - 308/(-60). Solve -t*o + 0*o + 22 = -2*w, 0 = -5*w - 5 for o.
4
Suppose 5 - 19 = -2*a. Solve s - a = 2*k, 4*k = 3*k + 5*s - 8 for k.
-3
Let p be 0 - 0/((-1)/1). Solve -12 = r + 2*g, -4*r + 3*g - 4 = -p*r for r.
-4
Let x = -1 + 3. Let b be (-2)/((-3)/(-2) - x). Solve 0 = 5*s - 5*z, 3*z - b*z - 6 = 2*s for s.
-2
Let m = -586 + 590. Let x = 4 - -1. Solve 4*q - q + 24 = x*n, 0 = 4*n + m*q for n.
3
Suppose 279 = t + 8*t. Solve -w - 2*w = -6, -5*v - 3*w = -t for v.
5
Suppose 1 + 5 = 3*t. Let g be -2 + 4 - (2 + 4). Let x be (-2 - g - t)/2. Solve x = -m - 2*h - 10, -3*m - 2*h - 22 = 2*h for m.
-2
Let s(k) = -k - 1. Let p(u) = u + 2. Let t(v) = -3*p(v) - 2*s(v). Let y be t(-6). Solve 0*o = y*o - 4, -5*h = o - 17 for h.
3
Suppose -a = -3*a + 8. Suppose 5*c - a*z = -3, 3*c - 2 = 2*z - 3. Let m be 1/(c/30) - 0. Solve 3*k + 21 = 2*s + s, -4*k + 5*s - m = 0 for k.
-5
Suppose -2*r = 8 - 32. Suppose 0 = 5*m - r - 13. Solve 3*y + 2*o + 8 = m*y, -2*y = 5*o + 13 for y.
1
Let y be ((-19)/7 - -3)*14. Let n be y/(-6) - 24/(-9). Solve 0 = -4*r - 4*j, -n*r + 0*j = -j - 15 for r.
5
Suppose -7*q + 41 = 6. Suppose 4*r + 4*w - 16 = 0, r - 3*w + 2*w - 2 = 0. Solve 5*b = r*v - 24, 0 = -4*b - 0*b + q*v - 27 for b.
-3
Suppose d = 2*l - 3, -4*d = -0*l - 4*l. Solve -4*h = 2*i - 26, -d*h - 2 - 6 = -4*i for i.
5
Let s(f) = -2*f**3 + 2*f**2 + f. Let w be s(-1). Solve -2*l - 3*y = 7, 3*l = 5*y + w + 15 for l.
1
Suppose h = 9*h - 216. Solve h = -3*i + 3*j, -i + 2*i + 19 = 3*j for i.
-4
Let f be 15/4*120/9. Let x be ((-6)/15)/(2/f). Let d be (-3 + x/(-4))*-30. Solve -3*g = r - 5, 4*g = 3*r + 5*g - d for r.
5
Let m be (-11 - 2*-1)/(-1). Let f(w) = w**2 - 8*w + 5. Let k be f(m). Suppose a + k = 5*z, 2*z + z + 3*a + 6 = 0. Solve -15 = 3*g, -3*g - 8 - 5 = -z*s for s.
-1
Suppose -2*z + 2 = -o + 3, -z + 1 = -2*o. Let m be z/2 - 14/(-4). Solve -19 = -3*s + a + m*a, 2*s = -a + 9 for s.
5
Suppose 4*l + 32 + 16 = 5*m, -5*l - 45 = -5*m. Let z = 3 - m. Let x be ((-4)/6)/(3/z). Solve n + n + 5*p = x, 5*n - 3*p = -26 for n.
-4
Suppose 40 = -6*f + f + 3*w, 0 = f - 5*w + 8. Let p = -6 - f. Suppose -2*x = p*x - 12. Solve -v + x*m - 9 = -m, -4*v = -m - 9 for v.
3
Suppose -4*u - o + 17 = 0, 3*u + 5 = 3*o - 1. Let x = 5 - u. Solve -3*y + 2*b = -2*b + 12, -2*b + 6 = -x*y for y.
0
L