 2*k - 2 = 0, 4*k + 1 = 5*k for l.
0
Suppose -3*k + 6 = 4*o - 2*o, 1 = 4*k + 5*o. Suppose 4*n + 3*c = 13, 7 + 4 = k*n + 5*c. Solve -n*y + 9 = -2*u - u, y - 4 = -u for y.
3
Let a be (-46)/(-11) - (-6)/231*-7. Solve g + 7 = a*h, -g + 10 = 4*h - 3*g for h.
1
Let w = 40 - 37. Let h be 2/((-7)/(-2) - w). Solve 3*y - 4*z = 2*y - 3, h*z = 4*y - 12 for y.
5
Let s be (3/(-2))/(3/(-30)). Let m = 18 - s. Suppose -10 - 24 = -m*f - b, f + 3*b = -2. Solve 0 = -p + 3*c - f, 0 = -2*p - 3*c + 1 for p.
-4
Suppose -15 = -3*m + 51. Let c be 25/9 + m/99. Suppose -2*j - y + 60 = 0, c*y + 12 = j - y. Solve 0 = 3*r + 4*o - j, 24 = 4*r - 2*o + 4*o for r.
4
Suppose -23*k + 450 = 52*k. Let z(o) = -2*o - 3. Let c be z(-5). Solve -4*t + 3*q = -c, 0 = -3*t + k*q - q + 19 for t.
-2
Let n be -4*((-10)/8 + 0). Suppose -142 = -t - 17. Let v = -118 + t. Solve 4*q - 21 = d, n*q = 4*d + v*q - 6 for d.
-1
Suppose 5*u = 38 - 128. Let v = u - -25. Solve -5*x + 13 = 4*f + 2, -3*x - v = -f for f.
4
Suppose -2*g + 7*g - 120 = 0. Suppose -7*l + g = -l. Solve -2*n = -p + 5, -l*p + n + 3*n = 0 for p.
-5
Let j(h) = 38*h + 4. Let x be j(2). Suppose -x = -5*k + k. Suppose 4*u = -0*u + k. Solve -19 = -4*s + 5*g, 4*g = -u*s - 0 - 7 for s.
1
Let u(n) = -18*n**3 + n - 1. Let d be u(1). Let y be d/54 - (-10)/3. Solve -3*m + m = 2*c + 2, 4*c = -y*m - 7 for c.
-4
Suppose 0 = 8*f - 4*f. Suppose o + f*o - 30 = 0. Solve 0 = -j + 5*z - 0*z - o, 0 = -4*j - 4*z for j.
-5
Let j(f) = 12*f + 226. Let a be j(-18). Solve 4*t = -3*d + a, -1 = d - 3*t + 13 for d.
-2
Let r = 11 + -7. Let w be 8 + (r - 40/5). Solve -w*v = 3*m - 7, 5*m = -4*v - v + 10 for v.
1
Let c = -12 + 35. Suppose -3*i + 24 = i - 4*w, -21 = -4*i + w. Solve -r = r - n - i, n - c = -5*r for r.
4
Suppose d = 13 - 24. Let p = d + 49. Solve 0 = 5*z - 5*h + 15, 4*h + p - 10 = -4*z for z.
-5
Suppose 3*p - 18 = 6. Suppose -26 = -p*a + 14. Solve 10 = 2*s - h, 0 = -s + a*h + 4 + 19 for s.
3
Let b be -9 + -1 + 23 + -10. Solve 2*g + 7 = -5*r, b*g = -5*r + 4*g - 4 for r.
-1
Suppose 5*r - 15 = 30. Solve -1 = -2*n - 5*b + 5, -3*n = 2*b - r for n.
3
Let m = -13 - -17. Suppose m*d + 38 = -42. Let q = d - -49. Solve -3*u = k - 0*k - 11, 2*u = -5*k + q for u.
2
Let s = 287 - 275. Solve -5*h = 2*i - 4*i - 7, s = 4*h for i.
4
Let q = 55 - 53. Solve 5*z = 5*x - 25, x - 1 = -q*z - z for z.
-1
Let a be ((-105)/91 - -1) + (-264)/(-26). Solve 0 = -2*w - 8, -w - 3*w = -2*m + a for m.
-3
Let t(m) = m**2 + 6*m + 4. Let a be t(-2). Let l = 0 - a. Solve -q = 4*o - l + 15, -2*o = -3*q + 9 for o.
-3
Suppose v - 2*d = -d + 5, -2*v + 12 = -4*d. Let j = v - 1. Suppose j*u = 8*u. Solve -15 = -5*x - 2*h - h, u = -3*x + 5*h - 25 for x.
0
Let z = 11 + -18. Let w(x) = -x**2 - 8*x - 5. Let g be w(z). Let j(s) = 3*s + 1. Let y be j(1). Solve y*v = -g*o - 4, -2*o = 4*v + 3*o + 4 for v.
-1
Let i(c) = -c**3 + 4*c**2 - c + 4. Suppose -4*o + 2*t + 4 = -2*t, -3*t + 21 = 3*o. Let r be i(o). Solve 4*d + 3 - 19 = 2*k, r = d - 3 for k.
-2
Let r be (72/(-2))/((-36)/18). Suppose -r = 3*g + 9. Let n = 38 + g. Solve -3*z - n = -4*i, -i + z = -2*i + 2 for i.
5
Let r(n) = n**3 + 14*n**2 - 35*n - 8. Let m be r(-16). Suppose -3*y = -9 - 0. Suppose 0 = -0*d - y*d + 15. Solve 5*c = -d*b + m, 5*c = 1 + 24 for b.
3
Suppose x = -5*f + 5, -3*x - 1 = 5*f - 6. Solve 0 = -4*i - 5*c - 3, -4*c + 3*c - f = i for i.
-2
Suppose a - 5*w - 2 - 8 = 0, 4*a - w = 2. Suppose a = 10*g - 9*g - 5. Solve -g*u + 2 = -0*k + 2*k, -3*k = -3*u - 3 for k.
1
Let o = 103 + -102. Let x(l) = -17*l - 20. Let d be x(-2). Solve 3*t + d = -3*a - o, 2*a = -t - 6 for t.
-4
Let j(x) = 2*x**2 - 17*x + 28. Let o be j(2). Solve -24 = -3*c + 4*p, -o*c + 2*p + 7 = -7 for c.
4
Let g be 6 - ((-1)/1 - -2). Let t be 82/14 + 200/175. Solve -4*p + 45 = g*b, 3*p - 2*b - t + 2 = 0 for p.
5
Suppose -57*s + 2 = -56*s. Solve 0 = -2*o - 4*n - 10, 0 = -s*o - 7*n + 8*n for o.
-1
Let j be ((-6)/(-5))/(-3*(-6)/90). Solve -5*h - 2 = -3*s, -4*h + 5*h = -5*s - j for h.
-1
Let l(b) = -b**2 + 26*b - 39. Let c be l(24). Solve 0 = -n - 4*a - c, 4*a = 3*n + 2*a + 13 for n.
-5
Let m be 86/18 + (-32)/(-144). Suppose 21 = m*g - 2*n, 3 = -n - 0. Solve 2*u = -2*s + 2, -2*u - g*s - 13 = -6*s for u.
-2
Let i = -14 - -16. Let l(o) = -o**2 - o. Let k be l(0). Solve k = d - h + 9, 2*d + i = 2*h - 4*h for d.
-5
Suppose 2*n + 4*d = 12, 1 = -n - 5*d + 10. Let p = 8 - n. Suppose p = 3*x - 2. Solve 2 + 0 = -j, 0 = 2*y + x*j for y.
2
Let n(t) = -t + 9. Let c be n(8). Let q = 26 + -16. Solve q = 3*s + u, 3*u - 13 + c = 0 for s.
2
Let g = 5 + -8. Let x be 4/g*(-21)/14. Solve -4*d = -5*o + 18, 4*o - 2 - 2 = -x*d for o.
2
Let r(k) = -k**2 - 16*k + 21. Let b be (-34)/((10 - 4) + -4). Let c be r(b). Let w be 3*(4/6 + 0). Solve 0 = c*t + 5*p + w, -4*p + 5 = t for t.
-3
Let j(a) = 8 + 6 + a - 6. Let n be j(-4). Solve -n*l + 0*r = 4*r - 16, -l - 3*r + 8 = 0 for l.
2
Suppose 12*o - 648 = 4*o. Let t = 83 - o. Solve 0 = j + t*a + 2*a, -j = 5*a for j.
0
Let z(u) = 2*u + 8. Let x be z(-5). Let p be (3 + 0)/(-3)*x. Solve 3*a - 12 = -p*c, -12 = -4*a + a + 5*c for a.
4
Suppose -39*b - 75 = -54*b. Solve 14 = 4*u - 2*m, 3*u - 1 - b = -3*m for u.
3
Let r be 6/((-9)/(-3)) + 10 + -8. Solve -r*b + b = 3*h + 15, 6 = -2*h + 2*b for h.
-4
Let d = 232 + -232. Solve 5*s - s = j, 2*s + 2*j + 10 = d for s.
-1
Let a be (-14)/(-3) - (-8)/(-12). Suppose 608*g - 16 = 600*g. Solve f - z - 10 = -g*f, -10 = -a*f + 2*z for f.
5
Suppose -7*w + 545 = -15. Suppose -20 - w = -5*q. Solve 2*j + 3*b = b + q, -2*b + 35 = 5*j for j.
5
Suppose -a - 4*a + 120 = -5*t, 20 = -5*t. Suppose 7*u = 3*u - 2*n + a, -3*u - 2*n + 17 = 0. Let b = -83 + 83. Solve r + k - 2 = b, 10 = 2*r + u*k + 2*k for r.
0
Let q(b) = b**3 - 4*b**2 - 4*b. Let p be q(5). Suppose 51*l - 52 = 38*l. Solve k + l*r + 22 = -0*k, -p*k + 3*r = -5 for k.
-2
Let v(u) = -u**2 + 11*u - 10. Let l be v(10). Suppose l = -m + 2 - 4. Let o(h) = h**2 - h - 2. Let f be o(m). Solve -3*x + 0*x - 14 = 5*j, f*x - 4*j = -8 for x.
-3
Suppose 3*f + f + 3*p = 813, 414 = 2*f + 4*p. Suppose 0 = -204*u + f*u. Solve 2*g + o - 3 + 5 = 0, 5*o + 10 = u for g.
0
Let s = -14 + 26. Let x be -4 - 3/(s/(-16)). Solve 2*q + 2 = 4*c - 4, -3*c + q + 5 = x for c.
2
Let t(b) = -b**2 - 3*b + 3. Let r be t(0). Suppose -r*o = 3*p, 2*p + 0 = o + 9. Solve g = -p*u - 1, -10 + 0 = -2*g for u.
-2
Let l be 124/31 + 19 + -1. Solve l = -5*w + 2*w + 5*g, 0 = 5*w - 3*g + 26 for w.
-4
Suppose w + u = 6, -3 = -2*w - 5*u + 21. Suppose 2*y - 26 = -4*n - 6, 0 = -n + y + w. Solve 0 = n*r + a + a - 10, 5 = r + 3*a for r.
2
Let k = 1294 + -1292. Solve -l = -4, k*o + 5*l = 17 + 9 for o.
3
Suppose -4*a + 2*q = -2, -31 = -2*a - 29*q + 24*q. Solve c + 18 = 3*o, 4*c + 0*o + a*o = 3 for c.
-3
Suppose -3*z = 1 - 10. Let a = -659 + 664. Solve -z*d - 6 = -5*y + 14, 0 = a*d for y.
4
Let p be 6/(-21) - (-18)/14. Solve -2*m - p = -5, 5*f + m = -3 for f.
-1
Let d(w) = w**3 - 2*w**2 - 2*w - 3. Let c be d(3). Let o be ((-5)/(-15))/(1/(-21)). Let l = 11 + o. Solve c = p + 4*y - l, -7*p + 2 = -2*p + 2*y for p.
0
Suppose -3*s + 53 = -p - 4*p, -25 = p + 3*s. Let k = p + 23. Solve b + 4*d = k, 4*b = 3*d + d for b.
2
Let d(w) = w**3 + 12*w**2 - 3*w - 24. Let o be d(-12). Solve -o = -3*f - z, 4*z - 9 = f - 0*z for f.
3
Suppose -21 = -1392*x + 1385*x. Solve 2*j + 5*k = -7, k = 5*j - x*j + 1 for j.
-1
Let q(d) = d**2 - 13*d + 5. Let h be q(13). Suppose h*u = 4*g + 22, 0 = -u - u + 3*g + 6. Solve 2*r - x + u = 0, 5*r + x + 15 = 3*x for r.
-3
Suppose 6*z = 3*z + 3. Let x = 1 + z. Let p be 2*(-6)/8*-10. Solve -3*c - v - p = 4*v, 3*c + 6 = -x*v for c.
0
Let v be -17*(1 + -4)/3. Suppose -4*t = 5*k + t - 5, -3*k - 5 = 5*t. Suppose -13*h = 5*h - 54. Solve -9 = j - 0*j + h*i, 0 = -j - k*i - v for j.
3
Let r(c) = -c**3 + 10*c**2 - 5*c - 5. Let k be r(8). Suppose 2*f = -5*v - 231, -v - f - 2*f - 41 = 0. Let b = k + v. Solve -y = 4 - 8, -5*g + 4*y - b = 0 for g.
-4
Suppose 0 = -2*s + q + 13, -4*q - q - 29 = -s. Suppose s*j + 16 = 8*j. Solve -5*m + 30 - 7 = -z, j*z + 2*m - 18 = 0 for z.
2
Let m(l) = 5*l**2 + 2*l + 2. Let j be (11/11)/(1 + -2). Let z be m(j). Solve -h + 2*x = -0 + z, -15 = 4*h - 3*x for h.
-3
Suppose -3*q - b = -13, -q + 2*q + 5*b = 23. Suppose 4*c - p - 5 = 0, p = q*c + 2*c - 7. Solve -4*f + c*k - 4 = -0*f, 16 = -4*k for f.
-3
Suppose 19 = 6*t