z be o(7). Suppose 4*j - z*s - 6 = 0, 0 = -3*j - j + s + 10. Solve -g - j*k = -0 - 4, -5*g - 5*k - 10 = 0 for g.
-5
Let f(t) = t**2 - 8*t - 11. Let q be f(9). Let n = 1 - q. Suppose -147 = 4*u - 259. Solve -5*k + n*w = u, 3*w + 0*w = k + 8 for k.
-5
Let i(s) = -2*s**3 - 4*s**2 - 5*s - 7. Let f be i(-3). Let v be f/12 - 2/12. Solve 5*a + 4*k = 2*a - 10, 3*a - v = -k for a.
2
Suppose 4*o + 5*y = 26, 2*o - 2*y + 98 - 120 = 0. Solve o*a - 16 = 10*a + 4*g, 5*a - 3*g - 12 = 0 for a.
0
Suppose 4*x = -2*b + 15 + 7, b + x - 7 = 0. Suppose -5 = -5*w, b*o - w - 13 = -2*w. Solve -o - 23 = -3*h - 3*q, 4*h - 5*q = 0 for h.
5
Let t be 7 + 1 + -1*3. Suppose -5*r = -5*h + 5, 3 = -t*r - 2. Suppose -b = 4*j + 7, 92*b - 5 = 88*b - 5*j. Solve 4*v + b*u + 12 = -h*v, -4*u - 22 = -3*v for v.
2
Suppose 5*h + 19 = 2*s, -9 = 3*s - 9*h + 14*h. Solve -s*w + w + 20 = 5*z, 2*w + 2*z = 0 for w.
-5
Let g(u) = -u**3 + 15*u**2 - 15*u + 19. Let z be g(14). Suppose z*n + 47 = -8. Let j = n - -16. Solve -3*o + 4*f - 20 = 0, -13 - 12 = o - j*f for o.
0
Let m be 10/15 - (-13)/3. Let z(c) = c**2 + 2*c - 3. Let u be z(2). Suppose -u*i + 9*i - 120 = 0. Solve 5 = -p + 5*p + 5*l, -p = -m*l + i for p.
-5
Let f = 1168 - 1165. Solve 0 = -h - 3*i + 2, -i = 1 - f for h.
-4
Let l be -4*1/3*24/(-16). Suppose -3*y = -5*a + 2*a + 24, -l*y + 20 = a. Solve 0 = 2*r + 3*n + 11, 0 = 4*r - 2*n - 2*n + a for r.
-4
Suppose -m = 5*x - 18, -5*m = -0 + 10. Suppose t - 125 = -x*t. Solve 4*y = -2*p + 22, 4*y - t + 0 = -3*p for p.
3
Let l be -1*18 + 1 - -2. Let d be (0 + (-6)/l)*-10. Let q(u) = -u**3 - 4*u**2 + 2. Let w be q(d). Solve 2*v + 2*x = v - 8, w*x = 2*v + 4 for v.
-4
Suppose 81*l = 50*l + 651. Solve j + 3*u = -4*j + 37, 4*u - l = -j for j.
5
Suppose -o - 8 = -2*o. Suppose -3*g = -5*r - 10 - 10, 2*r + o = 0. Solve -5*d - 4*k = -4, d + g*d = 2*k - 2 for d.
0
Let s be (-30)/4*8/(-12). Solve -5*j + 3*j - 7 = 3*c, s*j = -2*c - 23 for c.
1
Suppose 0 = -24*l + 20*l + 24. Suppose s = -2*s + l. Solve 0 = -q - 2*y - s*y - 21, -3 = -2*q + y for q.
-1
Suppose 9*h = 8*h + 4. Let c be ((h - 1 - 1)*-4)/(-2). Let u = 27 + -9. Solve 3*j + 2*l - u = c, -27 = -3*j - 3*l for j.
4
Suppose -s + 8 - 3 = 0. Suppose 4*f + k - 5*k = 32, s*k - 80 = -5*f. Suppose -11*v = -7*v - f. Solve 4 = 2*n, v*j - j + n + 2 = 0 for j.
-2
Suppose 4 = -4*w, 2*w - 14 = -2*c - 0*w. Let x be (c/(-32))/((-3)/12). Solve 3*t - 2*d + 6 = -x, -2*t - 5*d = -27 for t.
1
Let v = -206 - -208. Let s be (-77)/(-5) - 2/5. Suppose h = -v*h + s. Solve -5*g - y + 7 = -2*y, 5 = -5*g + h*y for g.
2
Let c = 76 - 73. Solve 27 = 4*w - c*r, -4*r = -5*w - r + 30 for w.
3
Let x(s) = -s. Let t be x(0). Let p(u) = -29*u**3 - u**2 - 5*u + 5. Let k be p(1). Let a be t*3*2/k. Solve 4*f - 5*d - 6 = a, -3*f = -2*f + 5*d + 11 for f.
-1
Suppose 4 = 8*k + 4. Solve -3*y + 2*t - 11 = t, k = -2*t + 10 for y.
-2
Let o = -69 + 69. Solve 0 = -2*q + 2*y, -4*y + o*y = 3*q for q.
0
Suppose -2*a - 3*v = 29 + 43, 0 = -a + 4*v - 36. Let j(o) = -9*o**2 - 29*o - 8. Let m be j(-4). Let f = a - m. Solve -2*d + h + f = -5, -15 = 2*d - 5*h for d.
5
Suppose 48 = -2*k + 10*k. Solve 0 = 3*w + 5*f + 16, k = w - 4*f - 17 for w.
3
Let u = -11 + 20. Suppose 4*x - u - 12 = -3*f, 4*x - 26 = -2*f. Solve -5*i = -3*o, -2*i + 25 - x = 2*o for o.
5
Let j = -371 - -371. Solve 2*y + 4*h + j*h + 4 = 0, 0 = -5*y + h - 21 for y.
-4
Let s(f) be the third derivative of f**4/24 - 2*f**3/3 + 29*f**2. Let o be s(7). Solve 0 = o*u - 4*w - 2 - 2, -2*u + w + 1 = 0 for u.
0
Suppose 3 = 5*h - 137. Let b = -17 + h. Suppose 3*p - 1 - b = 0. Solve -3*c + 1 = -p*g, -c - 6*g + 11 = -2*g for c.
3
Let m = -427 - -429. Solve -c = -l - m*c + 1, c = -3*l - 1 for l.
-1
Let p = -276 - -278. Solve 4*t = j + 12, -3*t + 0*j - j + p = 0 for t.
2
Let h = -367 + 371. Solve 2*i = 6*m - m + 24, h*i + m = 4 for i.
2
Suppose -8*i + 13 - 53 = 0. Let x(d) = d**3 + 4*d**2 - 5*d + 7. Let s be x(i). Solve -2*t + 0 = m + s, 0 = -5*m - 25 for t.
-1
Suppose 0 = -10*d + 9*d - 2, -w + 4*d + 13 = 0. Solve -w*q + 14 = h + h, -3*h - 1 = 2*q for q.
4
Let k = 125 + -120. Solve 5 = 5*v + 3*z - k, 0 = -3*v + 2*z + 6 for v.
2
Let d be (-2)/(-7) + (-6)/(252/(-114)). Solve 6 = 2*y - h, d = -2*y + 5*h + 9 for y.
3
Let k(x) = 4*x**2 - 3*x - 9. Let c be k(-2). Solve -21 = -4*y + 5*g, -5*g = 12 + c for y.
-1
Suppose -2 - 14 = -2*a. Suppose -a*d = -9*d + 4. Solve -3*z = d*u + 13 - 5, 5*u + 5*z + 15 = 0 for u.
1
Let x = 1028 + -1024. Solve -c + 3*f + x = 12, 2*c + 4*f = 4 for c.
-2
Let l(w) = 3*w**3 + w - 1. Let d be l(1). Let u(n) = 3*n - 13. Let i be u(5). Suppose 3*z = i*z + d. Solve -k - 13 = -3*s, -3*k + 6*k = -3*s - z for s.
3
Let r = -22 - -27. Suppose -r*c = -6*c. Solve m - 2*w - 2 = 0, -w = 4*m - c*m + 19 for m.
-4
Let v be (-2)/(-6) - 2/6. Let h be 106/8 - (-10)/(-40). Suppose -4*q + 14 = b, 16*b + 3*q - 15 = h*b. Solve b*p + 12 = u, v = 4*p - u - 2*u + 26 for p.
-5
Let t be 2*2/2 + (-2 - -5). Solve t*p = -3*g, -p - 3*p = 2*g for p.
0
Let x = 24 - 34. Let c be (-120)/(-9)*(-24)/x. Let t be 3/(-1) + c/8. Solve -a = 4*r + 5 + 2, -2*a - t = -5*r for a.
-3
Let t(b) = -b**2 + 5*b + 6. Let c be t(6). Let n = 108 - c. Let z be (-32)/3*n/(-48). Solve -2*f = 3*a + f - z, -3*f = 4*a - 28 for a.
4
Let i(t) = t**3 - 2*t**2 - 2*t - 3. Let g be i(3). Suppose 4 = -2*m, -3*y - 2*m + 29 = -9. Let u = 16 - y. Solve -10 = u*o - 4*f, -4*o + 5*f - 11 = -g*o for o.
1
Let u(x) = 5 - 8*x - x**3 + 11*x**2 - 2*x**2 - 2. Let q be u(8). Solve q*i + 2*i - 5*l = -5, -2*i = l - 10 for i.
3
Suppose 2*v - 16 = -5*y, -3*y + 13 - 1 = 2*v. Solve -5*r = 5, 4*r + y = -0*f + 2*f for f.
-1
Let a be -5 + (-64)/(-8) - (-1 - -4). Solve 0 = -4*d - 20, 4*d + a*d + 40 = -5*q for q.
-4
Let n(v) = -v**3 - 12*v**2 + v + 14. Suppose 4*a + 50 = -2*m, -m - 4*m = -3*a - 31. Let c be n(a). Solve -6 = -d + 2*l, -c*d - 1 = l - 8 for d.
4
Let b = -483 - -485. Solve 0 = 5*p - b*p - m + 11, -3*p - m - 13 = 0 for p.
-4
Let v = -7 + -7. Let w be (-3)/(-6)*(-38)/(-1). Let n = v + w. Solve -n*m = -20, -4*f - 4*m + 17 = -3 for f.
1
Let u(j) = -7*j + 51. Let y be u(7). Let a(l) = l - 7. Let k be a(9). Solve 3*x + 2*x = y*r - 14, -5*r + k*x = 7 for r.
-3
Let v be 2/3 + (-140)/(-42). Suppose -4*o = v*f + 56, -2*o + 5*f + 0*f = 35. Let j be o/(-3)*(-4)/(-10). Solve -l + 2*l - 3*d = 7, 3*l - j*d - 14 = 0 for l.
4
Let g be 2 + (-8)/(-4) + 1. Let l = -1 + g. Solve 3*j - 23 = 4*p, 3*j - 22 + l = 3*p for j.
1
Suppose 3*b - 2*b - 36 = -4*u, 2*b = 2*u + 42. Suppose b = 4*p - 16. Solve 0 = -5*n - 5*f - p, -f - 5 - 3 = -n for n.
3
Let c(x) = -x**3 + 12*x**2 - x + 9. Let i be c(12). Let q be (9/i)/(6/380). Let s be q/(-25) - 2/(-5). Solve -f - 5*v = 13, -f + 2*v + s = -0*f for f.
2
Let a(d) = -2*d**3 + 3*d**2 + d - 1. Let z be a(-2). Let r be (-4)/10 + 60/z. Suppose 5 + 3 = r*x. Solve -4*v - m - 12 = x*m, v + 3 = -3*m for v.
-3
Suppose -9 = h - 11. Suppose 0 = p - 0 - 1, h*n - 5 = 3*p. Solve 0 = n*k - 3*o, 10 = -0*k + 2*k - 4*o for k.
-3
Let b(v) = v**3 - 31*v**2 - 31*v - 17. Let u be b(32). Solve 0 = 5*f - r - 4*r - u, 5*r + 29 = -2*f for f.
-2
Suppose 3*g - 95 = -4*f + 5, 5*g + f - 161 = 0. Suppose g*v - 35*v = -3. Solve 0 = -5*t + b - 12, -b - 5 - v = 4*t for t.
-2
Suppose -5*f - 28 = -5*o + 2, 0 = 4*o + 3*f - 24. Let w be ((-31)/155)/((-2)/50). Solve -w*m + 10 = 5*l, o*l - l - 2*m = 3 for l.
1
Let s be (-1 - -2)/1*0. Let h be s/(-18) + 16 + 0. Solve -4*u + 4 = 4*g + h, 0 = 3*g - 6 for u.
-5
Let i be ((-357)/(-70) - 2/20)/1. Solve 5*c - 2*r = -35 + 2, 3*r - 37 = i*c for c.
-5
Let h(o) = 3*o - 16. Let b be h(18). Solve -13 = 4*j - q, 5*q = 3*j + b - 7 for j.
-2
Let j(a) = a - 10. Let h be j(8). Let u(m) = -2*m**3 + 2*m + 3. Let f be u(h). Let r = f + 2. Solve -2*s + 0*s + 9 = i, 5*i = -3*s + r for s.
4
Suppose 4*w + 4*y - 1 = 3*y, 2*w = 4*y - 4. Let g be (3/6 - 0)*w. Solve 3*s = 12, 5*h - s - 16 = -g*s for h.
4
Let h be 2/1*(20/(-1))/(-10). Solve h*u = 4*b - 24, -3*b + 6*u = 2*u - 23 for b.
1
Let s be 0/(-3)*(-1 + 4/2). Solve 3*n = -4*l - n + 4, l + 4*n - 13 = s for l.
-3
Let f be (-2)/9 - 40/(-18). Let q = 6 - 4. Let a(d) = d**2 + 7*d + 9. Let t be a(-6). Solve q*p = -f*b - 0 - 4, -5*b = t*p + 2 for b.
2
Suppose 0 = -77*n + 79*n - 6. Solve v = -c + 1, -n*c = -5*v + 3*v - 3 for c.
1
Let a = 20 - 24. Let v be (a + 3)/(1 - 2). Solve