-5
Suppose -3 = -g - v + 2*v, 0 = -2*v + 2. Suppose -z + g*w + 36 = 4*z, -5*z + 24 = -w. Solve 0*x + 4*l = -z*x - 8, 4*x + 3*l + 4 = 0 for x.
2
Let f = -9 - -17. Solve -4*s - f = -5*o, -3*s = -5*o + 3 + 3 for s.
-2
Let t = -21 + 23. Solve 2*v - 6 = -4*h - 3*v, -v + t = 0 for h.
-1
Let n be (0 + 4/(-1))*-2. Suppose -2*v + 4*o - 3*o = 2, -4*v - 2*o + 4 = 0. Let w be (12 - 1)/(v - -1). Solve 0 = -2*y + a + w, -3*y + a - 10 = -n*y for y.
3
Suppose -10*s + 13*s - 9 = 0. Solve -i + s*v + 12 = 0, 3*i = 4*v + 9 + 2 for i.
-3
Suppose -4*u - 1 = -17. Solve 29 = 3*s + u*n, 3*s - 2*n = -5*n + 24 for s.
3
Suppose 31*w = 9*w + 44. Solve -3*y - c - 15 = w*c, 3*c = 3*y - 3 for y.
-2
Let i be 50/15 - 1/3. Solve 0 = -z - i*c - 5, 5*c = 2*z + c - 10 for z.
1
Suppose 24 = 8*c - 2*c. Let z(u) = -u**3 + 5*u**2 + u - 5. Let b be z(c). Solve 0*g + 2*g - 5*x = b, 5*g + 12 = -4*x for g.
0
Let m(b) = 2*b - 7. Let r be m(5). Suppose r*h + h = 24. Solve 0 = -3*n + 3, -h*n + 2 = -2*a - 2*n for a.
1
Suppose -4*s + 16*s = 36. Solve 5*q = -s*m + 29, -10 - 13 = -5*q - m for q.
4
Let q be (1 - 2) + 1 + (1 - 1). Solve 3 = -5*n + 4*t + 21, -n - t = q for n.
2
Suppose -m - m + 18 = 0. Let p = -13 + m. Let q be (-3 - p)/((-1)/(-4)). Solve 3*y + 3*s - 12 = 0, -3*s - 3 = -q*y + 2*y for y.
3
Suppose -3*h + 80 + 13 = 0. Suppose -h = -j + 5*s - 11, 0 = -4*s - 12. Solve 0*y - y = 2*b + 13, -j*b - 37 = 4*y for y.
-3
Suppose -i + 3*m + 21 = 2*i, 2*m = -6. Solve -i*j + 3*n - 13 = -1, -4*j - 2*n = -8 for j.
0
Let k be 12/1*(8 + -7). Let y be ((-16)/k)/((-4)/(-6)). Let b be (-3)/((-6)/y) + 1. Solve b*h = h + 2*q + 9, 0 = -2*q - 10 for h.
1
Let n be (0 - 2)/(4/10). Let g be 1 - 1 - n*1. Suppose 3*u + 2*l + g = -5, 2*u + 3*l + 15 = 0. Solve u = 4*x - 0*q + 3*q + 3, 5*x + 1 = -q for x.
0
Suppose 0 = -r + 5*r - 16. Let n be (128/(-6) - 0)*3. Let f = -24 - n. Solve -m - 4*m + 13 = -3*p, 5*p = -r*m + f for p.
4
Suppose k - 3 = v, -v + 3 = 6*k - 5*k. Suppose -k*o + 23 - 5 = 0. Let m = -1 + o. Solve 0 = -h - 3*r - 10, -m*r + r - 20 = -2*h for h.
2
Suppose -14 = -3*d - 2. Solve d*k + 4*w = -4, -6*k - w = -k - 15 for k.
4
Let y = 2 - 0. Suppose 4 = y*r - 6. Let t = 9 + -3. Solve r*k - 24 = x, -k + 4*x = -t*k + 4 for k.
4
Suppose 26 = 4*f + 6. Solve -x - 22 = -6*r + r, -6 = -f*x - 4*r for x.
-2
Let v(l) = -l + 3*l - 3*l + 0 + 1. Let c be v(-3). Suppose 5*z - 22 = o, 0 = -2*z - 0*z + c*o - 2. Solve -5*g - z*y = -0*y - 10, -5*g + 6 = 4*y for g.
-2
Suppose -9*g - 8 = -35. Let w(q) = q**3 - 5*q**2 + q + 2. Let a be w(5). Let z be (-2)/a - (-60)/14. Solve y + z*c = -9, -g*y - 2*c - 10 = 7 for y.
-5
Suppose 5*o - 5*j = -6 + 46, -7 = -4*o - j. Solve -3*s = -4*b + 16, 8*s - o*s - b + 21 = 0 for s.
-4
Let p be 13/4 + 1/4*-1. Solve -g + 4*x = 8, p*x + 15 = -5*g - 2 for g.
-4
Let k = -24 - -29. Solve 7 = -4*h + h - 5*y, k*h + 5*y + 15 = 0 for h.
-4
Let g = 0 - -1. Suppose -1 - 4 = -5*z. Suppose -o = -0*o - 3*u + 13, -u + z = -2*o. Solve -2 = r - t + o, 4*r + g = -t for r.
-1
Let k be (-1 - 44/(-28))*7. Solve -4 = 3*i + i - 4*v, 0 = k*i - 2*v for i.
1
Suppose v - 1 - 12 = 0. Let p = v + -10. Solve 3 = -d - 2*c - 1, p*d - 32 = 5*c for d.
4
Let t(k) = k**2 - 27 + 27. Let g be t(-2). Suppose -6*z = -11*z. Solve z = -5*q - n - 28, -3*q + 7*n - 6 = g*n for q.
-5
Suppose -4*s + 28 = -4*i + 2*i, -3*i = 3*s + 24. Let g = i + 8. Let u be -3 - (-3 + -2) - g. Solve -u*y + c - 4 + 11 = 0, -3*y - 6 = -3*c for y.
3
Let f be ((-1)/(-3))/((-1)/(-3)). Let c = f + 2. Let z = -4 + 4. Solve -n + c = -2*h - z, -n - 2*h = -7 for n.
5
Let a be 2/(-3) - (-16)/6. Let p be 3*-2*2/(-6). Let g = p - a. Solve -5*i - 12 = -g*d + 2*d, d - 16 = 3*i for d.
4
Suppose -5*j + 0*j = -5. Solve 0 = -3*z + 3*o, 3*z = -3*o - 5 - j for z.
-1
Suppose 0 = 2*w - 10 + 4. Let z = 27 - 24. Solve -w*d - 11 = -5*t, -z*t = -0*d - 3*d - 9 for d.
-2
Suppose 0 = 2*a + 3 - 9. Suppose c + 5*u - 18 = -0*c, a = 2*c - u. Solve 2*t + 3*t + 15 = -2*g, 0 = 3*g + c*t for g.
5
Let d be 6/(3/1) + 3. Let h be (-1)/d + (-112)/(-10). Solve 0 = 2*p - 3*b - h, 3*p + 4*b - 4 = p for p.
4
Suppose -4*i = 9 - 13. Solve -3*l + 2*j = -4, -j - i = -l + 1 for l.
0
Let l(s) = 5*s + 43. Let p be l(-8). Solve h + 5 = p*h + 3*d, -4*h + 4*d = 20 for h.
-2
Let u(g) = -g**3 - g + 3. Let b be (-8)/28 - 4/(-14). Let r be u(b). Let v(c) = -c. Let l be v(-3). Solve -k - 4*h + l*h = 7, -k - r*h = 11 for k.
-5
Let j be 7/(-2) - 3/(-6). Let g(a) = -2*a**3 - 2*a**2 + 2*a - 2. Let v be g(j). Let o = -5 + v. Solve 0 = -2*s - 4*b + 33 - 11, 0 = 4*s + b - o for s.
5
Let d be (-8)/3*(-3)/2. Let i(a) = -13*a + 18. Let v be i(1). Solve v*p + 23 = -d*z, z + p = -6 + 1 for z.
-2
Suppose 2*c + 2*b + b = 0, 3*b = 2*c + 12. Let y(z) = -z**3 - 3*z**2 - 4*z. Let s be y(c). Solve -5*f + s = -u, 9 = 3*f + f - u for f.
3
Let p(u) = 5*u - 10. Let m be p(6). Let r = m + -17. Solve -f + 14 = 3*n, -r*f + 11*n = 6*n for f.
5
Suppose 16*z - 5 = 15*z. Solve 5*l - z*i - 10 = 0, -3*i - 1 = -5*l + 3 for l.
-1
Let u = -9 - -13. Let c = -1 + 5. Suppose c*v = -v + 20. Solve -2*m - v + 18 = u*h, m = 5 for h.
1
Let y = -13 + 9. Let w be -4*2/y*1. Suppose w + 2 = u. Solve u*n = -8*s + 3*s + 3, 0 = 2*s + n for s.
-1
Let v = -77 - -84. Suppose -4*p + 4 = -3*n, 3*p + 3*n - 1 = 2. Solve 4*a - p = -3*c + v, 3*c - 4 = -2*a for a.
2
Let b be -1 + -1 + 12/(-6). Let p be (b - 2)*2/(-3). Suppose s - p*s = -3. Solve -z - 9 = -4*w + s, -z = w for w.
2
Let q(g) = -g**2 - 19*g + 22. Let a be q(-20). Solve -3*d - 8 - 4 = -2*c, a*d + 13 = 3*c for c.
3
Let m = -7 - -12. Suppose 3 - m = -s. Solve -5*z - s*n + 19 = -3*n, 0 = -z - n - 1 for z.
3
Suppose 0 = 12*p - 20*p + 48. Solve 5*f - 1 = 3*h, 23 = 4*f - h + p*h for f.
2
Suppose -7 = 7*x - 42. Solve x*n = -5, z + 3 + 0 = -3*n for z.
0
Let q(y) = -y - 13. Let p be q(-16). Solve 13 = -p*f + 4*f - 2*m, -4*f - m = -16 for f.
5
Let c be 4 + -3 + 1 + 2. Suppose 0 = -5*j + c*j - 5. Let x = 0 - j. Solve 5*t = -5*z + 25, -x*z - 2 = -2*t + 1 for z.
1
Suppose -4*x + 24 = -x. Let o = 13 - x. Solve 5*l = -3*j + 15, -l - o = -0*j - j for j.
5
Suppose b + 0*b + 7 = 0. Suppose -4*v = 42 + 2. Let a = b - v. Solve -3*f + a*l + 4 = f, 5*f + l = 29 for f.
5
Let t(f) = f**2 - f + 4. Let z be t(2). Solve 0 = -2*m - v + 10, -2*v = -2*m - v + z for m.
4
Let u = -1 - -9. Let a(z) = z**3 - 16*z**2 + 14*z + 19. Let x be a(15). Suppose x*b = u + 8. Solve 0 = -c + b*v - 5, -7*c + 3*c + v = 20 for c.
-5
Let d = -57 - -62. Solve -4*j - 3*p = -7*p, 0 = -d*p - 15 for j.
-3
Let b = -14 + 21. Suppose -4*a = -b*a + 9. Solve -z = a*s - 2, -3*s + 15 = 3*z + 3 for s.
-1
Let u = 86 - 49. Let w = 36 - 21. Let y = w - 10. Solve -y*p = 3*j + u, 4*p - 4*j - 3 = -7 for p.
-5
Suppose -3*d + 4*d = 4. Suppose -6*a = -d*a - 6. Solve -2*q = -5*q + 5*j + 27, 5*q + a*j - 11 = 0 for q.
4
Suppose 5*g + 3*c - 17 = c, -3*c - 3 = -2*g. Solve 5*h - a = 18, 5*a = h - 15 - g for h.
3
Let h be 5/1 - (-3 - -5). Suppose 2*j - h = 1, -l + 8 = 2*j. Solve 3*c + l*o + 25 = 0, 0*c = -2*c + 5*o + 14 for c.
-3
Let c(t) = -t**2 - 6*t + 2. Let r be c(-4). Let w(i) = i**2 - 9*i - 3. Let d be w(r). Solve -2*g - g = -2*h - d, 0 = -2*g + 2 for h.
-2
Let u = 0 - -9. Let f = u - -5. Solve 5*w - f = 2*r, 10 = 4*w - 3*r + r for w.
4
Suppose 1 + 11 = 3*n. Solve 0 = 3*f - n*s - 15, 4*f = 2*f + 5*s + 10 for f.
5
Let q(x) = x**2 - 5*x + 6. Let d be q(4). Let z be 4/(-1 - 3/3). Let k be z/(-8) + 114/24. Solve -d*a = 5*c + 31, c + 0*c = -k for a.
-3
Let o(q) = -4*q**3 - q**2 - 3*q - 3. Let f be o(-1). Solve -5*h + 4 = f*c - 2, -h = -5*c + 10 for c.
2
Suppose -5*h + 22 = 82. Let s = h - -13. Solve -4*g = 5*w - w - 16, -w - s = 0 for g.
5
Let z(y) = -y**3 + 5*y**2 + 2. Let q be z(5). Let u(i) = i - 8. Let w be u(8). Suppose w*l = -2*l. Solve -q*a - 4*m + 2 = l, 0*m + 16 = -2*a + 5*m for a.
-3
Let w be (-18)/(-6) - (-3 + 1). Solve -4*d = w*t + 18 + 7, d - 5*t = 25 for d.
0
Suppose 2*n - 2*y = 3*y + 28, 60 = 2*n + 3*y. Solve -3*b + 3 = 0, n = 2*u + 3*u - b for u.
5
Suppose 2*f - 4 = 6. Let o be f + 0 - (-6 + 7). Solve -2*t - 2 = 0, 4*t = -o*n + t + 1 for n.
1
Let q = 31 + -46. Let z = q - -25. Suppose 5*w + z = 4*g, -6 = -2*w - w. Solve v = -g*c - 22, -4*c + 2*v = 2 + 10 for c.
-4
Let b(o) = o**2 + 4. Let p be b(-4). Solve y - 12 = -5*f + 3*f, 0 = 5*y + 2*f - p for y.
2
Let w be (-1 + 1)/(