ppose -b*x + 5*s - 3*s + 30 = 0, -x - s = 0. Let h be ((-5)/x)/(1/(-5)). Solve 0 = 3*k - 4*j + 17, h - 2 = -2*k + j for k.
1
Let i = -173 + 122. Let n be 2/4 - i/6. Solve -5*w + 2 = b, -4*w + n - 1 = 4*b for w.
0
Let z be 1/(-4) - (-10)/8. Suppose f + 1 + 2 = 0, 5*f + 31 = 2*x. Let a(k) = -k + 11. Let g be a(x). Solve -g*s - 4*h = 2 + z, 0 = h for s.
-1
Let o = -11 - -15. Solve -4*m - s = -22, 7*s = -o*m + 2*s + 30 for m.
5
Let t(i) = -i**2 - 3*i - 1. Let a be t(-3). Let b = 13 - 13. Let x be a + b/1 + 4. Solve 2*j = 2*z - 3*z, x*j - 6 = -3*z for z.
4
Suppose g - 17 = 3*l - 0*g, 4*g = 2*l + 28. Let v = l - -9. Suppose 4*n = -i + 3*i + 12, 5*n - v*i - 20 = 0. Solve 0 = -z - 1, -5*k + 0*z - n*z + 18 = 0 for k.
4
Suppose -l = 3*s - 11, 4*l + 2 = 4*s - 2. Suppose -x - l*x = -12. Solve x*i - 1 = 2*m - 21, 0 = -i - 4 for m.
2
Suppose 0 = 3*r - 7 - 2, g - 4*r = -16. Let j = 17 - 25. Let d be (-282)/j - g/(-16). Solve 2*x + 5 = t, t - d = 5*t + 3*x for t.
-5
Suppose -8*o - 6 = -30. Solve 0 = 4*b - 4*y + 12, o*b + 3*y = -1 + 4 for b.
-1
Let y = 32 - 28. Solve 0 = 2*b + 4*g + 6, -y*b + 2*g = -2*b - 18 for b.
5
Suppose 2*u = 36 - 26. Solve -23 = 5*w - i, -w = 3*w - u*i + 31 for w.
-4
Suppose 4*t + 3 = -5, 4*s = -5*t + 6. Solve -5*y + i + 19 = 0, s*y = i + 7 + 8 for y.
4
Suppose -5 = -r + 3*n, n - 3 = -6*r + 4*r. Let w be 7 + -4 + (4 - 0). Solve 3*k - 2*l - 2*l - w = 0, -r = 2*l for k.
1
Let r = 26 + -24. Solve r*p - 4 - 3 = a, -27 = -4*a - 3*p for a.
3
Suppose r + 4*r = 50. Suppose 2*o + 32 = 2*s, 4*s + 5*o = 7 + 12. Solve -6*q - 4*c - s = -q, 2*q + r = -3*c for q.
1
Suppose 6*b = 8*b - 4. Solve -2*u - 3*y = -11, 24 = -2*u + b*y + 2*y for u.
-2
Let x(h) = h + 2. Let a be x(5). Solve 5*r + 14 = -1, -a = 5*u + 4*r for u.
1
Let v be ((-2)/(-4) - 0)*4. Let y be 406/(-70) + (-4)/(-5). Let w be (12/15)/((-2)/y). Solve 0 = 2*z - v*t - 12, t + 0 + w = 0 for z.
4
Let h be (-4)/(-22) - ((-252)/33)/2. Solve 2*k = c - 8, 4*k - h*c + 16 = c for k.
-4
Let j = 19 + 7. Let o = j + -22. Let y be (1 - 0)/(2/18). Solve -5*f - o = -2*l + 2, -3*l = -y for f.
0
Let b(k) = 8*k - 9*k + 1 + 8. Let o be b(7). Solve d + o*z = 2*d, 0 = 5*d - 3*z + 14 for d.
-4
Suppose 32 = 13*p - 20. Solve 3*c = -p*b + 8, -4*b - 2 = -3*c + 14 for c.
4
Let z(p) = -p**2 + p + 1. Let w be z(1). Suppose l - w = 8. Solve -5*x + l = t - 2*t, x = 1 for t.
-4
Suppose -3*g = 219 - 1242. Let k = g - 151. Suppose 5*z - 150 = -0*q - 3*q, 5*z - 5*q = k. Solve 4*x + z = 2*a + 3*a, -x = -3*a + 17 for a.
5
Let s(d) = d + 6. Let t be s(-4). Suppose -t*m - f - 2*f = -82, -12 = -3*f. Solve 2*r - 3*h - 16 = 4*r, m = -5*r - 5*h for r.
-5
Let j be (2 + -3)/(6/(-42)). Suppose 0 = -2*z + 12 - 2. Let p(m) = -9*m - 7. Let f be p(-3). Solve 5*o + g - 3 - j = 0, z*o - f = -3*g for o.
1
Suppose 4*c - 9 = 3*c. Let f = c - -18. Solve 4*v + 5*o = 27, -f = -5*v - 0*v - 4*o for v.
3
Let r be (-120)/(-42) - (-2)/14. Suppose -r*w - w = -8. Suppose -4*g + s = -83, -s + 2*s = -w*g + 49. Solve -q + g = -0*q - 4*n, -5*q - 4*n - 10 = 0 for q.
2
Suppose 4*m = -2*h + 38 - 12, 8 = 4*m - 4*h. Solve m*f = -5*u, -u = -f - 4*f + 12 for u.
-2
Suppose -9 = -4*d + 5*i, -36 = -5*d - 2*i - 0*i. Let n = 11 + -7. Let s be ((-1)/(-3))/(2/18). Solve -12 = 2*h - n*u, 2*h - u + s = -d*u for h.
-4
Suppose -7 = 197*c - 198*c. Solve c*l - 2*l + 18 = -3*m, 4*l + 14 = -2*m for m.
-1
Let r be 45/(-3)*4/(-3). Suppose 5*y + 2*a = 2, 5*y = y + 3*a + r. Let d be 2/(-5) - (-24)/10. Solve 3 = -x + w, 0 = x + d*x + y*w - 11 for x.
1
Let s(i) = i**2 + 11. Let b be s(0). Let u(c) = -c + 6. Let w be u(6). Let j be w - -4 - (-7 - -6). Solve -5*r = -3*t - b, -r + j = -t - t for r.
1
Let o(t) = -t - 1. Let r be o(-18). Solve n = 2*v - 12, -5*n - r = -4*v + 13 for n.
-2
Let q be -16*5/4*-1. Solve -5*s + 5*f - q = 0, -f + 4 = -5*s - 0 for s.
0
Let l(g) = -g**3 - 5*g**2 - 5*g - 2. Let c be l(-4). Suppose 2*o - 5*f = -5, 3 = 4*o - c*o + 3*f. Solve o = -4*b, -2 + 6 = 2*t + 2*b for t.
2
Let b(u) = 2*u - 1. Let p be b(3). Suppose 33 = p*n + 3. Solve 0 = c - 3*j + 13, -j = -3*j + n for c.
-4
Suppose 5*y = 10, 8*y - 2 = 2*j + 4*y. Solve j*k + 17 = 2*k - 3*f, 4*f + 6 = 2*k for k.
-5
Let c(r) = r**2 - 3. Let w be c(3). Let s be 3/w*2 - -2. Suppose -2*y - s*y = -15. Solve -13 - 7 = -5*j + 3*h, -y*j + 12 = -5*h for j.
4
Suppose 2*y = a - 8, -a - y - 12 = 2*y. Suppose a = 4*r - 10 - 6. Solve 3*x - r*i = 22 - 2, x + i - 2 = 0 for x.
4
Let j be 910/45 + 4/(-18). Suppose -a = -0*a - 3. Suppose 0 = 2*c + 5*d - 10, -6*c - 2*d = -c - 4. Solve c = -g + 5*g - z + j, 0 = -a*z for g.
-5
Suppose 6*b = b. Solve 1 = p + 2, t - 3*p - 2 = b for t.
-1
Let a(s) = s + 2. Let c(b) = b + 1. Let q(v) = -5*a(v) + 4*c(v). Let m be q(-6). Solve 4*o + 5*t + 22 = -0*t, 5*o - 2*t + 11 = m for o.
-3
Suppose -1 = -3*t + 14. Solve -2*v - 29 = 5*z, 5*v = 3*z - 0*v + t for z.
-5
Suppose 2*x = 3*x + 15. Let c be 69/15 + (-6)/x. Solve c*y + 3*v - 9 = 0, 2*v = 2*y + 2*y + 6 for y.
0
Let f(n) = n**3 - 4*n**2 - 3*n - 8. Let p be f(5). Solve -2*y - 5 = 4*k + 5, -p*k - 1 = -3*y for y.
-1
Let g = -13 - -13. Solve 0 = -c - g*w - w + 4, -2*c - w = -3 for c.
-1
Suppose -3*o + 20 - 5 = 3*k, -7 = -2*k - o. Suppose k*b = 5 - 1. Solve -2*f - b*t = -5*t - 10, -t - 4 = 0 for f.
-1
Let h(u) = u + 4. Suppose 2 - 18 = 2*k - 4*w, -5*k - 5*w = -20. Let o be h(k). Solve 22 = 5*p + 3*q, q - o = -3*p + 10 for p.
5
Let k = -6 - -3. Let j(q) = q**3 + 2*q**2 - 3*q + 3. Let f be j(k). Solve -5*w - 5*u = -0*u - 15, -f*u - 16 = -2*w for w.
5
Let a = 2 + 1. Solve f = -3*v - 10, a = -f - 1 for v.
-2
Suppose 3*z + 35 + 40 = 0. Let j be (30/z)/(2/(-10)). Solve -2*b = j, b = 3*n + 5*b for n.
4
Suppose 3*j + 0*j = t + 58, -5*t = -2*j + 43. Suppose -u + 3*m - j = -1, -31 = 2*u - m. Let p be 2/8 - u/4. Solve 0*i - 4*b + 4 = 4*i, 6 = -p*i + b for i.
-1
Let b = 0 + 3. Let w be ((-2)/b)/(2/(-69)). Solve 0*i - 3*h = -i - 7, -w = -3*i - 2*h for i.
5
Let c(z) = 25*z + 134. Let d be c(-5). Let r be 15*(2 - (-2)/(-2)). Solve i = -4*j + d, j - 6*j - r = -4*i for j.
1
Suppose 14 = 5*q - 11. Suppose -5*w = -11*w. Solve -3*u = 2*a - 4*a + 23, w = -u - q for a.
4
Let j(a) = -2*a - 4. Let b be j(-4). Solve -4*n - 15 + 39 = -4*i, -3*n - b*i + 11 = 0 for n.
5
Let w = 11 - 8. Let s(o) = -o + w - 3 - 4*o. Let i be s(-1). Solve 0 = -r + i*u - 0*u, 0 = 5*r + 3*u + 28 for r.
-5
Suppose 4*u - 8*u + 28 = 0. Solve 0 = -4*n + 5*i + 20, -3*i + 20 = 4*n - u*i for n.
5
Suppose 7 = 4*z - 5. Solve -2*p + 1 = -z*l, -5 = l + 7*p - 3*p for l.
-1
Let k(h) = h**2 - 15*h + 7. Let s be k(14). Let z = s + 9. Solve 2*r - z*w = -14, 2*r = r + 2*w - 9 for r.
-5
Suppose 4 + 23 = -3*w. Let k be 10/((-3)/(w/6)). Suppose 5*h - 10 = 3*u, -3*u + k = 2*h - 4*u. Solve 2*y + 2*i - 2 = 0, -5*y + h = -i + 12 for y.
-1
Suppose 2*v + 3*v - 80 = 0. Let f = 26 - v. Let l be 44/f + 2/(-5). Solve 5*x + 4*d - d = 18, -5*x - l*d + 19 = 0 for x.
3
Suppose -4*s - 1832 + 488 = 0. Let u be (s/70)/((-3)/10). Let k(o) = -2*o**3 - 4*o**2 - 4*o - 3. Let f be k(-2). Solve -c = 2*g + 11, -4*g - 15 = f*c + u for g.
-4
Let c(o) = o + 15. Let d be c(-13). Solve d*p - 1 + 3 = f, -2*p - 2*f + 10 = 0 for p.
1
Let f be 1/(-3)*(-240)/10. Solve -f = -4*c, -3*c = 5*x + 10 - 41 for x.
5
Let d(w) = 6*w + 24. Let n(b) = -7*b - 25. Let k(u) = 6*d(u) + 5*n(u). Let h be k(-15). Solve 0 = v + h*s + 11 - 4, 5*v - 28 = s for v.
5
Suppose 0 = -8*t + 3*t. Solve -4*j + 5*r - 2*r + 1 = 0, t = 4*r - 4 for j.
1
Suppose 0*d = d + 5*b + 28, -5*d = 3*b + 184. Let r = d + 69. Solve 3*h - 3*s = s - r, -2*h + s = 14 for h.
-5
Let p(b) = b - 2. Let o be p(3). Let r be 6/o + 2/(-2). Suppose 4*n - 3*n - 4*q = 24, 15 = 5*n + q. Solve -2*i + a = -n*i - 9, a + 15 = -r*i for i.
-2
Let t(b) = 3*b - 1. Let c be t(4). Let w = -2 + c. Solve 18 = 2*g + 5*h, w*g - 4*g = h - 9 for g.
-1
Let v(q) = q**3 + 3*q**2 - 4*q + 4. Let z be v(-4). Suppose -2 = -3*p + z. Solve -4*n + 4*f = 0, -p*n = 3*f - 7*f for n.
0
Let c(z) = z**3 - 8*z**2 - 10*z + 11. Let f be c(9). Suppose -5*q - 10 = 5*j, -q - 2 - f = 0. Solve -4*v - s + 16 = -0*s, s - 8 = -j*v for v.
4
Let f(n) = 6 + 4*n**2 + 6*n - 5*n**2 + 0 - n. Let g be f(6). Solve -2*d + 13 = -5*d - j, -5*d - j - 21 = g for d.
-4
Let p(i) = i**2 + i + 4. Let z(l) = l + 1. Let d(s) = p(s) - 3*z(s). Let k be d(3). Solve -k*r + 19 = -q