 Solve -4*a + 5*d - b = 0, -d - 1 + 2 = 0 for a.
-5
Suppose -4*o - 5*b - 16 = 5, -13 = 3*o + b. Let l be (-1)/(6/o + 1). Let f(k) = -2*k + 30. Let g be f(12). Solve l*t = -4*s - g, 0 = 5*t + s - 3 for t.
1
Let h = -4 - -6. Let p = 25 - 17. Let m = -2 + 6. Solve -h*l + 1 = 3, m*l + p = j for j.
4
Let l(t) = -t**2 - 6*t - 5. Let f be l(-4). Suppose 0*x - 29 = -5*p + 3*x, 0 = 4*p - 2*x - 22. Solve -3*z - 16 = -p*i, -4*i = -z - f*z - 16 for z.
0
Let a(j) = j**2 - j + 30. Let y be a(0). Suppose 3*f + 5 = 2*f - 2*m, -f + y = -5*m. Solve 14 = 4*k - f*v, -v - 5 = -k - 2*k for k.
1
Let r = -4 + 6. Let s = -1 + r. Suppose s = -2*g + 11. Solve -2 = 3*h - 5*p - 7, g*h + p - 27 = 0 for h.
5
Let h(n) = -n**3 + 5*n**2 - 4*n + 2. Suppose -4*f + 5*y - 9 = 0, 4*y - 8 - 16 = -f. Let m be h(f). Solve -m*a = 5*i - 15, -3*i - 4*a + 25 = 2*i for i.
1
Let w(o) = -o**3 + 3*o**2 + 6*o - 5. Let l be w(4). Let s(d) = -d**2 + 3*d + 12. Let q be s(5). Solve -5*a = 4*v + 17, -l = -q*a - 2*v - 11 for a.
-1
Let r(a) = -a**2 - 6*a - 5. Let q be r(-4). Suppose -z + 4*z = 2*h + 13, -q*z + 5 = 2*h. Solve -z*g + 17 = -2*b, 7 = 4*g + b - 12 for g.
5
Suppose -2*r + 7*r = 60. Let y(u) = -u**2 + 3*u + 3. Let l be y(3). Suppose 58 = l*d + 10. Solve -5*z = -3*s - d, z = 2*s + 3*s + r for z.
2
Let m(r) = r**2 - 22*r + 4. Let t be m(22). Solve -16 - t = -3*o - 5*a, 0 = -a + 1 for o.
5
Let t = 164 - 160. Solve t*u = -4, -3*b - 4*u - u + 4 = 0 for b.
3
Suppose -m - 2 + 1 = -n, -5*n - 5*m + 25 = 0. Suppose -v - 22 = -3*v. Solve -2*q + 2*k = 8 - 18, k = -n*q + v for q.
4
Let i(l) = 2*l**3 + l**2 - l. Let b = -2 + 3. Let k be i(b). Suppose 6*r - k*r = 12. Solve -31 = r*t - 4*v, 2*t = -3*t - 4*v - 9 for t.
-5
Suppose 15*s - 11*s - 12 = 0. Solve -4*t - 9 = -t + s*x, 0 = 3*t - 5*x - 31 for t.
2
Suppose 0 = 3*t - 4*d - 26, -5*t = -3*d - 23 - 24. Let s be (3/15)/(2/t). Let l(r) = r**2 - 6*r. Let h be l(6). Solve h = 3*w - 2*y - 6, w - s = -y + 1 for w.
2
Let u(z) = z**2 + 4*z - 9. Let d = -18 - -10. Let t be u(d). Solve 0 = 5*m + 3*l - t, l = -4*m - 0*m + 17 for m.
4
Suppose 2*q - 8 = 2*i, 3*i + 25 = 5*q - 5. Solve 5*w - 5 = 5*g, 0 = 2*g - 4*w - 1 + q for g.
2
Suppose -14 - 21 = -7*n. Solve n*d = -l - 9, -3*d - 3*l - 2 = 1 for d.
-2
Suppose 2*r - d - d - 42 = 0, -115 = -5*r + 3*d. Solve 2*l - o - 11 = 0, -2*l - o - r = -7*l for l.
5
Suppose 0 = 2*g + p - 14, 2*p - 40 = -4*g + 3*p. Solve -5*c = -4*x + 32 - 1, -3*c = g for x.
4
Let n be 9/4 - (-2)/(-8). Suppose -7*l + 65 = -n*l. Solve -5*b - 39 = -2*w - l, 0 = -4*b + w - 19 for b.
-4
Let z = -4 - -9. Solve -15 = 5*s - z*c, s = -c + 6 + 1 for s.
2
Let c be (-1 + 0)*-3 + -1. Let r be (-32)/(-5) - c/5. Suppose r*l - l - 145 = 0. Solve -4*h + 23 = -t + h, -2*t - 5*h + l = 0 for t.
2
Let d = -74 + 78. Solve -5*f - 5*k + 20 = 0, -3*f + d = -5*k - 0*k for f.
3
Suppose 2 = -3*d + 4*d. Solve -w - 25 = 2*i + 2*w, d*w - 5 = 3*i for i.
-5
Let d be (3*1)/((-8)/2 - -5). Solve d*w = -4*g + 17, -w + 0*w + 9 = 3*g for g.
2
Suppose 3*z - 13 = m, 0*z = -2*z + 2*m + 6. Solve 3*h + 4*t - 10 = z*h, -t + 4 = 0 for h.
3
Suppose -3*j + 0*j - 2*l + 17 = 0, -18 = -2*j - 3*l. Suppose -j = -3*z + 6. Solve 4*o - 11 = -3*g, z*g - 4 = -o + 1 for o.
2
Let d(m) = 2*m - 11. Let p(j) = j - 5. Let k(f) = 3*d(f) - 7*p(f). Suppose 0 = -z - 0*z. Let v be k(z). Solve -g + w = -v, g - w - 4*w - 22 = 0 for g.
-3
Suppose 8*v - 3*v + 2*u = 66, -2*v - u + 27 = 0. Suppose -4*j = -7*j - v. Let a = 7 + j. Solve 2*p + 5*f - 3*f = -4, a*f = -p for p.
-3
Suppose 4*n = -3*n + 35. Solve -s - 2*d = -n, 0 = 5*s - 5*d - 0 - 25 for s.
5
Let a(q) = q**2 - 7*q + 8. Let g(v) = v + 1. Let x be g(5). Let o be a(x). Solve -5*h - 30 = 4*p + 7, -o*h + 5*p = -5 for h.
-5
Let p = 28 - 17. Solve -x + p = -5*a + 33, -4*a = 5*x - 6 for x.
-2
Suppose -5*c = -4*f + 47, 7*f - 2*c - 63 = 2*f. Suppose h - 2*s - 3*s + f = 0, 4*s + 19 = 5*h. Solve -b - 4*m = 16, 0 = -h*b + 2*b - 5*m - 20 for b.
0
Let r be -4*1/(-4)*3. Let n = -67 - -67. Solve -2*w = r*c + 3*w + 21, -3*w - 9 = n for c.
-2
Let i(a) = -a**2 + 6*a - 6. Let z be i(5). Let r be 1 + 1 - (-4 - z). Suppose -2*x + x = -r. Solve -l = x*m + 23, 3*l = 5*m + 11 + 20 for m.
-5
Let f = 6 - 4. Suppose 0 = -f*n - 2 + 10. Suppose -m - m + n = 0. Solve 2*s + 0*s = m*g + 6, -5*g - 15 = 2*s for s.
0
Let x(k) = 6*k**2 - 2 - 2*k**3 - 2*k**2 + k - 2 + 0*k. Let g be x(3). Let r be (6 - g) + (0 - -3). Solve -5*q + 14 = -s - 2*s, 4*s = -5*q + r for s.
2
Let p = -24 - -24. Solve -9 = -2*v + 5*k - 4, p = -2*v - 3*k - 19 for v.
-5
Let l = -18 - -7. Let m = 13 + l. Solve i + 11 = 3*r, -r = -2*i - m*r - 8 for i.
-5
Let g(n) = 5*n**2 + 3*n - 11. Let c(j) = -11*j**2 - 5*j + 23. Let t(a) = 6*c(a) + 13*g(a). Let u be t(8). Solve -5*b - u*o = -28, -3*o = b - 2*o - 6 for b.
5
Let o(k) = k - 7. Let f(v) = 2*v - 14. Let w(q) = -4*f(q) + 9*o(q). Let t be w(7). Solve 4*i + 3*r + 14 - 6 = t, r - 9 = i for i.
-5
Let i = -5 - -4. Let w be (-4 - 6)/(i + 0). Let z(h) = -h + 11. Let l be z(w). Solve r - b + 2*b + 1 = 0, -r + 2*b - l = 0 for r.
-1
Suppose -x + 3*x = -4. Let u = 1 - x. Solve 0 = 2*b + 2*n + 3*n + 2, 3*b + u = -3*n for b.
-1
Let z be -3 - -1 - 4*-2. Let u(f) = -f**3 + 5*f**2 + 6*f + 6. Let c be u(z). Let q be (-23 - (-2 + 1))*-1. Solve 3*d + 4*i - q = d, -c = -d - i for d.
1
Let r = -14 - -21. Suppose 4*t = 2*j + 4, -3*j + r*t - 2 = 2*t. Solve 2 = 4*u - 4*b + j, 0 = 3*u + 4*b - 11 for u.
1
Let y(n) = -n - n + 0*n + 3*n. Let s = -13 + 18. Let c be y(s). Solve -g = -c*u - 10, -2*g = -0*g for u.
-2
Let u be ((-4)/(-6))/(3 - 100/36). Solve u*z + 12 = 3*i, 8*i = 3*i - 5*z + 30 for i.
5
Let y = 15 - 5. Suppose -u + 6*u - y = 3*d, 0 = -4*u - 5*d + 45. Solve 0 = -2*m + 10, 0*c - u*c = 2*m + 15 for c.
-5
Suppose 2*y - 20 = -3*y. Suppose -4 = -4*c + y. Let r = c + 0. Solve 0 = -5*h - 4*f - 6, 0*h - r*h - 4*f = 0 for h.
-2
Suppose -3*h + 5*u + 8 = 0, 2*h + 0*u = 3*u + 6. Solve o - 1 = 2*r, 3*r - 4*o = h*r + 7 for r.
-1
Let f(m) be the third derivative of m**5/60 - m**4/3 + 5*m**3/6 - 3*m**2. Let o be f(8). Solve 3*k - 16 = -o*p, -5*k + k + 8 = 4*p for k.
-3
Suppose 0 = k - 5*r - 1, 2*k + 5*r - 1 = 1. Solve g - 2*o - k = 2, -7 = -g - 2*o for g.
5
Let m be (11/2 + -3)*-2. Let p = 9 + m. Solve 3*y - 13 = f - 2*y, 2*f - 16 = -p*y for f.
2
Suppose -3*j + 3 = -3. Let a = 0 + j. Solve -2*m + t - 8 = -3*m, -4*m + 2*t = -a for m.
3
Let g(m) = -m - 3. Let l(v) = -v - 1. Let a(y) = -g(y) + 2*l(y). Let c be a(-4). Solve -f - 2*x = c, -15 = 3*f + x - 6*x for f.
-5
Let i(x) = x**3 - 4*x**2 - 5*x + 2. Let w be i(5). Suppose 3*p + w*p = 30. Solve 2 = -5*s + t, 5*t + p = 3*s + 2*t for s.
-1
Let u(b) = -b + 2. Let i be u(0). Let f be 4/(4/3) + i. Suppose -3*m - 4*o - 2 = f, 3*m = 4*o + 25. Solve 18 = 2*p + m*a, 4*p - 5*p = 4*a - 19 for p.
3
Let p(x) = x**2 + 8*x - 11. Let z be p(-9). Let v = 0 - z. Solve -v*a + 5*a - 2*c = 9, 2*a - 5*c = 6 for a.
3
Suppose 5*p - 15 = -0*p. Suppose m = 4*i - 11, 5*m = p*i + 7 + 6. Let c be (-3 + -1)*(1 - i). Solve 4*x - 4*f = -c, 5*x + 3*f = 4*x - 11 for x.
-5
Suppose -3*f - 2*f = 0. Suppose -4*j - 22 = -5*z + 2, -2*z + j + 9 = f. Solve -2*p - 1 - 18 = -5*s, z*s = 4*p + 8 for s.
5
Let g(x) = x**2 - x. Let d be g(0). Let l = 2 + d. Solve 3*k = 2*q + 14, q - 4*k + 10 = -l for q.
-4
Suppose 0 = 4*u - 3 - 1. Let d be u/(1*(-2)/(-8)). Let n = 1 - 1. Solve 4 + 0 = 2*y - d*t, 2*y + 2*t + 2 = n for y.
0
Let t = 132 + -97. Solve 0 = -b + 6*b - 5*i, 4*b + 3*i = -t for b.
-5
Let c = -2 + 7. Suppose -3*b = -4*f + 1 + 7, c*b + 2*f - 30 = 0. Solve -t - 4 = h, -5*h - 8 = b*t - 3*t for t.
-3
Let d(u) = -u**3 + u**2 + 2*u + 2. Let h be d(2). Solve h*y = -f + 2*f + 9, -2*y + 2*f = -10 for y.
4
Suppose 0 = 6*n - 8*n. Solve f - 5*u + 3 = n, 3*f - 2*f - 2*u = 0 for f.
2
Suppose -5*h - 7 - 15 = -2*b, 0 = h + 4. Let z be 0 + 1 + 0 + b. Suppose -z*v = -5*v + 39. Solve 5*a + u - 30 = 0, -2*u + v = 3 for a.
5
Let z be 4/22 - (-456)/33. Solve 4*o + z = r, -4*r + r + 4*o + 10 = 0 for r.
-2
Suppose -t = -0*t - 2. Let q(g) = g + g**t - 2*g**2 + 2*g**2. Let w be q(-2). Solve -14 = 4*m + w*v, -m - 3*v = -4*v + 8 for m.
-5
Suppose 2*c = 5*s - 102, 2*c - 2 = 4*c. Solve 4*l + 0 + s = 4*o, -3*l = o - 1 for l.
-1
Suppose -2*w = w - z - 47, 2*w + 2*z = 42. Let n = -31 + w. Let a be 4/n - (-820)/28. Solve q - 5*f - 15 = 6*q