9*s + 8. Let b be l(4). Let n be 3 + (4 - 1 - b). Solve -4 = -3*t + n*t for t.
4
Let d = -1364 - -1415. Solve d - 31 = 5*k for k.
4
Let x(b) = -1 - 7*b + b**2 + 1 + 6. Let g be x(6). Let r be ((-3)/(-2))/(3/6). Solve g = -r*y + 6*y for y.
0
Suppose 4*u - 4*f - 38 = -f, 5*u + 5*f = 30. Let y be ((-6)/(-4))/((-15)/(-40)). Let p be ((-4)/(-14))/(y/56). Solve u = -p*j + 24 for j.
4
Let h be 32/6*6 - 38/19. Solve -2*v + h = 8*v for v.
3
Suppose y + y + 26 = 0. Let w(o) = -o - 7. Let u be w(y). Let z be 16/u*15/20. Solve -z = -h + 1 for h.
3
Suppose -8*y = -25*y + 68. Solve -f + y = -0 for f.
4
Let b be -4*((-15)/12)/1. Let o(f) = -f**3 + 5*f**2 + f + 1. Let c be o(b). Suppose 7 = -4*m - j + c*j, 19 = 5*m + 3*j. Solve 0*g - m = -2*g for g.
1
Suppose 3*o + 15 = -3*x, -23 + 8 = -2*o + 3*x. Solve o*i = 5*i for i.
0
Let k = -8 + 11. Let q be k*(0 - (-1)/1). Let i be (-4)/(-1 - (5 - 2)/3). Solve -i*p = p + q for p.
-1
Suppose 5*j + 204 = -3*z + 75, 3*z - 60 = 2*j. Let x = 25 + j. Let u be (x/8)/(15/(-60)). Solve k + 4 = u for k.
-3
Suppose 3*k - 4 = -2*f, 5*f - 3*k + 2*k - 10 = 0. Solve f*h = -3*h for h.
0
Let j be ((-24)/16 - 0) + (-9)/(-2). Solve -5*o = -j*o + 8 for o.
-4
Suppose 59 = 5*h + 2*t + t, 0 = 4*h - 5*t - 62. Suppose 60 = h*n - 7*n. Solve 0 = 3*p - p + n for p.
-5
Suppose h = 2*t - 8 + 1, 3*t - 11 = h. Let o = h - 9. Let x be o/2*(-4)/8. Solve x*n = -2 - 0 for n.
-1
Let b(p) = p + 17. Let i be -3 + 0 - (-20)/(-2). Let g be b(i). Suppose 9 = -3*h, -g*x + 25 = h - 4*h. Solve -x*s + 4 = -5*s for s.
-4
Let b(r) = -r**3 - 12*r**2 + 8*r + 1. Let m be b(-13). Let h = -62 + m. Solve h*g = 9*g - 5 for g.
1
Let s be (-2)/(-5) + 198/30. Let c(w) = w - 9. Let d be c(13). Suppose -1 + 6 = k. Solve -s = -d*t + k for t.
3
Let z be 1/((-1)/(-6)*(-6)/(-8)). Solve 5*j - 9 = z*j for j.
-3
Let b be 4*(-3 + 14/8). Let u = -3 - b. Solve 0 = u*g + 10 for g.
-5
Suppose 0 = -7*g + 31 - 3. Suppose -g*d - j + 3*j + 22 = 0, 0 = -4*j + 4. Solve 2*u = d*u - 8 for u.
2
Let k = 155 - 151. Let d = 0 - 0. Suppose -2*f - f = d. Solve f = -h + k*h - 6 for h.
2
Let t(b) = -17*b + 264. Let y be t(15). Solve -11 = -10*l + y for l.
2
Suppose 30*f - 26*f - 5*a - 4 = 0, -5*a + 44 = 4*f. Solve -f*u - 5 + 5 = 0 for u.
0
Suppose -6*c - 14 = -5*f - 2*c, 5*c = -2*f + 32. Let v be (-1 - (-8)/3)/(1/f). Solve -n - v = -5 for n.
-5
Let m(b) = -41*b - 3. Let d be m(1). Let y = -42 - d. Solve 2 = y*l - 0 for l.
1
Suppose -6*z + z = -15. Let b = -2397 + 2402. Suppose w = -0*w + 7. Solve -b = -z*x + w for x.
4
Let m be (48/27 - 2) + (-1092)/(-54). Solve 8*s + 52 - m = 0 for s.
-4
Suppose 66 = 2*x - q + 61, 3*q + 15 = 0. Solve -10*h = -x - 10 for h.
1
Suppose 9 = 4*r - 3. Let p be 183/27 - ((-25)/(-9) + -3). Suppose 0 = p*y - 16 - 12. Solve -r*g + y = -11 for g.
5
Let g(v) = 13*v**2 + 61*v + 65. Let l(i) = -3*i**2 - 15*i - 16. Let c(x) = 2*g(x) + 9*l(x). Let h be c(-14). Let u = -20 - h. Solve 7*d + u = 3*d for d.
-2
Let k(n) = n**2 + 15*n - 34. Let l be k(-17). Suppose 5*d + w = -4, -5*w - 13 = -3*d + 7. Suppose -o + d = -9. Solve -3*v = -l*v - o for v.
3
Let a(v) = 0*v**2 - 49 + v**3 - v**2 + 45 + 2*v - 4*v**2. Let f be a(5). Solve 5*b + f = -14 for b.
-4
Let o = -51 - -55. Suppose w - 4 = -2. Solve o*z = 3*z + w for z.
2
Let b(x) = 10*x. Let k be b(-2). Let q be ((-11)/2)/(10/k). Suppose 14 = 5*h - q. Solve 0*n + h*n + 25 = 0 for n.
-5
Suppose 2*l = -u - 2, -3*l - 14 = -0*l - 4*u. Suppose -3*s = -5*z - 65, -3*z + 9*s - 55 = 4*s. Let y = l - z. Solve -3*h = h + y for h.
-2
Let k(x) = x**3 - 7*x**2 - 7*x - 6. Let d be k(8). Let c(q) = 4*q**d + 4*q**2 - 5*q**2 + 11 + 12*q - 2*q**2. Let m be c(-11). Solve -4*s + m*s = -4 for s.
1
Suppose 0 = -q + 61 - 12. Suppose -q = -28*w + 21*w. Solve w*l - 6*l = 3 for l.
3
Let t = 2185 + -2172. Solve -7*l - t = -34 for l.
3
Suppose 323*b - 318*b = 95. Solve -b*f + 16*f + 15 = 0 for f.
5
Let r(f) = 15*f**2 - 30*f. Let i be r(2). Solve -6*c + i*c = 12 for c.
-2
Suppose 6*s - 20 = s. Suppose -s*b - 3*i + 12 = 0, -2*b + 2*i = -0*i - 6. Let k be b/9 + 2/(-6). Solve -4*y + 14 + 6 = k for y.
5
Let s(l) = -l**2 - 3*l. Let r be s(-2). Let v = r + -1. Suppose -13 + v = -2*u. Solve 0 = -2*p - p + u for p.
2
Let g(d) = d**2 + 8*d - 10. Let w be g(-6). Let q(b) = b + 30. Let l be q(w). Solve t - l = -t for t.
4
Let b = -183 - -193. Solve -9*s = -b*s - 4 for s.
-4
Let v(s) = -3*s - 1. Let r be v(-1). Let q(p) = p**3 - p**2 - 2*p + 2. Let t be q(r). Let n be -1 + 6 - 0 - t. Solve -2*c = -n - 1 for c.
2
Let l(r) = -2*r + 4. Let j be l(4). Let q(v) = 2*v + 10. Let h be q(j). Solve -h*n = 3*n for n.
0
Suppose 0*b - 3 = -3*b. Let l be 5*(b - (-33)/(-15)). Let w = l + 7. Solve 3*z - w = 4*z for z.
-1
Let k be -1 + 15 - (43 - 36). Solve -6*z + k = -13*z for z.
-1
Let z(b) = -b**3 - 7*b**2 - 15*b - 5. Let w be z(-3). Solve 0 = -0*u + w*u - 16 for u.
4
Let w be ((-24)/20)/((-5)/25). Suppose 3*x - w*x = -9. Solve 0 = -4*u + 3*u - x for u.
-3
Let r(i) = -2*i + 3. Let p be 16/(-7) - (-6)/21. Let h be 1*(-6 - -4) - p. Let v be r(h). Solve 2*a = v*a for a.
0
Suppose 0 = 4*s - 100 + 92. Solve -c - 1 = -s*c for c.
1
Let x(i) = i**3 + 5*i**2 + i - 3. Let q(z) = z. Let c be q(-3). Let n be x(c). Let t(y) = y**3 - 13*y**2 - 16*y + 31. Let h be t(14). Solve p + h*p = n for p.
3
Suppose z - 5*k - 20 = 0, 4*z + 5*k = 2*z - 20. Suppose 5*p + 2*f = 3*f + 64, -2*f - 8 = z. Solve -p = 2*t - 5*t for t.
4
Let i(l) = -5*l - 18. Let t be i(-10). Suppose -3*h - 12 = 0, -5*k + 2*h + t = -51. Solve -2*g = 3*g - k for g.
3
Let m be (-22)/(-3) + (-8)/(-3) + -2. Let x(l) = l**3 - 3*l**2 - 2*l. Let d be x(4). Let i = m - d. Solve i = -4*c - c + 5 for c.
1
Suppose -3*h - 2 = -2*d + 39, 3*d - h = 51. Solve d*t = 17*t for t.
0
Let m = 80 - 73. Suppose m*z - 14*z = 0. Solve -5*r = -z*r for r.
0
Suppose 0 = -4*c - 3*p + 17 + 43, -2*p = c - 10. Let r = c + -18. Suppose 0 = 3*u + m - 4 - 10, r = 3*u - 4*m - 34. Solve 2*n = u*n for n.
0
Suppose -3 = -4*i + 57. Suppose -d = -3*j + i, -5*j = -4*d + 4 - 29. Solve d*v = v for v.
0
Let t be (-1 + 3)*(-36)/(-24). Suppose 5*r + 19 = t*n, 5*r + 0 + 7 = -n. Solve -2*p = 1 + n for p.
-2
Let p(k) = -k**3 - 32*k**2 - 32*k - 8. Let a be p(-31). Solve -6*x = -a - 7 for x.
5
Let i be (2/(-3))/((-2)/15). Let r(x) = -3*x - 21. Let l be r(-7). Suppose 7*d - d = l. Solve d*u + i = u for u.
5
Suppose -5*p + 4*p + 42 = 3*f, -5*p + 56 = 4*f. Let z be f/4*(-48)/(-28). Solve 2*s - 8 = z*s for s.
-2
Let z(v) = -2*v**3 + 3*v**2 - 6*v - 4. Let j(l) = l**3 - 2*l**2 + 3*l + 2. Let f(m) = -11*j(m) - 6*z(m). Let t be f(-3). Solve 4 = t*q - 0*q for q.
2
Let b(v) = 110*v + 229. Let k be b(-2). Solve -k = -w - 6 for w.
3
Let q be (-14 - -10)*6/(-4). Let u = 8 - q. Solve 3*x = u + 1 for x.
1
Let u(a) = 2*a**3 + 85*a**2 - 42*a + 85. Let g be u(-43). Solve -14*i - g = -0 for i.
-3
Let r(i) = -i**3 + 11*i**2 - 7*i - 27. Suppose -v + 6 = 2*s - s, 4*v = 3*s + 52. Let q be r(v). Solve -4 = -2*l + q*l for l.
-4
Let j(h) = 7*h + 4. Let k be j(-3). Let d(a) = -a**2 - 17*a + 6. Let o be d(k). Solve -p - o = -4*p for p.
2
Let p be 3 - (-6)/(2 + -4). Solve -1 + p = -n for n.
1
Let j = -14 + 7. Let c = -4 - j. Suppose 0 = 4*k - c*k - 1. Solve -k = -3*q - 4 for q.
-1
Suppose -7*j = -2*j - 10, 0 = 5*u - 4*j - 32. Solve u*r - 2 = 6*r for r.
1
Suppose 4*s - 12 = -0*s. Suppose 0*n = n - 3. Let k be 84/70*5/2. Solve k*i = -n - s for i.
-2
Let c be (-83)/(-9) + 22/(-99). Let z = 5 + c. Let s = 25 - z. Solve 2 = -3*a + s for a.
3
Suppose 8*q + 4 = 9*q. Let z be (3 - 2)*(q + -1). Let n(f) = 2*f - 2. Let d be n(2). Solve -d - 1 = z*k for k.
-1
Let p(u) = -u**3 - u**2 + 3*u. Let i be p(-3). Solve 5*r + 11 = -i for r.
-4
Let n(h) be the first derivative of -h**2/2 + 7*h + 2. Let a be n(3). Let q = 137 + -130. Solve a*o + 5 = -q for o.
-3
Let p be 4/34 - 98/(-34). Solve -3 = -p*y - 0 for y.
1
Let n(q) = -q**3 - 8*q**2 + 3. Let f be n(-8). Let b be f/(1 - 3/12). Solve -o + b = -3*o for o.
-2
Let k = 3 + -2. Suppose h + k = 6. Suppose b = -h*b + 42. Solve -4*r = -b*r - 6 for r.
-2
Suppose 6 = 5*v - 3*v, -15 = 3*i - 5*v. Suppose -2*r + i + 4 = 0. Solve -k - r = -0*k for k.
-2
Let m be 4/(-22) + ((-567)/(-33) - 3). Suppose 2*a + 2 = t + m, -13 = -a - 3*t. Solve -a + 3 = -z for z.
4
Let l(q) = -5*q**2 - 1 + 10 + 1 - q**3 - 1. Le