s - 5*x + 23 = 0 for s.
4
Let y be (-90)/(-25) + (-4)/(-10). Let w be 4*6/y + 2. Solve 2*n = -w, 3*o + 0*n - 13 = n for o.
3
Let k(p) = p**3 + 18*p**2 - 17*p + 40. Let u be k(-19). Solve g - 2*v + 7 = -0*v, -u*v + 3 = -5*g for g.
1
Let b = 10 + -8. Solve 5*x + 11 = 3*o - 6, -b*o - 2*x - 10 = 0 for o.
-1
Let i(v) = -v**2 + 20. Let x be i(0). Suppose -y + 4*b = y - 32, 0 = -5*y - 5*b + x. Suppose r = -3 + y. Solve 3*s = 4*g + 25, -4*s = -2*g - 5*s - r for g.
-4
Suppose -o + 5*t + 24 = 0, 12 = -t - 2*t. Suppose o*f = 3*f. Let n be -1 + 1 + 0 + f. Solve 2*r - 4 = n, 2 = -5*l - 4*r - 0 for l.
-2
Suppose 0 = 4*r + 8 + 8. Let y be (-17)/r - 9/(-12). Let c(n) = -n + 3. Let a be c(0). Solve 3*t - 12 = a*q + 5*t, 0 = -4*q + t - y for q.
-2
Let y(o) = o**3 - 5*o**2 + 7*o - 5. Let b be y(4). Suppose 0 = -m - 0 + b. Solve -v = 3*r - m*r + 9, -v = -3*r + 6 for v.
3
Let k = -8 + 23. Let g(b) be the third derivative of -b**5/60 + 5*b**4/12 + 2*b**3/3 + 4*b**2. Let d be g(10). Solve -u + k = -0*u + 5*f, -4*f = d*u + 4 for u.
-5
Let i = -4 + 4. Suppose i = 2*v - 0*v - 12. Suppose 1 = -a + v. Solve f + 12 = 2*c - 0*c, 0 = -5*c - a*f for c.
4
Let r(y) = -y**3 + 5*y**2 + 2*y - 7. Suppose -6*a = -a. Let j be 0 - (a + 1 + -6). Let g be r(j). Solve -2*h - 11 = -g*s - 0, 30 = 4*s + 5*h for s.
5
Let v(s) = 7*s**3 - s**2 + s. Let f be v(1). Suppose -55 = 2*j + 3*j. Let p = -7 - j. Solve 8*n - p*n + f = -b, -18 = -3*b + n for b.
5
Suppose -4*n = -0*n. Let d(h) = 3*h + n + h - 1. Let v be d(1). Solve 4*w = -2*g - 8, -3*w + 4 + v = -5*g for g.
-2
Suppose y - 5 = -0, 2*u = y + 11. Solve 0 = -w + r - 4*r - u, -2 = w + r for w.
1
Suppose -5*t - r + 7 = -4, 5*t = 4*r + 31. Suppose 5*i - 3*q + 2 = 41, 5*i + 4*q = 18. Solve 0 = -3*o + i, 0*d - t*o - 14 = -5*d for d.
4
Let w = -19 + 19. Suppose w = -q + 5, -7 = -3*j + q - 3. Solve -j*o = -0*o + 3*r - 18, -28 = -3*o - 5*r for o.
1
Suppose 0 + 1 = q. Let o(c) = -c + 9. Let l be o(5). Let d(r) = r**3 + 5*r**2 - 6*r + 7. Let z be d(-6). Solve q - z = -2*f, -l*k - f = 9 for k.
-3
Let d be 0 + 0 - -5*1. Let n(k) = 5 + k + 0 + 0 + 2. Let a be n(-5). Solve -v + 2*x - a = 7, -x = -d*v for v.
1
Let d = -21 + 34. Let k(b) = -b + 15. Let v be k(d). Solve -2*h - 6 = v*w - 6*w, 0 = -4*w - 3*h - 19 for w.
-1
Let f = -24 - -45. Let v be (-60)/(-25) - (-3)/5. Suppose -4*z + m + 22 = v*m, -4*z = m - 17. Solve -z*x - 2*n = -0*n + f, -n = -5*x - 22 for x.
-5
Let d = 22 + -15. Suppose -2*s = -d*s. Solve -3*p + s*t + 3*t = -12, -5*t = 4*p + 29 for p.
-1
Let v(p) = p**2 - 5*p - 1. Let s be v(6). Suppose -s*m - 4*q + 39 = 0, q - 3 = -2*q. Solve y + 14 = -4*r, 3*y = -3*r + 4*y - m for r.
-3
Let g be 3/(-12) - (-402)/8. Suppose -m = m - g. Suppose w - 5*h + h - 26 = 0, -m = -5*w - h. Solve 0 = 5*z - r - w, 3*z - 2*r = -0*z - 2 for z.
2
Let x(n) = n**2 + 6*n + 3. Let p be x(-7). Suppose -2*r = -0*r - p. Solve 3*i + 4*m = -21, -r*m = -2*i - 0*m + 9 for i.
-3
Let x = 70 + -57. Suppose -4*h - 42 + 126 = 0. Solve 3*t = -j + x, 4*t = -2*j - t + h for j.
-2
Suppose 5*q + 20 = 5*y, -5*q + 6 = 3*y - 2*q. Suppose u + y = -0. Let k = u - -6. Solve -n - 2*n = 4*x, -k*x = 5*n + 11 for n.
-4
Let w(q) = q**2 - 13*q + 8. Let r be w(12). Suppose 5*s - 6 = -31, u - 11 = 2*s. Let k = u - r. Solve -5*g = k*z + 12 - 2, -5*z - 24 = -2*g for g.
2
Suppose 1 + 1 = x. Suppose -3*k = x*k - 10. Solve -2*w - k*r = -0*r + 6, 5*w = 4*r - 6 for w.
-2
Suppose -3*x = f - 0*x - 10, 4*f - 2*x - 12 = 0. Suppose 0 = 5*l + s - 14, -4*l + f = -3*s - 11. Solve 2*v + 5*w - 29 = 0, 0 = -5*v - 5*w + l*w + 20 for v.
2
Let c = -28 + 20. Let j be (c/(-12))/(2/12). Solve w - 3*d + 11 = -0*w, j*w - d = 0 for w.
1
Let y be (-12)/16 - (-22)/8. Let q = y + 2. Suppose 5*z - 3*w = -16 + 57, z = 4*w + 15. Solve z = 3*h - q*o, -2*o - 2*o + 13 = h for h.
5
Let a(w) = -6*w + 3*w - 2*w + 4*w. Let y be a(-6). Solve 15 = 3*z - 4*v, 5*v = -2*z - y - 7 for z.
1
Suppose 112 + 103 = 5*v. Let t = v + -13. Solve 2*u - 5 = 3*u, -4*r - t = 2*u for r.
-5
Let v be (2 - 1)*-2 - -2. Let d = v - -5. Solve 21 = -4*k + 3*w + 5, 2*k + 8 = d*w for k.
-4
Let s = 18 - 11. Suppose -4*a + 4 = -4*w, 4*w - 5*a + 0 + s = 0. Solve w*k - 21 = 4*g + g, -5*g - 19 = -3*k for k.
-2
Let r(p) = -p + 6. Let f be r(3). Solve 0*w - w + y = -f, -4*y = 0 for w.
3
Suppose -5*m = i - 41, 5*m - 26 = -3*i + 7. Solve 0 = q - 2*l + 6, 3*l + m + 0 = -3*q for q.
-4
Suppose -4*n - x = -21, 5 = n - x - 4. Suppose -2*f + n*f - 20 = 0, -4*y + f = -23. Solve 2*g - u = -4, 0 = g - 5*u - 0 - y for g.
-3
Suppose 0 = -5*j + 2*j + 3. Let g = j - 2. Let o be g/5 + (-105)/(-25). Solve 0 = 4*q + o*l - 16, 2*l - 11 = -4*q - l for q.
-1
Suppose 0 = 7*w - 6*w - 2. Solve 0*f = 4*f + w*q + 20, 0 = -q - 2 for f.
-4
Suppose -u = q + 6, 0 = 5*q + u + 3*u + 33. Let a be (q + 0)/(3 + -4). Let m = -1 - -1. Solve -3*r - 5*v - a = m, 2*v - 6 = 2*r - 2*v for r.
-3
Let j = 14 - 6. Suppose -5*o = -4*o. Solve 2*i + o*p + 2*p + j = 0, 4*p + 20 = 0 for i.
1
Suppose 0 = 3*h - 6 - 54. Suppose 0 = -2*c - 2*c + h. Let s = 8 - 6. Solve 2*x = g - 1 + 2, -s*g = -c*x for x.
-2
Let i(p) = 3*p - 4. Let j = -1 - -4. Let q be i(j). Solve -2*n = -4*w + 4 + 8, w + 6 = q*n for w.
4
Let u = 5 - 2. Suppose 0*f = -4*f - 12, -u*g = -3*f - 93. Solve -2*y + 5*o - 23 = 0, -4*y + 3*o - g = -o for y.
-4
Suppose -8 = 5*b - 28, -5*j - 2*b + 38 = 0. Solve z = 5*c + 17, 2*c = -z + j*z - 16 for z.
2
Let c = 17 + -15. Solve 5*v - 2*u = 5 - 24, 0 = c*v - u + 8 for v.
-3
Suppose 5*c - 2*s - 8 = 0, 2*c = 3*s + 16 - 4. Let u = 4 - c. Solve -4 = 2*o, u*d - 6*o = -o + 6 for d.
-1
Let i(c) = -c + 13. Let z be i(10). Solve 0 = 4*q - 3*r, -5*q - 1 = -z*r - r for q.
3
Suppose 5*l - 17 = 33. Suppose 15 = 5*o + 2*z, 4*o + 6 = 3*z + 18. Suppose -w = -o*w + 10. Solve 5*a - l = -4*v + 18, 0 = 2*v + w*a - 24 for v.
2
Suppose -3*f + 13 = 16. Let q(c) = -5*c - 1. Let h be q(f). Solve 2*r = l + 2*l + h, 2*r = -5*l + 20 for l.
2
Suppose 6 = -5*k + 8*k. Solve 7 = -5*b + 4*y - 9, 3*b - 8 = -k*y for b.
0
Let j(z) = 2*z**2 - 5*z - 3. Let c be j(-1). Solve c*o - 3*x = 10, 3 = -0*o - 5*o - 4*x for o.
1
Let g(b) = -b**3 + 6*b**2 - 6*b + 5. Let f be g(5). Suppose 6 + f = 4*y + 3*q, 2*y = 4*q + 14. Solve k - y*i + 1 = -0, 4*i + 12 = -2*k for k.
-4
Suppose 3*t - a - 6 = -4*a, -3*t + 8 = 4*a. Let s = 2 + t. Let q = 3 - 0. Solve -4*u - 11 = -q*z, -z + 3 + s = 0 for u.
1
Let c(v) = 13*v - 78. Let s be c(7). Solve h - s = 4*z + 4*h, 13 = -2*z + 5*h for z.
-4
Let j(u) = -u. Let r be j(-5). Let o = 5 - r. Solve o = -4*v - q - 1, 0 = 7*v - 3*v + 4*q - 8 for v.
-1
Suppose m = -3*m + l - 4, -2*l = 5*m - 8. Let n = 10 + -6. Solve -2*z - 10 = m, 5 = 2*x + z + n for x.
3
Let y(b) = b - 6. Let q be 6 - 0/((-2)/(-2)). Let l be y(q). Solve 5*t = -3*p + 8, -4 = -2*t - p - l for t.
4
Let n(y) = y**2 + y - 1. Let h be n(-4). Suppose -h = -2*x - 1. Solve 0 = 3*i + w + 11, -21 = x*i + 2*w - w for i.
-5
Let h be 21 + -14 + 0/(-2). Let b = h + -2. Solve 5*u = -b*x - 5, -x + 2 = 3*u + 3 for x.
-1
Suppose 0 = 2*w - 4*x - 14, 4*x + 29 = 3*w + 2*w. Let r = -105 - -110. Solve 24 - 2 = -4*k + 5*j, -r*k - w*j = 5 for k.
-3
Let a = 58 - 31. Let r = a + -14. Let h(s) = -s**2 - 5*s + 1. Let g be h(-4). Solve g*i - 27 = v, 6*i - r = 3*i - v for i.
5
Let s be -4*(-3)/(-6) - -4. Suppose f - s*f + 3 = 0. Solve h - f*v = -10, 3*v = 6*v - 12 for h.
2
Suppose 3*w - 1 = 17. Suppose 2*p + 0*f = 2*f - 6, 3*p = 2*f - w. Solve 25 = -5*h + 2*n, p*h - 2*h + 4*n - 10 = 0 for h.
-5
Let k = 44 - 44. Solve -2*i = -k*i + x + 1, 3*i + 1 = -2*x for i.
-1
Let m = -19 - -32. Let d = -391 + 405. Solve 0 = 5*o + f - d, f + 3 - m = -3*o for o.
2
Let z = 7 + -4. Suppose 5*g - 17 = z. Solve 0 = -g*y - 2*t + t - 3, t = 2*y - 3 for y.
0
Let q = 25 - 23. Suppose -2*o = 5*k - 29, k - 5*k + 22 = o. Suppose -3*p - 9 = -k*u, u + 2 - 11 = -3*p. Solve -3*x - p*t = -18, -q*x = -2*t - 0*t - 2 for x.
4
Suppose 2*h - 9 = 21. Suppose -3*x + 42 = -3*i, 5*i + 0*x + 4*x = -25. Let w = i + 16. Solve 2*o = o + y + w, 5*o + h = -5*y for o.
2
Suppose -a = 3*l + 2, a + 12 = 5*a + 2*l. Let b = 1 + -1. Suppose b = -4*x - z + 74 + 30, 3*x - 91 = -4*z. Solve -5*h + u + x = 0, -3 = a*h + u - 14 for h.
4
Let b(w) = w - 2. Let s(x) = -2*x - 3. Let l be s(-3). Let r be b(l). Solve 0 = u - y - 3, -1 - r = -2*y for u.
4
Suppose -5*f =