5, 5*h + 84 = -3*i. Let o = 24 + i. Solve -s = -o + b for s.
-1
Suppose -3*z + 4*i = -8, 0 = -3*z + i - 3*i + 14. Let b be (-8)/32 + (3/4)/3. Solve z*d + d = b for d.
0
Suppose -25 = -x - 5*n, n + 10 = 2*x - 62. Let q = x - 33. Solve 6*c = q*c + 4 for c.
1
Let i = -290 + 291. Solve g = -0*g - i for g.
-1
Let h(y) = 3*y + 85. Let t be h(-26). Let c be (t - 2) + -1 - -10. Solve 1 = 5*o - c for o.
3
Let r = -38 - -36. Let j be (r/6 - (-1)/3)/(-1). Solve 6*i - i = j for i.
0
Suppose -3*i - 110 = -8*i. Suppose -d + y + 10 = d, 3*d - 5*y - i = 0. Suppose p + 3*c = -1, 0 = -2*p + d*c + 18. Solve 1 - p = -2*z for z.
2
Suppose -35*r - 72 = -44*r. Solve -12*w + 20 = -r*w for w.
5
Suppose 5*j = 1 + 84. Suppose 22*b = j*b + 20. Suppose 4*g - 7*v + 3*v = -b, -g + 2*v - 4 = 0. Solve g - 5 = y for y.
-3
Suppose j = 5*t - 8, 0 = -j + 4*t - 7 - 0. Let s be (-4)/18 + 70/(-9). Let p be 3 + (2 - (j - s)). Solve p = -c - 3*c for c.
0
Let m(k) be the second derivative of -k**5/20 + 7*k**4/12 + k**3/2 - 5*k**2 - 7*k. Let u be m(7). Let b = 15 - u. Solve -g - b = -2*g for g.
4
Let s be (-2 + (-25)/(-5))/1 + 17. Solve i + s = -3*i for i.
-5
Suppose -5*u - 2*v + 30 = 0, -111*v + 106*v + 45 = 5*u. Suppose -3*k - k = -16. Suppose 0 = k*b - 4 - 0. Solve b = -5*o - u for o.
-1
Suppose -3*c + c = -8. Suppose -163*a = -149*a. Solve p + c*p + 25 = a for p.
-5
Let c be 704/64 + -7*1. Suppose -z - z = -14. Let f(k) = k**3 - 8*k**2 + 7*k. Let u be f(z). Solve -o - o + c = u for o.
2
Let g(y) = y + 21. Let r(s) = -3*s - 4. Let b be r(3). Let q be g(b). Suppose 2*h - q - 7 = n, -5*n - 39 = -4*h. Solve -h = 2*x - 2 for x.
-2
Let t(u) be the third derivative of -u**6/120 - 4*u**5/15 + 2*u**4/3 - 5*u**3/2 + 9*u**2. Let p be t(-17). Solve 8 + 0 = p*k for k.
4
Suppose 0 = 3*j - 4*c + 8, 0*c = 5*c - 25. Let d(f) = f**3 - 8*f**2 - 10*f + 12. Let i be d(9). Suppose 4 + 20 = i*r. Solve -6*y = -j*y + r for y.
-4
Let t(z) = -2*z - 9. Let r be t(-7). Suppose -16 + 2 = 3*g - 5*m, r*m = -2*g + 24. Solve g*o = 4*o - 6 for o.
3
Suppose 167*c - 164*c = 12. Solve -c*q - q - 20 = 0 for q.
-4
Let n = 22 + -13. Let i(f) = f**2 - 9*f + 2*f + n + 15*f. Let d be i(-7). Solve 0 = k + 5 - d for k.
-3
Let q be (-1)/(-11) + 864/176 - -2. Solve 18 - 11 = q*y for y.
1
Let l = -5 - -12. Suppose -g = l*g - 24. Solve -10 = 5*j - g*j for j.
-5
Let x(f) = f + 6. Let z(s) = s + 13. Let q be z(9). Let g = 18 - q. Let m be x(g). Solve 0 = -0*d - m*d for d.
0
Let f(p) = 2*p + 2. Let b = -4 + 10. Let q be f(b). Let w be 3 + (-11)/3 - (-28)/6. Solve -w*c + 2 = q for c.
-3
Let j(c) = c**2 + 2*c + 7. Let v be j(-5). Solve -v + 17 = -m for m.
5
Let x = 9 - 5. Suppose 5*m = -h + 30, 3*h - 29 = -x*m + 6. Solve -h*j + 11 + 9 = 0 for j.
4
Let m(y) = -2*y**3 - 10*y**2 + 41*y + 205. Let b be m(-5). Suppose 2*z = 3*z. Solve z = -b*d + d + 5 for d.
-5
Let c(w) = w**2 - 8*w + 10. Let n be c(7). Suppose -8*f + 104 - 88 = 0. Solve 0 = -f*d - d - n for d.
-1
Let i be (-8)/(-12)*(-21)/(-2). Suppose 2*o = i + 13. Suppose -o - 2 = -3*q. Solve -q*a - 2 = 2 for a.
-1
Suppose -3*g - 8 = -5*g. Suppose 0*d + q = -3*d - 1, 20 = g*d - 4*q. Let s be d/(-4) + 5/20. Solve -u + 4*u + 3 = s for u.
-1
Let t be (-2)/13 - (-4180)/130. Let w = t + -28. Solve -w*g + 2 = -5*g for g.
-2
Let x(a) = -16*a - 78. Let r be x(-5). Solve -1 = t - r for t.
1
Suppose -t - 4*l + 12 = 3*t, t + 6 = -4*l. Let j = 2 + -2. Suppose j = -2*g + t*g. Solve g = -n - 1 for n.
-1
Let o(s) = -s**2 - 4*s + 1. Let n(a) = -3*a**2 - 6*a - 6. Let g be n(-1). Let c be o(g). Solve -c*k = -2 - 2 for k.
1
Let r(z) = -4*z + 30. Let q be r(5). Solve 8 + 2 = -q*n for n.
-1
Let r(m) be the first derivative of 5*m**2/2 - 7*m + 6. Let u be r(3). Solve 5*t = 3*t - u for t.
-4
Let l(d) be the third derivative of d**6/120 + d**5/12 + d**4/8 - 17*d**2. Let y be l(-4). Solve -2*j + 4*j = -y for j.
-2
Suppose -8*w + 114 = 90. Solve h = w*h for h.
0
Let a(v) = -4*v**2 + v + 7. Let u(j) = 0*j + j + j**2 + 2*j**2 - 2*j**2. Let n(f) = a(f) + 5*u(f). Let s be n(-5). Solve -6 + s = g for g.
-4
Let o(w) = w**3 - 6*w**2 + 5*w + 5. Let c be o(5). Suppose -3*t = 3*y + 3, 0 = -5*t + 2*t - y + c. Solve 0 = -z - 4 + t for z.
-1
Suppose -2*v = -2*f - 158, -3*v + 8*v + 3*f = 435. Let a = 84 - v. Solve 4*l + 6 - 2 = a for l.
-1
Let r = -1 + 18. Let p = -15 + r. Solve p*s + 8 = 6*s for s.
2
Let t(l) = 2*l**2 + 15*l - 7. Let z be t(-7). Let s be ((-4)/3)/(z/(-21)). Let q be ((-1)/s)/((-2)/(-4)). Solve -q = 4*c - 5 for c.
1
Let a = -308 - -313. Solve -f - a = -10 for f.
5
Suppose -4*a - 5*t + 13 = 0, -3*t + 5 = 2*a - 0. Let m(l) = l + 14. Let n be m(-13). Let i = 3 + n. Solve a*y = i*y for y.
0
Let y(n) = -n**2 - 21*n + 2. Let z be y(-21). Suppose -2*u + 9*r - 4*r = -18, 14 = z*u - 3*r. Solve -7*c + 3*c = u for c.
-1
Let s(u) = 10*u - 4. Let f be s(2). Let a be 64/30 - f/120. Solve -z + a*z + 5 = 0 for z.
-5
Let b(p) = -p**2 + 19*p + 156. Let i be b(24). Solve -t = -13*t + i for t.
3
Suppose -f + 6 = 3*o - 1, 5*f = 5*o - 5. Suppose o - 14 = -4*h. Solve -9*a = -6*a + h for a.
-1
Let d be 2/(-12) - 1688/(-48). Let s = d + -35. Solve s = -v + 8 - 4 for v.
4
Suppose 15 = 7*z - 2*z. Suppose -2*h - 16 = -2*x - 2*x, 0 = -3*x - 2*h + 12. Suppose 1 = x*w + 5, -5*o + 37 = 3*w. Solve 0 = -g + z*g + o for g.
-4
Let f be (-5 + 3)/6*-51. Let z = f - 15. Solve 0 = -2*q - 4 - z for q.
-3
Let f(c) = -c**2 - 31*c + 94. Let d be f(-33). Solve -4 + d = -6*m for m.
-4
Let d(o) = o. Let j be d(2). Solve 0 = j*w + 6 - 12 for w.
3
Let v(l) = -l**3 - 10*l**2 - 8*l + 13. Let o be v(-9). Let z be o*(2 - (-3)/(-6)). Suppose 0*a + 2*a - z = 0. Solve a*u + 4 = -5 for u.
-3
Let h be (-1)/(-3)*1*6. Suppose -3*a + 0*a - 10 = 2*j, a + h*j + 10 = 0. Solve a*w = -3*w + 9 for w.
3
Let j(z) = -z**3 + 4*z**2 - 3*z. Let k be 6 + (-6)/5*15/6. Let c be j(k). Solve c*i = -3*i for i.
0
Suppose 0 = 8*d - 3*d + 15, -2*z - 6 = 2*d. Solve -7*w + 5*w + 8 = z for w.
4
Let g = 420 - 420. Solve 3*s + g*s = 3 for s.
1
Suppose 3*w = -3*q + 6, -w - 31 = w - 5*q. Let g be (-2)/w*(-24)/(-16). Suppose o + 4*d + 2 - 1 = 0, -5*o + 3*d + 18 = 0. Solve -o = -2*v + g for v.
2
Let q be 6/15 + (-54)/(-15). Suppose -4*j - 3*x = 2*x - 15, -q*x = -5*j + 29. Let k = j - 3. Solve 0 + 2 = -k*t for t.
-1
Let v be (-145)/(-30) - (-1)/6. Suppose l = -4 + v. Solve m - l + 3 = 0 for m.
-2
Let p be (4 - (-19 + 7)) + -12. Solve p*j - 101 = -97 for j.
1
Let v = 7 - 5. Suppose -2*m - 37 + 51 = 0. Let r be (-147)/(-42)*4/m. Solve -r = -4*u + v for u.
1
Let a = 83 + -89. Let o be -2*(-3)/a*(3 - 16). Solve -5 + o = -2*m for m.
-4
Let s(u) = -4*u + 127. Let n be s(31). Solve n*k + 3*k = 12 for k.
2
Let j = 150 + -146. Solve -j*g + 0*g + 20 = 0 for g.
5
Let b be (-4)/(-3)*3/2. Let k be -1 + 9 - 4/(-2). Suppose -2*u + k = 4*z, 3*z - z = -2*u. Solve 0 = -z*v + b*v for v.
0
Let k(f) = -3*f + 36. Let r be k(12). Solve r = a + a for a.
0
Let l(g) = 51*g + 157. Let u be l(-3). Let x = 0 - 0. Solve x = -a - u*a for a.
0
Let u(g) = 3*g**2 - 2. Let l be u(-2). Suppose -40 = 12*q - 16*q. Suppose 0 = -5*f + l + q. Solve -f = -0*n - n for n.
4
Suppose 2*b - 10 = 0, b = v + 4*b - 11. Let k be v/(-5) - (-6)/5. Solve k*z = -10 + 4 for z.
-3
Suppose 2*w + 164 = 196. Solve 0 = -9*x + 5*x - w for x.
-4
Let z(d) = 3*d**3 + 21*d**2 - 2*d - 9. Let v be z(-7). Solve 5*y + 0 = -v for y.
-1
Let f = -709 - -712. Let c be (-2)/(-10) + (-1)/5. Suppose 8*u - 3*u = c. Solve f*z - 8 + 2 = u for z.
2
Suppose -3*y + 3*i + 0*i = 54, -4*y - 78 = -i. Let u = -24 - y. Let k be u/(-34) - 500/(-85). Solve 0*h = 3*h + k for h.
-2
Let i(v) = -5*v - 80. Let m be i(-16). Let k = -8 + 11. Let l = k - m. Solve -2 = a - l*a for a.
1
Suppose -1030 = -71*s + 1100. Solve 14*k - 4*k = -s for k.
-3
Let w = -962 - -966. Solve -26 = w*l - 18 for l.
-2
Let w be -8 - (-12)/(3 + 0). Let f be (50/20)/((-2)/w). Let j(h) = -4*h - 3. Let n be j(-5). Solve 0 = f*l - n - 8 for l.
5
Suppose j + 2*j + c = 14, -5*j + 22 = 3*c. Suppose -17 = -j*k + 18. Suppose 6 = k*r - 4*r. Solve -r*u = -u for u.
0
Suppose 10 = -0*i + 5*i. Let j be (1 - (i + -5)) + -2 + -2. Solve 4*a + a + 25 = j for a.
-5
Let u = -72 - -72. Suppose -2*h - 5*h + 126 = u. Solve -2 + h = -4*j for j.
-4
Let d = 8 + 3. Let c = -3 - -10. Let j = d - c. Solve 4 = j*a + 16 for a.
-3
Let m(t) = 2*t**2