= 6 - 23. Let u = l - -21. Suppose 14 = u*k - 3*k. Solve 5*h + 6 = -k for h.
-4
Let g = 1811 - 1799. Solve 0*b = 4*b + g for b.
-3
Suppose 36 = 10*k - 14. Solve k*m - 2*m - 12 = 0 for m.
4
Let b be ((-24)/72)/((14/24)/(-7)). Let a(n) = -n - 5. Let i be a(-7). Suppose -y = 3*x - 3, i*x + 1 = -5. Solve b*p - p - y = 0 for p.
4
Let y = -6 + -12. Let x = y - -22. Suppose -37 = -5*o + 23. Solve -x*j - o = -j for j.
-4
Let n(b) = -b + 1. Let q be n(1). Let y be (((-280)/15)/28)/(2/(-6)). Solve g = -q - y for g.
-2
Let r be ((-1224)/(-1428))/((-6)/(-56)). Solve -27 + 11 = r*p for p.
-2
Suppose 21*j = 8*j + 39. Solve 0 = -j*b - 8 + 2 for b.
-2
Suppose 4*o - 4 = -4*h, 3*h + 5 = 2. Suppose 5*k = 4*k + o, 5*p + 4*k - 28 = 0. Solve 10 = -p*t - 2 for t.
-3
Suppose -4*k - 5 = -2*o - o, -5*k = 4*o - 17. Let i be (2 - -1) + -3 + -4. Let d = i - -5. Solve -o*c - d - 2 = 0 for c.
-1
Let h be 3 - (1 + 3) - (-24)/8. Let z(x) = 2*x - 3*x**2 - 1 + 4 + x**3 - x**2. Let g be z(3). Solve 7*n - h*n - 20 = g for n.
4
Let m(k) = -10*k**2 - 11*k - 3. Let p(l) = 3*l**2 + 4*l + 1. Let i(s) = -3*m(s) - 8*p(s). Let r be i(-1). Solve 5*g = 2*g - r for g.
-2
Let v(f) = -f**2 - 13*f - 25. Let r be v(-12). Suppose -5 = 2*c + 11. Let h = c - r. Solve -2 - 3 = h*n for n.
-1
Let p be ((-90)/20)/(2/(-4)). Let d = p + 2. Solve 5 = -4*v - d for v.
-4
Let v(m) be the second derivative of 3*m**5/10 - m**4/4 + m**3/2 - m**2/2 + 14*m. Let i be v(1). Solve 5*n = -0*n - i for n.
-1
Suppose -5*p = 3*k - 23, -p = -k - 1 - 2. Suppose -6*a + p*a - 3*h + 9 = 0, -2*a + 11 = h. Let y be 18/8 - 2/8. Solve l = -y*l - a for l.
-2
Suppose 0 = 33*u - 9*u - 360. Solve -74*g + u = -71*g for g.
5
Let c be -4*(5 - -22*6/(-24)). Solve -5*g - c = -7*g for g.
1
Let v(o) = -o**2 - 26*o - 23. Let m(j) = -j**2 - 17*j - 15. Let q(h) = -7*m(h) + 5*v(h). Let c be q(7). Solve 5*r + 4 = -c for r.
-3
Suppose -5*v - 116 = -3*i, -4*v = i - 0*i + 86. Let k = v + 25. Solve k*r - 6*r = -12 for r.
4
Suppose 3*b - 4*l = 7, -4*b - 2*l = -4*l - 16. Suppose -6 = 4*x + 4*n + 2, b*n = -15. Let r be (0/2)/(20/(-20)). Solve k - x + r = 0 for k.
1
Let r be (0/((-49)/7)*1)/3. Solve 14*l + 83 - 13 = r for l.
-5
Suppose -5*f - 2*k + 10 = -3*k, -3*k + 8 = 4*f. Let g = -15 - -18. Solve g*l + f = -1 for l.
-1
Suppose -3*q + 10 = 2*q. Let a = -16 - -26. Suppose 0 = a*i - 10 - 10. Solve -i*j = q*j for j.
0
Let a = 96 + -94. Suppose -20 = -7*u + 2*u. Let c be -2*(-3)/u*2. Solve c*g - 13 = a for g.
5
Let w = -21 + 23. Let c = -6 + 10. Solve -6*d - c = -w*d for d.
-1
Suppose 0 = -5*r + 2*g + 32, -4*r + 22 = 2*g - 0*g. Let v = 8 - 2. Let c = v - r. Solve -4 = -c*b - b for b.
4
Suppose 4*y - 251 = -3*i, -y + 2*i - 14 + 85 = 0. Solve -y*n + 66*n = 1 for n.
1
Let j(s) = -s**3 + 6*s**2 - 23*s + 62. Let k be j(4). Solve 0 = k*f - 3*f - 2 for f.
-2
Let s(b) = 29*b**2 + 52*b - 2. Let f be s(-2). Let n = -21 + 41. Solve -f*d + 6*d + n = 0 for d.
5
Let l(a) = -8*a - 7 - a**2 - 3*a + 20*a - 2*a. Let b be l(4). Solve -3*p = 2*p - b for p.
1
Suppose 8*u + 2*y = 4*u + 2, -5*y = 5*u + 5. Let c(m) = m**2 + 0*m**u - m**3 + 0*m**3. Let w be c(1). Solve x - 4 = -w for x.
4
Let t(h) = -3*h - 5. Let n be t(-3). Suppose 5*w = n + 6. Solve -4 = 2*r + w for r.
-3
Suppose 3*w - 6*w = 0. Let v = 4 - w. Suppose -1 = -3*y - 3*q + 5, 0 = v*q. Solve x = -y*x + 12 for x.
4
Let h = 337 + -332. Solve -8 = g - h for g.
-3
Let t be (0 + 92)*19/76. Suppose -y = 5*h + 15, h + 3*y = 3*h + t. Let d be (11 - 10) + (1 - h). Solve -4*v = d + 14 for v.
-5
Let o be (9/27)/((-1)/(-15)). Suppose 3*t - 20 = 4*r + 48, 0 = -o*r + 5*t - 90. Let w be (-1 - -1)/(-11 - r). Solve w*i + 2*i = -4 for i.
-2
Suppose -2*p = -3*m - 2 - 5, 3*p + m = 38. Solve -1 = 2*s - p for s.
5
Let n be 1 + 56 + (1 - -2). Let z be (-6)/45 + 8/n. Solve m + 6 - 3 = z for m.
-3
Suppose d = 4, -3*b = 2*d - 12 + 304. Let a be (-4)/(-18) - b/36. Solve -2*r + 10 = a*r for r.
2
Let i = -197 + 197. Let l be (-16)/(-7) + 8/(-28). Solve i = -c - l - 2 for c.
-4
Suppose x = -0*x + 3. Let f(t) = t**3 - 4*t**2 + 4*t + 5. Let g be f(3). Solve -x*d = -g*d - 10 for d.
-2
Let w be 3 + ((-4)/(-10) - (-14)/(-10)). Let z be (w + (-40)/15)/((-4)/6). Solve 2*a - 3 = -z for a.
1
Suppose 2*o + 8 = -3*r + 4, 12 = r - 2*o. Suppose r*x + p = -0*p + 5, 2*x = -5*p + 1. Let c be (1/x)/(16/192). Solve 0 = -t - t + c for t.
2
Suppose -4*g = -2*g + 4*b - 108, -4*g + 240 = -4*b. Let u = -57 + g. Solve 3 = -4*a - u for a.
-1
Let y(o) = 2*o**2 + 2. Let a be y(-2). Suppose -25 = -a*l + 5. Solve 0 - 6 = -l*f for f.
2
Let y be 20 - (1*(4 + -7))/1. Solve -5*b - y + 8 = 0 for b.
-3
Let a = 21 - 25. Let f be (-40)/(-25) + a/(-10). Let o(b) = 3*b**2 - 6*b + 3. Let k be o(2). Solve 0 = -f*w - k - 1 for w.
-2
Let v = -147 + 157. Solve v*k + 15 = -25 for k.
-4
Let t = 206 - 197. Solve 5 = 4*y + t for y.
-1
Let w(u) be the third derivative of -u**4/24 + 4*u**3/3 + 10*u**2. Let z be w(6). Solve 0 = -4*f - 10 + z for f.
-2
Suppose 7*i - 14*i + 49 = 0. Let y be 2/(-6) - i*(-3)/9. Let x = 2 + -2. Solve -h + x = -y for h.
2
Let c = -1 + 10. Suppose 9*m - 21 = -3. Solve p + c = -m*p for p.
-3
Let s be ((6/(-2))/3)/((-16)/64). Suppose -12 = -5*n + 13. Suppose -3*o = -n + 2. Solve 5*q - o = s for q.
1
Let s(a) = -a**2 - 7*a + 4. Let x be s(-8). Let y be (x/6)/(2/(-12)). Let c = 7 - y. Solve 4 - 1 = c*j for j.
1
Let b = -27 + 30. Suppose 2*r + 4*o - 2 = 0, -5*r + b*o + 13 = -5. Solve -r*a + a = 8 for a.
-4
Let r be 486/30 + (-21)/5 + 5. Solve -t + 19 = r for t.
2
Suppose 7*g + 48 = 10*g. Solve -g = -5*d - 1 for d.
3
Let k be 22*1*10/20. Solve k - 27 = 4*h for h.
-4
Let l = 28 + -71. Let h = -63 - l. Let b = h + 22. Solve -b*s + 0 = -6 for s.
3
Let c = 999 + -989. Solve c + 23 = 11*w for w.
3
Let p(g) be the third derivative of g**4/12 + 4*g**3/3 - 9*g**2. Let j be p(-11). Let o(u) = u**2 + 15*u + 14. Let c be o(j). Solve c = 3*h - h - 8 for h.
4
Suppose 8*t - 3*t = -10. Let m be -7 + 13 - (-6)/t. Solve -a + m*a = 8 for a.
4
Let u(r) = -r**2 - 7*r - 24. Let q be u(-6). Let t be q/(-63) - 3/((-21)/19). Solve 4 = t*a - 2*a for a.
4
Let p = -106 - -130. Solve p = -7*x + 3 for x.
-3
Suppose 8*m = -2881 + 2985. Solve -m*s + 11*s = 4 for s.
-2
Let h(k) be the first derivative of 2*k**3/3 + 3*k**2/2 + k - 10. Let p be h(-3). Let r be 3 - -1 - (3 - 4). Solve r*l + 0 = p for l.
2
Suppose -3*f + 5*u = -68, -f + 8 = -23*u + 25*u. Solve 10*h - f = 14*h for h.
-4
Let v(j) = -j**2 - 13*j + 10. Let p be v(-13). Let w be p/(-35) + 27/21. Let n be (-3 + 2 + w)/1. Solve c = 2 - n for c.
2
Suppose -66 = -3*z - 18. Let y(q) = q**2 - 4*q + 0*q + 4 + 5*q + 3*q. Let c be y(-4). Solve 0 = 4*j - z - c for j.
5
Let m(g) = g**3 - 10*g**2 + g + 2. Let j be m(10). Solve 4*v + 0*v = j for v.
3
Suppose -3*b - 10 = 2*d - 65, 4*d - 2*b - 86 = 0. Solve 0 = -w + 26 - d for w.
3
Let t be (4 - (0 + 6))/(-2). Let s = t - -1. Solve -3*o - s - 4 = 0 for o.
-2
Suppose -4*t = 4 - 20. Let r be 1562/(-14) + 6/(-14). Let v be (-4)/6 + r/(-24). Solve -v*g + 0 = t for g.
-1
Let f = 141 - 141. Let w be -4 - (f + 60/25)*-5. Solve c - 3*c = w for c.
-4
Suppose 3*y - 24 = 3*v - 6*v, 5*y + 14 = 4*v. Solve -v*z + z - 5 = 0 for z.
-1
Let k(n) be the third derivative of -n**6/120 - n**5/4 - n**4/24 - n**3 + 10*n**2. Let z be k(-15). Let q be (-12)/(-4)*6/z. Solve q = 5*v - 8 for v.
2
Let s be 8/6*(41 - 48/6). Solve -s = 5*l - 19 for l.
-5
Let u = 51 + -48. Suppose -x - u*x = 2*y - 10, 3*x + 5*y - 18 = 0. Solve x - 10 = -3*f for f.
3
Suppose 0 = -3*w - 8*p + 3*p + 31, 5*w = 3*p + 29. Let r = 1819 - 1817. Solve r*h - w + 3 = 0 for h.
2
Suppose 13*r = -4*r + 68. Solve -11 = -3*k + r for k.
5
Let y be (1 - -4) + (-7 - -2). Suppose 2*f = 5*u + 20, 2*u - f = -3*u - 20. Let t be (3/1)/((-6)/u). Solve y = -t*j - 2*j + 16 for j.
4
Let m = -1 - -5. Suppose -10 = -m*g - 3*j, -2 = -4*j - 10. Let v be ((-36)/16 + 3)*g. Solve -2*k = v*k - 25 for k.
5
Let i = -362 + 362. Let f be ((-50)/(-15) - 2)*6. Solve -2*n - f + 2 = i for n.
-3
Let m be ((-26)/(-4))/((-4)/(-96)). Suppose w = 5*w + m. Let q = -35 - w. Solve q*a = a + 3 for a.
1
Let u be (-268)/1206 - (-2)/(-18)*-2. Solve u = -5*k - 5 - 0 for k.
-1
Suppose -8*k + 4*k + 4 = 0. Let f(r) = -11*r**2 - 7*r - 9. Let c(s) = -5*s**2 - 3*s - 4. Let y(z) = 9*c(z) - 4*f(z). Let q be y(k). Solve 2