 20 for p.
-5
Suppose 7*w = 4*w + 24. Let n be (9/6)/(6/w). Solve -k + 7 = n*l, -3*k = -0 + 3 for l.
4
Let m(r) = -r**3 + 35*r**2 - r + 48. Let n be m(35). Solve -8*p + 18 = -2*x - 3*p, -4*p = -3*x - n for x.
1
Let p = 19 - 12. Suppose p*q = 9*q. Suppose q = -5*n - 5 + 25. Solve n = -c, 3*c + 8 = -4*t - 8 for t.
-1
Let k be (-6)/159 + 585/53. Solve u + 4*b + 21 = 0, -4*b - k = 2*u - 3*u for u.
-5
Let k = 839 - 837. Solve 3*v - s - 18 = 7*v, 0 = -k*s + 4 for v.
-5
Suppose 0 = -4*b - 3*a + 67, 2*b = 3*b - 2*a - 3. Solve -c + 5*w = b + 5, 16 = 4*c + 2*w for c.
2
Let l be (209/(-57))/((-2)/6). Suppose 9*z = l*z - 22. Solve 5*c + z - 2 = 2*n, -2*n = -c + 3 for c.
-3
Suppose 5*z - 3826 = -3701. Solve 0 = -5*d - z, y - 3*d - 7 = -2*d for y.
2
Suppose -30 = h - 4*q - 55, 5*h = -5*q. Let o = -4 + 7. Solve -7*m - v = -o*m + 4, -h = 5*m - 5*v for m.
-1
Let g = -1237 - -1243. Solve u - 2*u = -4*d - 12, 2*d = 3*u - g for u.
0
Suppose 3 = 5*q + 2*o + 15, -4*q + o - 7 = 0. Let l be 0*1*1/q. Suppose l = -j + 3*i + 1, 4*j = -i + 17. Solve -j*h = -5*x, -h - 2*x = -3*x for h.
0
Let u = 91 - 36. Let v be ((-88)/u)/(4/(-10)). Suppose -v*w - 3*w = -21. Solve -2*c = d - 0 - 7, 4*c + 11 = w*d for c.
1
Suppose -5*d = -0*d - 20. Let p be (-1)/d - (-26)/8. Let j(a) = a**3 - 3*a**2 + 2*a + 4. Let r be j(p). Solve 4 + r = 5*w + 4*s, -w - 1 = -3*s for w.
2
Suppose -2*b = -25*g + 26*g - 7, 0 = -2*g + 6. Solve 2*s - 3*a = -7, -2*s - b*a + 16 + 2 = 0 for s.
4
Let n = -58 + 69. Suppose -3*i - 1 = -4*t, t + 3 + 0 = 4*i. Solve -2*s - n = -5*j, 4*j = 3*s - i + 7 for j.
3
Let g be (((-48)/28)/(-3)*14)/2. Suppose 0 = -2*k - k + 24. Solve 5*z = -k*r + g*r - 4, -28 = 3*z - 4*r for z.
-4
Suppose -16*w - 4*p - 29 = -19*w, -4*p - 14 = 2*w. Solve 3*i = -3*c - 9, -4*c = -2*i - w*i + 21 for c.
-4
Let p(g) = 9*g + 3. Let q be p(3). Suppose -q = -3*j + 6. Let x = -10 + j. Solve x*i + 3*o + 17 = 0, -5*i - 2*o - 13 = 13 for i.
-4
Let u(f) = 10*f - 29. Let w be u(4). Suppose w*h - 5*h = 18. Solve -4*l + 5*l = h*i - 11, -3*l = 2*i + 11 for l.
-5
Let y(x) = -2*x**3 - 3*x**2 - x - 2. Let b be y(-2). Suppose 3*w - 1 = 2*w. Let u be -3*(-32)/12 - w. Solve -5*s + 4*h - 14 = u, 15 = s + b*h for s.
-1
Suppose 60 = 4*u - 4*d, -65*u + 44 = -61*u + 4*d. Solve 5*g = 3*y + 16, -u*g + 10*g = 4*y + 2 for y.
-2
Suppose -3*i = -4*i + 3. Let t be (-2)/(-9)*6*i. Solve 0*z + z - t*n = 24, -5*z - 4*n = 0 for z.
4
Let o be (-3 + 3)/((-1)/(-2)*-2). Suppose -2*r + 9 - 1 = o. Solve 2*v - 13 = 3*p, -30 = 4*p - r*v - 6 for p.
-1
Let d(f) = -f**2 - 7*f + 20. Suppose 5*m - 11 = 3*y - 4, -3*y + m - 23 = 0. Let n be d(y). Solve 5*g = -2*c + 18, 0 = -0*c + n*c - 3*g - 2 for c.
4
Let p = 57 + -55. Suppose -6*b = -3*d - p*b - 8, 4*b - 16 = d. Solve -5*g - 1 = -d*c, 0 = 4*c + 1 + 3 for g.
-1
Suppose -4*l + 9 = -3. Suppose l*z + 24 = 5*w, 2*z + z = 3*w - 18. Solve 4*r - 4 = w*c + 5, -2*r = -5*c - 1 for r.
3
Suppose -4*z + 1772 = -4*v, -z - 4*v + 1812 = 3*z. Let h be (-10)/55 + z/44. Solve 2*r + 4*k - h = 0, r - 2*k + 7 = -0*r for r.
-1
Suppose 5*z + 10 = -u, -125*u = -127*u - 4*z - 2. Solve 0*d - 3*t = 4*d - u, 20 = d - 3*t for d.
5
Let j be ((-2)/(-2))/((-1)/(-2)). Let z be 2*(6 - (-28)/(-4)) - -6. Solve -5*i = -2*v - 5, -j*i - 2*i - 2*v + z = 0 for i.
1
Let v(f) = -4*f - 57. Let o be v(-15). Solve -3*d + 3 = r - 1, -o*d = 4*r + 11 for r.
-5
Let j = -137 - -154. Solve c = -2*i + 1 + 4, j = c + 5*i for c.
-3
Suppose 0 = -3*v + 5*v - 72. Suppose 37*h = v*h + 4. Solve -m + 3 = -1, -8 = 4*l - h*m for l.
2
Let b = -24 - -12. Let j = -9 - b. Let t be -3*(-1)/(-1)*-1. Solve 2*w - 4 = -u - t, j = w for u.
-5
Let k(v) be the first derivative of -v**4/4 + 2*v**3/3 + 3*v**2/2 + 2*v - 3. Let q be k(3). Suppose -o = -q*o. Solve -s + 6 = -3*b + 1, 3*b - 4*s + 2 = o for b.
-2
Let j = 36 - 28. Suppose 4 + j = 4*t. Solve -k + 2*k = -y + 2, -y = -t*k + 2 for y.
1
Suppose 519*x - 520*x = 0. Solve -b + 4*l + 16 = 2*b, 5*l + 5 = x for b.
4
Suppose 3*s - g - 11 = 0, -3*g = -66 + 54. Solve 35 = -4*i + 5*x + 3, -35 = 5*i - s*x for i.
-3
Let v = 1298 + -1288. Solve -5*t - 6 = 2*y + 19, -v = 2*y for t.
-3
Suppose -7*q + 10 = -5*q. Suppose q = 5*w - 4*w. Solve 0 = 5*b + w*x, -4*b - 3*x + 6*x = 7 for b.
-1
Let n(o) be the first derivative of -o**4/4 - o**3 + 2*o**2 - 4*o + 3. Let b be n(-4). Let q be 5/(-10) - 22/b. Solve -6*s + 3*s = q*l - 10, -5*l = s for s.
5
Suppose 3*v + 6 + 18 = 0. Let m be (v/(-28) - 0) + (-33)/(-7). Solve -11 = -m*z + 2*c + 15, -5*z + 8 = 4*c for z.
4
Let s be -2 + (171/(-76))/((-3)/8). Solve -2*l - s*z = -l + 17, 3*z + 34 = -5*l for l.
-5
Suppose -k - 5*t + 20 = 0, -84 = 3*k - 5*k + t. Let d(m) = -m**3 + m**2 + 2*m + 5. Let s be d(4). Let v = k + s. Solve -3*n - 6 = 6, 0 = 2*w + v*n + 10 for w.
5
Let h(l) = l**2 - 8*l + 4. Let q be h(8). Suppose -5*w + q*w = 2*f + 2, w + 2 = -5*f. Solve -4*d + 4 = f, -4*c - c = 5*d - 25 for c.
4
Let z(f) = f + 11. Let p be z(-7). Suppose 2*g - 7*g + c + 5 = 0, -3*g = -p*c + 14. Solve g*u = -3*l + 23, -l = u + l - 14 for u.
4
Let s(a) = -a**3 + a**2 + 6*a + 0*a**3 - 6*a. Let d be s(0). Suppose d*o + o - 9 = 0. Solve -5*i - 10 = -5*h, -3*i + o*h - 4*h = 0 for i.
-5
Suppose -6*l + 558 = -216. Let q = l - 121. Solve -2*m - q = -5*m + b, 3*m + 5*b - 14 = 0 for m.
3
Let k = -679 - -682. Solve -3*m + 10 = b, 4*m + k*b - 24 = -b for m.
2
Let y = -1459 - -1469. Solve -4*w = -w - 4*u - 13, u = 3*w - y for w.
3
Let b(r) be the second derivative of r**5/20 + r**4/2 + 4*r**3/3 + 3*r**2/2 + 16*r. Let p be b(-4). Solve m + 2 = 0, -10 = 4*v + p*m - 0*m for v.
-1
Suppose -15 = -3*o - y, 4*o - y = 4*y + 20. Let n(u) = -u**2 + 8*u - 10. Let l be n(o). Solve -l*f - 3 = z, 2*z - 3 = 3*f + 4 for z.
2
Let q(c) = -15*c + 2. Let r be q(2). Let o = r + 18. Let p = o - -14. Solve -z + 2 = 5*a + 1, -4 = a - p*z for a.
0
Let g = -20 - -44. Let d be ((-2)/3)/((-2)/g). Suppose q = -q + d. Solve 0 = 3*p + q*n - 19, -n - 2 = -p + 2 for p.
5
Let z be 5/(-30)*3*-6. Suppose l - 3*i = 2*l - 10, 4*l - 10 = z*i. Solve -5*o + 4*c = 24, l - 19 = 3*o - 3*c for o.
-4
Suppose -41*x + 10 = -72. Solve 10 = -3*o - x*f - 0*f, 3*f = 4*o + 2 for o.
-2
Let b(m) = -m**2 + 27*m + 2. Let s be b(27). Solve 2*h + 17 = 3*f + 3*h, -16 = -s*f - 3*h for f.
5
Suppose -u + 8 = -0*u. Suppose 0 = 9*s - 10*s - 8. Let t = s + u. Solve 0 = -4*l - 3*f + 7, t = -4*l - 3*f - f + 8 for l.
1
Let q be (-39)/(-12) - 8/32. Suppose 2*m = -q*m + 10. Let x be (-3)/6*(-8)/2. Solve x*a - m*d = 3*a, 5*a - 18 = -d for a.
4
Suppose 2*r = -2*g + 35 + 21, 3*g + 66 = 2*r. Suppose -3*x - 5*b = -r, 4 + 4 = 4*x - 4*b. Solve 0*c + 2*c + 5*p - 10 = 0, -5*p + 25 = x*c for c.
5
Suppose 2*m = -8 + 18. Suppose 105 = -m*z + 3*f, -81 = 4*z - 6*f + 3*f. Let l = z - -24. Solve 3*d + c + 8 = l, 2*d + 2*d = -4*c - 8 for d.
-3
Suppose -5*j = 8*f - 7*f - 3, -3*j - f = -3. Suppose 3*s = m + 74, 3*m + j*m + 15 = 0. Solve 3*w - t - 16 = 0, -4*w + 3*t + s = -0*w for w.
5
Let h = 21 + -21. Suppose 3*z - 5*q = 12, -2*z + h*z - 3*q = -8. Solve s - n = -3, z*s - 2*n = 6*s - 6 for s.
0
Suppose 0 = -12*j + 14*j - 50. Solve -2*d = 3*d - 4*f + j, -2*f + 7 = 3*d for d.
-1
Let r be ((-36)/(-45))/(6/(-15)) - -4. Solve 0 = -4*w - r + 10, -3*i + 13 = 2*w for i.
3
Let r = 207 - 206. Solve u + 5 = d - r, d + 5*u = -24 for d.
1
Let o = -230 + 230. Solve -3*r = -2*u - 0 + 2, o = 3*r + u + 17 for r.
-4
Let j(k) = k**3 - 2*k**2 + 4*k - 3. Suppose -3*t - 45 = 2*t. Let y be (-24)/t + 2/(-3). Let o be j(y). Solve 2*q - 35 = -o*x, 0 = x - 4*x - 5*q + 40 for x.
5
Let k(w) = w**3 + 2*w**2 - 8*w - 10. Let v be k(-3). Suppose 3*r + 9 = 2*p, -r + 8 + 6 = v*p. Let t = -44 + 66. Solve 4*u - 18 = m, p*u - t = m - 2*u for m.
-2
Let g(d) = 4*d**2 + d. Let j be g(-1). Let x(c) = -c**3 + c**2 + 8*c - 3. Let z be x(3). Solve -j*n = 4*f - 10, 0 = -4*f + 2*f + z*n + 14 for f.
4
Let s(u) = u**2 - 7*u + 9. Let b be s(6). Let c be (26/b)/(2/6). Solve -4*q + 2*w - c = 0, 4*w = -4*q - 0*w - 8 for q.
-5
Let s(z) = -z**3 - 22*z**2 - 87*z - 30. Let a be s(-17). Solve -13 = 3*l + i, -4*l - a*i - 26 = -6 for l.
-4
Let p(i) = 2*i - 9. Let s be p(6). Suppose 5*k = s*k. Solve -5*f - 25 = -2*j, k*j - j + 25 = -5*f for f.
-5
Let j = 9 - 7. Suppose j*l + l - 8 = -2*r, r = -3*l + 4. Let z be 0 + 9/12*r. Solve 2*u = -3*i + 2, 0*u + z*u = -i - 11 for i.