j. Let a be s(1). Solve 0 = -m - y + c*y + 12, -4*m - 5*y - a = 0 for m.
-3
Suppose -4*s + 105 = s. Solve 2*q - 2*f - s = -7*f, 0 = 2*q + 4*f - 18 for q.
3
Let o be 12/(-8) + 1/(-2). Let q = o - -5. Suppose -v + 10 = -2*i, 2*v + q*v = 5*i + 30. Solve 0 = 5*b + 15, -7 = v*z - b - 0 for z.
-5
Let c = -28 - -32. Solve c*m + 5*h + 17 = 0, -4*m + 0 = 3*h + 15 for m.
-3
Let c = 13 + -8. Suppose 0*g + c*u - 18 = -4*g, -3*u = 2*g - 10. Solve -5*y + 2*q = -6*y - g, 0 = 5*q for y.
-2
Suppose -2*h = -5*h. Let v = 2 + h. Solve 0 = 5*r - p - 10, -v = -4*r + 2*p - 0 for r.
3
Let d = 35 - 28. Let a be ((-10)/(-15))/(4/66). Let y = a - d. Solve 3*j - 4*z = z - 6, 0 = 2*j + 3*z + y for j.
-2
Let t be (6 + 3)*(-2)/(-6). Suppose -3*l + 7 = 4*g, 2 = t*l + 5*g - 3. Let o = 32 - 12. Solve -3*p = 2*p, 0 = l*w - 4*p + o for w.
-4
Let h be (-1)/(-2) + (-532)/(-8). Let v = h - 47. Let q be v/6*(-12)/(-10). Solve -16 = 5*x + 4*b, q*x - b - 12 = 2*b for x.
0
Let r = -3 + 0. Let t(f) = f**3 + 4*f**2 + 2*f. Let n be t(r). Solve g = -n*y - 1, -4*y + 7 = g + 2*g for y.
-2
Let o be 3/9*(0 + 18). Let l = 10 - o. Solve -y - 21 = -2*y - l*g, -3*y + 8 = g for y.
1
Let x(u) = u**3 + 8*u**2 + 13*u + 7. Let f be x(-6). Suppose -5*k + 11 = -s, 2*k + 0 - f = -3*s. Solve 0 = k*w + 8, -4*w = -4*r - 6*w - 12 for r.
-1
Suppose -n + 4*n - 9 = 0. Suppose 0*o = 2*o. Solve 6*t - t = -20, -2*v - n*t - 22 = o for v.
-5
Suppose 3*c = c + 74. Solve -5*u + 4*z = c, -u + 6*u + 22 = -z for u.
-5
Suppose 3*c = -3*c + 12. Solve n = 3*w - 2 - 9, 12 = 4*n + c*w for n.
1
Let a(v) = v**3 - 5*v**2 + 2. Let m be a(5). Suppose -3*w + 3*p = -15, -5*w - 4*p + 54 = 11. Solve m*i = d - 0 - 1, -d + w = -5*i for d.
-3
Let i = -2 + 6. Suppose 2*j - 8 = -5*y, 0 = -4*j - 9*y + i*y + 16. Solve -2*q - p = -j*p + 19, 17 = 4*q + 5*p for q.
-2
Suppose -3*i + 6 = -0*i, -p - i = -14. Let m(l) = -l + 17. Let d be m(p). Solve 3*u = -2*z + 20, z + d = 3*u - 3 for z.
4
Let d be 1*(-2 - -3) + 4. Suppose 2*z = d*z. Let t be 0 - z - (-8 + 3). Solve -3*l - t*s = -1, -3*l - s = s + 5 for l.
-3
Suppose 3*r + z = 24, 0 = 3*r + z - 2*z - 30. Let q(c) = 2*c - 3. Let o be q(3). Solve -o*y + 5*l = -1, -2*y = 4*l + l - r for y.
2
Suppose 5*b + 3*g + 46 = 0, b - 5*g = -10 - 16. Let w = -6 - b. Suppose -4*a = -0*a + u - 7, -3*u = w*a. Solve -13 = -4*j - 1, -27 = a*x - 4*j for x.
-5
Let s = 75 + -73. Solve 5*u + 2*o + 6 + 4 = 0, 0 = -s*u - o - 3 for u.
-4
Let q(w) = -w**2 - w - 3. Let f(o) = o**2 + 1. Let p(v) = 5*f(v) + 2*q(v). Let z be p(3). Solve 3*c + 20 = -0*u - 5*u, 0 = -5*u + 2*c - z for u.
-4
Let h(r) = r**3 - r. Let d be h(0). Let y(m) = -m**3 - m**2 + m + 2. Let a be y(d). Suppose -a*g = g. Solve -4*b + g*b = 4*s, -5*b - 6 = -s for s.
1
Let p be (0 - -16)*(-1)/(-2). Let c = p + -6. Let z be -2 + 0 - (-68)/4. Solve q - 12 = 4*d, -c*d - 2*q - 1 - z = 0 for d.
-4
Suppose 6*f - 11 = 5*f. Suppose 0 = -4*g - f + 107. Solve g = 3*t - 4*z - 8, -3*z - 19 = -t for t.
4
Let c = -116 + 128. Solve 3*z + z = 4*x + c, -16 = -3*x - 2*z for x.
2
Suppose -12 - 8 = -5*b. Let p = 0 + -1. Let z = 8 + p. Solve 3*s = z*s - b*l + 4, -4*l + 10 = -s for s.
2
Suppose l - 5*y = 13, 6*l - 2*l + 2*y - 8 = 0. Let f be 4/(-14) + 4/14. Suppose -8*i + l*i = f. Solve -3*m - n - 6 = -0, i = -m + 5*n + 14 for m.
-1
Suppose 0*f = 2*f. Let h = 2 + f. Solve 3*v = -4*w - 13 - 7, h = 2*v - 5*w for v.
-4
Let z(a) = -a**2 - 3*a. Let g be z(-3). Let o = g - 0. Solve 3*r - 2 - 10 = 4*f, 4*f = o for r.
4
Suppose -48 = -15*q - q. Solve -8*f + 4*g + 1 = -q*f, -2*f = 2*g + 14 for f.
-3
Suppose 7*x - 15 = -5*w + 2*x, w - 5*x + 3 = 0. Solve 0 = f + 4*m - 13, -w*f + 6 = 3*m - 0*m for f.
-3
Suppose 56 - 22 = 2*v. Solve 3*f = 5*w + 20, -4*w + 5*f - v = 12 for w.
-1
Suppose u = 1 + 15. Let x be 3/((-10)/u + 1). Suppose 8 = -2*n + 3*z, z - 22 = -n - 4*z. Solve -n*o - 20 = 5*s, 0 = -2*o - x - 2 for s.
-2
Let x be 1/2 - (14/(-4) + -1). Solve x*m + 50 = 5*h, h = -3*m - 12 + 2 for h.
5
Suppose 11 + 4 = 5*i. Solve 2*c + i*h - 14 = -0*c, 0 = -c + 5*h - 6 for c.
4
Suppose 0 = 2*t + t + 4*g + 16, -12 = 2*t + 4*g. Let b be ((-18)/(-12))/((-3)/t). Solve 5 + 15 = -5*j + 4*x, b*j + 20 = 4*x for j.
0
Let b be (-40)/(-16)*4/(-5). Let i = 7 + b. Solve 4*f + i*s + 0 = 2, 4*s - 12 = 2*f for f.
-2
Suppose 0*g + 3 = g. Suppose 4*z = 2*q - g - 7, -2*q + 3 = 3*z. Solve -12 = 4*s, 2*r + 7 = -4*s - q for r.
1
Suppose -5*t + 2*h = -9, -4*h = -4*t - 0*t. Suppose -3*n = n + t*q - 21, -n - 4*q + 15 = 0. Solve -3*c - 12 = c + 2*r, c = n*r - 17 for c.
-5
Suppose 0 = 2*r + 3*b + 20, 4*b = 5*r - 2*r + 30. Let l = r + 22. Solve 0*g + l = -4*g - v, 3*g + 9 = -v for g.
-3
Let i = 4 - 1. Suppose -4 = i*p + 5*u - 0, u = -p. Solve -3 = -p*d - 5*k - 21, -4*d - 2*k - 20 = 0 for d.
-4
Let i = 8 - 13. Let x(k) = -k**3 - 6*k**2 - 4*k + 6. Let h be x(i). Suppose -2 = -z - h. Solve 5*c + 0*c + 2*b - 20 = 0, -2*c = -b + z for c.
2
Let l be (-3)/2*116/(-6). Solve -13 = 2*s - 3*v, -4*s + 5*v = l - 6 for s.
-2
Suppose 0 = s - 3 - 2. Let g = 7 - s. Suppose 4 = 3*d - g. Solve 2*n - 5*c + 6 = 0, -d*n + 5*c + 6 = -4*n for n.
-3
Let i be ((-4)/(-16)*-10)/((-10)/8). Solve c - 3*c + 4 = -m, -i*m = -2*c + 8 for m.
-4
Let s be (2 - 4/8)/((-12)/(-16)). Solve -4*q = s*a + 10, -10 = 3*a - 5*a + q for a.
3
Suppose 3*v + 23 = -16. Let f = v - -18. Suppose 3*o + 5*r = 0, 4*o - 4*r - 17 - 15 = 0. Solve -4*j - 16 = -2*j - f*d, 0 = -o*d + 10 for j.
-3
Let a be (10/8)/((-2)/(-8)). Solve -a*x + 19 = 3*q, 3*x - 2*q - 20 + 1 = 0 for x.
5
Suppose -d = 3, 2*p = p - 2*d - 6. Solve 5*l = -3*g + 20 - 9, 2*l + 3*g + 1 = p for l.
4
Let o(v) = -v**2 + 5*v + 1. Let n = 6 + -2. Let q be o(n). Let y(s) = -s**3 + 5*s**2 + 2*s - 5. Let f be y(q). Solve -2*l + 14 = f*x, l = 5*x + 5*l - 8 for x.
4
Suppose -1 = 3*l - 16. Solve -l = 5*f, 3*f - 7 = -j + 7*f for j.
3
Let t(j) = -4*j**2 + 1. Let r be t(-1). Let w be (r/(-2))/(2/12). Solve 4*b - 29 = -w, 0 = -f - 4*b + 21 for f.
1
Let m(p) = p**2 + 4*p + 7. Let i be m(-6). Let q = i + -8. Suppose 1 = 2*t - 3. Solve t*h - o + 6 = h, -4*h - 3*o = -q for h.
-1
Let h = 12 - 9. Suppose 0*r - 5*r + 15 = 4*k, -2*r + 6 = h*k. Let m = -7 - -10. Solve -5*a = r*o + 20, 2*o + 6 = m*a - 1 for a.
-1
Suppose 0 = -n + 6*n - 5. Suppose -2*r - n - 24 = -5*u, 2*r - u + 29 = 0. Let q = -11 - r. Solve 0 = 3*y - q*c + 18, 3*y - 5*c + 2 = -19 for y.
-2
Let u be -3 + (-11)/(-3) - (-13)/3. Solve u*r - 35 = -3*b, -r - 4*r = b - 25 for b.
5
Let d be (1 - 4) + -3 + -1. Let j(n) = -n**3 - 6*n**2 + 6*n - 7. Let l be j(d). Solve v + 5*r = 17, l = -5*v - 0*r + 5*r - 35 for v.
-3
Let b = 18 + -18. Solve b = 2*f - 6, 5*i + 7 + 15 = -f for i.
-5
Suppose 5*l = -4*k - 12, -4*l - 9 = -3*k + 13. Solve -18 = 3*b - 2*p, p - 5 = 2*b + k*p for b.
-4
Let k = -7 - -37. Let b be (-2)/(-1 + 28/k). Let j = -10 + b. Solve -6 = -4*i + 2*x - j, -5 = -5*x for i.
-3
Suppose -4*h - 6 = -26. Solve 3*i - h = -4*k - 6, 2*k + 2*i = -2 for k.
2
Let u be 10/(-3) + 4/(-6). Let q be u/(-2) + 0/(-4). Solve 4*a = -3*z - 16 - 2, -2*a + 2*z = q for a.
-3
Let s = -9 + 3. Let h(c) = c**2 + 5*c + 4. Let y be h(s). Solve 2*j + 24 - 1 = -5*i, 0 = -5*j + i + y for j.
1
Let n be -1 + 1 + 33 + 6/(-6). Solve 4*s + n = -4*h, 5*s + 3 = 2*h - 2 for s.
-3
Suppose -5*k + 3 = -3*f - 6, -3 = 3*k + f. Suppose k*z + 3*z = 36. Suppose 2*m = m - 5*d - 3, 5*m - 2*d - z = 0. Solve 2*i + 2*i = 2*g + m, 3*g + 3 = 0 for i.
0
Let o be (-21)/(-4) + 5/(-20). Solve 0 = 4*r - v - 2*v - 15, -r - o*v - 25 = 0 for r.
0
Let i = 79 + -77. Solve -5 = i*x + m, 2*x + 5*m + 22 = -3 for x.
0
Let w be (-8)/28 + (-6)/(-21). Solve -3*i + 0*i + 4*c + 24 = w, -2*c = -5*i + 26 for i.
4
Let z = -2 - 0. Let i be -2*(-1 - z/(-4)). Solve 0 = i*m + 4*a - 5, 7 = m - 2*m + 3*a for m.
-1
Let c = -165 + 170. Solve -c*m - 2*r = -4, 2*m + 3 = r + 1 for m.
0
Let a(z) = z**2 - z - 2. Let f be a(2). Suppose l + 112 = 5*l - 5*g, f = 3*l - 4*g - 84. Solve u = 2*v + 9, -6*v = 3*u - v + l for u.
-1
Suppose 8*i = 7*i + 16. Let w = i - 11. Solve -h - w*l - 30 = 3*h, -4*h + 4*l - 12 = 0 for h.
-5
Suppose -4*x + 5 = 3*q, 0 = x + 3*x + 4. Suppose -q*j + 93 = -3*n, -4*j + 3*n = -91 - 28. Solve 5*u - 17 = k, -7*u = 2*k - 2*u - j for k.
3
Let q be (-7)/(-1*3/6). Let i be 1/(((-12)/9)/(-4)). Suppose i*h - 1 - 11 = 0. Solve 4*l - 4*b + 3*b = 6, 5*b = h*l - q f