e -y = y - 62. Suppose -2*m - 8 = 0, 5*m + y = 3*v - 1. Solve 4*h - 22 = -v*s + 6, -3*s = -4*h - 7 for s.
5
Let j(t) = -t - 6. Let v be j(-10). Suppose -7*n = -5*n - v. Solve n*b + b + 6 = 3*a, -a + 4*b + 11 = 0 for a.
-1
Let g(n) = n - 1. Let c be g(5). Let m = -1 + c. Solve m*k = -4*o + 10, 4*k + o - 5*o + 24 = 0 for k.
-2
Suppose 0 = 3*q - 6, 3 = -i - 2*q + 13. Let w = -2 + i. Suppose 2*d + 2*d = w. Solve -4*o - d = 4*t + 35, o = -4 for t.
-5
Suppose -3*x = -2*o - 1, o - 4*x + 1 = -2. Solve 2*i + o - 7 = -4*n, 0 = -3*i - 3*n + 6 for i.
1
Let u be ((-18)/(-4) + -5)*0. Let n be 1/3 - (-32)/3. Solve v = -y - 3*v - n, u = 3*v + 12 for y.
5
Suppose -9 = -4*x + 3. Solve 0 = 5*l - 4*y + 5*y - 17, x*l + 4*y = 0 for l.
4
Let i(t) = t - 4. Let g be i(6). Let u be 22 + 0 + (1 - g). Solve -f - 2*l - 19 = 3*l, 3*f = -3*l - u for f.
-4
Suppose 0 = y - 5*z + 5, -17 = -5*y + 5*z - z. Let j = 49 - 26. Solve -2*m + 5*k - 25 = 3*m, y*k = 3*m + j for m.
-1
Let q(b) = b + 2. Let w be (-1)/(2 - (-15)/(-6)). Let u be q(w). Solve -3*g = j + 18, -16 - 4 = u*g for j.
-3
Let o be (-16)/(-10) + (-4)/(-10). Let u = 7 - o. Suppose 4*z - 3*w = 14, u*w - 4 - 11 = -z. Solve 3*h - s = z, 3*h - s = -2*h + 11 for h.
3
Suppose 12*f - 8*f = -6*f. Let b be (-2)/(-5) - 16/(-10). Solve f = -2*z + 2*l + 6, -b*z - 2 = -l - 5 for z.
0
Let k = -6 - -5. Let t be (-170)/(-35) + k/(-7). Solve -t*u - 4*i - i = -5, 0 = 4*u + i + 8 for u.
-3
Let y(z) = 6*z + 2. Let n = 12 + -6. Let w = -3 + n. Let j be y(w). Solve -2*i + j = r - 3*r, -i = -5 for r.
-5
Suppose -1 = -r, -5*y = -6*r + r + 5. Suppose 3 = -y*j + j. Solve j = 2*f - 2*a + 7, -4 = 3*f - 4*a for f.
-4
Let o(a) = -a**2 + 6*a. Let z be o(5). Suppose z*c - 5 - 10 = 0. Solve 2*w = -c*d + 8, 4 = -4*w - d + 5*d for w.
1
Let h be 2/6 - (-26)/3. Suppose 3*q - h - 30 = 0. Suppose -4*y = -5*l + 13, 0*y - q = -2*l - y. Solve 3*w - 27 = -4*v, 2*v - l*w = -w - 14 for v.
3
Suppose 2*d - 22 - 8 = 0. Suppose 0 = -f - 4*f + d. Let t = 2 - 2. Solve -f*l + 0 = -3*h - 3, t = 2*h - l + 1 for h.
0
Let y(f) = f**2 - 4 - 1 - 5*f - 1. Let u be y(6). Let r be 2 - (u/2 + -5). Solve 2*k + 4*q = 6, -r*k + 3*k + 2*q - 8 = 0 for k.
-1
Let z(a) = a - 2. Suppose 6*l - 3*l + 1 = 4*i, 5*i = l + 15. Let o be z(l). Solve 2*j - o*x - 10 = 0, -4*x = 2*j - 3*x - 2 for j.
2
Suppose -7 = -2*l - 1. Suppose -z + l = -0*z - 4*u, 4*z - 12 = u. Solve -z*r - 3 = -2*w, 0 = -w - 0*w - 4*r - 15 for w.
-3
Suppose 3*l - 22 = -4*j, -3*l + 2*j - j + 2 = 0. Let u = l + 0. Solve -2*o + 4*f - f - 5 = 0, -5*o + 4 = -u*f for o.
2
Let r(h) = -h**3 - 14*h**2 + 14*h - 11. Let s be r(-15). Suppose -s*x - 3*p = -15, -31 + 6 = -5*p. Solve -3*b = 3*u + 17 + 4, x = -4*u + b - 18 for u.
-5
Let h = -2 - -6. Suppose h = 4*l - c - 12, 8 = 2*l + 4*c. Solve -4*a + 3*r - 27 = 0, r - 8 = -l*a - 3*r for a.
-3
Suppose -2*x + 5*g + 1 = 0, -4*g = 5*x + g - 55. Solve 0 = -2*v + 2*f - x, -v + 4 = v + 2*f for v.
-1
Let m(c) = -c**3 - 3*c**2 + 4*c. Let l be m(-4). Solve -j = 3*f - 5*j, 5*f - 2*j = l for f.
0
Let j be -3 + 3 - (6 + -9). Solve -3*b - 11 = 4*a, a = b + 3 + j for a.
1
Suppose -2*b = 2*i + 10, 3*i = -b - 5 - 10. Solve 3*q = -5*z + 15, 2*q + z - 2 - 1 = b for q.
0
Suppose -4*z + 20 = 4. Solve 4*p + 12 + 16 = -2*l, -31 = 3*p + z*l for p.
-5
Let z = -5 + 6. Let s be 1/(-2*z + 3). Let i = s - -3. Solve -g - i = 3*h, g - 10 = -3*g + h for g.
2
Let m(o) = -o**3 + 5*o**2 + 2*o - 3. Let j be m(5). Let u be (-3)/(-1) - (j + 2). Let g = 15 + u. Solve -2*c + 0*t + 3*t + g = 0, 2*t = -c + 1 for c.
3
Let a(q) = 13*q**3 - 1. Let x be a(1). Let w be (5/2)/((-2)/x). Let u = w + 24. Solve -u = -3*y + h, -h - 12 = -4*y + h for y.
3
Let m(i) = i**2 - 5*i + 4. Let l be m(5). Let t be (-38)/((1 + 0)/l). Let z be t/(-20) - (-4)/10. Solve z = -4*v, -5*o + 4*v + 11 = -4*o for o.
3
Let z(w) = -w**3 + 8*w**2 - w + 10. Let i = 16 + -7. Suppose 3*t - 15 = -3*d + i, 4*t + 5*d = 32. Let f be z(t). Solve q + 5*j = -13, -3*q + q - f*j = 2 for q.
2
Suppose -5*f - 3*k + 22 = 0, 4*k = 4*f + 2*k. Let w be 2/5 + 56/10. Let g be (w/f)/((-6)/(-20)). Solve -5*c = 2*i + 5 - 27, 3*c - g = 2*i for i.
1
Let p(b) = -4*b**2 - 5 - 5*b + 12 + 5*b**2. Let d be p(4). Solve -d*h + 0*h + 1 = 2*k, -3*k + 9 = -3*h for k.
2
Suppose 3*f + 8 = -f - 2*h, 4*h = -8. Let i be (-2 - f)*-7 + 3. Suppose 3*q = 2 + i. Solve -3*o + 7*o - 8 = -q*u, -o = 5*u - 18 for o.
-2
Let v = -35 + 40. Let o be 3/(-2)*-4 - 1. Solve 3*d - o*x + 0*x - 14 = 0, v*d + 18 = -2*x for d.
-2
Suppose -5*v - 5*s = 10, -3 = -5*v - 2*s - 1. Solve 17 - v = 4*y + x, 5*x - 21 = -2*y for y.
3
Suppose 3*x - 12 = 12. Solve 4*p - 3*g - 16 = 0, x*g - 3*g - 4 = -p for p.
4
Let h = 27 + -17. Solve -3*c = -2*z - 8, -c + h = 3*z - 0*z for c.
4
Suppose 2*b - 12 = -b. Suppose 2*p - 4*p = -b. Solve 0 = -2*x - c - 13, -5*x - 2*c + p = 32 for x.
-4
Let k be (-3 - -4) + 4 + 0. Solve 0*b - k*i = -b + 2, 0 = 4*b - 5*i - 8 for b.
2
Let x(r) = r**2 + 4*r + 6. Let d be x(-4). Suppose -4*j + 6 = -d. Solve -3*a + 4*n = -12, 4*a + 0 = -n - j for a.
0
Let v be 4*(-5)/10 + 7. Solve -f + 5 - 15 = -k, v*f + 4*k + 5 = 0 for f.
-5
Suppose 4*g = -4*g + 40. Let n(b) = b**3 + 6*b**2 + 2*b - 4. Let m be n(-4). Solve f + 2*s = g*f - m, 3*s = 0 for f.
5
Let j(l) = 5*l + l**2 - 3 - 6*l + l**2 + 1. Let d be j(2). Let k(i) = -i**2 + 4*i - 2. Let a be k(2). Solve -5*p + 5*g + 2 + 3 = 0, d*g = -a*p + 14 for p.
3
Let h(v) = v**2 - v. Let n be h(1). Suppose -4*i - i = n. Let a be ((-8)/(-10))/(4/50). Solve -3*l + 4*x = -0*l + a, i = 5*l - 2*x - 2 for l.
2
Let o(z) = -z**2 - 8*z - 8. Let u be o(-5). Solve 2*i - 8 + 2 = 0, 0 = 2*g + i - u for g.
2
Let a(k) = -k**3 - 2*k**2 + 5*k. Let c be a(-5). Suppose 8 + 24 = 2*r + 3*u, u = 4*r - c. Solve 0 = -5*m, -2*y = 4*m + r - 3 for y.
-5
Let i(w) = 36*w**3 + w + 1. Let l be i(-1). Let f be (-2)/(-2) + -3 + l. Let p be (-6)/(-21) - f/14. Solve 0 = -2*g - 3*v - 5, -p*g + 3*v = 5 + 10 for g.
-4
Let z(c) = c**2 + 6*c - 14. Let y be z(-8). Solve -3*s - y*l + 30 = l, -s + 30 = 5*l for s.
5
Let v be (12/8)/(1/2). Suppose 3*x = 4*x - 4. Suppose -v = -x*k + 5. Solve 0 = -5*z + k*j - 20 - 7, -2*j - 23 = 5*z for z.
-5
Let f = 4 + -10. Let x(m) = -m**3 - 6*m**2 - m - 3. Let p be x(f). Suppose -p*h + t - 8 = -4*h, 5*h - t = 10. Solve 2*z + 9 = -b, 2*z + 18 = -h*b + 3 for b.
-3
Let f(a) = a**3 + 16*a**2 + 13*a - 19. Let z be f(-15). Solve -g + 4*n - 3 = 0, -5*g - 3*n = -20 - z for g.
5
Suppose -j + 6 = 2*m + 3*j, 4*j + 43 = 5*m. Solve -b + m = -3*b + 3*x, 0 = -b - 5*x - 10 for b.
-5
Let s = 21 + -19. Solve 3*n = 2*f + 3*f, -4*n = s*f + 26 for f.
-3
Let x(q) = 2*q**3 + 6*q - 3*q**3 + 8*q**2 + q**2 + 3*q + 10. Let p be x(10). Solve -5*h + 3*h - 2 = p, -h = v - 4 for v.
5
Let w be (-8)/6*60/(-20). Suppose 4*u = v - u + 23, -u = -5. Solve 3*f - w*f - 1 = 4*j, -4*f - v*j - 18 = 0 for f.
-5
Suppose -4*t + 2 + 10 = 4*o, -3*t = 2*o - 2. Solve -4*w + 4 = -4*g, 0 = -3*w - 0*w - g + o for w.
2
Suppose -178 = u - 5*o, -2*u - 107 = -5*o + 234. Let b be (-6)/(-33) + u/(-11). Solve -i - 3*i + 4 = 0, -2*x = 5*i - b for x.
5
Suppose 5*s + 26 = 1. Let q = s - -7. Let k(j) = -j - 2. Let w be k(-6). Solve 4*c = -w, 5*y = 3*c + 6 + q for y.
1
Suppose -6*u + u = 10. Let k be -1 - (-5 + u/(-2)). Suppose 2*b - k*l = -5, 6*b = b + 3*l + 1. Solve -i = v + 1, 2*i + 2*v = -b*i - 8 for i.
-3
Suppose -u + 0*u = -2. Suppose 5*w + 9 = -6, u*w = 2*h - 14. Solve -9 = 4*v + k, 2*v = h*k + 2 + 16 for v.
-1
Let t = -5 + 11. Solve 0 = 5*y + 2*q + 2, -y - t = -q - 0 for y.
-2
Let n = -4 - -9. Suppose 0 = -3*a, -3*a + n = -4*k + 13. Solve 4*x - 2*i + 0*i + k = 0, -4*i - 3 = -x for x.
-1
Suppose -6*u + 5 + 7 = 0. Solve -u*d + 5*c = -5, -4*d = 5*c + 48 - 13 for d.
-5
Suppose y + 3*j + 6 + 5 = 0, 15 = -5*y - 5*j. Suppose 5*k - y = -11. Let f = k + 4. Solve -4*o - 26 = 2*z, f*z - 5*z = -3*o + 3 for o.
-4
Let j(o) = o**3 + 11*o**2 + 10*o + 4. Let d be j(-10). Solve -a = -2, d*l = -0*a - 4*a - 12 for l.
-5
Let p be -3 + 2 - -3 - -1. Suppose 5 = p*w - 1. Solve 4*z - k = -20, w*z + 0*z = k - 10 for z.
-5
Let f be -1 + (-2)/((-4)/(-2)). Let r be f/(-9) + 175/63. Suppose r + 3 = 2*z. Solve 5*w - 4*w = -j - 2, j = 4*w + z for w.
-1
Let r(j) = -2*j**3 + 2*j**2 + 2*j + 4. Let c be r(0). Solve 3*z - 6*z - 24 = -3*t, -35 = c*z - 5*t for z.
-5
Let p = 8 + -5. Sup