0, 0 = 2*s - 7*s - z*h + 15 for s.
3
Let q be (-5 - (-102)/10) + (-1)/5. Suppose -q*t + 12 = 3*p, 2*t = p + 4*p - 20. Solve 0 = -p*s + 2*r - 4*r + 14, 3*r + 9 = 4*s for s.
3
Let c = -208 + 208. Solve 3*t + 3*r = 0, c*t = 2*t + 4*r - 8 for t.
-4
Suppose 0 = 2*x - 3*f - 3 + 1, -2*x - 3*f = 10. Let d be 2*(-45)/10*x. Solve -2*l + 2 = -2*h, 0*h - 3*l = 2*h - d for h.
3
Let n(u) = u**3 - 11*u**2 + 18*u + 5. Let o(z) = -z**3 - 4*z**2 - z + 5. Let x be o(-4). Let f be n(x). Solve 4*c = 2*c + 4*w + 18, 5*c = -f*w for c.
3
Suppose 2*c - 21 = 9. Let t be 28/(-6)*c/(-10). Suppose m = 2*m - 23. Solve k - 2*k = -z - t, 3*k - 4*z - m = 0 for k.
5
Let n(d) = 7*d - 63. Let a be n(9). Let g(v) = -v**3 + 9*v**2 - v + 9. Let x be g(9). Solve -3*j + 2 = 5*k, a = -x*k + 2*k + 4*j + 2 for k.
1
Let j = -1724 - -1727. Solve -3*k - 3*q = -0*k - j, 5*k - 15 = 5*q for k.
2
Suppose 0 = y + 4*y + c - 70, 4*y + 4*c = 72. Suppose 2*i = 3*q - 10, 2*i - y = -3*q + 1. Solve -5*f - 6 = -i, -3 = 2*x + 3*f for x.
0
Let o be 3 - (3 + 1)/4. Suppose a - 3 = o. Solve -5*h - 2*u = 3*u + a, 4*h = 2*u - 22 for h.
-4
Suppose -19*q = -16*q. Let a = 2 - q. Solve -4 + 0 = 3*k - a*b, 3*b = 3*k + 9 for k.
2
Let c = -55 + 57. Let j(y) = y - 10. Let s be j(14). Solve v + v - 10 = s*q, 0 = -c*q - 2*v - 20 for q.
-5
Let z(v) = v**2 + 15*v + 9. Let l be z(-17). Let p = -38 + l. Solve -p*a - 3*j + 15 = 0, a - 3*j - j = -20 for a.
0
Suppose 4*q + 109 = 3*h + 21, 4*h + 5*q = 138. Solve 3*x - h = -5*g, 2*x - g = -0*x + 4 for x.
4
Let g = 83 - 89. Let k = 5 - g. Solve -v = -3*x - 15, 0*x + 5*v = -x + k for x.
-4
Let l = -171 - -173. Solve -n = -5*h + 5, 6 = -l*h + 2*n - 0*n for h.
2
Let b be (-2 + 1)*8/(-4). Let y be 394/(-26) - b/(-13). Let k be (16/(-40))/(1/y). Solve -6 = 2*m, k = -s - 2*m - 5 for s.
-5
Suppose 2274 = 4*r + 2262. Solve 5*v - r = 2*q + 2*v, q + 5*v = -8 for q.
-3
Suppose 128*m + 55 = 139*m. Solve 4 = -h + u - 2*u, -m*h - 3*u - 22 = 0 for h.
-5
Let x(v) = v**3 + 7*v**2 - 30*v + 3. Let y be x(-10). Solve y*z + 31 = 4*f, -3*z = 2*f - 3 + 10 for z.
-5
Let f = -4 + 8. Let m = 464 - 462. Solve -2*u - m*b - 14 = 2*u, b + 15 = -f*u for u.
-4
Suppose -4*k + t = -50, 3*k - 4*t - 32 = k. Solve h + k = -2*h + 2*r, -2*r = 0 for h.
-4
Suppose -2*h + 7*h + 4*o = 8, -2*h = -o - 11. Let g be (-4)/(-1) - (-4 + 40). Let m = g - -35. Solve m*t + 5 = 2*i - 6*i, t - 25 = h*i for i.
-5
Suppose 2*a + 10 = 5*d - 5, 3*a - 4*d + 5 = 0. Solve 0 = k + 5*s - 2*s - 12, -s - 10 = a*k for k.
-3
Suppose k = -s - 3*k - 8, -s - 2*k + 2 = 0. Let q be ((-42)/s)/((-1)/2). Solve 5*g + 18 = x, -q*g - 3*x = -2*g + 6 for g.
-3
Let x be (-4 - 4)/(4/2). Let p = 1 - x. Suppose -2*r - p = -3*a - r, 2*a = 2*r + 10. Solve -4*j + 3*u + 6 = a, -5*j - u + 4 = 6 for j.
0
Let m(p) = -p + 2. Let d be m(-13). Suppose -d = i - 18. Solve i*o - 2*x = -6, 0 = o + 2*o + x + 6 for o.
-2
Suppose -4*q + 17 = z, 0*z = -4*z + 3*q - 8. Solve -2*f - z = m, 2*f + 5*m - 14 = m for f.
-3
Let m = 719 - 717. Solve 0*p + m*p - 11 = 3*y, -3*y = 4*p + 5 for y.
-3
Suppose 6*w - 83 = 5*w. Let t = w + -54. Suppose 2*n = -2 + 20. Solve 3*f - 5*u - t = 0, n = -2*f - 4*u - 1 for f.
3
Let j(k) = -2*k - 8. Let m be j(-5). Let x be 5/10 - (-19)/m. Solve 4*s + 4*b + 4 = -0*s, -5*b + x = 2*s for s.
-5
Suppose 52*t - 211 = 49. Solve 5*h + 23 = t*k + 2*h, 0 = 3*k - 4*h - 16 for k.
4
Let l be ((3 - -1)/(-12) + 0)*-3. Suppose 1 = o - l. Solve 4 - 2 = 2*h + 2*r, o*h - r = -7 for h.
-2
Suppose -5*j + 39 + 6 = 0. Solve 3*v + d + 19 = 7*v, d + j = 2*v for v.
5
Let u be 10*8/200 + 46/10. Suppose 3 = -4*l + 3*b + 2, u*b - 15 = 0. Solve v + 1 = -l*o, o - 4*v + 5*v = 0 for o.
-1
Suppose -5*i + 7 = z, 2*z - 4*i + 15 = 43. Let r be 10/(-6)*-2 - (-8)/z. Solve 4*t + 5 - 1 = -4*w, -r*t = 3*w + 8 for w.
4
Let b be (28/22)/(186/1023). Solve -8*p = -5*p + 5*v + 28, -2*v = -3*p + b for p.
-1
Let c(j) = j**2 - 17*j - 385. Let i be c(30). Let t be (3/2)/((-3)/(-4)). Solve 0 = -2*a - 4*r + t, -i*a - r = 4*r for a.
-1
Suppose -16*b - 43 + 123 = 0. Solve 2*r - 5*f = -13, -2*f = b*r - 1 + 19 for r.
-4
Suppose 0 = 4*p + 86 + 14. Let l = -23 - p. Solve -l*y - 3*y - g = -24, 0 = 5*y - 2*g - 27 for y.
5
Let u be ((-10)/50 - (-21)/5) + -1. Let o be (-15)/(3 - 18/4). Solve -4*g = u*w - 38 + 13, -2*w + o = g for w.
3
Let o be 4/(-16) - -2*(-9)/(-8). Solve 11 = -3*u + 4*n + o, -2*n = 0 for u.
-3
Let u(q) be the second derivative of 0 - 9/2*q**2 - 1/6*q**3 - 11*q. Let k be u(-9). Solve -3*b = 5*p + 32, -b + k*p - 8 = p for b.
-4
Suppose 5*q + 3*m - 7 = 0, -3*q + 11 = -m - 4*m. Solve -2*n + 0*n - 16 = q*r, 12 = -4*n for r.
-5
Suppose -13 = u - r, 4*r - r - 30 = 2*u. Let k(l) = l**3 + 10*l**2 + 6*l - 24. Let w be k(u). Solve 2*b + 18 = 4*q, -7 = -w*q + 5*b - 10*b for q.
4
Let g = -82 + 110. Solve 5 = a + 1, -4*q = 3*a - g for q.
4
Let r(l) = -l**3 - 7*l**2 + 9*l + 12. Let t be r(-8). Suppose -t*m = 7 - 27. Let c be 1/((-2)/(-30)*5). Solve -c*q - 4 = h - 0, 0 = -q - m*h + 22 for q.
-3
Let n = 2 + 20. Let u = 26 - n. Solve 8 = 4*k, 0 = u*c - c + 3*k - 21 for c.
5
Let l(x) = -x**3 - 14*x**2 + x - 48. Let u(i) = i - 1. Let w(v) = -l(v) + 4*u(v). Let t be w(-14). Solve 5*j = -p + 3, t*p - j + 6 = j for p.
-2
Let t be 462/84 + 2/(-4) + -5. Solve -3*n + 12 = 3*h, -n - 3*n + 3*h - 12 = t for n.
0
Let z(r) = -r**3 - 8*r**2 - 12*r + 6. Suppose 3*o - 25 = -13. Let m = o + -10. Let x be z(m). Solve -41 = 5*k + 4*i, -x = 5*k + i + 23 for k.
-5
Suppose 20 = -34*z + 39*z. Suppose -z*w + 12 = 0, 0 = -3*t + w + 38 - 2. Solve -4*d + 2*a = -24, -a - 3*a = -d + t for d.
5
Suppose -3*m + 20 = 3*t + 5, 2*m = -5*t + 7. Suppose -3*s = 2*s + 5*z - 20, -5*s = -2*z - m. Solve 3*q - 1 = -o, -2*o - 20 = s*o for q.
2
Suppose r = 4*i - 3, -i + 9 = -4*i + 3*r. Solve -b = w - 2*w + 2, -w + i = 0 for b.
0
Let q = -80 - -104. Suppose 10*j + 2*j = q. Solve -o - 3*i = 6, i = j*o - o + 2 for o.
-3
Suppose 0*f + 7*f + 105 = 0. Let v be -1*(-5)/f*0. Solve -4*h + 16 = 5*x, v*x + 4 = h + 2*x for h.
4
Suppose 4*w - 19 - 25 = 0. Suppose 6*d = 13 + w. Solve -5*l + 3 = 3*r - d, 0 = 2*l - 3*r + 14 for l.
-1
Let k = 47 + -38. Suppose 10 = k*l - 4*l. Solve 5*m = 4*y - 7, 4*m = -l*y - 5 - 11 for m.
-3
Let n(c) = -4*c + 1. Let l be n(-1). Let k(v) = v**2 + 5*v - 46. Let a be k(-11). Suppose 0 = -l*i + a - 0. Solve -x - f = i*f + 8, x - 3*f = 0 for x.
-3
Let d be 32 + 18*10/(-20). Solve d = -4*j + i, -i + 13 = j - 3*j for j.
-5
Let a(h) be the first derivative of h**3/3 + 2*h**2 - h + 5. Let v be a(-5). Let b be (16/10)/(8/100). Solve -5*i - b = -5*s, -3*i + 14 = 3*s - v for i.
1
Let v = -106 - -110. Solve v*l = -16, 2*l = -5*a - 7 - 1 for a.
0
Let a(n) = -n + 15. Let y be a(13). Suppose y*x = 4 + 2. Solve 9 = 3*r + p - 2, x*r - 1 = p for r.
2
Let b(a) = -4*a + 27. Let g be b(-16). Suppose g = -5*w + 106. Solve j = -w*l - 12, 3*j + 9 = -j + l for j.
-3
Let j be 2 + -1*1*-2. Let y be (2/(-12))/((-12)/72). Let a = y - -1. Solve -4*s + 0*q = -q + j, -8 = -a*q for s.
0
Let g(t) = 5*t + 23. Let l(c) = 4*c + 24. Let h(u) = -6*g(u) + 7*l(u). Let i be h(10). Solve 0*z + 5*q = 2*z + i, -3*z - 10 = -5*q for z.
0
Let k(h) = 3*h + 15 - 6*h + 7*h - 5*h. Let q be k(12). Solve 5*d = -q*j + 18, -d + 5*j - 1 - 1 = 0 for d.
3
Let f = 982 - 978. Solve 4*v = -0*r + f*r - 8, 4*v - 37 = -5*r for r.
5
Let s be (-39)/(-6) - (-18)/(-36). Solve -c + 4*c - 3*u + s = 0, -3*c - 5*u + 34 = 0 for c.
3
Let c = 20 - 18. Suppose -2*s + 6 = c*r, 4*r - 3*s = 3*r + 7. Suppose r*h = -5 + 21. Solve 0 = 4*k + h*x, -x - 5 = -5*k - 35 for k.
-5
Let i(y) be the third derivative of y**4/6 - 7*y**3/6 - 5*y**2. Let z be i(6). Suppose -2*a + 43 = z. Solve 4*m = -3*p + 18, a = 4*m + 1 for p.
2
Let q(m) be the third derivative of -m**5/60 + m**4/6 + 4*m**3/3 - 7*m**2. Let y be q(0). Solve 3*d - 18 = 3*z, 3 - y = 5*z for d.
5
Let v be ((-6)/4)/(13/(-26)). Suppose -v*g - 4*g = -6*g. Solve 10 = -4*i - 5*o, g = 3*i - 5*o + o + 23 for i.
-5
Let r(n) = 3*n - 27. Let p be (444/72)/((-1)/(-6)). Suppose 3*a + 4*w - p = 5*w, -4*w = 4*a - 44. Let k be r(a). Solve 5*d + 28 = -4*x, 4*d - k + 23 = x for x.
-2
Let x be (-2)/(-7) + 549/63. Let u(i) = -i**2 + 17*i - 4. Let y be u(x). Suppose -y = -3*c - 8. Solve o = -o + 4*r - 8, 5*o - 4*r = -c for o.
-4
Suppose -5*r + 3*r = 8, -2*r = -4*n + 24. Let z = -34 - -43. Su