t x(n) = -n + 10. Let o be x(5). Solve -d = -o*u - 7, -5*u - 6*d = -d - 5 for u.
-1
Suppose 18 - 3 = -5*v. Let f be v/(-6)*0 + 1. Let w be ((-1)/(-2))/(f/4). Solve -5*j = -x - 6*j + 1, w*j = -5*x + 2 for x.
0
Let a(f) = 4*f - 1. Let h = 7 - 4. Let x be a(h). Let n = -10 - -16. Solve 5*w + n = w + 3*v, x = -3*w - v for w.
-3
Suppose 5*h = 2*i + 24, 4*h - 2*h + 31 = -5*i. Let v = 3 + i. Let q be 3*(3 - v/(-6)). Solve 0 = 2*c + 5*u + 5, -4*u = -c - 2*u - q for c.
-5
Let m = 5 - 5. Let l be -2 + 4 + (2 - m). Suppose 0 = 5*d - 11 - l. Solve -2*h + 1 = d*b, 2*b - 2*h + 13 = b for b.
-3
Let f be 26/6 + 3/(-9). Let t be 123/(-12) - 3/f. Let w be t/(-2) - 6/4. Solve -2*c - 2 = r, 0*r = -w*c + r - 4 for c.
-1
Suppose -17 = -3*p + 2*p - 5*v, 0 = 2*v + 8. Suppose -3*n + 5*x + p = -1, 2*n - 28 = 4*x. Let g = 8 - n. Solve 4*l = 3*t + 5, -8*l + g*t = -3*l - 8 for l.
2
Let c(p) = -2*p**2 - 9*p - 2. Let r be c(-6). Let x be (-10)/4*32/r. Solve -4*d + 0*l + 4 = -x*l, -12 = -5*d - 2*l for d.
2
Let d(l) = l**3 + 9*l**2 - l - 13. Let c be d(-9). Let f be 2*(12/c - -4). Solve 3*b - 5*k + 5 = -f*b, 5*k = -b + 23 for b.
3
Let z be (16/(-20))/(1/(-5)). Suppose 0 = 2*q - 6*q + 48. Let l = -1 - -3. Solve -z*x = -6*x - 3*o + q, 2*x = l*o - 8 for x.
0
Let a be (9 - -1)/(16/8). Solve 2*i - 6*i - o = 0, o - 1 = -a*i for i.
1
Suppose g + 0*g - 5 = 0. Suppose 6 = 5*w - 4. Solve 4*a - 14 = -w*k - k, -8 = -g*a + k for a.
2
Let o(v) = 11*v + 11 - 12*v + 3 + 9. Let x be o(7). Solve c - 4 = f, -3*f - 2*c + x = -7*f for f.
-4
Let c(m) = -6*m - m**2 + 17*m + 0 - 5 - 1. Let g be c(10). Let d = 6 - g. Solve -2*f = -a - d - 0, -4*a - 2*f = 8 for a.
-2
Let f be (-24)/(-9) - (-4)/12. Solve f*a - 8 = -s, 0*a + 2*a + 2 = 3*s for a.
2
Let c(b) = -7*b + 1. Let l be c(-2). Solve o + 4*g = 9*g + l, -21 = 5*o - g for o.
-5
Let p(b) = b**3 - 1. Let y be p(0). Suppose -13 = -4*i - d, -3*i + 0*d + 13 = 4*d. Let z be y + -5 + i + 8. Solve -22 = 8*f - 3*f - 2*l, 2*l = -z*f - 18 for f.
-4
Let c(d) = d + 17. Let f be c(-14). Let a = 8 - 6. Solve -w - 5*b - 12 = 0, -w - a*w - 4*b = f for w.
3
Let x(o) = -2*o - 2 + 10 + 2. Let q be x(5). Solve q = -2*f - y + 5, 4*f + 4*y - y - 13 = 0 for f.
1
Suppose 4*m - 21 = m. Solve -5*k = 3*s - m + 20, 5*s - 2*k = 30 for s.
4
Suppose q - 7 = -3*f + 9, 3 = 3*q. Let u be (-3)/((-8)/f + 1). Solve 3*g = -c + 3*c - 5, 0 = -u*c - 3*g + 2 for c.
1
Let y(u) = u**2 + 12*u + 15. Let c be y(-11). Solve z + v = -v - c, 4*z + 11 = -3*v for z.
-2
Let j be 2 - 0/(-3 + 0). Solve -r + 4 + 2 = j*v, 0 = 2*r - 3*v + 23 for r.
-4
Let m(n) = n**3 - n**2 + n. Let y be m(0). Suppose y*j - 15 = -5*j. Let k be -6*(3/(-6) - 0). Solve k*r - i - 1 = 0, 2*r + 4 = -j*i - 10 for r.
-1
Suppose 4 + 6 = 2*a. Suppose 0*g = -3*g + 15. Solve 0 = j - 5, -a*j + 20 = -3*t - g for t.
0
Let s be -12*(0/1 - -2). Let w = s - -36. Suppose -2*l + 22 = 4*j, w = 2*l + 2. Solve 0 = -5*h + 4*k - 33, -11 = j*h - k + 6 for h.
-5
Suppose 3 - 2 = o. Let p be (-1 - -3)/(o - -1). Solve 2*h - 3 = -3*t + 2, -3*t - 4*h = -p for t.
3
Let g(y) = y + 5. Let f be g(12). Let a = f + -17. Solve a = 2*j + 5*r - 2*r - 8, r - 20 = -5*j for j.
4
Suppose 0*w + 15 = 5*w. Suppose -4*m = -m + 3*y - 12, w*m - 16 = -4*y. Solve m = -r + 3*k + 5, 5*r - 4 - 4 = -2*k for r.
2
Let h be (-122)/(-6) + 2/(-6). Suppose -1 = 4*s + 3. Let j(y) = 3*y**2 + 1. Let n be j(s). Solve -h = -5*u, -o = o - u - n for o.
4
Let j(d) = d**3 + 9*d**2 + 8*d. Let p be j(-8). Suppose p*s = -2*s + 72. Let l be 8/s + (-43)/(-9). Solve -2*w + 6 = w, 3*h = l*w - 4 for h.
2
Let v(i) = i**3 + 16*i**2 - i - 13. Let o be v(-16). Solve -o*x + 13 = 4*r + r, x = 3*r - 19 for x.
-4
Suppose -f = 4*a + 18, -3*a - 6 = 9. Solve c + c - 20 = -5*k, -f*k + c = 1 for k.
2
Suppose 0 = -2*v - 0*n + 5*n - 5, -2*v = -4*n + 4. Solve 2*g - i - 7 = 0, v = -2*g + 4*g + 2*i + 2 for g.
2
Let x = 0 + 3. Suppose 0*c = -x*c - 15. Let f = c - -6. Solve -4*i - 8 = p, -i = 2*p + 1 + f for i.
-2
Suppose -4*t + 1 + 15 = 0, 3*r = 2*t + 4. Suppose 2*h + 5*x - 20 = 0, -r*x = -2*h - 20 + 4. Solve -2*v = -h*v - 10, 2*v - 16 = -2*c for c.
3
Suppose 46 = 5*t - 2*w, 3*t + 0*w - 4*w - 22 = 0. Solve 2*q = 3*l - 10, 3*q + 4*l - t = 4*q for q.
-2
Suppose 5*w - 5*n = 10, -2*n = -2*w + 3*w - 2. Let j be w/9 - (-352)/36. Let x = 17 - j. Solve m + 12 = -2*m, 3*m + x = -z for z.
5
Suppose -o + 2*o = 4. Let s(p) = 4*p - 3*p + 0*p + 4*p - 27. Let n be s(6). Solve 3*m - 5 = -4*k, 0 = -m + o*k - n*k - 3 for m.
-1
Let a = -32 + 34. Solve -z + 4*m = -17, 33 = a*z - 5*m + 8 for z.
5
Let d = 0 - -3. Let v = d + 3. Suppose -o + 4*f + v = 0, 4*o - 7 = 2*o + 3*f. Solve -o*x + 24 = -5*q, 0*q - 5*x = -q - 14 for q.
-4
Let h = -11 - -21. Suppose 0*q - q + h = 0. Solve 5*u = -2*c - q, 0 = -u + 2*u + 5*c + 2 for u.
-2
Let f = 7 + -4. Suppose -2*b + 5 = 4*y - f*y, 5*b + 5*y = 5. Solve 0*s - 24 = -4*s - 4*i, -b*s + 29 = 5*i for s.
1
Let g be 2/(4 + 40/(-12)). Let l(i) = -i**2 - 3*i + 4. Let f be l(-3). Solve -f*w + 5*t - 37 = 0, 10 = -5*w - 4*t + g*t for w.
-3
Suppose 3 = -2*y + 11. Let g(i) = i - 4. Let f be g(6). Solve y = -c - f*c - k, -c + 4*k = 23 for c.
-3
Let p(c) = 6*c - 1. Let a be p(1). Let b = 10 - a. Suppose 4*o - b*o + 3 = 0. Solve 3*l - 3*r = o, 1 + 3 = 4*l + r for l.
1
Let i(m) = 2*m + 17. Let h be i(-7). Suppose 8*u = h*u. Solve -4*o + u*n + 1 = -5*n, -o + n = -1 for o.
4
Suppose -1 - 5 = 2*v - 4*j, -18 = -5*v - j. Solve 3*w - b - 13 = 4*b, -3*w + v*b = -9 for w.
1
Let x = 20 + -18. Solve 0*l - x*l + a - 6 = 0, -3 = -l + 2*a for l.
-5
Let w be (-2 - -2)/((3 - 1)/(-2)). Solve 0*g - 3*g - 29 = -5*i, -i - g + 1 = w for i.
4
Let b(m) be the second derivative of -m**5/20 - m**4/2 - 2*m**3/3 + 7*m**2/2 + 5*m. Let s be b(-5). Solve -8 = s*t - y, -2*y - 3*y = -t - 22 for t.
-2
Let u = 26 - 10. Suppose 0 = -4*p - 4*y + u, 5*p = 4*p - 2*y + 5. Solve 0 = -7*s + 4*s - p*i - 9, -3*s - 17 = -5*i for s.
-4
Let q = -8 + 8. Let j = 3 - q. Solve -j*r - 25 = -2*p - 0*p, -3*r = -p + 20 for r.
-5
Let h be 4/12 - 28/(-6). Solve t = 3*u, -h*u + 5*t = 3 + 7 for u.
1
Suppose -2*r + 4*l - 6 = 0, 3*l + 0*l - 2 = 2*r. Solve r*t = -0*t + 3*o + 22, -2*t = -4*o - 20 for t.
2
Let p = -7 - -14. Let s be (-12)/7 + (-2)/p. Let f be (s + 2)*(-1)/(-1). Solve f = n - 3*q + 11, 0*n = 4*n - 5*q + 30 for n.
-5
Suppose -3*t + 4*t = 3. Solve -5*q + t*m = -m - 12, -q + 4*m = 4 for q.
4
Let g(v) = -v**2 - 7*v + 1. Let u be g(-6). Solve -3*s = 3*q - 2*q + 9, 5*s + u = q for q.
-3
Let t be ((-4)/6)/((-1)/3). Let u be t*(14/4 + -1). Solve 0*n - 4*x = u*n - 5, 5*n + 5 = -2*x for n.
-3
Suppose 4 = 2*g - 0*g. Solve 5*w = -g*k + 7, k + w = 2*k for k.
1
Suppose -2*h - 2*c + 28 = 0, h - 2 = 5*c - 0. Let f = h + -5. Suppose f*q - 13 = 6*q. Solve -4*v - 4*p + q = -7*v, 2*v + 3*p - 14 = 0 for v.
1
Let k = 29 - 24. Solve -2*v - 2*r = 10, -k*r + r - 17 = v for v.
-1
Let p = 7 - 12. Suppose g + 3*g - 36 = 0. Let v = p + g. Solve 0 = 5*r + 4*n + 21, 3*n + v + 8 = 0 for r.
-1
Let f = 110 + -106. Solve q + f*q = -3*l + 20, 4*q + 21 = 5*l for l.
5
Let p(c) = -3*c - 14. Let x be p(-6). Let o = 12 + -9. Solve -x*f = -5*d - 12, 0 = -o*d + 5*f - 2*f - 9 for d.
0
Let i(s) = 12*s**2 - 11*s - 3*s**3 - 5*s**2 + 14 + 2*s**3 + 4*s**2. Let w be i(10). Suppose 5*r = 9 + 11. Solve -z - 4*p = 7 - 3, z - w = r*p for z.
0
Let k(d) = -d**2 - d + 1. Let g be k(0). Solve 5*q + 3 - g = -p, -q - p + 2 = 0 for q.
-1
Let c = -7 + 7. Solve -5*d + 2*n = 4*n - 20, c = -3*n for d.
4
Suppose 2*p - v = 4, -2*p - v = -0*p. Let x = 1 - p. Suppose -y + x = -2. Solve 0 = -r - 2*m + y, -5*r - 5*m - 3 + 18 = 0 for r.
4
Suppose o = 2*g + 6*o - 30, 2*g - 4*o = 12. Let b be (-70)/(-25) + 2/g. Solve 0 = b*c - 12, -c - 6 = 3*f - f for f.
-5
Let a be (5 + 5 + -6)*5/4. Solve a*v - 8 = -r, r - 3*r = 3*v - 2 for v.
2
Let d(z) = z**2 + z + 5. Let s(k) = k**2 - 5*k - 6. Let j be s(6). Let f be d(j). Suppose -3*o + 2*o + f = 0. Solve -28 = -v - 5*q, 2*q + q = o*v for v.
3
Suppose 5*t = -4*a + 5, 3*t - 6*a - 40 = -a. Solve t*z = 4*q + q - 10, 0 = 5*z + 3*q - 22 for z.
2
Let j(a) = a**3 + 4*a**2 - a - 1. Let d be j(-4). Suppose 4*k - 71 = 9. Solve 2*m = 2*p - d*m - 11, -5*p + k = -5*m for p.
3
Suppose z + 1 - 5 = 0. Suppose 0 = z*v - 4*i - 8, 0*v - 2*v = 3*i - 19. Suppose 0 = v*y - 10 - 0. Solve r + 1 = -m + 2, m = -y*r + 2 for 