Let b = t - 13. Solve 2*j - b*d - 11 = 0, -2*d - 2*d = -2*j + 10 for j.
3
Suppose -5*j + 10 = 0, 2*k + j - 22 = -3*k. Solve -5*d - 10 = 3*l, k*d + 0*l = l + 9 for d.
1
Let t(h) = 5*h + 1. Suppose -4*q + 1 = -3. Let a be t(q). Let z be (20/(-12))/((-2)/a). Solve -4*o = 5*j - 19 + z, -5*o = 3*j - 11 for o.
1
Let p = -11 + 15. Let n = p + -2. Solve -4*l + n*l = -4*h - 12, 3 = -h + 5*l for h.
-3
Suppose 2*c + 0*c = 0. Suppose -9 = -3*a - c*a. Solve -2*k = -3*n + 3*k - 10, -5*n + a*k = 6 for n.
0
Let f be 38/14 - 4/(-14) - -2. Solve g = -2*v + 3, -29 = f*g - 3*v - 5 for g.
-3
Let l be (9 + -2 + -1)*1/3. Solve 2*b - 5*i + 10 = 0, -2*i + 25 = -5*b + l*i for b.
-5
Let j(s) = s**3 + 5*s**2 - 7*s - 1. Let v be j(-6). Solve 5 = -5*o - v*n - 10, -15 = 2*o + 5*n for o.
0
Let x(c) = 2*c - 6. Let i be x(4). Suppose i*s + 2*s = 4*p + 28, 2*s - 4*p = 14. Solve 3 = -3*d, -k + 1 = -s*d + 2*d for k.
-4
Let w = 146 + -146. Suppose -5*l + 4*y + 4 = -18, -y = 5*l - 7. Solve 24 = -l*u + 6*u + 4*a, 2*u - 4*a = w for u.
4
Let u be ((-2)/4)/(1/(-18)). Suppose 5*x - 15 = 0, 5*w - 5*x - 7 + 2 = 0. Suppose -h - w*a = -u, 4*h + h + 4*a = 29. Solve n - 5*n - 3 = c, n + h = 4*c for n.
-1
Let u = -9 - -11. Solve 2*q + 2*k = -4, -k - u - 1 = 0 for q.
1
Let p(m) = 13*m**2 + m - 4. Let g(o) = -3*o**2 + 1. Let c(f) = -9*g(f) - 2*p(f). Let z be c(-1). Solve -5*k = -5*t - 7 - 3, -2*t = z*k + 16 for k.
-3
Suppose -2*f = 1 + 3. Let n be 23*(-1 - (f - 0)). Solve -3*q - b = -14, -5*q - 4*b = -12 - n for q.
3
Let d be (-5)/(-4)*(5 - 1). Let r be 2/(-10) - (-6)/d. Solve -k = -3*p, -4*p + 2*k + r + 1 = 0 for p.
-1
Suppose -1 = -2*r + 3. Let n be (r*-1 + 2)/2. Let s be 2/2 - (-6)/6. Solve n = 5*p + 2*z, -s*p - z + 19 = -4*z for p.
2
Suppose 0 = -k, 5*r + 22 = -4*k + 97. Solve n = -5*y - 27, -y + 0 = 5*n + r for n.
-2
Suppose -4*w = -10 - 6. Let v be (-3)/6 + (-6)/w. Let m be (1 - -2)*(-2)/v. Solve -p = -s - 0*s + m, 5*s = p + 15 for s.
3
Let r = 24 - 13. Solve -2*t - 2 = 2*y, 2*y - r = -3*y + 3*t for y.
1
Suppose 4*t + 0*t = -4*f - 28, 2*f - 7 = t. Let c = t + 9. Suppose 5*y + c*o = 29, 2*o + 0*o - 14 = -2*y. Solve -3*w - 3*q + 6*q = -6, 20 = -y*w - 5*q for w.
-1
Suppose -2*x - 15 = -2*m - 3*m, -2*m + 3*x = -6. Solve m*n - 14 = 7*n + 3*l, 0 = 3*n + 5*l + 16 for n.
-2
Suppose 2*c + 95 = 7*c. Suppose 4*k - i - c = -2, -5*i = 5*k - 40. Solve 4*q - 9 = k*a, -7 + 0 = -2*q + 3*a for q.
-4
Let q(u) = u**2 + 2*u + 2. Let o be q(-2). Suppose o*s - 17 = -3. Solve x = -b - s, 0 = -b + 4*b + 15 for x.
-2
Let b be 15/(-25) + 36/10. Let v(f) = f**2 + 3*f + 2. Let y be v(b). Solve 3*k - y = 5*i, i - 5*k = 4*i - 22 for i.
-1
Suppose 4*c - c - 15 = 0. Suppose 0 = -c*j - 20 - 10. Let z be (-4)/((-8)/j)*-5. Solve -5*o = 5*g + z, 3*o - 3*g + 5 = -5*g for o.
1
Let i = 20 + 10. Let w be 1/(-4) - (-68)/16. Solve 0 = -w*h + 5*t - 28, -2*t + i = -5*h + 3*t for h.
-2
Suppose -5*g + 3*w + 13 = 0, 5*g - 5 = 5*w - 0. Solve -c + g*c = -a + 1, 5 = -c + 5*a for c.
0
Let f be ((-32)/10)/((-2)/15). Let o = f - 83. Let q = o + 84. Solve c + 11 = -4*l, -3*l - 2*l = -c + q for l.
-4
Let r(z) = z**3 - 4*z**2 - z + 8. Let t be r(4). Solve -4*h - 17 = 5*f + 15, t*f + 10 = 2*h for f.
-4
Let t = 45 + -45. Solve a = -2*n - 4, -16 = 2*n - t*a - 5*a for n.
-3
Suppose 4*n + 12 + 4 = q, 0 = -2*n - 3*q - 22. Let k be (-22)/n - 34/85. Solve 0 = 3*f + 5*r + 7, 2*f - k*f - 5*r - 3 = 0 for f.
-4
Let p be ((-2)/(-4))/((-3)/(-12)). Solve -c + b + 2 = 0, 4*c - p*c - 13 = -b for c.
5
Let j(b) = -b**3 + b**2 + 3*b - 2. Let w be j(2). Solve 0*n - n - 3*v - 8 = w, 0 = -n + 4*v - 1 for n.
-5
Suppose -5*c - 6 = -3*q, -4*c = -4*q - 0*q + 16. Let h be -2*((-2)/(-4) - -2). Let g = 10 + h. Solve -5*r + 10 = -g*p, -3*p - 4 = -q*p for r.
3
Let f be (-2 + 5/2)*-32. Let m = 5 + f. Let r = -7 - m. Solve -4*z - 19 = k, 4 + 20 = -r*z + 4*k for z.
-5
Suppose -5*k + 132 = 2*n, 3*k = -k - 2*n + 104. Suppose 5*d - d - k = 0. Let o = -3 + d. Solve 11 = o*x + l, 4*x + 4*l - 13 = -5 for x.
3
Let s = 45 - 40. Let t(m) = 2*m**3 + m. Let o be t(1). Solve -s*y - 6 = c, 3*c + 0*y = o*y for c.
-1
Suppose -4*r = -0*i + 5*i - 35, -3*i - r = -14. Let h = 16 - 10. Suppose -6 = -4*u + h. Solve -7*l + i*l - u*a = 26, 2*l + 5*a = -20 for l.
-5
Let x be (-1 - -3)*14/(-4). Suppose -4*h + 11 = -37. Let z = h + x. Solve -4*s + 16 = 3*b, -8 = 3*s - z*s - 4*b for s.
4
Suppose 0 = 6*l - 5*l. Let i = l - 0. Solve -5*q = -i*q - 10, -4*z + 6 = -3*q for z.
3
Suppose 26*w - 4 = 25*w. Suppose 3*t = t + 4. Solve 3*s + q = -t, 3*s + 2*q + 0 = -w for s.
0
Let m(u) = -u**3 + 2*u. Let c be m(-3). Let z be 34/6 + (-14)/c. Solve z*f + 3*k + 22 = 0, 4*k - k = -f - 2 for f.
-5
Let v = 13 + 4. Solve -2*z = 5*t + v, 0*t - 4*t - 10 = -2*z for t.
-3
Let a = -11 - 2. Let o be 602/26 + 2/a. Solve -5*i + 8 = -3*c + 3, 5*c = i - o for c.
-5
Let l be 0*(-3)/(-3 - 0). Suppose l*r + 4*r - 24 = 0. Suppose r*z = 3*z. Solve 0 = -2*d - 10, z*d - 2*d - 14 = m for m.
-4
Let b = 18 + -11. Let s = b + -5. Solve -s*z = -5*z - 2*u - 3, -2*z - 2 = -2*u for z.
-1
Suppose -129 = -6*d + 3. Let y = d - 16. Solve 3*a - y = 0, 13 = 6*o - o + 4*a for o.
1
Let c be 11 + 3/(3 + -6). Let h = 5 + -11. Let k = h + c. Solve 2*b - 4*b + w = -9, 4*w = -2*b + k for b.
4
Suppose -4*u - 10 = -3*u + 2*c, -3*u - 4*c = 20. Solve -5*d - 32 + 7 = -5*i, u = -d - 3 for i.
2
Let n(t) = 4*t**2 + t**3 - 21*t + t**2 + 25*t. Let m be n(-2). Solve 0 = v - m*l - 16, -l = -3*v + 15 for v.
4
Let k(y) = y**2 - 6*y + 4. Let d be k(7). Suppose 27 - d = 4*j. Solve 2*s + 2 = 4*v - 0*s, 0 = -j*v - 2*s - 2 for v.
0
Suppose -12*z + 9*z = 48. Let l be 3/2*z/(-12). Solve -l*n = -4*n - k + 3, 5*n - 4*k + 12 = 0 for n.
0
Let n(x) = -3*x - 1. Let t be n(-7). Let q = t + -16. Solve 3*y = -h + 2*h - 8, q*y = 4*h - 24 for h.
5
Suppose -4*r - 1 = 23. Let o(j) = 4*j - j**2 + 2*j**2 + 2*j + 3. Let a be o(r). Solve -4*s + 5*p = -s - 9, -a*s + 9 = -4*p for s.
3
Let i(o) = -o**3 + 7*o**2 + 2*o - 10. Let z be i(7). Solve -r + 0*r = -z*l - 12, 0 = -3*r for l.
-3
Suppose 4*d + 26 = 5*x, -5 = -5*d - 0. Let y be (20/x)/((-2)/(-3)). Solve -5*k = y*q + 30, -4*k + q - 9 = -0*q for k.
-3
Suppose -j + 20 = l, 7*l - 8*l = 2*j - 24. Suppose -2*n - 5 = 5*r, -2*n + 3*r = -r - 40. Let d = -7 + 11. Solve -2*h - p + d - n = 0, 3*p = -5*h - l for h.
-2
Suppose 0 = -3*d + 15*d - 144. Solve 5*f - g = -18, -2*f - 9 = -5*g + d for f.
-3
Suppose -5*n + 0*n = 0. Solve n = 4*w, 4*q + 0*q + 8 = -2*w for q.
-2
Let z = 20 - 15. Solve -3*j + 5*h + 2 = 12, -3*j = z*h + 20 for j.
-5
Suppose 3*p + 4*a - 20 = 0, -8*p + a + 10 = -5*p. Let y be -1*1 + 2 + 5. Let w be (-2)/(-3) + 8/y. Solve 2*n + 3*o + 6 = 0, -w*n + o - 2 = -p for n.
0
Suppose 2*i + 0*x = 3*x + 19, -2*i + 4*x = -22. Let l = 10 + -7. Suppose 3*u = l + 12. Solve 0 = i*y - u*p - 10, -2*y - 4*p = y - 20 for y.
4
Let t = -4 - -7. Let c be t + -1 + 2 - 0. Let z = 0 - -2. Solve -u = p - z, -c*u + 4*p - 29 = -u for u.
-3
Let l(y) = -y**3 - 4*y**2 + 4*y. Let u(n) = -n**2 - 2*n + 3. Let k be u(-4). Let c be l(k). Solve -c*o - 17 = -0*q - q, 0 = -q + 2 for o.
-3
Let p(v) = -v**3 + v**2 - 4*v - 4. Let y be p(-3). Suppose -4*m - 94 = -2*f, -4*f + 3*f - m = -y. Solve 5*w = 5*g - f, -w = 5*g - 2*w - 29 for g.
5
Let v be -10*(-1)/2 - 1. Suppose 3*w = 4*w + 5*y - 4, -w - y = -4. Solve -v*o - w*q + 9*q - 16 = 0, -o + 4*q - 4 = 0 for o.
-4
Suppose -d = -2*g - 6 + 1, -25 = -5*d + 2*g. Let c = -35 - -37. Solve 3*b + 5 = -z, c*b = -0*b + d*z + 25 for b.
0
Suppose 0*d = d + 5*o + 19, -3*d = 4*o + 2. Solve -c = -2*b - d, 2*b + 5*c = -2 - 4 for b.
-3
Suppose 5*a - 2*h = 18, -2*h = 5*a - 3*a + 4. Solve w - a + 1 = -4*i, 0 = 4*i + 2*w + 2 for i.
1
Let o be 3 + 0 - -1 - 1. Suppose -88 = -n - o*n. Let x = 64 - 40. Solve 3*z = -4*b + n, 3*z - x = -5*b + 2 for b.
4
Suppose -5*y - 2*n = -127, 5*y - 101 = y - n. Let o be ((-90)/y)/(4/(-10)). Suppose -5*q + o = -2*q. Solve q*m - f - 2*f = -6, 0 = -3*m + 2*f - 3 for m.
1
Suppose -2*k - 4*a = 2, k - 3*a - 4 = 10. Solve -4 = t, -k*r + 14 + 17 = -4*t for r.
3
Let a = 2 + 1. Suppose a*b = b + 14. Solve -k + x = -b, -2*x - 10 = 5*k + 2*x for k.
2
Let d(m) = -m**2 + 16*m + 36. Let j be d(18). Solve j = 5*z + t - 6, 5*z - 9 = -6*t + 2*t for z.
1
Let c = 3 + -3. Suppose 0 = y + 2*a + 5, -3*a = 9 + 3. Solve 0 = 3*f + 3*g - 18, -y*f + 2