2. Solve -4*h - a = -4*p, 0 = p + 3*h - 0 + 2 for p.
1
Let b(k) be the first derivative of k**3/3 + 3*k**2/2 + 4*k + 4. Let n be b(-3). Solve -28 + 8 = 5*a, 4*y + 36 = -n*a for y.
-5
Let f = -6 + 9. Solve 3*q - 3 + 0 = -3*c, -2*q = -f*c - 17 for c.
-3
Let m = -10 + 12. Solve 5 = -3*y - 4*x - 0, -m*y - x = 0 for y.
1
Let n = -5 + 9. Suppose 5 = n*y - 3*y. Solve -m + 6*m - 3*p = 8, -12 = 2*m - y*p for m.
4
Let v(n) = -n**2 + 15*n - 4. Let d be v(14). Solve -q - 25 = 5*l + 4*q, 2*l = 5*q - d for l.
-5
Suppose 2*n + 12 = r + 4*n, 5*r = 5*n - 15. Solve 3*o = o - 2*j - r, -14 = 2*o - 2*j for o.
-4
Suppose 3*r = r + 8. Suppose 0*h + r = h. Solve 2*i + 2*f + 6 = h*f, 5*i - 3*f = -7 for i.
1
Suppose m + 4*j - 9*j - 11 = 0, -m = -j - 11. Solve 2*h - 4 = 3*x, x = h + 4*x - m for h.
5
Let b = -27 - -30. Solve 0 = 2*l - d - 1, l + b*l - 5*d - 11 = 0 for l.
-1
Suppose 2*d - 4 = 14. Suppose t + 52 = 3*x + 6*t, 0 = 3*x + 3*t - 60. Solve m = s + d, 4*m = -5*s + 6*s + x for s.
-4
Let t(i) = i**3 + 6*i**2 - 7*i - 3. Let v be t(-7). Let q(p) = -4*p - 7. Let j be q(v). Solve 2*d + 8 = -3*d - w, -2*w - 6 = j*d for d.
-2
Let k be (-4)/6 + 8/3. Suppose 0*r + 22 = 5*d + 4*r, -4*d + 2 = -2*r. Solve 0 = 2*z + c + 6, -d*c = -5*z + k*c - 28 for z.
-4
Let q(j) = -j - 4. Let y be q(-3). Let u = 0 + y. Let h be ((1 + u)/(-1))/2. Solve -4*x - x - 5*n = 35, -5*x + 4*n + 10 = h for x.
-2
Let a(y) = -y**3 + y**2 - y + 1. Let d be a(0). Let l = 5 + -2. Let n be d/5 + l/(-15). Solve n = -b + 4*j - j + 19, 4*j + 4 = -4*b for b.
4
Let f = 1 + 1. Suppose -y + 5*x - x = -5, 7 = f*y - 5*x. Let b be y/((-4)/(-3) + -1). Solve -s = -2*l + 3*s - 18, 19 = -b*l + 2*s for l.
-5
Let c be 1/4 + 1/(-4). Suppose c = -6*j + 10 + 2. Solve 4*h - h = -q + 4, j = h + q for h.
1
Let k = -1 + 6. Let i(p) = p**2 + 2*p. Let j be i(-3). Let q be 0/(j*(-3)/(-9)). Solve 2*z = -k*a - 5 - q, -5*a = z for z.
-5
Let x(c) be the third derivative of c**4/8 - c**3/2 - 3*c**2. Let y be x(3). Let v(m) = 17*m. Let l be v(1). Solve -y = 3*k - u + 2, -2*u - l = 5*k for k.
-3
Let u(c) = -20*c**2 - c - 1. Let b be u(-1). Let v be (8/(-20))/(2/b). Let d be v/10 + (-23)/(-5). Solve -5*f - 15 = d*m, 3*m + f = -m - 18 for m.
-5
Let p = 22 - 2. Suppose 0 = m + 3*m - p. Solve -2*s - 2 = m*v, 5*s - 7 = -v + 11 for s.
4
Let j = 22 + -23. Let l = 0 + 6. Let s = l + j. Solve -25 = -2*q + s*g, -5*q = 4*g - 0 + 20 for q.
0
Suppose 0 = -x + 2*x - 3*t, -t = -5*x. Solve -5*n = 4*h + h - 45, 5*h - 20 = x for n.
5
Suppose 0 = -5*l - a - 1, l - a + 6 = -l. Let k = l - -2. Solve 0 = -2*c - w + k, 0 = -c - 4*c - 3*w + 5 for c.
-2
Let j = -1 - -4. Suppose -5*y + 3 = -3*b + 1, y + 14 = j*b. Suppose 3*x - 16 = x. Solve -4 = 2*d, b = -4*p - 5*d - x for p.
-1
Suppose 0 = -g - 3*l - 16, 16 = 3*l - 7*l. Let u be 4/(0 + 2) - g. Let i be 2*3/u*2. Solve 0 = -i*j + 4*y - 16, 3*y = -j + 6 + 1 for j.
-2
Suppose -5*s - 8 = 12, -48 = 4*a + 5*s. Let n be (7/a)/((-1)/3). Solve 12 - 2 = -5*f + y, -3 = -4*f + n*y for f.
-3
Let l = 19 + -13. Let d be (4/l)/((-4)/(-66)). Solve -3*v = -c - 8, 7*v = 4*c + 2*v + d for c.
1
Let t(v) = v**2 + 6*v - 14. Let w be t(-8). Solve 2*l + 4*r + 12 = 0, -2*r + 0*r = -w*l - 6 for l.
-4
Let v be (9/(-2))/(-9)*46. Solve c - 5*k - v = 0, -3*k + 13 = -c - 7*k for c.
3
Let w be (-4)/((0 + -1)*-2). Let n be w/(-8) - (-30)/8. Solve 1 = -l - 3*c, n*l + 0*c - 4*c + 20 = 0 for l.
-4
Suppose 0 = -4*x + 11*x - 35. Suppose 6*m - 2*m - 12 = 0. Suppose d = -5*o + 3 + 3, 4*d + 22 = 3*o. Solve o*v = -x*n + 30, -7 = -2*v + m for n.
4
Suppose 5 = 4*d - 7. Solve u - o = 2, 3*o - 2*o = -d*u - 14 for u.
-3
Suppose c - 5*d = -2, 0 = -3*c + d + 5 + 3. Solve 3*z + 6 - 3 = i, -z = c*i + 1 for z.
-1
Let r(v) = -v**2 - 4*v - 2. Let y be r(-2). Suppose y*f + 12 = 6*f. Suppose f = j - 1. Solve 0 = j*d + 4*n + 11 - 3, -4*n = 4 for d.
-1
Let l = 24 + -52. Let a = l - -32. Solve -g - 3*k = -14, 3*g + a*k = 5*g + 2 for g.
5
Let z(l) = -l + 1. Let u be z(-1). Let m be (-60)/(-36) - u/(-6). Solve p + 5*f = -m*p + 14, 12 = -4*p + f for p.
-2
Let s be 3 - (18/(-3) + 1). Solve -4*u + 7 = -3*m, -4*u + u + 5*m = -s for u.
1
Suppose 4*s - u + 12 = u, -2*s + 4*u = 12. Let z be (0 - -1) + 1 - s. Solve 9*v - 2*p = z*v - 17, -2*p = -3*v - 7 for v.
-5
Let r = 4 - -2. Suppose 0 = 3*l - 9, -r = -5*p - l + 7. Solve -a = -p*t + 3 + 4, 0 = -a - t + 8 for a.
3
Suppose -3*h + 4*r = -23, 2*h - 3*r - 16 = 1. Let g be (-1)/(h/(-2) + 0). Suppose 1 = 3*i - 17. Solve 8 = -g*s, -2*a - 12 = 3*s + i for a.
-3
Let y be 9/6*(-24)/(-18). Solve -m = 2*x + 15, -x - 15 = 4*x - y*m for x.
-5
Let w = 18 + -16. Suppose 4*v = -16, -2*z - 3*z - w = 3*v. Let h = 49 + -23. Solve 0 = -x - z*x + 2*a + 7, -x = 5*a + h for x.
-1
Let o(m) = 5 - 2*m**2 + m**2 + 7*m - 3. Let r be o(7). Suppose -c = -0*c - 4. Solve 5 = -3*j + t, c*t = 4*j - 6 + r for j.
-3
Suppose r + 18 = -2*r. Let d = -1 - r. Let q be -3*1/6*-10. Solve -5 = -d*f + y, -3 = f - 4*f - q*y for f.
1
Suppose s + 0*s = 0. Let k(g) = -g**3 + g**2 + 16. Let t be k(s). Solve -5*m = -10 - 10, 2*a + 5*m - t = 0 for a.
-2
Let v = -20 - -24. Solve 0 = -5*w + 4*w - 4*f - 17, -v*w - 12 = 2*f for w.
-1
Let r(x) = -x - 5. Let j be r(0). Let i(v) = v**2 + 3*v - 2. Let n be i(j). Solve -g = 3*k + k - n, -5*k + 10 = g for k.
2
Suppose -4*d - 2*q + 24 = -4*q, -4*d + 30 = -5*q. Let u = 0 + 3. Solve -4*r = -d*y - u - 2, -y = 4*r + 1 for r.
0
Let u(d) = -d**2 - 14*d + 2. Suppose 4*v + p + 54 = 0, -3*v + p - 40 = 2*p. Let b be u(v). Solve j = y - 3*y - 9, b*y + 3*j + 7 = 0 for y.
-5
Let r be ((-16)/(-36))/((-6)/(-27)). Solve 5*f = -3*b - r, -b = f + 1 + 1 for b.
-4
Let b be 5/(112/36 - 3). Solve -5*f = -5*s + b, s - 3*f + 1 = 5*s for s.
4
Suppose -2*y = 4*a - 6, -3*y - a = 2*a - 12. Suppose 0 = 2*x + u - 3, -5*x - 12 = u - y*u. Solve x = 2*b + 4*q - 2, 3*q = -3*b for b.
-1
Let t be 6/21 + (-57)/(-21). Let j be (-4)/1 - (-3 - t). Solve -j*n + 2*f + 13 = f, -5*f - 20 = -n for n.
5
Let q(v) = -v**3 + 7*v**2 - 7*v + 9. Let s be q(6). Solve -4*b + 2*r = -8 - 0, -s*b + 3*r + 9 = 0 for b.
1
Let x be (4*3/12)/1. Solve 2*n + x = -5*j, -n - 5 = -5*j + 3 for n.
-3
Suppose -2*t + 26 = -18. Suppose 0 = -3*h - 3*s + 6, 4*h + 0*s - t = 3*s. Solve 4*m - 2 + 7 = -3*v, -h*m - 30 = -2*v for v.
5
Let v be (0 - -8*3/(-6)) + 6. Solve -2*s - 2*j - 14 = 0, 0 = -2*s + v*j - j - 5 for s.
-4
Let u(z) = -2*z**3 + 33*z**2 + 16*z + 19. Let m be u(17). Solve -m*v = 4 + 4, -3*i = 5*v + 32 for i.
-4
Let j = 4 - 2. Suppose -j*c - 2*c = 0. Suppose 4*m = z + 18, 5*z + 3*m = -c*m + 25. Solve -z*l - 5*k = -5*l + 15, l - 4*k - 12 = 0 for l.
0
Suppose -h - 4*h + 3*u + 245 = 0, 228 = 4*h + 4*u. Let n = h + -30. Solve 2*l = -4*w + 16, -w = l - 5*w + n for l.
-2
Let r be (-3)/(-2)*(-8)/(-3). Suppose -2*q = -3*q + r. Suppose -q*z = -0*z - 20. Solve -2*u = 5*p - u + 6, -z*p + 5*u = 30 for p.
-2
Suppose -5 = z + 3*v + 1, -3*z + 4*v = -21. Suppose -z = 2*s - 7. Solve p - s*y = 8, 3*p + 5*y + 5 = -4 for p.
2
Suppose 0 = -4*b + 4. Suppose 5 = l + b. Solve 0 = 5*p - l*i - 11, -4*p = -p + 5*i - 14 for p.
3
Suppose -19 - 5 = -6*t. Suppose -6 = -3*q - 2*w, -3*w = 3*q - 2 - 1. Suppose t = q*b - 3*b. Solve 0 = -3*l + 2*p + 5, 6 = -5*l - b*p - 15 for l.
-1
Let h = -32 + 75. Suppose 2*i = 3*x - 36, -2*x + i + h = 2*x. Solve -5*n = -4*z - 11 - x, -3*n + 15 = 0 for z.
1
Let h = 105 - 101. Solve 0 = -4*k + 2*f - 26, 0 = 2*k - h*f - 14 + 42 for k.
-4
Suppose 0 = 2*a + t - 12, a - t + 8 = 2*t. Suppose -z + a = 3*z. Solve -5*y + 5*j - z = 19, -4*y - 2*j + 8 = 0 for y.
0
Let t(k) = k**3 - 5*k**2 - 6*k + 3. Let b be t(6). Let x = -11 + 12. Let s be (2/5)/(x/15). Solve r - b*n + 1 = -r, 2*n = s for r.
4
Let c be ((-2)/6)/(3/(-45)). Let p = -4 + 9. Solve 5*n = -4*g + 3*n + 4, p*n = -5*g + c for g.
1
Suppose -4*s = 4*y - 4, 2*y = s + 13 - 2. Let t be (4/(-10))/(y/20). Let f be 1 + 0 + t + 5. Solve -4*m = -f*u, 0 = 3*u + 6*m - 2*m for u.
0
Suppose 5*s - 3*s = 70. Suppose -5*n + 0*o = 5*o, -2*n = -5*o - s. Solve 5*k + t - 5*t = -6, -k = 3*t + n for k.
-2
Let v be (2/(-3))/((-4)/30). Let k = -2 + v. Solve -4*l = k*a + 12, -6 = 2*a + l - 3 for a.
0
Suppose -3*s = j - 4*s + 2, -3*j = 3*s. Let w be (-3)/(9/12)*j. Suppose -w*r + 5*r = d - 5, -d + 2 = -4*r. Solve -4*k = -5*h - 5*k - d, -8 = 5*h + 3*k for h.
-1
Let r be 29/2 + 1/2. Let t