Let p = -1087 + 1117. Solve -p - 18 = -12*h for h.
4
Let b be -7 + (0 - -3) - -4. Suppose -8*s + 86 - 14 = b. Solve -3 - s = 3*n for n.
-4
Suppose 0 = -4*s - 5*c + 27, -2*s + 7 = 3*c - 6. Let p(i) = 8*i - 42. Let v be p(6). Suppose s*k = v*k. Solve 0 = -2*x - k - 6 for x.
-3
Let x(a) = -a**3 + 3*a**2 - 3*a + 3. Let m be x(2). Let v be 21/6*(-36)/(-42). Let d be 0 + m + -2 + v. Solve d*b = -2 - 4 for b.
-3
Let x(p) = p**3 - 11*p**2 - 2*p + 27. Let w be x(11). Suppose 16 = 4*n - b, n + w*b - 4 = 7*b. Solve n*t - 3*t = -1 for t.
-1
Let t(v) = 3*v**3 + 5*v**2 - 2*v - 2. Let z(d) = 7*d**3 + 11*d**2 - 4*d - 5. Let j(i) = 5*t(i) - 2*z(i). Let h be j(-3). Solve -6 - h = 3*c for c.
-4
Let y be (-1)/2*260/(-13). Suppose -m - 8 + y = 0. Let i be 0/((0 + m)/2). Solve i*x = x - 2 for x.
2
Let t be (-17 + 2100/147)/(1/(-7)). Solve -26 = t*s - 121 for s.
5
Let s = 1 + 4. Suppose -3*u - 9 = -2*j - 0*j, -15 = s*u. Suppose -7 - 6 = 3*m - 5*i, 2 = -2*m + 2*i. Solve j*a + m = -2*a for a.
-2
Suppose 0 = 17*z + z + 17*z. Solve 3*l = -z*l + 9 for l.
3
Let n = -40 + 45. Solve n*u + 8 = -17 for u.
-5
Let s = 3 - 3. Suppose -9*j + 6*j = s. Solve j = -0*x - 4*x for x.
0
Suppose -10*j - 148 = -12*j + 3*c, -3*c + 296 = 4*j. Solve -9 = j*i - 71*i for i.
-3
Let u(m) be the second derivative of m**4/12 + m**3 + 7*m**2/2 - 3*m. Let y be u(-5). Let d be 4/(-8)*(y + -2). Solve d = v + v for v.
0
Suppose 7*t - u + 47 = 11*t, 0 = -t - u + 8. Solve 33 = -5*k + t for k.
-4
Let c = 531 - 437. Solve -c*h - 12 = -97*h for h.
4
Let l = 7 + -5. Let z(u) = -u**2 + 21*u + 10. Let d be z(10). Let c = d + -104. Solve -l*j + c = 2*j for j.
4
Let u = -11 - -10. Let i = 1 + u. Solve i = -0*h + 2*h - 8 for h.
4
Let r = -12 - -12. Suppose 2*f + 4*u = 4*f + 28, 5*f + 3*u + 5 = r. Let x be f/(-2)*6/4. Solve x + 2 = b for b.
5
Suppose -4*o = -3*o - 18. Let d(s) = -s**2 + 47*s + 155. Let n be d(50). Solve 0 = -n*k - o + 3 for k.
-3
Let j be (-45)/(-12) - (-15)/60. Solve -j*t + 8*t = 8 for t.
2
Suppose 0 = -3*i + o + 9, -i - 20*o = -21*o - 1. Solve -12 = i*y - 4 for y.
-2
Suppose 0 = m + 3*m + s - 19, -11 = m - 5*s. Suppose 5 = m*v + v. Solve 3 = 2*k - v for k.
2
Let t be 0/(-1*(0 - 2)). Suppose -6 = 2*k - 0, t = 4*x - 5*k - 27. Solve -x*i - i = 0 for i.
0
Let d = 46 - 42. Suppose 0*m + 4*m - 2*l - 52 = 0, d*m + 3*l - 72 = 0. Solve 0 = s + 16 - m for s.
-1
Suppose 2*v - 5 = 1. Suppose 3*i - v*w - 9 = 0, 8*i = 4*i - 4*w + 20. Suppose i*b + 2*b - 30 = 0. Solve 0*c + 25 = b*c for c.
5
Let n be (-126)/(-10) - 4/(-10). Let t(m) = -2*m + 6. Let j(b) = -b**2 - 2*b - 3. Let r be j(-2). Let h be t(r). Solve 5*l + h + n = 0 for l.
-5
Let c be (175/(-28))/(2/(-8)). Solve c = 39*q - 44*q for q.
-5
Suppose 2 = 4*c - 14. Solve -w - c = -3 for w.
-1
Let r = 1550 + -1548. Suppose 0 = -4*k - 8 + 24. Suppose 4*i + 5*x - 1 = k, -x - 8 = -i. Solve -r*g + i*g - 15 = 0 for g.
5
Let x(u) = -22*u + 138. Let g be x(6). Solve -22 + 10 = -g*v for v.
2
Suppose -2*h = -5*j + h + 35, 14 = j - 2*h. Suppose 0 = 3*u - u - 4. Let m(y) = -y + 4. Let v be m(u). Solve -v*x + j = -0*x for x.
2
Let b(z) = -2*z - 4. Suppose -2*v = v - 15. Suppose -7 = v*i + 3. Let c be b(i). Solve c = -2*y + 6*y + 12 for y.
-3
Let r be (10/(-4))/(-3 + (-5)/(-2)). Suppose 0 = r*k + i + 3*i - 5, k + i = 1. Solve q = -0*q - k for q.
-1
Let g(p) = -3*p**2 + 13*p + 19. Let o(r) = -r**2 + 4*r + 6. Let b(k) = 2*g(k) - 7*o(k). Let v be b(-2). Solve -v = -3*h - 10 for h.
-2
Suppose 0 = -3*r - 0*i + i + 7, -5*r - 3*i + 21 = 0. Suppose 6*u = r*u + 6. Solve 0 = 3*h - u*h + 5 for h.
-5
Let v be ((-7)/4 - -4)*4. Solve -7*x + 12 = -v for x.
3
Let x = 221 - 221. Solve x*v = -v + 4 for v.
4
Suppose 0 = -0*a - 4*a - 4*h + 24, -2*a = h - 7. Solve -a = -13*k + 14*k for k.
-1
Let v be (-96)/9*(4 + 17/(-2)). Suppose 7*h - v = -5*h. Solve -h*t + 1 = -19 for t.
5
Let u(n) = -n**3 + 47*n**2 - 132*n - 10. Let z be u(44). Let o(b) = -2*b**3 - 3*b**2 + 4*b. Let x be o(-3). Let h = x + z. Solve -h - 5 = -5*j for j.
2
Let n = -27 + 38. Let s(q) = -q**3 + 11*q**2 - q + 16. Let y be s(n). Solve -v - y = -4 for v.
-1
Let t = -34 + 36. Solve t*f = -3*f - 5 for f.
-1
Let g(r) = -30*r**3 - 2*r**2 + r + 2. Let m be g(-1). Let n = m - 27. Solve -n*i = 4 - 14 for i.
5
Suppose -3*t = -2*w - 40, 81 - 21 = -3*w - 2*t. Let y = w - -24. Suppose -4*j + 15 - 3 = 0. Solve -y*g = -j + 23 for g.
-5
Let a(k) = -k**2 - 6*k + 13. Let z be a(-7). Suppose 0 = l - s - 0 - z, 4*l - 30 = 2*s. Solve 5*w - 1 - l = 0 for w.
2
Suppose 27 = -5*a + 14*a. Let i(g) = -g**2 - 5*g + 3. Let j be i(-5). Suppose 28 = j*b + b. Solve -2*m = a - b for m.
2
Let f(c) = c**3 + 4*c**2 - 20*c - 70. Let i be f(-5). Solve 0 = i*x - 4 + 14 for x.
-2
Suppose -5*k = -4*k + 12. Let c(m) = -m**2 - 12*m + 15. Let s be c(k). Let u = -12 + s. Solve 0 = -5*f + 17 + u for f.
4
Let x be (4 + -1)*(3 - -13). Let y = x + -33. Solve 0*a = -3*a + y for a.
5
Suppose 30 = 2*y + 3*y - 5*u, -4*y + 18 = -u. Solve y*g = 6*g for g.
0
Let r(k) be the third derivative of k**5/120 - k**4/8 - 5*k**3/6 - k**2. Let b(a) be the first derivative of r(a). Let y be b(13). Solve -25 = 3*w - y for w.
-5
Suppose -4*a = 4*t - 64, 10*a - 8*a - 19 = -t. Solve -12 = 9*d - t*d for d.
3
Let c be (147/(-4))/(13/52). Let v = 148 + c. Let q be (2/(-3))/(6/(-27)). Solve v = -4*g + q*g for g.
-1
Let t(w) = -6*w + 3*w**2 - 4*w**2 - 5*w**2 + 5*w**2 - 2. Let i be t(-5). Let a be -10*(-1)/(4 - i). Solve 0 = 3*h - h - a for h.
5
Let n(l) = -l**3 + 26*l**2 - 46*l - 2. Let y be n(2). Solve -3*a = -a - y for a.
1
Let l be (-4)/(-5) - 1738/110. Let r(x) = x**3 + 14*x**2 - 14*x + 19. Let n be r(l). Solve 0*k - n = k for k.
-4
Let k = 95 + -70. Suppose 10 = -5*p, 5*p + 5 = 5*h - 35. Let t be (20/6)/(4/h). Solve -t*l = -0 + k for l.
-5
Suppose 5*c - 1 = y, -4*y = -0*y + 5*c - 21. Suppose -5*t = v - 413, 8*v = 4*t + 3*v - 342. Suppose 4*p - r = t, 4*p + r = -2*r + 71. Solve y*b = -b + p for b.
4
Suppose -6 = 3*z, 4*m + 4*z - 4 = -0*z. Let j be 4/1 + (-3)/m. Let p be -4*(j + 0)/(-6). Solve -p*s = s - 9 for s.
3
Let m = 127 - 127. Suppose m = y + 193 - 199. Solve 4*p + 2 = y for p.
1
Suppose 13*z - l = 18*z - 830, -4*z = 4*l - 664. Solve -170*a = -z*a for a.
0
Let z = 27 + -25. Suppose o = 4*w - z*w + 13, 0 = -4*o + 20. Let r(t) = -t - 1. Let h be r(w). Solve 0 = h*j + j for j.
0
Suppose 85*r - 8 = 83*r. Solve 0 = 2*w - w + r*w for w.
0
Let h(v) = -2*v**3 - v**2 - 15*v + 7. Let t(i) = -i**3 - i**2 - 8*i + 4. Let k(f) = 6*h(f) - 11*t(f). Let j be k(5). Let g = -12 - j. Solve 6 + g = 3*m for m.
2
Let w(z) = -z**3 + 36*z**2 - 36*z + 58. Let n be w(35). Solve -2*l - n + 13 = 0 for l.
-5
Let p(d) = 4*d - 6*d + 1 + 3*d. Let z be p(3). Suppose 0*u - u = -z. Solve m + 3 = u for m.
1
Let q(h) = 3 + 2*h + 15*h**2 - 10*h**2 + h**3 - 7. Let c be q(-4). Solve 0 = 3*d - 2 - c for d.
2
Let b be 0 + 1 + -1 + 0. Let v = -39 - -37. Let d be (0 - v) + 2 - 2. Solve b = y - d*y - 4 for y.
-4
Suppose -4*z = -2*z. Suppose -5*o - 6 + 16 = z. Suppose 2*j - 4 = o*x, -2*j + 4 = -2*x + 7*x. Solve -2*u - 8 = j*u for u.
-2
Let w(b) = -b**3 + 10*b**2 + 2*b - 18. Let f = 12 + -2. Let p be w(f). Solve 3 = -c + p*c for c.
3
Suppose -2*i = -2*p - 60, 0 = 5*i - 2*p + 7*p - 160. Solve -16 = -3*m - i for m.
-5
Suppose 36 - 111 = -15*d. Solve -4*l + d*l = 4 for l.
4
Let w(n) = -2*n. Let s(o) = -o**2 + 6*o - 1. Let t be s(6). Let v be w(t). Suppose -v*k - k = -15. Solve 0 = k*j + 4 + 21 for j.
-5
Suppose 0 = 5*l - 25, 0 = -4*y + l + l - 10. Let w(f) = -f - 2. Let t be w(-4). Let z(i) = 9*i - 15. Let h be z(3). Solve -a - t*a + h = y for a.
4
Let u = -105 - -120. Solve -5*d = 10 + u for d.
-5
Suppose -47 = -4*v - 11. Suppose -4*m - 8 = 0, -3*j + 5*m = -7*j - 58. Let q be 15/(2/(j/(-9))). Solve 0 = -v*b + 4*b + q for b.
2
Suppose 5*n + 2*b = 134, 9*n + 4*b + 40 = 10*n. Solve 9*d - 17 = n for d.
5
Suppose 0*l = 5*l. Let o = -53 - -53. Suppose n = 3*s, n = -o*n - 4*s. Solve n = -l*z - z for z.
0
Let d(j) = -9*j**3 + j**2 - 9*j - 9. Let t be d(-1). Solve -15*u = -t*u - 25 for u.
5
Suppose -3*p - q = -111, 5*p - 9*q + 5*q = 185. Solve 0 = 42*u - p*u + 25 for u.
-5
Let p be ((-3)/(-4))/(1420/(-240) - -6). Solve 22*v - p - 35 = 0 for v.
2
Let v(d) = -d + 26. Let n be v(14). Let t be ((-20)/15)/((-8)/n). Solve t*u = 3 + 3 for u.
3
Let w b