*a for n.
-2
Let r(i) = -2*i**3 - 23*i**2 - 11*i + 14. Let q be r(-11). Solve -5*u = z - q, 12 = 3*u + 28*z - 31*z for u.
3
Suppose -2*o - o + 2*u + 8 = 0, -3*u - 15 = -5*o. Suppose -o*f + 118 = -164. Let a = f - 33. Solve x - 5*r = 1, -10 = 5*x + 4*r + a for x.
-4
Let n = -2558 + 2570. Suppose 0 = -i + 8*i. Suppose -3*t + i*t = -3*o - 48, t = 5*o. Solve 2*q + n = 2, -3*k - 4*q = t for k.
0
Suppose 4*z = q + 161, -z - 2*q + 29 = -0*q. Suppose 2*s + 31 = z. Let v = s + -4. Solve v = -4*r + 3*o - 7*o - 24, -4*r - 3*o - 22 = 0 for r.
-4
Suppose -32*u + 2*u = 2*u + 15*u. Solve u = -3*t + t + 6, -4*s - 11 = -5*t for s.
1
Suppose 2*u = 7*u. Suppose 3*i + 2 = -k, -2*k + 0*k = -3*i - 14. Solve -4*n + u*y = -5*y + 18, -k*n - 4*y = 0 for n.
-2
Let k be (10 + 248/(-16))*24/(-33). Solve 0 = -5*u + k*v - 8, -2*u + 4*v - 3 = -7 for u.
-4
Let t(w) = -w - 13. Let v be t(-7). Let p = 9 + v. Suppose -5*j + 110 = 4*o, 97 - 333 = -4*o + 4*j. Solve -3*d = -p*n - 30, 0*d - 5*d = -4*n - o for n.
-5
Let d(y) = -2*y + 25. Let k be d(20). Let z be k/(-35) - (-1110)/105. Solve 3*q - 4*l = -9, -4*l - 1 - z = 4*q for q.
-3
Let i(z) = 2*z**2 - 4*z + 5. Let l(p) = -p**3 - 17*p**2 + 2. Let q be l(-17). Let r be i(q). Solve 4*w = -2*t + 8, 0*w + w = r*t - 9 for t.
2
Let s = 444 + -444. Suppose s = 97*m - 101*m. Solve m = 5*q + 10, -q = -3*x - 0*q + 8 for x.
2
Suppose 99*l + 67*l = 204*l. Solve l = -4*m + 4*z, -3*m + 12*z - 7*z = 10 for m.
5
Suppose 4*a + 30 = 10*m, a + 12 = -3*a + 4*m. Solve 5*g - 5*v = -15, 0 = -5*g + v - 23 - a for g.
-5
Suppose 6*u = 2*a + 4*u - 18, -5*a - 4*u = 9. Solve 2 + 6 = a*x - 5*w, x = w + 2 for x.
1
Suppose 4*v = 22*v + 36. Let n be v/(-5) + 11/(770/602). Solve 0 = -2*t - 6, -2*t = 3*b - 6*b - n for b.
-5
Let q(d) = 12*d + 178. Let w be q(-11). Let z be (-20)/230 - (-4)/w. Solve -5*h = z, -3*i + 4*h = -5*i - 8 for i.
-4
Let a be ((-49)/2 - -5)/((-12)/8). Suppose -3*z = 2*d - a, -2*z - 5*d - 58 = -74. Solve -5 + 3 = -5*x - j, -x - z*j = 8 for x.
1
Let q = -2943 + 2945. Solve -12*y + 13*y = -2*o + q, 3*y + 4*o - 6 = 0 for y.
2
Let f be 21/(-14) - (-43)/2. Let s be 2/(-20) - (-202)/f. Solve 2*v + 2*v = -y - s, 8 = -4*v for y.
-2
Let a(p) = p**3 - 24*p**2 + 22*p + 27. Let d = -74 - -97. Let y be a(d). Let w be (18/y - 2)/((-2)/(-4)). Solve -w*c - 4*h + 15 = h, -2*h + 7 = 3*c for c.
1
Let u = -838 + 844. Solve -u*b = 3*z - 10*b - 18, 0 = -4*z - 3*b - 1 for z.
2
Suppose 0 = 3*z + 5*b - 6 - 3, -z - 4*b = -3. Suppose 5*j - 12 = -4*f + z*f, -3*j + 5*f = 4. Solve 0 = -4*n + 3*q + 4, 2 = 2*n - 6*q + j*q for n.
1
Let y(u) = u**3 - 9*u**2 - 6*u - 23. Let m be y(10). Suppose m = -5*d + 37. Solve 2*n + 3*l = 4, 3*n = 2*n + d*l - 20 for n.
-4
Let x be 117 - (2/3)/((-2)/9). Suppose 0 = 20*o - 0*o - x. Solve 4*k + 2*p - 4 = o*p, 2*k + 5*p - 30 = 0 for k.
5
Suppose 457 = 6*i - 203. Let r = -106 + i. Suppose -25 = -5*p, w + w = r*p. Solve 5*x + 20 = 5*k - 10, 4*k - w = -3*x for k.
4
Suppose z - 20 = 5*r, z + r - 3*r = 5. Let y be (z + -1)/((-6)/4). Suppose -402*i + 407*i - 22 = 8. Solve 3*c - 5*c + 2*f = -i, 4*c + y*f - 12 = 0 for c.
3
Let f(x) = -4*x**2 + x + 8. Let v be f(-2). Let d = v - -14. Let h(o) = -4*o - 15. Let t be h(-5). Solve 0 = t*j - d*n - 17, 4*n = 4 - 16 for j.
1
Let a = 74 - 74. Let o be (-40)/2*23/(-92). Solve 4*p + 8 = 0, a = o*t - 2*p - 23 - 6 for t.
5
Let s(t) = -t**2 - 2*t + 5. Let f be s(-4). Let v be 0 - (3/f - 1). Suppose 1447*l - 222*l + 7 = 7. Solve v = -r + k, -2*r + 3*r + 5*k - 22 = l for r.
2
Let s be -38 - (-1 + 1 - -1). Let c(x) = 210*x - 1002. Let k be c(5). Let o = k + s. Solve -i = 2*d - 7, d + 5*i = 2*d - o for d.
4
Let w = 0 + 0. Let b(u) = 11*u - 1. Let t be b(1). Suppose 0 = 5*y + g - w - t, -y + 2 = -2*g. Solve -5*l = y*q + 16, -20 = -2*q + 4*l - 0 for q.
2
Let w(t) = t + 12. Let o = -44 - -37. Let h be w(o). Suppose -h*i + 10 = -4*y, 0*i - y + 8 = 4*i. Solve 2*q - 4*q = 2*a - 14, -3*a = i*q - 18 for a.
4
Let r be (-1 + -2)/((-15)/(-2260)) - 2. Let z = r + 461. Solve -t + q + 4 - 2 = 0, -2*t + 5*q = -z for t.
1
Suppose 0 = -69*m + 26 + 319. Solve t + m*h - 2*h + 9 = 0, 0 = -3*h - 6 for t.
-3
Let t = 4964 - 4964. Solve -4*o - 4*k + 32 = t, k = -o + 4*k for o.
6
Suppose -6 - 12 = -3*v. Suppose 2*u - v = -u. Suppose -u*t + 5*t + 3 = 4*r, -3*r + t = -6. Solve 3*x = -15, -2*j + r*x + 15 = 2*j for j.
0
Let r(x) = 6*x**2 + 32*x + 7. Let s be r(-7). Let z = -62 + s. Let o be 4 - 1 - (-5)/z*0. Solve -4*m + 0*m - 16 = -4*a, -o*m = -2*a + 8 for a.
4
Let j be 30 - (-7)/(35/(-80)). Solve -5*c = 2*x + j, -41*x = -3*c - 42*x - 8 for c.
-2
Let a(h) = 831*h + 7483. Let c be a(-9). Solve 3 = -5*t - 315*g + 316*g, 12 = t + c*g for t.
0
Suppose 2*k = 5*h - 38, -4*h + 6*k - 2*k + 28 = 0. Suppose 219*y - 221*y = -h. Solve 0*c = -z - 4*c - 14, -4*z - y*c - 8 = 0 for z.
2
Suppose -5*h + 4*y = -581 + 127, 0 = -4*h - 4*y + 392. Let t = -90 + h. Solve -2*l - t*v = -8, -2 = 5*l - 4*v + 6 for l.
0
Let j = 6027 + -6019. Solve 4 = 2*x + i, -78*x = -82*x - 3*i + j for x.
2
Suppose -5*p + 38 - 13 = 0. Solve -1 = -z - p*m, 2*z - 2 + 0 = -3*m for z.
1
Suppose -38*f + 43*f + 5*a - 115 = 0, f - 3*a - 35 = 0. Suppose -2*v = -6 - f. Solve -3*g = -4*k - 19, 8 + v = 5*g + k for g.
5
Let d(o) = 2*o**3 + 159*o**2 + 386*o + 82. Let b be d(-77). Solve b*y + 1 = -v, 4*v + 3 = 4*y + v for y.
0
Suppose 0 = 19*j - 68 + 11. Suppose -4 = -h, 33 = x + 4*x - j*h. Solve -9 = -2*k + 3*r, 3*k + 5*r + x = -6 for k.
0
Let r be 12 - 1 - (10 - (7 - 2)). Suppose k - 5*b + 10 = 0, r = -5*k + 3*b - 0*b. Solve q - 3*v = 2*v + 4, k = 2*v for q.
4
Let u(h) = -201*h - 7825. Let q be u(-39). Solve 2*y + 4*s - q = 0, -15*s + 14*s + 3 = y for y.
-1
Let w(a) = -7*a**2 + 445*a - 244. Let x be w(63). Solve -x*h = -3*c - 11*h - 9, -4*h - 6 = -2*c for c.
-1
Suppose -8*p - 6 = -10*p. Let y(b) = 4*b - 9. Let f be y(p). Let z(l) = -l**2 + 7*l - 3. Let s be z(6). Solve -3*d - 10 = u - f, s*u + 4*d = -6 for u.
2
Let p be 3 + 7/((-49)/21). Solve -4*u + 6*u - 4*b = 0, 2*u + 2*b = p for u.
0
Let b = -80 - -206. Suppose 25*j - b = 4*j. Solve -2*w + j*w = -4*x + 4, -5*x + 14 = 2*w for x.
4
Let i(f) = 3*f + 51. Let x be i(-13). Suppose n + 2*n = 0. Let v = 5 + n. Solve 3*g + 4*z - x = 8, -4*g = z - v for g.
0
Let b(q) = 3*q**2 + 67*q - 216. Let p be b(3). Solve 5 = p*r - 7*r, -3*m + 8 = 5*r for m.
1
Let u = 3510 - 3507. Solve x = 2*k + 6, -2*x + 4 = k - u for x.
4
Let o = -2268 - -2272. Solve -15 = 2*j - o*r + 3*r, -2*r + 35 = -5*j for j.
-5
Let v(w) = -5*w + 7. Let h be v(1). Suppose -21*m + 12 = -17*m. Solve -3*y + 3 = -m*j, -3*y + h*y - j + 3 = 0 for y.
2
Suppose -1136*p = -1129*p - 84. Suppose 0 = -5*q - n + 19 - 1, -2*q + p = 2*n. Solve 0 = 5*h, -3*w - q*h + 7*h = -6 for w.
2
Let n(x) = -2*x**2 + 21. Let w be n(0). Suppose 0 = -66*v + 59*v + w. Solve 5*c + 18 = -q + 5, c = v*q - 9 for q.
2
Let j = 13555 - 13552. Solve -23*n = h - 18*n - 21, -n = j*h + 7 for h.
-4
Suppose -2168*z = -1174*z - 1218*z - 367 + 1039. Suppose 2*b - 6 = -0*b. Solve b*h = -n - 2, h - z = -n - 7 for n.
-5
Let h(u) be the first derivative of -19*u**2/2 - 109*u - 46. Let o be h(-6). Solve 3*p - 8 = o*p, 4*i - 4 = 4*p for i.
-3
Let x be 2 + 42/(-112)*-8. Let g(i) = -i - 11. Let k be g(-13). Solve 2*f + 5*l = -x - 11, -l = -k*f - 4 for f.
-3
Suppose -33 = -0*s + 3*s. Let o = 16 + s. Let h be (-2 - 2) + 3 + o. Solve 5*i - 4*u = -2, i + 4*i + 18 = -h*u for i.
-2
Suppose 350 = 73*p + 22*p - 60*p. Solve 2 = -5*d - 4*g, -p*g + 18 = -4*d - 5*g for d.
-2
Suppose 4*d = 2*i + 34, -178*d + 182*d - 3*i - 41 = 0. Solve r = -4*q - 4, -d*q - 6*r = -7*r + 14 for q.
-2
Suppose -h + 4*u + 188 = 152, 2*h + 2*u - 22 = 0. Solve 0 = -4*n - 4*j - h, 5 = n + j - 3*j for n.
-1
Suppose -38*v - 1 = -3 + 2. Solve v*k + k - 5*b = 24, 3*b = 3*k - 24 for k.
4
Suppose -4*i + 0 = -2*k + 2, 2*k = 2*i - 4. Let w be -6*(1 - k/(-3)). Suppose 17*f + 7 = -6 + 64. Solve 28 = -q - w*t + 7, 7 = q - f*t for q.
-5
Suppose 75*n + 7*n + 490 = 2048. Solve h - t - 4*t = -n, 4*h - t = 0 for h.
1
Suppose -2*h + i = -13, 52*h - 50*h - 2*i - 16 = 0. Solve y = h*l - 8, 4*l + 5*y = 22 - 4 for l.
2
Let i be ((39/(-26))/(-3))/(2/40) + -6. Solve 2*s - i*r = 0, -5*r = 14*s - 11*s + 11 for s.
-2
Let g be 2 - -14 - -3 - 14. Solve -4*d = -5*u - 4, g*u = 7*d - 10*d + 3 for d.
1
Suppose 11*r 