/u. Solve 0 = c*k + 2*m + 35 - 4, 2*m = -k - 11 for k.
-5
Suppose -5*x + 20 = -0. Let v(q) = -q**3 + 20*q**2 + 23*q - 38. Let r be v(21). Solve -r*c + 12 = -o, c = x*o + 1 + 17 for c.
2
Suppose -3*k + 8*k - 50 = 0. Let g = k - 4. Solve -s = 4*n - n + g, -4*s = 5*n + 3 for s.
3
Let k(z) = z**3 - 7*z**2 - 8*z + 1. Let g(b) = -b**2 + 9*b + 8. Let y be g(9). Let h be k(y). Solve -2*q = -3*n + h, -5*n = -3*n + 3*q - 18 for n.
3
Let y(a) = 5 - 1 - 4*a**3 + 8*a**2 + 5*a**3. Let q be y(-8). Suppose -q*u + 0 = -8. Solve u*f - f + 13 = -5*i, 0 = -5*f + 2*i + 16 for f.
2
Let u be ((-21)/21)/((-2)/6). Solve 2*y - 17 = 5*v - y, -u*v - 10 = -2*y for v.
-4
Let g = 16 - 9. Suppose 3*s + 1 = g. Solve 0 = v + 3*a - 11, 2 + 1 = -s*v - a for v.
-4
Let h = 61 + -59. Solve -h*w = 4*q - 18, -2*w = -q - 3*w + 6 for q.
3
Let v be (1 - 4) + (6 - -3). Let m(z) = -3 + 2 + 2 - 17*z + v*z. Let i be m(-1). Solve j - 2*n + 2 + 3 = 0, -3*j = -3*n + i for j.
-3
Let r be (2 - -1)*(-8)/(-6). Solve 5*l + 6 = 4*w + 1, 0 = l + r*w - 23 for l.
3
Suppose -2*x + 7*x = 115. Solve 2*f = 4*o + 2, -f = 3*f + o + x for f.
-5
Let w = 9 + -3. Let m be -1 + ((-2)/2 - w). Let i(a) = -a**2 - 9*a - 4. Let z be i(m). Solve 2*q = z*v + 18, 5*q + 21 = -5*v - 9 for q.
-1
Let q(r) = 4*r**3 - 2*r**2 + 2*r + 1. Let z be q(-2). Let c = 45 + 28. Let v = c + z. Solve -5*i + 0*i - 5*p + v = 0, p = 3*i - 14 for i.
5
Suppose -12 = -6*p + 2*p. Suppose u - p = 1. Solve 0 = -3*j + u*j - 2*l - 1, -5*l - 7 = 2*j for j.
-1
Suppose 0 = 4*l - 9 - 15. Suppose a - 14 = -3*t - 0*a, t - l = a. Let b be -1*3/(9/(-21)). Solve -2*d - t*k = -7, 4*d + 7*k = 4*k - b for d.
-4
Let q(v) = 6*v**2 + 0*v + 1 + v - 2. Let a be q(1). Let b be 11/3 + 4/(-6). Solve 3*n - 5*u - 1 = a, -3 = -b*u for n.
4
Let w = -16 + 28. Let o = w + -4. Suppose 3*v = v + 16. Solve -2*x = 2*z - v, -3*x = -z - 0 + o for z.
5
Let q be ((-16)/30 - 9/(-45))*-3. Solve -3*o = 4*m - 1, -3*m - 2*m = 4*o - q for m.
1
Suppose 6 = a + 2*a. Suppose 0 = -q + 2*q, -3*q + 6 = 3*v. Suppose -v*g = -3*g + 4. Solve 5 = j - a*h, -4*j - 5*h = g + 2 for j.
1
Suppose 3*b + 3*h = 0, 0 = -h + 3*h + 8. Let q be (-4)/10 - (-94)/10. Solve 3*m - n - 5 = n, b*m = 5*n + q for m.
1
Let r(w) = -4*w + 25. Let n be r(6). Solve -n = 3*q + 4*f, 3*q = -4*f + f - 3 for q.
-3
Suppose n + 14 = 2*d, -d + 3*n = -7 - 0. Solve -2*r - v = -d, 2*r + 3 = 3*v - 2 for r.
2
Suppose 2*q + y = -5, q - 8 = 4*y - 24. Suppose p - 10 = 2*p. Let w be (-10)/q + 5/p. Solve -w*m + 2*u = -0*m - 4, -u + 3 = 4*m for m.
1
Let v = -5 + 9. Suppose 4*q = 5*q - v. Solve -4*m = -3*a - a - 20, -5 = a - q*m for a.
-5
Let m be (501/39 - -3) + (-6)/(-39). Solve -j - 4 = 0, 3*k - 5*j = m + 7 for k.
1
Suppose 0 = 4*m + 5 - 77. Let r = m - 18. Solve 0 = -j - 4*j - 4*u + 24, r = 5*j - 3*u - 17 for j.
4
Let q(m) = -m**2 + 6*m + 2. Let y be q(5). Let c = 0 + y. Solve 0 = l - 4*s - c, -5*l + l - 29 = 3*s for l.
-5
Suppose -2*d - 23 = 3*c, -d = -5*c - 3*d - 37. Let b be (-75)/c - (-2)/7. Solve -b = 4*k - s, 3*k + 3*s = -0*k - 27 for k.
-4
Let x = -3 + 0. Let b = x - -5. Solve -6 = -b*a + 4*s, s = -2*s - 12 for a.
-5
Suppose -9*t - 10 + 28 = 0. Solve -t*g = 2*y - 2, 16 = 2*g - 2*y + 6 for g.
3
Let k(y) = y**3 + 5*y - 7. Let u be k(2). Solve -2 - 1 = o, -o = -4*m + u for m.
2
Let s(y) = y**2 - 6*y + 5. Let u be s(6). Solve -5*w - 15 = u*f, 0*w - f + 12 = -4*w for w.
-3
Suppose -3*k + 42 = -0*k + 2*u, -4*u = -12. Let v be (k/(-10))/3*-5. Solve 5 = -4*h + v*h - 3*i, 4*i + 8 = -3*h for h.
-4
Suppose 2*q + 1 = -3. Let d be 536/32 - q/8. Suppose 28 = w - d. Solve 4*p - w = 5*b, 0*b + 5 = -3*p - 4*b for p.
5
Suppose -4 = 14*t - 4. Solve 5*f - q - 7 = 17, t = f + 5*q + 16 for f.
4
Suppose -5*p - 13 = -c - p, 5*c + 4*p - 17 = 0. Solve -5*w = 15, 35 = -c*b - 4*w - w for b.
-4
Let m(x) = -4*x - 12. Let y be m(-7). Solve 2*v = -3*v - 3*h - 32, h + y = -3*v for v.
-4
Suppose -12 = -5*t - 2*z + 25, -t = 5*z + 11. Solve -3*i + 1 = -2, -3*p - 3*i + t = 0 for p.
2
Suppose -5*l - 10 = 5*a, 0*l - 2*l - 6 = 3*a. Let k be (7 - 1) + (-3 - a). Suppose 4*j - 7 = 1. Solve -2*x = j*s - 3*x + k, -12 = 4*x for s.
-4
Let b be 7/2*28/49. Solve 4*t + 12 = -b*z + 2*t, 5*z = -3*t - 24 for z.
-3
Suppose -5*m = -3*m - d - 50, 84 = 4*m + 2*d. Let b be (-2)/4*1*-8. Suppose -12 = 4*l, -2*c - l + 1 = -c. Solve -o - m = -b*k + 4*o, -c*k = -o - 11 for k.
2
Let v = -10 + 12. Suppose 0 = -v*h + 3*h. Solve h*s + 3*j - 13 = -2*s, -2*s = 2*j - 8 for s.
-1
Let m(l) = l + 12. Let i be m(-7). Solve -5*o = 4*s - 2, -1 - 11 = -o + i*s for o.
2
Let c = 32 - 25. Solve 5*l - c = q, l + 7 = -0*l + 3*q for l.
2
Suppose -v + 4*p - p = -6, -v + p = -8. Suppose 0 = -3*y + 6*y - v. Let x be (4 + (4 - 8))*-1. Solve 3*z + 3*d - 12 = 4*z, 3*z + y*d - 12 = x for z.
0
Suppose -4 = -4*v + 2*v, x + 4*v - 40 = 0. Solve 0 = g - 3*c + 16, 0 = 5*g - g - 4*c + x for g.
-4
Let y = -23 + 18. Let w = y + 7. Solve 5*z - 8 = c, 0 = c + 2*c - 4*z + w for c.
2
Let f be ((-1)/(-3))/(2/174). Suppose -f = 2*g - 5*w, -12 = 4*g - g + 3*w. Let u = g - -11. Solve -j + 7 = 2, -u*j = -4*a - 20 for a.
0
Let u = 6 - 6. Suppose -2*i = -3*k + 2*k - 15, u = 5*i - 5*k - 50. Solve 5*c - 18 = -3*w + 5, -w = c - i for w.
1
Suppose -10 = 2*j + 12. Let y be j/(-3) + (-2)/(-6). Solve 3*o = -y*c + 5*o + 4, 2*c - 4 = 2*o for c.
0
Let p = 4 - 1. Let d = 17 - 15. Suppose l + l = d*o + 10, p*o + 15 = -4*l. Solve h + 2*s = l, s + s + 6 = 2*h for h.
2
Let p be 0 + (-3 - (1 + -9)). Suppose 0 = -n - 0*n + 4. Solve -n*h - i - 8 = 8, p*h = -i - 19 for h.
-3
Suppose 2*s - 2 = s. Suppose -i + 24 = -3*i. Let j be ((-6)/4)/(i/176). Solve -3*b + j = b + 5*d, 5*d + s = 4*b for b.
3
Suppose -2*z + 15 = 9. Solve 3*i = 5*v - 5, -i - 2 = z for v.
-2
Suppose -3 = 5*j - 2*j - 3*v, -7 = 4*j - 5*v. Solve -4*y - 8 = j*n, 0*y = n - 5*y - 3 for n.
-2
Let b(h) = -h**3 + 2*h**2 + 3*h + 5. Let v be b(3). Solve 0*p - 12 = -2*p + 4*l, -l - 12 = -v*p for p.
2
Suppose -10*s + 5*s = -10. Suppose -s*h = -o + 3*h + 20, -3*o + 93 = -4*h. Solve -i = -5, -7*l + o = -3*l + 3*i for l.
5
Suppose -4*t = -12 - 0. Suppose -5*l = -10*l + 20. Let c(b) = b + 8. Let r be c(-6). Solve 0 = -l*h + r*s + 14, t*h + 3*s = s - 7 for h.
1
Let j be (0 - -1)/(-1) - 8. Let g = j - -11. Solve -4*k = -0 - 4, g = -3*l - 4*k for l.
-2
Let j be 5/(-2)*4/(-5). Suppose -4*f = f + 30. Let z be f/((-24)/9 + j). Solve -3*g = -z, 3 - 4 = -h - 2*g for h.
-5
Let j be 10/3*24/20. Let h(m) = m - 4. Let u be h(6). Let a be 26/u + 0/1. Solve -a = r + j*v, -v = -2*r + 6 + 4 for r.
3
Let w(m) = -3*m - 7. Suppose -q - 4 = 0, 2*p + 5*q = -p - 29. Let k be w(p). Solve 4*f - 3*f + 4*v = -21, 5*v = k*f - 23 for f.
-1
Suppose -3*n + q - 14 = 0, -3*n - 2*n + q = 20. Let b be 2/(-6) + (-4)/n. Solve -8 = -3*l - 4*y, 0 = -0*y - y - b for l.
4
Suppose -11 = -3*v + 28. Suppose 4*y + 39 = 2*s + v, -y - 29 = -5*s. Let t be 5*(2/s - 0). Solve -g + t = -3*q + 3*g, 14 = -5*q - 4*g for q.
-2
Suppose -5*x + 13 + 12 = 0. Solve -2*c - h = -3*h - 6, x*h - 12 = -4*c for c.
3
Let y = 29 + -41. Let d be (-46)/(-8) - (-9)/y. Solve c = l + 4, d*l + 5*c - 16 = c for l.
0
Let a = -10 - 0. Let n = a + 16. Solve 5*r - t - 5 = n, 13 = 5*r - 3*t for r.
2
Suppose 6*m - 12 = 12. Solve -q + 6 = -3*q, m*v = -3*q + 3 for v.
3
Suppose -5*n - 4*i + 419 = 0, -343 = -3*n - 4*i - 98. Let v be n/9 - (-2)/6. Let y = v - 4. Solve -k - k - 11 = -b, y = -3*k - 2*b for k.
-4
Suppose -v = 4*u - 6*v - 24, 4*v = u - 6. Suppose 0 = 2*b - u*b + 24. Solve -2*d - 23 = -5*q, 2*d - 2*q + 8 = -b for d.
-4
Let j = 48 + -33. Solve 4*n - 12 = -d - d, -4*d - j = -5*n for d.
0
Let y = -146 - -148. Solve -t = -3*f - 3, y*t = 4*f - t + 9 for f.
0
Suppose 19 = -2*v + 4*i + 1, 27 = -5*v + 4*i. Let h = v + 5. Solve -3*f + 13 = -5*a + 3, a - 11 = -h*f for a.
1
Let d(s) = s**3 + 3*s**2 - 4*s - 1. Let k be d(-2). Solve 3*f = -3*w - 15, -3*w = -3*f + 2*f + k for w.
-4
Let s = 95 - 90. Solve s*x = v - 4*v + 13, 2*x - 3 = v for x.
2
Let z be 31 + ((-1)/(-3))/(5/(-45)). Solve 5*f - z = -2*b, 3*b + 5*f = -b + 36 for b.
4
Let w(q) = -q**2 + 5*q + 38. Let r be w(9). Solve 0 = 2*v - 3*j, -j = -r*v + 3*j for v.
0
Let k = -2 - -4. Suppose -6*r + k*r = m + 1, 4*m + 4 = -3*r. Suppose 3*a + r - 6 = 0. Solve s = -2*s + a*t + 7, 9 = s + t for s.
5
Let q = 10 - 6. Solve 3*k = 3*j, -k + q = -4*