-5))/((-2)/(-10)). Solve -h + 8 = y*t, -5*h - o*t + 25 = 3*t for h.
4
Let d = -4 + 1. Suppose -x = -5*u, -5*x + 17 + 9 = u. Let a = d + x. Solve 3*s + 15 = 0, 0 = -l - 0*l - a*s - 15 for l.
-5
Let l be 8/3 + 36/(-54). Suppose 0 = 2*y - 1 - 3. Solve 2*g + 2*f = l, -y*f = -3*g - f - 5 for g.
-1
Let m(k) = -k**3 + 5*k**2 + 2. Let g be m(5). Solve 0 = -v - d - 2, v - d = g - 4 for v.
-2
Let o(l) = l - 1. Let j be o(5). Solve 4*v - 20 = -j*k, -3*v - 10 = -2*k - v for k.
5
Suppose -p + 2*s - s = -5, 0 = -p + 3*s + 9. Suppose 2*g = -b - 1 + 11, 2*g = 8. Solve -4 = w + 2*i - 0, 13 = b*w - p*i for w.
2
Let v be (-58)/3 - 4/(-12). Let z be (-2 - -4) + v + 1. Let n be z/(-6) - 8/12. Solve -w + 2 + 1 = -2*p, n*w + 3*p = -22 for w.
-5
Suppose -3*s - 33 = -0*s - 3*d, -3*d = -s - 15. Let x be (-86)/(-18) - 2/s. Suppose -3*n = -28 - x. Solve 0 = -5*w - 0*w - h + 13, 4*w + h = n for w.
2
Let a(v) = -v**2 - v + 2. Let b be a(2). Let w be (3*-2)/(6/b). Suppose -2*n + w*n = 10. Solve t - m + 3 = -0, -n*m = -10 for t.
-1
Suppose 2*s = -2*s + 100. Suppose -24*u - 13 = -s*u. Solve -3*z = 2*i - 17, -4*z = i - z - u for i.
4
Suppose 3*x + 5 = -3*k - 7, 0 = -3*x - 3. Let p = k + 0. Let d be 2/(-6) - 13/p. Solve 2*v - 6 = d*v, -g + 11 = -3*v for g.
2
Let x(c) = -c**2 - 4*c + 9. Let z be x(-5). Suppose -3*n + z + 5 = 0. Let i = -15 + 24. Solve 2 - 6 = -2*g - 2*h, n*h = i for g.
-1
Suppose 0 = -9*k + 11*k. Let r be (-3)/3*(k + -5). Solve 4*a - 8 = 3*j, -3*j - r*a - 20 = -3 for j.
-4
Let c be -5 + 3 + 10/(-1). Let q be 2*c/8*-1. Solve 3*n - q = 4*j + 13, -5*j + 3 = 2*n for j.
-1
Suppose 0 = -2*w + 4. Let p be (w/(-4))/(3/(-90)). Solve r + 0*d - 23 = 5*d, 5*d + p = 5*r for r.
-2
Suppose 4*k + 2 = 3*k. Let v be k/(-3)*(-9)/(-2). Solve 3*g = -5*b + 9, 2*b - 4 = v*g + 8 for g.
-2
Let f = 13 + -8. Solve -d - 17 = -5*y + 5, y + f*d + 6 = 0 for y.
4
Suppose -2*i - 5*l = 0, 2*l + 4 = -i + 5. Solve p - i*f = 17, -2*p + 5*f = -2 - 17 for p.
2
Let o(f) = -6*f**3 - f**2. Let n = 5 + -6. Let r be o(n). Solve p + 3 = -r*i, 2*i - p + 4 = -0 for i.
-1
Let r = 239 - 237. Let q = 1 + 3. Solve 2*a - 20 = r*i + 7*a, -4*i + q*a = -16 for i.
0
Let i = -6 - -11. Suppose -3*g + 4 = -z, 2*z - 5*g + 0*g = -i. Solve -l + 3*l - 6 = z*v, 5*l - 15 = 3*v for l.
3
Let y = -3 + 21. Solve 2*p = 4*d + y, -3*d = 2*p + 3*p + 7 for d.
-4
Suppose r - 5 = -2*y + 5, -2*r + 14 = 2*y. Suppose 0 = -3*u + 4*g - 3, 4*g + 2 = -3*u + u. Let t = u + y. Solve 8 = -2*w + t*d, -d + 4 = -0*w + 5*w for w.
0
Let w(k) = -k + 1. Let j be w(1). Suppose j*f = 2*f. Solve -3*g + x = 1, g - 3*x - 2*x + 5 = f for g.
0
Let v(i) = 12*i + 3. Let o be v(1). Solve -3*d = -2*p - o, -2*p - 4*d = -5*p - 21 for p.
-3
Suppose -2*g - 2*m = -6*g + 40, 3*g + 4*m = 30. Solve a = -5*k - 2*a - g, -23 = 2*k + 5*a for k.
1
Suppose -2*q = 5*x - 108, -4*q = -x + 3 + 1. Suppose 12 = 5*m + 77. Let g = -10 - m. Solve -3*s = 2*h + x, g*s + 2*h + 16 = h for s.
-4
Suppose 4*p = 12, 2*s + 0 - 1 = p. Solve -3*x - 2*q - s*q - 16 = 0, x + 3*q = -7 for x.
-4
Suppose -34 = 6*j - 124. Solve -k + j = -4*m, -2*k + 6*k = -4*m for m.
-3
Suppose -5*l - 2*b + 57 = 0, -3*b + 15 + 10 = 2*l. Let x = l + -2. Solve k - 1 = -o, -2*k + 3 - x = 4*o for o.
-4
Suppose 4*j = 5*z + 3, -4*j + z - 10 = -33. Solve -u = u + 3*s - 1, -4*s = u + j for u.
5
Let b(d) = d**3 + 12*d**2. Let h be b(-12). Solve -f - 9 = -h*w - w, 0 = 5*w + 4*f for w.
4
Suppose 1 - 22 = -3*z. Let d be (z/4)/((-3)/(-48)). Solve 2*n - 3*q + 7 = 0, -5*n - 5*q - d = 2 for n.
-5
Suppose -3*i - i = -120. Suppose 4*a = i - 6. Let l(x) = -x**2 + 11*x + 11. Let g be l(10). Solve 2*z = -a, z = -5*c + 3*z + g for c.
3
Let y be (1*-3)/(-3)*0. Suppose y = -4*h - 5*m, -h = -m - 2*m. Suppose -u = -h*u - 5. Solve 8*d - 5*c = 3*d + 10, u*c = 3*d - 4 for d.
3
Let i(g) = 4*g - 4. Suppose 0*u - 3*u + 12 = 0. Let n be i(u). Suppose -5*b = -0*b + 2*k - 64, -2*k = -4*b + 44. Solve -b = -2*c - v - 3, c - 5*v = -n for c.
3
Let r = 107 - 104. Solve 0 = 4*z + o + 13, 0*z - r*z + 3*o - 6 = 0 for z.
-3
Let a(n) be the first derivative of -n**2 - 6*n + 1. Let s be a(-4). Solve -s*k = -i + 5, -i + 18 = -3*k - 3*i for k.
-4
Suppose -4 = -2*k - 0*k. Let u be k + 0 + (-1 - -1). Let d = -14 + 24. Solve 0 = -5*t + s - d, t - u + 4 = s for t.
-2
Let w(t) = t + 1. Let x be w(-1). Solve x = -k + 1, -3*k + 9 + 4 = 5*y for y.
2
Suppose g = -v + 2, 3*v + 10 + 12 = 4*g. Suppose 3*f - 11 = r + 3, 5*f = -2*r + 5. Suppose -f*t = -0*t - 45. Solve -5*j - t = 4*x, 8*x + 6 = -2*j + g*x for j.
-3
Suppose -14 = -4*f - 2. Suppose -8 - 16 = f*l. Let j = 12 + l. Solve j*d = 3*d - 2*q, 2*q = -4*d for d.
0
Let w be 9/(-12) + (-47)/(-4). Suppose 3*f = y - 4*y, 2*y + 12 = 4*f. Suppose 2 = -f*h + 6. Solve 3*c - w = h*v, 17 = v + 4*c - c for v.
2
Suppose 2*s + 5 = 2*j + 1, -3*j + 13 = 4*s. Suppose -2 - s = z, -47 = -2*b + z. Solve 4*p - 13 = r, -1 = -4*p + 3*r + b for p.
2
Let q(k) = -6*k - 5. Let f be q(-3). Solve -3*p + 5*m = 18, -2*m + f = -p + 2*m for p.
-1
Let j be (3 + -4)/(2/(-12)). Let a = 8 - j. Solve -2*f + 24 = 4*w, -a*w + w = -2*f - 1 for f.
2
Let x = 23 - 3. Suppose 2*b + 6 = -u, 3 = -3*b + 5*u + x. Let r be ((0 - b) + -1)/(-2). Solve -v + 1 = 2*i, 4*v + r*i = 4*i + 28 for v.
5
Let k = 8 - 6. Suppose -i - 44 = -5*z, k*z - 4 = -z - 5*i. Suppose 4*b - 5*g + 16 = z*b, -b - 4*g = -4. Solve -20 = -4*h + r, h = 4*r + 9 - b for h.
5
Suppose -u - 4 + 12 = 0. Solve -4*o = -5*j, 3*o - u*o + 5*j + 5 = 0 for o.
5
Let z = 8 - 6. Solve n - 12 = w - z*n, -20 = -5*w - 5*n for w.
0
Let q(c) = -c**3 + 3*c**2 + c - 1. Let r be q(3). Solve -5*k = -6*k - 3*w + 16, r*k = 5*w - 23 for k.
1
Let w = -5 + 20. Suppose 12 = 2*z + 2. Let q = 0 + z. Solve -w = q*f - s, 7 + 2 = -f - s for f.
-4
Let l = 2 - -4. Solve -3*d = -3*a + l, -a - 2*a + 10 = d for a.
3
Suppose 10 = 5*q, -q + 5 - 23 = -5*f. Suppose -8 = 2*s - f*s. Suppose 2*l + 2*g - 12 = 0, s*l = 3*l - 3*g + 10. Solve l - 2 = -4*x - 2*r, -5*x - 5 = 3*r for x.
2
Let v be 0 - (6/3 + -2). Suppose -3*c + 0*c + 24 = v. Solve 4*n = 3*b + 4, -2*n + 4*n = c for b.
4
Let u = 12 + -16. Let s(r) = -4*r - 14. Let m be s(u). Solve p + 16 = -4*o, o + 3*p + 12 = -m*o for o.
-4
Let r be (-9*1)/(-3) - -22. Let p = 57 - 32. Solve 5*h + 5*t = -p, 9*t = 2*h + 4*t - r for h.
0
Suppose 8*j - 5*j - 12 = 0. Suppose 0 = 2*k - 5*m - 10, 5*m = -5*k - 16 + 41. Solve q + 21 = j*w, 4*q - q + 5*w = k for q.
-5
Let i be 1221/231 - ((-4)/(-14) + 0). Solve 2*s + n = 4, 4*s + i*n = s + 13 for s.
1
Let t = 56 - 43. Solve -t = 4*k + 4*x - 5*x, 0 = 4*k + 3*x - 7 for k.
-2
Suppose -l = -2*l. Suppose -y = 4*i - 16 + 1, l = 2*y + 2. Solve 2*f = -u + f - 3, 2*u + i*f = -10 for u.
-1
Suppose -3*i - 2*a = a - 18, 5*a - 5 = 0. Solve -n - 5*l + 15 = 2*n, 25 = i*n - 2*l for n.
5
Suppose 4*g + 3*v = 85, 0 = g - 5*v - 0*v - 4. Let s = -17 + g. Solve 0 = 5*k - 3*p - 27, -4*k + s*p + 17 = -k for k.
3
Let z = 96 - 92. Solve 6 = -2*p + z*b - 5*b, p = b for p.
-2
Let b = 9 - 6. Suppose b*i = -26 - 16. Let k be (-5)/(-7) - 4/i. Solve -6*a + 4*u - k = -3*a, -2*u = 2*a + 10 for a.
-3
Suppose 3*l - 3 = -0*l. Let y = l - -1. Solve 16 = 2*d + y*f, -d + 27 = 3*d + 3*f for d.
3
Let d(g) = -g**3 + 6*g**2 + 2*g - 9. Let u be d(6). Let j = u + -1. Suppose -j*z = 3*z - 15. Solve z*m = -12, 6*s - s + 3*m + 17 = 0 for s.
-1
Let b = 31 + 164. Suppose b = -5*j - 5*r, 10*j - r = 5*j - 171. Let w be j/(-10) - 1/2. Solve -2*c + w*c = 3*h - 17, -3*c - 31 = -5*h for h.
5
Suppose 3*m + 22 = 34. Solve g + m*r = -0*g - 7, r - 2 = -g for g.
5
Let q be 105/10 + (-1)/2. Suppose g - 6 = -g. Solve v = 3*p + 15, p + g*v = 5*v - q for p.
-4
Let l be 4/6 - (-11)/(-3). Let n = l - -7. Suppose -n*j - j = -40. Solve 4*h - 2*h = -j, -m - 8 = h for m.
-4
Let o(i) = i**3 + 5*i**2 + 2*i - 4. Let a = 9 + -13. Let f be o(a). Let m = -71 - -83. Solve 0 = 5*v + 2*r - 6*r + 22, -f*r = -m for v.
-2
Let x be 1/((-20)/12 + 2). Solve 4*c + 4*j + 8 = 0, -c + j = -x*j - 23 for c.
3
Let u = 98 + -81. Solve u = 2*m + 5*w, m - 3*w = 2 - 10 for m.
1
Suppose -q = -3*q. Suppose q = 4*v - 5*v + 2. Solve -3*s - v = -3*u + 4, 0 = -u - 5*s - 4 for u.
1
Let v(c) = 3*c - 1. Let f be v(-1). Let h(x) = x**3 - x**2 + x + 6. Let b be h(0). Let l = b + f. Solve l*a = -4*m + 3*m - 3, 2*a = -2*m - 6 for m.
-3
Suppose -2*t + 9 = t. Solve 2*v - 7*u + t