5*k - 2*k for k.
-2
Let t(n) = -2*n**2 + 11*n - 12. Suppose 518*c - 519*c = -3. Let r be t(c). Solve z - 1 + 10 = r*k, 2*k = -5*z + 23 for k.
4
Let q(k) = 6*k**2 + 16*k + 26. Let x(n) = 7*n**2 + 17*n + 26. Let l(h) = -6*q(h) + 5*x(h). Let c be l(-6). Solve 5*w - 5*d - 3 = -28, 20 = -c*w - 2*d for w.
-5
Let v(q) = 187*q + 586. Let r be v(-3). Solve 3*f - 4*t = -23, 0 = 36*t - 41*t + r for f.
-1
Suppose 4*c - 8 = 0, 2*c - 14 = -4*w + c. Let p be (w - 2)*-2 - (-8)/4. Solve 3*h - 4*h - 5*t = -23, -t + 4 = p for h.
3
Let q = 84 + -81. Suppose 10 = 5*z - 2*i, 2*z - 5*i + q = 7. Suppose 2*v + 0*x + 3*x = z, 3*v - 22 = 5*x. Solve -5*d = -h + 1, -d = h + v*d - 1 for h.
1
Suppose 2*o + 0*o - 4 = -h, -3*h = o + 3. Suppose 138 = -5*q + 3*i, -i = -o*q + 4*i - 70. Let a = -25 - q. Solve -4*c + 23 = s, -c - 5 = -5*s + a for c.
5
Suppose -56*m + 63 = -35*m. Suppose -7*h = m*h - 190. Solve 3*f - 2*y - 1 - 12 = 0, h = 3*f + 4*y for f.
5
Let q be (4 - -6 - 16)*10/(-3). Suppose -4*t + q = c + 3*c, 0 = 5*t. Solve -c*y = -4*l + 19, -y + 6*y = -l - 14 for l.
1
Let x = -124 - -116. Let a(h) = -2*h**2 - 18*h - 5. Let p be a(x). Solve 4*d - p = -0*d - 3*m, 0 = 3*d + m - 7 for d.
2
Let f be (2/(-1))/((-8)/(-124)). Let g = f + 33. Suppose 0 = -g*o - 5*u - 23 + 6, 4*o + 5*u + 9 = 0. Solve i = -4*v + o, -16 = -4*i - v - 4*v for i.
4
Suppose 2*u - 5 = -l, 5*l = 6*u - 0*u - 23. Let d be (9/6)/(12/16). Solve 5*t + 3*k + d = -u, -4*t - 2*k = 6 for t.
-4
Let j(l) = 0*l**3 - l**3 + 5 + 7 + 11*l - 9*l**2. Let a be j(-10). Let k = 2004 - 1967. Solve k = 5*q + 4*v, a*q + q = 5*v for q.
5
Let b(k) = k**2 + 14*k + 10. Let d be b(-13). Let w be -1*(0 - -1) + d. Let v be (0/(-2))/(w - -8). Solve t + 3*t + 12 = v, -11 = g + 4*t for g.
1
Let b be 7 + (-1 + 4 - 6). Let n be (35 + 0)*66/55. Let p = -32 + n. Solve -4*s - b*u - p = 2, -5*u = -s + 3 for s.
-2
Let i(x) = 15*x**2 + 12*x - 2. Let h be i(1). Let c(l) = 5 + 6 + 6*l - l**2 - 7 + 3. Let u be c(7). Solve t + m = 6*m - h, u = -t - m + 5 for t.
0
Let d(m) = -14*m - 176. Let r be d(-13). Suppose 3*x = -3*q + r, 0*q + 5*q = -15. Let t = 110 - 75. Solve x*w = -5*a + t, -a - a = -4 for w.
5
Suppose -2 - 2 = -2*m. Suppose -3*g - 8 = -k, 4*g - 10 = 2*g. Suppose 2*q - 15 + k = -f, -3 = -4*f - q. Solve 0 = -u, 3*c + m*u + f = 4*c for c.
2
Let h(s) = -s**3 - 14*s**2 - 23*s + 31. Let k(w) = -w**2 - 17*w - 54. Let r be k(-14). Let t be h(r). Solve -5*x + t = 3*z, -4*z - 10 = -9*z - 4*x for z.
-2
Suppose -2*q - 2*q + 40 = 0. Suppose 0 = -5*s + 25, 3*j - 8*j + 30 = s. Solve q + 10 = -j*d - 5*c, 0 = d - 4*c - 16 for d.
0
Suppose -110 = -9*o - o. Let d(k) = k**3 + 5. Let h be d(0). Let y = -14 - -14. Solve -3*b - 2*b - p = h, 3*b - p + o = y for b.
-2
Suppose -3*r + 201 = -2*r + w, -w = 2*r - 407. Suppose -6*p + 126 = -3*p + 3*o, -5*p + r = 3*o. Solve -4*k - 32 = -3*t, -2*t + p = -4*k + 3*t for k.
-5
Let o = 53 + -4. Suppose -5*f - 80 = -3*x + 62, 5*x - 4*f = 228. Let n = o - x. Solve -5*i = -25, -5 = -n*t - 3*i + 5 for t.
-1
Let b(n) = -n**3 + 27*n**2 - 5*n - 527. Let d be b(26). Solve 36*k = -y + 35*k + 5, 0 = 4*y + 3*k - d for y.
4
Suppose 0 = 3*f + 2 - 11, -5*f = 3*c + 240. Let n = 90 + c. Suppose -p + n*r + 28 = 0, 3*p - 2*r + 4*r + 1 = 0. Solve -4*a + p*a - 11 = 5*u, -3*u + a = 5 for u.
-2
Let s(m) = 30 - 8*m - 24 - 8 - 10. Let w be s(-2). Solve -5*v = -w*i + 17, -5*i - 3*v + 15 = 3 for i.
3
Let r = -19149 + 19151. Solve 3*j = -m + 7, 0*j + 4 = -r*j - 5*m for j.
3
Let l = 135 + -62. Suppose 974 = 15*r + 284. Let t = l - r. Solve 4*o = -5*m - t, 5*m + 2 + 16 = -o for m.
-3
Suppose -3645*s + 3788*s = 74360. Solve s*q - 523*q + 10 = k, -k = 2*q - 8 for k.
4
Suppose 5*m + 5*a = -0*m + 10, 10 = -2*m + 5*a. Let o be (m/(-2)*4/(-4))/(-2). Solve o = -4*i + 4*t - 4, 4*i - 2 = 2*t + 4 for i.
4
Suppose -5*s - 45 = 0, -5*d - 5*s = -6*d + 49. Solve 61*r + 3 = 58*r - 3*k, d*k = 3*r - 25 for r.
3
Suppose -77*u + 75*u = -4*z - 12, -3*z - 8 = -u. Solve -4*l - a + 8 + 7 = 0, -a + 5 = u*l for l.
5
Let o = 648 + -647. Suppose -p + 2 + o = 0. Solve -7*v + 4*v = -p*c + 18, -3*c - 5*v + 2 = 0 for c.
4
Suppose -6 = -q + 3*p, 2*q - 4*p - 4 - 6 = 0. Let z = -64 + 68. Solve 5*v - c - q - 1 = 0, 4*c = -z*v - 16 for v.
0
Suppose -242*t + 494*t - 7056 = 0. Solve 2*f = 5*w - 2*f - t, 5*f + 2 = -2*w for w.
4
Suppose u - 4*u = -87. Let p = 43 - u. Suppose -15*f = -p*f - 4. Solve 5*m - 3*m - 28 = f*t, 3*t + 3 = -3*m for m.
4
Let k(r) = 8*r - 3. Let u be k(6). Suppose 0 = -5*w - 248 + 33. Let n = u + w. Solve -3 = c, -5*c - n = -y + 9 for y.
-4
Let o(x) = 0*x + 14 - 3*x + 2*x - 18. Let f(y) = 1. Let i(q) = -2*f(q) + 2*o(q). Let u be i(-7). Solve -2*r + 3*r - 2*g + 14 = 0, 32 = -3*r + u*g for r.
-4
Suppose 0 = -3*l + 4*l. Let t(j) = j**2 - 36*j + 101. Let g be t(3). Solve 0*x + 4*x = 20, l = g*k + 5*x - 19 for k.
-3
Let r be (-248)/(-14) - (4 + 90/(-21)). Suppose -2*c = -5*b + 55, 0 = -2*b + 4*c + 4 + r. Suppose -b*s = -5*s - 6. Solve -j + 8 = -k, -k = 2*j + s - 2 for j.
3
Let t(m) = -361*m - 2163. Let u be t(-6). Solve 4*d = -0*s - 2*s - 10, -5 = u*d + s for d.
0
Let t(l) = -l + 2. Let k be t(-4). Let q(z) = 3*z - 13. Let f be q(k). Suppose 39 = f*y + 14. Solve -y*s + 15 = 5*p, p + 5*s = -2*p + 17 for p.
-1
Suppose 114 = 6*p + 5*o, -5*o + 0 + 30 = 0. Solve r - b = 12 - p, -r - 10 = 3*b for r.
-4
Let x be -5*(-1)/10*4. Suppose 3*v = -x - 7. Let a be -2 + v*8/(-12). Solve -5*n - f + 18 = 0, a = -n - f - 0*f + 6 for n.
3
Let m(g) = g**3 - g**2 + 10*g - 21. Let n be m(2). Solve -9*x + 2*t - 6 = -10*x, n*x + t = -2 for x.
-2
Let n be (0/(-3 + -3))/(-4). Suppose n = -6*f - 12*f + 54. Solve -4*k = -f*r - 0*r + 14, 4*k = -20 for r.
-2
Suppose 0 = -m + 9*m + 4*m. Suppose m = -7*d + 3*d + 8. Solve 0 = d*g - 0*g - 4*z - 12, -2*g - 5*z = 24 for g.
-2
Let s(f) = -f**2 - 180*f - 353. Let w be s(-2). Solve 5*c + 4*k - 6 = 0, 5*k = 5*c + w*k - 12 for c.
2
Suppose -333 = 7*n - 452. Solve 4*g = -2*k - 3*k - n, 3*g - 16 = 2*k for g.
2
Let l = 227 + -182. Suppose -3*v + l = -9. Solve -3*h - v = -2*r + 1, -3*r + 2*h = -21 for r.
5
Let z(v) = v**2 - 6*v + 3. Let b be z(6). Suppose 5*f - b*w + 1 - 2 = 0, 5*w - 25 = -5*f. Solve d + n - 1 = 0, 13 = -f*d - 2*n + 5*n for d.
-2
Let o(c) = -c**3 + 8*c**2 - 5*c - 9. Let n be o(7). Let x(q) = -n*q + 7*q - q + 0*q + 13. Let k be x(-6). Solve 0*m - 5*m - 2*r + k = 0, -6 = -m - 5*r for m.
1
Let g = 1953 + -1941. Solve -21*u + 26*u + 3*z + 4 = 0, -3*z = -3*u - g for u.
-2
Suppose -3*v = -4*f + 18, 0 = -4*f + f + 2*v + 13. Suppose 2*i = -k + 23, 0 = 5*k - f*k - 3*i - 53. Solve 5*o + 5*n - n = -5, -2*o + 3*n - k = 0 for o.
-5
Let k be -12 + 5 + (-4)/1. Let v = -44 - k. Let q = v + 54. Solve 3*c = -3*a + q, -4*a + 4*c = c for a.
3
Let y(c) = 10*c - 32. Let w(g) = 8*g - 33. Let h(k) = 4*w(k) - 3*y(k). Let p be h(19). Solve 3*j + 4*o = j - 14, -o = -p*j + 11 for j.
3
Suppose -n + r = 0, 5*n + 9*r = 6*r + 24. Let b(i) = i**2 + 9*i - 16. Let j be b(-12). Solve 4*x + j = 0, 4*x = n*q - 22 - 1 for q.
1
Suppose 306*j + 80 = 326*j. Let y be 1/((2/(-2))/(-5)). Solve -y*l + 9 = -j*h, -2*h - 1 = 2*h + 3*l for h.
-1
Suppose -u - 2*u = 2*n + 35, -4*u - 5*n - 56 = 0. Let x be 3*(-13)/u*3. Let j(v) = v - 11. Let y be j(x). Solve 0 = y*m - 2*b + 12, -4*b + 2 = -3*m - 21 for m.
-1
Suppose -124 = -2*b - 2*b. Suppose -13*t - 9 = -22. Suppose 0 = -3*c - 2*i + b, i = 3*c - 3*i - t. Solve 3*x = -2*q - 1 + 12, -x = -q - c for q.
-2
Suppose -162*o + 157*o + k = -33, -o + 13 = 3*k. Solve -2*b + o*r = 2*r + 28, 5*b + 40 = 5*r for b.
-4
Suppose -1820 = 19*a + 16*a. Let x be 8/52 - (-8)/a. Solve 0 = -3*q + 3*n + 2*n, 4*q - 2*n + 14 = x for q.
-5
Let a(b) = -b**2 + 14*b + 53. Let d be a(-3). Solve 0 = -q + o - 4, -d*o = -5*q + 3 - 17 for q.
-2
Let b = 49 + -45. Suppose 0 = -4*a + d + 4*d + 15, -b*d + 4 = 0. Solve -t - a*i = -16, -2*t = -5*t - 4*i + 15 for t.
1
Let t be (6 - -1)/(-5 + 6). Solve 0 = 2*j + 2*f - 10, 2*f - t = 2*j + 3 for j.
0
Let y = 9 - -27. Let r(o) = o**3 - 16*o**2 - 12*o - 54. Let g be r(17). Let a = y - g. Solve -3*l + 14 = -2*q, q + 2 = -2*q - a*l for q.
-4
Suppose 26*d = 915 + 6391. Let o = d + -278. Solve 3 = 4*x + o*p, -x + 4*p + 3 = -4*x for x.
3
Let a(g) = -62*g**2 - 6*g - 1. Let k be a(-3). Let i = -511 - k. Solve -25 = 6*w - w, -5*w = 5*o + i for o.
-1
Let j be (