5 for p.
-4
Let s = -28 - -29. Let p = -6 - -12. Let f = p - s. Solve 0*t = 5*t - f, w = -5*t for w.
-5
Let z(q) = q**2 - 1. Let a be z(0). Let w(o) = -2*o**3 - o. Let m be w(a). Solve 2*j - m*j + 5 = -3*c, c = -j - 7 for j.
-4
Suppose 4*s = -s + 5. Suppose 0 = -2*f + s + 7. Suppose 5*a - 7 = 13. Solve 5*y = a*n + f, 4*y = 2*y - 5*n - 5 for y.
0
Suppose 4*h + q = 134, 2*q = 2*h - 3*q - 56. Let o = h - 17. Suppose -3*f - 5 = 2*a - 21, 4*a + 2*f = o. Solve s + 3*v + 10 = 0, -3*v - 8 = -2*s - a*v for s.
2
Suppose -7*c = -2*c. Suppose -5*m + 120 = -5*j, 0 = -c*j - 5*j - 4*m - 84. Let i = j - -28. Solve y - 13 = 3*v - i*v, 12 = 3*v + 2*y for v.
2
Let d(q) = -q - 2. Let k be d(-5). Suppose -5*h + 6 = -4, 5*h + 5 = c. Solve -k*f + c = -3*l, -f + 2*f - 5 = -3*l for l.
0
Let s(c) = -c**3 - 9*c**2 + 9*c - 10. Let l be s(-10). Suppose 0*n - 32 = -4*i - 2*n, -4*i - n + 32 = l. Solve -2*p + 5*w = 14, -p - i = -5*w + 9 for p.
3
Let u = 107 + -89. Solve 2*v - j - 4*j = u, 4*j = -16 for v.
-1
Suppose 0 = 4*f - i - 8, -i + 2 = f - 0*i. Suppose 0 = -3*o + 3*k + 9, -2*o - k = f*k - 6. Solve h + 3 = 5*s + 29, 2 = -s - o*h for s.
-5
Let p(q) = q**2 - 8*q + 1. Let a be p(8). Solve -d = -4*c + 3, 2*c + d - a = 2 for c.
1
Suppose 0 = -2*z + 7*z - 630. Let b be z/10 - 4/(-10). Solve 4 = -2*v - 3*s, -4*s + 2 = -3*v + b for v.
1
Let x be (0 + -6)*(-8)/24. Solve -4*z - x = 5*p, -3*z = -z + 2*p for z.
2
Let p = 11 - 6. Suppose p*u = u - 60. Let y = -10 - u. Solve -10 = -y*w - 5*x, -2*x - 2 = -3*x for w.
0
Suppose 0 = 4*i - 0*v + 2*v - 18, -4*i + 3*v = -43. Suppose 4*s - 9 = i. Suppose -13*h = -3 - 62. Solve -s*q = -h*k - 10, -2*k = k - q + 6 for k.
-2
Let u(h) = -h**2 + 6*h - 5. Let n be u(4). Solve 0 = -n*o - 2*o - 5*q - 20, -q = -4*o - 11 for o.
-3
Let h(b) = b**3 - 3*b**2 + 4*b - 3. Let a be h(2). Let n = 4 - a. Solve -j = -5*q - 2, n*q + 2*j - 6*j - 9 = 0 for q.
-1
Suppose 0 = -3*b - 5*u + 3*u - 4, 5*b - u - 15 = 0. Let i be -3 - (-4 - b - 0). Solve -2 = l + f, 4*f + 8 = -i*l + l for l.
0
Suppose 17 + 3 = 5*o. Solve 0 = -o*y - 20, 7 = a + 4*y + 25 for a.
2
Suppose -4*l = l. Let m be -3 + 2 + l + 5. Solve 5*t - 7 = 5*n + 3, 3*n + 8 = m*t for n.
0
Let h be ((-8)/12)/(1/(-6)). Solve 5*n - h*t + 10 = 2, 0 = -5*n - t + 2 for n.
0
Let a be (5 - 11)/(9/(-6)). Solve 3*r - 4*n - 4 = -0*n, -16 = -2*r - a*n for r.
4
Suppose 4*d = -d - 25. Let j be (-84)/(-20) - (-1)/d. Suppose 0 = -j*x - 3*u + 13, 0*x - 6 = -x + 2*u. Solve q = 4*p - 16, -p = x*q + p + 10 for q.
-4
Let d = 1 - -1. Let r = d - -4. Solve 4*y + 6 = -5*u - r, 5*u = 5*y - 30 for y.
2
Let w be (90/25)/((-2)/(-5)). Let m = -5 + w. Solve 5*g - 7*x + 26 = -3*x, -8 = -4*g - m*x for g.
-2
Suppose 4*h - 116 = -0*h. Suppose -b + 46 = -h. Suppose -2*l - 4*d = -d - 32, b = 5*l + 5*d. Solve 4*u = 8, -3*v + 4*u = 3*u - l for v.
5
Let q = 18 - 14. Suppose -m = -2*o + q*m + 27, 4*m + 36 = 4*o. Solve -o = -3*g, 4*g - 15 = 2*n - 5 for n.
-1
Suppose 0 = -4*q + g + 21, -2*g + 3*g = -5. Let t = 9 - -5. Solve c - 3*c = -8, 2*r - q*c + t = 0 for r.
1
Let f = -8 + 13. Suppose d - 12 = -0*d. Suppose d + 18 = f*r. Solve 4*x + 12 = -5*a, -2*x + 4*x = -a - r for a.
0
Let p(c) = c**3 - 3*c**2 + 5*c - 2. Let n be p(2). Solve -5*r + n*a + 15 = 0, 0*r + 3*a + 17 = -2*r for r.
-1
Let o(n) be the first derivative of n**3/3 + 5*n**2/2 + 2*n + 5. Let d be o(-5). Solve -13 = 5*a - d*r + 3, -3*r = 6 for a.
-4
Suppose -2*v + 3*v = 19. Let t = v - 14. Solve t*r + 3 = 2*r, -h + 5*r = -3 for h.
-2
Let l(w) = w**3 - 7*w**2 + 6*w - 8. Let z be l(6). Let x be ((-36)/21)/(1/(-7)). Let y = z + x. Solve -3*k - 9 = -2*t - y*k, -3*k = 2*t - 7 for t.
5
Let j(o) = 2*o**2 - o + 4. Let w be j(0). Solve 24 = -4*b + w*h, b - 4*h + 14 = -b for b.
-5
Let g be -5*((-1)/5 + -1). Suppose 4*l - g*l = -10. Let p(m) = 2*m**3 + 11*m**2 + 11*m + 6. Let b be p(-4). Solve 0 = 4*n + l*f - 26, 7*n - f = 4*n + b for n.
4
Let t(p) = -6*p**3 + p**2 - 1. Let g be t(-1). Let z = -1 + g. Suppose 11 = 6*d - 1. Solve -4*l = 5*q - z, -l - d*q = -0 - 2 for l.
0
Let c be (-6)/27 + 272/9. Suppose -6*l = -0*l - c. Solve -2*z + 2 = -5*j, -j - l*z = -3*j + 16 for j.
-2
Let c = 4 - 4. Suppose -o + 5*o - 8 = c. Solve -5*w - 11 - 4 = i, -2*i = -o*w + 6 for w.
-2
Let y(v) = v**2 - 2*v + 1. Let d be y(-3). Solve 0 = -2*j - 0*k - 5*k + 11, -4*j - 4*k + d = 0 for j.
3
Let k = -7 + 15. Let q = 11 - k. Solve -3*y = q*l - 27, -l - 21 = -3*y - 2*y for y.
5
Let b = -19 + 24. Suppose 2*n + 3*q - 19 = 0, -4*n - 4*q + 28 = -0*q. Solve n = 5*d + 3*w - b, 0 = -5*w + 20 for d.
-1
Suppose -5 + 65 = -3*p. Let r = p + 22. Solve 0 = 3*y + 9, 3*j = 4*j + r*y + 1 for j.
5
Let i = 3 - 1. Suppose -40 = -4*h - 5*a, i*a + 0*a + 12 = 4*h. Solve -f - h*m + 1 = 0, 4*f + 2*m - 4 = -0*m for f.
1
Suppose 0 = h + 2 + 1. Let x be 3 + (4*-9)/h. Solve 0 = -5*a + 4*p + p - 30, 3*p = x for a.
-1
Suppose 3*c - 3 + 9 = 0. Let t(l) = -2*l**2 + 3*l. Let f be t(2). Let h = c - f. Solve -5*r + 15 = -h*i - 5*i, 5*i + 7 = r for i.
-1
Suppose -5*z + 13 - 48 = -4*a, -a + 2*z = -11. Solve -3*h - d + 3*d = a, 0 = h + 4*d + 11 for h.
-3
Let l = 10 + -4. Let m(f) = -f - 3. Let o be m(-9). Solve h - 4*x + 8 = 0, -o*h + 4*h = 3*x - l for h.
0
Let r(m) = m**3 + 5*m**2 - 6*m + 4. Let w be r(-6). Solve 0 = -3*z + 2*n - 1, n - w + 0 = 5*z for z.
-1
Suppose 0 = -15*u + 17*u - 4. Suppose -4*n - u + 10 = 0. Let f(y) = 2*y - 5. Let r be f(4). Solve -z = 5*o - 8, n*z + r*o - 11 = -2*o for z.
3
Let q be (-1 + 1)/(1 + 0). Let v be (q + -3)/((-6)/10). Solve -17 = 4*a + 3*d, 3*a - v*d + 15 = a for a.
-5
Suppose 5*s = 3*a - 22, -2*a = 4*s - s - 2. Suppose -6 = -a*h + 18. Suppose -h = -5*g + 9. Solve -j = -4*y + 20, y + 2*y - 24 = g*j for y.
4
Let f(i) = -i**3 - 28*i**2 - 25*i + 57. Let h be f(-27). Solve -2*x + 5 = -h*z, -x + 7 = z + 2 for x.
4
Let u = 6 + -3. Suppose u*h = -2*h + 150. Solve -h = -5*y - 2*a, -5*y + 10 = a - 3*a for y.
4
Let l(r) = -r**3 - 9*r**2 + 10*r + 2. Let i be l(-10). Suppose -i - 23 = -5*y. Suppose 2 = y*b - 3. Solve 5*g + t = 17, 4*t = -2*g + 5*g - b for g.
3
Suppose 3*d = -2*t + 7, 2*d - d - 1 = 0. Suppose t*i = -i + 6. Solve 3*j = -15, 2*o + i*j = -3*j - 15 for o.
5
Suppose 0 = n + 2*y - 10 - 3, -n + 2*y - 7 = 0. Suppose n = q + 1. Solve q*f + 14 = 4*x, 6*x - 11 = 5*f + 2*x for f.
1
Let w = -72 - -77. Solve 4*s + 24 = -w*r, 0 = -3*s - 2*s - 5 for r.
-4
Let l be 28/(-49) - 214/(-7). Solve -4*t + 4*b = -b + l, -5*t - 4*b - 17 = 0 for t.
-5
Suppose -5*n = -3*n. Solve 5*i - i = t + 3, n = t + 3*i - 4 for t.
1
Let a = -4 - -9. Solve a*h - 1 = -y - 4, -5*h - 15 = -5*y for y.
2
Let s(q) be the first derivative of -9/2*q**2 + 0*q + 3. Let v be s(-2). Solve 4*z - 3*b = 2*z + 2, -3*z + v = 3*b for z.
4
Let j be -2 - (-18 - -2 - -2). Solve -2*x + 3*k = -4, -3*x + k - j = x for x.
-4
Suppose -u = 4*o + 4, -4*u + o = 3 - 4. Suppose -r - 3*r = d - 1, -5*r - d + 1 = u. Solve -3*n + r*p + p + 3 = 0, -5*p - 15 = 4*n for n.
0
Let i(g) = -g - 1. Let p be i(-7). Suppose 0 = -k + p - 1. Solve -f + 15 = -5*f + k*a, 0 = -f - a - 6 for f.
-5
Let j(h) = h**2 + 2*h - 5. Let a be j(-4). Let r be -2*((-20)/8 - a). Solve 6 = -4*t - 5*k, -3*t - r = -3*k + 7 for t.
-4
Let z(v) = -v**2 + 20*v + 10. Let l be z(19). Solve 3*u - 17 = -2*p, 5*p + 0*p - l = -3*u for p.
4
Let i be 10/55 + 106/22. Let z be (0 - 0) + 8 - 2. Solve 0 = 5*y - i*c + 25, -2*c = 2*y - 16 + z for y.
0
Suppose 0 = 2*u + 10, n - 3*u = 2*u + 28. Solve -2*c - 2*i - 10 = -n*c, 4 = -2*c - 2*i for c.
2
Let h = 79 + -74. Solve 3*t = -4*l - 16, 0 = -3*t + 5*t - h*l - 20 for t.
0
Let t = -44 - -47. Solve 4*h = 2*j + 14, -t*j = -3*h + h + 5 for j.
1
Let h = 19 - 13. Suppose -h*d - m = -d - 1, 2*d - 2*m = -2. Suppose d = -0*l + 4*l - 28. Solve -2*g + 3*a = -l*g + 32, -g + 2*a - 4 = 0 for g.
4
Let u(k) = 4*k**2 - 6*k - 3. Let i be u(-2). Solve -3*m = -j - 5, 2*m - 5*j = -0*j + i for m.
0
Let d be (-2 + -4 + 6)/2. Let i(p) = p - 8. Let y(n) = -2*n + 4. Let q be y(-3). Let u be i(q). Solve -u*x + 10 = -0*x, d = -2*a - 4*x + 16 for a.
-2
Let l(c) = c**3 - 3*c**2 - 2*c - 2. Let q be l(4). Suppose 3*t + 15 = q*t. Solve -g + t*r = 2 - 26, 0 = 5*g - 2*r - 28 for g.
4
Let p be 33/18*-2*-3. Solve j - 4*h = -15, -4*j - 2*h + p = -j for j.
1
Let r(q) = -q**3 + 5*q**2 + q. Let n be r(5). Let x(f) = 3*f - 10. Let t be x(n). 