et n be 2 + 6 - s - 2. Solve -2*y + 4*y + l + 6 = 0, l - 22 = n*y for y.
-4
Suppose 10 = -i + 6*i. Suppose -2*g + 5*d - 5 = -7*g, -8 = -5*g - i*d. Solve 3*s + g*o + 7 = 0, o = -s - 6 + 2 for s.
1
Suppose -10 = -2*l, -5*z + 24 - 4 = 2*l. Solve 21 = 5*j + z*o, -2*o - 2 = -5*j + 7 for j.
3
Suppose -7 = -4*n + 1. Let x be (1 + -2 + 7)/n. Solve -3*a + 8 = -3*q - 8*a, x*q - 5*a = 2 for q.
-1
Let b be (3 - 8)*18/(-10). Let m = -4 + b. Solve n - 2*p + 1 = -m, p - 3 = n for n.
0
Suppose -3*l - 6 = 0, 2*o + l - 1 - 3 = 0. Suppose -3*k = -q + 8, k + 8 = -0*q + o*q. Suppose -3*j = 2*j. Solve -1 = 3*s - 4*m + 1, j = -s + q*m - 2 for s.
2
Let p(x) = x**2 - x - 2. Let i be p(-2). Solve m = 3*m + 5*g + 14, 5*m + i = 3*g for m.
-2
Suppose -3*i + 2*h + 94 = 0, -3*i - 37 = -4*i - 5*h. Let s be 5/(15/18)*2. Let m = i - s. Solve -5*l - 5*z = -m, -2*l - 14 = -7*l + z for l.
3
Let d = 4 + -2. Let t = 0 + d. Solve -20 = 4*m - 7*m + 4*v, 2*m = t*v + 10 for m.
0
Let k = 1 - -3. Suppose -12 = k*u, u - 5 = 2*h + 4. Let n(a) = a**3 + 7*a**2 + 5*a - 1. Let x be n(h). Solve 0 = -4*y - 2*q - 16, -5*y + 3*q - 25 + x = 0 for y.
-4
Let f be (3/(-12))/(1/(-4)). Let u = f + 1. Suppose v - 3 = -2*m, -m = -u*m + 3*v + 19. Solve -m*t - 2*s + 3*s = -7, -t = 5*s - 28 for t.
3
Suppose 4*m + 4 = j + 3*j, -37 = -3*m - 5*j. Solve -x = -w - m, -3*w + 2*w - x = -4 for w.
0
Let y = 15 + -17. Let d be y/16 + 3/24. Solve -p - 1 = d, 1 + 4 = -m - 3*p for m.
-2
Suppose 0*v - 4*m = 5*v - 21, 0 = 3*v + 2*m - 13. Solve -3*k + v*b - 11 - 9 = 0, -28 = 5*k - 3*b for k.
-5
Let b be 0 - -1 - (-5 - -1). Suppose 4*i + 2*g - 28 = -2*g, 0 = 3*i - b*g - 29. Let v be (1/((-1)/(-3)))/1. Solve 4*j + v*a - 7 = -2*a, j = 2*a - i for j.
-2
Suppose 8*k - 9 = 5*k, -a - 5*k + 23 = 0. Let j = 13 - a. Solve 2*q = -6*u + u - 19, j*q - 15 = 0 for u.
-5
Let u be 1/1*96/6. Suppose 0*i = -4*i + u. Solve 2*k + j + 3 = i*k, 4*k - 5*j - 9 = 0 for k.
1
Suppose 0*j = 3*j. Solve j = -v + g + 3, -v - 5*g + 21 = 6 for v.
5
Let b = 2 + 3. Let o = 13 + -5. Solve 8 = i + x, -b*i + 2*x + x + o = 0 for i.
4
Let t(c) = -c**3 - c**2 + 4*c + 0 - 3 + 2*c**2 + 3*c**2. Let h be (3/2)/(3/8). Let b be t(h). Solve -4*a + b = 5*x, 0 = 2*a - 2*x + x - 3 for a.
2
Let l be (-28)/(-35) + (-21)/(-5). Suppose w - 5*y = -3, -3*w + l*y - 1 = -2. Solve 5*j - 17 = -2*m, 3*j + 0*j - 11 = -w*m for m.
1
Let q = -7 - -7. Suppose q = -2*a + 4*i + 28, 0 = 3*a + 2*a - 4*i - 40. Solve -a*c - 3 - 11 = -o, -c - 12 = 4*o for c.
-4
Let h(o) = -o. Let g be h(-2). Suppose 4*x = -0*x + 5*d + 15, -g*d - 6 = -3*x. Solve x = -5*u - 2*j - 9, 4*j = 5*u - j - 5 for u.
-1
Let p = 12 + 16. Let i(j) = 2*j**2 + 2*j + 1. Let r(n) = -n + 1. Let k be r(-1). Let u be i(k). Solve p = -4*a - 2*w, 0*a - 2*w - u = a for a.
-5
Let g be (-6 + 1)/((-3)/3). Let k = -1 + g. Solve -4*p = w + 9, 0*w = -3*w - k*p - 19 for w.
-5
Let z = -3 - -18. Solve 2*g + 5*c - 6 = z, -c = -5*g + 12 for g.
3
Let r = 37 + -37. Solve -w = 4*w - 4*f - 45, r = -w - f for w.
5
Let f be ((-12)/27)/((-4)/18). Solve -4*b = x + 13, 0*x - 19 = f*b + 3*x for b.
-2
Suppose 10*j = 9*j. Solve -5*y + 31 = 2*m + m, -3*m - 3*y + 21 = j for m.
2
Let h = 14 + -6. Suppose 0 = -2*j + h - 2. Solve 0 = -3*m - j*y + 21, -5*m - y + 17 + 6 = 0 for m.
4
Suppose -5*v - 6 = 9. Let t = v - -7. Solve -q - 2*s + 3 = 0, s - 12 = -t*q + 2*s for q.
3
Let n(p) = p**2 - 13*p + 16. Let v be n(12). Solve 0 = -f - 5*k + 21, 5*k - 5 = v*k for f.
-4
Let u = -8 + 10. Solve 4*i + 3*c = 2*c - 5, u*i = -5*c - 25 for i.
0
Let p(y) = 4*y + 1. Let j be p(1). Suppose 5*v - 8 = 2. Suppose -j = -v*b - x, -2*b + 4 = x + x. Solve 3*l = b*w - 12, -5*l - 4*w + 21 = -4*l for l.
1
Let r(m) = m**2 - 9*m - 1. Let s be r(9). Let u be (-1 + -2)/(1/s). Solve -p + 3 = b, b + u*p - 15 = -4*b for b.
3
Suppose -s - 4*o + 0*o = -19, 0 = 5*s - 5*o + 5. Solve 0 = -2*l + 2*p + 2*p - 16, -s*p = -6 for l.
-4
Suppose 0 = -0*y - 4*y + 8. Let f be 3*(0 - 25/(-3)). Suppose 5*d - f = 2*x, 0*x = x - d + 5. Solve -3*z - 2*z + v = -13, x = -v + y for z.
3
Let s be 1 + 0 - (6 - -11). Let p = 22 + s. Suppose -2*n - n + p = 0. Solve -2*u = 2*a - 2, n*u - 3*a + 2 = 4*u for u.
1
Let b = 3 - 5. Let d be (b/(-4))/(2/(-24)). Let g be 3/d*-2 + 1. Solve 2*k = 4*a + 18, 6 = g*k + 4 for a.
-4
Let q = 22 - 34. Let a = q + 18. Suppose l = j - 8, 0 = l + 2 + 1. Solve -8 - 2 = r - j*y, -4*r = -3*y + a for r.
0
Let z(i) = -i**3 + 7*i**2 + 6. Let p be z(7). Let r(s) = 2*s. Let o be r(2). Let w = p - o. Solve 0 = -5*g - h - 13, -2*h = -w*g - 0*h + 2 for g.
-2
Let j = -25 - 10. Let r be 10/j + 6/21. Solve -p = f - 4, -f = -r*f + 4*p - 19 for f.
-1
Let u(b) = -2*b + 23. Let q be u(10). Suppose 3*s = 4*h - 20, -3*h = h + q*s + 4. Solve -m = h*m + 4*v + 4, -m + 4*v + 20 = 0 for m.
4
Let j(y) = 9*y**2 - y - 1. Let r be j(-1). Suppose 1 - r = -4*o. Solve -2*n = o*n + 5*b - 13, -4*n = -b - 7 for n.
2
Let o be (3/(-12))/((-1 + -1)/88). Solve 3*l + 3*n - o = 4*l, l + 2*n = 4 for l.
-2
Let u be (5/(-10))/(2/(-12)). Solve 4*i = -i - 10, 0 = -u*q + 3*i for q.
-2
Let b(x) = -x**3 + 6*x**2 + 2*x - 2. Let q be b(2). Solve -2*o - 5*a - 8 = 16, -o = 4*a + q for o.
-2
Suppose -21 = -4*o + 63. Let d = -5 + 7. Solve -4*m - 4 = -4*y, -3*m - o = d*y + y for y.
-3
Let b = 2 + 10. Solve -2*u + 4*u - 5*a = 8, 3*u - b = 2*a for u.
4
Suppose -3 - 9 = -2*j. Let w(v) = v**2 - 3*v + 2. Let f be w(3). Suppose -f*q + j = q. Solve -6*a = -3*o - a - 9, o + q*a - 8 = 0 for o.
2
Suppose -15*q = -20*q + 20. Solve -x = -4*c - 24, -x - 22 = 2*c - q*x for c.
-5
Let c be (-4)/(-8)*-6*-3. Let b = c + -1. Solve 4*t = -4, -2*l + l = -4*t - b for l.
4
Let y = -9 - -17. Solve 4*k + 0*b + 4*b = -y, 2*k + b + 3 = 0 for k.
-1
Let i be ((-10)/8)/(4/(-48)). Solve i = 4*b + 5*x, 4*b + x = b + 14 for b.
5
Let g(a) = a + 15. Let t be g(0). Let u = 4 + -2. Let f = -2 + u. Solve -x - 19 = -o + 3*x, -3*x - t = f for o.
-1
Suppose 0 = -2*f - 4*m + 44, -m - 50 - 23 = -3*f. Let q = -15 + f. Solve -v - 5*k + q = 0, 2*k - 4 - 14 = -4*v for v.
4
Let x be (-8)/(-6)*(-6)/(-4). Suppose 0 = 5*d + 4*y - 12, x*d + d - 9 = -3*y. Solve 4*t = 2*i - 0*i, -4*i - t + 18 = d for i.
4
Suppose 4*j + 4*t - 24 = 0, 2*t = -2*t + 16. Let x be j/(-3)*-3 + 6. Suppose -5*f = -3*f - 8. Solve -3*i + 2*z + x = -2*i, f*z = -3*i + 4 for i.
4
Suppose 2*d = d + 5*h + 20, -d - 2*h - 1 = 0. Solve 5 = 3*q - d*c, -q - 2*c + 14 = q for q.
5
Let g(a) = -a - 4. Let c be g(-6). Suppose c*z + 0 = 2. Suppose z - 13 = -3*t. Solve 0 = -5*m + j + 15, t*m + j - 12 = -3*j for m.
3
Suppose 4*w - 5*u - 40 = 0, 0 = -5*w - 2*u + 4*u + 33. Solve 0 = 3*f - 5*v + 3 + 2, -5*v = -w for f.
0
Suppose 5*h = 4*h. Solve -y = 4*k - 5*y, -2*k + y + 1 = h for k.
1
Let f(c) = c**3 + 3*c**2 - 5*c - 2. Let u be f(-4). Let o be ((-21)/(-35))/((-1)/(-5)). Solve 4*z + u*g - 11 = 5*g, -o = -2*z - g for z.
2
Let m be (-215)/(-45) - 1/((-9)/2). Solve -2*o - m = -3, 3*c - 19 = 4*o for c.
5
Suppose -3*q - 10 = 2*o - 4, -5*q - 4*o - 10 = 0. Let x be 5*(1 + q/5). Solve 0 = -3*w + 12 - 0, 4*b - x*w = 0 for b.
3
Let c = 2 + 1. Suppose -c*p = 2*p - 25. Solve 5*n - 10 = 0, -n = p*l + 12 + 11 for l.
-5
Let o = -61 - -125. Let z = o - 45. Solve 0 = 5*h - u - 27, -5*u = 5*h - 2*u - z for h.
5
Let d(q) = q**2 + q + 9. Let k be d(0). Let w(l) = 9*l**2 + l. Let v be w(2). Suppose v = 5*i - 17. Solve -5*t - i = k, 5*x - 36 = 4*t for x.
4
Suppose -5*x - 10 = 0, 0*j - 2*j + 6 = 2*x. Solve o + 5*n = 3*o - j, -13 = -2*o - 3*n for o.
5
Suppose 5*h - 4*s = 53, -h = -5*s - 0 - 19. Let o be (-6)/h - (-20)/12. Solve 2*l + o + 1 = 2*r, 0 = -l - 3*r + 15 for l.
3
Let y = -14 - -20. Solve -y*a + a - 9 = q, -4*a + 3*q - 11 = 0 for a.
-2
Let r be 4/(-6) + (-57)/9. Let h(j) = -j**2 - 7*j - 1. Let u be h(r). Let y = 1 - u. Solve 5*a = 3*a + 5*t + 1, -8 = y*a + 4*t for a.
-2
Let q = 7 - 2. Suppose -q*b = -r + 27, 3*b + 5 = 2*b. Solve -r*z + 3*o + 11 = 0, -2*z + 4*z + 2*o + 4 = 0 for z.
1
Let g be 3/5 + (-10)/(-25). Let h = g + 7. Solve h = -4*j, 3*d + 0 - 14 = j for d.
4
Suppose -4*d - 4*f + 16 = -0, 0 = -2*f - 8. Solve t + 1 = 2*y + d, t + 9 = -2*y for y.
-4
Let j(z) = -2*z + 88. Let g be j(29). Solve 2*m = h - 5, -4*m - 5*h - g = -3*m for m.
-5
Suppose -2*i + 4*i + 4 = 0. Let j be -1*1/i*2. Solve -3*r + r - 1 = -x, 2*x + j = 3*r for x.
-5
Let j = -6 + 11. Suppose 