olve 3 = -t*f - 3 for f.
-2
Let x(f) be the third derivative of f**4/8 + 11*f**3/2 - 6*f**2. Let c be x(-10). Solve c*d + 2 = -1 for d.
-1
Suppose 2 = 3*p - p. Let g be p/((-2)/(-7))*-2. Let n be 522/21 - 1/g. Solve 2*q = -3*q - n for q.
-5
Let b be (-2 - -16*1) + 1. Suppose 55 = 31*f + 55. Solve -5*g - b + f = 0 for g.
-3
Let b(r) = 4*r + 20. Let k be b(-5). Suppose k = -8*x + 26 + 22. Solve 2*z - 4*z = x for z.
-3
Let x = -7 + 11. Suppose x*i = -0*i. Suppose -5*n - 5*m = i, 2*m + 1 + 5 = 0. Solve n*b = 6*b for b.
0
Suppose -2*y - 6 = 54. Let w = y + 33. Let z(f) = f**2 + 4*f - 4. Let a be z(-5). Solve -w*r + 2 + a = 0 for r.
1
Suppose -2*v - 2*r - 6 = 0, -11*r + 3 = -5*v - 13*r. Let d be (-5 - -2) + (6 - 1). Solve d = p - v for p.
3
Let l = 4 - -40. Let w = l - 41. Solve -y - w = 2 for y.
-5
Suppose 0 = 2*t - a - 22, 3*t - 14 = -2*a + 12. Suppose -3*s - 68 + 20 = 0. Let r be (s/10)/(6/(-15)). Solve -r*p + t + 6 = 0 for p.
4
Suppose 0 = a + 5 - 8. Suppose -u + 5*j - 15 = 0, -24 = -3*u - 3*j + a. Solve -2*c - 3 = u for c.
-4
Let t(z) = z**2 + 2. Let r be t(-1). Solve -j - r*j - 8 = 0 for j.
-2
Let p = -6 - -6. Suppose -3*t + t = p. Suppose 4*c + 0*c - 28 = t. Solve 5 = 4*w - c for w.
3
Let d(i) = -i**3 - 10*i**2 + 10*i - 7. Let r be d(-11). Solve 0 = 2*t - r*t - 6 for t.
-3
Suppose -4*i - p + 9 = 0, 5*p = 10*i - 7*i + 22. Solve -i - 3 = o for o.
-4
Let d = 9 - 6. Let a be (-4 - -4)*d/(-6). Let r = a - -5. Solve 0*w - 25 = -r*w for w.
5
Let c = 49 + -55. Let s(n) = -n**2 - 6*n. Let g be s(c). Solve b - 1 + 4 = g for b.
-3
Suppose 4*t - 5*k = -26, 0*t = 3*t + 5*k + 2. Let x(z) = z**3 + 5*z**2 + 2*z - 3. Let h be x(t). Solve -h = -3*u + 1 for u.
2
Suppose -q - 81 = -12*q - 16*q. Let z = 2 + 2. Let o = 9 - z. Solve o*f = q*f for f.
0
Let o = 11 + -8. Let q be (o - -1)*(-21)/(-28). Solve -2*t + q*t = 4 for t.
4
Suppose 4*r - 2*a + 3*a - 31 = 0, -23 = -2*r + a. Suppose -3*g + r = -3*k, 0*k - 4*k - 4 = 0. Suppose g*o - 10 = -2. Solve o*i - 18 - 2 = 0 for i.
5
Suppose g - 49 = -r - 2, -3*g - 94 = -2*r. Let f = r - 38. Solve -4*w - 25 = -f for w.
-4
Let n be 0 + -4 + 9 + -2. Solve 9*r - 6*r = -n for r.
-1
Suppose -2*m = 4*h - 2*h - 8, -4*m - 3*h = -18. Suppose -m*a - 12 = -2*a. Let g = a + 4. Solve 0 = -s - 0 + g for s.
1
Let i be -4 + 66*10/15. Suppose 0 = 5*h + 3*h - i. Solve 5*w - h = -0 for w.
1
Let z be 684/456*(7 + (-2 - -1)). Solve -823*c - z = -826*c for c.
3
Let o be (-4 + 8)*(-1)/2. Let n be 1/o*2*-3. Solve r = n - 5 for r.
-2
Suppose -2*f = -h + 14, -h + 7*f + 14 = 10*f. Solve -22*p - 30 = h for p.
-2
Suppose -r - r = 2*u - 34, -121 = -5*u + 4*r. Let g = u - 3. Let x be (-2)/4*6/(-1). Solve 5*s - g = -x for s.
3
Suppose -4*r + 3 = -33. Suppose -4*l = -r*l. Suppose l*v + 11 = -i + 4*v, -2*i = -v - 6. Solve -5 + 0 = -i*m for m.
1
Let a(i) = i**3 - 3*i**2 - 7*i + 35. Let d be a(5). Solve -3*g - 41 = -d for g.
3
Suppose c = -t + 19, 4*t - 2*t - 32 = -5*c. Let w(r) = -r + 36. Let y be w(t). Solve 2*l = 7 - y for l.
-4
Let p = -743 + 744. Solve j - 1 = p for j.
2
Let g(f) = f**3 - 7*f**2 - 33*f + 2. Let u be g(-3). Solve -2*d + u*d = 45 for d.
5
Let x(k) = 2*k**2 + 20*k + 7. Let w be x(-10). Suppose -5*q = w*q - 3*q. Solve q*r - 6 = -2*r for r.
3
Let b = 12 + -14. Let n(j) = 3*j - 1. Let a be n(b). Let m = 9 + a. Solve 0 = p + m*p for p.
0
Let o(h) = -h**2 + 35*h + 37. Let n be o(36). Suppose 7 = 5*b + 2*r, 3*b + r + 10 = 5*b. Let w = 4 - 2. Solve -n = -b*x + w*x for x.
1
Suppose 0 = -3*z - 7*a + 8*a + 14, 3*z = -a + 4. Solve -3 + z = u for u.
0
Let m be (1 - (-5)/(-3))*-6. Let o(n) = -n**3 - 8*n**2 + 4. Suppose 3*u - 2*u + 8 = 0. Let g be o(u). Solve -g*j + m = -0*j for j.
1
Let z(l) = -l**2 - 55*l - 682. Let f be z(-36). Let n be -1 - 0 - 13*-1. Solve 4 = -f*m + n for m.
4
Suppose 0*o + 4*o + 215 = -a, 4*a + 820 = 4*o. Let l be (-989)/a + (-4)/(-18). Solve -j + 0*j = -l for j.
5
Let j be 0 - 4*76/8. Let y be j/14 - (-8)/(-28). Let m = 23 + y. Solve -k - 3*k = m for k.
-5
Suppose 5*m - 13 = -3*w + 7, -34 = -3*w + 2*m. Solve 5*o + 20 = w*o for o.
4
Let t(y) = -y**2 - 32*y + 107. Let g be t(-35). Solve -7 = -5*v - g*v for v.
1
Let c(d) = -d**3 + 5*d**2 - 7*d + 4. Let h be c(3). Suppose -2*u - p - 3 = -h, 5*u = 5*p + 10. Let m be 1/((-1 + u)/(-6)). Solve m*k - 4*k - 6 = 0 for k.
3
Let g(d) = -d**3 + 7*d**2 + 10*d + 5. Let r be g(8). Suppose 5*z = -t + 15, 3*z - 58 + r = 5*t. Suppose z*s = -1 + 9. Solve -i + 1 - s = 0 for i.
-1
Let u be ((-38)/4)/((-7)/28). Solve -6 + u = 16*y for y.
2
Let j = -563 - -575. Solve j = k + 3*k for k.
3
Suppose l - 5*l = 3*l. Solve l*y = y for y.
0
Suppose 0*o = 5*o - 5*v - 165, 3*o + 3*v = 81. Suppose o = -8*t + 2*t. Let y = t - -6. Solve -2*h = -h + y for h.
-1
Suppose 6*l + 11 = -1. Let f be (-1)/l*(-3 + 3). Solve f*u = 3*u for u.
0
Let t(y) = 4*y**2 + 36*y - 187. Let f be t(5). Solve 7*d = -f + 86 for d.
-1
Suppose z = 3*z. Suppose 4*x + z*x = 0. Let n be (0 + x)/(0 - 2). Solve 0 = -n*r + 2*r for r.
0
Let h be (0/((-9)/(-7 + 4)))/(-3). Let f = h - -10. Solve -3*w - 2*w - f = 0 for w.
-2
Let z = 406 + -401. Solve -6*s + z = -7 for s.
2
Suppose -3*w = -2*b + 117, 0 = -3*w + 4*b - 9*b - 96. Let z = w + 40. Suppose -3*y + 5*d - 12 = -55, -5*y - 5*d + 85 = 0. Solve 4 - y = z*l for l.
-4
Let h(y) = y**3 - 6*y**2 + 6*y - 6. Let l be h(6). Suppose l = 2*c - 2*n, -c = 3*n - 9 - 6. Let a = -8 + c. Solve -2*m + a*m = -25 for m.
-5
Let q = 231 + -227. Solve -q*n + 8*n = -4 for n.
-1
Suppose -2*c = 3*k - 89, -4*c - 6 + 68 = 2*k. Solve -15*t = -k + 14 for t.
1
Let t(x) = -x + 9. Let m be t(0). Suppose m*o = 5*o + 64. Solve 2*y + o = -2*y for y.
-4
Suppose -4 = -4*w + 24. Suppose 0 = -5*d + w*d - 8. Suppose 2*v + 6 = d*v. Solve 0 = v*r - 2 - 4 for r.
2
Let t(i) = -i**2 - 13*i - 6. Let w be ((-8)/5)/(2/10). Let u be t(w). Let h = u + -30. Solve -11 - 9 = -h*x for x.
5
Let z be 1 - (-2 + (0 - -1)). Suppose i + l = 8, 0 = -4*i - 3*l - 0*l + 30. Solve 0 = z*j + i - 4 for j.
-1
Let a be ((-82)/(-205))/((-2)/(-35)). Solve 15 = -a*j + 4*j for j.
-5
Suppose 5*w - 59 = 311. Let t = w - 71. Solve 3*z - 12 + t = 0 for z.
3
Suppose 0 = 5*v + 7 - 22. Suppose -v*w + 2*w = 0. Let b = w - -8. Solve b = -2*y - 0 for y.
-4
Let h = 542 + -540. Solve 16 = h*u + 2*u for u.
4
Suppose -3*z + 29 = g, 0 = -3*g - 6 + 3. Suppose q = -3*k + z, -q - k + 4 + 2 = 0. Suppose -q*j + 20 = 2*h, 2*j - 16 = -h - 2*j. Solve h = -t - 3*t for t.
-1
Let w(c) = -c + 29. Let x be w(16). Solve -x = p - 8 for p.
-5
Suppose 95 = 3*b + 2*b. Let o be ((-174)/(-5))/(-2) + (-24)/(-60). Let p = b + o. Solve -3*d + p*d - 3 = 0 for d.
-3
Let q be -2*7/(7/(-8)). Let w = 3 + q. Let d = 21 - w. Solve -d*v = -3*v + 2 for v.
2
Suppose 0 = 4*v - 9*v + 100. Let c(u) = -u**3 + 5*u**2 - 4*u - 1. Let w be 20/9 + (-6)/27. Let n be c(w). Solve n*a + 2*a = v for a.
4
Suppose 2*u = 3 + 3. Let p = -4 + 5. Let c be 38/8 + p/4. Solve u = 2*h + c for h.
-1
Let u = -113 - -117. Solve -4 = 3*r - u*r for r.
4
Let l(p) = -p - 9. Let c be l(-14). Suppose -4*f + 68 = -c*u, 3*u + 80 = 4*f + u. Let r = -20 + f. Solve -2*m - r + 6 = 0 for m.
2
Let k(w) = -2*w - 1. Let h be k(-4). Let s be 0*(4 - h)/3. Solve 3*i + 15 = -s*i for i.
-5
Suppose -2*f - 2*o = -6*f - 2, 4*f + 3*o = 3. Suppose n - 3*n = f. Let c be 204/(-51) + (1 - -4). Solve -x - c + 5 = n for x.
4
Let t be 0/(3/((-9)/3)). Suppose 2*r = 6, t = 5*x - 2*r - 0 - 4. Solve 0*g - g = x for g.
-2
Let n = 4 - -4. Let d be (-30)/n*(-13 + 9). Let r = 20 - d. Solve -r*z + 27 - 2 = 0 for z.
5
Let u = -13 + 16. Suppose u*v = 1 + 5. Suppose -v*o = 3*o - 25. Solve o*x - 12 - 8 = 0 for x.
4
Let k be -3*(-6)/9 + 0. Let w = 0 + k. Let c = -44 - -49. Solve c = p + w for p.
3
Let q(h) = h**3 - 4*h**2 + 3*h + 2. Let c be q(4). Let g = -14 + c. Solve 0*s + s + 4 = g for s.
-4
Let u(s) be the second derivative of -s**4/12 + 2*s**3/3 + 7*s**2/2 + 13*s. Let d be u(5). Solve 5*w - d*w - 6 = 0 for w.
2
Suppose -5*f + 166 = 5*o - 644, 3*f = -17*o + 500. Solve -c = f - 158 for c.
-3
Let t be -3 + 0 - (-72)/9. Suppose h - 2*h = -t*b + 19, -b + 5*h = -23. Let g = 3 - 2. Solve g + b = -j for j.
-4
Suppose 17*n - 15*n - 8 = 0. Solve q + 2 - n = 0 for q.
2
Let c be 3 - 2 - 9 - -16. Solve c*q = 11*q - 15 for q.
5
Suppose -3*k = -0*q + 3*q + 15, -25 = 5*k + q. Let l be (-300)/25*(