 - 13. Let g be n(9). Let m be (-1)/4*-1 + (-4)/16. Solve 0 = -4*o - g*j + 29, m = j - 0 - 5 for o.
1
Suppose g + 4 = 0, 5*i + 3*g - 25 - 13 = 0. Solve 6*r + 2*b + 2 = i*r, 0 = 5*r - 4*b + 2 for r.
2
Suppose 0 = -3*h - 6, 0 = -0*w - w - 5*h + 5. Suppose 0 = v - 1 - 1. Suppose 0 = f + v*f - w. Solve 2*d = -2, -4*d + 3 = f*q + 12 for q.
-1
Let p be ((-18)/8)/((-2)/8). Let x(i) be the third derivative of i**4/24 + 7*i**3/6 + 16*i**2. Let b be x(p). Solve -2*n + b = 2*d, 0 = -n + 2 + 1 for d.
5
Suppose 30 = -9*f + 156. Suppose -6*j - f = -38. Solve 1 = 2*z + 7, j = -2*r + 2*z for r.
-5
Let g(v) = -12*v + 4. Let i be g(1). Let a be (i/6)/(4/(-12)). Solve a = q - y - y, 2 = 2*q - 2*y for q.
-2
Let p be (-342)/(-21) - 6/21. Suppose -5*s = -s + p. Let z be ((-8)/(-2))/s*-3. Solve 3 = 3*o + z*d + 6, -d = 4*o - 5 for o.
2
Let k(y) = -y**3 + 4*y**2 + 4*y + 7. Let i be k(5). Let q = -1772 + 1777. Solve -4*v + i = -2*d, q*v = v - 5*d - 19 for v.
-1
Let a be ((-77)/21 + -4)*-1*3. Solve 2*f + 3*s = -a, 5*f - 2*s + 10 = -0*f for f.
-4
Let k be -2 - (2 + 4)*-1. Suppose 4*p + 8 = 0, 2*l - 4*p = 15 - 7. Suppose 5*i - 7 - 3 = 0. Solve l = 2*y + 3*b + 10, -i*y + 4*b + k = -0 for y.
-2
Let y be -13 - (0 - 2)*1. Let a = y - -9. Let g be (-16)/(-10) - a/5. Solve -5*j = -j + f - 8, -2*j - f + g = 0 for j.
3
Suppose 5*w + k + k - 12 = 0, -2 = -2*k. Solve 3*r - 12 = 3*f, 5*r + w*f = -0*r + 13 for r.
3
Suppose b - 1 = -3*d - 0*d, 18 = 4*d - 2*b. Suppose -3*y + 12 = d*t, -3 = 4*t + y - 7. Solve -4*c + l = 5, -2*l = -c - t*l - 3 for c.
-1
Suppose 0 = 7*y - y + 3*y. Solve 18 = -5*a + 4*u, -2 = -y*u - u for a.
-2
Let x(a) = 2*a**2 - 15*a - 17. Let i be x(9). Suppose -m + 2*g + i = -0, -30 = -5*m + 5*g. Solve -p = 5*v - v - 12, v - 10 = -m*p for p.
4
Let g(y) = y**3 + 3*y**2 - 5*y. Let k be g(-4). Let b be 3/1 - (-3 + -72)/5. Suppose -b*d + 15*d = -12. Solve -4 = -k*x - 4*j, -x = -2*j - d - 6 for x.
4
Suppose -26*m = 18 - 122. Solve 5*r = -5*z, 0*z + m*r = -5*z + 1 for z.
1
Let v be (-12 - -14)*(-2)/(-1). Suppose -5*k - 10 = -4*c, 3*k + 19 = c + v*c. Solve f + 3 = 4*j + 2*f, -3*j = -k*f - 16 for j.
2
Suppose -2*b = -7*b. Let f(j) = 16 + 2*j + j**2 - 3*j - 12*j. Let o be f(12). Solve -p - 4*z = -b*p + 5, -2*p - 5*z = o for p.
3
Suppose 0*c + 2*c = 10. Suppose 0 = -5*x - c, -3*z + 3 = 6*x - 3*x. Suppose u - 27 = -z*u. Solve s - 19 = -4*i, -i = -4*s - 0*s - u for s.
-1
Let f be (-544)/(-40) + 3/(-5). Let m = f + -11. Suppose 0 = 3*r + 5*x + 2, 0 = -r + m*x + 2*x + 5. Solve 0 = -4*i - 0*t + t - 13, -4*i - r = -5*t for i.
-4
Suppose 4*x = 2*a - 274, -3*a - 2*x + 456 = x. Let w = a - 78. Suppose 4*j = -5 + w. Solve -2*b + j = 4*n, 4*n + b = 7*n - 2 for n.
2
Let y(a) = -a**2 - 5*a + 6. Let z be y(-3). Suppose -3*o = -2*h - 2, 0*o + 2*h - z = -4*o. Solve 2*t - 5*t = 4*p + 14, 11 = -3*p - o*t for p.
-5
Suppose -22 = 2*u - 0. Let n = 15 + u. Suppose 3*s - n*a - 26 = 0, 2*a = 3*s + 5*a + 9. Solve -26 = s*q - 5*i, -2 = q + q + i for q.
-3
Let a be (-1 + 5/(-2))*4. Let d be ((-21)/a)/(6/(-40)). Let j = 10 + d. Solve 4*v + 4*b + j*b + 4 = 0, -5*v + b + 1 = 0 for v.
0
Suppose -2*w - w - 3 = 0, 4*x - 3*w = 95. Let u = x + -23. Solve 4*b + 2*g = 0, u = -2*b + 5*g + 1 - 13 for b.
-1
Suppose -28*l + 559 = -85. Solve 0 = -b + 2*k + 3, 5*b - k = k + l for b.
5
Let h(f) = -5*f - 53. Let x be h(-12). Let z = x + -7. Solve 2*d - 8*v + 3*v - 8 = 0, z = -3*d - v + 12 for d.
4
Suppose -3*b + 2*v + 8 = 0, -5*b = -v + 5 - 30. Solve 3*s - b = -3*t, -5*t + 5*s - 13 = 7 for t.
-1
Let f be (-2)/4*(-2)/6*0. Let s(y) be the first derivative of -y**4/4 + 2*y**3 - 2*y**2 + 1. Let n be s(5). Solve 4*v + 2*g + 2 = f, -3*g + g = n*v + 5 for v.
-3
Let q be -6 + -3 + 5 + -1 + 8. Solve 0 = -q*i, -w + 2*w + 2*i = 0 for w.
0
Let w(x) = 13 + 0*x**2 - x + 6*x - 5 + x**3 - 7*x**2. Let u be w(6). Solve 21 = -5*r + 4*d, -3*d + u*d = 4*r for r.
-1
Let g(y) = y**3 - 5*y**2 + 3*y + 10. Let l be g(5). Solve -l = 5*t, 2*t + 1 = 3*s + 3*t for s.
2
Let j(d) = -d**3 - 13*d**2 + 20*d + 89. Let f be j(-14). Solve -f*t + 13 = -4*z, 1 = t - 0 for z.
-2
Suppose 2*x = 244 - 240. Solve -x*t + 4 = 4*r, -t = 3*t + 16 for r.
3
Let b(s) = 9*s + 58. Let r be b(-5). Solve 4*o - 16 = 4*z, 0 = -2*o - z + 4*z + r for o.
-1
Suppose v - 4*s - 9 = 0, 27*v + 2*s + 17 = 30*v. Solve -c = -v*r + 22, 5*c + 18 = 2*r - 0*c for r.
4
Let t = 9 - 17. Let s be (t/(-18))/((-4)/(-18)). Suppose -2*v = w, 0 = -w + 3*v - 3 + 13. Solve -2*u = 4*m + 14, 0 = w*m - s*m + 3*u + 13 for m.
-2
Let a(u) = -u**3 - 30*u**2 + 2*u + 65. Let c be a(-30). Solve 0 = 5*n - 15, -6 = -4*o - n + c for o.
2
Suppose -2*p = 2*i - 18, -4 - 11 = -3*i. Let z = p - 0. Suppose 0 = z*b - 9 - 7. Solve -b*d + 8 = -3*k, -8*d - 24 = -4*d + 5*k for d.
-1
Let r be 3/(42/14 - 2). Solve -a = -51*x + 48*x - 12, -5*x = r*a + 20 for a.
0
Let v(g) = -g**2 + 8*g + 17. Let q be v(10). Let w be (q/6)/((-1)/6). Suppose 17 = 4*d - w. Solve 2*u = d*l + 5, -4*u - 25 = u for l.
-3
Suppose 0*d = -3*d + 42. Suppose d = 8*h - h. Let v = 5 + -1. Solve -h*a - a + 9 = 3*w, -v*w = -a + 3 for a.
3
Let r = 14 + -8. Suppose r*d + 12 = 7*d. Solve 3*w - 7 = p + 2, 4*w - d = -3*p for p.
0
Suppose y + 1 - 6 = 0. Solve -4*z - o + 8 = 0, 0*z - y*o = 5*z + 5 for z.
3
Let x = -256 + 266. Solve b + 9 = 5*y - b, 4*y - x = 3*b for y.
1
Let w be (-4 - -2)*3*(-38)/57. Solve 24 = 2*t - w*f, -f - 3 = t - 0*t for t.
2
Suppose -4*v = 2*k - k - 24, -v - 7 = -3*k. Let m be (-16)/28*(-14)/k. Solve 9 = -3*w - s, -2*w - m*w - 2*s = 10 for w.
-4
Suppose -106*p - 17 = -105*p. Let r = p + 31. Solve -4*o + r = u, -u - u - o = -7 for u.
2
Let k(m) = -6*m + 8. Let q be k(-9). Suppose 11*g = q - 7. Solve -20 = -g*s, -3*o - 3*s = -6*s + 27 for o.
-5
Suppose 4 = 3*d - 0*d + i, -3*d = 2*i - 8. Suppose -4*p + t + 2 = 0, -2*t - 4 + d = 0. Let u = 7 + p. Solve 5 = 5*h + r, 3*h - 25 = u*h - 5*r for h.
0
Suppose 30 = -294*x + 300*x. Solve 0*n + 5*n = -2*s + 21, 0 = x*s + 10 for n.
5
Suppose 0 = 3*d - 4*g - 12, d - 3*d = -3*g - 8. Solve 3*n + 2*n - 41 = d*t, 3*t + n = -7 for t.
-4
Let i = -4 - -5. Let d be 1/(-4) - (700/16)/(-7). Suppose 0 = -y - d*y. Solve -5*n = -y*n - 3*l - 11, l = -3*n + i for n.
1
Let y = 22 + -17. Suppose 4*r + 0 = -y*i + 41, -1 = r - i. Solve 0 = g - 0*g - 2*c - 7, 21 = -5*g - r*c for g.
-1
Suppose 4*x + 5*g + 2 = 0, -4*g + 14 = 5*x - 6*g. Suppose x = -17*z + 18*z. Solve 3*j - 21 = 6*h - 2*h, -3 = -h - z*j for h.
-3
Let v be 3/(0/(-3) + 1). Let a be -1 + 20 - 3/(-3). Suppose 0 = -4*g + v*w + a, -g + 28 = g + 3*w. Solve 3 = 4*r - 4*b + 11, 2*r = 4*b - g for r.
0
Let n = -450 + 450. Solve -3 = 2*y - 5*d, n*y - y + 4*d = 3 for y.
1
Let k = 6 + -3. Let p(m) = -m**2 + 3*m + 14. Let w be p(5). Let a = -2 + 5. Solve -j = q - k*q - w, j = a*q + 4 for j.
4
Let j = -4 - -13. Let c = j + -3. Suppose -c + 1 = -g. Solve 0 = g*h + 25, 0 = 3*n - 0*h + 4*h + 32 for n.
-4
Suppose -214*a = -199*a - 60. Let g = -15 + 21. Solve -g*o + o + z = -11, 0 = -o - a*z + 19 for o.
3
Let x be (3*(-4)/(-6))/1. Suppose 14 = -4*t - 4*i + x, 3*i + 9 = -2*t. Suppose b = -4*r + 4, -5*r + 0 + 2 = 2*b. Solve -5*q + 3*s - r - 3 = t, s = q - 1 for q.
-4
Let d = -247 + 256. Solve 3*f - 4*p - d - 8 = 0, -f + 4*p + 11 = 0 for f.
3
Suppose -d + 3892 - 3890 = 0. Solve 4*u = 3*h + 13, -d*u - 5*h + 13 = -0*h for u.
4
Let i be (-4)/(-2 - (-1 + -3)). Let f be (6/12)/(i/(-12)). Solve f*h + 13 = -2*n + n, 5*n = 2*h - 14 for n.
-4
Suppose -3*x - 4*q = -x - 2, 5*x + 5*q = 5. Let y be 6*(92/24 - x). Solve g = 3*f + y, 5*g - 2*f - f = 25 for g.
2
Let a = -2 - -6. Let z = -710 + 712. Solve 3*p - 3 + 0 = -a*y, -z*y + 3*p = -15 for y.
3
Suppose 3 = -h - 2. Let x be h/(-7) + -1 + 12/42. Solve -2*q = k - 11, -2*k + 2*q = -x + 2 for k.
3
Let s = 7 + 1. Suppose s*c + 276 = 6*c. Let i be 6/8 - c/8. Solve -2*v + 0*v = 2*f + 16, -3*v - f = i for v.
-5
Suppose -65*j = -z - 64*j + 10, z - 3*j - 14 = 0. Let m = 1 + 3. Solve -r - f = 6 + 2, m*r - 4*f = z for r.
-3
Let k(g) = -22*g + 203. Let h be k(9). Solve 1 = 2*j + 3*w, 8*j = 4*j - 3*w + h for j.
2
Let h = -40 + 69. Let o = -27 + 32. Let j be 0/(-1 + 2/(-2)). Solve n - o*u = j, 5*n + 4*u + h = -0*u for n.
-5
Suppose 4*x + 4*f - 112 = -f, f = -2*x + 50. Solve -r + 0 - 4 = m, 3*m = 4*r + x for m.
1
Suppose -2*y - 39*s + 37*s + 6 = 0, 0 = 4*y - 5*s - 