-5)/27). Solve -6*b + v = -2 for b.
5
Let q = -5 + -5. Let m = q + 14. Suppose -w + m = -4*w + 2*x, 3*w - 5*x = -10. Solve -l - 3 = -w for l.
-3
Let i be -2 + (6 - 1) + (2 - 2). Solve -2*n - 7 = i for n.
-5
Suppose -3*l + 5*t + 22 = 0, -l + 3*t = -0 - 10. Suppose -12*o - 12 = -16*o. Suppose -l - 3 = a + o*c, 5*a + 5*c + 5 = 0. Solve -2 = -y + a for y.
4
Suppose 0 = -2*b + 20 - 0. Suppose 22 = 3*o - 4*f - 79, -2*f = -5*o + 173. Suppose 5*u - o = b. Solve -2*g + 1 = u for g.
-4
Let y = -1581 - -1590. Solve 0 = 2*v - y + 7 for v.
1
Let y be -6*(-1)/2 - 1. Let q(j) = 14*j + 87. Let b be q(-6). Suppose 0 = 7*k - 2*k - 25. Solve b*h = -y + k for h.
1
Suppose -68 - 12 = -40*g. Let i be (1 - (1 - -2)) + 4. Solve -g*j - 4 = i for j.
-3
Suppose 0 = 4*m - o, 0 = -2*m + m + 5*o. Solve m = -31*g + 36*g + 5 for g.
-1
Suppose -4*r = -4*c + 144 - 32, 0 = -3*r - 3*c - 66. Let b = r + 30. Suppose -26*h + 22*h = 0. Solve 0 = -h*q - 5*q - b for q.
-1
Suppose -2*f + 18 = 3*h + f, 5*h - 26 = -4*f. Let s = -198 + 205. Solve s*a = h*a for a.
0
Let l(y) = y**3 + 8*y**2 - 4*y - 19. Let r be l(-8). Suppose -r*d + 31 - 5 = 0. Solve -3*a - 1 - d = 0 for a.
-1
Let x(p) = p**2 + p - 152. Let q be x(13). Solve q = 14*t - 4*t for t.
3
Let r be 2/(12/(-20) + 1). Suppose 2*i - 6 = b - r*b, -3*i - 15 = -2*b. Solve -b*x + 7*x = 8 for x.
2
Let y = -2 + 4. Let b be 1/5 - y/10. Suppose -f = -b*f. Solve f = -4*u - 1 - 3 for u.
-1
Let x = 311 + -163. Let l = x + -143. Solve -3*p + l + 7 = 0 for p.
4
Let u = -5 + 7. Solve -6*g + u*g = 0 for g.
0
Let n be (2/8)/((-5)/(-160)*8). Let g be n/(-6)*-1*(-6)/(-1). Solve 0 = -4*i - 3 - g for i.
-1
Suppose -8 = -4*z + 8*z. Let g be -4 + 5 + (z - -1). Suppose -2*y + 3*m + 3 = g, -3*y = -3*m + 7*m - 30. Solve 0 = -n - n + y for n.
3
Suppose 0 = -5*z + 5*g + 16 + 9, -2*g = -3*z + 10. Solve -n + 4*n = z for n.
0
Let l(p) = -p**3 + 5*p**2 + 3. Let m be l(5). Solve -m*y - 21 = -6 for y.
-5
Suppose -13 = d - 1. Let a be d/(-5) - 12/30. Suppose 2*w = 5*f - 2*w - 23, -17 = -2*f - w. Solve 5*v - f = -a for v.
1
Suppose 130 = -c - 4*c. Let f be 4/c + (-196)/(-91). Solve -f*x = -7*x for x.
0
Let b(x) = x**3 - 2*x**2 - 4*x + 2. Let j be b(3). Let a be ((6 - 3) + j + -4)*-2. Solve 0 = -3*t + a*t + 4 for t.
-4
Let r(f) = f**3 + 3*f**2 + 3*f + 12. Let w be r(-3). Solve 2 = -w*v + 5 for v.
1
Suppose 0 = 2*u - 3 - 1. Suppose 0 = u*x + 3*g + 13, -2*g = -5*x - 4 - 38. Let t = -5 - x. Solve -t*v - 12 = v for v.
-3
Let r be (34/10)/((-13)/(-65)). Suppose -20 = r*k - 22*k. Solve 0 = k*f - f for f.
0
Let b(w) = 39*w**2 + 1. Let d be b(1). Suppose 6*k + d = 16*k. Solve -k*j + 7 = 15 for j.
-2
Let g(b) be the first derivative of b**2 - 6*b - 1. Let x be g(5). Suppose 3*a - 2 = x. Solve -6*r = -a*r for r.
0
Suppose -2 = 2*y + 2*f, 3*f - 2 = -11. Solve -y*z + 4*z = 4 for z.
2
Let l be 18/(-2) + 4/((-4)/(-11)). Suppose -y - 25 = -2*y. Solve -l*j - 3*j + y = 0 for j.
5
Let v(t) = -35*t + 640. Let b be v(18). Suppose 3*a = -5*h + 21, -2*a + 3*h = -0*a - 14. Solve -a*n + 2*n = b for n.
-2
Let v = -173 - -201. Solve 0 = -q + 8*q + v for q.
-4
Let i(d) = -d**3 + 24*d**2 + 25*d + 9. Let y be i(25). Solve -5*q - 24 + y = 0 for q.
-3
Let u = -28 + 58. Suppose 4*r = r - 2*c + u, -2*r + 2*c + 10 = 0. Solve -5*i + 3*i = -r for i.
4
Let m(d) = d**2 + 8*d - 24. Let w be m(-10). Let a be (-24)/(-36) - w/(-6). Solve a = -q - q for q.
0
Suppose 4*h = -h - 115. Let c = -19 - h. Suppose 0 = -c*w + f + 17, 0 = 4*w - 0*w - 5*f - 37. Solve 6 = w*z - 6*z for z.
-2
Suppose -5*o - 3*p - 18 = 0, 8 = -5*o + 2*p - 5. Let k be 1/(0 - o - 2). Suppose -57 = 124*d - 143*d. Solve -d*u + 13 = k for u.
4
Let y be (-2)/((9/(-16))/(-9)). Let b = 39 + y. Suppose -2*g = -3*i + 8, 5*i - 16 = 3*g - 2. Solve -i*a - b = 1 for a.
-2
Suppose 29*a - 143 = -27. Solve a*f = -f - 15 for f.
-3
Let x be 2/9 - 64/(-36). Let a = x - 0. Suppose 4 = a*n - 4, 0 = 2*v + n - 10. Solve -v*r = 2*r + 15 for r.
-3
Let r(f) = -3*f - 16. Let j be r(-10). Suppose j = -g + 17. Solve -2*m + 5*m - g = 0 for m.
1
Suppose -23*j = -168 - 85. Solve 7*l = j*l - 20 for l.
5
Let b be 2 + (10 - (-4)/(-2)). Solve b - 14 = 4*k for k.
-1
Suppose -34*k = -38*k - 44. Suppose -f + 5*v + 45 = -6*f, -5*f - 44 = 4*v. Let c = f - k. Solve 0 = -y + c*y for y.
0
Suppose -204*k + 203*k + 5 = 0. Suppose -43 = -2*a + 1. Let o be 4/a + 357/33. Solve -k*c + o = -14 for c.
5
Suppose 21*z - 28 = 19*z - 2*d, 5 = -5*d. Solve -8*x = -z + 39 for x.
-3
Suppose 5*t - 55 = -2*p + 8, -4*p + 16 = 0. Let r(u) = 2*u - 22. Let j be r(t). Solve j*z + 10 = -2*z for z.
-5
Let i be (-8)/(-5)*(1 - 11). Let c = -13 - i. Solve -c*f - 8 = f for f.
-2
Let q(l) = l**3 + 11*l**2 + l + 6. Let c be q(-11). Let g be 1/c + (-4)/20*-1. Solve g = -u - 1 - 0 for u.
-1
Let r = -15 - -41. Solve -5*y + r - 1 = 0 for y.
5
Let c(b) = -14*b**3 - 6*b - 11. Let m be c(-2). Suppose m*p = 116*p. Solve p*v - v = 3 for v.
-3
Let v(h) be the third derivative of 13*h**6/120 - h**5/30 + h**4/24 - 6*h**2. Let s be v(1). Solve -s = 5*l - 37 for l.
5
Suppose 0 = 4*n - 0*n - 2*c - 8, -5*c = n + 9. Suppose -2 = -3*i + n. Let j be (-187)/(-66) - i/(-6). Solve -8 = -j*v + 1 for v.
3
Let v(f) = 7*f + 6*f - 4 - f**2 + 13 - 7*f. Let d be v(7). Let p(u) = -u**3 + 4*u**2 - 2*u - 2. Let q be p(d). Solve 5*y - 4*y + q = 0 for y.
-2
Suppose -42 = -3*v + 3*y, 3*v + y + 38 = 6*v. Solve 0 = 7*u - 13*u - v for u.
-2
Let c = 2116 + -2097. Solve 0 = -c*l - 92 - 3 for l.
-5
Let b(x) = -x**3 + 8*x**2 - 5*x + 42. Let k be b(8). Let f(j) = j + 8. Let y be f(-4). Suppose 0 = -y*q + 20, -4*w + 2 = -q + 7. Solve -t - k - 2 = w for t.
-4
Let j be 94/18 + 10/(-45). Solve j*g - 16 = 4 for g.
4
Let l = 34 + -26. Suppose -r + l = 33. Let y = r + 25. Solve -2*s - 8 = -y*s for s.
-4
Let h(k) be the first derivative of -k**4/4 + k**3/3 - 3*k**2/2 - 5*k + 9. Let l be h(-2). Suppose -9*m - 16 = -l*m. Solve -m*p = p + 5 for p.
-1
Let l be 36/(-2)*(-1 - 0). Let o(w) = w**3 - 3*w**2 - 15*w + 7. Let p be o(6). Let f = p - l. Solve -3*i + f = -2 for i.
3
Let b be (4 + -2 + 0)*1. Let j be -3 + (0 + 2 - (0 + 3)). Let y = 6 + j. Solve -b*v - 8 = y*v for v.
-2
Let g = -2 + 4. Let z(l) = -l - l - 10 + 30. Let a be z(10). Solve 0 = -g*o - a*o + 2 for o.
1
Let u(s) = -s**3 + 23*s**2 - 22*s + 2. Let p be u(22). Solve 1 + p = -j for j.
-3
Suppose 5*w - 95 = -0*w - 3*i, 3*w + 2*i - 57 = 0. Solve 0 = -2*s - 9 + w for s.
5
Let l = 6 - 6. Suppose 3*n - 9 = 3*k - l*k, -4 = -n + 2*k. Solve -n*m = -0*m + 4 for m.
-2
Let i = 1552 + -1521. Solve 16*n - 15 = i*n for n.
-1
Let n be ((-18)/(-6) + 6)/(-1). Let l be -1*3 - (-2)/(-1). Let s = l - n. Solve 0 = 3*q - 2 - s for q.
2
Let a(m) = -7*m - 9*m**2 - 8*m**3 + m - 4 + 6*m**3. Let n be a(-4). Solve -3 - 9 = -n*x for x.
3
Suppose 0 = 4*i - 12, -3*d + 4*d = i - 14. Let h = d + 16. Suppose -f = -h - 0. Solve -q = 1 - f for q.
4
Let s be 10/50 - (-2)/30*-3. Solve -4*t - 2*t = s for t.
0
Suppose 2*c + 18 = -4*f, -2*f = -5*c + 2*f - 17. Let z be (c/((-5)/2))/1. Solve -z*d = 2*d + 8 for d.
-2
Let j = 11 + 1. Suppose 21*o + 16*o = 111. Solve o*p - j = -p for p.
3
Let b(h) = 4*h + 3 + h - 8*h + 4*h. Let p be b(2). Let r = 8 + -5. Solve p*f + r = -2 for f.
-1
Let a(z) = -z + 4. Suppose 10*f - 8 = 8*f. Let k be a(f). Suppose -3*b - 5*r - 16 = k, -2*b + 2*r + 6 = -10. Solve 0*u = b*u + 15 for u.
-5
Let v = 5 - 2. Let y = 12689 - 12688. Solve 4 = v*o + y for o.
1
Let s(b) = -3*b**3 - 2*b - 2. Let z be s(-1). Suppose -t + 8 = -z*p, 17 - 5 = 3*p. Solve -2*a - t = 3*a for a.
-4
Suppose -2*s - 5*m = -132, 3*m + 284 = 5*s + 4*m. Suppose 47*r = 39*r + s. Solve -r*f + 3*f = 4 for f.
-1
Let s be (1 - 2) + 2 + 41. Let v = -36 + s. Solve v = b + b for b.
3
Let b be (9 + -1)/(-2)*2. Let r be (-2)/b - (-4)/(-16). Suppose r = -k + 2 + 1. Solve i + 1 - k = 0 for i.
2
Let r(u) = -11*u + 79. Let j be r(6). Solve 4*n = j*n - 27 for n.
3
Let c = 40 + -37. Suppose c*s - 21 = -0*s. Solve 2*p + 1 = -s for p.
-4
Suppose 6*y - 31 - 5 = 0. Let r be y + (0 - -2) + 0. Let n be r/(-14) - (-40)/70. Solve n = -2*l + l + 3 for l.
3
Suppose 0 = 7*y - 16*y + 54. Solve y - 8 = -l for l.
2
Let j = -4 + 7. Let b be 15 - j*2/3. Let s = b - 10. Solve -d = s - 1 for d.
-2
Suppose 5*a = 3*u - 5, -2*u = 3*a - u - 11. Suppose b - a - 2 = 0. Suppose -b = -3*p - p. Solve 