 + r*y - 9 - 6, -5 = -4*u - y. Let z be (-31)/44*-4 + 2/11. Solve -i + 10 = -5*h - 2, u = h + z for i.
-3
Let y(v) = -v**3 - v**2 + 3*v - 6. Let p be y(-3). Solve i + p*f = -1, 16 = 2*i - 0*i - 3*f for i.
5
Let l(w) = 7*w - 1. Let b be l(5). Suppose -4*a = -4*i - 6 - 2, -5*a - 3*i = -b. Solve -c - a*s = -2*c + 12, -3*s - 12 = c for c.
-3
Let o = 31 + -22. Suppose 5*d = o + 21. Solve -3*m = c + 10, 4*m + d + 5 = c for c.
-1
Suppose -f + 14 = f. Suppose -4*l + f = -1. Solve -4*h + 15 = -k - 2*k, -h = -l*k - 10 for h.
0
Suppose -2*i + p = -8, -i - 3 = p - 1. Solve 3*j + 18 = 4*m, 4*j + i*m - 3*m + 11 = 0 for j.
-2
Let g = 17 - 13. Suppose -5*q = 5*a - 12 + 2, -3*a = 5*q - 14. Solve 6 = -2*y - q*j, 3*j = 2*y + g - 5 for y.
-1
Let a(b) = -b**3 + 8*b**2 - 6*b. Let s be a(7). Solve -w - 3*c = -10, 3*w + 5*c = s*w - 6 for w.
4
Let y = 2 - 2. Suppose 2*n - n = y. Solve 3*v = n, -5*v - 3 = -2*z - 9 for z.
-3
Let f = 5 - 1. Let n = 5 - f. Let j(o) = o**3 + 3*o**2 + 2*o + 2. Let b be j(-2). Solve 5*l = -5*m + 10, n = b*m + 4*l - l for m.
5
Suppose -13*z + 9*z = 0. Suppose -6 = -3*q - z*q. Suppose 2*t - 4*t = -3*x + 10, 3*t - 6 = x. Solve -w = -q*f - x, -w + f - 1 = -3 for w.
-2
Let m be (-10)/(-3) - (-6)/9. Suppose 0*c + 3*c - 26 = -m*k, -3*k + 21 = 3*c. Solve -4 = -j + 3*w, j + 5*w = -2 - c for j.
1
Suppose -2*u + 4 = -2*i, 4*u - 19 = -i + 4. Let n(k) = k - 1. Let p be n(u). Let h be 2/(-3) + (-24)/(-9). Solve 2*c - p = 0, -3*s + 1 = h*c - 3*c for s.
1
Let f be (-15)/(-20)*6/(-9)*0. Solve 5*x + f*s = -4*s + 3, 2*s + 21 = 5*x for x.
3
Let s(w) = -w**2 - w + 31. Let g be s(0). Let t = -4 + 6. Let x = 2 + t. Solve 3 = -2*a - 5, 5*o = x*a + g for o.
3
Let t = -12 - -17. Solve 4*b + 21 = t*o, 3*b - 2*o + 6 = 2*b for b.
-4
Let x be ((-12)/9*-6)/2. Solve -x*t + 4 = 4*h, -3*h + 5*t + 13 = -2*h for h.
3
Let u(w) be the first derivative of -w**2 - 2*w + 3. Let s be u(-3). Solve 4*l = -4*z + 20, -5*l + 9 = s*z - 12 for l.
1
Suppose 0 = 4*v + 13 - 33. Solve -5*r - 11 - 14 = -v*q, -5*r - q = -5 for r.
0
Suppose 14*l = -l + 60. Solve l*s = -a - 8, -2*a - 2 = 2*s - 4 for s.
-3
Let q = -5 - -8. Suppose 0 = -3*c + 6*c. Solve -5*k + a + 25 = c, -q*k = k - 5*a - 20 for k.
5
Suppose 0 = 3*l - 0 + 12. Let v = 0 - l. Let b = v - 0. Solve 5*i = 4*k + 36, b*k - 4 = -4*i - i for k.
-4
Let q be -2 + 6 + 1 - -1. Suppose 2*m + j = -1, 2*m + 4*j + 4 = -0*m. Suppose -a + q*a = m. Solve d = -a*r - 3*r - 2, r - 6 = 3*d for r.
0
Let v(y) = -3*y**3 - 1. Let w be 0 - (2 - (3 - 0)). Let x be v(w). Let j(u) = u**2 + 3*u - 2. Let p be j(x). Solve -2*z = a - 6, 33 = 5*z - 4*a + p*a for z.
5
Suppose 2*v = 4*s - s - 7, -4*s - 5*v = -17. Let t = -2 - -2. Suppose -i - 2*i + 10 = -4*l, -2 = 2*l. Solve -2*u + s*u - i*f - 1 = t, -5*u + 5 = f for u.
1
Suppose -27 = -2*s - 7. Solve 3*o + j + 4 = 5*o, -5*o - 2*j = -s for o.
2
Let y be (-94)/6 + (-2)/(-3). Let d = 1 + -5. Let m = d - y. Solve 0 = 4*l + 20, -2*t + m = -2*l - 9 for t.
5
Suppose -2 = 3*h - 4*h. Suppose 3*m - h*m = 1. Solve 0*y + 2 = y, -m = 3*f + 4*y for f.
-3
Suppose 66 = -2*p + 70. Solve 3*m - 12 = 0, -p*m - 12 = -5*l - 45 for l.
-5
Suppose i + 2*r - 10 = 0, -6*i = -i - 5*r + 25. Let h(n) = -n**3 - n**2 - 5. Let t be h(i). Let w = -5 - t. Solve w = 2*l + b + 4*b - 20, -l + 3*b = 12 for l.
0
Suppose -t + 5*i = 3*i, -5*t + 4*i + 18 = 0. Solve 5*v - t = 2*z + 6, 4*z = 4*v - 12 for z.
-1
Let p(s) = s. Let d be p(1). Let v be (d + (-4)/8)*6. Solve 2*j - 2 = -2*f, -3*j + 12 = -v*f - 9 for j.
4
Let d be 8 + (-3 + 2)/1. Let a = -31 + 34. Solve 5*m = 4*k - 4 + 13, a*k - m = d for k.
4
Suppose 60 = 5*v - 0*v. Solve 5*w = -5*a - v - 18, 2*a + 5*w + 21 = 0 for a.
-3
Let v = 64 - 46. Solve -u - 3*j = -0*u + 8, 3*u = -3*j - v for u.
-5
Let r be (-70)/(-3)*36/8. Suppose q - r = -4*q. Let v = 11 - 7. Solve 0 = -s + v*b - q, -b - 4*b = 4*s for s.
-5
Let o be ((-4)/6)/(24/(-180)). Solve -2*k = -o*y + 1, -6*k = -3*y - k - 7 for y.
1
Let z(k) = k**2 - 8*k - 6. Let i = -10 + 19. Let l be z(i). Suppose 3*u + 4*p = 25, -p - 5 = u - l*p. Solve 2*y + y = -4*m + 12, -u = -m + 2*y for m.
3
Let u be 27/3 + 3 + -1. Solve -8 = 4*c - 4*x, -4*x = -5*c + 2 - u for c.
-1
Suppose -2*w + 3*w = 2. Suppose 0 = -4*i - 3*h + 31, -w*i - 3*i + 2*h = -10. Solve 3*j + 5*y = 0, -2*y + i*y = -4*j for j.
0
Suppose 25 = -5*y + 4*y - 3*u, 2*y = -4*u - 40. Let c = 4 + y. Let a = c + 11. Solve -a*g - 4*t - 25 = -2*t, 2*t = -g - 5 for g.
-5
Suppose p = 2 + 10. Suppose -4*r - 3*t - p = 0, 4*r + 5*t + 20 = -r. Let s(d) = d + 7. Let i be s(-7). Solve -b + 4*u - 8 = r, i = 2*b - u - 0*u + 2 for b.
0
Let z = 8 - 1. Solve 0 = 2*i + 5*p - 20, 0 = 4*i - 7*i + 4*p + z for i.
5
Let p = 7 - 3. Let w be ((2 - p)/(-2))/(-1). Let f be 17 - (-3)/w - -2. Solve -5*a - 26 = 5*l - 6, 4*l - 2*a = -f for l.
-4
Let r = 33 - 29. Solve 0 = c - r*v + 1, -c + 0*v - v = 1 for c.
-1
Let n(k) = -k - 1. Let l be n(-3). Suppose -l*y = y - 27. Suppose p + 5*x + y = 31, 0 = -2*p - 5*x + 24. Solve -v + 2 = -j - p*v, -3*j + 6 = -3*v for j.
0
Suppose -j - 2*j + 3 = 3*o, 4*o + 11 = -j. Solve 5*t = j*x + 15, 0 = -x - 2*t - 2*t + 7 for x.
-1
Suppose 0 = -5*g + 5*v + 20, 15 = -5*v - 5. Solve 2*y + 3*k + 4 = -g, 3*y + 4*k = -4 for y.
4
Let h = -1 + 5. Suppose -1 = -m + 2. Let v = -8 + 15. Solve 0 = -t + 4*f + 1, -v*f + h = -m*f for t.
5
Let s be 21/28 - (-9)/(-12). Solve 4 = w + 1, s = 3*b - 3*w for b.
3
Let n(t) = 2*t - 4. Let q be n(3). Let m be (6/(-10))/(q/(-10)). Solve d = -2*i - d, -m*i - 2*d + 4 = 0 for i.
4
Suppose j = -1 + 4. Suppose 3*v = j, 3*s - 42 = 3*v - 9. Suppose -f = -s - 6. Solve u + 4*h - 13 = 0, f + 11 = -3*u + 5*h for u.
-3
Suppose 0 = -4*u + 7*u - 12. Solve u*h - 2*h = 5*p + 27, 23 = -5*p - 2*h for p.
-5
Suppose -2*m - 5 + 17 = 0. Solve m*w = 2*w + v + 2, -4*w - 3*v = -10 for w.
1
Suppose 3*w + 8 = 7*w. Solve -k - 10 = -2*k - w*j, -3*k + 21 = 3*j for k.
4
Suppose 3*k - 5*k - 5*n - 1 = 0, -3*n = -k + 5. Solve 0 = -2*b - u - 6, -6 = -k*b + 4*u - 2*u for b.
-1
Suppose -3*i - 2*i = -20. Let g be 0 + i + -2 - 0. Suppose r - 4*c - 25 = 0, -4*r + g*c = 7*c + 5. Solve 3 = -4*j - 5*v + 2, 0 = 4*j - r*v - 9 for j.
1
Let u be (-2 - 4) + (-9)/3. Let y = 13 + u. Solve 2*m + 3*m + y*l = 0, 0 = -m - 4*l for m.
0
Suppose -2*j = -29 + 25. Solve j*o - 5*o + 2*u + 1 = 0, -3*o - 4*u - 29 = 0 for o.
-3
Let q be (2/(-1 + -5))/(4/(-36)). Solve 0 = 3*r - q*p - 15, -r - 2*p - 7 = 3*p for r.
3
Let f be 4*(-5)/(-3)*3. Let r = 17 - 22. Let b be (2/r)/(11/(-55)). Solve b*t - 6*t + 5*n = f, 2*t + 4 = n for t.
0
Let r = 82 + -77. Solve -5*g = -5*a - 10, 0 = 3*a + 2*g + r - 14 for a.
1
Let v be (-71)/(-3) - 2/3. Let y = 7 + -4. Let z = v - y. Solve -3*h - 3 = 0, -z = -3*j + 4*h + h for j.
5
Let l = -4 + 4. Suppose 0 = 3*r - l*r - 12. Suppose -r*c + 1 + 15 = 0. Solve -2*p + 2 = -2*f, -c*f + 0*f = 2*p + 28 for p.
-4
Let o be (-1)/(-2)*-2 - 1. Let t = 4 + o. Solve 4*k - 2 = -2*i, 0 = 3*i - 7 - t for k.
-1
Suppose 27 = 5*n - 3*a, 3*n + 3*a + 2*a + 11 = 0. Solve 4*p - 15 = -n*c, -3*p - 4*c + 29 = 9 for p.
0
Let o be (-4*1 + 2)/(-1). Let j be (-1 - 0)/((-4)/4). Let s be -1 + ((-12)/(-3))/j. Solve -5*c = o*t + s, 6 = -t + 4*c - 2*c for t.
-4
Suppose 0*r + 2*c = 4*r, 0 = 5*r + 5*c - 30. Let j be 0*r/(-4) + 4. Suppose 0 = j*v - v. Solve 0 = 4*n - 12, -2*s - 2*s + 3*n - 5 = v for s.
1
Let j be ((-21)/2 + 3)/((-2)/12). Solve 2*i - 3*q = i + 11, -5*q = 5*i + j for i.
-4
Suppose -5*f - 59 = -429. Let d be 4/(-14) - f/(-14). Let z be -1 + 2 - (0 - 0). Solve -t + 11 = -4*a, 2*t + 3 + z = -d*a for t.
3
Let z = 60 + -30. Let d(h) = h**2 + 5*h - 1. Let x be d(-6). Suppose 2*l = 6*l - 20. Solve l*n - z = 4*q, -4*n + 8 = x*q + 25 for n.
2
Suppose 2*o - 41 = -3*x, -43 = -5*x - 5*o + 32. Solve d + 13 = -d - 5*g, 2*d - x = 3*g for d.
1
Suppose -4*z = -v - 2*v - 32, 0 = 2*z - 5*v - 2. Solve y + 4*y + 4*n - 17 = 0, 2*n - z = -5*y for y.
1
Suppose -2*y - 2 = 0, -5*y = -0*i + 4*i - 3. Let v be (0 - 0)/(i + -5). Solve 0 = -0*z - 3*z + 2*q - 20, 2*z - 2*q + 16 = v for z.
-4
Suppose -3*r = -r - 6. Suppose -4 = w, 5*k + w + 3*w + 1 = 0. Suppose -j - 10 = -k*j. Solve 9 = 3*c, s = j*s - r*c + 29 for s.
-5
Let j be (-2)/8 + (-52)/(-16). Let a(l) = 3*l**2 - 9 + 6 - l + l**j + 2. Let i be a(-2). Solve -m - 9 = i*v, m + 6 = -4*v - 2 for v.
-1
Suppose -h - 3*q - 8 = h, -