pose -92 = 4*t - 3*u, 5*t + 3*u + 61 = -54. Let r be o(t). Solve -2*b + 3*n = -3*b + 9, 2*b + r*n - 6 = 0 for b.
0
Suppose 18 = r - 3*r. Let i = 17 + r. Let w be (2/i)/((-1)/(-20)). Solve w*u - m + 10 = -6*m, 5*m = -2*u - 19 for u.
3
Let s(a) = -4 - 6*a + 4*a + 2. Let k be s(-3). Suppose -k*i = -3*i - 4. Solve r = -6*v + 2*v + 17, 3*r = -v - i for v.
5
Suppose -5*w + 101 + 119 = 0. Suppose 59 = 5*b + w. Solve -5*r = 2*z + 9, -9 = b*r + r + z for r.
-3
Suppose -3*n - 3*q = -2 - 1, -5*n + q + 23 = 0. Let p = 11 + -5. Suppose -h + p = h. Solve n*i = -h*m + i - 9, i = 3*m + 5 for m.
-2
Let l be -7 - (-66)/6*1. Solve -l + 8 = 5*u + 4*n, -4*n = 4*u - 4 for u.
0
Suppose -22*g + 14 = -15*g. Solve x - g = 2*q - 3*q, -4*x = -2*q - 26 for q.
-3
Let s be 6*(93/18 + -5). Solve -4*h - t = -5*h - s, 0 = 2*t - 8 for h.
3
Let d(h) = -h**3 - 10*h**2 - 2*h - 10. Let q be d(-10). Let j = 14 - q. Let a = -1 + j. Solve -6 = a*u - z, 3*z = -u - 11 - 1 for u.
-3
Let s(i) = i**3 - 19*i**2 - 3*i + 59. Let r be s(19). Solve 3*x = -2*l - 8 + 5, 5*l - r*x - 2 = 0 for l.
0
Suppose 18*w - 20*w = -2. Suppose i = 4 - w. Let c be 4 + 1*(i + -1). Solve y + 4 = 5*r, r - 3 = 4*y - c*y for y.
1
Suppose 33*x - 46*x + 143 = 0. Solve p + 2*u - x = 0, 0 = -0*p + 3*p + 3*u - 21 for p.
3
Suppose 0 = n - 10 + 34. Let w = -22 - n. Let t(o) = o**3 - 2*o**2 + 2*o - 4. Let s be t(w). Solve -3*i + s*d - 3*d = -12, -10 = 5*i - d for i.
-1
Suppose -4*g = -3*p - 40, 4*p = -4*g + 6*p + 36. Suppose -w - 3*s = g, 0 = -3*w + w + 5*s + 19. Solve -4*v - 6 = -v - 2*y, y + 4 = -w*v for v.
-2
Let s = -1563 - -1111. Let a be s/12 + (-12)/(-18). Let r = -37 - a. Solve -2*t + 2*b + 2 = r, 4*t + 2*b + 30 = 4 for t.
-4
Let b be 14/(-35) - 22/(-5) - -10. Suppose 4*g = -2*o - g + 23, 5*o - b = 2*g. Solve o*p + s = -8, 5*p + s + 13 = -s for p.
-1
Let h = 4 + -1. Suppose -2*p + 7 + 3 = -4*j, 2*j = -2*p + 4. Let u be (-4)/(-14) - 52/(-14). Solve -3*a - f + p = 0, -a = u*a + h*f - 1 for a.
2
Suppose -2*n + 0*a + a - 3 = 0, 4*n = 4*a - 12. Suppose -4*z + n*z = -16. Solve d = -0*d + 2*k - 8, -d - 2*k = -z for d.
-2
Suppose 4*q + 5*o - 7 = q, -5*q = o - 19. Suppose p - q = -2. Suppose p*b = -5 + 13. Solve 7 - 31 = b*z - 4*a, 5*a - 26 = 3*z for z.
-2
Let x(p) = -p**2 + 7*p - 7. Let q be x(5). Let w be -3 + -3*94/2. Let r = w - -161. Solve 4*n = -q*j - r, j + n = -2 - 3 for j.
-3
Let o(h) = -h**2 + 9*h - 5. Let p be o(8). Let t(f) = -f**3 + 8*f**2 - 3*f + 4. Let v be t(8). Let w = -8 - v. Solve -3*b - p*s + 3 = 0, 13 = 5*s - w for b.
-4
Let y = 8 + -17. Let p = -36 - y. Let g be 1/(-2) - p/6. Solve 5*q + 5*o + 6 = q, 0 = -2*q - 3*o - g for q.
1
Suppose -5*j + 9*j + 4*l - 32 = 0, 5*l = 5*j - 10. Solve -b + j = -4*u + 4*b, -3*u + 5*b = 0 for u.
-5
Suppose -24 = -4*g - 4*x, -3*g + 4*g - 4*x = 11. Let u = -1444 - -1446. Solve -p - u*l + g = 0, l = 2*p - 3*l + 26 for p.
-3
Let d(l) = l**2 + 3. Let c be d(0). Suppose 12 = 3*j - 0*j. Suppose -j*b + t + 9 = 0, 1 = 4*t + 5. Solve -5 = -c*k + 4*o, 2*k + b*k - 4*o = 0 for k.
-5
Let m(s) = -s**2 + 22*s - 109. Let d be m(14). Solve -5 = 4*y - 4*j + 19, -7 = -d*y - 2*j for y.
-1
Let s(y) = y**2 + 9*y - 20. Let b be s(-11). Solve -d - 1 = -2*x, 12 = -4*d + b*x - 4 for d.
-5
Suppose -62 = 5*p + 168. Let u = -43 - p. Solve 0 = -5*j - u*d + 10, -j - 20 = -d + 6*d for j.
5
Let f = 808 - 805. Solve 4*p - 11 = c, f*p - 5*c = 6*p - 37 for p.
4
Let t = 13 + -8. Let d(f) = -16*f - 222. Let g be d(-14). Solve t*s + 33 = g*u, 2*u - 8 = -0 for s.
-5
Let o(t) = -t**2 - 17*t + 3. Let p be o(0). Solve -p = y - 8, -2*v = -3*y + 25 for v.
-5
Let h(l) = l**3 + 2*l**2 + 3*l - 2. Let g = 8 - 11. Let q be h(g). Let x = q + 37. Solve 0 = 5*o - 25, 0 = b - 2*o + x - 5 for b.
-2
Let t = -8 - -16. Suppose h - t*k = -4*k + 24, -3*k = -4*h + 31. Solve 5*i - 31 = -h*r + 10, -2*i - 6 = -4*r for r.
4
Let w(m) = -m - 7. Let c be w(-10). Solve -3*g = -c*d - 9, g - 6*g - d = -27 for g.
5
Let j = -3 + -13. Let s be 12/(-4) + 3 - j. Solve 3*d = -2*m + 5, -2*d = -6*d + 2*m + s for d.
3
Let u be (-12)/8 + (-18)/(-4). Solve u*d + 15 = d - f, 0 = -2*d + 2*f for d.
-5
Let w = 31 + -29. Suppose 0*q + 2*q = y - 1, -2*y + w*q + 4 = 0. Suppose 8 = -3*o - 1, 0 = 4*z - y*o - 9. Solve 3*d + 2*u = -6 + 19, 3*d + 5*u - 10 = z for d.
5
Let z be 2*((-3)/6 + 3). Let q be (-104)/40 + (-2)/z. Let r be q/(-12) + (-11)/(-4). Solve -3*c + 3 = -r*u, -4*c - 4*u = -2*u + 20 for c.
-3
Suppose -16*p = 3*d - 14*p - 19, 2*d - 16 = -2*p. Solve 0 = d*m + 5*x + 8 + 5, 0 = -2*m - 5*x - 17 for m.
4
Let f be (4/12 - 3)*(-3)/2. Solve 5*y = -2*z - 0*z - 7, y - 3 = f*z for y.
-1
Let l = 2534 + -2528. Solve 4*t - 24 = -4*h, -2*h + 7*h - 4*t + l = 0 for h.
2
Suppose -28*a + 15 = -41. Solve -a*l - 4 = -k - 4*l, 2*l = -2*k for k.
-4
Let f be (2/(-6))/((-9)/135). Suppose 2*t = -f*d + 9 + 9, -4*d = -4*t - 20. Solve 0 = 2*s - 5*r + 19, 2*s - 2*r + d = -0*s for s.
3
Suppose 4*f + f = 35. Suppose -4*p - 9 = -f*p. Solve -p*l - 5*r = 29, 0*l - 3*l + r - 5 = 0 for l.
-3
Let s be (-6)/(-63)*-3 - 210/(-49). Solve 0 = -q + s*u - 9, 2*u = -4*q - 3*u - 15 for q.
-5
Suppose 0 = 2*n - 4 - 8. Suppose 6 = n*v - 4*v. Let q = 1 - -4. Solve v*i + 0*i - q*x = -4, i + x = -4 for i.
-3
Let z = 2177 + -2174. Solve 0 = -z*d - 4*f - 14, -2*d = -6*d - 2*f - 12 for d.
-2
Let h = -341 + 345. Solve -4*v = 2*t + 2*t + 32, -t + 17 = -h*v for v.
-5
Let o(x) = 22*x + 222. Let i be o(-10). Solve -w - 1 = 2*w + 5*p, i*p = 4*w + 10 for w.
-2
Let p(l) = 13*l + 21. Let a be p(0). Solve 4*t - 5*v - a = 0, 4*t + 4*v + 4 = -20 for t.
-1
Let l be 1/(5 - (3 - (-36)/20)). Solve -3*y = l*g - 11 - 19, -2*y = -5*g + 5 for y.
5
Let n = 11 - 22. Let p = n + 13. Solve -4*h - p = -w + 5, 3*w - 4*h - 13 = 0 for w.
3
Let g be (-3 + (-5)/(-2))/(1/(-36)). Let m be 34/10 + g/(-45). Solve 3*q + 2*l + 2*l - 5 = 0, m*q + l + 1 = 0 for q.
-1
Let v = -9 - -19. Suppose 14 = -v*d + 34. Solve -d*s + 2*q + 6 = -0*s, 4*s - q = -3 for s.
-2
Let z(w) = w**2 - 8*w + 5. Suppose 2*m + 2*k - 19 = -k, -5*k - 3 = -m. Let n be z(m). Let p = n - 2. Solve 0 = -5*u + r - 2, r - p = u - 1 for u.
0
Let u(m) = 17*m + 138. Let h be u(-8). Solve h*k - 3*f - 5 = -2, 4*f = 3*k - 5 for k.
3
Suppose 2*l + 8 + 6 = 0. Let k = -13 - l. Let v be (-8)/24 - 14/k. Solve r + 3 = v*d - 4*d, d + 3 = r for d.
-2
Let o(b) = 5*b**3 - 4*b**2 + 2*b. Let k be o(2). Let f = k + -24. Solve f*g - 7 = r, -17 - 20 = -5*r - 4*g for r.
5
Suppose 3*o - 8*o + 5*v = -155, 4*o - 5*v - 128 = 0. Let x = o - 25. Solve 3*b - 5 = -x*w + 1, 2*w = 6 for b.
0
Suppose -12*a + 6 = -6. Let z be 33*a*4/12. Suppose 0 = -s - 0*s + 3. Solve 2*x = 3*f - 11, -f = s*f + x - z for f.
3
Let k(u) = u**3 + 9*u**2 + 19*u + 9. Let i be k(-3). Solve -l + o + i = 5*o, -5*l = 5*o for l.
-2
Let v be (-2 + -2)/(2/(-111)). Suppose -5*g + v = 57. Let a = g + -20. Solve 2*c = 5*f - a, 5*c - 5*f + f = -7 for c.
1
Let n = 14 - 33. Suppose c = -4, 2*v + c - 9 = 27. Let k = v + n. Solve t + k - 12 = 5*q, q + 3 = t for t.
1
Let l(h) = 2*h - 5. Let q(c) = -3*c - 4. Let z be q(-3). Let m be l(z). Let i = 39 - 37. Solve -m*g + i*j = 8 + 12, -4*g + 3*j - 23 = 0 for g.
-2
Let f(h) = h**2 + 10*h + 3. Let u be f(-4). Let o = -13 - u. Suppose -k - 16 = -3*b, -3*b - 9*k - o = -4*k. Solve 3*z - 2*w = -10, 7*w - b*w = 3*z + 9 for z.
-4
Let l be 6/(-36) + 2/12. Let w be (-3)/2 - (-147)/42. Solve -8 = w*j + 3*c, 3*j + c - 2 + 14 = l for j.
-4
Suppose -15*o - 77 + 137 = 0. Solve 4*m - 2*t = -4*t - 10, -3*m = -2*t + o for m.
-2
Let m be -4 + (-34 + 2)/(-4) - -1. Solve -5*o - 3*x + 1 = 0, -5*o - 5*x + 0 = -m for o.
-1
Suppose -9*b = -3*b - 42. Suppose 0 = -2*m - 3*y + 1, 0*y + b = m - 5*y. Solve 3*f - 1 = m*i, -5*f + 0*i = -i + 3 for f.
-1
Let d(r) be the first derivative of r**4/4 + r**3/3 - 7*r**2/2 - 8. Let p be d(3). Solve -p = 2*g - 3*q, -2*q + 12 = g + 3*q for g.
-3
Suppose -3*d + 4*d = 2*v + 2, 4 = -4*v. Suppose 15 = 2*q - 1. Suppose 4*z = q, -z = -2*n - n + 7. Solve -3 = g - f, 5 = -n*g + f - d*f for g.
-1
Let k = -32 - -34. Solve 2*o + 16 = -0*n + k*n, 29 = 4*n - 3*o for n.
5
Suppose -5 - 1 = -2*k. Suppose 0 = 5*d - k*d - 0*d. Solve 5*r + 5*x - 10 = d, 12 = x + 2*x for r.
-2
Suppose 8 = 3*d - 7. Let u = d - -1. Suppose u*w + 4 = 10*w. Solve -3*q = 3*l - 6, 3*l = 2*l + w for q.
1
Suppose -l - 1 = -4. Suppose 3*v