47*z + 143*z = -n for z.
2
Let j = 5 - 3. Suppose -r = -5 + j. Suppose 2*u - 7 - r = -5*q, -3*u + 2*q - 4 = 0. Solve -3*v + 8 - 2 = u for v.
2
Suppose -5*n = -4*z + 10, 0 = z + 2*n + n - 11. Suppose -4*w = -5*a, z*a + 8 = 2*a + 4*w. Let v be -13*(-3)/(6/a). Solve 0 = -4*o + 6 - v for o.
-5
Suppose -3*n = -4*t + 7, -2 = -2*n + t - 0*t. Let u be (-1)/(-3) + 2/n. Solve 4 = -r + u for r.
-3
Suppose -5*m + 16 = -2*p, 4*m + 3*p + 0 + 1 = 0. Suppose 16*x - 18*x + 12 = 0. Solve j = m - x for j.
-4
Let f be (-4)/(9/(135/6)). Let r = -9 - f. Let y be -6*(r - (-11)/(-3)). Solve -3*o = -4 + y for o.
-4
Suppose -138 = -4*a - 126. Solve -a*v = -7*v - 20 for v.
-5
Let m = -78 + 30. Let u be -3*(-4)/m*-20. Solve 0*b = u*b + 10 for b.
-2
Let j(f) be the second derivative of -f**5/20 - 5*f**4/12 - f**3/6 + f**2 + 2*f. Let a be j(-5). Solve o + a - 3 = 0 for o.
-4
Suppose -12 = 4*s + 16. Let b be (-384)/(-112) - 4/s. Solve 0 = -0*i + i - b for i.
4
Let v(k) = -63*k. Let a be v(0). Solve -10*x + 30 = -a for x.
3
Suppose -2*x + x = -5*t + 41, -t = 2*x - 6. Suppose -4 - t = -j. Solve z + j = 4*z for z.
4
Let y(c) = -8*c - 3. Let a be y(-3). Suppose -2*j - a + 7 = 0. Let q(w) = -2*w + 1. Let z be q(j). Solve z = 2*u + u for u.
5
Let d be 8 - (4 + 2 - 3). Suppose 0 = s + 5, -2*b + 40 = 3*b - 4*s. Solve -b*w = -3*w + d for w.
-5
Let d = -29 - -34. Suppose a - 12 + 3 = -2*b, 0 = d*a - 3*b + 7. Solve -h + 6 = a for h.
5
Let z = 8 + -11. Let q be (-3 - 0)*6/z. Suppose 2*u + q = 4*w - 6, 4*u + 2*w - 6 = 0. Solve -2*n - 2*n = u for n.
0
Suppose -3*y = -2*q - 310, 5*y + 5*q = -0*y + 525. Let p be (2/(-2))/(8/y). Let v = -9 - p. Solve -j = v*j for j.
0
Suppose j = -280*p + 282*p - 117, 0 = 3*p - 2*j - 177. Solve h - 58 = -p for h.
1
Let j = 677 + -671. Solve 0 = j*z - 12 + 6 for z.
1
Let v be 6 - (9 - 0)/3. Let j = -286 + 160. Let l be j/(-45) - 4/5. Solve -v*c = l*c for c.
0
Let n be (-1 + 66)*(-4)/(-20). Let j = n - 8. Suppose -l + 2 = 4*d + 8, l = -j*d - 9. Solve -3*c - l = -0*c for c.
-2
Let g be 72/(-40)*(-10)/6. Suppose 0 = -6*a + 3*a + 15, g*u + a = 11. Solve -t - u = 1 for t.
-3
Let k be (-27)/(-15) + 2/10. Solve -k*n - 1 = -n for n.
-1
Let i(n) = -n**3 - n**2 - 2. Let g be i(-3). Suppose 0*k = -2*k + g. Solve j + j = -k for j.
-4
Let v(n) = 2*n**3 + 2*n**2 - n - 2. Let p be v(2). Solve -5*l + p = -0*l for l.
4
Suppose -4*v - 3*x + 18 = 0, -5*v - 4*x = -3*v - 14. Solve -v*s - 4 = 11 for s.
-5
Suppose n - 3*q = 0, -4*n - 3*q - q = 0. Suppose b - 3*s + 9 = n, 6 = 2*b - 0*s + 2*s. Solve 3*v + 4 - 1 = b for v.
-1
Let d = 102 + -98. Solve -d*a - 2 = 14 for a.
-4
Let t = 1407 + -1236. Solve -d - t = -167 for d.
-4
Suppose -3*d = -4*d + 5. Suppose -s = 2*s + 2*h - 2, 0 = -s - 5*h + d. Solve -c - 3 + 1 = s for c.
-2
Suppose 2*l - 5*r - 321 = 0, 3*l - r + 0*r - 501 = 0. Suppose 4*m - 8*m = -l. Let v be m/28 - 2/(-4). Solve -2 = -2*t + v for t.
2
Let v(n) = n**3 + n**2 - n + 2. Let d(x) = x**3 - 5*x**2 - 2. Let f be d(5). Let z be v(f). Solve z = -5*c + 37 - 12 for c.
5
Let m = -1042 - -1048. Let l be (-2)/(-5) - 52/(-20). Solve m*j - l = 3*j for j.
1
Suppose 0 = 8*i - 3*i. Suppose i = -y + 4 + 8. Let p(j) = -j**3 - 10*j**2 - 8*j + 12. Let s be p(-9). Solve 3*o + y = -s for o.
-5
Let f be 1*(3 - 2) + 3. Suppose f*u - 60 = -0*u. Solve 4*y - u = -y for y.
3
Suppose -18*r + 25*r = 0. Solve -7*i - 21 + 0 = r for i.
-3
Suppose -12 = 4*v, 0 = -0*s + 2*s + 4*v + 10. Suppose 2*r + 4*f = 18, 2*f - s - 3 = 0. Suppose 3*b - 32 = -r*b. Solve -o = -b*o for o.
0
Let v be -2 - (-7 + (-14 - 5)). Solve 5*c - v = -4 for c.
4
Suppose 4*d = -t + 2, -4*d - 4*t - 2 = 2. Let l(c) be the second derivative of c**5/10 + c**4/12 - c**3/6 + 3*c + 4. Let n be l(d). Solve -n*s + 3 = s for s.
1
Suppose -4*q + 442 = 5*z, -q - q + 222 = 3*z. Suppose 0 = 111*w - q*w - 12. Solve 5*s - w = 7*s for s.
-2
Let f(h) = -7*h**2 - 9*h - 17. Let n be f(-4). Let z = n + 97. Solve -1 = z*w - 5 for w.
1
Let g(n) = -10 + 16*n**2 - 31*n**2 + 17*n**2 - 24*n. Let b be g(13). Solve -2*a + b = 6 for a.
5
Let b = -6 + 5. Let w be 2 - (3 + -2 - b). Suppose w = 4*l - 3 - 9. Solve -5*u + 28 = l for u.
5
Suppose 4*s = -k + 20, 20 = 6*k - 2*k + s. Solve k = 5*f - 11 for f.
3
Suppose 0 = 3*o - 3*l + 9, 4*o - 6 = -3*l + 3. Suppose o = 4*k - 2*r, 5*k = -5*r + r + 26. Solve 0 = c - k for c.
2
Let q = -84 - -86. Let g be (-11)/(55/(-10))*3/q. Solve 0 = -g*u - 2 + 5 for u.
1
Suppose -3*a + 12 = 0, -d + 8 = 3*d - a. Suppose 3*t + d*z = 17 - 5, 3*t = 5*z + 4. Solve t = 4*y + 7 for y.
-1
Let c = 7 + -3. Let o(h) = -h - 4. Let d be o(c). Let t(b) = b**3 + 9*b**2 + 9*b + 8. Let n be t(d). Solve 6 = 2*v - n*v for v.
3
Let u = 11 + -11. Suppose -5*g + 2*o = -21, 12 = 2*g - 0*g - 2*o. Solve -4*h + 7*h - g = u for h.
1
Let l = -6 + 8. Suppose -350 = -0*m - 5*m. Let w = -67 + m. Solve l = o - w for o.
5
Let i be (5/(45/(-6)))/(24/(-504)). Solve p + i = 11 for p.
-3
Suppose -8 = -2*a + 6. Suppose 0*n - n + a = 0. Let z be ((-1)/(-1))/((-1)/(-3)). Solve z*h = 8 + n for h.
5
Suppose 6 = -2*d - 42. Let q be d + 2 + -1 + -1. Let p be (q/(-15))/(8/20). Solve -20 = -0*v - p*v for v.
5
Suppose b + 1 = -5*z, -3*b + 4*z = -z - 17. Let i = 178 + -172. Solve b*t - 2 = -i for t.
-1
Let u = -262 - -141. Let d = 131 + u. Solve 0 = 2*n - 0*n - d for n.
5
Let l = -4 - -4. Let n(p) = 0*p**2 + 9 + p**3 - p + 0*p**3 - 12*p**2 + 5*p**2. Let c be n(7). Solve l = -2*f + 6 - c for f.
2
Let j(h) = 2*h**3 - 38*h**2 - 85*h + 29. Let c be j(21). Solve -15*i + c*i = 35 for i.
-5
Suppose 0 = -2*z - 4 - 4. Let r be z/(-1) - (0 + -1). Let j(x) = -x**2 + 3*x + 3. Let t be j(3). Solve -t*c - r = 4 for c.
-3
Suppose 2*o = 4*u + 26, 27 = -2*u - 3*u - 3*o. Let z(r) = -r**3 + 9*r**2 - 2*r + 2. Let q be z(9). Let n be q/4*u/4. Solve -t + n = t for t.
3
Let c = -368 + 374. Solve c*d + 2 = 8 for d.
1
Suppose -3*w + 2*p + 0 + 9 = 0, 0 = 4*w + 2*p - 26. Suppose w*s = 4*s + 3. Suppose 5*k = -o + 12, 0 = -5*o - 0*k + 2*k + 6. Solve 10 = -o*l - s*l for l.
-2
Let x be (-6)/(-4) + (-3)/(-6)*3. Suppose 12 = 3*z + 6. Solve -1 = x*j + z for j.
-1
Let m(p) = p**2 + 33*p + 219. Let b be m(-9). Solve 4*y + 1 + b = 0 for y.
-1
Let m(t) = -t**3 - 2*t**2 + 2*t. Let c be m(-3). Let r(k) = k**2 + 4*k - 4. Let d be r(-5). Let x(i) = 3*i + 1. Let u be x(d). Solve -c + 19 = u*a for a.
4
Suppose -2*r + 4*r - 12 = 0. Suppose 5*l = r*l. Solve 0 = -d - l*d for d.
0
Suppose -10*q + 10704 = 38*q. Solve -q = 4*k - 235 for k.
3
Let m(n) = n**3 - 4*n**2 - 7*n - 4. Let o be m(6). Suppose 0 = -5*c - 5*d - 107 - 18, c - 5*d = -1. Let b be 5/(-35) + (-3)/c. Solve -4*u + o - 6 = b for u.
5
Let p = -101 - -109. Solve p*x = 5*x - 9 for x.
-3
Suppose -5*r + r + 16 = 0. Suppose -a = r*a + p + 177, 138 = -4*a - 2*p. Let m be (-5)/(-3) + a/54. Solve j = 3 - m for j.
2
Let k(o) = o + 7. Let n be k(-11). Let q(z) = z**2 + 2*z - 8. Let a be q(n). Solve -4*p + 5*p + 1 = a for p.
-1
Let l be 10/((-40)/6)*-4. Solve 6*a - l - 12 = 0 for a.
3
Suppose -531*h + 552 = -507*h. Solve 21*i - h*i = -2 for i.
1
Let m(r) = -r**3 - 9*r**2 + 10*r + 6. Let a be m(-10). Let h(n) = 3*n + a - 4*n - 2 + 2. Let u be h(2). Solve -y + 6 = -u*y for y.
-2
Suppose 4*m - 27 = 3*p, -11 = -2*m - 3*p + 4*p. Suppose f + 4*u = -f + 12, -4*u + 12 = -m*f. Solve f = -2*g + 6 - 2 for g.
2
Let w(r) = r**2 + 17*r + 71. Let h be w(-11). Solve 5*l + h = 6*l for l.
5
Let g = 114 - 112. Solve -5*l = g + 23 for l.
-5
Suppose -55*r = -17*r - 76. Solve -9*g = -11*g + r for g.
1
Let o(p) = p**2 - p + 5. Let t be o(0). Solve -t*r + 6 = -2*r for r.
2
Let l be (-2)/17 - 318/(-102). Solve 0 = l*q + q + 4 for q.
-1
Suppose -r - 27 = -2*a, -25*a + 54 = -22*a + 3*r. Solve 6*f = a*f + 18 for f.
-2
Let w be (-284)/14 - (-2)/7. Let l = 36 + w. Suppose 211 = -13*c + 237. Solve -c*i - l = -6*i for i.
4
Let f be 1*(3 + -4) - 81. Let y = 82 + f. Solve 4*k - 2*k + 4 = y for k.
-2
Let m = -11 + 23. Let z = -12 + m. Solve -4*g + g - 3 = z for g.
-1
Let c(u) = u**2 + 8*u + 13. Let f be c(-7). Let p(b) = -b**3 + 4*b**2 + 13*b + 2. Let s be p(f). Solve s = 4*d + 24 for d.
-4
Suppose 3*k = 4*u + 3, 2*k - k + 5*u = 1. Let m be (55/20 + k)*4. Solve 5*f - 5 + m = 0 for f.
-2
Let z(w) = 2 - 7*w - 8 - 6 + w**2. Let g be z(9). Let i be 1/(-3) - (-2)/g. Solve c = -i - 4 for c.
-4
Let h(i) = 2*i**2 + 4*