 6*d - 4, -18 = -5*t + 2*d. Let s be f(t). Suppose n = -0*n + 2. Solve z = -n*z - 12, -3*z - s = -h for h.
4
Suppose 2*q + 120 = 7*q. Solve -5*f + 4*w = 3*w + q, -2*f + 4 = 3*w for f.
-4
Let s(w) = -2*w - 5. Let v be s(6). Let l = v + 21. Solve 3 + 14 = -3*i - l*k, -2*k = -i + 1 for i.
-3
Let v(n) = 2*n + 4*n + 8*n**2 + n**3 + 3 + n. Let q be v(-7). Solve -8 = q*s + s, 3*s + 6 = 3*d for d.
0
Suppose -37 - 23 = 5*c. Let z(s) = -s**2 + 8*s + 14. Let k be z(10). Let w = k - c. Solve f - w = -5*a, -2*f = 5*a - 6 + 4 for a.
2
Let y = 26 + -7. Solve -y = 3*g + 2*j, -2*g + 0*j = -3*j - 9 for g.
-3
Suppose 0 = 3*p - 8*p + 3*y + 11, -3 = -3*p + 3*y. Solve -3*n + 4 = -4*l - 6*n, p*n = -4*l for l.
-4
Let t = -5 + 8. Let a = 32 + -48. Let q = a + 28. Solve q = -2*v + i + t*i, 3*v - 5*i + 13 = 0 for v.
4
Let f = 17 + -9. Let h(x) = -x**2 + 8*x + 3. Let v be h(f). Let c be 1 + (1 - v) - -5. Solve 2*n - 2*w + 14 = 0, -3*n + 0*n - 23 = -c*w for n.
-5
Let v = 144 - 125. Solve 5 = 2*x - 3*l + v, -11 = -x - 3*l for x.
-1
Let c = -25 + 33. Solve -s + c = 4*q + 3*s, 4*q - 4*s = 0 for q.
1
Let p(y) = y**3 - 6*y**2 + 5*y - 2. Let o be p(5). Let r = 8 + o. Solve 5*a - f + 24 = 0, r*f - 3*f = 2*a + 20 for a.
-4
Suppose -1 + 7 = 3*g, 5*p - 57 = -g. Solve -2*t - p = 2*b + 3*t, 0 = -b + 3*t for b.
-3
Suppose -2*y + 5 + 1 = 0. Suppose -y*d = 4*j - 2, 5*j + 3*d = 2 + 2. Suppose j*h = h. Solve 3*s - 4*c + 13 = h, 3 = 2*s + 4*c + 5 for s.
-3
Suppose -k = k - 4. Suppose 3*h + k*h - 40 = 0. Solve -4*s - 2 = 5*x, 3*s - 2*x - h = -x for s.
2
Suppose 0*x + 8 = -4*x. Let a be (-1 + (-1)/x)*0. Suppose -m + a*m + 3 = 0. Solve 0 = -3*o + 3*j, o + j - m = 7 for o.
5
Let b = 0 - 0. Suppose -4*z = 14 - 34. Solve -m + 3*x - 1 = -5, 5*m + z*x = b for m.
1
Suppose -n + 5*u + 10 = 0, -4*u + u = 0. Suppose -3*z + i = -5, z + 2*i - n = 4*i. Solve -3*v + 6 = -4*t, -4*v - t + 5*t + 4 = z for v.
-2
Let y = -14 + 14. Solve 22 = -5*t + g, y = 4*g - 8 for t.
-4
Suppose -4*q + 5*h - 5 + 32 = 0, -2*q + h + 21 = 0. Solve -5*s = b + q, -2*s = -3*b + 2*b + 8 for b.
2
Let n = -123 + 125. Solve 5*b + 5*j = 25, -4*j + n*j = -5*b - 3 for b.
1
Let b = 8 + -8. Solve -4*d = -m - 23, 2*d + b*m = -3*m + 1 for d.
5
Let o(s) = 2*s + 3. Let t be o(0). Solve -2*l - p = -l + t, -p = -2 for l.
-5
Let j be (-3 - -1) + 3 + -1. Suppose -s - 3 - 4 = j. Let t(o) = -o**3 - 6*o**2 + 8*o + 7. Let f be t(s). Solve f = 2*w - 8, 2*p - w = -2*p for p.
1
Suppose 4 = 3*p - 5*q - 1, -5*p = 3*q + 3. Let o = 0 + p. Let g(c) = c**2 + 2*c - 1. Let w be g(1). Solve o = -x + n, -4*x - 1 = -w*n + 1 for x.
-1
Let c(y) = y**2 + 1. Let l(v) = -5*v**2 + 2*v - 7. Let j(a) = 6*c(a) + l(a). Let i be j(1). Solve p - 25 = 4*o, 3 = -2*p + i*o + 23 for p.
5
Let d(s) = -s**2 + 6*s + 14. Let j be d(6). Solve -2 = p - g + 4, 3*p + 5*g - j = 0 for p.
-2
Let y(t) = -7*t - 12. Let v be y(-2). Solve -2*i + f + 5 = 0, -2*i + 5 + 3 = -v*f for i.
1
Let v(w) = w**2 - 7*w + 10. Let l be v(6). Solve 0 = -2*f - d + l, 0 = 5*f - 3*d - 5 - 5 for f.
2
Let l = 12 + -9. Suppose 5*h - l*g = 37, 3*h = -0*h + 4*g + 31. Solve o + 3 = 5*o + 3*f, -h*o - 5*f = 0 for o.
3
Let o = 58 - 45. Solve 5*t = -3*k - 18, 4*t - 2*k + 3*k + o = 0 for t.
-3
Suppose -44 = -2*t - 2*t. Solve -18 = 5*z - 3*c, t = -4*z - z - 4*c for z.
-3
Let d = -6 + 15. Let n be (78/d)/((-2)/(-3)). Let p(i) = i**2 - 15*i + 9. Let u be p(15). Solve -n = 3*h + m, -2*m = -h - 0*m - u for h.
-5
Let q(z) = z**2 - 3*z + 1. Let o be q(4). Suppose j = 3*m + 8, -2*m = o*j - 5*m - 16. Solve 2*h + 2 = -3*r, 2*r + j*h + 2 = -0 for r.
0
Suppose s - 9 + 0 = 0. Let v = s + -4. Solve -12 = 2*t + v*r, -5*t + 5 = 4*r + 1 for t.
4
Let t(b) = -b**3 + 5*b**2 + 2*b - 2. Let f be t(5). Suppose -4*z + 2*z + f = 0. Suppose z*m = 2*g + 12, -1 = -g + 3. Solve -m = -4*x + u, -3 = 3*u - 0 for x.
1
Suppose -3 - 12 = -5*p. Suppose 0 = p*a - 2*a - 4. Solve 3*s - a*f + 5 = 0, 5*s - 4*f + 0*f = 5 for s.
5
Suppose 5*n - 4 = 3*m, -5*n + 0*n = -5*m. Let u be -4*(-6)/8 - -21. Solve -11 = 3*j + 4*g, -4*g = -2*j + n + u for j.
3
Let j = -8 + 10. Suppose j = 2*k - k. Solve -k*x = -5*c - 26, -4*c = -0*c - 2*x + 22 for c.
-4
Suppose -3*q = -3, -o = 3*q - 6*q + 1. Suppose -2*u + 0*u = -a + 1, o*a = 5*u + 2. Solve -5*d + l = 24, -3*d - 18 - a = 4*l for d.
-5
Suppose 2*s - 4*s = -20. Suppose 50 - s = 5*f. Suppose -3*b = -2*j - 7, -5*b = 2*j - 28 - 5. Solve -4*i = -j*h - f, -i + 21 = -3*h - 3*i for h.
-5
Let s be ((-3 - 0) + -35)*-1. Let w = s + -20. Solve w = 3*i - 4*l + 44, 0 = -2*i - l + 1 for i.
-2
Suppose -6 = -q - q. Suppose q*v + 45 = -2*v. Let h = -5 - v. Solve h*t = -0*t + 2*b - 2, -b - 11 = 4*t for t.
-2
Let m = -116 - -121. Solve -m*o = -5, 2*k + 2 = 4*k + 4*o for k.
-1
Let t = -7 + 24. Solve -5*l + i = -7, -4*l + i + t = 4*i for l.
2
Suppose 9*l - 45 = 4*l. Suppose 2*z + 5*c - 93 = 0, c - 5*c + 190 = 5*z. Let u be z/l - 6/(-27). Solve 0*i + 36 = -u*b - 4*i, 0 = -5*b + i - 15 for b.
-4
Let g(i) = i - 3*i + 2 - 3*i + 1. Let w be g(2). Let p = 12 + w. Solve 0 = p*c + 3*d - 20, 2*c = 2*d - 7 - 1 for c.
1
Suppose -3*y + 3*y = y. Let w(d) = -2*d. Suppose 0*r + 3*r + 3 = 0. Let b be w(r). Solve y = -2*m + 3*j - b, 5*m + 4*j = j - 5 for m.
-1
Let w(b) = -b**3 + b - 2. Let u be w(-3). Let q(i) = -i**2 + 7*i - 2. Let y be q(8). Let c = u + y. Solve -a - 5*k = -6*a - 20, 5*a - k = -c for a.
-2
Let h be -2 + 1/((-1)/(-3)). Let y = -1 + h. Solve -4*v = 3*x + 15, -5*x - 4*v - 17 = -y*v for x.
-1
Let g = 47 + -47. Solve g = -4*u - 0*u + 3*s + 23, -4*u - 5*s - 17 = 0 for u.
2
Let g = 522 + -242. Let p be g/16*(-4)/(-5). Solve 0 = -2*h - 4, -4*o + h - p = -0*h for o.
-4
Let i(q) = q**3 + 6*q - 4 - 1 + 4 - 6*q**2. Let w be i(5). Suppose 0 = s - 6 + 4. Solve 3*a - 23 = s*r, 0*r = -a + w*r + 21 for a.
5
Suppose -4 = -a - 0. Suppose a*x = -x. Solve x = -2*m - 5*r + 4*r + 2, -5*r - 10 = 0 for m.
2
Let g = 12 + -6. Let b(r) = 2 - 15*r**2 + 14*r**2 + g + 7*r. Let k be b(6). Solve 5*n = -4*a, -3 = -2*n - 5*a + k for n.
-4
Suppose i + 4*i = 10. Solve 24 = -4*l - 4*h, 0 = -2*l + 2*h - 2 - i for l.
-4
Let i(a) = a**3 + 7*a**2 - a - 4. Let d be i(-7). Solve d*j + 4*f = -5 - 11, 4*j = -2*f - 8 for j.
0
Let t = 36 + -24. Solve -3*i + 4*z = -4, 6*i - 2*z = 2*i + t for i.
4
Suppose 9 = -3*j - 9. Let r be -3 + (1 - 3) - 1. Let y = j - r. Solve 3*b + 8 = -p + b, 5*b + 20 = y for p.
0
Let i = 1 - -1. Suppose 2*g + i = 10. Solve 1 = -v + 3*h - g, -7 = -3*v - 2*h for v.
1
Let y(u) = u**2 + 7*u - 3. Let p be y(-9). Let o be (6/(-5))/((-6)/p). Let l be 0 - (3 + -1*8). Solve j = n - o - 1, -l*j = 15 for n.
1
Suppose 103 = 7*c - 2*c - 2*o, 5*c - 5*o - 115 = 0. Solve -5*d + 2*s - 31 = -0*s, 3*s = 2*d + c for d.
-5
Let w = 12 + -8. Solve -3*f - t + 10 + 9 = 0, 0 = t - w for f.
5
Let d(c) = -c - 7. Let p be d(-8). Let g(b) = -p + 6*b + b + 0. Let u be g(1). Solve -u*o + 10 = -o, 18 = -5*v + 4*o for v.
-2
Let b be 3/(114/37 + -3). Suppose 25 = 2*o - b. Solve -5*i = 5*s - o + 11, i = 1 for s.
3
Let y(o) = 0*o + 4*o**2 + 2*o**2 + o. Let m be y(-1). Let r = 5 - m. Solve r = -4*p, 0 = -2*u - 3*p + p - 4 for u.
-2
Suppose 4*s = -3*y + 30, -3*y + 15 = -0*y - s. Let j = 4 - y. Let p = j - -18. Solve 0 = 2*n - 5*g + 31, 3*n - g = -6*g + p for n.
-3
Let g = 2 + -2. Suppose 3*q - l = 4*q - 28, g = 4*q + 3*l - 108. Solve -4*m = -4*x + q, -m = x - 0*m for x.
3
Let q(g) = 4*g + 43. Let u be q(-9). Solve -n - 3*x + 2 - u = 0, 0 = n - 2*x + 5 for n.
-5
Suppose -5*s = -131 - 29. Solve -4*c + 12 - s = 3*f, -2*c - 10 = -f for c.
-5
Let z(w) = w - 25 + 25 - 3*w**3. Let k be z(-1). Solve 0 = -3*h - 5*f - 10, -2*h + 4*h = -k*f - 4 for h.
0
Suppose a + 7 = 1. Let c(w) = -w**2 - 6*w + 4. Let x be c(a). Solve 5*o = -5*q + 20, o + 5*q + x - 12 = 0 for o.
3
Suppose -4*m = -56 - 24. Let a = -14 + m. Let i = a - 1. Solve i*g + 3*x = -19, 0*g + 14 = -2*g + 2*x for g.
-5
Let r be ((-2)/4 - 28/(-24))*3. Solve 4*a = -5*w - 4 - 36, -r*a - 6 = -w for w.
-4
Suppose 10*h = -w + 5*h + 25, -4*h = w - 23. Solve -4*a = 2*c + 24, -3 = -c + 4*a + w for c.
-2
Let i be (-4)/10 - 508/(-20). Solve 3*y + 5 = -2*t - 5, i = -5*t - 5*y for t.
-5
Let f be (2/(-3))/(38/(-171)). Solve 0 = 4*b + 8 + 8, 0 = -4*a - f*b + 4 for a.
4
Suppose 25 = 4*q + q. Suppose h - q = -4*h. Suppose -43 = -4*f + 5. Solve 4*z - i = -f - 4, z + i = h for z.