p) = p**3 - 23*p**2 + 4. Let b be d(z). Solve -2*c + 5*c = b*j - 3, 9 = 2*j + c for j.
3
Let f(s) = s**3 + 4*s**2 - 4*s + 8. Let w be f(-5). Let l be (w/6)/(4/264). Let c be 1/(3/2) - 22/l. Solve 0 = -3*j + 4*q - 32, 5*j + 30 = -c*q + 2*q for j.
-4
Let x = 538 - 536. Suppose 0 = x*v - 3*l + 18 - 9, 3*v + 5*l = 34. Solve v*h + 5*y + 16 = 0, -5*h + 35 = -2*y - 2*y for h.
3
Let m = -5 - -8. Let s = -1706 + 1707. Let b be (-1 - (-6)/m)*s*11. Solve 0 = -g + 3*o + 9, 0*g + 5*g + 2*o - b = 0 for g.
3
Suppose -102*m + 554 = 146. Solve 0 = 4*p - 5*u + 30, 3*u - m*u = -2*p - 12 for p.
-5
Let u(z) be the first derivative of -2*z**3/3 - 11*z**2/2 - 11*z + 267. Let i be u(-3). Solve -3*o = -4*o + 4*f + 23, 5*o + i*f = -5 for o.
3
Let n = 2254 + -2253. Solve t - 3 = -3*d, 7*t = d - 0*d - n for t.
0
Let n(d) = d**3 + d**2 + 249*d - 6 - 3*d**2 - 253*d. Let c be n(4). Solve -3*g = -2*a + 4, 4*a = 3*g + 2*g + c for a.
5
Suppose 8 = 10*o - 8*o - 3*r, -5*o = 5*r - 20. Solve 2*j = -5*b - 13, -2*b = 9*j - o*j - 20 for j.
6
Let t be 2295/(-783) + 24 + 0 + 4/(-58). Solve 3*j = -4*u + 7, t*u - 26*u - j + 17 = 0 for u.
4
Let p(k) = -2*k**3. Suppose 4*t = t. Let u be p(t). Solve -4*w + 2*l + 27 - 11 = 0, 5*w - 3*l - 20 = u for w.
4
Let t = -18407 - -18410. Solve 25 - 37 = -2*r + 4*v, 0 = -3*r - t*v for r.
2
Let m = -162 + 280. Let k = 141 - m. Suppose k*p - 25*p = -12. Solve -2*q - 3*h = 19, 0 = -4*q + p*h - h - 5 for q.
-5
Suppose -5*m - 4 = 3*h - 24, -5*m + 3*h + 20 = 0. Solve p - 5*z = 12 + m, 2*p - 4*z = 14 for p.
1
Let z(s) = 2*s**2 - 9*s - 6. Let n be z(6). Suppose n = -4*t + 4*r, 2*t + r + 2*r = 19. Solve -4*d - 5*u + 2 = 0, -u - 4 = 5*d + t*u for d.
-2
Suppose -2*h - 4 = -4*h, -140 = -4*r - 4*h. Suppose 0 = -4*x + r - 17. Solve -4*m + 2*s - x = -2, -6 = -3*m + 4*s for m.
-2
Let o(t) = 11*t - 145. Let n be o(15). Let d be n + -1 + 3 + -1. Solve -2*a + m = -4*m - 5, 3*a + 2*m + d = 0 for a.
-5
Let j = 3179 + -3173. Solve -2*y + 5*i = 32, i + 0*i = j for y.
-1
Suppose -151*z + 148*z - 27 = -3*m, -14 = 2*z. Solve 2*c = -19*n + 16*n - 15, 0 = m*n - 2*c for n.
-3
Let r(u) = -u + 24. Let i be r(2). Suppose 2 = 8*n - i. Solve 2*p = -n*t + 7, 0 = 3*p - 0*p - 3*t - 18 for p.
5
Let x(s) = 6*s**3 + 5*s**2 - 6*s - 3. Let j be x(-1). Solve -1 + 10 = 2*d - m, -5*d = -j*m - 22 for d.
4
Let d = 14644 + -14642. Solve 2*s = 2*f - 12 - d, 2*f - 10 = 0 for s.
-2
Let j(k) = -k**2 - 7*k + 11. Let f be 14/63 - 74/9. Let b be j(f). Solve 4*u = b*o + 4 - 23, -o = -2*u - 9 for o.
1
Suppose 0 = -1551*v + 1527*v + 96. Solve -22*n + v*f = -19*n + 7, -23 = -n - 5*f for n.
3
Let n = -324 + 326. Suppose 2*i - 14 = 2*a - 6, -2 = -n*i - a. Solve 3*q - 2 = 4*s, -i*s + 7 = -5*q + 1 for s.
-2
Let k(g) = -61*g + 698. Let f be k(11). Solve -b - f = 5*t, -b = -2*t - 13 + 5 for t.
-5
Let m be (-14 - -21) + 10/(-2). Solve -m*g = -5*o - 28, -7*g - 8 = -9*g for o.
-4
Suppose 24 = 4*x + m, -79*m = 4*x - 77*m - 28. Solve 2*l - 4*r = -3*r - 6, 0 = -x*l - 4*r + 11 for l.
-1
Suppose 21*c - 256 = 5*c. Suppose 0 = 143*n - 108*n - 140. Solve 12 = 3*t - 4*w, n*t - w - c = 3*w for t.
4
Let f = -111 - -137. Suppose -140 = 2*q - f. Let b = q - -63. Solve 0 = 4*x - b*x - w + 12, -x - 3*w = -16 for x.
4
Let t = -8 + 12. Let r be 2 + (-16)/6*-3. Solve 2*n = -k + 3, 4*k - r = -t*n - 2 for n.
1
Suppose 28 = 2*x + 4*n, -x + n = -139 + 140. Suppose 5*v - 4*k = -k - 15, -20 = 3*v - 4*k. Solve 4*m - d - 3 = -v*m, 5*m = x*d + 1 for m.
1
Suppose 5*s - 8 - 2 = 0. Let h(p) be the first derivative of -p**4/4 - 8*p**3/3 + 4*p**2 - 5*p + 37. Let c be h(-9). Solve g = -z - c*z - 6, -g - 3 = s*z for g.
-1
Let l = 436 + -431. Solve -19 = l*p - 4*j + 2*j, -j = 5*p + 13 for p.
-3
Let l(r) = -10 + 5 + 8*r - 16 - 15. Let b be l(5). Suppose -13 = -3*s + 14. Solve -d = -5*u, 3*d + 10 + s = -b*u for u.
-1
Let r be (5 + (-252)/70)*5. Solve l + 13*j - 17*j = r, -12 = 2*l + 5*j for l.
-1
Suppose r + 3*j - 228 = 0, -3*j + 704 = 3*r + j. Suppose 0 = -3*q, 0*q = -4*d + 3*q + r. Let u = d + -55. Solve 5*i - 2*w = 21, -25 + 1 = -u*i + 3*w for i.
3
Let l be 36/(-3)*(6/(-4))/(-1). Let t be (-78)/l - 6/(-9). Solve -i - t = -s, i + i + 9 = s for s.
1
Let k be (-2 + 2)/(25 - 23). Solve 1 = -5*y - 3*i, -i + 0*i + 3 = k for y.
-2
Let w = 8766 + -8761. Solve w*v = -5*y, -4*y - 2*v + 0*v = 8 for y.
-4
Let t = 13 - 49. Let b = t + 36. Suppose 5*o = -b*o + 10. Solve -18 = 3*j - a + 6*a, o*a = -6 for j.
-1
Suppose -5*z = -191 + 31. Let s = -57 + 60. Suppose s*f - 7 = 2*x, x + 4 = -4*f + 17. Solve -n - 12 = 2*l - 2*n, 5*n - z = f*l for l.
-4
Let b = -44 + 43. Let l be b/(-4) - (-129)/12. Suppose -4*k + 29 = 3*w + 5, 0 = -5*w + 3*k + l. Solve 0*z + 4*r - 24 = -w*z, -4*r + 15 = -5*z for z.
1
Let g = -3841 + 3846. Let q(n) = -n - 2. Let j = -5 - -3. Let i be q(j). Solve -4*c - 4 = i, -5*x - g*c - 4 = 1 for x.
0
Let n = 12 - 7. Let t = 4219 + -4217. Solve t = -f + n*q, q - 4 = 2*f - 2*q for f.
-2
Let f(o) = 354*o - 2121. Let z be f(6). Solve 0 = 4*a - 4, -5*n + z*a - 19 + 6 = 0 for n.
-2
Suppose -103*n + 19*n = -420. Suppose 5*m - 11 = 4. Solve -n*t - m*y = -0*y + 11, 0 = -5*t + 4*y + 3 for t.
-1
Suppose -6*q + 1170 = -1404. Suppose -5 = -q*p + 428*p. Solve -3*o + p*f - 33 + 8 = 0, -f = 2*o - 5 for o.
0
Let o = 2058 - 2056. Solve 0 = -k - i - 5, o*k - 2*i + 10 = -3*i for k.
-5
Suppose 0 = -621*d + 588*d. Solve 5*u + 4*k - 5 = -d*u, 16 = 3*u + 5*k for u.
-3
Let d be (4 + -1)/(18/4)*-309. Let a = 209 + d. Solve -2*n = a*x + 12, x + 2*n + 5 = -3 for x.
-2
Let k(c) = -c**2 - 6*c + 3. Let x be ((-5)/(-15))/(2/108). Suppose -x = 9*u - 6*u. Let b be k(u). Solve b*n = -n - 3*d + 7, 0 = -2*n + d - 9 for n.
-2
Suppose -178100*i + 178163*i = 1134. Let p(s) = s**3 - s**2 - 2*s. Let t be p(3). Solve -3*o = 5*u + i, 4*o + 1 = 5*u + t for u.
-3
Suppose -4*s + 15 = 5*j, 2*s + 12 = -2*j + 18. Solve -j*w + 22 = -0*l + 5*l, -2*l + w = -11 for l.
5
Let h(t) = -t**2 - 7*t + 3. Let d be h(-7). Let j be 88/14*(7 - (-21)/(-6)). Suppose v = 12*v - j. Solve -3*q + f + 3 = -4*q, -d = v*q + f for q.
0
Suppose -2361*u = -2357*u - z - 18, 0 = -4*u - 3*z - 6. Solve -s + 131*r - 126*r = 22, -16 = u*s - 5*r for s.
3
Suppose 0 = 2*p + 4*o + 14, -32 = -6*p + 2*p + 4*o. Suppose 17*q - p = 99. Solve 0 = -y - x - 2, -q*y - 5*x = -3*y for y.
-5
Suppose 3*d + 27 = 4*o - 104, -4*o + 123 = 5*d. Suppose -18 = 7*z - o. Solve 2*v + 4*c - 6 = 0, z*c - 2 = v - c for v.
1
Let d = -377 - -27. Let j = d - -352. Solve j*m - 4 = 6*m, -4*m - 10 = 2*r for r.
-3
Suppose -2*l - 3 = -13. Let g(f) = -2*f**2 - 61*f - 186. Let y be g(-27). Solve 4*b - 11 = y*w, l*w - b = -5 - 2 for w.
-1
Let j(v) = v**2 - 4*v + 8. Let y be j(6). Suppose 12 = -8*d + y*d. Let o be (-29)/(-9) + d - 4/18. Solve -6*u + 3*u = -o*h, 4*h + 4*u = 0 for h.
0
Suppose 16 = 3*z + 10. Suppose -25 = 5*d - 2*t, 2*d + z*t - 14 = -2*t. Let b(u) = -u**2 - 5*u - 4. Let f be b(d). Solve 2*w = 2*l, -5*w + f*l - l = 20 for w.
-5
Let t = 155 - 107. Suppose -52*b = -t*b - 20. Suppose 0 = -0*j + j - 3. Solve -1 = 4*r + b*u, -5*r + j = 3*u + 1 for r.
1
Suppose -120 = -37*n + 27*n. Suppose 0 = 5*v - 3*a + 12, 2*v + a + n = 4*a. Solve -15 = q - 4*q, v = -5*y + 4*q + 5 for y.
5
Suppose 25 = 14*d - 35*d + 298. Solve d = -4*f - 3*i, 14*f + 2*i = 9*f - 18 for f.
-4
Suppose 0 = -z + 50 + 3. Let r be 22/(-187) - z/(-17). Let u = -64 - -67. Solve -3*v = -4*h - 5, -v + r = -u*h - 2 for v.
-1
Let a(m) = 5*m**2 + m + 84. Let t(o) = 9*o**2 + 2*o + 169. Let z(k) = -11*a(k) + 6*t(k). Let l be z(-9). Solve n - 2*f - 11 = l, 13 = 3*n - 0*f - f for n.
3
Let w(k) = -k**3 - 8*k**2 - 9*k + 15. Let h be w(-6). Let c be h/(3/(-6)*3). Solve -c + 14 = 2*b - 2*p, 0 = 4*b + 3*p - 3 for b.
3
Let w be 1 - (-5)/((-10)/(-136)). Let o = 73 - w. Suppose -2*n + 7 = -n - 4*i, 8 = o*n + 4*i. Solve -n*z = -s + 14, -5*z = 3*s - 2*z + 18 for s.
-1
Suppose 12*y + 337 = 166 + 195. Solve s - y*r + 9 = 0, 29*s - 36*s + 2*r = 15 for s.
-1
Let u(i) = -118*i - 1037. Let t be u(-9). Solve 5*n = -5*k + t, -2*n = 5*k - n - 5 for k.
0
Let n be (-6)/(3 + -15)*3*22. Suppose -n*b + 18*b = -330. Solve -y - 4*w + b = 0, -4*w + 13 = -y - w for y.
2
Suppose -d + 11 = -m + 4, 3*m = 5*d - 25. Let a be 2/9 + 212/18. Suppose 3*i = -a, -y + 1 = d*i + 6. Solve y*c + t + 2 = -15, -25 = 5*t for c.
-4
Suppose 0*i - i = -z + 3, -2