= 2*k for k.
0
Suppose 212 = 11*q + 179. Solve -g - 2 = d, -q*d + 2*g - 18 = -g for d.
-4
Suppose 15 = 7*s + 64. Let z(d) = -d**2 - 9*d - 9. Let i be z(s). Suppose -5*w = v + 18, -2*w - 2*w - 22 = -3*v. Solve -4 = -2*p, -v*n - i*p + 10 = -2*p for n.
2
Suppose 15 = -w + 20. Solve -w*l = -5*g + 25, -l + 5*g - 25 = -0*g for l.
0
Let n(u) = -u - 12. Let d be n(-14). Suppose -d*b - 8 + 8 = 0. Solve 28 = -r + 5*g, b*r + 2 = r + g for r.
-3
Let l(y) = y**2 + 41*y + 212. Let v be l(-35). Solve -4*g - v*c + 12 = 0, 3*g - 5*c - 9 = -4*c for g.
3
Let o = 13 + -10. Let a(x) = -x + 8. Let d be a(o). Solve -5*w = 25, 2*w = 2*q - 9 - d for q.
2
Let x be (-32)/(-4) + 4/2. Let a = -20 + 18. Let w be -1*a*(3 - 2). Solve -3*m - 23 = -2*n, -x = -3*n + w for m.
-5
Suppose -d = -6*d + 2*t + 36, -15 = -4*d - 3*t. Let c be d*3/81 + 172/36. Solve -3*l - 2*r - c = 0, 4*l - 2*r = -9 - 21 for l.
-5
Let t = -9 + 11. Suppose -5*g + 10 = 2*x, x = -t*g + 3 + 4. Let d = -7 + x. Solve 3*a + 4*m - 10 = 0, -5*m + 21 - d = 4*a for a.
2
Let p(c) = -c + 3. Let g be p(-9). Suppose 0 = -11*a + g*a - 4. Solve -a*q = -8*m + 4*m, 6 = 5*q - 3*m for q.
3
Let k(w) = 2*w**2 - 22*w + 56. Let t be k(7). Solve -4*i + 13 = -3*u, -5*i + 4*u + 16 = -t*i for i.
4
Let h be (3 + 0)*2/(-6). Let b(r) = -r**2 - 4*r + 8. Let a be b(-6). Let s = h - a. Solve -p = 2*x - 8, x - s*x = 4*p - 2 for x.
5
Let p(u) = -2*u**2 - 20*u - 30. Suppose -5*g - 3*a - 25 = -g, -5*a - 2 = g. Let b be p(g). Solve 5*z - 2*k = 16, -k + b + 2 = 3*z for z.
4
Let g be (-11)/(-2)*(-6 - -12). Let q = g + -26. Solve -h - q = -z, -2*z - 3*h - 5 = 3*z for z.
2
Suppose -3*l - 7 = 2*m + 285, 4*m - 262 = 3*l. Let z = l + 99. Solve 4*a + 3*q = -2 + 22, -z*q = 2*a - 24 for a.
2
Let p = 14 - 11. Solve 3*v - 13 = -2*h + 6, -p*h - 4*v = -27 for h.
5
Suppose 4*n + 2*m = m + 18, 5*n + 4*m = 28. Let y = 0 + n. Solve r + 3*r = -x + 1, 0 = -y*r + 3*x - 3 for r.
0
Suppose 5*u - 5*o + 12 = -8, 2*u + 10 = 3*o. Let i(s) = -2*s**3 - 6*s**2 - 6*s. Let p be i(u). Solve 3 - 2 = -a - v, 11 = 3*a - p*v for a.
1
Let k = 0 + 8. Suppose 0 = 3*j - k*j - d + 105, -3*j - d = -61. Solve j = -9*f + 4*f - c, 5*f = -3*c - 26 for f.
-4
Let r = -2835 - -2841. Solve -4*l + 4*c = r*c + 6, 2*l + 2*c = -8 for l.
1
Let f = -142 + 145. Solve f*v + 3*x + 14 = v, 5*x + 18 = -2*v for v.
-4
Let t = -35 - -73. Let s = t - 36. Solve 2*x - 2*k = x - 5, s*x + 2*k = 14 for x.
3
Let s(w) = 3*w + 31. Let u be s(-9). Suppose 6*b - 8 = u. Suppose o = 0, -6*c + 4*c = 2*o - 6. Solve -c*v - 2*q + 1 = -q, 2*v + 2 = -b*q for v.
1
Suppose -2*o + 3*o = -3*l - 2, o + 5*l = -6. Suppose -4*k - 68 = f, o*f - 44 = 3*k + 26. Let q = k + 29. Solve 3*g - 4*s + 24 = -q, -30 = 5*g - s for g.
-5
Let n be (-6)/(-27)*6*(-9)/(-6). Let v = 18 - 14. Solve v*k - 3*u = 8, -6 = -2*k - 5*u - n for k.
2
Suppose -1 = y, w - 5*y - 4 = 6. Solve 0 = -5*h - x + 4*x - 1, 0 = -w*x + 10 for h.
1
Let q be (-95)/(-38)*(-1 + 7). Solve 4*o + q = 3*v, -25 + 5 = -2*o - 4*v for o.
0
Suppose 0 = 40*o - 30*o. Solve -3*p + 11 = 4*f, -4*p + o*f + 3 = 3*f for p.
-3
Let y(r) = 12 + 0*r + 13 - 2*r. Let u be y(11). Solve h = u*f + 8 - 3, 2*f = -h for f.
-1
Suppose 0 = -3*n + 9*n - 48. Let p be ((-2)/(-3))/(n/228). Solve -f = 5*x + 8, -x - p + 7 = -5*f for f.
2
Suppose -h - 16 = -4*a, h = -2*a + 18 - 4. Let w(j) = j**3 - 4 + h*j**2 + 11*j - 11*j. Let i be w(-3). Solve -4*o - i + 6 = -5*x, -5*o = -5*x for o.
-1
Suppose -x = -16 + 13. Let j(p) = p**3 + 8*p**2 + 9*p + 6. Let m be j(-6). Solve 2*w = -3*t - t - m, x*t + 4*w + 28 = 0 for t.
-4
Suppose -664 = -o + 6*o + s, 2*o - 4*s = -248. Let z = 135 + o. Solve 2*y = z*b - 11 + 3, 2*y + 12 = 5*b for y.
-1
Let q(t) = t**2 - t. Let c = -8 - -4. Let s be (-8)/6*(-6)/c. Let v be q(s). Solve 2*m = 2*h + 2*h - v, 2*m = -5*h + 12 for h.
2
Suppose i - 4*i - 2*w + 6 = 0, -2*i = -2*w - 4. Suppose 5*m - 2*c = i, -4*m - 2*c = c + 3. Solve m = -3*y - 5*x - 21, -4*y + 7*x - 2*x + 7 = 0 for y.
-2
Let v(s) = -s - 7. Let d(r) = -3*r - 13. Let u(a) = 2*d(a) - 5*v(a). Suppose -2*o = -0*o - 14. Let g be u(o). Solve -g*f + m = -3, 2*m + 5 = 5*f - 5 for f.
4
Suppose 239*s - 195*s = 176. Solve 0 = 4*o - 4*a + s, 4*o + 8*a = 4*a + 12 for o.
1
Let n be (-100)/(-26) + 2/13. Suppose -n*v + 2*v - 140 = 0. Let l be (4/(-5))/(14/v). Solve -l*p + 3 = -5*g, 3*p + 5*g = 4*p + 3 for p.
2
Let x = -51 + 59. Solve -x*i + 4*i + 28 = 4*t, 4*t = -2*i + 18 for i.
5
Suppose 0 = 5*k - 5*c - 20, -k + 30 = c + 16. Solve -5*a - o - 1 = -k, -5*o + 20 = 5*a for a.
1
Suppose -2*z = 4*y - y - 210, 0 = 3*z. Suppose -69*s + y*s = 10. Solve 3*o + o = -u + s, 4*o - 16 = -4*u for u.
2
Let r be 14/35 - 46/(-10). Solve 4*n + 3*m - 8 = 0, -3*n - r*m + 2 = -15 for n.
-1
Let b be (8/(-20))/(2/(-140)). Suppose -5*d = -7*d + b. Solve f = 4*f + p - d, -3*p + 2 = -f for f.
4
Suppose 2*g + 3*m - 12 = 0, 5*g - 18*m - 4 = -19*m. Solve i - 5*z + 3 = 0, 4*i - 5*z + 3*z - 6 = g for i.
2
Suppose 7*a - 198 = -4*a. Suppose 0 = -k - 8*k + a. Solve k*y + 3*y = 5*z - 15, 3*z - 19 = -2*y for y.
2
Let f be 5*((-10)/25)/(-1). Solve -2*m + 2*p - 19 = -p, 19 = -5*m - f*p for m.
-5
Let d be (-4)/14 + (-1792)/(-784). Solve -2*j - 2*v = -0*v - d, -4*j + v = -24 for j.
5
Suppose -2*h - w - 1 = 0, h = 5*w - 19 + 46. Solve 2*z + 2*t = h, 0 + 1 = z - t for z.
1
Suppose 74*a + 79 = 449. Solve -5*k + 5*q = -10, 5*q = a*k + 10*q + 40 for k.
-3
Let y(l) = 5*l**2 + 35*l - 22. Let r(n) = 2*n**2 + 12*n - 7. Let g(p) = 8*r(p) - 3*y(p). Let b be g(8). Solve 20 = 2*q + 5*j - 4, 3*q = b*j - 2 for q.
2
Let p(g) = -3*g**3 + 4*g**3 - 6*g**2 - 3*g**2 + 18*g - 12 - 8*g. Let v be p(8). Solve 3*y + 2*x - 1 = 12, v*x = -5*y + 21 for y.
5
Let t = 21 - 15. Suppose 3*c + d - 23 = 0, -t*c + 36 = -c + 4*d. Let u be (c - -3)*(2 - 0). Solve 3*s = -3*z + 6, -4*s = -5*z - s - u for z.
-2
Let i be 6/(-39) + 335/65. Let f(r) = 2*r - 5. Let x be f(i). Solve 1 = -5*j + 3*l + 6, -10 = -x*j + 4*l for j.
-2
Let a be (4 - 5) + 8 - 8/(-2). Solve 3*m = 4*l + m, -l - 5*m + a = 0 for l.
1
Let o be (-4)/(-2) - (-8 - -8). Solve -5*n - o*q + 21 = 0, 0 = -2*n + q - 0*q + 3 for n.
3
Let n(q) = q**3 + 17*q**2 - 58*q + 42. Let k be n(-20). Solve -3*v + k*b + 3 = 5*b, 2*v - 2*b = 6 for v.
2
Let l be (-26)/(-65) + (-6)/(-10) - -1. Solve q - 5*t + 26 = 0, -l*q - q = 2*t - 7 for q.
-1
Let a be 0 + (-1 - (10 + -5)/(-5)). Solve a = -4*h - 2 - 14, -5*i = 3*h - 13 for i.
5
Let d(k) = -k**3 + 8*k**2 - 15*k + 2. Let h be d(5). Let i = -8 - -10. Solve h*s - 8 = 0, -3*b + i*s - 12 = -b for b.
-2
Let s(z) = z**3 - 2*z**2 + z - 1. Let v be s(2). Let j = -53 + 57. Suppose j*l - 134 = -118. Solve p + l*w + 6 = 5, w + v = 0 for p.
3
Let a be (24/8)/((-3)/(-2)). Solve -11 = 2*y - 3*u, 2*u = -a*y - u + 7 for y.
-1
Let g = -1042 - -1046. Solve -2*p = -2*k - g - 10, 0 = 2*k + p + 8 for k.
-5
Let g(n) = n**3 - 4*n**2 - 3*n - 5. Let z be g(5). Solve 2*h = -z*w + 31, -4*h + 6 = 5*w - 31 for w.
5
Let a be (-28)/(-42) - (-20)/(-3). Let n be 1 + a/(12/(-4)). Suppose 0 = v - n - 3. Solve 0*k = -h + 3*k + 5, 0 = -2*k - v for h.
-4
Let a be (-1 - -2) + (-1)/1. Suppose -160 = 5*f + 45. Let j = -39 - f. Solve -j*g - 4*i = 6, 5*g + 5*i = -a*i for g.
3
Let c be ((-35)/(-15) + -1)/(4/18). Solve c = y + j, -10 = y + 5*j - 32 for y.
2
Let k(v) = 4*v + 7 - 2*v**2 - 2*v + 0*v**2 + 9. Let x be k(0). Solve -2*c = 2*r + c + 7, -x = -r + 5*c for r.
1
Suppose 15 = 5*z - 0*z. Suppose 4*t + 3*t = 14. Solve 0 = z*r - 3*l, -t*r + 2*l + 2*l - 10 = 0 for r.
5
Let t = -30 + 32. Let f be ((-1)/(-4)*0 - 0) + t. Solve 4*z - 8 = o - 5*o, -f*z = -3*o + 6 for o.
2
Let t be (3/6 + 1)*44/(-33). Let r be (28 - t - 0)/((-6)/(-3)). Solve -3*n - r = v, -5*n + 2*v = -2 + 16 for n.
-4
Suppose 3*d - 6 = -6. Solve -12 = -2*s - 2*n, n + d*n = 3*s - 2 for s.
2
Let o = -554 + 559. Solve r = -2*h - r + 6, -o*r + 25 = 0 for h.
-2
Suppose -2*y + 25 = -5*z, -z = -4*y - y + 5. Suppose -4*g - 45 + 61 = y. Solve 9 + 9 = k + 5*t, g*t = k + 9 for k.
3
Suppose 0*h + 15 = 5*h. Suppose -f + 36 = 2*f - h*s, -f = -4*s - 6. Solve -j - f = -3*n, -3*n + 0*n = -9 for j.
-5
Suppose -6*t = -7*t + 7. Suppose 4*y + t - 15 = 0. Let j be 75/(-10)*2/(-3). Solve -q + 8 = j*a - 6, 3*q - 8 = y*a for q.
4
Let i be 35/10*24/14. Let j be 148/814 + -3*36/(-11). Solve -2*d + 2*k = 2, 2*d - 4*k + i*k = j for d.
2
Suppose 