= -5*p - k - 3, -p - 5 = 4*k + 7. Let j(b) = -10*b + 6*b + p*b + b**2 - 4 - 2. Let z be j(6). Solve z = m + m for m.
3
Let r(m) = -m**3 - 8 + 1 - m - 17*m**2 - 1. Let t be r(-17). Solve -5*o + 11 + t = 0 for o.
4
Let z = 3 + -3. Suppose -3*d - 20 = -2*l, -l + d = -z*d - 8. Solve l*c + 4 = 5*c for c.
4
Suppose 5 = -5*u, 0*u + 4*u = -2*k - 2. Let a be 4 + (-4)/(3 - 1). Let h be 3 + (a - 2)/k. Solve 2*y + 3 = h*y for y.
3
Let h(u) = u**2 + 9*u + 22. Let j be h(-3). Suppose j*b - 17 = 31. Solve -4*z + z = b for z.
-4
Let i(j) = 79*j - 34*j - j**3 - 35*j. Let b be i(3). Solve -8*z = -b*z + 5 for z.
-1
Let b be (0 + (-18)/15)/(2/(-15)). Suppose -n + 6*n + 5*q - 15 = 0, -b = -3*n + 4*q. Solve -17 - n = 5*j for j.
-4
Let m(c) = -c**2 - 4*c. Let t be m(-2). Let q be 27/6*96/54. Solve t*b = 2*b - q for b.
-4
Let q(m) = 2*m**2 - 4*m + 2. Let z = -70 - -72. Let v be q(z). Solve 4*l = v - 6 for l.
-1
Suppose 32 = -5*h - 3. Let n(y) = y - 55*y**3 + 8 - 7*y**2 + 110*y**3 - 56*y**3. Let s be n(h). Solve 5*c - 4 = s for c.
1
Let n = 15 + -11. Suppose -5*y - n + 4 = 0. Solve -g - 3*g + 12 = y for g.
3
Suppose s + s = -18. Let d be (-24)/s*(-30)/(-8). Suppose -t + d*a - 10 = 5*a, -t = 4*a - 8. Solve t = -p - 3*p - 16 for p.
-4
Suppose -2*u - 4*i - 12 = 0, -33 = -u + 4*i - 9. Let p = u + -1. Let n be 7 - -2*p/(-6). Solve b + b + n = 0 for b.
-3
Let f(k) = 2*k**2 - 18*k - 38. Let q be f(12). Solve -2*x + 38 = q for x.
2
Suppose -10*u + 13*u - 9 = 0. Solve -u*x - 11 = 4 for x.
-5
Suppose 139 = -5*v + 184. Suppose 7*i - 10 = 2*i. Solve -i*y + v = y for y.
3
Let a(p) = -p + 4. Suppose 3*o - 2 = 22. Let d be a(o). Let h = d + 7. Solve 5*q = 4*q - h for q.
-3
Let b = 38 + -34. Suppose 0 = -b*d + 14*d - 50. Solve -2*k = -d*k for k.
0
Suppose 2*k + i + 162 = -3*i, 2*i = -2*k - 158. Let x = k - -82. Solve -x*r = -r - 16 for r.
4
Let y = 1255 - 1240. Solve 21 + 24 = -y*q for q.
-3
Let v be (-4)/(-12) + 60/9. Solve 37 = 6*k + v for k.
5
Let x = -2398 + 2400. Suppose -4*g + 34 = 6. Solve -x*w = 3 - g for w.
2
Let q be 114/10 - (-6)/10. Let y(m) = -m**2 + 32*m + 378. Let c be y(41). Solve -q = -3*h - c for h.
1
Suppose -j + 7*o = 3*o + 100, 0 = -2*j - 3*o - 222. Let g = j + 116. Solve -2*i + 4*i + g = 0 for i.
-4
Suppose -h - 2*d = -143, 7*d - 710 = -5*h + 2*d. Let b be 11/(-77) + h/7. Solve 4*n + b = -0*n for n.
-5
Suppose 165 = 3*f - 75. Let z be 32/f - 4/10. Suppose z = 4*u - i - 9, -2*u - i - i = -2. Solve -m + u*m = 3 for m.
3
Let l = -73 + 27. Let i = l + 48. Solve 0 = -w - 6 + i for w.
-4
Let m(t) = -4*t**2 - 358*t - 176. Let n be m(-89). Suppose -10 = -u + 4*v, -2*v = 2*u + 2*v + 4. Solve -u = -j + n*j for j.
-2
Let c = -551 + 551. Let j(r) = -2*r - 8. Let q be j(-6). Suppose 0 = -q*y - 2 + 10. Solve c = y*t + 9 - 3 for t.
-3
Let p = -4 + 7. Let h(j) = -j + 1. Let f(u) = -4*u - 10. Let t(y) = -f(y) + 3*h(y). Let o be t(-9). Solve r + o = p*r for r.
2
Suppose 0*u - 18 = -3*u. Let o = u - 1. Suppose 5*a - 10 = a - h, -o*h + 8 = -a. Solve -a*i = -0*i - 6 for i.
3
Let m(n) = -n**3 + 8*n**2 + 5*n - 14. Let w be m(7). Let q = -63 + w. Solve q*c = 2*c for c.
0
Suppose 0 = -14*v - 0*v + 266. Solve 5 = 14*q - v*q for q.
-1
Suppose 2*v - 15*t = -16*t + 1, -v = 2*t + 4. Solve -v*a + 8 = -0 for a.
4
Let y be 5/3 - (-1)/3. Suppose 5*m - 76 = 4*m. Suppose 0*g + 5*g = 5*s - 110, 4*s - g = m. Solve -5*r = s + y for r.
-4
Suppose 3*f + 5*w - 31 = 0, -2*f + 21 = -4*f + 5*w. Suppose 2*a - 20 = -f*a. Solve -z - 3 = -a for z.
2
Let t(p) = -2*p**3 + 4*p**2 - 5*p + 4. Let b be t(2). Let r be (2/3)/((-2)/b). Solve -r*f = -5*f for f.
0
Suppose -75 = -3*r - 63. Solve 6*p + r - 10 = 0 for p.
1
Let r be (30/9)/(-1)*42/(-28). Solve 3*a + 10 = r*a for a.
5
Let k(u) = -5*u - 72. Let o be k(-16). Solve 10*z - o*z = -6 for z.
-3
Let h = -715 - -717. Solve i - h = -7 for i.
-5
Let d = 103 - 101. Let v be (-95)/(-35) + d/21*3. Solve 7*x = v*x + 16 for x.
4
Let p be 1/5 + 468/60 + 4. Solve 8 = -4*u - p for u.
-5
Suppose 382 = 9*q + 67. Solve 5 = 8*l - q for l.
5
Suppose 85*g = 99*g - 84. Solve -9*m + 12*m - g = 0 for m.
2
Let j(p) = 2 - 1 - 3*p + 1 + 2*p. Let h be j(0). Suppose -4*t + 14 = h*s, -3*t + 21 = 3*s + 2*s. Solve 2 = t*q - 4*q for q.
-1
Let v(x) = -x**2 + x + 3. Let o be v(-3). Let u = o - -14. Suppose -u*t = -3*t. Solve n + t + 4 = 0 for n.
-4
Let m = -2 + 4. Let k be (5 - 1)*21/(-4). Let g be (-1 - -2)/((-7)/k). Solve 5 - m = g*d for d.
1
Let r = -774 - -789. Solve -r = -2*t - 7 for t.
4
Suppose -5*q - 5*d = -70, 0 = -2*q + 3*d + 4 - 1. Solve -10*t + q = -t for t.
1
Let d = 329 + -329. Solve d = -3*h - 8 - 7 for h.
-5
Suppose 0 = h - 45. Suppose -4*w + h = 5. Solve -25 = -w*z + 5*z for z.
5
Let y = 5 - 3. Suppose 5*s = 20, p - 2*s = 5*p - 28. Suppose -r + 5*k = 2 - 13, 85 = p*r + 5*k. Solve -r = -2*a - y*a for a.
4
Let l = -3 - -5. Suppose -l*j = 3*j + 10. Let z = 5 + j. Solve z*y = y for y.
0
Suppose -2*x + 14 = 2*n, -24*x + 3*n + 63 = -20*x. Solve -2*w = -5*w + x for w.
4
Let r = 81 - 79. Let o(q) = -q**2 - 9*q + 18. Let j be o(-9). Solve 5*s - j = r for s.
4
Let o(s) = 3*s**2 + 28*s + 16. Let a be o(-9). Solve -u - a = -3 for u.
-4
Let y(k) = -7*k - 25. Suppose -22*o + 8*o = 56. Let r be y(o). Solve -r*a = 2*a + 5 for a.
-1
Let h(c) = -c**2 + 3*c + 14. Let f be h(6). Let o be f/(-1) - 3/(-3). Solve 3*d - o*d = -6 for d.
3
Let w(z) = z**3 - 15*z**2 + 26*z + 13. Let a be w(13). Suppose -4*x - n + a + 3 = 0, n = -2*x + 8. Solve -x = 3*d + 11 for d.
-5
Let d = 66 - 69. Let s be (2/(18/(-3)))/(d/54). Solve 2*o - 4 = s for o.
5
Suppose -129*v + 81 = -126*v. Suppose 0 = v*p - 33*p + 18. Solve p*z - 11 = 4 for z.
5
Let c(o) be the first derivative of o**4/2 - 13*o**3/3 + 7*o**2/2 - 6*o - 25. Let w be c(6). Solve 0 = -w*y - y - 4 for y.
-4
Suppose -3*l = -2*l - 3*a - 17, 2*a = -4. Suppose -5*c - 18 = -l*c. Solve -m = -c + 4 for m.
-1
Suppose 7 = -8*q + 39. Let z(u) = u**3 - 4*u**2 + u - 3. Let b be z(q). Solve 0 = -2*t + b - 7 for t.
-3
Suppose -2*m = -4*q + 400, -501 = -5*q - 40*m + 43*m. Solve -q + 69 = 6*h for h.
-5
Let g = 10 - 14. Let w be g/(-10) - (-12)/(-30). Suppose 0 = b + 3*f - 15, -5*b - f + 15 + 4 = w. Solve 3 + 0 = -b*u for u.
-1
Suppose -9*l = 168 - 906. Solve l*x = 87*x + 15 for x.
-3
Let u be -24*(3 + 9/(-2)). Suppose -u = 2*l - 40. Solve -l - 2 = b for b.
-4
Let p be ((-2)/4 + 0)*-6. Let l = 1 + 2. Suppose l = -p*u, -2*w = u - 6*u - 5. Solve w*a = 3*a - 6 for a.
2
Let v(g) = -g**2 + 6*g - 6. Let t be v(4). Suppose 20 = 5*q + 5*a, 5*a + 18 - 14 = q. Solve -2*n - t*n - q = 0 for n.
-1
Let q(x) = -x**2 - 3*x + 92. Let l be q(8). Solve -3*w = -1 + l for w.
-1
Suppose -3*s + 7*s = -2*x + 40, 4*x + 4*s - 64 = 0. Solve 7*j = j - x for j.
-2
Suppose 4*h = -y - 3*y + 16, -3*y = 4*h - 14. Suppose 2*r - 2*v - 36 = -4, -h*v + 20 = 2*r. Solve r = -5*s + 38 for s.
5
Let f = -469 - -478. Solve p + f = 6 for p.
-3
Suppose 3*q + 6 = 3*l, 4*q - 9 = -l + 13. Solve 3*o - l = o for o.
3
Suppose -2*p = -14 - 10. Suppose -2*k = 7*d - 3*d + 6, 3*k = d + p. Solve 12 = k*y + y for y.
3
Let p(b) = -b**2 + 2*b - 7. Let s be p(-3). Let a = 39 + s. Solve -5*n - a = -2 for n.
-3
Let q be (4 - -2)/(-2) + 2*5. Suppose 0 = o - 15. Solve q*z - 4*z - o = 0 for z.
5
Suppose 0 = 5*i - 10. Suppose i*m = 3*m - 6. Solve o - m*o = 25 for o.
-5
Suppose a + 3*a = 8. Suppose 15 = k + 4*k. Suppose k*y + n - 1 = 1, 4*y - 9 = 5*n. Solve 5 = -a*m - y for m.
-3
Let u(p) = -p**2 + 3*p + 188. Let o be u(15). Solve 0*h = -4*h + o for h.
2
Let h(c) = 2*c - 8. Let n be h(0). Let w be 4*(18/n)/(-3). Suppose 0*j - 5*j = 3*i + 12, -2*j - w*i = 12. Solve 2*s - 6*s = j for s.
0
Suppose -8 = 4*x + 4, -5*c + x = -1023. Let m be (-3)/2*c/(-18). Suppose 2*w + w - i = m, 2*w + 2*i - 6 = 0. Solve 0 = -w*r + 19 - 4 for r.
3
Suppose b = -x + 4, 9*x - 8 = 5*x - 2*b. Solve x = r - 0*r + 2 for r.
-2
Suppose 7*b + 8 - 99 = 0. Let l(u) = -u + 16. Let n be l(b). Solve 0 = n*o - o for o.
0
Let q be 56/70 - (-12)/10. Let j be 1/4 - 14/(-8). Solve 4 + q = j*l for l.
3
Let h = 63 + -51. Solve 0 = -3*t - t - h for t.
-3
Suppose -2*q = -3*v - 16, -2*v + 4*v = -q - 6. Suppose -4*b - 2*w + 46 = 0, -b - 4*w + 47 = q*b. Suppose 3*h = h + 22. Solve b = 4*p - h for p.
5
Let v be (-6)/(-4 - 2) + 2. Let n be 1/(1*2/10). Suppose -y - y = n*t - 23, t - 5*y = 10. 