pose c = -y - 1, 2*y = 4*c - 0*y - a. Solve -4 = j - h, 11 = -0*j + c*j + 5*h for j.
-1
Let t be 27/6*(3/1 + (-940)/(-188)). Solve -16*f + 17*f = l, 4*l + t = -5*f for f.
-4
Suppose 339*w = 29*w + 1639 - 89. Solve 3*u = 4*q - 2, -w*q + 2*u + 327 = 335 for q.
-4
Suppose -4 + 18 = 3*v + 2*z, 0 = 2*v - 2*z + 4. Let w(r) = 2*r**3 + 56*r**2 + 61*r + 190. Let m be w(-27). Solve j + u + 7 = m, 3*u = 5*j - v for j.
-2
Let a = 767 - 349. Let w = a - 416. Solve -w*k - 4*m + m = 0, -5*k - 2*m - 11 = 0 for k.
-3
Let s = -492 + 758. Let p = s + -264. Solve -r = 5*x + 6, p*x + 4*r + 5 = r for x.
-1
Let k be (1 - 1) + -2 + 3 + (-148 - -151). Solve 0 = -2*u - 2*v + 12, 0*u - k*v = -5*u + 12 for u.
4
Suppose -2*a = 5*l - l - 6, 0 = 5*l. Solve 8*s - a*s - 30 = 5*r, 0 = -4*r - 4*s for r.
-3
Let r(f) = -f**3 - 4*f**2 + 43*f + 203. Let t be r(-5). Solve -3*q = n - 8, 5*n - 5*q + 27 = -t for n.
-4
Let q(x) = 5*x + 274. Let u be q(-54). Solve 3*r - i + 24 = 38, 2*r - u*i - 6 = 0 for r.
5
Let y = -7 - -9. Suppose 0 = -w + 2*p - 6, -4*w + 6*w - p + 3 = 0. Suppose w*j = -4*j - 2*j. Solve 5*d = -y*v + 23, -2*d + j = 5*v - 26 for v.
4
Suppose 53*p - 666 = -105*p - 192. Solve 2*u - 3*w - 1 = 0, 5*u + p*w - 28 = 2*w for u.
5
Suppose 0 = 4*k + 3*o - 602, -4*k + 4*o = -7*k + 448. Let p = 154 - k. Solve -p*f + 2 = -2*h, 0 = -3*h + f + 1 - 10 for h.
-4
Suppose -2*k + 6 + 0 = 0. Suppose 8 + 22 = -2*q - 4*z, 5*q = -z - 39. Let j be q + (-5 + 8 - -4). Solve -2*n + 5*b = b, -n + k*b = j for n.
0
Let u be (4/1)/4 - (-2 - 1). Let d be -3 + (-28)/(-4) - (-1 + 2). Solve -4*j + 8 = u*f, j - 10 + 2 = -d*f for f.
3
Let c be 0/(-3) - 12/3. Let j be -1 - -67 - (6 - (c + 9)). Let f = 67 - j. Solve -15 = f*h + 3*h, n = -4*h - 8 for n.
4
Let c(r) be the third derivative of 3*r**4/4 - 103*r**3/6 + 180*r**2. Let s be c(6). Solve s*g = -4*j + 37, 3*g - 7 = 4*g - 4*j for g.
5
Let z(v) = -60*v**2 + 2041*v - 34. Let a be z(34). Solve -4*q - 20*m + 21*m - 12 = a, 3*q - 6 = -3*m for q.
-2
Suppose 0 = -n + 9 + 11. Let b be (65/n)/(-13) + (-18)/(-8). Let r be (-30)/((3/b)/(-11 - -9)). Solve -2*f = 2*v + 18, 4*f + 3*v = -2*v - r for f.
-5
Let i(a) = a**2 + 3*a + 1. Let d be i(-9). Let n = 56 - d. Solve 8 = -l - 2*u + n, -u + 13 = -5*l for l.
-3
Let z = 93 + -77. Let a be (-1 - -4)/((-1)/4). Let k be (-2 - a)*(1/(-5) + 1). Solve -m + 5*m - 4*t = z, 3*m - 2*t - k = 0 for m.
0
Let b(y) = -334*y**3 - y**2 + 6*y + 6. Let z be b(-1). Suppose 335 = r + z. Solve 2*w = -5*l - 20, -r*w - 10 = -l - 2 for w.
-5
Let g(k) = -k**2 + 8. Let p be g(0). Let b(j) = -j**2 + 9*j + 10 + 4 - 20. Let m be b(p). Solve m*w = 4*t - 0*t - 2, 2*w = -t - 2 for t.
0
Let i = 230 - 182. Suppose -30*m + 34*m = i. Solve -2*t = 10, v = -0*t + 2*t + m for v.
2
Let y be (2/(-4))/(261/(-2610)). Solve -y*n = -3*z - 24, -5 + 17 = -3*z + n for z.
-3
Let b be ((-5)/(-2))/((-3)/(-6)). Suppose -18 = 4*m - 54. Suppose y - 20 = -m*y. Solve y*f - 4 = -w, -5*w - b*f + 14 = -f for w.
2
Suppose o - 153 + 132 = 0. Suppose v + 10 = 3*m, v - 1 = 5*m - o. Solve 5*f - j + 25 = 0, -m*f - 35 = 3*j - 6*j for f.
-4
Suppose 5*s - 3*r - 145 = -r, 0 = s - 5*r - 52. Let j = s - 26. Solve 0 = -3*v + 3*t, -4*v + 2*t = -3*v + j for v.
1
Let x = 230 + -225. Let k be (-6)/27 + 42/(-54) + 3. Solve -n = o - 3, k*o + 0*o - 18 = -x*n for o.
-1
Let q(w) = 28*w**2 - 3. Let n be q(3). Let v = -246 + n. Let a be (2/(-4) - 0)*0. Solve a = 2*p - 6, 2*u + 0*p + 7 = v*p for u.
1
Let p = 1803 - 1803. Solve i - 5*b - 13 + 32 = p, i + 3*b - 5 = 0 for i.
-4
Let w be (-47 - -1)*(-6)/36*3. Suppose -w*k + 18*k - 170 = 0. Let t be 2/(-3) - k/6. Solve -4*x = 5*z - 5, 0 = t*x - 4 - 21 for z.
-3
Suppose 3*f - 18*j = -16*j + 17, 3*f = -j + 5. Let x be ((-3)/12)/(f/12) - -3. Solve -2*g + 4*p = -14, -4*p = -g + x*g + 11 for g.
1
Let o(y) = -9*y - 2. Let k be o(-2). Suppose 17571 = -43*b + 17743. Let r(n) = 2*n**2 + 13*n - 2. Let x be r(-7). Solve b*s + d + 14 = -d, k = -x*s - 4*d for s.
-4
Let n(a) = 25*a - 1. Let w be n(1). Suppose -670 = -48*m + 290. Solve 5*f = -x - w, f + 6*x = 2*x - m for f.
-4
Let g be (2 - (12 - 3))/(2/2). Let z(h) = h**2 + 9*h + 19. Let t be z(g). Solve -t*n + 3*n = -2, -o = 3*n for o.
-3
Suppose -221*w + 231*w - 50 = 0. Solve -c - 4*k = -13, 2*k - w = -c + 4 for c.
5
Suppose -5*y = 0, -5*y = -7*t + 2*t - 260. Let p be -3 - 1/(2/t). Let x be (p/(-69))/(1/(-15)). Solve 4*b = -z - 9, -4*b - 4*z + 7*z - x = 0 for b.
-2
Let z be -1 - -2 - (-297)/99. Suppose -3*n = -z*t + 10 - 6, 0 = n - 4. Solve -5*m = 4*j - 4, 2*j - 2 = t*m + m for m.
0
Suppose 4*b = -4*f - f + 195, 0 = 5*f + 2*b - 185. Suppose 0 = f*v - 50*v. Let r = -1 + 1. Solve r*h - 4*s = -4*h - 8, -3*h + 4*s - 3 = v for h.
-5
Suppose 23*r + 80 = 540. Let z be r*1/4 + -3. Solve f + z*o = 0, -3*o - 33 = -5*f - 7 for f.
4
Let q be 1/((2 + 3)/15). Suppose 72 = -5*b + f - 58, -5*f = -3*b - 56. Let j = b - -30. Solve 4 = q*o + 2*x, -o = -7*x + j*x - 6 for o.
2
Let o(n) = -n**2 - 4*n + 3. Let m be o(-4). Suppose -3*a = -2*d - 64, -5*a + 4*d + 78 = -30. Solve -i = -3*h + m + 11, 4*h - 2*i - a = 0 for h.
4
Suppose -813 = -3*p + 5*b, -b + 1478 = 5*p + 95. Suppose p*s - 273*s - 21 = 0. Solve 2*r - 4 = 3*r, -r - s = -3*a for a.
1
Let t be (-216)/(-60) + 8/2*(-4)/(-40). Solve 5*k - 2*k = -3*u, -t*u - 20 = 0 for k.
5
Suppose 9 = o + 4*s, -1 = 3*s - 4. Suppose 0 = 5*n - n - 16, 4*n - 28 = -3*u. Solve u = 3*v - m + o*m, 0 = -4*v - 5*m + 5 for v.
0
Let f(n) = n**2 - 23*n - 1414. Let r be f(51). Solve 0 = -q - 2*j - 18 + 19, -3*j = -q - r for q.
-5
Suppose -12186 = -14*u + 32*u. Let a = 682 + u. Solve -w + 20 = a*g, 3*g - 20 = -2*w - 2*g for w.
0
Let u = 3 + -3. Let q be (-2)/(-4) + 1/((-4)/(-18)). Suppose 7 - 16 = -5*l - 4*f, -4*f - 1 = -q*l. Solve u*k - 4*k = j - 13, k = 2*j + l for k.
3
Let d be (-3 - 2/(-2)) + 1. Let v be d/(1 - 5/4). Suppose -2*j - 22 = -4*i - 3*j, 0 = 2*j - 4. Solve -v*w = -w + a + 6, -i*w = 5*a for w.
-3
Suppose -3*y - 3*j + 10 = 4, j + 10 = y. Suppose -y*z = 5*r - 3*z + 6, 4*r - 2 = z. Solve t - k + 10 = 0, -3*t - 3*k + k - 5 = r for t.
-5
Suppose -4*z + 9*z - 10 = 0. Suppose -4*o + 4*n - 28 = 0, -4*o = -2*n - 35 + 43. Let c = 23 + -14. Solve 0*t + c = -z*b + 5*t, -3*b - 9 = -o*t for b.
-2
Let b(r) = 2*r**2 + 108*r - 1009. Let y be b(10). Solve -275*f + 7 = i - y*f, -2*i = 2*f - 2 for i.
-1
Let v be -4 - -3 - 2/1. Let y = 5 + v. Let f = 26978 + -26976. Solve -2*g - 32 = y*g + 4*i, -5*i - 28 = f*g for g.
-4
Let o(d) be the first derivative of 3 + 1/4*d**4 + 2*d - 3/2*d**2 + 0*d**3. Let n be o(2). Solve n*s = -j + 11, -s - 3*j = 2*s - 15 for s.
2
Let w be 210/12*(-12)/(-15). Suppose z = -w + 15. Solve 2*k + 4*s = -22, -2*s - z = -5*k + 2*s for k.
-3
Suppose 15*g - 10*g - 5*f = -2495, 5*g + 2495 = 2*f. Let y = 501 + g. Solve 3*v = 0, 3 = m + 3*v - y*v for m.
3
Let a = -776 + 780. Suppose -a*g - 3*c + 44 = 0, 0 = -2*g + 5*g + c - 33. Solve n = -2*y + 9 - 3, -3*n = -y - g for n.
4
Suppose -3 + 0 = -3*b. Let x be 2/(-3)*561/(-22). Let c be x/5 - (36/(-30))/(-3). Solve -2*v + 0*k = c*k + 3, b = -v - 2*k for v.
-3
Suppose 26*p - 2355 = 4743. Let v = -264 + p. Solve -4*h = 4*m - 13 - 7, -h - 2*m = -v for h.
1
Let r = -8477 + 8482. Solve -r*l = -3*z - 12 + 3, 6 = -2*z for l.
0
Suppose -24547*f = -24510*f - 296. Solve 9*r - 4*r + 2*g - 9 = 0, f = -g for r.
5
Let n(q) = q**2 - 16*q - 14. Suppose -r + 5*r = 1224. Let m be (r/(-36))/((-1)/2). Let v be n(m). Solve -18 = v*c + 3*d, -2 = 3*d - 2*d for c.
-4
Let r(v) = -61*v + 2078. Let y be r(34). Solve -2*c - 10 = -y*q, c = 4*q - 2 - 7 for q.
2
Let d be ((-12)/9)/((-6)/9). Suppose n - d*r = 4 + 2, -4*r = 3*n - 68. Suppose -p - n + 1 = 5*m, -3*p - 5 = 5*m. Solve -15 = p*c - 2*c, 5*c + 24 = -g for g.
1
Let d be 880/(-770)*14/(-4). Solve 5*u - 1 = k, 3*k = d*u - 27 + 24 for u.
0
Let f(l) = l**3 + 6*l**2 - 205*l - 848. Let r be f(-4). Solve r*v = b - 15 + 16, 4*v = 3*b + 11 for b.
-5
Suppose 0 = -t - 203 - 129. Let k = -332 - t. Solve -3*w = k, -x = 4*x + 5*w + 15 for x.
-3
Suppose 4*x = 3*g - 16, 146*g - 148*g = 2*x + 8. Solve g = 4*i + a - 7, -3*i + 7*i - 4*a = -8 for i.
1
Suppose -r = 16977 - 17000. Suppose 2*s + 3*c = 7 + 6, 0 = -4*s + 3*c - 1. Solve -6 = s*x - 4*m, -5*x + 2*m = -0*x + r for x.
-5
Let z be -27 + 34 - (0 - -3). Solve -5*l = -5*f + 25, -z*l - 27*f = -26*f + 