h - 1. Let x be b(-6). Solve x = -z - 4*k, -3*k = z - 3 + 8 for z.
1
Let w be (1 - 0)/(2/6). Let d = w + 2. Let v be 2*(-3)/(-2) - 2. Solve 3*k - 2*j = -v + 8, 0 = d*k - 5*j - 5 for k.
5
Let a(v) = v - 1. Let n be a(1). Let w = 0 + 2. Suppose n = -i + w*i - 9. Solve -5*l - 3*h = -14 - i, 3*l - h - 11 = 0 for l.
4
Let k = -21 + 21. Solve 0 = -5*d + 4*y - 13, -3*d + k - 6 = -3*y for d.
-5
Let t(y) = -y**3 + 8*y**2 + 3. Let u be t(8). Suppose -u*z = -w - 39 + 6, 90 = -4*w - 2*z. Let f = w - -40. Solve 7 = 3*v + q - 4, 0 = -2*v - 5*q + f for v.
3
Let z = 49 - 33. Solve -n + 2*b - 4 = 0, z = 2*n + 5*b - b for n.
2
Let u(l) = l**3 - 6*l**2 - 17*l + 13. Let z be u(8). Solve 4*j - k = -5*k + 4, z*k = -3*j - 1 for j.
3
Suppose -2*k = -3*k. Let y = 5 + k. Solve -z + 12 = -0*z + 3*o, 4*z = y*o - 37 for z.
-3
Suppose 0 = -2*d + 2*t + 10, d - 4*d - 2*t + 15 = 0. Suppose -d*f = -14 + 4. Solve -f*n - 3*n = 5*a - 10, 5*a - 3*n - 34 = 0 for a.
5
Let y(m) = -8*m - 25. Let p be y(-6). Suppose -2*q + p = -q + 3*g, -2*g = -8. Let n be ((-2)/(-4))/(1/4). Solve 3*s - b - q = 0, 3 + 3 = 2*s - n*b for s.
4
Let q = 3 - 2. Suppose -2*y + 5 = -q. Solve 5 = -o - 0*o + 4*f, 0 = -2*o + y*f - 5 for o.
-1
Suppose 0 = l - 0 - 3. Suppose u = r, -4*u = -r + l*r - 24. Solve -3*j = 3*i + 3, 3*i = u*j - 0*i + 4 for j.
-1
Let i = -6 - -6. Suppose 5*n = -3*y + 67, -3*y = -4*n - i*y + 32. Let a = -7 + 11. Solve n = 2*z + 2*o + 3*o, -3*o + 15 = a*z for z.
3
Suppose -5*p = -p - 12. Suppose -14 = -y - 4*d, -5*y + 4*d + 9 = -13. Let z be p/y*0 + 10. Solve -q = 3*o - z, 4*q + 0*o = 2*o + 12 for q.
4
Suppose 0 = 4*g + 2*g - 24. Solve 2 = 5*j + 4*d, 0 = -d - d - g for j.
2
Let u = 5 - 3. Let f = -106 + 106. Solve 0 = u*s + 5*t - 8, 4*s + 5*t - 6 + 0 = f for s.
-1
Suppose 3*x + 12 = w - 1, 2*x + w = -12. Let z = 0 - x. Suppose -4*a - 5*v = -z*a + 57, v + 69 = 2*a. Solve -4*m - a = 4*i, -2*m - 3*m - 3*i - 32 = 0 for m.
-4
Let k be (0/(-2) - 0) + -1. Let x be (k/(-1))/((-1)/(-3)). Let a(p) = -p**3 - 3*p**2 + 4*p + 5. Let l be a(-4). Solve l*s + 2*r - x + 1 = 0, s = 5*r + 22 for s.
2
Let b = 13 - -5. Solve -2*s - j + 5*j + b = 0, 13 = 5*s - 2*j for s.
1
Let c = 28 + -18. Solve -1 - 16 = 2*f - 5*j, -2*j + c = 0 for f.
4
Suppose -4*m + 12 = -0*m - q, -3*q = 3*m - 24. Solve 4*x = -m*b - 8, x - 2*x + 4 = 4*b for b.
2
Suppose -2*f - 4 = -2*q, f + 13 = 5*q - f. Solve 3*k + q = 5*c, 0 = c - 2*k + 5 for c.
3
Let n be 30/(-1 - 1) + 0. Let z be n*((-15)/(-9) - 2). Solve p + p = 8, -5 = 5*q - z*p for q.
3
Let t(i) = 26*i**2 + 2*i + 1. Let b be t(-1). Let s = b + -23. Solve 3*m = 4*n + 10 + s, m = 0 for n.
-3
Let x be (6/4)/((-12)/(-40)). Suppose 4*w = 7 + 1. Solve 12 = -w*h + 5*h - 5*m, -x*h + 20 = 3*m for h.
4
Let y = 6 + -10. Let b = y - -7. Solve -2*n = -u - 9, -5*n = -b*n + 2*u - 12 for n.
5
Let i(m) = -m**3 - 3*m**2 + 6*m + 5. Let d be i(-4). Let q = d - -4. Solve -4*k + q = -5*x + 6, -3*x + 3 = 3*k for x.
1
Suppose 34*y - 17*y = 68. Let w be 9/2 + 1/(-2). Solve 0 = -5*q + y*t - 17, -t + 10 = -4*q + w*t for q.
-5
Suppose -6*k = -2*k - 24. Suppose -4*c - 1 = -5. Let g(y) = 4*y**2 - 2*y + 1. Let b be g(c). Solve -f - k = b*o, -5*f = -6*o + o + 10 for o.
-1
Let h be 1/8 - 46/(-16). Solve -3*g - 1 = -7, -h*q = -5*g + 22 for q.
-4
Suppose -16*i + 36 = -12*i. Let a(c) = c**3 - 6*c**2 + 6*c. Let k be a(5). Let b = i - k. Solve 2*z + b = z, 3*z + 17 = t for t.
5
Suppose -3*c - 62 = -j, -j + 46 = -4*c - 36. Let h = 32 + c. Suppose -37 = -3*r + 5*y, -2*r - 3*y + 0*y = 7. Solve -3*b + 5 - 2 = r*o, -4*o - h = 0 for b.
5
Let b = 24 - 17. Let d(m) = -m**2 - 5*m + 9. Let i be d(-7). Let p = b + i. Solve 0 = -2*n - 4*z + 12, n + 2*z + p = 4*z for n.
2
Let j(o) = 5*o - 2. Let x be j(2). Let y = x + -3. Solve 2*s - y*p - 20 + 8 = 0, 4*p + 16 = 0 for s.
-4
Suppose j = -j + 16. Solve -5 = 3*d + b - 3*b, -3*b = -5*d - j for d.
-1
Let q(h) = 3*h + 10. Let z be 2 - 2 - 0 - -5. Let i = 12 - z. Let j be q(i). Solve -5*u = 2*l + j, l = 4*u - 2*u + 7 for u.
-5
Let j(g) = g**2 + 3*g - 5. Let f be j(-5). Suppose 3*k + 0*t - 14 = f*t, -k = -4*t. Solve c = 3*a - 8, a + c = -4*a + k for a.
2
Let x be (-1 + -1)*5/(-5). Let p be (39 - -1)/1 + -1. Suppose 3*l + p = 5*t, -3*t - 2*l + 24 = 2*t. Solve -k = k + t, -x*q + 1 = 3*k for q.
5
Suppose 4 = -2*g + g. Let m = g + 3. Let s = 0 - m. Solve -3*n + s = 3*t - 2, 5*t = n + 29 for t.
5
Suppose 3*j - 8 = 2*j. Let l = j - 5. Suppose 4*c - l + 5 = 2*f, -f = -5*c + 2. Solve -3*h - 2*x + 1 - 2 = 0, -2*h + f*x = -21 for h.
3
Suppose -5 = -2*r + 5*a - 2*a, 5*r = 5*a + 15. Solve n - 4*m = 12, 7*m + r = 4*n + 2*m for n.
-4
Let k be 1 - ((-6)/3)/(-2) - -3. Solve 2*g + 13 = 5*q, 2 = 5*q - k for g.
-4
Suppose 10 = -5*f, -f = w - 7 - 3. Suppose w = -z + 4*z. Solve -27 = z*k - 5*s, 2*k = -2*k + s - 15 for k.
-3
Let r be ((-12)/10)/(6/40). Let g be 28 + 12/r*2. Solve 4*t + g = 3*x, 0*x - 2*x = 3*t + 6 for t.
-4
Suppose -3*p + p - 12 = 0. Let m be ((-8)/5)/(p/15). Solve -3*q + 4*s = -11, q - 5*q - m = 4*s for q.
1
Let r = 3 + 1. Suppose r*z - 32 = 68. Solve -4*u - z = -3*k - 2*k, 0 = -5*u for k.
5
Let h = -2 - -6. Solve 4*y - 4*r + 28 = -9*r, -h*y + 4 = -3*r for y.
-2
Let v(l) = l**2 - 5. Let b be v(3). Solve -2*w - 4*r + 30 = 0, -b*w + 0*r - r = -25 for w.
5
Let t(z) = -z. Let i be t(-1). Let g(k) = 3*k**2 - k + 1. Let o be g(i). Let n = -20 - -30. Solve -r = 5*f, r - o*r + n = 0 for f.
-1
Let s = 4 - 0. Suppose -s*v + 4*y = -3*v - 22, 4*y = 3*v - 26. Solve -4 = 3*n - 5*n, 8 = v*a + n for a.
3
Let d(n) = -n - 4. Let t be d(-8). Suppose 0 = z - 2*z + t. Let v = 1 + 7. Solve f = 3*c + v, -z*c + 6 = 2*f - 0*f for c.
-1
Let v = -9 - 7. Let o = v + 31. Let d = 15 + -3. Solve 4*f = 4*z + d, -5*z - 5*f + o = -2*z for z.
0
Suppose 3*y + 10 = y. Suppose -w = -3*w + 14. Let d = y + w. Solve 0 = -0*c - c + d*f - 5, 0 = -c + 4*f - 13 for c.
3
Suppose -5*g + g + 28 = 0. Suppose -4*w - 3 = -5*w. Suppose 4*q = -3*j + w*q + 10, q = 3*j - 2. Solve j*b = 4*s + g*b - 1, 5*s - 23 = b for s.
4
Let a = 17 - 14. Solve t - 19 = -3*l, 0 = -a*t + l + 7 - 0 for t.
4
Let s(m) = -m**2 - 8*m + 5. Let p be s(-9). Let j = p + 6. Solve j*u + 13 = 5*o, 0 = -3*u - 0 - 12 for o.
1
Let i be ((-2)/2)/(1/(-5)). Suppose 3*z + 3*y - 6 = -0*y, 2*z = 2*y - 4. Solve -2*v + 10 = -z*f + 4*f, i*v + 2*f = -15 for v.
-5
Suppose 0 = 2*m - 7*m + 25. Suppose -3*j - 4 = -2*a, -m*j - 4*a + 2*a = 12. Let h = 6 + j. Solve i - h*x - 9 = 0, -7*x = 3*i - 2*x - 10 for i.
5
Let k = -79 + 85. Solve -4*q = -0*r - 4*r + 8, -q - r = -k for q.
2
Suppose 5*m + 67 = -8. Let x be (0 + 5)*(-12)/m. Solve -31 = -5*z - 3*d, x*z - 5*d - 10 = -0 for z.
5
Let j = 4 + -4. Suppose 2*w - 5*a - 7 = j, -2*a + 1 = w + 2*w. Solve -7 = d + p - 2, p - w = d for d.
-3
Let t(g) = -g**3 - g**2 + 9*g - 9. Let b be t(-4). Solve -5*c = 5*o - 20, 3*c + 2*c = -b*o + 20 for o.
0
Suppose -2*i = -3*i + 3, 2*i + 10 = 4*u. Let b(a) = a**2 - 6*a + 4. Suppose 3*s = 32 - 11. Let p be b(s). Solve -7*d = -3*d + 2*l - 18, 5*l = u*d - p for d.
4
Let t = -45 + 68. Solve t = 2*v - 5*l, -12 = -2*v + l - 1 for v.
4
Suppose -3*p + 4*p - 4 = 0. Solve u - t + 1 = 0, -t + 4*t - 17 = -p*u for u.
2
Suppose 0 = -2*m - 0*m + 5*l - 13, -2*m - 2*l = 6. Let a be (-2)/m*8 - 0. Solve 0 = 5*q + 3*y - 26, 3*y + a - 22 = -3*q for q.
4
Let g be (-1)/(-2)*(13 - 13). Solve 2*x + g*x + 5 = u, 12 = -3*x + 3*u for x.
-1
Let j = -7 - -19. Solve -j = -3*d, -4*k + 20 = 2*d + 2*d for k.
1
Let b(d) = 2*d - 29. Let u be b(15). Solve 4*g + c = u, -2*c + c - 3 = 0 for g.
1
Let d = 6 + 6. Suppose -f - 2*s = 4, 2*f - 12 - d = 4*s. Let k(g) = g**2 - 8*g - 23. Let x be k(11). Solve v + 3*v + f = 4*q, -q = -4*v - x for q.
-2
Let o(l) = 2*l**3 + 15*l**2 - 8*l + 6. Let f be o(-8). Solve -2*i - m = -10, -2*m = -f*i + 3*i + 15 for i.
5
Let s = 41 - 37. Solve d = -3*l - 1, 5*l + d - s*d = 3 for l.
0
Let r be 6/8 - (2 - 25/20). Let z be 8/3*(-51)/(-4). Suppose 3*a - z = 26. Solve -a = -4*u, 3*t - 2*u + r*u = -19 for t.
-3
Let q be 4/1*(-75)/20. Let f be q*((-5)/(-3) + -2). Solve 0 = -4*l - l - f*o - 15, -3 = 2*l + 5*o for l.
-4
Let s = -2 + 4. Solve -3*f + 3*u = 9, s*u = -f + 4*u - 7 for f.
1
Suppose -6 = 3*g - 30. Suppose -5*w - 3 = -g. Suppose -v + 0 = -w. Solve l + 5 = 0, -l - 6 + v = -2*n for n.
0
Let l be (8/6)/(4/6). Suppose -2*c = -3*c - 4