7*s - d*s + 20 = 0. Solve -s*f + 0 = 4 for f.
-1
Suppose -49*b + 47*b = 68. Let n = -24 - b. Solve -4*m - n = m for m.
-2
Let a = -1 + 7. Let w be -7 + (-48)/(-8) + 16 + 0. Solve -a*i - w = -3*i for i.
-5
Let d = -54 - -60. Suppose -j - d = -2*w, 3*w = 5*j + 6 + 3. Solve j = 4*v + 4 for v.
-1
Suppose 4*y + 4 = -h, -2*y - 2*y - 16 = 4*h. Let l = -8 + 17. Let p = 9 - l. Solve -j + 1 + y = p for j.
1
Let d(x) = x**2 + 4*x - 8. Let k be d(-6). Let c be (-3 + 6)/(6/k). Suppose 0 = 5*r - 5*n - 85, r + 2*n + n + 3 = 0. Solve 2*h + c*h = -r for h.
-3
Let b be (-28)/(-6) + (-1)/(-3). Suppose -16*y = -6*y - 50. Suppose 3*g + y*h - 29 = 0, -b*g + 0*g + 27 = 3*h. Solve -2*f + g*f = -3 for f.
-3
Suppose -42*f - 91 + 2023 = 0. Solve -44*a = -f*a - 10 for a.
-5
Let g = -11 + 13. Let f be -11 + 2 + 6/2. Let b = f + 15. Solve 0 = -g*m - m - b for m.
-3
Let v(c) = 3 + 2*c**2 - 3*c**2 + 7*c + 3*c - 4*c. Let h be v(6). Suppose -j = 2*o, -j + h*j - 5*o = 27. Solve -2*p + 4*p + j = 0 for p.
-3
Let n = -25 - -46. Suppose 2*t + t = n. Solve -t*b + 4*b = -12 for b.
4
Let b be (45/6)/((-36)/(-144)). Solve 0 = 2*h - 8*h + b for h.
5
Let s = 593 + -579. Solve -2*f - 8 = -s for f.
3
Let b = -39 + 50. Suppose b = 9*a - 43. Solve -2 + a = -2*x for x.
-2
Let r(f) = 2*f**2 + 5*f + 3. Suppose -5*v - 34 = 3*m, -m - 3*v = 2*m + 24. Let l be r(m). Solve -t + l = -3*t for t.
-3
Suppose 0*u = 2*u. Suppose -4*y + 0*y = u. Suppose f + 2*j = 4*j + 8, 3*f - 8 = 2*j. Solve f = -2*k - y + 2 for k.
1
Suppose 4*w + 14 = -2*a - w, 0 = -4*a + 2*w - 28. Let t be 2/3*-1*(1 + a). Solve g + 3*g = -t for g.
-1
Let k(c) = -c**2 - 3*c + 10. Let l be k(-5). Let j = -73 + 77. Solve -j*a + 6*a - 10 = l for a.
5
Let o = 266 - 266. Solve o*k - 8*k + 24 = 0 for k.
3
Suppose -3*n + 5 = 5*c, -3*n + 3 = 18. Let v(y) = y**2 + 8*y - 11. Let i be v(-9). Let l = i + 20. Solve -c*b + l - 6 = 0 for b.
3
Suppose 0 = 3*g - 7 + 1. Suppose -2*t - o + 13 = 0, -3*t + 2*t = -3*o - 10. Solve t*p = g*p for p.
0
Let w(m) = -m**2 + 5*m + 17. Let y be w(-7). Let l = y - -77. Solve l = 2*u - 0*u for u.
5
Let p = 387 + -369. Solve p*r + 20 = 22*r for r.
5
Suppose 25*n - 90 = 22*n. Let f be -1*4/n + 32/15. Solve -r = f*r for r.
0
Let r be 3/30 + 25493/370. Solve 39 = 6*t + r for t.
-5
Let y(r) = -r**3 + 12*r**2 - 8*r - 3. Let c be y(11). Let p = 34 - c. Solve p*x = -x for x.
0
Suppose -1 - 34 = -y. Let d = y + -25. Let k = 10 - d. Solve 3*m - 7 + 1 = k for m.
2
Let q be 2 - (0 - (3 + 0)). Let r(b) = -5*b + q*b - b**2 + 2*b**2. Let a be r(0). Solve 0 = -a*k + 5*k + 10 for k.
-2
Let y be 6 + 3/(-1 - 0) + 5. Let q = y - 5. Solve 0*s + s = -q for s.
-3
Let g be 1 + 1 + 14 + -1. Let u be -6*(4/12)/(2/(-4)). Solve -s = u*s - g for s.
3
Let g be (1 + 1 - 1) + -1. Suppose -9*f - 22 = -22. Solve f = -g*x + 4*x for x.
0
Let q(f) = -2*f**3 - 48*f**2 - 2*f - 44. Let t be q(-24). Solve -2 = -t*b - 14 for b.
-3
Let m be (-560)/(-49) - 6/14. Suppose -4*y + 7*j + 136 = 3*j, 4*y = -j + 116. Let o = y - 27. Solve o*k - m = 4 for k.
5
Let s(u) = -2*u - 12. Let t be s(-8). Let m(i) = 2*i + 14. Let f be m(7). Let h = f - 25. Solve -t = h*p + p for p.
-1
Suppose 0 = -4*p + 12 + 24. Let i = 62 - 60. Solve -i*r = r - p for r.
3
Suppose 0*b - 9 = -2*b - i, 0 = -2*b + i + 15. Suppose 0*o + 4*k = o - b, -2*k + 18 = 3*o. Solve o - 2 = -2*f for f.
-2
Suppose -n + 6*n - 10 = 0. Let t(y) = -4*y - y**n + 0*y - 5*y**3 + 3*y. Let g be t(-1). Solve g = -z + 1 for z.
-4
Suppose 0 = -7*r + 595 - 280. Solve r = 9*x - 0*x for x.
5
Suppose w - v + 5*v = -9, 4*w + 2*v = 6. Solve 12 = -w*l + 21 for l.
3
Let f(g) = g**3 - 11*g**2 + 10*g - 32. Let m be f(11). Solve -m + 8 = 14*j for j.
-5
Let j(f) = -f**3 + 3*f**2 - 3*f + 3. Let r be j(2). Let w(o) = -o - 11. Let u be w(-9). Let q be ((-1)/u)/((-1)/(-2)). Solve -q - r = 2*k for k.
-1
Let b(t) = 4*t - 4. Let v be b(2). Let m be 12 + 4 + (0 - v) + -4. Solve m + 7 = 3*k for k.
5
Suppose 4*b + 3*m + 175 = 0, 2*b + 2*m + 40 = b. Let i = 46 + b. Solve -3*n + n + 10 = i for n.
5
Suppose -16*h = -3*h - 182. Let x be (h/40 - (-14)/56)*5. Solve 4 + 2 = -x*l for l.
-2
Suppose 3*w + 21 = 10*w. Solve 0 = x - 4*x + w for x.
1
Let j = -24 + 22. Let r be j/(4 - (-28)/(-6)). Solve -3 - r = -2*c for c.
3
Let k(q) = q**2 - 13*q + 25. Let z be k(11). Suppose d = -0*d - z. Let m = d + 4. Solve -c - 4 = m for c.
-5
Suppose 0 = -0*q + 3*q - 3*t - 18, -5*t + 5 = 0. Let p(l) = l**3 - 7*l**2 + 8*l - 2. Let m be p(4). Let u be 54/m*2/(-6). Solve 2*j = q - u for j.
3
Suppose -3*p = -b + 17, -2*p + 1 + 9 = 2*b. Solve 9*j - b = 7*j for j.
4
Suppose 36 = -68*d + 73*d - 3*x, 2*d + 4*x - 4 = 0. Solve -20 = -d*k - 2 for k.
3
Let u(b) = -b**2 - 4*b - 7. Let h be u(-5). Let n = -6 - h. Solve 0 = 2*k - n*k for k.
0
Let u = 1124 + -1122. Solve -21 = -u*g + 9*g for g.
-3
Let j(k) = -4*k**2 + 14*k + 25. Let g(b) = b**2 - 5*b - 8. Let l(r) = -7*g(r) - 2*j(r). Let t be l(-6). Suppose t = -3*v + 5 + 1. Solve 0 = -v*a + 6 for a.
3
Let n(x) = -4*x**3 - 8*x - 5 + 8*x**2 + 0*x**3 + 3*x**3 + 15. Let g be n(7). Suppose 0 = -4*l + 4, -l + 1 = a + g*a. Solve i + 2*i - 12 = a for i.
4
Suppose -14*x + 139 + 71 = 0. Solve x = -5*z - 5 for z.
-4
Suppose -3*g + 81 = -9. Let q be 16/6 + (-20)/g. Solve -q*l - 4 = 2 for l.
-3
Let t be 2/(-2) + -1 + -13. Suppose 2*f + 98 = -3*y - 2*f, -3*f + 84 = -3*y. Let m = t - y. Solve -4*h - m - 1 = 0 for h.
-4
Suppose -4*b = 2*g + 2, -5 - 8 = -4*b + g. Let s(y) = y**2 - 252*y - 2891. Let t be s(-11). Solve -12 = b*o + t*o for o.
-3
Let g(h) be the second derivative of 5*h**4/12 - 5*h**3/6 + 5*h**2/2 - 4*h. Let x be g(2). Let i be 20/(-12)*(-18)/x. Solve 0 = f - 4 + i for f.
2
Suppose -3 + 11 = -4*k. Let n(q) = q**2 - q - 4. Let g be n(k). Solve 3*d = g*d - 4 for d.
-4
Suppose -2*h + 9 = -3*s, -26*s + 23*s + 33 = 5*h. Solve 14 = h*d + d for d.
2
Suppose -5*i = -5*i - 3*i. Solve -w - 14 + 11 = i for w.
-3
Let n be (3/(-5))/((-4)/(-100)). Let p be 3/(-2)*(115/n + 5). Solve q - p = -3 for q.
1
Let h be 21 - (3 - -4)/1. Solve 13*g - 4 = h*g for g.
-4
Let u(c) = -c - 2. Let z be u(-6). Suppose s - 9 = l, -3*s - 5*l - 9 = 4. Suppose 0 = s*h - h - 18. Solve f = z*f - h for f.
2
Let z(d) = 7*d + 18*d**3 - 18*d**3 - 9*d**2 - 17 - d**3. Let w be z(-10). Solve w = 3*y - 2 for y.
5
Let b(m) = -3*m**3 - 4*m**2 + 3*m + 8. Let k(d) = 4*d**3 + 4*d**2 - 4*d - 9. Let c(s) = -5*b(s) - 4*k(s). Let l be c(4). Solve -2*h + 0*h = l for h.
0
Suppose 0 = -3*b + 2*k + 38, 4*k = 5*b - 56 - 8. Let f be (-4 + 52/b)*174. Suppose 0*j = -5*a - 2*j + f, -5*j - 5 = 0. Solve 3*r - a = -r for r.
3
Let v = 1162 + -1157. Solve v = -6*r + 11 for r.
1
Suppose 8*k = 70 + 2. Suppose 0 = v - k + 3. Suppose 2*y = -f - v, 0*f + 5*f + y + 3 = 0. Solve -4*j - 4 + 12 = f for j.
2
Suppose -4*m - 12 = -3*n + 5*n, -2 = 2*n + 2*m. Solve 5*b = n*b for b.
0
Let u(i) = i + 7. Let d be u(-4). Let s be d + (-2 - -5 - 6). Suppose 3*l + 4*p - 16 = -0*l, s = -3*l - 2*p + 8. Solve -4*j + l*j + 4 = 0 for j.
1
Let a be (4 + -1)*(-4)/(-4). Let y(k) = k**3 - 5*k**2 - 7*k + 11. Let b be y(6). Solve 8 = b*x - a*x for x.
4
Suppose -1 = -j + s, -9*j + 4*j = -2*s - 5. Solve -b = 4 - j for b.
-3
Suppose -2*i - a - 128 = 0, 0*i = -i + 4*a - 73. Let u be (-39)/i*10/2. Solve -u*w = 3 - 0 for w.
-1
Suppose 11*j + 2 = 13*j. Suppose x = 3*y - 9, 2*x - y = x + j. Solve 0 = -d - d - x for d.
-3
Suppose -5*p + 4*v = -36 - 17, 5*v + 46 = 4*p. Solve -8*m - p - 7 = 0 for m.
-2
Suppose 0*y + i = y - 4, -i = -5*y + 24. Suppose y*b + 20 = 4*x, x - 8*b - 5 = -4*b. Suppose 39 = 3*k + 5*s + 5, -x*s + 25 = 0. Solve k*v + 2*v - 20 = 0 for v.
4
Let q = -1576 + 1588. Solve -w - w = -q*w for w.
0
Let w = -240 - -240. Solve -4*d + 0 - 4 = w for d.
-1
Let b(z) = z**2 + 7*z - 9. Let d be b(-10). Suppose -2*f = -5*y + d, f + 0*f - 6 = -3*y. Suppose -1 = -2*n + q + 3, y*q - 2 = -n. Solve 4 = -n*p + 14 for p.
5
Let n(p) = p**2 - 1. Let f be n(-2). Let z = 324 - 316. Suppose -q - 2*j + 69 = 2*q, -97 = -4*q - j. Solve z*h + q = f*h for h.
-5
Let n(z) = 2*z - 8 - 8 + 14. Let t be n(3). Let a = 9 - 9. Solve -16 = -a*b - t*b for b.
4
Let m = 110 + -99. Solve -m*r + 6*r = 0 for r.
0
Let b be -5*(-4)/(-32)*4*-2. Let o = -24 - -35. Let d = o - b. Solve d = 2*r - 2 for r.
4
Suppose -5*u + 16 = -3*u. Suppose 5*s + 3 = 5*c - 22, -c - 5*s = 1. So