*k = -i for b.
3
Let u = 14 - 10. Let d(x) = x**2 - 2*x - 20. Let j be d(6). Suppose 0 = j*k + 22 - 30. Solve -6*a + 21 = 3*y - k*a, -u*a = 2*y - 18 for y.
3
Let j(x) = -12*x**2 + 25*x + 3. Let g be j(2). Solve c - 8 = -5*v, 16*c - 11*c = g*v + 10 for v.
1
Let u(t) = 4*t**3 - 25*t**2 - t + 47. Let j be u(6). Solve 0 = -j*l - 5*c, -4*c - 2 = 2 for l.
1
Suppose -39 = -9*p + 6. Suppose -2*h - 4*k = -p*h + 23, 5*h - 5*k - 35 = 0. Solve -4*m = 4*a - 3 - 5, -4*a - h*m = -12 for a.
-2
Let j = 2780 - 2766. Solve -4*r - j = -d, -4*r + 2*d = -2*r + 4 for r.
-4
Let z = 136 - 134. Solve -z*p + 5*j = 18, 0*p = p - 4*j + 12 for p.
-4
Let s be 12/(-18) + (-82)/(-6). Suppose -3*u - 48 = u - v, 12 = 3*v. Let l = u + s. Solve -21 = 4*w - 5*k, 2*w + l = -w + k for w.
1
Suppose -4*z = -1 - 7. Suppose j = z*j - 17. Let g = j - 13. Solve g*o + 36 = -4*n, o - 1 = 4*n - 2*o for n.
-4
Let n be (1/((-1)/4))/(-2). Let m be (-1)/(n - (-36)/(-16)). Let v = -32 + 47. Solve -5*i + 2*a - v = 0, -a - a = m*i + 12 for i.
-3
Let n(l) = -l**2 - 9*l + 9. Let q be n(-9). Let k(b) = b - 6. Let o be k(q). Solve -5*c = -o*m + 14, 0*c + 1 = m + 2*c for m.
3
Let d be 0 - (-4 + -5) - 4. Suppose -5*o + 2 = -d*j + 17, -6 = -2*o - 2*j. Solve 5*c - c = 2*m, -3*c = o for m.
0
Suppose 0 = -13*b + 18*b + 10. Let x be 2 - -1 - (-2 - b). Solve x*t = 5*y - t, -4*y = t for y.
0
Suppose 16 = 497*f - 489*f. Solve 4 + 2 = f*o - 4*v, 6 = -o - v for o.
-3
Suppose -28*p + 487 = -241. Solve -4*o = -3*t - 0*o + 7, 2*t + p = -5*o for t.
-3
Let c be (14/4)/(4/8). Suppose 11*b - 8 = c*b. Solve -2*p = -4*g + 22, b*g - 5*p - 20 = -g for g.
5
Let k be (1 - 3)/(-1) - -2. Let i(l) = 3*l**2 - 12*l + 3. Let z be i(k). Solve 2*x = -5*t + 16, -3*t + 5*x - 6 - z = 0 for t.
2
Let d(i) = i**2 - 7*i - 5. Let n = 19 + -11. Let x be d(n). Suppose -4*f - j = -6, 0 = 3*f - 4*j - 3 - 11. Solve x*k = 6, v + f*k - 7 = -3*k for v.
-3
Let i(r) = -r**2 - 2*r + 3. Let q be i(0). Let t be (-1)/(2/6*-1). Solve 6*k = l + t*k, 3*k = 2*l + q for l.
-3
Let s be (-1)/2 + 3/(-6). Let l be s - -10 - 24/6. Solve 2*m = 4 - 14, -l*v = -2*m - 10 for v.
0
Suppose -20 = -6*n + n. Let g be 2 - 0 - (1 - n). Suppose -g*i - 9 = -109. Solve -o + 3*o - 11 = -y, 0 = 5*o + y - i for o.
3
Suppose 2*m + 61 = 19. Let h = m - -37. Solve 0*a + h = 2*a - 3*g, -3*a + 14 = -2*g for a.
2
Let f(w) = 2*w**3 - 29*w**2 + 16*w - 28. Let z be f(14). Solve -5*n - 2*d = 5, z*d - 4 = -2*n - 2*d for n.
-3
Suppose -2*a - 3*q + 21 = a, -2*q + 18 = 3*a. Solve -4*o = 4*x + 4, -2*o - a*x = -6*o - 28 for o.
-4
Let w(m) = m**2 - 2*m - 3. Let l be w(4). Suppose -2*r + 17 = b + 6, 0 = -r - 4*b + 23. Solve 0 = -2*h + r*h - l*s - 10, 2*s - 3 = -h for h.
5
Let c(j) = 45*j. Let x be c(1). Suppose -4*h + 5*i + x = h, 5*h + 5*i = 55. Solve a + a + 3*v = h, 4*a + 3*v - 20 = 0 for a.
5
Suppose k + 0*k - 3 = -4*z, 3*k + 3*z = 9. Solve -2*h + 0 = 4*d + 4, 0 = -k*h + 3*d - 6 for h.
-2
Suppose 0 = 3*n - 13*n. Solve -d + 6*d = 2*j + 9, n = -d + 3*j - 6 for d.
3
Let b be 1 + (-90)/(-25) + 8/20. Solve b*u - 28 = -4*a, -2*a = -0*u + 2*u - 12 for a.
2
Let o be ((-4)/(-1))/(4 - (8 + -5)). Solve -2*g - 5*u + 8 = g, 3*g + o*u = 4 for g.
-4
Let j = -167 + 187. Solve -5*a + j = 3*w, -14 = -4*a + 2*w + 2 for a.
4
Let c(b) = b**2 + 35*b + 204. Let s be c(-28). Solve 4*k + 3*l = -s, -1 = 4*k - 3*l - 17 for k.
1
Let p = 65 + -66. Suppose 2*d - 1 = h - 7, 2*h + 16 = -3*d. Let b be (-11)/h + p/(-2). Solve 5*f = -4*y + 17, 21 = 3*y - b*y + 3*f for y.
-2
Suppose 4 = -3*m + 13. Let j be 4 - ((-2)/1 + m). Solve 3*k - 3*q + j = 0, -k + 3*q - 5 = -2 for k.
0
Let g be 1/((3/12)/((-3)/4)). Let o = 26 - g. Solve 3*p - 2 - 1 = -4*z, 4*p - o = 3*z for z.
-3
Suppose 5*p + 2*y - 1 = 0, -y + 2 = -p + 5. Let r be (p/2)/((20/24)/5). Solve g + r = -f - f, 0 = -g + 5*f - 3 for g.
-3
Suppose -63 = -2*k - 1. Suppose 8*s = 9 + k. Solve 0 = 5*r - 2*h - s, 4*r - h - 3 = 1 for r.
1
Suppose 0 = y - 0*p + 3*p - 13, -2 = 2*p. Suppose -2*f + f + 9 = 0. Let t = f - 7. Solve -20 = -4*n - 5*r, 4*n = -2*r - t*r + y for n.
0
Let j be (-1)/(-2) + 3 + 26/(-4). Let a be j*(32/(-28) + (-2)/(-14)). Solve -a*i - 12 = h, 4*h + i + i + 18 = 0 for h.
-3
Let f be (-4)/(5 + -12 - -6). Solve 5 = -2*g - 0*v - 5*v, g + f*v + 4 = 0 for g.
0
Let j(p) = p**2 - 7*p. Let z be j(7). Suppose z = -4*r + 4*q - 16, q - 2 = 2. Solve r = 2*n, x = -4*x + 5*n + 5 for x.
1
Let i(d) = 3*d - 15. Let n(b) = -2*b + 14. Let z(c) = 3*i(c) + 4*n(c). Let w be z(-9). Solve f + 1 = -5*o - 4, 2*o - f + w = 0 for o.
-1
Let u be 2/((-15)/(-20) - 1). Let h(q) = -q**3 - 10*q**2 - 15*q + 10. Let g be h(u). Solve -6*r + r = 5*s - 10, 0 = s + g*r - 2 for s.
2
Let s(r) = -r**2 + 3. Let v be s(3). Let y be v/(21/30 + -1). Solve -5*p + 0*k = -3*k + 15, -4*k + y = p for p.
0
Suppose 8 = -2*n, 0 = -o - 3*n + n - 3. Suppose 8*f = -2*f + 17*f. Solve a + a - 2 = 2*b, f = 2*a - o*b + 1 for a.
2
Let h = 139 + -132. Solve h = -2*s + 3*i + 20, 24 = 5*s + i for s.
5
Suppose 0 = -3*s - 75 + 681. Let u = s - 122. Let q = -48 + u. Solve 5*l + 4*v + q = -0*v, v = -2*l - 11 for l.
-4
Let o be ((-1)/(-4))/(1/20). Suppose -o*k = z - 6*z - 15, 4*k - 12 = -3*z. Solve -k*s = 3*c + 12, 0*s + s = -2*c - 5 for c.
-1
Let q(t) = t**3 + 11*t**2 - t - 22. Let k be q(-11). Let m(j) = -j**2 - 6*j + 6. Let c be m(-5). Let y = c + k. Solve 3*l = 3*g, -2*l + 4*g - 1 - 1 = y for l.
1
Let t = 4 + -32. Let x be ((-16)/t)/((-4)/(-14)). Solve -4*y = 8, 5*l - 9 = x*l - 3*y for l.
5
Let a be 1/(-4) + 52/16. Suppose -5*y - a = 7. Let k(w) = w**3 + 4*w**2 + w - 1. Let v be k(y). Solve 5*s + 0 = 15, 5*f = -v*s + 25 for f.
2
Let z = -23 - -26. Suppose -5*o - 5*b = -3*o - 36, -3*o + 28 = b. Suppose -o = a - 2*q, q = -4*a + 1 + 3. Solve a = -v + 5*i + 20, z*v = i + 3*i + 27 for v.
5
Let v = -54 + 13. Let q = -41 - v. Solve q = -4*t + 2*i + i + 14, 2*t = -3*i - 2 for t.
2
Suppose a + 3*a - 1 = 5*s, -3*s + 9 = 0. Suppose 5*q = -2*w + a*w + 2, -q = -2*w - 2. Let r = 3 + -1. Solve 5*v + r*i - 12 = q, 3 = -4*i + 7 for v.
2
Let m(n) = n**3 + 17*n**2 + 14*n - 22. Let u be m(-16). Suppose -32 = 3*q + u. Let l be 10/35 - 276/q. Solve 5*w - l = 2*j - 3, 2*j - 10 = -4*w for w.
3
Let k(n) = n + 7. Let x = 0 + -4. Let s be k(x). Let d be 25 - 26 - (-1 + 0 + 0). Solve -a = 5*f + s - 1, d = 2*f + 5*a - 13 for f.
-1
Let v(w) = -w - 17. Let a be v(-11). Let c be (3/(-6) + 0)*a. Solve -i = c*l - 5*i, 16 = -l - 4*i for l.
-4
Suppose 0 = -39*u - u + 80 - 0. Suppose 0 = 2*s - 0*s - 8. Solve -f = -5*j - 5, -u*f + s = -4*j + f for j.
-1
Let v = -179 - -182. Solve s - 7 = -2*i - 0, -v*s = -5*i + 34 for s.
-3
Let i = -1353 + 1357. Solve -2*x - 5 = 3*p + 1, 7 = -i*p - 3*x for p.
-4
Suppose 6*t = 9*t - 18. Suppose -31 = -t*m - 7. Solve v = 4, m*v = -i + 3 + 16 for i.
3
Let i(d) = -3*d + 4. Let w be i(0). Solve -p + w*r + 9 = 0, -8*p - 3*r - 1 = -3*p for p.
1
Let r = 493 + -488. Solve -2*a - f = -5 + 3, r*a = -4*f + 2 for a.
2
Suppose -6*c + 2*c - 160 = 0. Let w = 45 + c. Solve -5*i = w*s - 15, 0 = 2*i - 5*i - 4*s + 10 for i.
2
Let u = -5 - -10. Let r be (-6)/11*(-352)/48. Solve 0 = r*n - u*x + 5, -x + 15 = -6*x for n.
-5
Suppose -o - 3*o + 4*r = 0, -28 = -3*o - 4*r. Let v(b) = -b**2 + 9*b + 52. Let y be v(13). Solve g + 2*g + 2*m = -1, y = o*g + m - 2 for g.
1
Suppose 0 = -3*m - 9 + 24. Let x(y) = -y**3 - 13*y**2 - 2*y - 18. Let u be x(-13). Suppose 2*o = -0 + u. Solve -19 = 3*r + m*b, o*r + 0 = -4*b - 20 for r.
-3
Let g be 2044/(-126) - 2/(-9). Let y = 20 + g. Solve 5*v - u - 16 = 0, -5*v - u - y = -18 for v.
3
Let u = 21 + -15. Suppose -12 = -u*i + 2*i. Solve 3 = -2*g + y - 1, -i*g - 4*y = 6 for g.
-2
Suppose -2*y = -5*h + y - 12, 0 = 4*y - 16. Suppose -b + 18 - 4 = h. Solve -4*u - 7 = -23, -3*u = s - b for s.
2
Suppose 0 = 4*l - 0*l + 48. Let h be 2/3 - (-8)/l. Solve 5*b = 3*p + 29, h*p + 4*p + 20 = 2*b for p.
-3
Let c = 144 - 139. Solve 5*p + 2*t - 15 = 0, p + 3*t = t - c for p.
5
Suppose 80*y + 3 = 81*y. Suppose -2*t + 8 = 0, -3*h = -4*t + t + 33. Let k(q) = -q**2 - 6*q + 7. Let g be k(h). Solve -r + 0 + 1 = y*i, g = 2*i + 5*r - 5 for i.
0
Let a be (-2)/(-7) + (-4816)/49. Let t be 57/7 + 14/a. Solve 0 = -4*h + 4*m - t, -3*h - 6 = -0*m + m for h.
-2
Let b = -78 + 70. Let w be b/6*345/(-46). Solve 4*u + 4*p = 2*p + w, 3*u - 5*p = 1 for u.
2
Let u = 26 -