s for p.
-2
Let d(g) = g + 5. Let n be d(-5). Let j = 54 + -66. Let x be ((-54)/j)/9 - 17/(-2). Solve -x = 2*q - k, n = -3*q + k + 2*k - 18 for q.
-3
Let m(c) be the third derivative of c**6/120 - c**5/20 - c**4/12 - c**3/2 - c**2. Let j be m(4). Solve -x = 3*x, j*z - 10 = -3*x for z.
2
Suppose 4 = 8*m - 36. Solve j = -5*h - 20, j + 3*h + 7 = -m for j.
0
Let w be (-2 - -1) + 1 + 2. Suppose 3*z - 2*z = -4*b + 35, 5*z + b - 194 = 0. Let n be (-6)/z + 112/52. Solve -4*h + 3*c + w*c - 13 = 0, n*h = -2*c + 16 for h.
3
Let c(p) = -19*p - 72. Let o be c(-4). Let h(z) = 4*z**2 + z + 1. Let k be h(-2). Suppose -o*u + k = u. Solve 4*x - 3*x - 2*m + u = 0, 0 = 4*m - 8 for x.
1
Suppose 248 = -30*y + 92*y. Solve 0 = 16*h - 15*h - 4, y*h - 21 = w for w.
-5
Let b = 99 + -95. Solve b = 4*v - 2*v + 3*q, q = 0 for v.
2
Let u(a) = -a**2 + 4*a + 4. Let k be u(6). Let q = 14 + k. Suppose -q - 4 = -5*b. Solve -1 = b*i + g - 2, 13 = -4*i - 5*g for i.
3
Let f(n) = n**2 - 4. Let z be f(3). Suppose i = 6*i - z. Suppose -44*v - 6 = -47*v. Solve 0 = 2*d - 3*u - i, 0*d + v*d = -2*u - 4 for d.
-1
Let i be (2 - (-20)/(-6))*9/2. Let c be (-4)/(-12) + (1 - 46/i). Solve 2*d - 4*f + c*f - 24 = 0, d = 2*f - 6 for d.
2
Let y = 18 - 12. Let c(k) = 2*k**2 - 13*k + 8. Let g be c(y). Solve 4*b + 2*h = 14, g*b + 7 + 4 = 5*h for b.
2
Let t be (-2)/(-4)*(-2 - -2). Let s(d) = d**3 + 8*d**2 + 7*d + 14. Let w = -132 + 125. Let c be s(w). Solve 5*u - 5 = i + 2*i, t = -3*u + 4*i + c for u.
-2
Suppose 0 = -3*j - 5*d, -2*d = j - 0*j. Suppose -36 = -3*x - j*x. Suppose -1 = -4*i + 11. Solve 4*y + y = n - x, 0 = -i*n - y - 12 for n.
-3
Let i(f) be the third derivative of f**5/60 - 19*f**4/24 - f**3/3 + 10*f**2. Let d be i(19). Let b = -2 - d. Solve b = x + 3*j - 11, 3*x + j - 1 = -0*j for x.
-1
Let h be 18/(-24) + 51/4. Suppose p + 14 = 5*d - 1, -5*p = 2*d + 129. Let z = 10 - p. Solve j + 0*w + 2*w = -h, -5*j = 5*w + z for j.
-2
Let w = 29 + -26. Suppose 31 = w*f - 4*f. Let x = f + 41. Solve -5*p = z - 20, x = -0*z + 2*z for p.
3
Let q(a) = -2*a - 5. Let j be q(-5). Suppose 4*m = -3*r + 5*m + 26, 3*r - 2*m - 22 = 0. Solve -4*i - j = -3*z + r, 5*z - 5*i = 25 for z.
5
Let g(j) be the second derivative of j**5/10 + 4*j**4/3 - j**3/6 - 2*j**2 + 10*j. Let b be g(-8). Solve -5*f - 4*z = -13, 0*z + 14 = b*f + 5*z for f.
1
Let j = 69 + -69. Solve j = -o + t, 4*t - 36 = -3*o - 15 for o.
3
Let o(g) = -2*g + 15*g - 15 - g**2 - g. Let t be o(10). Let n(a) = 10*a. Let x be n(1). Solve t*w + 7*c + x = 2*c, -c = 3*w + 10 for w.
-4
Let x(u) = u**2 - 2*u**2 - u**3 + u**2 - u - 2*u**2. Let m be x(-1). Suppose 14*w - 18*w + 12 = 0. Solve -2*k - 2*n = -n + 3, -4*k + w*n - 31 = m for k.
-4
Let d = -521 + 521. Solve -21 = 5*g - 5*u - 1, d = 4*u for g.
-4
Let x = 763 - 761. Solve 0 = 2*b - i + 3*i - 12, x*i - 18 = -5*b for b.
2
Suppose 3*g = -4*w + 8, -5*w = -5*g + 3*g + 13. Let z = w - -12. Solve -o - 4*i = -2, -o + i - z = 4*o for o.
-2
Let j(b) = 2*b + 17. Let z be j(-7). Let t be z/1*(-45)/(-27). Solve 0 = 4*k - t*h - 10, 4*h = k + 2*k - 7 for k.
5
Suppose -2*s = -4*s + 2. Let h be 0 + 2 + 0 + s. Solve 3*b - 4*b = 2*w + 2, -w - b = h for w.
1
Suppose 4 = 3*t - 5*q - 5, 0 = 3*q. Suppose 0 = 4*z + 3*w, -t*z - 5*w = -0*z + 11. Solve z*k - 3 = 9, 4*c + 2*k = 0 for c.
-2
Suppose -60 = 8*g - 11*g. Let x = g + -32. Let a be (-3)/x + 7/4. Solve 3*f + 12 = 0, 2*p - a*f + 6 = -3*f for p.
-1
Let n(j) = 4*j + 46. Let u be n(-11). Suppose -u = -x + 5*t - 3, 2*x - 8 = 5*t. Solve q + 7 = -5*l + 2*q, q + x = -3*l for l.
-2
Suppose 4*f - 260 = -192. Solve t + f = 4*o, t + 19 = 5*o - 3 for t.
3
Let r = -23 + 27. Suppose r*i - 53 - 7 = 0. Let k = i + -10. Solve -2*p + 2 = -t, -4 = 4*t + k*p + 4 for t.
-2
Suppose -2 = -2*n - t - 2*t, -4*t + 2 = 2*n. Solve u = -4*z - 2, -5*z + 1 = -u - n for u.
-2
Let u(m) = m**2 + 4*m. Let c(g) = g**2 - 23*g + 37. Let n be c(21). Let b be u(n). Solve -15 = 3*q - b*l, -2*q + 3*q + 3 = l for q.
0
Let x(v) = v**3 + 6*v**2 - 3. Let c be x(-3). Let s be (-12 + -3)*(3 - 4). Suppose s = 5*u, -3*d - 2*u + c = -0*u. Solve -12 = -4*w, 2*w - w = -p + d for p.
3
Let v = 374 + -371. Solve 4 = -4*d + 2*d, v = -w - d for w.
-1
Suppose -20*r = -6*r. Solve -3*q + 4*f = 2*f + 2, 4*q + 4*f + 16 = r for q.
-2
Suppose 4*s - 22 - 42 = 0. Let w(n) = -n**3 - 4*n**2 - 5*n - 5. Let k be w(-3). Let c be (k + -3)/((5/2)/(-5)). Solve 4 = v - 5*a, c*a + a + s = 4*v for v.
4
Let b be ((-63)/14 - -3)*8/(-6). Let u be -5*1/(-5) + b. Solve 3*g = u*c + c - 16, 2*c = 2 for g.
-4
Let z be (5525/52)/25 + 10/(-8). Solve -5 = 2*c + r, -r - z = -0*r for c.
-1
Let o(z) = -z**3 - 2*z**2 + 10*z + 6. Let n be o(-4). Let b(k) = -11*k - 6*k + 4*k - 1. Let v be b(n). Solve -m = -4*x + v, 3*x = -m + 12 - 2 for m.
-5
Let n(m) = 3*m + 5 + 8*m**2 + 0 - 17*m**2 + 10*m**2. Let a be n(-3). Solve -2*k - 8 = -3*l + l, 4*k = -a*l + 11 for k.
-1
Suppose 0 + 6 = g. Suppose d + 10 = g*d. Solve -3*m - 8 = -m, -2 = -d*r - m for r.
3
Let a(b) = -2*b - 13. Let p be a(-9). Solve -p*j + 2*i + 9 = -3, -2*j + 5*i + 9 = 0 for j.
2
Suppose 5*z + 5*h = 100, 0*z = -3*z + 3*h + 48. Suppose -2*i + 0 = -z. Solve 12 = -5*j + 3*o + o, -j + 3*o - i = 0 for j.
0
Suppose -4*i + 12 = -2*i. Let f = -552 - -554. Solve -f*h - i = -5*k, -4 = 4*k - 5*h - 2 for k.
2
Suppose -272 + 266 = -3*m. Solve 0 = -m*k - 5*r + 18, 3*k = 5*r - 36 + 13 for k.
-1
Suppose -4*w + 6 = -f, f - 16 = -4*w - 6. Solve -13 = 5*h + 3*b, 2*b - b - 14 = w*h for h.
-5
Let b be (0/(-19))/((-2)/2). Suppose 0 = 5*r - b - 25. Solve -4*p = 2*f - 14, -4*f + 0 = r*p - 19 for f.
1
Suppose -2 = w - 0, 0 = -5*m - w - 32. Let r be (m/2)/(-1 - (-2)/(-4)). Solve -r*o - 14 = 4*y - 0*y, -11 = 4*y + 3*o for y.
-5
Let r be (15/2 - -1) + 2/4. Let g(q) = -q**2 + 9*q + 25. Let b be g(11). Solve -m = -b*k - 7, 4*k + r = -7 for m.
-5
Let b = -307 - -307. Solve -4*w = 2*r + 18, b = -w + 3*r - 0*r - 1 for w.
-4
Suppose -s - 7*b = -2*b - 10, 5*b = 5*s - 20. Suppose 83 = -16*f + 131. Solve 0 = -5*y - 2*m - s, 2*y + 0 = -f*m + 9 for y.
-3
Let t(d) = -9*d - 16. Let k be t(-2). Solve k*p - 2 = -4*y - 6, p = 4*y + 16 for p.
4
Suppose l + 19 = -p, 3*p + 2*l + 80 = 27. Let w = 11 + p. Let c = w + 6. Solve -d - 4*y = -16, -5*d - y = -c*y + 4 for d.
0
Suppose -u = -51 + 11. Let h = 44 - u. Solve -5 = 2*q - 4*q - 3*x, h*q - 1 = -3*x for q.
-2
Suppose -4*x - 4*w - 67 = 53, 2*x - 2*w = -64. Let y = -26 - x. Solve u + 30 = -u - 5*g, -y*u + 2*g = 17 for u.
-5
Let g(z) = -108*z - 214. Let w be g(-2). Solve -4*h = -0*b - b - 16, 3*b + w*h = 22 for b.
4
Let r = -5 - -7. Let v = 108 - 83. Solve -2*t - 29 = r*z + 3*t, v = -5*t for z.
-2
Let q(o) = -2*o - 9*o**2 - o**3 - 7*o - 1 - o. Let w be 57/(-6) - (-15)/10. Let d be q(w). Solve 0 = 5*a + 5*y - d, -3*a - 6*y + 19 = -y for a.
-2
Suppose 0 = -4*o + 15*o - 33. Suppose 0 = o*n - 15, 3*n = w + n + 7. Solve w = 5*r + d, -r - 3 = r - d for r.
0
Let f(o) = -o**3 - 34*o**2 - 35*o - 61. Let v be f(-33). Solve -k - 3*q - 17 = k, v*k - 15 = 4*q for k.
-1
Let o(c) = -3*c + 3*c - c + 10. Let t = -176 - -182. Let j be o(t). Solve -j*k = -2*z - 2*z - 4, 3*k + 4*z + 25 = 0 for k.
-3
Suppose -173*c = -2*a - 172*c + 9, -3*a + c + 12 = 0. Solve 0 = a*d + 2*n - 0 - 17, -1 = -3*d + 2*n for d.
3
Let c be (-2 + 1)*-7 - 2. Let y be 28/(-21)*(-45)/12. Let b be 1 + (-26)/22 + (-4)/(-22). Solve b*j = -4*x + j + 13, 5*j + c = y*x for x.
4
Suppose -3*z + 3*u = -66, 86 = z + 2*z + 2*u. Suppose 2*f - 2 = 4*p, -5 = -p + 2*p - 5*f. Solve -2*a - 4*x + 12 = p, a - z = 5*a - 2*x for a.
-4
Let x(b) be the first derivative of -b**4/2 + b**3/3 - b**2/2 - b + 4. Let k be x(-1). Solve -k*y = 3*v + 21, -3*v - 3*y - 6 = -5*y for v.
-4
Suppose 3*s + 5*k + 21 = 0, -4*s - 3*k - 11 - 6 = 0. Let v be 3 + -1*(s + 2)/4. Solve -m = 5*t + m + 10, -v = -3*t - 3*m for t.
-4
Let f = 5 - 2. Suppose 0 = 5*y + f*i - 55, -4*i = 4*y - 0*i - 44. Let g = 1 - -2. Solve -5*r - 18 = g*j, 0 = -0*r - 4*r + j - y for r.
-3
Suppose 2*f - 21 = -5*o, 31 = -0*f + 2*f - 5*o. Let y = f - 8. Let g = -32 + 36. Solve g*i + 0*i = -2*u - 2, -5*i - y*u = 0 for i.
-1
Let x(c) = -c**2 - 19*c - 44. Let i be x(-13). Let z be i/(-51) - 31*2/(-3). Solve 4*j + 10 = 3*v - 19, -4*j - z = 0 for v.
3
Suppose 0 = 5*m - 2 - 18. Suppose -4*b = m*g + 16, b - g = -3*b + 4. Let j be (-25)/(-5) + 