) = 3*n + 64. Let x be t(-20). Solve 5*b - x = 11 for b.
3
Let u = -171 + 175. Solve u*t + 3*t = 2*t for t.
0
Suppose -i = 2*i. Suppose 0 = -4*s + 4*t - 3 - 5, 2*t - 2 = i. Let v be s/(-3 - (-42)/15). Solve -v = -5*o - 15 for o.
-2
Let q(u) = -u - 3. Let d be q(3). Let o(x) = x**2 + 6*x + 6. Let v be o(d). Solve 2*r - 16 = v*r for r.
-4
Let g be (-1)/((3/24)/((-18)/24)). Suppose -g*i = -2*w - 2*i + 14, -5*w + i + 44 = 0. Solve -o = 2*o - w for o.
3
Let i be -1 + (4 + -4)/((-2)/2). Let c be 2 + i + 0 + (-2 - -3). Solve 5*v + c + 8 = 0 for v.
-2
Let l = -12 - -14. Solve u + 6 = -l*u for u.
-2
Suppose 0 = 2*d - 5*s + 7, 0 = -d - 2*s + 7*s - 11. Solve -25 = -9*m + d*m for m.
5
Let k be -3 - ((-3)/(-1) - 97). Suppose 4*m - k = -5*d, -2*m - 37 = -d - 2*d. Suppose 6 = 5*g - 9. Solve g*v + 0*v = d for v.
5
Suppose 19 = 4*o + 2*w - 13, -4*o = 3*w - 34. Let n be (-1 - 21/(-9))*-3 + o. Solve n*p - 6*p - 15 = 0 for p.
-5
Let p be 3/9*6 - (-28)/2. Let l(g) = -g - 2. Let t be l(-5). Suppose 4*f + 9 = 3*d, -d + t*f = -2*d + p. Solve -2*n - 3 - d = 0 for n.
-5
Let c be -3*3/3 - 6/(-1). Solve 0*r + 6 = -c*r for r.
-2
Let j(m) = m**2 - 3*m - 7. Let h be j(5). Suppose -5*c - 19 - 13 = -p, 16 = h*p + c. Solve -2 = -6*d + p*d for d.
-2
Suppose -3*a - 5*z + 14 = -3*z, -4*z + 14 = -a. Suppose a*t + 0*t = -0*t. Solve t = -5*j - 2 + 12 for j.
2
Let a(l) = l**3 + 2*l**2 - 4*l + 10. Let n be a(-3). Solve -n*r = -9*r for r.
0
Suppose 5*m - 5*q = 30, -4*m + 2*q + 16 = -8. Solve m*w = 8*w for w.
0
Let y(i) = 8*i + 5. Let t be y(-1). Let p be 1/t*-15 - 3. Solve p*l + 3*l - 20 = 0 for l.
4
Let v = 39 - 36. Suppose -w = w - 16. Solve -v*a = a - w for a.
2
Let l(p) = p - 10. Let b be 6/(-4)*4/(-2). Suppose 0 = -5*m + 5*f + 60, -b*m - 3*f + 0*f = -48. Let d be l(m). Solve -d*n = -3*n for n.
0
Let r = -12 - -13. Suppose -3 - r = -2*m. Solve 2 + m = 2*y for y.
2
Let r(g) = -7*g - 12. Let z(i) = 5*i + 13. Let j(v) = 3*r(v) + 4*z(v). Let p be j(6). Let t(s) = -s**2 + s + 2. Let h be t(2). Solve h + p = -5*k for k.
-2
Let q = -136 - -250. Suppose 110 - q = -k. Solve -k*g - 11 - 1 = 0 for g.
-3
Let c(d) = 5*d - 2. Suppose 0 = -50*p + 51*p - 1. Let m be c(p). Solve -z + m*z = -6 for z.
-3
Let n(w) = w**2 - 9*w + 8. Let a be n(0). Solve 8 = -a*k + 6*k for k.
-4
Let t(m) = -9*m**2 - 46*m + 27. Let s be t(-5). Solve 27*d = s - 5 for d.
1
Suppose -1 = 3*o - i - 2, -o - 13 = -3*i. Suppose -3*z = -z + o, -z = 5*c + 11. Let s be c + (11 - 1) - 0. Solve 4*r = -28 + s for r.
-5
Suppose 5*g + 19 = -4*q + 17, -q - 2 = 2*g. Solve -q*b = -5 - 1 for b.
3
Let p(y) = 9*y**2 - 2*y. Let z be p(4). Let s be 2/14 - z/(-28). Suppose 10 = s*b + 4*r - 2, 3*b - 6 = -3*r. Solve -b*d = d for d.
0
Let d(j) = -2*j**2 + 2*j. Let i be d(2). Let l be (-5 - (i + 1)) + 11. Suppose -6 = -3*r - 3*b, -19 = -r - 4*r + 4*b. Solve -r*g - l = 6 for g.
-5
Suppose -2*d + 15 + 8 = 5*y, -5*d = y - 23. Let z be (-5)/(-35) + -15*6/(-7). Let r = z - y. Solve -3*u - 5 = r for u.
-5
Suppose 0 = 2*a - 30 - 20. Let q = -4 + 9. Suppose -q*r + 10 = -10. Solve r*l + a = -l for l.
-5
Let m(g) = -6*g + 46. Let p be m(7). Solve -2*q + 10 = p for q.
3
Suppose -2*h - 52 = -3*o, -5*h - 15 = -4*o + 59. Let x be (-2)/(-4)*(-12 + 18). Solve -x*a = a - o for a.
4
Suppose -2*h + 3 = -5. Suppose -2*i + 12 = -6*i, -4*v + 292 = h*i. Suppose -v = -5*p - 2*b - 2*b, -3*p + 5*b = -16. Solve -5*o = -o - p for o.
3
Let c(y) be the third derivative of y**5/20 - y**4/12 - y**3/3 - 5*y**2. Let p be c(-1). Suppose 0 = p*w + w. Solve 0*s + 2*s = w for s.
0
Suppose -4*m - 21 = -0*v - 3*v, -3 = 5*m + 4*v. Let w = 1 - m. Solve -w*k = -k + 12 for k.
-4
Let r = -10 + 0. Let g be 14 + 0 - (-6 - r). Solve 0 = 5*n - g*n for n.
0
Let j(v) be the third derivative of v**6/120 - v**5/10 + v**4/4 - v**3/6 + 3*v**2. Let m be j(5). Solve -m*q + q = 3 for q.
-1
Let p(j) = -j**3 + 5*j**2 + 6. Let l be p(5). Let t(f) = 3*f**3 - f**2 + f. Let i be t(1). Suppose 0 = 4*d - 4, i*y - d + 5*d = 4. Solve y = -h + 3*h + l for h.
-3
Let u be 0 + -1*3*-1. Suppose 0 = 2*r + 3*j - 15, -5*r + 5*j = 18 + 7. Suppose 112 = 7*v - r*v. Solve v = h + u*h for h.
4
Let x(o) = -o**2 + 19*o - 100. Let m be x(11). Let v(l) = 3*l**2 + l - 2. Let w be v(2). Let k = w + m. Solve k = -2*z - 3*z for z.
0
Let r(c) = -c**3 + 4*c**2 + 48*c + 13. Let t be r(9). Solve -5*m + t = -15*m for m.
-4
Let v = -667 - -670. Solve -l + v = 8 for l.
-5
Let g(h) = h**2 + h. Let x(a) = -a**2 - 8*a - 10. Let y be x(-6). Suppose -r = y*r + 3. Let f be g(r). Solve f = -3*o + 7*o + 20 for o.
-5
Let d = -1627 - -1633. Solve -2*r + 0*r = -d for r.
3
Let n be -1 - (-2 + (-2)/(-2)). Suppose n = j + 7*j + 88. Let b = j + 11. Solve b = -m - 2*m - 6 for m.
-2
Let p(h) = -2*h - 11. Let d be p(-8). Suppose -a = 4*z - 21, 0 = d*a - 4*a + 3*z - 16. Solve 2*v = 3*v - a for v.
1
Suppose 2*v + 17 = -37. Let f = -17 - v. Let s = -10 + f. Solve -2*t = -s*t for t.
0
Let p = 16 + -16. Suppose -5*r - 13*r = p. Solve 2*m + 4 = -r for m.
-2
Suppose 4*q - 12 - 68 = 0. Suppose 15 = 5*g - q. Solve 0 = 3*n + 1 - g for n.
2
Let f(v) be the second derivative of v**5/20 + 5*v**4/12 + 5*v**3/6 + v**2 - v. Let p = 30 - 33. Let m be f(p). Solve m*a - 13 - 7 = 0 for a.
4
Let r = 4 + -4. Let h be r + (-1 - -3) + 0. Suppose -4*i = -3*x - 20 - 3, 0 = -h*i - 3*x - 11. Solve 0 = -l - i*l + 9 for l.
3
Let b = -1329 + 1340. Solve -4*g + 4*g = -b*g for g.
0
Let v(l) = l**3 - 16*l**2 + 11*l + 62. Let n be v(15). Solve 0 = 4*a - 2 - n for a.
1
Let d(a) = -a + 15. Let w be d(11). Solve 7*c = w*c for c.
0
Let n(j) = -j**2 - 25*j - 66. Suppose 5*g + 264 = -7*g. Let m be n(g). Solve 0 = 3*o - m*o for o.
0
Let g = 7 + -4. Suppose -25*l + 28*l - 21 = 0. Suppose -6*m = l - 31. Solve -a + m*a - g = 0 for a.
1
Let t(c) be the second derivative of c**3/3 + 3*c**2/2 - c. Let z be t(3). Let k = 1558 + -1553. Solve 0 = k*b - z + 29 for b.
-4
Suppose z - 20 = -4*g, -3*g + 2*z + 2*z + 15 = 0. Suppose -39*a + 11 = -38*a. Solve -g*d + 36 - a = 0 for d.
5
Let z = -3 + 6. Suppose 3*h - 10 = -v, v - z = -h + 3. Suppose -s = 4 + 1, 0 = -k + h*s + 10. Solve k = -5*q + 21 - 6 for q.
3
Let u be (-3 - -1) + 0 + 6. Suppose 0 = x - 46 - 2. Let p = -32 + x. Solve 0 = -u*n - 0*n - p for n.
-4
Let w(b) = 27*b + 128. Let k be w(-4). Solve -5*v + v = -k for v.
5
Suppose -p - 1 = -3*j, -2*p - 2 = 4*j - 5*p. Solve i - j = -5 for i.
-4
Let w be 4788/513*(-3)/(-4). Solve -w*u = u - 40 for u.
5
Suppose 42 = 4*l - 2*t - t, -31 = -3*l + 2*t. Let y = 15 + -8. Suppose -l*s + y*s = 0. Solve 5*f - 2 + 7 = s for f.
-1
Let n(k) = -k**3 + 6*k**2 - 7*k + 4. Let x be n(5). Let g be x/4*140/30. Let y(a) = -a**3 - 6*a**2 + 6*a - 2. Let s be y(g). Solve s*p = -0*p for p.
0
Suppose 2*x + 20 = -3*l, -2*x = l - 2*l - 4. Let b = l + 12. Solve -b = 5*u - 21 for u.
3
Suppose j = 5*x - 16, 0*x - 4*x + 38 = -5*j. Let b be 6/9 + (-20)/j. Suppose 10 = -104*t + 109*t. Solve -b*g = -6 - t for g.
2
Let p be 1/2*(-3 + 17). Let q = 10 - p. Suppose -5*k = -q*k - 14. Solve -k*b = -2*b - 10 for b.
2
Suppose 2*g + 2*d - 24 = d, -g - 10 = -5*d. Suppose s - g = -2*u, 0*u - 3*u + 4*s = 7. Solve 5 = -u*n - 10 for n.
-5
Let c(q) = q**3 + 27*q**2 + 27*q + 28. Let x be (1 - 6)*(-286)/(-55). Let z be c(x). Solve g = z*g for g.
0
Suppose -5 = -j - 3*z, 2*z - 4*z + 12 = 5*j. Solve -j*w - 6*w = 32 for w.
-4
Suppose 0 = -l - 3*s + 3, -l - s + 5 + 0 = 0. Solve -2*k + 16 = l for k.
5
Let n be 1/(-4)*2*0. Suppose n = 4*t - 0*t - 172. Let s = t - 23. Solve 0 = -4*r - r + s for r.
4
Let v(j) = -7*j - 1. Let z(h) = 6*h. Let t(l) = 5*v(l) + 6*z(l). Let b be t(5). Solve b = k - 6*k - 5 for k.
-1
Let r = -161 + 163. Solve -r*w = w for w.
0
Let m be 15/(-6)*(-42)/5. Suppose 0 = 2*i + 5*f + m, f + 10 = 2*i + 1. Suppose o - 4*h - 8 = -2*h, i*o + 11 = -5*h. Solve -o = 2*v - 8 for v.
3
Suppose 5*w - 6 = -6. Let z = 3 - 1. Suppose z*u + 0*u - 4 = w. Solve -u*s = -s for s.
0
Let a(z) = 4*z**3 - 5*z**2 + 4*z + 8. Let v be a(4). Let k = v + -200. Let h = 6 - 2. Solve 0 = -k*t + h*t for t.
0
Let p(a) = -6*a + 6. Suppose 5*z - 2 = -i + 1, 0 = -4*z - 4*i - 4. Let q be p(z). Solve -l - 2*l = q for l.
0
Let x(m) = m**2 + 4*m + 3. Let r be x(-7). Suppose -n - 4*u = u - r, 2*n = 2*u. Solve -n*s - 15 = -s for s.
-5
Suppose -b - 118 = -3*x, x - 3*b + 14 = 56. Solve x = -14