 Let v = -105 + a. Solve 0*s - j = -s + v, -5*s = -3*j - 28 for s.
5
Let a be (-1)/((-9)/4 - -2). Suppose 3*k - 4 = -q - 16, a*q + 16 = -4*k. Solve i - 2 = 5*b - 7, q = 2*i + 2*b - 2 for i.
0
Let v = 14491 + -14484. Solve -5*g + 22 = 2*j, -v*g + 5*g - 3*j = -22 for g.
2
Let r(z) = -5*z. Suppose q + 5*v = v + 23, -5*v + 13 = -4*q. Let n be (1/q)/((-6)/18). Let a be r(n). Solve -7 - a = 4*k, 0 = 4*f - 5*k - 15 for f.
0
Let x(b) = 6*b**2 + 55*b + 53. Let g be x(-1). Solve -2 = 50*n - 48*n, -g = -s - n for s.
5
Suppose -3*r - d = -11, r - 2*d + 4*d - 2 = 0. Let m be ((-270)/(-630) + (-16)/21)/(1/(-9)). Solve -10 = m*i - 3*g + r*g, 0 = -3*g - 12 for i.
-2
Let x be -6 + (-57)/(-9) + (-142)/(-6). Suppose 8*r = -4*r + x. Solve 5*a = -2*n - 10, -2 = r*a - a + 3*n for a.
-2
Let c = -262 + 267. Solve -r + 4*k - 2 = 0, -9 + 4 = -c*k for r.
2
Let b = -31 + 32. Suppose -4*k = u + 311, 0*u - u = -b. Let q = -63 - k. Solve 3*p - 7 = -n - q, 9 = -n - 4*p for n.
-5
Suppose -180*k - 5*o = -182*k - 10, 0 = -k + 5*o - 15. Solve -2*u + b - 18 = 5*b, -2*u - k*b = 22 for u.
-1
Let u = 2395 + -2460. Let y(t) = -t**3 + 4. Let f be y(-4). Let i = u + f. Solve i = -2*d + a + 2, a + 1 = 4*d for d.
1
Let r = -476 + 478. Let g be (-8)/(-22)*(-231)/(-42). Solve -4*n - 4*j + r*j + 30 = 0, -g*n - 2*j = -20 for n.
5
Suppose 20 = -3*z + 4*f + 49, 0 = 5*z + 5*f + 10. Solve 5*h = 3*i, z*h - 6*i = -2*i for h.
0
Suppose 3*z + 15 = 0, z + 70 = -3*p + 80. Solve p*k + 20 = 0, 0 = -2*d + 3*d - 4*k - 16 for d.
0
Suppose -27*h - 9 = -2*r - 26*h, -4*r + 22 = -6*h. Let o be (-34)/(-8) + 3/4. Solve b + 20 = -3*z - 0*z, o = 3*b - r*z for b.
-5
Let y be (-48)/112*7 - -15. Solve 0 = -3*c + 5*x - 22, 7*c - 5*x + 30 = y*c for c.
1
Let h be (-224)/(-16) - (-5 - -4). Solve 4*i - 5*z = 11, -19*i - 7 = -h*i + z for i.
-1
Suppose 0 = -25*l - 392 + 442. Let d(j) = -j**3 + 27. Let f be d(0). Solve c = w - l*w, -5*w = -4*c + f for c.
3
Let v(s) = 6*s**3 - 2*s - 1. Let k be v(2). Let a = k - 31. Suppose -j + 40 = 4*j - 5*d, -j + 2*d + a = 0. Solve -l + o + j*o = -14, 2*l + 14 = -4*o for l.
-1
Suppose 2320 = -59*b + 187*b + 528. Solve 4*c - 20*m + 22*m - 26 = 0, -b = -3*c + 4*m for c.
6
Let k(b) = -193*b + 8*b**2 + 386*b + b**2 + b**3 - 10 - 204*b. Let y be k(-10). Solve -3*p + 6 = 2*s, s - 6 = -y*s - 3*p for s.
0
Suppose 4*d + 6*g = g - 4, -5*d = -2*g - 28. Solve -14 = 3*q + 2*a - 19, 0 = d*q - a + 8 for q.
-1
Let z be (-1 + 3)/((-8 - (-255)/45) + 3). Solve 0 = 5*t - z*k + 175 - 150, -k = -3*t - 11 for t.
-2
Let i(v) = 13*v + 17. Let n be i(0). Let p be ((-36)/16)/((-3)/16). Suppose 10*f + 8 = p*f. Solve -h - 2 = -2*k - f, 4*h = -k + n for k.
1
Let h(w) = 2*w**2 + 2*w - 1. Let p be h(1). Let f = 352 + -533. Let m = f - -184. Solve 3*j - b - 1 = p, m*b + 3 = 0 for j.
1
Suppose 218*q - 402 - 4 = 684. Solve -q*v = -2*a + 2, 13*a = 17*a - v - 4 for a.
1
Let f(x) = -78*x - 7. Let y be f(-1). Let m = y - 69. Solve -2*k = m*r - 4, -5*k + k = 2*r + 2 for k.
-3
Let l = 8230 - 8222. Solve 420*r - l = 4*s + 419*r, r = -4 for s.
-3
Let m = -5136 - -5158. Solve -5*t - 5*c = -40, 73*t - 2*c + m = 77*t for t.
3
Let l(d) = -3*d - 108. Let f be l(-30). Let h(t) = -t**2 - 19*t - 16. Let j be h(f). Solve 3*a - j*o = -19, 3*a + 2*o = 4 - 3 for a.
-3
Let f = 5 + -7. Let w be (-44)/154 + (-1)/(7/f). Solve 4*g - 12 = -2*z - w, -3*g - 17 = -5*z for z.
4
Suppose 5*p - p + 142 = -s, 0 = 2*s + 3*p + 279. Let g = s + 141. Solve g*m + 4*d - 28 = -1, -5*d = -15 for m.
5
Suppose 3*i - 2*k = -4*k - 41, 2*i - 5*k = -59. Let s = i + 19. Solve -5*d = 3*c + 10, 3*c - 5*d = -s - 18 for c.
-5
Let s be 990/(-660)*(-8)/6. Solve s*m + 6*o - 8*o - 2 = 0, -1 = -m - 2*o for m.
1
Let n(g) = 33*g + 75 - 3*g**2 - 111 + 74. Let w be n(12). Solve w*v = 2*z + 10, -v + 6*v + 25 = -5*z for v.
0
Let j = -21 + 33. Suppose -j = -u - 80. Let o = 71 + u. Solve o*a - s - 1 = 0, -5*a + 2*s + 2 = -0 for a.
0
Let b(t) = -2*t**2 + 127*t + 211. Let x be b(65). Solve -5*d + 10 = -5*n + 35, 2*d = 4*n - x for d.
-2
Suppose 34*b = -662 + 730. Solve -b*z - 4 = -4*p, -10 + 12 = -z - 3*p for z.
-2
Let v be 8 - (2 - -1) - (-8 + 9). Suppose -14 = 3*r - 4*l + 6, 0 = -v*r - 5*l + 25. Solve r = -2*f + 3*g - 11, 0*f = -4*f + 2*g - 10 for f.
-1
Let v(u) = 13*u + 27. Let k be v(27). Let l = k + -376. Solve -4*o - 3*z = l + 1, -3 = 5*o + 3*z for o.
0
Suppose -24*t + 104 = 176*t - 1096. Solve 0 = -3*g - 5*d + 24, -4*g + 18*d + t = 16*d for g.
3
Let q(m) = m**2 - 14*m + 33. Let c be q(3). Solve -3*t - 4 = p, c = 4*p + t + 13 + 3 for p.
-4
Let p be 2*-4 - (-402 - 74). Let h = 472 - p. Solve 3*w + 7 = -2, g + h*w = -13 for g.
-1
Let g = 8 - 6. Suppose 0 = a + 7*w - 4*w, -5*a + w = -16. Solve 0 = -a*i - g*v - 14, -15 = 4*i + 4*v + 9 for i.
-2
Let f(o) be the third derivative of 23*o**4/12 - o**3/6 + 3*o**2. Let c be f(-1). Let i = 58 + c. Solve -m - m + p - i = 0, 2*m + 4*p + 6 = 0 for m.
-5
Let z be ((-70)/(-20) - 2)*2. Solve 2*d - 17 = -z*v, 4*d - 19 = v - 6 for d.
4
Suppose -3 = 3*f, -5*f - 101 = -3*s - s. Suppose -s = -8*g + 5*g. Suppose 6*a + 14 = g*a. Solve 1 = -2*t - 5*w, 5*w + 0*w = t - a for t.
2
Let d be (-5)/10*-52 + 0. Let o = 25 + d. Let y = o + -44. Solve 4*g + 4*n - 12 = 0, 2*n = 3*g - 3*n + y for g.
1
Let x = 20395 + -20383. Suppose -2*r = 2 - 6. Solve 3*g + c - x = 1, -3*g + 17 = r*c for g.
3
Suppose -5*h = -4*v - 32, 5*v + 25 = 4*h + 2*v. Solve 32*b + h*p + 15 = 31*b, 4*p = -12 for b.
-3
Let s = -16 + 22. Let o(z) = z + 12. Let c be o(-9). Suppose -c*v + 6 + s = 0. Solve 0 = -5*u + n - 14, -v*u = -3*u + 3*n + 6 for u.
-3
Let s be -3 - (2/(-2))/(-1). Let m(b) = -14*b + 7 + 11*b - 8 - 5. Let k be m(s). Solve i - 2 = -4*z, 0*i - k = i - 4*z for i.
-2
Let s(u) = 2*u**2 - 256*u - 256. Let i be s(-1). Suppose 0 = -4*j - 4, 0 = -4*q - j - 3 + 2. Solve -f - 10 = 5*y + 18, -i*f - 3*y - 21 = q for f.
-3
Let c(s) = -392*s - 386. Let l be c(-1). Solve 3*w + 4*x + 4 = l, 5*x - 18 = 4*w for w.
-2
Suppose 0 = 466*d - 268*d - 396. Let n = 25 - 21. Solve 2*m - n*i + 4 = 0, -2*i = -d*m - 4*i + 2 for m.
0
Suppose -4*c = t + 18, 60 = 3*t - 5*c + 29. Let l be (-3 - 2*-2)*2. Suppose 2 + 34 = l*y. Solve -4*z = t*f + y, f + 2*z + 15 = -3*z for f.
-5
Suppose 99 = 61*i - 389. Solve -3*m + 12*r + 27 = i*r, -5*r = -2*m + 25 for m.
5
Let w = -449 - -451. Solve 5*o + 3*d = 2*d + 2, -4*o + 4 = w*d for o.
0
Suppose 27776*v - 27761*v - 75 = 0. Solve -3*t - 30 = -v*w, 0 = -2*t + 33*w - 28*w - 25 for t.
-5
Let f(r) = -r**3 - 9*r**2 + 16*r - 6. Let c be f(-12). Let j = 237 - c. Solve 4*n = -j*b, 4*n - 5*b = n for n.
0
Let u(r) = 4*r**2 + 3*r + 3. Let o be u(3). Let k be 32/4*18/o. Solve k*t + 8 = w, -t = 4*w + w - 24 for t.
-1
Let m = -1100 + 527. Let q = m - -577. Solve -5*n - u = -25, -q*n + n + 15 = u for n.
5
Let t be (7 - 16/4)/((-6)/(-26)). Suppose 25 = -5*a + 50. Solve -2*r = -j + 2*r + t, 2*r = -j - a for j.
1
Let n = -1907 - -1910. Let m be (0 - (0 + -1))*0. Suppose 0*s - s = m. Solve 3*g - 11 = -s*g + 5*c, n*g - 7 = c for g.
2
Let a = 755 + -450. Let t = 310 - a. Solve t = 4*c - o - 8, -5*c + o + 17 = 0 for c.
4
Let q = 12479 + -12465. Solve -18 = -5*s - 4*d + q, 3*d + 11 = 5*s for s.
4
Let q(r) = 3*r - 36. Let u be q(12). Suppose u = -3*x + p + 7, 2*x + 11 = 3*x + 4*p. Solve 2*n - x*j - 6 - 7 = 0, -15 = 5*j for n.
2
Suppose 7*r = -38 - 25. Let x(n) = n**2 + 20*n - 3. Let u be x(r). Let c = u + 108. Solve -l - 4 = 0, -c*z + 4*l = -3*z - 4 for z.
-4
Suppose 11 = 2*o - n - 0*n, n = -10*o + 73. Solve 2*y = -4*t - 2, t - o = -5*y + 7*y for t.
1
Let w be (-115)/(-20) + -6 + (-1)/((-4)/9). Solve -1 = -4*t - 17, -4*l = -w*t - 4 for l.
-1
Suppose 13*j - 39 = 13. Suppose j*q + 2*f = 4, 3*q - 3*f + f + 4 = 0. Solve q = -4*s + 5*c - 19, -s + 2*c + 0*c - 7 = 0 for s.
-1
Let f(h) = 39*h + 10. Let n be f(4). Let z = n - 163. Solve z*w - 3 = -5*m, m - 35 = -4*m + 5*w for m.
3
Let a be (276/(-6))/(2*-1). Suppose a*d = 8*d + 75. Suppose -3*r + 9 = 5*g + 2, -r - 5*g = 1. Solve 5*t + d*m = 15, -4*t + r*m = -m + 33 for t.
-2
Suppose -2505 + 41 = -77*y. Solve 2*j + 3 = g - 4, 4*g + y = -4*j for g.
-3
Let v be (0/(-264))/(4/2). Solve -4*l = 3*k - 28, k - 15*l + 19*l - 20 = v for k.
4
Let s(y) = -y**2 + 6*y - 2. Let k be s(6). Let t = k + 2. Let z(c) = 35*c + 563. Let v be z(-16). Solve 4*d + v*o + 17 = 0, 0*d + 