, k + 4*p = a for k.
2
Let p(a) be the second derivative of a**4/6 - 2*a**3 + 4*a**2 - 5*a. Let w be p(6). Solve -y - 11 = -3*l - 1, -w = -4*l for y.
-4
Let o(q) be the second derivative of q**4/12 + 5*q**3/6 - 5*q**2 + 10*q. Let p be o(-7). Solve c - 11 = p*f, -f - 4 = -2*c + 4 for c.
3
Let i = -2 + 4. Let y(x) = x. Let p be y(i). Suppose 4*n = 5*n - 35. Solve 0 = -p*q - 3*u - 17, -5*q - 6*u - n = -u for q.
-4
Let g = 1 - 1. Suppose -7 = q + 2*s, -5*q + 4 = -2*s - s. Let a be (q - -1)*1/(-1). Solve -2*t - 2*h - 4 = -g*h, a = -t - 3*h for t.
-3
Let m(t) = t**3 + 8*t**2 + 6*t - 2. Let j be m(-7). Solve 4*l + 2*g - 24 = 0, -j*l = 3*g - 1 - 30 for l.
5
Let x(h) = h**2 - 4. Let k be x(3). Let p(u) = 4*u - u**2 + 10 - k*u + 8*u. Let z be p(8). Solve -2*o = -3*m - 15, -z*m - o - 3*o = -6 for m.
-3
Suppose 5*f + 14 = 4, 2*j - 108 = -2*f. Suppose -2*y + 3*d = -40, -4*y + j = -2*y + d. Solve -3*p + 4 = 2*q, -5*p = -q - y + 2 for p.
4
Let s(v) = -10*v - 1 + 0*v**2 + 3*v - v**2. Let g be s(-8). Let b be (-12)/g*(-6)/(-1). Solve 5*h = 3*c + b, h - 1 = 2*c + 2 for c.
-1
Suppose 3*f + 26 = -4. Let x = -7 - f. Let b(n) = n**2 + 6*n + 7. Let h be b(-5). Solve w - 1 = h*v, -5*w = -5*v - 18 + x for v.
2
Suppose -22 = -4*z + 2*a, -2 = -5*z - 4*a + 6. Let h = -2 - -3. Let y = 5 - h. Solve 2*j = -z*c + y - 32, -2*j + 17 = -5*c for j.
-4
Let w = 77 - 75. Solve 3*v - 4*l + 9 = 0, 0*l - 2*l = -w*v - 4 for v.
1
Let f = 0 + 0. Suppose 1 = k - 1. Suppose -y - 13 = -3*j, -k*y - y - 9 = -3*j. Solve l - 2*x - y = f, -l - 2*x = -3*x - 2 for l.
2
Let p(t) = -t**3 + 4*t**2 + 6*t - 1. Let u(z) = z**2 - 2*z + 2. Let v be u(3). Let s be p(v). Solve s*d + 31 = 5*w, -5*w + 13 = -2 for d.
-4
Let j be 0 - (-6 + -3 + 5). Let i = 46 + -22. Solve -j*b + 3*l = -i, b = -3*b + 4*l + 28 for b.
3
Let l be (-228)/(-16) - (-2)/(-8). Solve -3*k + 0*k + l = -5*j, -5*k + 10 = -5*j for k.
-2
Let u be -3 + 9 - (3 + -1). Suppose -2*k = z - u*k - 2, z + 5*k = 9. Solve -n = -5*j - 18, 5 = z*n + 3*j + 2 for n.
3
Let g(m) = m - 5*m + 3*m. Let a be g(-3). Solve -a*h = -2*b - 16, 7 = -b + 2*h - h for b.
-5
Let l be (0 - 3 - -6) + 1. Let r be (-7)/(-35) - l/(-5). Let a be (0/(-3))/(r/(-1)). Solve a = -3*v + 2*v + 5*g + 6, 4*v = -2*g + 2 for v.
1
Let d = -11 - -15. Let s = 7 - d. Solve 14 = -m - s*a, -4*m - 5 = 4*a + 19 for m.
-2
Suppose 15*h - 20 = 11*h. Solve -3*d + 9 = -2*w - 7, h*d - 30 = 5*w for d.
4
Let k be 1 - (-16)/(2 - 0). Suppose -x = 2*x - k. Solve -w - x*r - 5 = 3*w, 0 = -3*w + 5*r + 18 for w.
1
Let x(q) = -6*q - 7. Let z be x(-4). Solve -u - 2*u + r - 13 = 0, 4*u = r - z for u.
-4
Let i(n) = -3*n. Let t be i(-1). Suppose 4*p - 3*p - t = 0. Let b = 7 + -4. Solve 16 = m + b*s + 6, -2*m + p*s - 16 = 0 for m.
-2
Let t(i) = -i**3 - 4*i**2 + 4*i + 5. Let p be t(-4). Let n = 16 + p. Solve 0 = -5*y + n*c, 2*y + 2*c = -2*y - 24 for y.
-4
Suppose w = -3, 4*l - 4*w - 338 + 138 = 0. Solve 5*g - 2*y = -19, l - 19 = -5*g - y for g.
-5
Suppose 0 = 5*v - 64 + 9. Let w = -13 - -6. Let m = v + w. Solve -5*n - 4*g - 1 = -0*n, 0 = 4*g - m for n.
-1
Let d = -16 + 30. Solve -4*c - d = 2*v, c = -2*v + 4*c + 21 for v.
3
Let d(b) = -9 + 0 - 4 + 2 - 3*b. Let h be d(-5). Solve i - 2 = -2*j - 0*i, 3*j + h*i = -7 for j.
3
Suppose -5*a = -10*a + 120. Solve 0 = 2*m - 2*t - 1 + 3, -4*t - a = 3*m for m.
-4
Suppose 0 = b - 4*b + 18. Suppose 0 = b*s + 9 - 27. Suppose -r + 7 = -24. Solve -d = v, s*v - 5*d = -r - 1 for v.
-4
Let g be 4 - -3 - (-15)/(-5). Solve 3*c = 2*i - 6, g*c - i - 3*i = -12 for c.
0
Let z(a) = 2*a**3 - 4*a + 3. Let r be z(2). Suppose -f - 3 = -1. Let u be f/(-7) + (-132)/(-28). Solve 8*y - 4*y - 3 = -5*m, -3*y + r = -u*m for m.
-1
Suppose 0 = -c + 6*c - 85. Solve -3*n + 4*a + 19 = 0, 0*n + c = -3*n - 5*a for n.
1
Let d = 4 + 0. Suppose 0 = 2*x - 4*q - 16, 0*x + 24 = 3*x + 3*q. Solve -f - 5*i = -x, -4*f = -2*f - 2*i - d for f.
3
Suppose p + 9 = h, 3*h + p - 4 - 7 = 0. Let u be (-36)/(-10) - 3/h. Solve 4 = -4*z + u*l - 0*l, -3*z + l = -2 for z.
2
Suppose -x - 7 = -4*s, 3*s - 16 - 3 = -2*x. Solve p - d = -5, 0 = x*p + 3*d + 1 + 8 for p.
-3
Let h be 3/(-6) - 9/(-2). Let z(c) = 6*c - 65. Let k be z(12). Suppose 0 = -6*t + 5*t + 3. Solve t*n - 4*p - h = -n, -5*n + 4*p = -k for n.
3
Suppose 19 = 6*g + 7. Solve -2*j + 2*i = 6, 0*j + 6 = -g*j - i for j.
-3
Suppose -3*q - 9 = 3*r, 3*r + 2*q = -2*r. Solve 5*k - 25 = g, -6*g + r*g = 5*k for k.
4
Let m(q) = q**3 + 5*q**2 + 3*q - 4. Let c(u) = -u - 1. Let v be c(-2). Let y = v - 4. Let n be m(y). Solve 2*j - n*r = -23, 5*r - 2*r = 3*j + 21 for j.
-4
Let o be (-5)/(10/(-4)) + 21. Let l = -13 + o. Let n = -5 + l. Solve -x + 3*h = -9, n*x - 1 = -2*h - 7 for x.
0
Let g(h) = h + 8. Let j be g(-6). Let u(z) = -z**2 + z**2 - 3*z - 7 + z**j. Let v be u(5). Solve v*f - f + 3*d + 7 = 0, -15 = -5*f - d for f.
4
Let y(p) = p**3 + 5*p**2 + 6*p - 2. Let f be y(-3). Let g = 1 - f. Solve g*s + 3*d - 12 = 0, 2*s - 4*d + 11 = 5*s for s.
5
Let g = -2 - -2. Let x = -28 - -31. Solve g = -x*l + u + 10, l - 2*l + u = -2 for l.
4
Suppose 7 = -5*v + 4*v. Let d(y) = y + 9. Let f be d(v). Solve 4*t + 0*t - 8 = 4*s, 0 = 3*t - s - f for t.
0
Let h = -4 + 7. Let c(x) be the third derivative of x**4/24 + x**3/3 + 4*x**2. Let u be c(3). Solve u*w - 13 = 2*o, 4*o + h*w - 13 = -0*w for o.
1
Suppose x = -3*x + 164. Let n = 103 - 33. Let r be (n/4)/(2/4). Solve -4*d + x = -w + 16, -3*w - r = -4*d for w.
-5
Suppose 5*d = 10*d - 15. Solve m - d*s - 2 - 15 = 0, 0 = -2*s - 10 for m.
2
Let w = -1 + 5. Let u be (w/2)/(3/6). Solve -n - 18 = -u*g, 4*n = -g + 1 - 5 for g.
4
Suppose 5*l = 16*l - 44. Solve n + 3*a - 1 = l*a, 0 = a - 3 for n.
4
Let a = -5 - -19. Let d = a + -10. Solve -2*o + 4*s - 26 = 0, 2*s - d = -2*o - 0 for o.
-3
Suppose 2*v + 4*q = 13 + 7, -v - 4*q + 18 = 0. Solve -3*f + 8 = -0*f - 5*k, v*f + 2*k = 0 for f.
1
Let x be 1/1*(-2 - -5). Let m(c) = c**3 - 2*c**2 - 3*c + 2. Let k be m(x). Solve -k = 4*n + 2*r, -4*n + 4*r + 3 = r for n.
0
Let n(u) = -u**3 + 9*u**2 + 11*u + 10. Let b(x) = 3*x**2 - 2. Let k be b(-2). Let d be n(k). Solve -2*l - d = -q - 3*q, 19 = -4*l + q for l.
-4
Let t(m) = m. Let g be t(-1). Let q be 2*(-4 - -3)*g. Let v be (-1)/3 - 74/(-6). Solve -q*a = -4*f + 16, 5*a + 4*f = v + 4 for a.
0
Suppose 0*z = 3*z - 15. Suppose 0 = -f - f + 40. Let m = f + -14. Solve m*d - 3*d + 23 = -z*o, d + 21 = -5*o for d.
-1
Let z(g) = g**3 + 9*g**2. Let p be z(-9). Let n be (-24)/5*(-20)/6. Suppose j + n = 3*i, -j = i - 6*j + 18. Solve p = -2*k + s - i, -5*k + k - 17 = -5*s for k.
-3
Let a(c) = c + 6. Let u be a(-2). Solve -3*x + 6 = -2*m - x, -3*m - 11 = -u*x for m.
-1
Let q(k) = 4*k + 14. Let d be q(-3). Solve -4*x - 12 = 0, d*c + 4*x + 1 = -5 for c.
3
Suppose -63 - 112 = -5*o. Suppose -2*w - 4*h - 13 = -o, -w - 3*h = -12. Solve 0*k = 5*u + 2*k + w, -3*k - 7 = u for u.
-1
Suppose -2 = -c + 2. Suppose 4*d + 2 = -5*o, 6 = o + c*d - 0*d. Let i be -1 - -2 - 4/o. Solve 2*y + 4*j = 12, i*y + 0 = -3*j + 3 for y.
-4
Let v be (-12)/(-9) - 2*(-3)/9. Solve -v*p - 4*h = -7*p + 36, 5*p = -h + 16 for p.
4
Suppose 6*m = m + 15. Solve 0 = -m*o, -5*y + 4*o = 15 - 5 for y.
-2
Suppose -o - 3*x = 2*x - 22, -3*o - x + 10 = 0. Let q = o - -2. Let a be 16/q*15/12. Solve 3*c - 22 = -a*h, 0 = 4*h - 9*h + 3*c + 28 for h.
5
Let n = -2 + 5. Suppose 0 = -4*c + 3*x + n, -3*c - 2*x = 2. Solve -s - 20 = -2*s - 5*l, c = -5*s - 4*l + 37 for s.
5
Let z(u) = 4*u - 4. Let s be z(9). Suppose 7*w - s = 3*w. Solve -2*v - 4*j = 5 + 3, -w = -5*v - 3*j for v.
4
Suppose 3*o - 12 = -0*o. Suppose -b + 20 = o*b. Solve -1 = -q + 2*p + b, 4*q - 5*p - 5 = 0 for q.
-5
Suppose -o + 4*s + 364 = 0, o - 2*s - 698 = -o. Let z be o/24 + (-2)/(-3). Solve -8*b + 29 = -3*w - 3*b, -w - z = -3*b for w.
-3
Let o = 14 + -14. Let g be 1 + 1 + 0 + 0. Solve 2*v - 4*p + 4 = -14, o = -g*v + p - 12 for v.
-5
Let g(f) = -f**3 + 11*f**2 - 2*f + 16. Let t be g(11). Let a be -12*(-2)/t*-1. Solve -a = 4*b - s, 3*b + 1 = s - 3 for b.
0
Suppose 0*z - 6 = -2*z. Suppose 2*p - z*f = f - 2, 23 = 5*p + 4*f. Solve 4*m = -3*g + 7, g = p*g - 10 for m.
-2
Let r be 4*2*14/28. Solve 2*p + 22 = 4*x + r*p, 4*x + p - 17 = 0 for x.
3
Suppose -8 = 4*a - 0, 0 = -2*q - a + 2. Let x = -24 - -26. Suppose x*o - 12 = -2*c, -o + c = -3*c + 9. Solve -3*s + o*p - 4 = -s, q*p = 0 for s.
-2
Suppos