lve -5*k = -0*n - y*n - 33, -4*n - 3 = k for n.
-2
Let p(w) be the second derivative of -8*w + 1/12*w**4 + 0 + 15/2*w**2 - 7/3*w**3. Let r be p(13). Solve 4*n - r*x - 10 + 2 = 0, 0 = 2*n - 4*x - 10 for n.
1
Let p = -72 - -228. Suppose -3*u = -c - 21, -4*u = 5*c - 2*u + p. Let z be (-5 - 1)*15/c. Solve -5*s - 5 = z*x, 2*x = s + 4*s + 30 for x.
5
Let m = -3 - -6. Let g be (-5060)/(-1771) + 6/(-7). Solve 6*h + 13 = 3*z + g*h, 3*h + m = 0 for z.
3
Let o be -2 + (-12)/6 + 4. Solve 0 = -a + 3*s + 3, o = a - 0*a + 3*s + 9 for a.
-3
Let w = -20 - -10. Let y be (w + 11)*(-2 - -1). Let h be y*4/12*0. Solve -j - 2*t - 6 = h, 4*t = 4*j + 5*t + 17 for j.
-4
Let v = 26 - 22. Solve -5*j + 10*j + 6 = -3*i, 4*i = -v*j - 8 for j.
0
Let a = -95 + 97. Solve j - 4 = 0, -a*j = -2*f - 0*f - 14 for f.
-3
Let x(l) = -l**3 + 11*l**2 - 10*l + 23. Let t be x(10). Suppose -63 = 20*a - t*a. Solve 2*h = -4, 4*h = -3*d + h - a for d.
-5
Suppose 16 = 3*z + h, 4*h = 2*z + 2*z. Suppose z = 3*i - i. Suppose i*w + w = 0. Solve -k + g - 5 = w, -k + 2*g = 3*g + 3 for k.
-4
Suppose 4*w + 4*i - 28 = 0, 4*w - 2*i = -4*i + 28. Suppose 1 = 2*r - w. Solve -4*q - b - 20 = 0, 3*q + r*b - 2 + 17 = 0 for q.
-5
Suppose -5*l - 3*x = 20 - 52, 0 = 4*l - 4*x. Solve c - 5*s + 7 = 0, -l*c + 5*s = s + 12 for c.
-2
Let h = -58 - -12. Let k = h - -50. Solve 3*r + 5 = -0*r - x, -k = -4*x for r.
-2
Let g be ((-5)/(-2) + -2)*6. Let k(o) = -3*o - 4*o**2 + 5 - 3*o - 6*o**3 + 7*o**g + 0*o. Let b be k(5). Solve b = -4*y + 5*x + 17, -y = -0*y + x + 7 for y.
-2
Let l be (-47 - -5)*(-6)/7. Let d = -46 + l. Let x = 10 + d. Solve 0 = 2*r, 0 = g - x*g + 5*r + 2 for g.
-2
Suppose 0 = -j - 3*i + 8*i - 19, i = -4*j - 13. Let p be 3 + (j + 3 - 2). Solve -t + 0*t - 5*q - 22 = p, 0 = t - 5*q - 28 for t.
3
Suppose 21 = -15*k + 96. Solve -20 = -k*y, r = 5*r + y + 8 for r.
-3
Suppose -2*d = 10 - 8, -17 = -4*n + 5*d. Solve v = -4*p - 3, -n*v - 9 = 4*p - p for p.
0
Let v(r) = -3*r - 4. Let w be v(-3). Let k(c) = -c**2 + 8*c - 6. Let n be k(6). Let z be 10/n + 1/3. Solve w*y - 2*a = 2*y + 6, -4*y = z*a - 22 for y.
4
Suppose 0*k + 15 = -5*k, 0 = -3*c - 5*k - 1617. Let o be c/(-30) + (-3)/(-15). Solve -4*t + 4*p - 5*p = -o, 2*p = t - 9 for t.
5
Let v(x) = -x**3 - 8*x**2 + 10*x + 10. Let r = -27 - -18. Let g be v(r). Suppose -g = l - 5. Solve 5*t - 5 = l*q + q, 3*t + 37 = -5*q for q.
-5
Suppose 0 = 15*w - 13*w - 12. Let p be 6 - 2/(-4)*w. Solve 5*u = 5*f - 15, p = 5*f - 2*f - 2*u for f.
3
Suppose 2*j = 6*j - 8. Suppose 3*f - j*o + 6 = f, 4*o = 20. Suppose -f*m + 3*m = 0. Solve m = -5*q + 2*u - 13, -2*q + 0*q = 3*u + 9 for q.
-3
Let q be (-34)/3 + -3 - 3/(-9). Let a = q + 18. Solve a*f + p - 11 = 0, -4*f = -2*f - 4*p - 10 for f.
3
Suppose -7*w + 3*w = -8. Let n be 3 + 3/(-6)*w. Solve a - 17 = -4*y, 2*y - n*a - 13 = 3 for y.
5
Let q(k) = -k**2 + k + 2. Let f be q(3). Let a be (-59)/f - (-2)/8. Let u = 15 - a. Solve -4*d + 4 = -2*l, u = 3*l - 6*l + 3*d + 3 for l.
4
Let x = 1823 - 1819. Solve -2*q = -x*j - 2, 8 - 9 = q for j.
-1
Let s be 9/15 - 8/(-20). Let m(p) = p - s - 2*p**2 + p + p**3 + 0*p. Let f be m(2). Solve -f*x = -3*k + 13 - 1, -4*x - 11 = k for x.
-3
Let u = 2 - 23. Let q = u + 13. Let n be q/12*(-84)/8. Solve 3*v + 2*k - n - 1 = 0, 2 = 2*k for v.
2
Suppose 2*t + 14 = f, -4*t = -4*f + 19 + 17. Let s be 6/f - (-9)/18. Solve -5*n + g = -13, 2*n - 5*g + s*g = 0 for n.
3
Suppose 8*b - 16*b + 40 = 0. Solve 4*n + 3*m = 3 - b, -2*m = -3*n + 7 for n.
1
Suppose 89*n - 84*n - 22 = 3*w, 5*w = -4*n - 12. Solve 5*g + 0 = -3*d - 1, n = -d for g.
1
Let w be ((-6)/5)/(84/(-280)). Solve w = 4*f + 2*z, -5*f + 3*z - 7*z = -8 for f.
0
Suppose 71 = 5*z + 56, 2*a = 4*z - 6. Solve n + 11 = -2*o, -a*o - 5*n + 6 = 26 for o.
-5
Let w(f) = 3*f**3 + 20*f**2 - 6*f + 9. Let a be w(-7). Solve -i = h + 3, -h - 6*i + 3 = -a*i for h.
-5
Suppose -3*j + 60 = -4*k, -9*k + 11*k = -6. Let o be ((-5)/10)/((-2)/(-16)). Let l be 1 - -3*o/(-6). Solve l*c + 12 = -3*m - 2*c, 4*c = 4*m + j for m.
-4
Let p be ((-9)/(-30)*-2)/((-1)/5). Suppose -3*k - 4 = 4*w - 5, 4*k = -p*w + 6. Solve -3*b + 4 = 5*l - 15, -k*l + 21 = 5*b for l.
2
Let o = 311 - 306. Solve 5*h = 4*x - o*x - 8, 0 = -5*h - 5*x - 20 for h.
-1
Suppose 0 = 3*q + 2 - 23. Suppose 3*x - q = -p + 3*p, 45 = 5*p + 5*x. Solve f + 11 = 3*y, 7 = -4*f - p*y - 5 for f.
-5
Suppose 0 = 4*b + 2*m - 0*m - 14, -5*b = 2*m - 20. Let i(k) = -k**2 + 7*k - 2. Let u be i(b). Solve 2*x + 5*j + 17 = -18, x + 25 = -u*j for x.
-5
Suppose -41*b - 6 = -44*b. Solve 0 = -b*a + 5*y - 33, -5*a - y = 3*y for a.
-4
Let h = -2 - -5. Suppose -433*q = -426*q - 35. Solve h*a - 5 = -u, 3*a - q*u - 31 = -2 for a.
3
Let m = -3 - -11. Let o(c) = c**2 + 19*c + 37. Suppose 0 = 6*y - 8*y - 34. Let l be o(y). Solve a = -4*t - m, -7*a + l*a - 2 = t for t.
-2
Let k(q) = q**3 - 6*q**2 + 8*q + 4. Let c be k(3). Solve 0 = w - 5*n - c, -w = -4*n - 1 for w.
1
Let z(d) = d**2 + 4*d - 57. Let f be z(-11). Solve h = g - 2*g - 7, 4*g = -2*h - f for g.
-3
Suppose -n + 5*l = 3, 2*l = -5*n + 4*l - 15. Let w be n*(160/(-15))/8. Solve -3*z + o + 6 = -0*z, 5*z - w*o - 17 = 0 for z.
1
Let r be ((-6)/15)/(1/5). Let j = r - -11. Suppose -5*w + 1 + j = 0. Solve -w*g = 2, -4*u - 5*g - 10 = 3 for u.
-2
Let o = 23 - 2. Suppose w = 8*w - o. Solve 12 = 4*r + 3*v - w, -r + 4 = v for r.
3
Suppose -17*l = -12*l - 20. Let x = -2 + l. Solve -x*q - 5*f = 35, -q + 5 = -0*q - 2*f for q.
-5
Suppose 39 = 5*w + y, 2*w + 3*y = 9 + 4. Suppose 5*z + 6 = w*z. Solve -5*q = -q - z*c + 12, -5*c + 20 = 0 for q.
-1
Suppose -l - 3*c - 6 = 0, 5*l + 3*c - 5*c = 4. Let y = -521 + 523. Solve 8 = s + y*g, -4*s = g - 4 - l for s.
0
Let h = 17 + 3. Suppose 4*y - 3*v = -0*v + 20, -4*y - 4*v = -20. Solve -4*n + 20 = 0, -p - h + 0 = -y*n for p.
5
Suppose -6 = 3*x - 21. Let y = -1 - -15. Let n = 45 - 22. Solve -3*h + 4*z - y = 2*z, x*h = 3*z - n for h.
-4
Suppose 2*o + 4*a = 0, -5*a + 28 = -0*o - o. Let k be (6/o)/((-9)/144). Let r be (k/9)/((-2)/(-6)). Solve -l = -r*g + 3*g, -3*l = 4*g - 7 for l.
1
Let i be (28/(-8) + 3)*6. Let a be 6/(-2) + i + 11. Solve k = -2*t - 3, a*t - 4*k - 16 = -4 for t.
0
Let u = -1556 - -1563. Solve -3*s = u*l - 6*l - 15, s = 5 for l.
0
Let y = -647 + 647. Solve 0 = 5*t - 2*u + 7, 0 = -2*t + 3*u - y - 5 for t.
-1
Let q be -2*12/8 - 0. Let b be -2*2/q*27/12. Solve x = j - 4, -4*j = -b*x - 7 - 8 for j.
3
Let h be (3 - 10/(-25)) + 2/(-5). Solve -h*l = 2*j + 1, -11 + 2 = 5*j + l for j.
-2
Suppose -6*j = -11*j + 3*z + 46, 0 = 2*j - 3*z - 22. Solve 2*t = l + t - 3, 2*l - j = t for l.
5
Let n(s) = -s**3 - 17*s**2 - 3*s - 35. Let z be n(-17). Suppose -f = -4*i + z, -f + i = 6*i - 20. Solve 0 = -3*q + 5*a, 0*a + 3*a - 9 = f for q.
5
Let r = -4 + 1. Let w = r - -16. Suppose 0 = 5*v - 5, -5 = 3*i - 7*i - 5*v. Solve i = 3*a - m - 1, 5*a + 6*m = 2*m + w for a.
1
Let r = 11 - 6. Let i = 12 - 10. Suppose 0 = -3*d + i*d. Solve 3*h - r*h + 4*v - 14 = d, -4*v + 15 = -3*h for h.
-1
Let t(a) = a**3 + 11*a**2 + 19*a + 14. Let q be t(-9). Let f(m) = -m**3 + 3*m**2 + 11*m. Let u be f(q). Solve 5*l + u*j = 6*j + 5, 3*j - 5 = 5*l for l.
2
Suppose 2*t = -0*t + 4. Suppose 3*m - 23 = 13. Suppose -m*d + 7 = -11*d. Solve 0 = -d*v + 2*v - t*k - 11, -5*v + k = 2 for v.
-1
Let i = 26 - 32. Let k be ((-9)/i)/((-9)/(-12)). Let r(w) = -w**3 - 7*w**2 - 3*w - 17. Let f be r(-7). Solve 3 = k*c - l + 6, -12 = -c - f*l for c.
0
Suppose 10*y - 9*y + 8 = -3*f, 0 = -5*y + 4*f + 36. Solve 12 = 5*p + 2*g, y*g + g = -5*p for p.
4
Suppose 6*t = t + 40. Let c be 52/10 - t/40. Let f be c/(-35) - (-15)/7. Solve -3*o + f*s = 4*s + 6, 4*o + s + 8 = 0 for o.
-2
Suppose 5*f + 6*w = w - 530, 3*w = f + 86. Let a = f - -106. Solve -4*p + 0*u - 5 = -5*u, -35 = -a*p - 2*u for p.
5
Let c be (14 + (-26)/3)*(-6)/(-8). Solve -c*q + q + 4*z - 4 = 0, -4*q = -2*z - 8 for q.
4
Let b(f) = 2 - 2 - 3*f + 2*f**2 - 1 + 2. Let c be b(2). Suppose 2*q - 7 = c. Solve q*p - 2*m = -6*m - 28, 5*p = 4*m - 12 for p.
-4
Let j = 437 + -420. Solve 0 = x - 2*a - 2*a + j, 2*a = 2*x + 10 for x.
-1
Suppose 0 = -5*w + 5*y + 40, 2*w + 3 + 11 = -4*y. Solve -3*m - w + 31 = -4*a, -12 = 4*a + m for a.
-4
Suppose 6*o - o + 35 = -3*w, o - 5*w = 21. Let h be (11/3 + o)/((-2)/6). Let d(b) = -b - 1. Let q be d(-4). Solve -4*s = u + q, 2*u - 2*s + 5 = -h for u.
-3
Suppose 5*t 