for p.
-2
Let c(o) be the third derivative of -o**5/60 - 7*o**4/24 - o**3 - 10*o**2. Let s be c(-5). Solve -1 = u, -14 = s*j - 2*u + 4*u for j.
-3
Let j(m) = m**3 + 4*m**2 - 3*m + 6. Let n be j(-5). Let k be (2 - 2 - 1)*n. Solve 3*s - 15 = -2*s - 5*i, -2*s + k*i + 18 = 0 for s.
5
Let g be -3*(-9 - (-10 - -4)). Let l(v) = 13*v**2. Let c be l(-1). Solve 0*n - 2*f - c = -n, n - f = g for n.
5
Suppose 2*h = -4*i - 1124, 4*h + 1672 = h + i. Let z be (-2)/12 - h/108. Solve 0 = -n + 3*o - 4, z*n + 3*o = o - 3 for n.
-1
Let h(r) be the first derivative of -4*r**3/3 + 5*r**2/2 - 2*r + 1. Let w be h(2). Let f = -3 - w. Solve -q = 5*z + 8, -z = -5*q + f + 7 for z.
-2
Suppose -2 - 10 = -6*d. Suppose -o + 5*n = -17, -5*o + 2*o - n = -3. Solve 5 = -2*f + 4*g - 3, o*f = d*g for f.
4
Let s(o) = 2*o - 32. Let b be s(17). Let l be (0*(b - 1))/1. Solve 0 = 2*h + 2*d + 6, -d = -l*h + 5*h + 19 for h.
-4
Let d = -1441 + 1444. Solve -m + 5*x = -8, d*m + 14 = x - 5*x for m.
-2
Let c be (1 + (-14)/10)/((-11)/55). Solve 2*d - 12 = 5*f, 0*f = -f - c*d - 12 for f.
-4
Let j(p) = -p**3 - 40*p**2 + 40*p - 36. Let u be j(-41). Solve 0 = -t + u*k - 9 - 8, 3*t = -2*k + 17 for t.
3
Suppose 5*f = 6*n - n + 45, 3*f = 2*n + 22. Let j(m) = 5*m - 19. Let o be j(f). Solve -3*i + 0*i = 2*a + o, 3*i = 5*a - 29 for i.
-3
Let y(d) = -d + 21. Let c be y(13). Suppose -2*u - c = -4*i, -4*u - 4*i + 13 + 31 = 0. Solve -3*q - u = 0, -5*f = 2*q + 3*q for f.
2
Let z(p) be the second derivative of 5*p**4/12 + p**3 - p**2/2 - 8*p. Let l be z(-3). Let i = l - 21. Solve 5*o - 32 = -3*y, -i*o - 3*y + 4 = -7*y for o.
4
Let z be 28 - -3*(-1)/(-3). Let q = z + -22. Solve q*u = 2*u + 2*i, -u - 4*i = 22 for u.
-2
Let j = 0 + 4. Let v = -59 - -58. Let u be (v + j)/(6/6). Solve u*z + 10 = -c, -c - 3*c + z = -12 for c.
2
Let y be 8/10*(-30)/(-12). Let p be (0 + y - -1) + 4. Let f be 44/p - (-4)/(-14). Solve -h + 2*o + f = 0, h - o - 1 = 1 for h.
-2
Let j be (15 - 824/56)/(1/70). Suppose 0 = -2*b - v + 7, 2*v = 2*b - 1 + 3. Let o be 0 - (1 - 6/1). Solve -b*h + j = o*u, u + u = 2*h - 6 for u.
2
Let r be 0/7 - 4/(-2). Solve -r*x = 3*z + 5, 2 + 2 = -4*z - 2*x for z.
1
Suppose 0 = 9*o - 3*o + 36. Let t be 24/16*(-20)/o. Solve -t*n = 0, -2*n = i - 1 - 4 for i.
5
Let u = 39 - 34. Let a(m) = m**3 - 3*m**2 - 9*m + 1. Let i be a(u). Solve 3*j + i = 0, 4*j = 3*f - 2*f - 3 for f.
-5
Let b be 2/(-3) - 47/(-3). Let l(v) = 2*v - 28. Let g be l(b). Solve g*x + 12 = -5*t - 2*x, 2*x + 12 = -4*t for t.
-4
Suppose 5*x + 2 = 3*x. Suppose b + 15 = -4*b. Let i be x/b + (-40)/(-15). Solve -w + 0*w = -i*u - 11, -4*w = u - 18 for w.
5
Let t be (2 + (-5)/2)*-10. Let c = t - 2. Suppose 4*s + 35 = w, -67 = -0*w - 2*w + 5*s. Solve c*n = 4*x + w, 3*x = 2*n - 18 - 4 for n.
5
Suppose 9*p = -605 + 749. Solve 6*s = -3*z + 2*s - 25, 4*z = -s - p for z.
-3
Let f = -38 + 40. Suppose -f*q - 9 = -3*t, -5*t + 3*t + 6 = 4*q. Solve -2*m + l + t = 0, -2*l = m - l - 9 for m.
4
Let i(w) = 4*w**3 - 4*w**2 + w + 1. Let a be i(1). Solve 5*z + 12 = -c, 3*z + a*c - 6 = -3*c for z.
-3
Suppose -10 = -2*n, 5*n = 2*d + n - 26. Let g = 33 - d. Solve -q + 5*x + 8 = 3*q, 4*x + g = 5*q for q.
2
Suppose 0*s - 2*s + 8 = 4*l, 5*l = s - 4. Let k be (l + 1)/(4/16). Let x(b) = 3*b**2 - 2*b - 3. Let a be x(-1). Solve r + k*n = -9, -3*r - a*n = 2*n + 19 for r.
-5
Let c be (5 + -4)/(1/(-2)). Let h be (2 + (-25)/5)/(c/2). Solve 3*t - 3*l - 15 = 0, -l = 2*t - h - 7 for t.
5
Let k = 324 + -317. Solve -3*a - k = d, -3*d + 7*a + 21 = 2*a for d.
2
Suppose 0 = -3*z + 2*t - 3 + 1, 4*t = -8. Let q be 0*(-1)/4*z. Let r be 6 - (q/3 - -3). Solve -r*k - 35 = -5*y, y - 2*k - 26 = -3*y for y.
4
Let q(m) = m**2 + 4*m - 10. Let b be q(-6). Let f(u) = -b*u + 2 + 4*u**2 + 0 - 5 + 1. Let z be f(2). Solve -2*j - 35 = 5*p, 0*j - 4*j + 2*p = z for j.
-5
Let l(s) = s**2 + 2*s - 7. Let c be l(-4). Suppose 0 = -r + 5 - c. Solve r*n = 5*v - 36, 0*v - 4*n = v + 12 for v.
4
Suppose -2*i = 4*v - 76, -5*i + 19*v = 17*v - 142. Solve 5*a - 4*d = i, -4*a = d - 5 + 2 for a.
2
Let c(n) = -3*n - 126. Let j be c(-44). Solve 5*v - 3*k + 14 = -0*v, -3*v + 3*k - j = 0 for v.
-4
Suppose 35 + 40 = 5*i. Solve 17 = -l - l + 5*k, 3*l - 4*k + i = 0 for l.
-1
Suppose 33*i = -13*i + 11*i. Solve -5*b - w + i = 5, 3*b + 5*w = 19 for b.
-2
Suppose 47*q = 42*q + 25. Solve 0 = g - 2*y - 11, -5*g + q*y + 0*y + 35 = 0 for g.
3
Let i = -11 - -6. Let f be (4 + i)/(1/(-6)). Suppose k = f*k - 20. Solve 0 = k*q + 5 - 1, -3*q = -j + 7 for j.
4
Let w(d) = -2*d**2 - 19*d - 19. Let m be w(-8). Solve -3*k + 8*k + 2*o + 22 = 0, m*o = -5 for k.
-4
Let z(g) = 9*g - 34. Let c be z(6). Solve -4*h + c = -5*r, 5*r - 6*r - 4 = 2*h for h.
0
Let n be 0 + -2 + (-2)/(-1). Let a be 144*((-35)/10)/(-7). Suppose 34 = b - n*b + 2*d, 3*b = 4*d + a. Solve 5*z + g = z + 8, -4*z = -4*g - b for z.
3
Let k = 10 + -7. Let g = -5 + 8. Let d(b) = b**2 - 22*b + 122. Let y be d(12). Solve -y*i + 3*i = -s, g*i = k*s - 6 for i.
-1
Suppose 5*c = -4*n - n + 10, 10 = 3*c + 2*n. Let t(p) = p - 3. Let x be t(c). Let o be x*((-120)/(-9))/2. Solve y - f - 5 = 3*y, f = 3*y + o for y.
-5
Let j be (-5)/(-2) - (-6)/12. Suppose j*v = 5*v. Solve 26 = -5*z + 3*p, v = 3*z - 2*p + 17 - 1 for z.
-4
Let z = -706 - -708. Solve -z*v - 3*v - 10 = -5*f, 3*f + 4*v = 27 for f.
5
Let v(u) = u**2 + 10*u - 53. Let i be v(-14). Solve -i*r = 2*g + 8, 3*g + 3*r = 4*g - 5 for g.
-1
Let j = 281 + -252. Suppose 7*k - j + 15 = 0. Let m = 2 - -3. Solve -m = -5*x + 4*w, 4*x - w = k*w + 4 for x.
1
Suppose 2*v = -4*z - 2, 2*z = -3*v - 0*v + 5. Suppose -b + 1 + v = 0. Suppose b*q - 2 = 14. Solve n = -q*g - 2, -4*n + 2*g = -2*n + 4 for n.
-2
Suppose x + 4 = -0*x, f + 4 = -2*x. Let z be 21/(-5) - (-1)/5. Let v be 1*(z - -3) + 8. Solve -4*p + v*p = -5*j - 28, -j + p - f = 0 for j.
-5
Let p be 3 + (-1 + 4 - 1). Suppose p*x - 4 = 6. Suppose -4*a - 18 = -3*o, -x*o + 1 = a - 0. Solve -o*j + 3*f - 4*f = -7, 5*f - 11 = -4*j for j.
4
Suppose y - 2 = 2. Suppose 3*b - 13 = -2*c, 4*c - 3*b = b - y. Let o = 1 + -1. Solve -c*s + 20 = -4*p, -p = -3*s - o*p + 10 for s.
2
Let v(c) = -3*c**2 - 69*c. Let g be v(-23). Solve -4*n + 2*w + 2 = 4, g = -4*w - 20 for n.
-3
Suppose 4*a - a - 75 = 0. Let d be 56/10 + 384/(-640). Solve -5*m = -u - 21, 0*u = m + d*u - a for m.
5
Let u be (-2)/19 - (592/152 - 9). Solve -4*f - 17 = -3*i, -u*f + 2*i - 22 = -2*i for f.
-2
Let f(l) = -l**3 - 13*l**2 - 13*l - 8. Let q be f(-12). Let j = 1 + q. Suppose 9 = j*d - 1. Solve 5*z = -0*w + 2*w + 5, d*w + z - 1 = 0 for w.
0
Let b be (-20)/(-5 + 9) - 87. Let g = b - -93. Solve -g = 2*j + f, f - 6 = 3*j - 2*f for j.
-1
Let p = -5 + 10. Let y(z) = -3*z**2 + 7*z - 6 - 4*z**2 + z**3 + z**2. Let q be y(p). Solve q*f + 5*x = 15, -f = f - x - 11 for f.
5
Suppose 0 = -l - 4, 7*j + 3*l = 9*j - 2. Let u be (6/j)/(6/(-20)). Solve 5*v + 19 = -u*q + 3*q, -v - 4*q = 0 for v.
-4
Suppose -128 = -5*m - 2*y, y - 4*y = 5*m - 127. Let x = m + -24. Solve o + 3*b = -x*b + 15, 12 = -2*o + 4*b for o.
0
Suppose -2 = -6*o + 22. Suppose -4*v = -4*q - 48, -66 = -o*v - 0*v - 2*q. Solve 2*m - c - 3 = 0, m + v = 2*m + 4*c for m.
3
Let i be 3*(4/(-3))/(-1). Suppose -2*x - 23 = -2*j + 3*x, 4*j = i*x + 28. Let b be j/6 + (-14)/21. Solve 5*d - 9 = 4*v - 8*v, 5*v - d + 25 = b for v.
-4
Let h = 506 + -503. Solve 7 = 4*i + h*o - 0*o, -3*o = -5*i + 2 for i.
1
Let m be (11 + -14 - (1 + 1)) + 6. Solve -3 - m = -4*i - 4*k, 10 = 3*i - 4*k for i.
2
Let g be (-20)/8*(-6)/3. Suppose g*l - 23 = 2*f, 3*l + 5*f = 10 + 10. Solve -3*m + 3*q - 9 = 0, 0*q + l = -2*m + q for m.
-2
Let o = 26 - 52. Let q = o + 28. Solve -3*w - q*d = -2 + 4, w - 5*d = -12 for w.
-2
Suppose -5*s - 2 = -m + 1, 9 = 5*s + 3*m. Solve -11 = -5*d - o, s = -2*d - 4*o - o - 14 for d.
3
Let d(t) = -3*t**2 - 6*t - 9. Let a be d(4). Let v = -77 - a. Let z = 3 + 2. Solve 4*y - 2 = 2*b, -y + v*b = -2*y + z for y.
1
Let l = 29 - 27. Suppose -h - 4 = -a, -l*a + 31 = 2*a - h. Solve 6*i - i - a = -n, 0 = -3*i + 2*n + 8 for i.
2
Suppose -5*o + 10 = g, 0 = -5*g + 2*g + 2*o + 30. Let i = 12 - g. Suppose -i*n = n. Solve -3*p - 6*y = -y - 11, 4*p + y - 9 = n for p.
2
Suppose 40 = 5*m + 3*j, -2*j = -3*m - 7 + 31. Let u be -2 + 15/6 + 4/m. Solve -22 = 4*o + k, 2*k = -3*o + 4*o + u for o.
-5
Let h(r) = -35*r + 76. Let u be h(2). Suppose 2*n - 