*2 + 6*k + 2. Let s be x(-4). Suppose 13 = -o + 3. Let u be s/o + (-2)/5. Solve 3*h = -4*f - f + 13, 5*f = -u*h + 5 for h.
-4
Let m be (2 + 1)*((-8)/(-3))/2. Solve 0 = m*r - 3*w + 6 + 4, 3*r + 11 = 4*w for r.
-1
Let v be 1*-4*2 + 1. Let f be (0/3 + -1)*v. Suppose 2*l = f*l - 10. Solve -2*a - 6 = -l*i - 2*i, 0 = 3*a + i - 5 for a.
1
Let b(u) = u**2 + 2*u - 4. Let y be b(-3). Let m be y/(-3*(-3)/18). Let p be (-4)/(m*(-2)/(-6)). Solve -k + r - p = 2*k, 0 = 2*r for k.
-2
Let w be 2/6 - (-1)/(-3). Suppose 3*c = -w*c - 5*b, c = 5*b + 20. Solve c*s + 28 = 3*y, -s - s = 2*y + 8 for s.
-5
Suppose 0*l = -l. Suppose l = -4*h + 5*u + 45, 2*h - 4 - 1 = -u. Suppose -x + 3 + 2 = 0. Solve 0 = h*s + 4*y + 4 + 6, 0 = y + x for s.
2
Suppose 2*d + 8 = v - 1, -5*v + 4*d + 33 = 0. Suppose -3*m + v*h = -20, 5*m + 20 = m - 5*h. Solve m = 5*i - 15, -2 = -3*b + i + 1 for b.
2
Suppose -8*x + 8 = -4*x. Let c be -4*(2 - 1 - x). Let q be 22/6 - 2/3. Solve s - c*s + 37 = -5*k, -15 = q*k for s.
4
Suppose z + 20 = 5*z. Suppose -4*p + 0*i + 12 = 4*i, -3*i = -6. Suppose -3 = -a + p. Solve 0 = 2*u + z*l - 8, -u + a = -2*l for u.
4
Suppose 0 = 5*c + 3*s, -3*s = -3*c - s + 19. Let g = 7 + -5. Solve 0 = -g*d + 5*p - 14 - 6, -5 = c*d + 5*p for d.
-5
Suppose 4 = -d + 5*m + 2, -d - 2*m = -5. Solve 2*l + 2*c + 8 = 0, -5 = 2*l - 4*c + d*c for l.
-3
Let h(z) = z - 4. Let n be h(9). Solve -4*o = 3*k - 1 + 17, o = n*k - 4 for o.
-4
Let o = 1 + -1. Let n(h) = -h + 11. Let r be n(6). Suppose -5*q + 105 = r*p, -3*q - 2 + 57 = 5*p. Solve 5*b = 2*x + b - 4, o = 4*x + 3*b + q for x.
-4
Suppose 2*b - 43 + 11 = -4*s, 0 = -s - 5*b + 17. Let z be 2/6*3*5. Let m be 1/(2/10) + 0. Solve -4*i = -s*i + 5*d + z, -5*i - m*d = 5 for i.
0
Suppose 3*j = 4*f - 43, 3*f - 5*j = 8*f - 80. Suppose 2*d = -0*d + 10. Solve -6*o + 3*o = -d*k + f, -4*o + k = 6 for o.
-1
Let z = 165 - 155. Solve 0 + z = -5*f, -4*k + 5*f + 10 = 0 for k.
0
Let x(d) = d. Let g be x(4). Suppose t = 15 - g. Solve -5*q = -3*o - t - 0, 2*q = 5*o + 12 for q.
1
Suppose -11 = -3*r + 5*m, 1 = 4*r - 2*r + 3*m. Solve -r*q = -q + 5*b - 7, 0 = 4*q + 3*b + 6 for q.
-3
Let r be 1*(-1 - (-2 + 0)). Let p(g) = 3*g**2 - g + 1. Let v be p(r). Solve 4*w + b = 2*b - 24, -3*b - v = 3*w for w.
-5
Let b(z) = 0 + 0 - 2 - z**3. Let k be b(-2). Suppose 0 = -4*h + k*h - 4. Solve 0*g - 2*g + 4 = 0, -29 = 5*x - h*g for x.
-5
Suppose -3*d + 14 = -1. Let g = 103 + -58. Suppose 4*t - 2*c + 4*c = 26, 5*t - g = -d*c. Solve -2*f + t = 2*p, -5 = -3*p - 5*f + 5 for p.
0
Let x(i) = i**3 + 12*i**2 + 12*i + 13. Let f be x(-11). Solve -3*q + 15 = 5*a, -3*a + f*a = -q - 3 for q.
0
Let c = 15 + 1. Let v be (-20)/6*(-18)/15. Suppose v*i = -0*i + c. Solve -8 = 3*l - l - i*p, -l - 2*p = -4 for l.
0
Let k(o) = -3*o + 1 + 1 - 8 + 1. Let j be k(-5). Solve -5*y - 4*a - 2 = -j*y, -a + 1 = -2*y for y.
-2
Suppose 5*c + 0*c = 505. Suppose 0 = -2*v + c - 13. Suppose -5*m + 3*m = -2*d - 12, -4*m = d - v. Solve -y = -5*j + 22, y = -j + 3*j - m for j.
4
Let r be 156/(-3)*1/(-4). Solve 9*t - 4*t - 3*h - 7 = 0, -5*t + r = 3*h for t.
2
Suppose -4*o + 24 - 4 = -x, 4*x = -4*o. Solve -3*m + 0*m = o*h + 21, 5*m - 3*h + 6 = 0 for m.
-3
Let o(w) = -2*w**2 + 14*w - 1. Let y be o(6). Solve 3*m + 0*g - y = 2*g, -3*m + 10 = -g for m.
3
Let t = -8 + 31. Let v(j) = -j**3 + 3*j**2 + 3*j - 1. Let r be v(3). Solve 0*s - r = 4*f - s, t = -3*f + 5*s for f.
-1
Let n = -4 - 0. Let l be 3/(-1 - 22/(-16)). Let i = l + n. Solve 0 = -5*r + 2*x - 9, -i*r + x - 6 = -0*r for r.
-1
Suppose 0 = -0*z - 3*z. Suppose 36 = 3*y - 30. Let q be (-2)/3 + y/6. Solve z = 2*x - 2*s + 6, q*x = s - 0*s - 1 for x.
1
Suppose -3*a - c - 2*c = -21, -a + 13 = 3*c. Let i = -18 + 16. Let m(y) = 3*y**2 + 2*y - 2. Let p be m(i). Solve 4*b = -u - 2, -a*b = -p*u + u - 10 for b.
0
Suppose -g + 2 = o + 5, 0 = -2*g - o - 3. Let u be 3 - (3 + g - 2). Solve -4*i = 4*v + i - u, -4*v - i + 10 = 0 for v.
3
Suppose 3*v + 4*d + 46 = 0, 2*v + 4*d - 26 = 3*v. Let k be 2/(-6)*(3 + v). Let o = -5 + 27. Solve 5*p - o = -3*y, 2*y - k = -2*p + 3 for y.
-1
Let o(m) = -m**3 + 3*m**2 + 3*m - 3. Let c be o(3). Solve -18 = -r - 3*p, 3*p = -3*r + 6*p - c for r.
3
Let g = 153 + -35. Suppose -5*a + a = 4*o - 104, 0 = 5*a + 2*o - g. Solve -3*z + 4*r + a = 0, -2*z = z + 3*r + 6 for z.
2
Let i(n) = -3*n - 6. Let r be i(-4). Suppose 4*q - 10 = r. Suppose 2*p + 0*p = 4*w + 2, -5*p - 3*w = -18. Solve -3*o - p = -6*o + 5*m, -q*o - 7 = -3*m for o.
-4
Let i be (-1 + -2)*(-24)/36. Solve -i*y + 5*r + 9 = 0, -y + 0*r = -r for y.
-3
Let p be (-9)/(-15) + (-39)/15. Let d be 11 - (4 + 4/p). Solve -13 = 2*l - 3*a, -l + 3*l = -a - d for l.
-5
Let a = -10 - -16. Let i(u) = -13*u + 1. Let h(n) = 7*n. Let t(b) = 11*h(b) + 6*i(b). Let p be t(a). Solve -18 = 4*j - 2*k, 5*j - 3*k + 7*k + 29 = p for j.
-5
Suppose -9*h + 150 = -4*h. Let z = -15 + h. Solve -4*u = -4*b, 3*b - 5*u - z = b for b.
-5
Let w(z) = 3*z**2 + 2*z + 1. Let o be w(-3). Suppose 0 = -6*d + 4*d + k + o, 4*d = 5*k + 50. Solve 0 = -j - 2*b - 4, 4*j = -9*b + 4*b - d for j.
0
Let j(q) = 3*q**3 - q**2. Let r be j(1). Suppose -5*g + 12 - 2 = 0. Solve -g*t + r*v + 6 = -2*v, 4*t - 5 = v for t.
1
Let w(t) = 1. Let n(h) = h - 13. Let f(p) = n(p) + 4*w(p). Let q be f(9). Solve 2*x + 3*k + 19 = q, 3*k + 1 = 4*x - 6 for x.
-2
Suppose 9 = -i + 4*i. Suppose -i*g = -3 - 3. Solve -2*c = -2*k + 8, -3*k = -5*c - 12 + g for c.
1
Let b(z) = z + 1. Let p be b(3). Let i = 4 - p. Solve i = -3*u - 5*a + 19, -5*u + 25 = 4*a + a for u.
3
Suppose -2*r - 82 = -130. Solve -3*i = 4*g + r, -4*i + 2*g = g + 13 for i.
-4
Let u = -14 + 18. Solve -2*d - 2*o = 18, u*d - 4*o = -0*o + 4 for d.
-4
Suppose 0 = -5*r + 15 + 5. Solve 0 = r*t + 16, 5*t - 8 + 22 = 2*j for j.
-3
Suppose j = 17 - 15. Solve -4*z - 5 = -5*x, 3 = -z + 5*x - j for z.
0
Let i be 1 + 7 + -6 + (-1 - -4). Solve i*q - 28 = -4*x, 6*x - 4*q + 6 = x for x.
2
Let i = 22 + -7. Suppose 5*a - 9 = -3*b + i, 2*b - 5*a = -9. Solve -b*f + 4*w = 21, w - 15 = 5*f - f for f.
-3
Let v be 0/(-4) + (-3)/(6/(-8)). Solve 3*x + 3*f + 7 = -f, -v*f = 2*x + 2 for x.
-5
Let h = -15 - -34. Let g = -20 - -10. Let q = g + h. Solve -5*n - 24 = 5*w - q, 4*w + 2*n + 14 = 0 for w.
-4
Let q(o) = o + 6. Let g be q(-6). Let t be -1*1 - (-2 + g). Solve 5 = -5*y + 5*w, -3*w = 4*y - 4 + t for y.
0
Let x = 9 - -6. Solve -x = 4*r - c, r - 18 = 6*r - 2*c for r.
-4
Suppose 16*h = 23*h - 14. Let o(f) = -2*f + 4. Let u be o(-7). Solve h*w = 2*n + u, -4*n = -3*w + 28 + 4 for w.
4
Suppose 0 = 2*n - n - 2. Solve -n*v + 3*v = -3*c + 5, 10 = 2*v - 3*c for v.
5
Let v be 5 - (-5)/(-1 - 4). Solve q - 6*q + 4*y - 11 = 0, -v*y + 20 = 4*q for q.
1
Suppose 0 = 2*f - 14 - 0. Suppose -2*b = -f*b + 155. Solve 2*d = -4*a + 3*a - 6, -3*d + 4*a - b = 0 for d.
-5
Let w be (-9)/((-18)/4) + -1. Solve 2*c + 3*x = x + 2, c - w = x for c.
1
Let f be 3 - 3 - -1 - -3. Solve 2*g = -2*g - 3*x + 10, -8 = -f*x for g.
1
Let j be (-3)/2*40/(-12). Solve 5*c - j*w = -5, 2 = -4*w - 2 for c.
-2
Suppose 3*l - 11 + 74 = 0. Let z = l - -37. Solve 0 = 3*s - 2*y + z, 0*s = s - 5*y + 14 for s.
-4
Let k(p) = 2*p - 1. Let j(o) = o**2 - 5*o + 3. Let r be j(5). Suppose w - 3 = 0, 1 = -s + r*w - 6. Let x be k(s). Solve 2*d + 2 = -y, -4*y + 1 = x*d + 4 for y.
0
Suppose 2*x - 10 = -3*x. Solve 0*f + x*f - 27 = 5*c, -20 = 4*c for f.
1
Let c(k) = -k**3 - 5*k**2 + 6*k + 1. Let i be c(-7). Let t = -30 + i. Solve 0 = 3*v + 3*l - t, 7*v + 2*l = 3*v + 28 for v.
5
Let p be (-1 - -2)/(1/(-2)). Let s be (4 - 5)/(p/12). Suppose -3*u + s = 3*a, -3*u + 2*a + 0*a + 6 = 0. Solve -2*w + 3*w + 1 = -u*q, -2*w = -3*q + 2 for w.
-1
Suppose i = 2*h, 4*i - 2*h - 6 = 3*h. Solve 0 = 2*p + 3*c - i, -2*p + 3*p = 5*c + 15 for p.
5
Let l be (-6)/5*(-10)/3. Let d(j) = -j + j + l - j. Let y be d(4). Solve -4*n - 3*q + 0*q - 1 = y, -1 = 5*n + 4*q for n.
-1
Suppose 5*c - c = 20. Solve 3*s + 2 + 6 = c*a, a + 4 = -5*s for a.
1
Let p(l) = -2*l - 7. Suppose 2*z - r + 4 = -4, 5*r + 20 = 0. Let j be p(z). Let u(x) = -x - 4. Let a be u(-4). Solve a = 2*c - 3*d - j, c + 4*d + 2 = -1 for c.
1
Suppose 0*x = 3*x + 90. Let k = -12 - x. Let d be 4/10 + 15/25. Solve 2*t + d = j - 3, -4*t = 3*j + k for j.
-2
Let o = 7 - 2. Suppose 15 = -3*x - 3*d, 4*x + d = -0*x - o. Solve 0 = 5*u - 25, x*k = -2*k + 5*u - 27 for k.
-1
Let f be (1 + 1)/(