 = 2*k + 5*n + 6, -3*k - z = -4*n - 18 for k.
2
Let h be 0*4/32*4. Suppose 2*u + h = 6. Let b(t) = -t - 6. Let d be b(-8). Solve -d*g + 2*s = 0, -2*s = u*g - 6*s + 2 for g.
2
Let x = -54 + 229. Suppose 8 = 177*b - x*b. Solve 5*v - 10 = -4*n, -2*n - v = -b*v - 16 for n.
5
Suppose 0 = 3*j - 18 - 0. Let n = 8 - j. Suppose -h = 5*d - 45, 3*h - 2*d = 2*d + 40. Solve h = 4*k + 2*v, -4*k + 3*v = -n*k + 6 for k.
3
Let c = -145 - -148. Solve 3*p - c*s + 6 = 0, -4*p + 4*s - 8 = 3*s for p.
-2
Let g(i) = i**2 - 2*i + 2. Let s be ((-28)/21)/((-1)/3). Let x be g(s). Solve 5*v + x = -5*l, -2*v - 2*l = -5*v + 9 for v.
1
Let u(i) = -i + 15. Let t be u(5). Let h be 4/(-10) + 44/t. Let q be 2/(-2)*h/(-1). Solve s + 0 = -4*j + 13, -q*j + 8 = -4*s for j.
3
Let t be 7 - 18/(7 - -2). Solve 4*j = t*n - 16, -8 = -4*n - 4*j - 24 for n.
0
Let z(h) = -h**3 + 10*h + 4. Let u be z(-3). Suppose o - 4*m + 3*m + 4 = 0, 3*o = m - 2. Suppose 0 = -2*l - o + 5. Solve 0 = -l*b + 8, u - 5 = 5*i - b for i.
0
Let q = 38 + -36. Solve 0 = -3*l - 3*j - 6, 2*j = -2*l - q*j - 4 for l.
-2
Let s be (-80)/100 - (-4)/5. Solve s = -i, -i + 4 = 5*k - 16 for k.
4
Suppose -5*y - y + 216 = 0. Suppose c = -0*m - m + 4, 0 = 3*c - 5*m - y. Solve -4*s - 11 = 3*i, -3*s + 3*i = c*i + 10 for s.
-2
Let c be (-72)/(-30) - 2/5. Suppose 3*i = 21 - 12. Suppose 0 = -i*o - c*f + 23, -2*f + 30 = 2*o + 2*o. Solve -1 = -p - 2*r, -3*p = p + 5*r - o for p.
3
Let y(l) = l**2 + 3*l - 5. Let z be y(-9). Suppose 0*s + 2*s + j = 14, -j - z = -5*s. Solve 3*q - b = -0*q + s, 5*b = 2*q - 6 for q.
3
Let t(o) = -2*o**2 + 40*o + 4. Let y be t(20). Solve y*v + k = -12 + 1, -3*v - 12 = -3*k for v.
-3
Let r be 0 - (-7 + 4 + 1). Suppose -4*t + 2*t = -14. Suppose 5*p - t*p + 10 = 0. Solve -l + 6 = r*u - 7, 2*l - p*u + 10 = 0 for l.
5
Let y = -17 - -42. Solve 4*m = 0, -3*m - y = -3*a - 2*a for a.
5
Let d = -8 - -10. Let k be (d + -1)*(1 + 4). Let q(n) = -n**3 + 4*n**2 + 6*n - 1. Let b be q(k). Solve o + 3 = 4*p - 3, -b*p - 2*o = -12 for p.
2
Let k be (-1)/(-1 - 3/(-4)). Suppose -2*h - 20 = -k. Let a(o) = -4*o - 8. Let v be a(h). Solve m = -2*i - 3, -3*m + v = -7*i + 2*i for i.
-3
Let y(p) be the first derivative of -3/2*p**2 + 1/4*p**4 + 6 + p**3 + 4*p. Let i be y(2). Solve 3*s = -12, 2*n + 3*n + 2*s = -i for n.
-2
Let p = 7 + -4. Suppose p*h + 7*l = 2*l - 27, -4*h - 3*l - 36 = 0. Let g = 34 + h. Solve 5*v - 5*d = g, -5*d = -v - d + 8 for v.
4
Let u be (-132)/(-77) - 2/(-7). Suppose 4 = u*x - 16. Solve -x - 10 = 5*z - 2*l, 5*z = -3*l - 20 for z.
-4
Suppose -9*v + 6*v = 84. Let b = 31 + v. Solve -4*g + 20 = 5*x, -x + 4*g + 16 = b*x for x.
4
Let z = 46 - 33. Let o = 18 - z. Suppose -o*c = v - 25, 2*c - 3*v + v - 10 = 0. Solve -u - 5*f - 5 - 15 = 0, -u = -c*f - 20 for u.
0
Let b(g) = -g**2 + 13*g - 16. Let y be b(11). Suppose -13 = -y*k + k - o, -3*k - 3*o = -3. Solve 5*t - 2 = 4*d - 9, k*t + 15 = -3*d for d.
-2
Suppose 0*j - j + 3*q = 22, q = 3*j + 50. Let z = j + 20. Solve 2*o + z = -4*t - 4, -4*t + 4 = 5*o for o.
4
Let o = -72 - -79. Suppose 31 = o*q - 46. Solve 0 = -z + 2*l + q, -5*l - 11 = 3*z - 0*l for z.
3
Let y(l) = l + 19. Suppose 4*q - 185 = 5*k, 43 = q + 5*k + 3. Suppose -2*j = -7*j - q. Let f be y(j). Solve -3*g + f = 5*h, -5*h + 0*h = -3*g - 40 for g.
-5
Let m(u) = u**3 + 7*u**2 + 2*u - 19. Suppose 44 - 6 = -3*s + 4*w, -27 = 2*s - 3*w. Let y be m(s). Solve 0*t = -2*i + t - 14, y*t = 20 for i.
-5
Let t be (-1)/((-6)/(-93)*(-14)/28). Let r be (3/(-3))/(1/28). Let d = r + t. Solve -4*x - 3*b - 26 = 0, x = 6*x + d*b + 31 for x.
-5
Suppose f = -28*f + 116. Solve f*q - 4*l + 6 - 2 = 0, -l - 14 = 4*q for q.
-3
Let o = 933 - 926. Solve y + 14 = 5*d, -5*y - 3*d = -o - 7 for y.
1
Suppose -2*s = 50 - 74. Solve 4*g = -12, 3 = -4*k - g + s for k.
3
Let q be (-29)/(-6) + 0 + (-73)/(-438). Solve 5*m + 4*u - 9*u = -20, -5*u = q*m for m.
-2
Suppose 2*t - 2 = -3*o, -4*t + 3*o - 2*o = -18. Solve 0 = -t*d - 3*i - 0*i - 3, -i = -3*d + 1 for d.
0
Let q(h) = -3*h**2 - 5 - h**3 - 4*h**2 - 4*h + 4 + 7. Let z be q(-4). Let i = z + 29. Solve 4*b + 1 = 5*s + 2, -5*b + 29 = i*s for s.
3
Let d(j) = -j**3 + 11*j**2 - 6*j + 68. Let r be d(11). Solve 5 = -c + 3*t, r*c = -0*c + 4*t - 8 for c.
-2
Suppose -c = -0*c. Suppose c*n - 5 = -n. Solve -5*u + 4*l - 37 = 0, -3*u - n*l - 3 = -l for u.
-5
Suppose 0 = -5*s + 6*s - 2. Suppose -15 = -s*m + 5. Suppose 0 = v - 18 + m. Solve t + t - 3*i + 20 = 0, 0 = -5*t - 3*i - v for t.
-4
Let m = 2945 - 2940. Suppose -2*y + 1 = -9. Solve 27 = -y*b + 4*k, 24 = b - m*b + 4*k for b.
-3
Let c(j) = -8*j - 52. Let f be c(-10). Solve 2*y - 9 = w, 5*y - 5*w = 7 + f for y.
2
Let q(c) = 4*c**2 - c. Let g be q(1). Let p(h) = -10*h + 5*h**2 + 1 - h**2 + 3 - 3*h**2. Let a be p(10). Solve -4*k - a*o = -g*o - 6, -5*k + 15 = 5*o for k.
1
Let p = -65 - -69. Solve -m - 3*v = -20, p*v - v = m + 10 for m.
5
Let w = -239 + 168. Let x = -51 - w. Solve -4*y + 4*l + x = 0, 3*y - 5 = -y - l for y.
2
Suppose 3 = 3*v - 3. Suppose -6*d + 17 = 5. Suppose -8*z + d*z = -30. Solve -4*l - 2*y = 8, v*y = -3*l + 1 - z for l.
-4
Let z(v) = -2*v + 18. Let k be z(15). Let m = k - -20. Solve m = 2*d + 2*r, 5*d - 3*r - 29 = r for d.
5
Suppose 5*r + 0*u - 130 = 5*u, 4*u = -4*r + 72. Let p = -20 + r. Solve -p*m + 7 = -w - 2, 5*m - 18 = w for m.
3
Let g be 6/(-10) - 6/(-10). Let r be 2/(-6)*(-20 - -11). Suppose -r*u = w - 13, 0 = 5*u - 10*w + 5*w - 15. Solve g*b + 5*b - 5*v = 0, -u = 2*v for b.
-2
Let y = -272 - -381. Let r = -104 + y. Solve 2*g - 3*i - 5 = -6*i, 0 = -g - r*i - 1 for g.
4
Suppose 6 = -3*h - 0, u - h = 15. Let n = u + -11. Let r = -2 + n. Solve r = -2*p, 2*j + 6 = p - 4 for j.
-5
Let c(t) = -t**2 - 15*t - 44. Let m be c(-9). Let y(v) = 2*v**2 - 19*v - 5. Let n be y(m). Solve 2*s + n*a = -17, 5*s - 4 = -3*a + 1 for s.
4
Let q(k) = -k**3 - 7*k**2 + 5*k - 16. Let f = -25 - -17. Let d be q(f). Let c be (-51)/(-68) - (-146)/d. Solve -5*u - c = -2*w - 4, -2*u + 4*w + 10 = 0 for u.
-5
Suppose 0 = -2*r - 4*u + 20, u = -1 - 4. Solve 23 = -5*t + v, -2*t + 7*v - r = 3*v for t.
-4
Suppose -m = -55*p + 59*p - 32, -2*m - 1 = -5*p. Solve 0 = 4*v - 16, -u - 3*v + v = -m for u.
4
Suppose 0 = -2*a, k - 5*a - 10 = -4*a. Let u be 5/(k/8) - (2 - -1). Solve -m + u = 3*d - 5*m, d - 2*m = 1 for d.
-1
Suppose -2*m + 21 = -5*m. Let q(v) = -v**2 - 3*v + 4. Let l be q(-6). Let y = m - l. Solve -3*j - 5*n = -y*j + 18, -n + 6 = 4*j for j.
2
Let h = -533 + 305. Let o be 6/(-21) - h/14. Suppose 5*u - o = 9. Solve -10 = -u*s + p, 5*p = -s - 0*p + 28 for s.
3
Let r(w) = w**3 + 23*w**2 + 2*w + 50. Let k be r(-23). Solve -4*o - k*a = -16, 3*o + 2*o + 2*a = 11 for o.
1
Let n be 5 - (12/4 - (21 + -21)). Solve 0 = -n*m - c, -m - 2*c = -6*m + 18 for m.
2
Let a(v) = 3*v + 3*v**2 + v - 2*v**2 + 3. Let u be a(-3). Suppose 13 = -4*j + 25. Solve u = -2*s - s - j*l - 15, -2*s + 15 = -3*l for s.
0
Suppose -16*k + 81 = -13*k. Solve -4*i + i = -3*u - k, 0 = -2*i + 3*u + 23 for i.
4
Let c = 4 + 1. Suppose 7*n - c*h + 12 = 3*n, 0 = -5*h + 20. Solve 0 = -j + 2*f - f - 1, -2 = -4*j - n*f for j.
0
Suppose -4*h + 18 = 6. Let d(m) = -m - 1 + 4 + 4 - h. Let s be d(0). Solve 18 = -3*x + 4*x + s*u, -2*u + 4 = -2*x for x.
2
Suppose 3*m - 220 + 199 = 0. Suppose -m*b + 16 = b. Solve 3*o - b*o = 5*c - 5, 3*o + 5 = 5*c for c.
1
Let z(l) = l**2 + 26*l + 69. Let y be z(-23). Solve y = -5*x + 5*r + 5, 2*x - 9 - 5 = -2*r for x.
4
Let n be (58/87)/((-26)/(-6) + -4). Solve -5*i + 20 = 3*w, -2*w - 8 = w - n*i for w.
0
Let r(p) = -p**2 + 20*p - 95. Let g be r(11). Solve 0 = -0*q - 3*q, -4*f = g*q + 20 for f.
-5
Suppose 4*i - 28 - 36 = 0. Suppose -4*f - 20 = 0, -i - 21 = -2*u + f. Solve 2*a - a - 7 = 4*o, 0 = -3*o + 5*a + u for o.
-3
Suppose 2*f + 2 = 0, -4*f + 5*f = -2*m + 3. Solve -h = -a, m*a + a + 4 = 5*h for a.
2
Let k(m) = 2*m + 101. Let g be k(-48). Solve -g*b + 3*h - 2 = -17, 4*h + 20 = 4*b for b.
0
Let g(u) = -u**3 - 4*u**2 - 2*u - 4. Let d be g(-5). Let v = -27 + d. Solve -2*m + m + v = 2*y, -m - 5*y + 4 = 0 for m.
4
Let s = -27 - -31. Suppose k = 3*c - s, 4*c = 2*k - 4*k + 22. Solve 4*i = 3*m + 11, k + 7 = 3*i - m for i.
5
Suppose 0 = 9*x - 16*x + 91. Solve -5*f + 4 = -2*l, -l + x = -0*f + 5*f for f.
2
Let j(q) = -3*q**2 + 7*q - 4. Let i be j(1). Solve 25 = 5*x, i = 3*r - 2*x - x for r.
5
Suppose 21*p - 2