12 for n.
3
Let m be (4 - 1) + -1*3. Let x = m - -4. Let h be (-28)/7 + (x - 0). Solve a - 2 - 5 = -3*p, h = -2*a - 5*p + 11 for a.
-2
Let i = -136 + 142. Suppose 3*h + 10*v - i*v = 28, -3*h = -v - 8. Solve h*c - 4*t = 0, 0 = -2*c + 4*t + 2 for c.
-1
Let d be (6/(-4) - -2)*(9 + 1). Suppose -4*c - j = -0*j - 22, 0 = -d*c + 5*j + 40. Let h = c - -4. Solve -4*o - 4*p = -5*p, 2*o + 2*p = h for o.
1
Suppose -119*a + 4*y = -117*a, 4*y = -2*a. Solve -5*m + 35 = -4*b, 13*m - 8*m + 3*b = a for m.
3
Let z(c) be the first derivative of -2*c**3/3 + 15*c**2/2 + 13*c - 219. Let q be z(8). Solve 9 = -v - 4*p - 0, 0 = 3*v + q*p + 13 for v.
-1
Let d = 6323 + -6303. Solve -5*v - 36 = 4*s, s + 13*v + d = 9*v for s.
-4
Suppose 3*w + 2*p = 2, 16 = 3*w - p + 8. Suppose 5*i - 5 = 4*i. Let o = i + -2. Solve -w*m = -r + 3, -2*r - 2*m = o*m + 30 for r.
-5
Suppose -3*b = 3*b - 378. Let d = b + -25. Let j = d + -36. Solve 3*a - 4*p = -p - 3, -2*p = j*a + 2 for a.
-1
Let k be 198/54 + (-4)/6. Suppose -3*y - 3*x - 6 = 0, 5*y = -2*x + 4*x + 25. Suppose -5*w + y*w + 6 = 0. Solve -4*a + 4 - 3 = -5*m, -k = w*a for m.
-1
Suppose -5*w + 4981 - 4996 = 3*m, -26 = -4*m + w. Suppose 4*f + 9 = 25. Solve f*s = -4*b, 0*b = -2*s - m*b - 12 for s.
4
Suppose -9*n = -205 - 11. Suppose -n*r + 49 = -71. Solve -3*m - 10 = x, -3*m = -m - r*x + 1 for m.
-3
Let f = 161 + -86. Suppose 2*v - 125 = -5*k, f = 3*k + v - 2*v. Let x = k + -24. Solve -o + w = -6*o - x, 5*o - 5*w + 25 = 0 for o.
-1
Suppose -25*z - 13764 = -13839. Solve 56*g = 5*b + 51*g + 50, -z*b = 5*g - 10 for b.
-5
Let l be (791/226)/(186/176 + (-22)/121). Solve -k - 4 = r, 15 - 31 = r + l*k for r.
0
Suppose 6*p + 110 = -100. Let g be -15*(2 - 4)*42/p. Let y = g - -41. Solve -20 = 2*r - 5*a, 5*r + y*a + 0 - 20 = 0 for r.
0
Suppose -3*x + 4*u = -1, -12*x + 17*x = -u + 40. Suppose x*l + 72 = 191. Solve -b = 3*s + s + l, 4*b + s = -8 for b.
-1
Let b(x) = 2*x**2 + 14*x - 6. Suppose -4*s + 5*s + 8 = 0. Let k be b(s). Solve -2*o = -5*m + 10, 5*o = -7*m + 2*m + k for m.
2
Let d(l) = 12*l - 336. Let x(y) = y**2 + 2*y + 28. Let r be x(0). Let z be d(r). Solve z = -o - 3*o - 4*v + 16, o + 4*v = 7 for o.
3
Let d be (6/9*7 + -2)*(-333)/(-444). Solve 0 = -g - d*s + 6, 5*g = 6*g + 5*s - 15 for g.
0
Let n(m) = m**3 - 5*m**2 + 5*m - 2. Let l be n(4). Let o be l*70/12*3. Let t be (-10)/(700/(-14)) + 48/10. Solve 5*s = -5*r - o, -t*r + 0*s + 5 = -3*s for r.
-2
Let r be ((-60)/(-36))/(12/108). Solve -6*z + w - 1 = -10*z, 0 = -3*z + 4*w + r for z.
1
Let g = -39 + -48. Let j = g + 91. Let b be (j/(-24)*2)/((-2)/6). Solve -5*m = -4*r + b, -2*r + 2*m + 1 = -m for r.
-1
Let g(s) = -3*s - 1. Let h(z) = -4*z. Let l(w) = 3*g(w) - 4*h(w). Let v be l(1). Solve -a = -1, -i + v*a - 2 = 7 for i.
-5
Suppose 4*w = 3*w - 6. Let a be 0 + (-13)/1 + 0/w. Let u = -9 - a. Solve 4*c = u*n + 8, -2*n + 2*c + 12 = -4*n for n.
-4
Suppose -4*s + 20 = -u, 1553*s + 6 = -3*u + 1556*s. Solve -2*d = -2*v - 4, -5*v - 7*d - 34 = -u*d for v.
-5
Let v = -1533 - -1535. Solve -3*h = 4*y + 10, -1 = -v*h + 10*y - 5*y for h.
-2
Suppose -2*i + 9*c + 15 = 10*c, 36 = 4*c. Solve 4*h - 3*q + 1 = 0, 152*h = 151*h - i*q - 4 for h.
-1
Suppose -k = -0*k - 222. Let o = 227 - k. Solve 2*h - n + 5 = -2*h, -13 = o*h + n for h.
-2
Suppose -91 = -3*g - 4*g. Suppose 6*z + g*z = 38. Solve 0 = x - 4*p - 5, -4*p - 3 = -z*x + 3 for x.
1
Let i(f) be the third derivative of -f**5/30 + 17*f**4/24 + 55*f**3/6 - 2*f**2 + 11*f. Let t be i(11). Solve -8 = -x - 0*n + 3*n, t = -4*n - 16 for x.
-4
Suppose 3*c + 4*a = 698, 4*c + 0*a = -3*a + 940. Let t = c - 225. Solve 0 = 5*m + 4*u - 11, 4*m + 11 = 5*u - t for m.
-1
Let c be 28/35*(-1)/(6/(-15)). Let f be -1*c/(-1 - 1)*3. Solve 0 = -y - u, -4*y - f*u = 2*u + 1 for y.
1
Let i = -22 + 42. Suppose -8*c = -3*c - i, 0 = -5*p - 2*c + 28. Solve -p*u - 3*m = 13, m - 3 + 9 = -3*u for u.
-1
Let j be 3/(-6)*(1104/4)/(-6). Let r be (-16)/184 - (-117)/j. Solve 2*m - 8 = -2*t, -3*m + r + 11 = -t for t.
-1
Suppose -79 = 13*a - 157. Let y be (-10 + a + 0)*-1. Solve 2*l - 5*p = 5, 3*p + 17 = -y*l - 12 for l.
-5
Suppose -96 = 4*a - 2*a. Let u be a/(-6) - (4 + 0). Suppose 5*b - 4 = u*b. Solve -3 = 4*s + b*z + 1, 5*z = -4*s for s.
-5
Suppose -337*o + 333*o + 1408 = 0. Let k = 356 - o. Solve 3 = -k*b + t, -t - 3*t = -b + 18 for b.
-2
Let p = -5511 - -5513. Solve 4 = -t, -5*y - 2 = -p*t - 5 for y.
-1
Suppose 3*m + 2*x - 10 = 0, -4*m + x = -0*m - 6. Suppose -3*o + 24 = -102. Let r be 20*(o/24)/7. Solve 0 = -d - 0*f - 3*f - 14, r*d + m*f + 5 = 0 for d.
1
Let w = -4561 + 4567. Solve 2*c = w, -12*i + c = -7*i - 2 for i.
1
Suppose -139 - 16 = -32*m + 5. Solve -m*n + 5*y = -25, -n - 1 = 2*y + 3*y for n.
4
Let b be (-44)/(-154) - (-136)/14. Suppose b*i = -4*i. Solve 11 = s + 2*u, i = 3*u - 9 for s.
5
Suppose -3*t + 11 = 2. Suppose -4 = -4*n + 3 + 13. Solve 0 = -2*p - n*w + 13, t*p - 5 = 5*w + 2 for p.
4
Suppose -71*m + 104*m - 132 = 0. Solve 6*g - m*g + 8 = 3*v, -5*g + 3*v - 20 = 0 for g.
-4
Let l(t) = -t**3 + 8*t**2 + 13*t - 20. Let s be l(8). Let w be 3/((s/56)/(6/4)). Solve w*z + 17 = 2*k, 2*k + 0*k - 5 = -z for z.
-3
Let u(d) = -3*d**2 - 20*d - 40. Let s(q) = 6*q**2 + 40*q + 79. Let t(x) = -2*s(x) - 5*u(x). Let w be t(-3). Solve -2*j = j - 3, z = -5*j + w for z.
4
Let o = -244 - -246. Let k be 22 - 0/(o + -9 + 6). Solve 2*l - k = n + 4*n, 3*n - 4*l = -16 for n.
-4
Let r = -188 - -194. Let s be (30/(-9))/((-4)/r). Solve 3*l + 21 = 5*f, 4*f - f - s*l = 19 for f.
3
Suppose -2*k - 22 = -4*y, 28 = 3*k + 37. Solve -3*x = -5*v - 10, 22*v - 24*v + 22 = y*x for v.
1
Let r be 9 + 4 + 8 + -3. Suppose 4 - 94 = -r*q. Solve -3*s = 5*n + 17, q*s + n + 17 = s for s.
-4
Suppose 12851 = 36*z - 3745. Suppose -25*q + 414 + z = 0. Solve -4*l = 5*a - q, -l + 14 = 2*a + 3 for l.
5
Let w = -41628 + 41635. Solve 2*x = -b - w, 2*b - 18 = 3*x + b for x.
-5
Let a = 608 + -600. Suppose a = -72*b + 76*b. Suppose -4*r = r. Solve n - 23 = 5*t, 2*t + r*n - b*n = -14 for t.
-4
Let u be (-8)/6*(-55 - (-15 - -5)). Let b = u + -50. Solve 3*a + 4*h - 18 = 2*a, -5*a + b = 4*h for a.
-2
Let i be 6/30*-10*((-2)/4 - 1). Solve -i*p + 1 = 2*q, 5*p - 3 = 5*q + 7*p for q.
-1
Let r(y) = -y**3 - 13*y**2 + 5*y + 67. Let u be r(-13). Suppose 0 = u*g - 54*g + 104. Solve 5*x + 15 = 3*p - 7, -5*x - 2*p = g for x.
-2
Let a = 103 + -116. Let y be (a + 9)*3/(-6). Solve -3*v - 2*k - 2 = 0, -y*k = -3*v - 21 - 1 for v.
-4
Let k = -18288 - -18290. Solve -8*b + 10*b - 5 = m, -k*m - b - 15 = 0 for m.
-7
Let t be (4/3)/(-2) - (-15 + 578/51). Solve 0 = 5*s + t*i - i + 8, 4*i - 4 = 0 for s.
-2
Suppose -5*a + 3 = -4*j + 19, -a = -j + 3. Let g be -1 + (j - (-13 + 3)). Suppose -29*b = -28*b - g. Solve -r = -3*k + 12, 3*k - 3*r - b + 2 = 0 for k.
5
Suppose -105 = -5*j - n - 31, 5*j = -2*n + 68. Solve 0 = j*y - 11*y + 3*f - 13, 0 = 4*f + 16 for y.
5
Suppose 2*g = 5*n + 3, -3*g - n + 32 = 19. Solve 3*b - 6 = 0, -g*v - 4 = -v - 5*b for v.
2
Let w(z) be the first derivative of 10 - 4/3*z**3 + z + z**2 + 1/2*z**4. Let d be w(2). Solve 4*k + 18 = 8*k + r, d*r - 15 = -5*k for k.
5
Suppose -5*r - 8*x + 4*x = 0, 0 = -2*x. Solve r = -5*k + 5*q - 15, -k - 8 = k - 3*q for k.
-1
Let t = -4213 - -4218. Solve 0 = 5*y - 4*s - 0 - 11, 0 = 5*y + t*s + 25 for y.
-1
Let w = -6 - -8. Suppose -2*s = -3*s + w. Suppose -3*l - 3*v + 0 = -9, 0 = -s*l + 2*v + 14. Solve 0*j + f = l*j, 0 = f for j.
0
Suppose -4*r = d - 782, 9*d = 4*d - 10. Let y = -188 + r. Solve 0 = 2*c + 2*m + 2, -4*c - y*m + 3*m = 6 for c.
1
Suppose -u = -3*g + 7*g - 9, 2*g - 9 = -5*u. Let o be (2 - 0)/(2/3). Solve 0*r - g*r + 2 = -o*s, -4*s = -5*r - 9 for r.
-5
Let o = 276 - 260. Suppose -5*g - o = -5*t + 8*t, 4*g + 35 = 5*t. Solve -2*b + c - 6 = -3*c, -2*b - t*c - 13 = 0 for b.
-5
Let w be -147*48/(-560) + 8/20. Solve 0 = -x + w*k - 12*k - 2, 0 = 5*x + 4*k - 17 for x.
1
Let r(m) = 11*m + 1. Let n be r(1). Suppose n = -6*i + 9*i. Let w = 443 + -437. Solve -23 = -f + 4*s - w, -i*f + s = -23 for f.
5
Let n be ((-326)/(-4))/(5 - 18/4). Let d = 169 - n. Solve 2*i + 7 = -x, 0 = -2*i + d*i - 5*x - 21 for i.
-1
Let w = 322 - 184. Let p = w + -136. Solve -t = -5*v - 8, 0 = 2*t + p + 2 for v.
-2
Let j be 42/15 + 2 - (-2585)/1175. Solve 0 = -4*p - 16*c + 13*c + 17, -p + 3*c = j for p.
2
Let t = -414 + 259. Let l = t - -161. Sol