pose -b = 2*i + 16, 0 = 3*i - 3*b + 3 + 3. Let d = i + 10. Solve 5 = u + d for u.
1
Let k = 14 + -10. Solve -k*w - 25 = w for w.
-5
Let q = -5 - -5. Suppose -2*t = -q*d - d + 4, 4*t = -3*d + 12. Suppose m - 2 + t = 0. Solve -i = -m*i - 1 for i.
-1
Let u = 73 - 68. Solve -18 = -u*k - 3 for k.
3
Let a = 12 + -15. Let g(w) = w**3 + 3*w**2 + w + 4. Let j be g(a). Solve -q = -j + 5 for q.
-4
Let v(m) be the third derivative of m**6/120 - m**5/30 - m**4/12 + 2*m**3/3 - 7*m**2. Let f be v(2). Solve a + f = -1 for a.
-1
Suppose -7*w + 15 = -2*w. Suppose -4*o = -4 - 8, -w*o + 19 = 2*c. Suppose 4*g - c = 3*g. Solve -2*a + g = -a for a.
5
Let s = 0 - -4. Suppose -3*r + s*d + 79 = 0, -d + 30 = r - 6*d. Solve 0 = 6*c - c - r for c.
5
Let t be 6/(-4) - (-49)/14. Solve 9 = -t*g + 1 for g.
-4
Let s = 260 + -147. Suppose s = 4*p + 33. Solve 4*t - p = -0*t for t.
5
Let f = 66 - 36. Suppose -3*o + f = -27. Solve -o = -3*m - 4 for m.
5
Let q = -3 + 7. Let s(k) = k - 2. Let z be s(q). Solve -z*c - c = 0 for c.
0
Let m(c) = -4*c + 24. Let a be m(3). Solve 5*f = 2*f - a for f.
-4
Suppose 0 = -3*p + 4*f - 12, -p + 12 = 3*p + 4*f. Solve p = -6*j + 2*j + 20 for j.
5
Let p(k) = k - 1. Let b(r) = -8*r + 13. Let o(v) = -b(v) - 4*p(v). Let c be o(6). Suppose 0 = -2*d + 15 + c. Solve -2*a - a + d = 0 for a.
5
Let c be (1 + 9)*(-2 - -1). Let j be (-5)/(c/(-6)) + 3. Solve -y + 4*y + 3 = j for y.
-1
Let f be (-4)/(-10) + (-22)/5. Let d be -4 - -1 - -5 - f. Solve t - d = -1 for t.
5
Suppose 5 = 5*w - 0. Let r = w - 1. Let c(t) = t**2 + 1. Let n be c(-1). Solve n*q - 6 = -r for q.
3
Let i(c) = -2*c - 7. Let y be i(-6). Let z(o) = -2*o - 2. Let p = -2 - 0. Let n be z(p). Solve -y*q + 3*q = n for q.
-1
Let d = -13 + 14. Solve -2*y + d - 11 = 0 for y.
-5
Suppose 10 - 22 = -3*s. Solve -3*l = -l - s for l.
2
Suppose 0 = -3*a - 0*a - g + 15, 4*a - 7 = 3*g. Suppose -x = x. Solve 0*b - a*b = x for b.
0
Let j be (4/(-6))/(4/18) + 3. Let h be 2/((0 + -1)/1). Let g be (-3 + -1)*h/4. Solve -q + g = -j*q for q.
2
Let g(h) = h**2 + 5*h + 9. Let c be (-1)/((-1)/(-2 - 4)). Let j be g(c). Solve -m = -6*m + j for m.
3
Suppose -8*b = -11*b + 45. Solve 3*k = -2*k - b for k.
-3
Let j = -61 - -65. Solve 35 - 15 = -j*f for f.
-5
Let a be (-33)/(-12) - (-2)/8. Suppose 7*j - 4*h = 2*j, 0 = 5*j - a*h. Suppose 5*v - v - 5*i = 33, 23 = -v - 5*i. Solve 0*r + v*r - 4 = j for r.
2
Suppose 2*x = 2*n + x - 67, 3*x = -4*n + 149. Let p = 9 - 4. Solve 10 - n = p*z for z.
-5
Let o be 3/(-12) + 5/4. Let p = o - -1. Suppose p = b - 0. Solve -b*z - z = 0 for z.
0
Suppose -2*z = 5*h - 3*z - 32, 2*z - 6 = 0. Suppose -h - 13 = -5*y. Suppose 5 + 31 = 5*t + y*m, 5*m - 12 = 2*t. Solve -4*q + 4 = -t for q.
2
Let i(y) = y - 6. Let j be i(16). Solve -j = -5*p - 30 for p.
-4
Suppose 4*m = 2*r - 62, -2*m - 3*r + 1 = 36. Let d = m + 7. Let l be (-10)/(-6) + 6/d. Solve -2*o + l = -7 for o.
4
Let h be (-3)/6*(1 - 5). Let a be ((2 - 2) + h)*2. Suppose 2*b + 4 - 20 = 0. Solve b = -0*p - a*p for p.
-2
Let q = -44 - -64. Solve -q = -u + 6*u for u.
-4
Suppose 14 = 3*f - 3*k + 5*k, -2*f - 2*k + 6 = 0. Solve -f = -0*n - 4*n for n.
2
Suppose -9 + 4 = v - 4*l, -2*l = -4*v + 8. Let d be (-4)/(-3)*v/2. Solve d*r = -9 - 1 for r.
-5
Let n = -5 - -8. Suppose 0 = -20*l + 25*l - 10. Solve -n*f + f = l for f.
-1
Let n be ((-20)/(-6))/((-12)/(-18)). Solve 15 = -n*u - 10 for u.
-5
Let j = 3 + -19. Let l be (j/6 + 2)*-3. Let v(h) = 3*h - 1. Let c be v(1). Solve 0 = t + l + c for t.
-4
Let x(t) = 5 + 3*t + t**2 - 10*t - 2*t**2 - 4*t. Let i be x(-10). Suppose -4*r + 5 + 27 = 0. Solve -3*o = -r*o - i for o.
-3
Let q = 6 + -2. Solve 1 = q*u - 3*u for u.
1
Suppose -45*x + 41*x = -8. Solve x*z = -z - 12 for z.
-4
Let r = -57 - -61. Solve -r*m + 13 = 1 for m.
3
Let m(f) = f**2 + 8*f + 1. Let y be m(-8). Let j = 5 - y. Solve 3*u - u = j for u.
2
Let n = -147 - -147. Solve n = -4*m - 0*m for m.
0
Let v be 24/(-108) - 281/(-9). Solve 4*f - v = -11 for f.
5
Suppose -4*r + 6 = 3*y - 31, -r + 4*y = -33. Suppose -5*v = r - 18. Solve -4*n - v = 3 for n.
-1
Suppose -9 - 1 = -10*n. Solve 0 = -z - 1 - n for z.
-2
Suppose j + j = -8, -20 = 3*w + 5*j. Solve -4 = -w*c - 4*c for c.
1
Suppose 3 = -2*l - 1, 0 = 3*p - l - 20. Solve 2*y + p = -0*y for y.
-3
Let g be (-2)/(-4) + 5/2. Suppose g*h = 2*h. Solve -3 = -h*q + q for q.
-3
Let z(s) = s + 4. Let h be z(6). Suppose 3 = 3*y + 21. Let c = y + h. Solve -c*t + 25 = t for t.
5
Let j be 0 + (-3 + 1 - -4). Suppose 3*x - 10 = -j*x. Let w be 0 + (0 - (-2)/2). Solve r = x + w for r.
3
Let p be (-4)/(-5)*7*80/32. Suppose 3*y + 2*v - 13 = 0, 6*y = y - 3*v + 22. Let o = 9 - y. Solve -p + o = -2*t for t.
5
Suppose -40*d = -38*d. Solve -4*w + w + 15 = d for w.
5
Let a = 44 - 35. Solve 4*u - a = u for u.
3
Suppose -r + 3 = -2*z, z + 4*z - 25 = -4*r. Solve -25 = r*x - 0*x for x.
-5
Suppose 0 = -2*i - 2*g + 6, 3*i - 4 = -5*g - 1. Solve -26 + i = 4*n for n.
-5
Let d = 3 + 4. Let b be -2 + (d - (2 + 0)). Let m be ((-12)/(-14))/(1/7). Solve -a + m = -b*a for a.
-3
Let v(r) be the third derivative of r**4/24 + r**3/2 - 2*r**2. Let c be v(-3). Suppose c*f - f + 20 = 0. Solve -k = 3*k - f for k.
5
Let o(a) = -a - 3. Suppose -2*t + 0*j + 6 = 3*j, -32 = 4*t - 5*j. Let z be o(t). Solve 2*q + 6 = -z for q.
-3
Let w(a) = -a**2 + 7*a. Let i(v) = 2*v**2 + 10*v + 8. Let b be i(-6). Suppose 2*l - b = -6. Let j be w(l). Solve j = 4*t - 12 + 32 for t.
-5
Let i be 2/(-6) - (-5)/(-3). Let h be -3 + (-12)/i - 6. Let v = h + 9. Solve -x = 2*x + v for x.
-2
Suppose -2*t - 8 - 8 = 0. Let c = t + 11. Suppose -c*l + 8*l = 10. Solve -l*f - 8 + 0 = 0 for f.
-4
Let l be 44/11*(0 + -1). Let z be 9*l/(-14 + 2). Solve 3 = z*d - 3 for d.
2
Let c(s) = -s**3 - 3*s**2 + s + 4. Let r be c(-3). Solve 2*q = -3 + r for q.
-1
Suppose 0 = -y - 3*q + 8, -5*q = 3*y - 2*y - 12. Solve -8 = 4*i - y*i for i.
-4
Suppose 7 = 4*a - 13. Suppose 0 = -5*g, -5*t + a*g + 1 = -19. Solve -t*c = -2*c for c.
0
Let f(c) = 18*c - 93. Let s be f(6). Let x(n) = -n**3 + 6*n**2 - 4*n - 3. Let j be x(5). Let y be (1 + -1)*(-1)/j. Solve -w + 6*w + s = y for w.
-3
Let x(q) = q**3 - q**2 - q - 2. Let t be x(2). Suppose t = -0*n + n. Solve 8 + n = -2*a for a.
-4
Let z(b) = b**3 + 7*b**2 + 5*b - 2. Let f be z(-6). Let c be 2/1*2/f. Suppose -5 - c = -w. Solve 3*x + 0 = w for x.
2
Let d be 4 + -2 + 0 + 2. Suppose 0 = -d*r - 5 + 9. Solve 5*c = -r + 26 for c.
5
Let o = -14 - -8. Let w = o + 10. Solve -w = k - 1 for k.
-3
Let t be (2/2)/(1/(-5)). Let o(n) = 2 + 6 + n - 2. Let g be o(t). Solve 0 = -0*b + b - g for b.
1
Suppose 0 = g + 2*y - 3, 4*y - 43 = -5*g + y. Let u = 32 + -24. Let l = g - u. Solve -l*p - 2*p - 15 = 0 for p.
-3
Let u be 4/18*36/8. Solve -s + 4 = u for s.
3
Let f(m) = -2*m**3 - 2*m**2 - 3*m + 3. Let v be f(2). Let z be v/(-5) - 6/15. Suppose -4*n + z*c = -68, -2*n + 2*c = -33 + 1. Solve -3*j = -0*j + n for j.
-4
Suppose -3*a + w + w - 1 = 0, -4*a = 3*w - 27. Suppose a*j - 12 = 18. Solve -j = -u - 4*u for u.
2
Let z(k) = k**2 + 5*k + 4. Let r be z(-5). Let n be (10/(-3))/(4/(-6)). Suppose r*t = n*t. Solve -4*b + t*b = 12 for b.
-3
Suppose 0 = 2*m + i - 4, -5*i = -m - 4*m + 40. Solve -m*h - h = 0 for h.
0
Suppose b + 16 = -b. Let g = -8 - b. Solve -2*k + g*k = 0 for k.
0
Suppose w + 5 = 5*i - i, 0 = -3*i - 5*w + 21. Solve -i*j = -2 - 4 for j.
3
Let l = -15 + 21. Suppose -d = -8 + l. Solve -1 = d*u + 3 for u.
-2
Suppose h = 2*g + 7, h + 5*g = 3*h - 16. Solve -6 = -m + h*m for m.
-3
Let m(o) = -o**2 + 2*o - 3*o - 1 - 4*o. Let t be m(-5). Let n(v) = -3*v**3 + v**2 - 1. Let z be n(t). Solve -z*w = -1 + 4 for w.
-1
Let a = -2 + 4. Solve -4 = -a*b - 0 for b.
2
Suppose 0 = s - 5*l - 28, -5*l + l - 26 = -2*s. Solve -q + 0 = s for q.
-3
Suppose -3*o = -3*n + 6*n - 15, 4*o - 2 = -n. Solve -2*f - 14 = -n for f.
-4
Let l be (3 + 0/1)*1. Let n(z) = -z**3 - 4*z**2 + 2*z + 5. Let q be n(-4). Let t be 1 + -6*q/l. Solve 4*r - 9 = t for r.
4
Let n be (-1)/4*-4 - -2. Solve -4*x = -x + n for x.
-1
Let k(t) = -t**2 + 11*t - 24. Let j be k(7). Solve -j*y + 2*y = 0 for y.
0
Let q(b) = -b + 1. Let t be q(-5). Suppose y - t + 3 = 0. Solve -3 = -2*v + y for v.
3
Let d be -5 - (-3)/(12/40). Solve -5*s + 25 = d for s.
4
Suppose 3*g = 5*g - 26. Suppose 5*k - g = 117. Let a = k + -11. Solve -3*m = 6 - a for m.
3
Let x = 