et y be v(7). Let n = y + -279. Solve k - 3*k - 3*x = n, x + 4 = -k for k.
-4
Suppose 1193*h - 903*h - 2900 = 0. Solve -x - b + h = 3*b, x = 5*b - 17 for x.
-2
Let b(n) = -2*n**3 - n - 220. Let x be b(0). Let k = x - -222. Solve -4*r - 16 = 2*h, 0 = h - 2*r - k - 6 for h.
0
Suppose -3*y = -5*h + 165, -4*h + 5*y = 3*y - 134. Let o(n) = -2*n**2 + 74*n - 70. Let b be o(h). Solve -2*w - 2*v = b, -2*w + 0*w + v + 1 = 0 for w.
0
Suppose -492*y = -496*y + 16. Suppose -4*o = 2*r - 2*o - 8, -5*o = r - 4. Solve -3*n + 19 = -d, -y*d - 40 = d - r*n for d.
-4
Let u = -25756 + 25763. Solve 3*r - u = z, -3*r + 16 = -7*r - 5*z for r.
1
Let m = 147 + -145. Suppose 3*s + 15 = 21. Solve 3*h = s*v + 11, -5*h - v = -m*v - 16 for h.
3
Suppose -41*g - 369 = -82*g. Suppose 0 = -o - 4*d + 5, 0*o - 4*d = 5*o - 41. Solve -o = -b - 4*p, p = -4*b - 0*b - g for b.
-3
Let c(t) = -44 + 2*t**2 + 29*t - 11 + 12*t**2 + 83. Let p be c(-1). Solve -q - v = 1, q + 4*v = 6*q - p for q.
1
Let q(a) = a. Let m be q(0). Let n(i) = -495 + 2*i**2 + 249 + 248. Let z be n(-1). Solve -c = -3*u - 4, m*u + 3*u = -z*c + 1 for c.
1
Suppose -11*i + 260 + 378 = 0. Let h = i + -58. Suppose 4*v = -4*o + v + 11, 4*o - 3*v - 29 = h. Solve -5*w + o*s = -2 - 23, -3*w + s = -7 for w.
1
Let z(y) = -2*y**2 - 215*y - 1290. Let a be z(-101). Solve 21*s + 7 = -3*v + a*s, 0 = -2*v + 3*s - 13 for v.
1
Let z(k) be the first derivative of 10*k**2 - 201*k - 283. Let g be z(11). Solve 4*h - 20 = -q, 3*q - 13 - g = -5*h for q.
4
Suppose 10*t - 50 = -15*t. Suppose -t*k + 3*v + 5 = 0, -3*k - 2*v + 8 = -7*v. Solve 4*o = a - 3, -3*a + o = -a + k for a.
-1
Suppose -12*z + 3 + 0 + 33 = 0. Solve 0 = 4*w - 3*d - 7, 17 = -z*w - 2*d + 18 for w.
1
Let w be -32 + 55 - (17 - -1). Solve w*n = 4*p - 7, -3*n + 7 = 5*p - 11 for p.
3
Suppose -3*w - 2*b = -119, -2*w + 4*b + 67 = -7. Solve 2*m - 30 = 5*o, o + w = 5*m + 10 for m.
5
Suppose 2*o + 5*g - 5 = 0, 3*o + g + 1 = 2. Let a be -1 + 3 + -4 + o. Let y(n) = -n**2 - 3*n. Let d be y(a). Solve 4*i - 3*w = -13, -d*i + 5*w + 1 = 4 for i.
-4
Let f(s) = -140*s - 278. Let m be f(-2). Solve 20 = -0*r - m*r + 4*d, 20 = 4*r + 2*d for r.
2
Suppose 127 = 21*r + 43. Let j be (-90)/54*(1 - r). Solve 0 = -4*d + 5*n - 11, d - j = -d - n for d.
1
Suppose 5*b + 2*x - 17 = 0, 0 = -2*b + 34*x - 29*x + 30. Solve 5*j = -2*s + 35, -11*j + 6*j + b*s = 0 for j.
5
Let p(r) = 2*r**2 + 9*r + 1. Let s be p(-4). Let l be (1/s)/(((-40)/(-96))/(-5)). Solve g + 4*m - 8 = -2*g, -2*m + l = -g for g.
0
Let p = 3335 + -3330. Solve 0*r + p*r = w + 14, 0 = -5*w - 2*r - 16 for w.
-4
Let c = 218 + -220. Let j be c*(3/2 + -6). Solve 0 = -b + 1, -2*b - 1 = 4*x + j for x.
-3
Let u = -5062 - -5064. Solve u*k + 4*t = 6, -9*k + 13*k + 6 = -2*t for k.
-3
Let l be (-170)/(-13) - (-112)/(-1456). Solve -l*s = 5*v - 17*s - 32, -2*v = -4*s - 20 for v.
4
Let n(g) = 141*g + 4*g**2 - 288*g + 4*g**3 - 2*g**2 + 144*g + 2*g**3. Let o be n(1). Solve 5*u + o*p + 35 = u, 0 = -5*u + 3*p - 16 for u.
-5
Let f(j) = j**3 - 12*j**2 + 6*j - 68. Let z be f(12). Solve 7*w + 2*m + 6 = 4*w, 0 = -z*w + 4*m - 8 for w.
-2
Let p = 720 + -716. Suppose p*b - j = 13, -5*j = -b + 30 - 22. Solve g - b*n + n + 5 = 0, 0 = -3*g + 3*n - 3 for g.
3
Let t = 813 + -774. Let r be t - 47 - (-7 + -1). Solve 9*z + 3*w + 6 = 7*z, w = r for z.
-3
Let y(v) = 226*v - 3. Let j be y(6). Let c = j - 2433. Let t be (2/(-10)*2)/(24/c). Solve 4*s = -2*o - t, 4*o + 24 = -2*s - 3*s for s.
-4
Suppose -235 = -382*j - 129*j + 787. Solve 0 = 2*a + 4*o + 10, -3*a + 0*a - 15 = j*o for a.
-5
Let q(u) = -u**2 - 5*u. Suppose 3*s + 7 = -8. Let d be q(s). Suppose 3*t + 8 = 4*y + 6*t, -5*y - 5*t + 10 = d. Solve -2*x - y*x = -i - 12, -i = 4*x - 4 for i.
-4
Suppose -3*k + 24 = 2*s, -4*s = -3*k - 0*s + 6. Suppose p - k*p + 2 = -c, c = 4*p - 1. Solve 35 = -5*u - c*w, -5*w - 48 + 19 = u for u.
-4
Let k(t) = 13*t - 14. Let p be k(0). Let s be (-4 + -5)/(21/p). Solve 0 = -5*q, -s*q + q = 2*d + 2 for d.
-1
Let x = 553 + -541. Suppose -4*t = -3*r + 16, 0 = -3*r + 7*r - 3*t - x. Solve r = 2*f - 2*g - 10, 0 = 4*f - 3*g - 5 - 14 for f.
4
Let u(h) = -6*h - 470. Let g be u(35). Let p = 682 + g. Solve 2*j - 3*f = -17, -j - 3*f = p*j + 3 for j.
-4
Let u = 13020 - 13006. Solve -3*w = -2*p + u, 2*p + 2*p = 3*w + 16 for p.
1
Let l = -11 - -15. Let f be 12 + -1*(20 + -13). Solve -4*t - 8*n - l = -4*n, -f*n = -10 for t.
-3
Let q(b) = b + 43. Let f be q(-35). Let s be (-6 + (-2)/(-4))*f/(-22). Solve -t - 3 = 1, -4*h - s*t = 20 for h.
-3
Suppose 5*p + q = 29, 8 = 2*q - 0. Solve 2*h - 24*i = -23*i - 3, -2*i = p*h + 30 for h.
-4
Let a = -36395 + 36411. Solve -l - a = -5*p, 4*l - p - 26 = -14 for l.
4
Let r = 58969 - 58967. Let w be (-2 - 0)/2*-9. Solve w = -i - 4*j, 6 = -r*i - j - 3*j for i.
3
Let g be 2/(-11) - (-230)/55. Suppose 2*z + 158 = -4*o, -g*o - 36 - 157 = -5*z. Let j = o - -43. Solve 0 = s - 3*l - l - j, s - 3*l = 0 for s.
-3
Let q = 180 - 163. Suppose -a + z + 17 = 5*z, 0 = -3*a + 5*z - q. Solve 0 = -4*b - f - a, 3*b - 2*f - 2 = b for b.
0
Suppose -7 = -v - m, -37*m + 34*m + 1 = -2*v. Suppose 3*k = v*w - 38, -82*k = w - 80*k - 15. Solve 0 = -4*b + 4*a + 8, -4*b + 3*a = -w for b.
5
Suppose 4*o - 430 = 2*o - 5*p, 5*o - 3*p - 1044 = 0. Let s be ((-1)/(-1))/(10/o). Solve 0 = -3*r + 2*l + s, r + 2 = -r - 4*l for r.
5
Suppose 2*k + g = 11, -k + 50 = 5*g + 13. Solve -k*d = -j + 5, -5*j + 21*d = 17*d - 25 for j.
5
Suppose 7*k + 2*i + 94 = 11*k, 5*i = k - 19. Solve 0 - k = 2*a + 5*j, 16 = -4*j for a.
-2
Let v(p) = -12*p**2 - 123*p - 26. Let z be v(-10). Solve -3*r - 5*q = 4, -2*q - z = -8*r + 10*r for r.
-3
Let h(r) = -4*r + 257. Let q be h(63). Solve 3*k + 29 = 3*l + 26, -27 = -3*l - q*k for l.
4
Let b(w) = -3*w + 16. Let f = 165 + -162. Let g be b(f). Solve -k = 3*s - 15 - 0, s + k = g for s.
4
Let s = -4694 - -4697. Solve -s*u + 9 = 2*w - 2, 1 = 2*w + u for w.
-2
Let i(g) = 107*g - 1913. Let v be i(18). Solve -s - 22*z + 17*z = v, -5*s = -z - 13 for s.
2
Suppose 0 = t + 3*t. Let a(x) = 2*x**2 + 20*x + 18. Let s be a(-9). Let v(z) = z + 3. Let w be v(s). Solve t = -3*y - u, -y + w*u = -u + 13 for y.
-1
Let d(c) = c**3 + c**2 + c + 2. Let t be d(0). Let b(m) = -m**2 - 128*m + 3652. Let a be b(24). Solve -t*u + a*n + 6 = 0, 0*u + 5*n - 25 = -4*u for u.
5
Suppose 1440*v - 1441*v + 4 = 0. Solve -v*c + 3*y - 50 = -70, -16 = -4*y for c.
8
Suppose -4*t + 261 = -2*j + 129, 0 = -5*t - j + 165. Solve -13 = 4*p + 2*x - 1, -5*p = -2*x + t for p.
-5
Suppose -35*l + 553 - 14 = 42*l. Solve -4*m = 2*p + 20, l + 11 = -3*m for p.
2
Suppose 1943 - 1922 = 7*v. Solve -4*l = 8*y - v*y - 4, -2*l + 12 = 5*y for y.
4
Suppose 0 = -y - 3*p + 28, 3*p = -y + 6*p - 8. Solve 2*a - 3*o + 2 = 0, -y*a + 9*a = -o + 2 for a.
-4
Let s(w) = w**3 + 2*w**2 - 13*w - 6. Let i be s(-8). Let j = i - -296. Solve 0 = -u - 3*c + j, -5*u + 0 = c + 6 for u.
-2
Let m = 2642 + -2642. Solve -5*p = -4*j - m*p + 26, 4*j + 4*p - 8 = 0 for j.
4
Suppose 4*f + 16 = 0, 3*h - 2*h - 2*f - 18 = 0. Suppose 0 = -5*l + 10*l - h. Suppose -l*g - 5*g = -14. Solve -2*u = g*d - 3*u + 7, -d - 2*u = -9 for d.
-1
Suppose -22 + 5 = 3*c - 4*y, -4*c + 2*y - 26 = 0. Let h = 13 + c. Let r = -31106 + 31128. Solve -3*p + 4*x = 12, 4*p + r = -4*x + h for p.
-4
Let g(t) = -t**2 + 4*t + 25. Let o be g(-3). Suppose -o*f + 2*s + 66 = 0, -4*f + 3*s + 81 = 6*s. Solve 3*x = n - f, 12 = 3*n - 3*x - 12 for n.
3
Let f(i) = i**3 - 13*i**2 - 12*i - 24. Let t be f(14). Solve 2*d - 2*z = -z + t, -3*z + 4 = 2*d for d.
2
Let k = -9877 - -9882. Solve 5*z = -3*q + 7, -5*z + 80 = -k*q + 105 for z.
-1
Suppose 7*h - 148 = -29. Suppose 2*j + 8*t - h = 11*t, -4*j = -4*t - 28. Solve -3*p + 4 = o, -2*o = -j*p - p + 25 for p.
3
Let h = -2217 + 2219. Solve 5*c - 16 = -n, -h*n - 12 = -5*c + 1 for n.
1
Let j(z) = -z**3 - 21*z**2 - 37*z + 22. Let v be j(-19). Suppose 13 = 9*q + 4. Solve 2*x + 4 = 3*l, -2*x - 3*l - q = v for x.
-2
Let f = -123 + 128. Suppose 5*p = -2*s - 17, -f*s + p - 6*p = 5. Solve -3*o - 4*b - 9 = 0, s*o + 12 = -4*b + b for o.
-3
Let b = 25447 - 25442. Solve -n + b = 0, -5*n = -7*x + 4*x - 25 for x.
0
Let n = 9882 - 9877. Solve 4*a + 3*z + 0 = -17, -n*z = 2*a + 19 for a.
-2
Let b = 19 + -104. Let i = b + 87. Solve -4 + i = 2*j + 4*n, -4 = -4*j - 4*n for j.
3
Let o(w) = w**3 + 8*w**2 + 4*w - 5*w**2 + 1 +