= -13*a - 2. Let z be t(p). Solve -5*m + 21 = -2*c + 3*c, 5*m + 4*c - z = 0 for m.
4
Let v be (-1)/5*2*5. Let t(a) be the second derivative of a**4/12 - a**2/2 - 3*a - 12. Let d be t(v). Solve -2*y = -4, 2*h + d*h + 8 = -y for h.
-2
Suppose -2*p = -5*p + 102. Let b = p - 34. Solve b = 3*g + 3*j + 12, -j = -5*g - 3*j - 8 for g.
0
Let l be 3*(-5 - (-171)/27). Solve -2*g + 6 = -l*t, 8 = -2*g - 4*t - 2 for g.
-1
Let y(q) = 3*q - 1. Let m be y(1). Suppose 8 = m*k + 4. Solve 5*i + 5*d - 10 = 0, -k*i + 5 = -0*d + 3*d for i.
1
Let x be (-17 - 3)*4/(-10). Let r be 1/1*2 - 0/4. Let q = 2 - -1. Solve -3*s + r*h + x = -q, -4*s + 4*h = -16 for s.
3
Let w(f) = -3*f - 1. Let s be w(-2). Suppose -6 - 61 = m - s*k, m + 17 = -5*k. Let b = -32 - m. Solve 0 = -0*z + 3*z + 2*g + b, 10 = -5*z - 2*g for z.
0
Let a(m) = 4*m - 4. Let x be 16/(-88) - (-224)/22. Suppose 5*w - x + 0 = 0. Let n be a(w). Solve 4*j - 4 = n*s, 1 = s + j - 6 for s.
3
Let l = -15 - -24. Let a = l - 9. Suppose 6*y = 4*y + 8. Solve -5*p + 3*p - 16 = -4*c, a = 2*c - y for p.
-4
Let d(x) = -16*x**3 - 3*x**2 - 3*x - 2. Suppose -5*l - 1 - 9 = 0. Let z be d(l). Suppose v - z = -3*v. Solve 3*w = a + 17, 5*w - v = -2*a + 4*a for w.
4
Let h be (-60)/(-14) + 4/(-14). Suppose -h*d + 2*g = 0, -2*d + 3*g - 2 = 3*d. Let p be 4/(-14) + d/7. Solve -5*q - 2*i - 20 = p, 3*i + 24 = -5*q - 1 for q.
-2
Let o(c) = 2*c**2 + 2*c + 2. Let y = -125 - -123. Let f be o(y). Solve 4*n = 5*w + 28, 2*n = f - 2 for w.
-4
Let t(m) = -m**3 + 41*m**2 - 83*m + 209. Let l be t(39). Solve 3*r = -4*q + 23, -4*r = -6*q + 3*q - l for r.
5
Let h(u) be the second derivative of u**3/6 - 3*u**2 + 2*u. Let a be h(6). Let q be -1*(8/(-4))/2*2. Solve n + q*v - 10 = -a*n, -2*n + 14 = 2*v for n.
4
Suppose 0 = 13*h - 5*h. Solve 3*s = -v + 1, h = 5*s + 3*v - 5 - 2 for s.
-1
Suppose 2*x + 5*z = -21, x = -3*x + 3*z + 23. Solve -x*a + 1 = -5*i, 3*a = 2*i + 4*a + 4 for i.
-1
Suppose 2 - 17 = -5*a. Suppose a*j = 8*j - 10. Let t = 59 + -43. Solve -3*r - t = 4*k, -3*k - 12 = -j*r + 3*r for k.
-4
Suppose -3*l + 21 = 2*p, 0 = -3*p + 5*p - l - 1. Solve k + 2*t = 15, -2*t - 4 = -p*k + 1 for k.
5
Let a(d) = -d**2 - 8*d + 30. Let y be a(-10). Solve 2*c - 9 - y = 3*w, 4*w + 4*c = -12 for w.
-5
Let f(i) = i**2 + 9*i - 6. Let t be f(-10). Suppose 4 = t*v + 3*o - 19, 2*o = 5*v. Solve 3*x + 30 = 5*m, x + 19 = 4*m + v for m.
3
Let r(p) = -10*p - 16. Let d be r(-2). Solve 4*w - 4*n = 0, -1 = -2*w - 3*n + d for w.
1
Let i be 3/(-7) + 62/14. Suppose -i*w = 2*q - 18, 4*w - q - 4*q = -3. Solve y + 5*h = -w*y - 33, 0 = -5*y + 3*h + 5 for y.
-2
Let p(w) = -w**3 + 5*w**2 - 1. Let k be p(-1). Solve -2*g + h - 5 = 0, k*g + 5*h - 1 - 9 = 0 for g.
-1
Let b be 1/((-132)/(-45) - 3). Let y = b - -18. Suppose -2*o - d + 5 = -0*d, y*o = 4*d + 24. Solve 0 = 5*c - 3*n + 20, -c = o*c + 4*n - 15 for c.
-1
Suppose -4*s = -20 - 20. Suppose 0*m - 5*m - s = 0. Let x be 20/8 + (-1)/m. Solve 0 = 5*g - 4*c + 18, -4*c + x + 3 = g for g.
-2
Let v be (3 - (-14)/7) + -12 + 10. Solve 5*z - 4*i = 4 - 10, -i = -2*z - v for z.
-2
Let n(o) = 2*o + 1. Suppose -2*s + 5*y - 2*y - 7 = 0, -5*s - 3*y + 14 = 0. Let i be n(s). Solve 0 = -5*u + 3*w + 2, -i*u - 2*u + 7 = 2*w for u.
1
Let n(p) = -p**2 + 24*p - 19. Let v be n(21). Let i = 62 - v. Solve 25 = 5*r - 4*m, -4*r + r + 3*m = -i for r.
1
Suppose -5*u - 3*v + 12 = 0, 0*u - 3*v - 6 = -u. Suppose -15 + 3 = -u*n. Solve 0 = -2*k - n*g + 24, 14 = -2*k - k + 4*g for k.
2
Let j be -75 - (1 + -5)/4. Let h be j/(-18) + 3/(-27). Solve -w - 3 + 0 = -h*l, l + 4 = 5*w for w.
1
Suppose 0 = 3*q - 60 - 9. Let g = q - 1. Let w = -12 + g. Solve 0*u = 4*n - 3*u + 2, w = -4*n - u for n.
-2
Let v(p) = -p**2 - 12*p + 25. Let q be v(-12). Let d = q + -19. Solve 5*f = d*f + 1, -3*m - 17 = 2*f for m.
-5
Let u(m) = -1. Let k(b) = -3*b + 3. Let p(w) = k(w) - 18*u(w). Let l be p(7). Solve y + z + 3 = l, -y + 4 = -5*y + 4*z for y.
-2
Let l be (-5)/(-2) - (-1)/(2/(-1)). Suppose 0 = 3*f - 2 + l. Solve 10 = -2*z + 2*h, -h = -2 - f for z.
-3
Let b = -8 + 12. Suppose -4*u + b = -8. Solve -12 = -u*d - 2*k, -2*d - k + 4 = -3 for d.
2
Suppose 3*c = 9 + 6. Let b(w) = -135*w + 12325. Let i be b(91). Solve c*q = 5*k - i, -2*k - 26 = 2*q - 6*k for q.
-3
Let k(l) = -l**2 - l - 1. Let v(y) = 5*y**2 + y. Let p(b) = -6*k(b) - v(b). Let m be p(-4). Solve 4*u - 3*h = m*u - 11, 5*u = h - 8 for u.
-1
Let f = -847 + 847. Solve 4*q - r + 2*r + 11 = f, q = r - 9 for q.
-4
Suppose 0 = 4*w - 5*w + 35. Let d = w - 33. Solve -d = 3*g - 5*i, -4*g + 2*i = -g + 8 for g.
-4
Suppose 0 = 3*u - 2*h - 4 - 20, 9 = -u - 5*h. Suppose u*y - 107 = -41. Solve 4*c - 1 = -4*b + y, 5*c + 9 = 3*b for b.
3
Let w(b) = b**2 - 19*b - 37. Let c be w(20). Let x = 20 + c. Solve -2*v = x*t - 6*v + 1, -4*v = 8 for t.
-3
Let i = -757 - -761. Solve -3*c + 4 = c - 3*t, -3*c + i = -2*t for c.
4
Let c be 6/18*(3 + 9). Suppose 18*j + 8 = 152. Solve -l - k + 2*k = c, l = 2*k - j for l.
0
Let s(c) = -c**2 + 6*c + 9. Let v be s(7). Suppose x + 2 = 4*t - 3*t, 3*x - v*t = -1. Suppose 0 = -x*y + 18. Solve -g = -3*w - y, w = -4*w - 2*g - 10 for w.
-2
Let z(l) = 8*l - 1. Let w be z(2). Suppose 3*s = 15, -v - 3*s - 26 = -8*s. Let x be -1 + (-36)/(-5) + v/5. Solve -4 = 4*b, -b = -5*c - x*b - w for c.
-2
Let w = 17 - 17. Let a(k) = -2*k + 48. Let z be a(w). Suppose 2*h = 3*b + z, 6*h = 2*h + 4*b + 104. Solve 4*t - 5 = -3*s, 3*t = 2*s - t + h for s.
-5
Let l(i) = i - 2*i + 11 + 1 - 3. Let b be l(-5). Solve -5*y = h + b, -3*h + y = -2*h - 4 for h.
1
Let v be 0/(3/(-6)*-6). Suppose 3*z - 3 = -i - v, 3*i = -5*z + 5. Suppose -2*g - 58 + 66 = 0. Solve i = 2*f + g*t + 4, 8 = -2*f + 4*t - 4 for f.
-4
Suppose -53*d + 77*d - 144 = 0. Solve 0 = -u - l + d - 4, -5*u - 3*l = -10 for u.
2
Let y(k) = -k**3 + 6*k**2 + 5*k + 14. Let o be y(7). Suppose 3*v + o = 12. Solve 5*h - v*b - 15 = 0, 3*b + 3 = 3*h - 6 for h.
3
Let b(q) = 6*q - 7. Let z be b(0). Let t = z + 11. Solve n + 5*c = -18, -3*c = -0*n + t*n + 21 for n.
-3
Let y be (4/(-6))/(12/(-756)). Let q = -39 + y. Solve -2*c = -10, -8*m - 3*c = -q*m for m.
-3
Let r be (-7 + 4)*1 - 66. Let h = r + 74. Solve 3*m - l = 10, 3*m + 13 = -h*l - 1 for m.
2
Suppose s = t + 13, -33 = -3*s - 0*s + t. Let z = 12 - s. Suppose 5*d + 7 = b, -z*b + 10 = b - 4*d. Solve 5*p + 15 = 5*f, b*f = 6*f - 4 for p.
-2
Let y be 2/(-11) - (-1 - (-57)/(-11)). Suppose 0 = -3*s + 4*s - y. Solve 2*q + 3*z = 7, -2*q - s + 14 = 2*z for q.
5
Suppose x - 6 - 6 = 2*q, 4*x = 5*q + 33. Solve -2*f = -4*a + 10, 2*f + 2*f = -x*a for f.
-1
Let o = 9 + -7. Solve z - o = -h + 2*z, -h - 3*z = -6 for h.
3
Let y be (-882)/(-28)*4/6. Let p(g) = g**2 + 4*g + 3. Let a be p(-3). Let f be 1/1 + 5 + -1. Solve 4*d = -f*l, -5*d - y = l - a*l for d.
-5
Let a be 2 - 1 - (-19 + 0). Let b = 20 + -42. Let x = b + 28. Solve 5*f + 7 = w, -x*w - a = -2*w + 4*f for w.
-3
Suppose -25*y - 52 = -51*y. Solve -2*o + 3 = -f, -5*o - 6 = y*f - 0*f for o.
0
Let k = -22 + 25. Solve -16 = -4*v - k*m, -v + 6 = -m + 2 for v.
4
Suppose 0 = 10*b + 237 - 57. Let z = b + 22. Solve -5 = -x + n, 2*x - z*n - 4 = 6 for x.
5
Let w = 80 + -55. Let l = 30 - w. Solve 0*k + 2*k = -l*i - 5, -2*i - 2 = -5*k for k.
0
Let v(b) = -b**2 - 13*b - 28. Let d be v(-10). Solve -4*k - d*c + 3 = 13, -2*k - 4*c = -4 for k.
-4
Let v = 131 + -122. Let m be 24 + -7 + v + -2 + 0. Solve 5*n = 5*k + 6 + m, -5*k - 29 = -4*n for n.
1
Let t = -1 + 4. Suppose 0 = 3*a + t*v - 30, -v = -a - 3*a + 50. Let b = a + 20. Solve -5*u = q + 9 - b, 0 = 3*u - 12 for q.
3
Suppose 4*j + 4*p - 60 = 0, 0 = 3*j + 7*p - 5*p - 50. Solve 4*i + 4*q + 25 = 5, -2*i - 4*q = j for i.
0
Suppose 0 = -5*v + 5*n + 5, -3*n - 4 = 5*v - 1. Solve -19 = 3*r - 7*l + 2*l, v = -5*r - 4*l - 7 for r.
-3
Suppose -d - j - 19 = -2*j, 5*d = j - 87. Let m = 25 + d. Solve 3*u + 3*b + 3 = 0, 2*u + 5*b + m = -0*u for u.
1
Let y be (-14 - -12) + -2 + (-12)/(-1). Suppose 31 = 5*a + 4*o, 4*a - y = -3*o + 4*o. Solve 0 = -a*d + l - 8, -4*l = -3*d + d + 8 for d.
-4
Suppose -5*h = -5*b + 20, -13*b + 12*b - 1 = 4*h. Solve 2 = q, b*q - 8 + 7 = x for x.
5
Let f = 4 - 2. Suppose 49 = -i + 1. Let r be i/(-3)*(-1)/(-2). Solve h + r = -f*w - 4, 28 = -2*w - 5*h for w.
-4
Suppose 5*s + 4*l + 86 = 2*s, -s - l - 29 = 0. Let c be (-2 - s)*(-8)/(-16). Solve 2*p = 4, 4*p = -2*h - p + c for h.