 - 4, n - 2*f = -2. Suppose -2*v = 3*i - 5, -v + 4*v = -i + 25. Let t = n + v. Solve -3*g + t = g for g.
3
Suppose -i - 2*i + 54 = 0. Let m = i + 0. Let d be (-12)/m - 11/(-3). Solve -19 + 4 = -d*z for z.
5
Suppose 2*p = 3*v - 2, 4 = v - 4*p - 10. Suppose 0 = -5*j - 5*m - 50, -j - 5*m = -0*j + 30. Let f = v - j. Solve -f*z = -z for z.
0
Let w be 3*(3/(-9))/1. Let r = 3 + w. Let f be r + 2 + 4 + 0. Solve 2 = -2*v + f for v.
3
Let i(a) = 2*a - 1. Let v be i(-3). Let h = v + 23. Solve -2*j - 2*j = -h for j.
4
Let d(a) = a**2 - 3*a. Let q be d(4). Suppose 4*v + q*p - 24 = 0, 0*p - 12 = v - 5*p. Solve 0 = v*l + 2*l for l.
0
Let o(y) = y**2 - 8*y + 5. Let u be o(7). Let n = 5 + u. Solve w + 2 = n*w for w.
1
Suppose -5*s + 63 = 2*s. Suppose 4*h - 7 = 3*p, h = 2*p - p + 2. Solve 5*m = h + s for m.
2
Suppose -3*j - 3 = -0*j. Let y(p) = 10*p**2 - p - 1. Let z be y(j). Solve -z = n + n for n.
-5
Let z be 26/65 - 156/(-10). Solve 3*l + z = 1 for l.
-5
Let c be (-5)/10 + 22/4. Solve 0 = -p + c*p + 20 for p.
-5
Suppose 0 = 2*b + 2*s + 42, -5*s = -2*b + b - 21. Let p be (-1 + b/(-3))*-1. Let o = p - -10. Solve -o*h = -5*h + 4 for h.
4
Suppose -3*f + f = 5*c - 21, -2*c + 16 = -3*f. Let l be 1 + f - (4 - 8). Suppose l*s = 4*s - 6. Solve -s*y + 5*y = 2 for y.
-2
Let o = 8 - 6. Suppose -10 = -3*i + o. Solve x = -i*x for x.
0
Let j(q) = 3*q. Let c be j(1). Let b be 80/24 + 2/3. Suppose b = 4*a - 0*a. Solve -p - c = a for p.
-4
Let b(j) be the third derivative of -j**5/60 + 7*j**4/24 - 5*j**3/3 - 8*j**2. Let s be b(5). Solve s*n = 5*n - 10 for n.
2
Suppose -2*o = 3*y - 14, -6*o = -2*o + 2*y - 20. Suppose -o*z = -2*z - 4. Let a be (3/z)/((-2)/(-4)). Solve 0 = 5*h - a*h - 6 for h.
3
Let q = 2 + -2. Suppose b = -3*l - b, l = -2*b. Solve 4*d + l*d - 16 = q for d.
4
Let r be 5*(-5)/(50/4). Let k be (r + 3)*(5 + -1). Solve 2*f = -2*f - k for f.
-1
Suppose 7*x - x - 156 = 0. Let u = x + -20. Solve -h + 3 = u for h.
-3
Suppose 6 = 3*u - 6. Let y = 691 + -687. Solve -y*j = -0*j + u for j.
-1
Let u be 6*(3 + (-21)/6). Let k(m) = -2*m - 4. Let w be k(u). Solve -3*n - 4 = w for n.
-2
Let t be 2*(3/2)/1. Suppose t*z = 3*c + 6, -5*c - z - z + 4 = 0. Solve c = -2*l - l + 3 for l.
1
Suppose 3*z + 25 = 5*c, 5*z + 1 + 4 = c. Let t = c + -2. Solve -6*l - 12 = -t*l for l.
-4
Suppose 4*i - 5*i = 8. Let o = 8 + i. Solve o = s + 3 for s.
-3
Suppose -l = -4*t + 6, 2*l - 14 = -2*l - 3*t. Suppose l*k + 2 - 16 = 0. Solve 2*u + 1 = -k for u.
-4
Suppose 2*k - 2*g = 8, -g + 2 = 2*k - 3. Let m be k/3*4*-1. Let r(b) = b**3 + 5*b**2 + 4*b + 6. Let h be r(m). Solve -h = -4*z + z for z.
2
Suppose 6*y - 84 = 2*y. Suppose -y = -2*k + 27. Suppose -2*u + 16 = 5*x, 2*x - 4*u = -2*x + k. Solve -x*d = -3*d for d.
0
Suppose 4*c = 2*y + 26, -2*c = c + y - 17. Suppose c*h = h. Solve h*p = -2*p for p.
0
Suppose 4*p - a = 10, 0*p - 3*a = -2*p. Let f = -1 - -1. Suppose -p*b + 18 = -f*b. Solve 0*q - b = -3*q for q.
2
Let i = 89 - -137. Suppose -14 = 4*r + i. Let w be r/(-8) - 2/(-4). Solve -4 - w = -4*q for q.
3
Let s be ((-3)/(-9))/(1/(-39)). Let t = -13 - s. Solve t = 3*g - 2*g + 3 for g.
-3
Suppose 0 = -n - 4*n + 3*i, 0 = n - 5*i. Solve 0 = 4*a - n*a for a.
0
Suppose 2*w + 22 = 4*a, 0 = 2*w - 3*a + 32 - 12. Let q = w - -12. Solve -q*y = 1 + 9 for y.
-2
Let q(m) = 2*m + 70. Let d be q(-28). Solve -d = 4*k - 2 for k.
-3
Let h be (-54)/12 + (-1)/(-2). Let c = h - -6. Let f(k) = k**2 - 2*k. Let u be f(3). Solve -u*v + 25 = c*v for v.
5
Let i = 46 - 28. Let s = -15 + i. Solve s*w + 12 = -0*w for w.
-4
Let b = 82 - 79. Solve b = -2*c + 9 for c.
3
Let v be (6 - 2)*2/(-4). Let l be (-24)/(-15)*(-5)/v. Solve -l*n + 2*n = 10 for n.
-5
Let j(o) = -o**3 + o**2 - 2*o - 25. Let l be j(0). Let t = l - -25. Solve 2*c + c = t for c.
0
Let c(y) = -y**3 - 3*y**2 - 2*y + 2. Let a be c(-2). Suppose -k + 5*z - 32 = -2*k, -5*z + 39 = 2*k. Solve k*p - a*p + 5 = 0 for p.
-1
Let d be 9*((-5)/3 + 2). Suppose 0 = -d*l - l + 2*x - 8, 4 = 3*l + x. Suppose -3*o = -l*o. Solve -4*a + 4 + 8 = o for a.
3
Let w be 1/4 - (-14)/8. Let v = 4 - w. Solve -v*j = -j - 3 for j.
3
Let l(r) = 2*r - 2. Let z be l(5). Let h be (12/(-16))/((-2)/z). Let c be (2/h)/(6/36). Solve -9 = -c*x + 11 for x.
5
Let w = 10 + -3. Let d = w - 6. Solve -2*f - d = -9 for f.
4
Let i(j) be the third derivative of j**6/120 + 7*j**5/60 + 5*j**4/24 - 5*j**3/6 - 2*j**2. Let g be i(-6). Solve -g = q - 6 for q.
5
Suppose 2 = 3*r + 2*j - 4, 4*r = 4*j + 8. Let a be -2 - (-3)/6*r. Let b be a/(-1)*5*3. Solve 4*i + b = -i for i.
-3
Suppose 3*z + 0*w = -3*w, 5*z - 4*w = 18. Suppose b - 4*a - 1 - z = 0, 3*a + 3 = b. Solve 0 = -2*v + b + 5 for v.
4
Let b be (-86)/(-11) + (-28)/(-154). Solve 20 = 3*y - b*y for y.
-4
Let z(c) = -c**2 - 12*c + 1. Let k be z(-11). Solve -n - 2*n - k = 0 for n.
-4
Let m = 163 + -160. Solve 2*y = -m*y - 15 for y.
-3
Let d(u) = u + 9. Let s be d(-10). Let i = 3 - s. Suppose 0 = -4*q + 5*y + 2 + 14, -i*y = -5*q + 20. Solve q*f + 2 = -6 for f.
-2
Let l = -16 + 5. Let k = l - -20. Suppose 5*c + 1 = -5*y - 4, 3*c + k = 0. Solve 4*q - y*q + 8 = 0 for q.
-4
Let d be (-154)/(-35) - (-2)/(-5). Suppose y = -5*t, d*t = -t - 4*y - 15. Solve -5*r + 4 = -t for r.
1
Let r = -4 - -5. Solve 0 = 4*x + 19 + r for x.
-5
Suppose 3*n + 4*d - 8 = -n, 0 = -4*n - 5*d + 10. Solve n = 3*y + 7 - 1 for y.
-2
Let h = -14 - -25. Let y(w) = w + 4. Let l be y(-3). Solve -4*q + h + l = 0 for q.
3
Let f = 34 - 30. Solve 0 = -4*p + f for p.
1
Suppose 2*t - 6*t = s - 17, 0 = -4*t - 5*s + 37. Let n = 60 - 58. Solve -t*p = -p - n for p.
1
Let i be (9/4)/((-6)/(-24)). Solve 5*v - i = 11 for v.
4
Let l be 8/(-5)*20/(-8). Suppose -l*x = -64 - 40. Suppose -5*g - 2*o - 1 + x = 0, 0 = -5*g - 4*o + 35. Solve 0 = 2*t + 5 + g for t.
-4
Let v = -4 - -5. Suppose -3*a = -74 - v. Solve -7*l = -2*l + a for l.
-5
Let s(a) = a - 2 - a**2 - 1 + 4 + 1. Let m be s(-1). Solve 5*y + 0*y - 10 = m for y.
2
Let t = 24 - 16. Let z = t + -6. Solve 4*i = z*i for i.
0
Suppose -8*j + 5 = 5. Solve -1 = -j*l + l for l.
-1
Suppose j - 3*g - 11 = 2*g, -j - 3*g + 11 = 0. Let y(l) = l - 6. Let c be y(j). Solve c*b - 7 + 2 = 0 for b.
1
Suppose 11*s = 8*s + 6. Solve -3*m = -s*m + 5 for m.
-5
Suppose -476 = -5*z - 4*w, 0 = -2*z + 2*w - 0*w + 176. Suppose -4*f - z = o - 2*f, -2*o - 2*f = 184. Let r be o/(-28) - (-2)/(-7). Solve -d + r*d + 4 = 0 for d.
-2
Let x(j) be the second derivative of j**5/120 - j**3/3 + 2*j. Let d(n) be the second derivative of x(n). Let i be d(0). Solve -z - 1 + 0 = i for z.
-1
Let b(y) be the first derivative of 5*y**2/2 - y + 3. Let r be b(2). Solve 3*i + 3 = -r for i.
-4
Suppose 3*k = -5*g + 3, k = 3*g - 4*g - 1. Let u = k + 8. Solve 0*d = u*d for d.
0
Let q = -23 - -41. Let i be 8/(-6)*q/(-4). Solve -3*n = -i*n - 15 for n.
-5
Let u(s) = s**2 - 14*s + 3. Let i be u(14). Solve -7*j - 8 = -i*j for j.
-2
Suppose 3*g = 5*g - 2*s - 18, -5*g = s - 21. Solve 0 = o - 0*o - g for o.
5
Let d = -8 + 10. Let x(s) = 5*s + 3*s**d - 2 - s**3 - 2*s - s**2. Let j be x(2). Solve -5 = j*n + 7 for n.
-3
Let s = -25 + 27. Let m(o) = 2*o**3 - 6*o**2 + 4*o. Let u be m(4). Suppose 2*y + 66 = 3*g + 2*g, 5*g + 4*y = u. Solve -s*w - 2 = -g for w.
5
Let v be (-1)/(-3)*0/4. Let o(j) = j**3 - j**2 + j + 6. Let q be o(0). Let l be (-16)/(-6) - (-2)/q. Solve 5*w + 12 + l = v for w.
-3
Let u = -2 + 2. Let g = -38 + 38. Solve g*n + n = u for n.
0
Let j = -2 + 2. Solve j = 9*i - 4*i + 5 for i.
-1
Suppose 0 = -5*k + 3*v + 8, -34 = -2*k - 4*v - 10. Suppose -n - n + k = 0. Solve -n*q = -4 - 2 for q.
3
Let g be (1/2)/(11/(-22)). Let i be 287/28*(-4)/g. Let d = -26 + i. Solve 2*h = -h + d for h.
5
Suppose -20 = w + 5*o - o, 0 = -3*w - 3*o - 15. Solve w + 3 = j for j.
3
Suppose n - 7 = 3*o, -6*o + 5*o = 2*n + 7. Let d be (-2)/(-1)*2 + n. Solve 0*s = -d*s + 2 for s.
1
Let x be 3/(-1) + 2 + 20. Suppose -k = -3, -2 = g + 4*k - x. Solve -4 = 3*n - g*n for n.
2
Suppose 3*s - 2*u + 3*u - 1 = 0, 4*s - 4*u = 28. Let y be (-1)/(1/(-6)*s). Suppose -8 = -8*g + 3*g + 2*z, 3*g + y*z + 12 = 0. Solve p + g*p - 1 = 0 for p.
1
Let g be (-3 - (0 + -1))*2. Let x be (-9)/(-2) + (-2)/g. Suppose 2*w - x*w = -3. Solve -w = -0*d + d for d.
-1
Let j = -53 + 56. Solve j*a - 3 = 6 for a.
3
Let s = 1 + 2. Suppose -3 = -2*g + s. Solve -3 = -g*p + 6 for p.
3
Suppose -71*r + 