b - 5*n + 21, 5*n - p = 0 for b.
2
Let y(r) = 25*r**3 - 2*r**2 + 2*r - 1. Let o be y(1). Suppose 5*h + 9 - o = 0. Solve 0 = h*i - t - 7, -i + 0 - 3 = 5*t for i.
2
Let d(s) = -7*s - 3 + s**2 + 6 - 1. Let o be d(7). Let t be (-36)/(-6) - (1 - 0). Solve 3*x - c = 15, -o*x - 4*c - t = -1 for x.
4
Suppose -5 = -u, 4*h + 2*u - 8 = 6*h. Suppose 0 = t - 2 - h. Solve -21 = -3*b - t*n, -24 = -4*b - n - 8 for b.
3
Let p = -2 - -2. Let b = p - -3. Let x(r) = r - 2. Let n be x(6). Solve -n*h - b*f = -4 + 6, 0 = 4*f + 8 for h.
1
Let r be ((-22)/33)/((-2)/12). Solve 2*n - 5*m - 1 = r*n, -n - 4*m = 2 for n.
2
Suppose 0 = -0*s + 3*s + 18. Let d = s - -6. Solve k = -2*j + 4*k - 5, d = 3*j - 5*k + 8 for j.
-1
Suppose 0 = -2*i + 1 - 3, 2*i = -2*d + 4. Let s = -1 + d. Solve 5*g - 8*p = -3*p - 5, 2*g + s*p + 10 = 0 for g.
-3
Let t(i) = -19*i**2. Let f be t(-1). Let n = 18 - f. Suppose 3*r + 5*j = n + 3, 0 = -2*r + j + 31. Solve 0 = -b - 5*x + 16, -6*x + r = -x for b.
1
Let x be (-2)/(-9) + (-112)/18. Let p = -4 - x. Solve -p*f + 5*v = -16, -5*v = -3*f - 3*v + 13 for f.
3
Let b = 0 + -3. Let n = 5 + b. Let s = 0 + n. Solve 2*o = -4*v - 16, 2*o + s*o + 3*v + 12 = 0 for o.
0
Suppose 5*b + 3 = -n, -n - n - 6 = -3*b. Solve b = 2*h - 3*o - 1, -h + 2*o = 2*h + 6 for h.
-4
Let u(p) be the first derivative of -p**3/3 - 9*p**2/2 - 7*p - 5. Let y be u(-6). Solve -4 = v, -2*q + 5*v + y = -5 for q.
-2
Suppose 0 = -3*p + 7 + 5. Let l(u) = -u**2 + 6*u - 2. Let m be l(6). Let h = p + m. Solve h*c = 4*a - 22, 4*a + 8 = 3*a - 4*c for a.
4
Suppose -2*i + 0*i = 0. Suppose r + 2*y + 14 = 3*r, y + 3 = i. Suppose -3*z - 9 = -3*x, 7*z = 3*z - r. Solve 5*d + 2*n + x = 14, -1 = -n for d.
2
Suppose 4*x = 4*n - 24, 3*x + 9 = -0*x. Solve 20 = 4*q, 3*i + 2*i + n*q + 5 = 0 for i.
-4
Suppose -6*p - 2*p + 8 = 0. Solve -4*y + 4 = -y - o, 2*y = -o + p for y.
1
Let m = 35 - 23. Let t be 1*-2 + (m - 6). Solve -3*r - t*k + 15 = 0, 2 = 2*k - 4 for r.
1
Let d be 54/8*(-8)/(-3). Suppose 0 = -3*j - 7*s + 3*s + d, -j + 5 = s. Let i be 3 + 2/(4/j). Solve i*y = 6*q - q + 36, -3*q = -4*y + 28 for y.
4
Suppose a = 5*a - 16. Suppose 0*v - 5*v + 4*j = -6, 5*j + 20 = 0. Let m = v + 6. Solve s = -m, o - a*s = -2*o + 25 for o.
3
Let z(v) = 24*v**3 + 1. Let n be z(1). Suppose p + 4*g = g + n, 2*p + 4*g - 44 = 0. Solve d + 3*u - 8*u = -p, -5*d + 4 = 3*u for d.
-1
Suppose 0 = a + 5*a - 30. Solve 11 = -j + g - 5*g, a*j + 25 = -5*g for j.
-3
Let a be 0 + (0/2)/1. Suppose 0 = v + 2, 5*m - 67 = -v - 4. Solve 0 = h - 3*x - 0*x + m, a = -h + 5*x - 19 for h.
-4
Suppose -p - 6 = -4*j, -2*p + 5 = 3*j - 5. Suppose 2*i + 156 = 6*l - p*l, -4*l + 168 = 4*i. Solve -5*s - 5*r - l = 0, -3*r = -0*r + 15 for s.
-3
Suppose -2 - 2 = -l. Suppose -4*x + 12 = -3*c + l, -4*x + 5*c = 0. Solve 4*d = -0*d - 5*v + 5, 2*d = -5*v - x for d.
5
Suppose -4*v - 18 = -5*k - 5*v, 5*k - 3*v - 6 = 0. Let l = -3 + 6. Let w(u) = -u - 10. Let f be w(-12). Solve -d = -f - l, -k*j + 10 = -d for j.
5
Let o = -7 - -7. Suppose -5*u + o = -10. Suppose 5*p = q + 3*p - 12, -3*q + p = -11. Solve c - q*c + u = 2*r, 0 = 5*c - 2*r - 10 for c.
2
Let b(l) = l**3 + 5*l**2 + 2*l. Let i be b(-4). Let w be 54/4 + (-4)/i. Solve 0 = 7*y - 2*y + 4*d + w, -11 = 4*y + 3*d for y.
-5
Suppose 0*c - c = 2*b - 21, 0 = c + b - 22. Solve 4*z + d + 2*d - c = 0, 5*z - 30 = -5*d for z.
5
Let v(z) = -6*z + 4. Let w be v(0). Solve -2*q - 4*t + 5*t = 7, -4*t = -w*q - 12 for q.
-4
Let j be 2 + -1 - (-1 + -1). Suppose 0 = -3*d - 2*s + 2, 5*d + 5*s - 4 = 1. Suppose d = j*a - 12. Solve a*w = 26 - 10, c + 15 = 4*w for c.
1
Let a = 5 + -7. Let j be (2/4)/(2/(-4)). Let m be (0/j)/(-1 - a). Solve 0 = 2*l - 2*c - 8, m*l = l + 4*c + 6 for l.
2
Suppose -4*k - 1 + 13 = 0. Suppose -15 = 2*g - 2*l - 3*l, k = 3*g + l. Solve -5*t = 3*v + 11, -v - 3 + 1 = g for t.
-1
Let y be 2 - 13/5 - (-36)/10. Solve -2*k - 9*r - 6 = -4*r, 3*k = -y*r - 9 for k.
-3
Let u = -2 - -4. Let y be (2 + u)*(4 + 1). Suppose -y = 4*z - 9*z. Solve z*l + 4 = 3*v, -5*l - 3 = 2*v + 25 for l.
-4
Let n(i) = i**2 - 8*i - 5. Let z be n(9). Solve -4*r = -z*q + 32, -10 = -5*q - 3*r + 2*r for q.
3
Let x be (-14)/63 + (-218)/(-9). Suppose 7*i = 5*j + 3*i - x, 17 = 4*j - i. Solve -4*s + 5*u = 35, s = j*s + 3*u + 6 for s.
-5
Suppose 0 = -0*t - t + 5. Suppose -t*h = n + 16, -3*n + 1 = 4*h + 5. Let u(p) = -p**2 - 6*p - 5. Let v be u(h). Solve 5*o = -4*l + o - 28, v = 3*l - 5*o for l.
-4
Suppose -22 = -4*y - 0*y + 2*n, 2*n = -5*y + 50. Solve g = -2*g + m + 16, -4*g - 2*m = -y for g.
4
Suppose -2*n + 23 = -5*w - 115, 4*w = -4*n - 116. Let l = 61 + w. Suppose 0 = -5*c + 27 + l. Solve -2*m = -5*g - 6*m - 36, 3*m = -c for g.
-4
Let c = 21 + -7. Solve 5*f = -h + 12, f = 3*f + 5*h - c for f.
2
Suppose 4*h - 34 = 2*h - z, 0 = -z + 2. Let x = h + -12. Solve -x*r - 1 = -q, -4*r - 5*q = -q - 4 for r.
0
Suppose 3*a = -3*b + 9, -3 - 2 = b + 5*a. Let r = 5 - -25. Solve -b*u - r = 5*x, -3*x = -2*u + u + 10 for x.
-4
Let q(o) = -o**3 + 4*o**2 + 4*o - 2. Let m be q(5). Let d = m - -11. Suppose -i = -3*x + 12, -5 = -d*x - 2*i + 11. Solve -x*t = 3*k - 1, -k = -t - 1 + 10 for k.
-5
Let q = 146 + -142. Let n(h) = -h + 4. Let k be n(0). Solve -q*l = l - 2*j - 16, -k*l = -4*j - 20 for l.
2
Let v be -4 - ((-3 - -2) + 1). Let d be (v/5)/((-5)/25). Solve -11 - 13 = -2*r + d*u, -2*u - 18 = -4*r for r.
2
Suppose h = -y + 8, 0 = -5*y - h + 5 + 19. Solve -4 = k + k, y*b + 22 = -3*k for b.
-4
Let u = 53 + -53. Solve 3*i = -u*i + 5*b + 14, -4*i + 4*b + 16 = 0 for i.
3
Suppose 0 = -o + 2*x + 13, -3*x + 6 = -4*o + 33. Solve -2*r = -r - o*a - 8, 0 = r + a for r.
2
Suppose 0 = -3*a + 7*a - 20. Solve -a*m = 3*p - 20, 19 = 3*p + 8*m - 4*m for p.
5
Let l be (1 + -1 + 2)*-2. Let f be (-2)/(-3) - l/3. Suppose -3*v + f*d = -16, -12 = -4*v - d + 13. Solve -2*h = -3*m - 11, -m + v*m + 15 = 5*h for h.
-2
Suppose -6*g - 4*t = -g - 15, -3*g + t + 9 = 0. Solve -11 = -m - 2*y, 12 = g*m + y - 2*y for m.
5
Suppose -11*l = -6*l - 35. Solve -4*p = -j - 18, -5*p + l + 7 = 3*j for p.
4
Suppose 0 = 5*c + 3*j - 36, -5*c - j = -c - 33. Suppose 0 = -0*k - 3*k + c. Suppose -3*g + 2*g + k = 0. Solve -n - 4 = -2*b - g*b, 4*n + 1 = 5*b for b.
1
Suppose -10*c = -8*c - 28. Solve 2*q + c = 2*y, -4*q + y - 9 = 13 for q.
-5
Let k(w) = w**3 - 5*w**2 - 11*w + 5. Let l = -11 - -18. Let s be k(l). Solve 2*y = 5*v - v - s, 4*v - 31 = 3*y for y.
-5
Let c = -10 - -19. Let d be 7 - c - (-23 - -1). Let z be (1/(2/d))/2. Solve -t + 1 = x, -z*t + 3*x - x + 5 = 0 for t.
1
Suppose 0 = -2*f + 5*i + 4, -3*i = f - 4*i - 2. Solve 4*j - 4*v = 0, 15 = f*j - 0*j + v for j.
5
Suppose -4 + 0 = -2*f. Suppose -4 = -3*w + f. Suppose 3*d - h + 4 = 0, -4*d - 6 = -h - 2. Solve 4*x - 22 = -u, -x + 1 + d = -w*u for x.
5
Let h(m) = -2*m - 4. Let u be h(-4). Let b = 4 - u. Solve b*n - 4*f + 16 = 3*n, n = 5*f - 1 for n.
4
Let l be (3/6)/(2/16). Suppose l*m + 4*c = 32, -1 = 2*m - 5*c + 18. Solve 5*w = m*p - 20, -p = 4*w + 8 + 8 for w.
-4
Suppose -2*y + 0*y - 14 = 2*q, 7 = -3*q + 4*y. Let u be ((-6)/q)/((-6)/(-15)). Solve -u*b - 5*m = -m + 29, 4*m + 26 = -2*b for b.
-3
Let y(k) = -k + 6. Let m be y(6). Solve 0 = 4*v - i + 18 + 2, 3*v - 3*i + 24 = m for v.
-4
Suppose 2*p = -4*p + 24. Solve 0 - 4 = 5*x + p*o, 3*x + 2*o = -4 for x.
-4
Let i be (-6)/9*27/(-6). Let o be 1/(((-9)/(-48))/i). Solve -3*n = 4*b + 4 + 7, -b + 3*n = -o for b.
1
Suppose 0 = -7*r + 2*r. Let k(u) = 2*u + 14. Let s be k(0). Suppose -12*i = -s*i + 10. Solve i*d - 4 = -n - 26, 2*d + 10 = r for n.
3
Let w = 134 - 62. Suppose -2*g = 5*b - w, 0 = -3*b + 2*g + 18 + 38. Suppose -i - b = -5*i. Solve -3*a = -i*n + 4, -a = 3*a - 3*n + 3 for a.
0
Let u be 2/((-24)/(-11) + -2). Suppose 0 = -y - 5*w - 5, y + 3*y = -3*w - 3. Suppose y*c = 4*c. Solve 3*b + c = 5*k - u, -b = -3 for k.
4
Let f = 0 + 4. Let g(y) = -2*y - 3*y**2 + 4*y**2 - 3 + f*y. Let l be g(2). Solve 9 = 5*p + 3*v - 5, -4*p - 11 = -l*v for p.
1
Let c be (-2)/6 - (-25)/(-15). Let j be (c + 8)*(-5)/(-6). Solve m - 2*n = -6, -5*m - j*n + 7 - 22 = 0 for m.
-4
Suppose 20 = -0*j + 4*j. Solve 0 = 4*r - j*p + 12, -2 = -r - p - 5 for r.
-3
Let m(u) = -u**2 + 2*u - 1. Let o be m(2). Let i be o*(4 - 1/1). Let b(v) = -v**2 - 3*v + 3. Let s be b(i). Solve 0 = -2*l + 4*n - 6, l + n = 3*l + s for l.
-1
Suppose -8 = -4*w + 5*r - 0, -4 = -2*w + 5*