= j - 9, 0 = -4*j - 4. Let a = 16 + z. Let q be 21/(-28) - (-11)/a. Solve 2*p - 4 = 0, -q*f - 2*p = -7*p + 4 for f.
3
Let s = -274 - -277. Solve 4*c + 1 + s = 0, 0 = -2*p + c + 3 for p.
1
Let r = -28 + 32. Let v be -4 - ((-1 - r) + -2). Solve v*j + 15 = 5*k - k, 5*j + 8 = k for j.
-1
Suppose -4*i + 0 = -16. Solve 0 = -i*z - k - 17, 3*z + 34 = -2*z + 3*k for z.
-5
Let v(j) = j**3 - 7*j**2 + 8*j - 7. Let y be v(6). Let d be (1/2)/(1/4). Suppose 12 = -d*k + y*k. Solve -o - k*o - 4 = -2*i, i = -3*o - 9 for i.
-3
Let m(x) = 28*x + 562. Let c be m(-20). Solve 5*l - 14 = -c*j, -5*j + 10*j - 5*l = -35 for j.
-3
Suppose q - 3 = 4*p, -q + 2 = 4*p - 3*q. Let v = p - -6. Let y be 39/15 - v/(-10). Solve y*f - 2*k + 8 = f, -5*f = -4*k + 18 for f.
-2
Let i = -11 + 10. Let g be 5 - (-4 + 1)*i. Suppose -g*o = -26 - 6. Solve -2*h + z = -2 - 0, -4*z + o = 0 for h.
3
Suppose 3*i = -3*i - 36. Let y be (-5)/((-40)/i)*-20. Let q = y - 10. Solve w + 7 = -4*o, -q*o - w + 1 - 10 = 0 for o.
-2
Let v(z) = -4*z**3 - z**2 + 4*z + 4. Let l be v(-1). Suppose 6 = l*k, k - 48 = -5*d - 3*k. Solve 2*t = -u - 3*u + 8, 0 = -2*t + d for u.
0
Let y(m) be the second derivative of 5/6*m**3 + 1/20*m**5 - 2*m**2 - 1/3*m**4 + 0 + 7*m. Let g be y(3). Solve -g*k = -5*w - 3*k + 1, -16 = 4*k for w.
1
Suppose 2 = -n + 9. Let p be 1*-16*(n - 8). Let r = p + -11. Solve -2*s + 10 + 17 = -5*d, -3*s - 22 = r*d for d.
-5
Let d = -678 + 681. Solve -r + d = 8*w - 7*w, 0 = 2*r + w - 7 for r.
4
Suppose 5*g = l, 2 - 6 = -4*g. Suppose 4*a - 2*u + 5 = 5*a, 0 = l*a + 3*u - 18. Suppose 0*t - 30 = -5*t. Solve 4*v + a*k = -6, k - t - 2 = 2*v for v.
-3
Suppose -3*r = 3*b, -8*b + 4*b + r - 10 = 0. Let p be (-46)/6 - b/(-6). Let z = p - -11. Solve 14 = -2*y + 3*v, -2*v + z = 5*y - 0 for y.
-1
Let a be 1404/72 - 3/2. Solve -4*z + m = -16, 4*m = -2*z + 7*m + a for z.
3
Let n(w) = -21*w**2 + 87*w - 7. Let z be n(4). Solve 2*r + 6 = -6*y + 4*y, -2*r + z*y = 6 for r.
-3
Suppose 90 = -5*y + 225. Solve -a + 9*i = 4*i + y, 0 = -5*i + 25 for a.
-2
Suppose 14*h - 264 = -8*h. Solve -4*p = -4*q + p + 36, -h = 2*q + 5*p for q.
4
Let m be 102/12 - 2/4. Solve -2*d - m = -o, -3*o = -o - d - 4 for o.
0
Let p be 10/(8*15/24). Solve 5*t = -4*j + 7, p*j + 11 - 16 = -t for j.
3
Let v(x) = 6*x - 33. Let f be v(10). Let u be 6/f - (-136)/36. Solve -4*s = -u*y - 0*y - 32, -5*y = -s + 24 for s.
4
Let w be 6/15 + (-18)/(-405)*36. Solve -2*l + 4 = -4*j, 4*j + 4*l = -w + 10 for j.
0
Suppose -3 = -q, -9 = -h - 5*q + 10. Suppose 0 = -h*t - t + 115. Solve 3*x - 17 = 2*m + 2*m, 3*x = -4*m - t for m.
-5
Let t be ((-9)/3)/(-15) + 364/130. Solve -2*d - i = -t*i - 6, -i - 3 = 4*d for d.
0
Let v be (2 - 6/15)/(13/65). Let p be (-2)/((-12)/5 - -2). Suppose 4*k = -s - 2, 0 = s - 2*k - 32 + 4. Solve 5*j = -n - s, p*n - 2*j - 10 - v = 0 for n.
2
Suppose -3*g + 48 = -g. Let b be (6/4)/(6/2)*8. Suppose -12*w + 5*o = -9*w - 35, -o = b. Solve 0 = -l - 0*l + 5*j - g, 3*l - w*j = -22 for l.
1
Let t be (18/45)/(2/20). Suppose -t*i = 23 - 59. Solve 4*k + i = 3*r, -9 = 2*k - r + 4*r for k.
-3
Let m(k) = 32*k + 2. Let h be m(8). Suppose 0*v - 3*v + h = 0. Suppose 5*f = 4*i + v, 5*f + 3*i - 95 = -2*i. Solve -4*b - f = 4*x - 6, 0 = 4*b + 12 for x.
0
Let x(t) = t - 1. Let d be x(5). Suppose d*l + 3 - 15 = 0. Solve 0 = -4*y + l*y + z + 8, -4*z = 20 for y.
3
Suppose -57 = -23*c - 11. Suppose 5*l - 4 - 46 = 0. Solve 0 = 2*g + 5*y - 4*y - 14, -c*g + 5*y - l = 0 for g.
5
Suppose -z + 8 = -4. Let a = z - 16. Let j be 3/a - 143/(-52). Solve 3*d - 21 = j*s, -4*s + 6*s + 2*d = 4 for s.
-3
Let o be 1*(4 + 1 + -2). Suppose 2*x - 31 = 5. Solve 2*i + 3*i - 24 = -q, 3*q - o*i + x = 0 for q.
-1
Suppose -4*o + 4 = -4. Suppose j = 10 - 1. Let c = j + -7. Solve d = -2*v - 2*d - 5, -c*d = o*v for v.
5
Suppose -3*g - 8 = -h, 0 = -h + 5*g + 10. Solve 4*i - 5*j = -32, 4*i + h*j - 17 = 3*i for i.
-3
Let x = 2 - -6. Let u(d) = -d + 3. Suppose 5*p + r - 7 = 3*p, -r + 3 = -2*p. Let m be u(p). Solve x*c - 4*c = 4*g + 16, -m*g = 5*c - 13 for c.
3
Let l be 3 - (0 - -2) - 6. Let z(m) = 2*m + 4. Let p be z(l). Let b be (7 + -10)*8/p. Solve -b*f = -3*x + f + 10, -18 = -4*x + 2*f for x.
5
Suppose -5*n + 142 = -4*k + 147, -3*k = -3*n - 6. Solve 4*o + 5 = -11, 16 = -2*x - k*o for x.
2
Suppose s + 23 = 3*t, -1 = 4*t - s + 6*s. Suppose 5*l = -5*n + 75, 0 = t*l - l - 25. Let p = -15 - -17. Solve p*w - 3*d + 19 = 4*w, 0 = -2*d + n for w.
2
Let m = 3 + -1. Suppose -n - 2*p = 1, -1 - 18 = -m*n + 3*p. Suppose 0 = -t - n, 4*b = -t - 4*t + 23. Solve 4*h - 3*g - 12 = 0, -2*h + 3*g + b = -h for h.
0
Suppose 0 = -c - 2*w + 17, 3*c + 8*w - 39 = 6*w. Solve n + 7 = u, 2*n = u - n - c for u.
5
Let z(w) = 2*w**3 + 5*w**2 - 2*w - 7. Let h be z(-2). Solve -1 = 3*m - r, -m = m - r + h for m.
0
Suppose -8*l + 33 + 127 = 0. Solve 2*t = -6 - 2, c + l = -5*t for c.
0
Let f(w) = -w**2 - 3*w + 5. Let a be f(-6). Let u be (-4)/(-6) + a/(-3). Let q = 1 + u. Solve -4*j = j + 4*k - q, -5*j = 2*k + 2 for j.
-2
Let h = 7 + -4. Let i = -2377 + 2383. Solve k + r - 1 = 0, -i*k + 3*k + h = -r for k.
1
Let i be (-18)/1*2/(-3). Let q = 17 - i. Suppose 3*n + 2*d - 10 = 0, -2*n - 4*d + 12 = -0*n. Solve q*x - n = 13, 0 = -3*o + 2*x - 21 for o.
-5
Suppose -16*a + 51 = a. Solve a*h - 14 = -b, 4*h + 5*b - 24 = b for h.
4
Suppose 4*z = 5*k - 18, -3*k + k - z + 2 = 0. Solve 6 = -2*g, k*q - 3 = -0*q + g for q.
0
Suppose 49*g - 222 = -75. Suppose 5*w + 6 = 76. Solve 3*v + w = -d, -20 = d + g*d for v.
-3
Suppose -238 = -50*h + 16*h. Solve 5*a - z - 11 = 0, 0*a - z = a - h for a.
3
Suppose 0 = -y - 5 + 8. Solve -y*x + 5*j + 37 = x, 2*x = 2*j + 16 for x.
3
Let l(t) = -14*t + 395. Let g be l(28). Solve 2*s = -5*u + 14, -2*u - g*u + 5*s = -35 for u.
4
Suppose -m + 13 = 3*b, -2*m - 4*b - 2 + 22 = 0. Solve 3*q = -m*p - 0 + 6, -3*p + 13 = -2*q for q.
-2
Let r(n) be the first derivative of -15*n**4/4 + n - 1. Let p = -57 - -56. Let v be r(p). Solve -4*b + b - 2*i - v = 0, 0 = -3*b + i - 10 for b.
-4
Let y = -1313 - -1313. Solve 0 = 5*l + 4*z - y - 41, -2*z + 28 = 4*l for l.
5
Let o(f) = f - 5. Let m be o(8). Suppose m = -4*r + 23. Suppose -3*l + 4*l = 6. Solve r*y - 4*h = l, -2*h + 7*h = -4*y - 28 for y.
-2
Suppose -132 = -4*x - 5*t, x - 9 = -2*t + 27. Let p be (16 - 2)*8/x. Solve p*y - 31 = 5*i, 4*i - 3*y + 10 + 14 = 0 for i.
-3
Suppose 4*m + 5*x = -274 + 835, 4*x - 420 = -3*m. Let t be ((-8)/(-6))/(-1)*m/(-96). Solve 4*l - 4*a + t*a = 8, 4*a = 2*l + 8 for l.
4
Suppose y - 6*y - 23 = -2*m, 3*m - 21 = 3*y. Solve m = -4*c - b, 3*c - b + 2 = c for c.
-1
Let b be (-2)/(3 + 142/(-28) - -2). Suppose -b = -13*g + 6*g. Suppose 0*r + 6 = 2*r + 2*q, 5*r = 4*q + 24. Solve 3*l + 0*l + g*v = 12, 0 = r*l + 5*v - 15 for l.
0
Suppose 0 = q - 5*w + 18, q - 3*w + 6 + 4 = 0. Solve q*j - 2*d + 2 = -0, 0 = -4*d - 4 for j.
-2
Suppose 0 = -4*w + 3*i - 270, -4*i + 2*i - 62 = w. Let u be (-11)/w + 190/12. Solve -g + x - 2*x = 0, g - u = -5*x for g.
-4
Let q(y) = y**2 + 10*y + 20. Suppose -2*s - 32 = 2*s. Let r be q(s). Solve -r*n + x = 0, 0*n = -n + 5*x + 19 for n.
-1
Let v(q) = -q**2 + 5*q - 4. Let j be 8/24*(-36)/(-2) - 2. Let n be v(j). Solve 5*i + 7 + 8 = n, i - 17 = 4*s for s.
-5
Let s = -20 - 13. Let y = s - -37. Suppose -3*t = 2*t + 25, t - 11 = -y*h. Solve d + 2*d - 4*i = h, d - 8 = -2*i for d.
4
Suppose -32*p = -27*p - 25. Solve 4*o - 6 = s, -5*o + 2 = 4*s + p for o.
1
Let b = 8 - 4. Let w(t) = -3*t**2 + t + 2. Let v be w(-1). Let a be 21 - 3 - (-4)/v. Solve 4*c - 16 = -3*n - 4, b*n - c = a for n.
4
Let o be (-128)/(-20) - 3 - 18/45. Let j be (1 - 1 - 0) + 2. Let z(l) = l**2 - 4*l + 3. Let x be z(3). Solve -f - o*f = -j*h + 14, -4*h - f + 19 = x for h.
5
Let v = -67 - -122. Suppose 2*l = -3*l + v. Suppose -l*b = -6*b - 25. Solve 0 = -b*d - 5*z, 0 = 2*d - 3*d - 4*z - 9 for d.
3
Let m be -3 - 1/2*-6. Let a = 4 - m. Let k be (-14)/(-5) - (-4)/20. Solve -a*o - 4 + 20 = -k*h, -o - 5*h - 19 = 0 for o.
1
Let z = -81 + 92. Suppose -4*t = 3*g - 7, -3*t = 2*g + 3*g + 3. Let r be 9/2*t/6. Solve -z = -r*a - 2*l, -2*a - 16 = -3*l - 6 for a.
1
Let j be 7 - (1 + -1 + 2). Suppose 10*o - j*o - 100 = 0. Solve o = -3*z + x - 2*x, -2*x = -3*z - 5 for z.
-5
Suppose -2 = -2*b - p, -3*b = -3*p + 4*p - 3. Let s be -2 - -5 - (b + -1). Let m be (-8)/((-8)/(1 + s)). Solve -2*f - 5 = l, -22 +