-5*l + 2, -u*l + 10 = v + 4*v for v.
2
Let w be -6*((-21)/(-9) - 3). Suppose 11 = 5*i - 3*a, 0 = 5*i - 10*i - a + 23. Solve 4*v - 9 = -u, -3*v = -6*u + w*u - i for v.
2
Let t be 1/6 - (-33)/18. Suppose -3*j - 5*l = -16, -j - t*l - 2 = -8. Suppose -9 = -j*a - 5. Solve a*n = 3*h, n - 4 = 2*h - 3 for n.
-3
Let j = 12 - 8. Solve -7 = -j*x - 4*a + 17, 5*x = a for x.
1
Suppose -2*c - 13 = -5. Let b be 60/16 + (-1)/c. Solve -5*z + 2*m = b, -2*z = -2*m - 0*m - 2 for z.
-2
Suppose 2*x + 2*l = 2, -4*l = 5*x - 5 + 1. Suppose -3*b + 0 = 3*z - 9, x = -3*z + 2*b + 9. Solve 0 = -z*m - 4*q + 28 - 8, 3*m = 4*q + 4 for m.
4
Let f = 0 - 1. Let t(k) = -17*k**2 + k. Let l be t(f). Let y be 2*3/l*-6. Solve i = -y*z - 2, 0*i + 2*i - 14 = 2*z for z.
-3
Let r = -46 + 48. Solve 2*d = 4*g - 5*g, 3*g + r = -4*d for g.
-2
Let p = -16 + 18. Solve -5*a + 4*z = 2, 4*z + p = 4*a - a for a.
-2
Let l(a) = a**2 + 11*a + 23. Let u be l(-11). Solve -2*y + 14 = -2*k, -y - u = -6*y - k for y.
5
Let x(h) = h. Let j be x(9). Let s = j + -5. Solve s*m = -0*m + 4, m - 13 = -3*n for n.
4
Let b(h) = 5*h + 2. Let l be b(5). Solve l = q + 3*q - 5*z, -z = -4*q + 15 for q.
3
Let w be -38*((-45)/(-10))/(-9). Solve -2*t + 14 = -7*m + 2*m, -t = 4*m + w for m.
-4
Suppose -19 = -4*c - 3. Solve 0 = -4*n + 5*d - 33, c*n = -0*n - 5*d + 17 for n.
-2
Suppose 3*q - q - 12 = 0. Let y be 16/q*(-63)/(-14). Let s = y + -6. Solve -3*i + 0*i - 6 = -5*f, 4*f + s = -3*i for f.
0
Let a be -2 + -1 + 12/6. Let y = a - -1. Suppose y*g - 22 = -4*z + 2*g, 0 = -2*z + 3*g + 21. Solve -4*i = 5*l + 20, i + 8 = z*l - 5*l for i.
0
Suppose 4*r - 18 = -6. Suppose 10 = 2*z + r*z. Suppose -14 - 2 = -4*o. Solve 2*i + 8 = -5*f + 5*i, -o*f - 2 = z*i for f.
-1
Let r be (-2)/(-5)*225/15. Solve 2*x - u = 10, 0*x - 2*x - 3*u = r for x.
3
Suppose 0 = -y - 2*y + 6. Suppose -5 = 3*x - 8. Suppose -7 = -y*h - x. Solve -h*a = 2*g - 6, -3*g + 9 = a - 5*a for g.
3
Let d be 2 - 0/((-12)/(-4)). Solve d*c - 4 = 0, -4*r + c - 2*c - 6 = 0 for r.
-2
Suppose 0 = 3*q - 2*k - 14 - 38, 4*q + 5*k - 31 = 0. Let i = q + -10. Let f(s) = -s**2 + 7*s - 7. Let c be f(5). Solve 5*d + c + 12 = -y, -i*y - 4*d = 12 for y.
0
Let w(u) = u**2 - 9*u + 8. Let s be w(8). Solve -10 = r - 5*i, 4*r - 3*i + 6 + s = 0 for r.
0
Suppose 2*m = 8, -5*m = 4*j - 51 - 85. Suppose -j = -5*r + 46. Solve 2*o - 22 = -t - 3*t, -2*t = 5*o - r for o.
1
Let d(y) = y**3 + 3*y**2 - 3*y + 6. Let i be d(-4). Solve -5*o - 2 = -p, -o + i*p - 10 = -3*p for o.
0
Suppose 4*l = -4*g + 3 + 1, -5*l - 4*g + 6 = 0. Solve -m = 2*w + l*m + 1, m = -1 for w.
1
Let u(q) = -3*q**3 + 5*q**3 - 7*q**2 + 7*q - 3*q**3. Let m be u(-8). Solve d + 0*d - 14 = 4*z, 0 = 4*d - 4*z - m for d.
-2
Let y(m) = -m + 2. Let c be y(0). Let a be 1/4 - (-4)/(-16). Solve 0*v = -c*v - 4*g + 10, a = 3*g for v.
5
Suppose -6 = 3*n - 21. Solve 2*k + y - 7 = 0, 10 + 12 = n*k - 2*y for k.
4
Suppose -18*y = -15*y - 6. Solve -y*t = -3*m, 1 = t - 2*m - 0 for t.
-3
Suppose 2*w = -2*y + 3 + 5, 2*y - 18 = -4*w. Solve 5*u = -4*v + 13, -3*u - w*v = -3*v - 7 for u.
1
Let i = -96 + 101. Solve -4*r = -d - 20, 0 = -2*d - 2*d - i*r + 4 for d.
-4
Suppose 5*u - 8 = -4*t, 2*u + 0*t + 4*t = 8. Solve -2*j - 4*z = -j - 17, u = -5*j - 4*z + 37 for j.
5
Let d(i) = -i**2 + 6*i + 16. Let q be d(8). Solve -3*s - 1 - 2 = -2*x, 4*x - 4*s = q for x.
-3
Let k(w) = -w**2 - 7*w + 4. Let u be k(-6). Solve 0*x = -5*h - x - 23, 0 = -4*h - 5*x - u for h.
-5
Let m = 118 + -117. Solve -4*o - 2*y - 2 = 0, -3*o - y = 2 - m for o.
0
Suppose -5*k + 11 + 24 = 4*d, -d + 2 = -k. Solve -10 = d*m + 5*n, 2*n + 10 = -0 for m.
3
Suppose 19*w - 17*w = 8. Solve -4*j = -w*f, 3*j = 8*j + 4*f + 27 for j.
-3
Suppose 4*y - 43 = -11. Suppose -5*m + 3*m = -y. Solve m*k - 3*k - 7 = -3*h, -3*k = -12 for h.
1
Suppose t = -3*p - 3, -t + 4 = p + 3. Solve g + 5 = -c, -4*g = -t*g + 1 for c.
-4
Let q(i) = -i + 6. Let h(m) = -4*m + 17. Let z(l) = -2*h(l) + 7*q(l). Let u be z(-5). Solve -3*v + u = 2*f + 1, f - 4*v + 21 = 0 for f.
-5
Let w be -2 - (3 + -4) - 3. Let m = 6 + -10. Let l be (w/(-6))/(m/(-18)). Solve 5*z + n - 3 = -9, l*z = 4*n + 1 for z.
-1
Suppose c - 17 = 2*k + k, -5*c = 4*k - 28. Let f(s) = -s**2 + 7*s + 6. Let v be f(c). Let r = v - -3. Solve -4*n + 28 = -4*w, 2*w - r = -3*n + 10 for w.
-2
Let m(p) = -p**2 + 2 - 5 + p**3 - 2*p**2 - 4*p. Let g be m(4). Let s be (-20)/(-12) - 1/g. Solve -b - 10 = 3*v - 4, -2*v = s*b + 4 for b.
0
Suppose y = -4*y + 135. Let l = y - 19. Let u = 10 + -6. Solve v = -4*p - u - 4, 3*v + l = -4*p for p.
-2
Suppose 7 = 4*s - 5. Suppose 0 = w + s - 7. Solve -l + 10 = -3*l + a, 2*l + 16 = w*a for l.
-4
Let v(z) = -2*z - 10. Let x be v(-8). Suppose -2 = 5*m - x*m. Solve 3*l + 0*l = 5*r - 14, 0 = -4*l - m*r + 16 for l.
2
Let l = -17 - -20. Solve -4*s = l*u - 0*s + 7, -2*u - 3*s = 6 for u.
3
Let a be (-66)/(-14) + (-8)/(-28). Solve -u - 4*u = -o - 4, 5*u = a*o for u.
1
Suppose 6 = 27*r - 24*r. Solve -3 + 13 = r*p, 0 = -2*g - 5*p + 15 for g.
-5
Let l be 5/((-5)/2) + -2. Let y be (-6 + 2)*1/l. Suppose s - y = 2. Solve -3*p = s*w, 3*w = -p + 4*w for p.
0
Suppose -4*g + g + 3 = 0. Solve d = -l, -4*l + 4*d = 9 - g for l.
-1
Let r(p) = -2*p - 3. Let i be r(-10). Suppose -2*n - 5 - 5 = 0, -3*b + n + i = 0. Solve -3*g - o = -7, -o - b*o + 5 = 0 for g.
2
Let n = -41 + 44. Solve -n*i - 6 = -2*o, -4*o = -i - 1 - 1 for o.
0
Suppose -3*c + 0*c - 39 = 0. Let l = 1 - c. Solve -2*d - 5*n = -13, l = -4*d + 3*n + 1 for d.
-1
Suppose 0 = 4*m - 0*m. Solve 2*s - 10 = -5*v, m*v - 3*v = -5*s + 25 for s.
5
Suppose 0 = -h + 4*u, -4*h + 4*u = -0*h - 60. Solve 0*c + 3*c - 2*g = -18, 2*c = 4*g - h for c.
-4
Let a = -3 - -5. Let i = 2 + 0. Solve 1 = 3*v - i*v - g, a*v + 3*g = -8 for v.
-1
Suppose 4*b = 4 + 12. Solve 0 = 3*u + b*y + 14, 3*y = -2*u - 5 - 5 for u.
-2
Suppose 4*x = -22 - 2. Let j be ((-9)/x)/((-6)/(-100)). Solve 3*s - 3*d - 7 = -4, -4*s - 3*d + j = 0 for s.
4
Suppose -4*t = -9*t + 2*g + 40, 8 = t - 4*g. Let d = -2 - -4. Suppose d*m = -0*m + 6. Solve 5*f - t = -w - 26, -3*f = -m*w for w.
-3
Suppose 2*r - 5*l - 6 = 0, l + 4*l = 0. Suppose 0 = x - r + 1. Solve -20 = x*p + 2*i + i, 5*i + 20 = 0 for p.
-4
Suppose -m + 2*o + 8 = 0, 3*o + 8 = 2*m - 5. Solve m*q - 3*g = 1, 2*q - 3*g + 5 = 3*q for q.
2
Let h(b) = -4*b - 4. Let k be h(-3). Suppose 6*n = 4*n + k. Let p = n - 1. Solve -5*v - 45 = -5*y, 0 = -p*y - 0*v - 3*v + 3 for y.
5
Let j be (0*(2 + -1))/1. Suppose 2*y - 3*h + 9 = 0, 3*y - h = -j*h - 3. Solve -4*v + 5*b = 3, y*v = -3*v - 4*b + 21 for v.
3
Let m = -93 - -95. Solve 6 = r + h, -m*r + 2*h - 13 = -h for r.
1
Suppose 4*m = 2*n - 12, m - 1 = 3*n + 1. Let p be ((-2)/(-1) + -3)*m. Solve s = u - 0*u - 4, 0 = -u - p*s - 1 for u.
3
Suppose -8 = -2*b - 2*m, 2*b + 2*b - 3*m = 23. Let y(w) = -w + 17. Let g be y(8). Let a = -7 + g. Solve 0 = -c - a*k - 4, -b*c - 5*k = 15 for c.
-2
Let f be -1 + 1/(0 + 1). Suppose -2*t + f*t = -2. Suppose -5*v - 3*d + 15 = 0, v - 32 = 5*d - t. Solve 2 = 3*s + r, 0 = -5*s + 2*r + v + 1 for s.
1
Let z(m) = -3*m - 4. Let b be z(-3). Suppose 1 = y - 1. Suppose 4*v - 12 = 2*c, -y*c - 3*v + 12 = -11. Solve 0 = b*h + 15, 4*o - 3*h - 25 = c for o.
5
Let b be (1/1)/(3/51). Suppose 0 = 2*m - 38 + 2. Suppose 0 = 2*z - u - 2*u - m, 5*u + b = -z. Solve 0 - 9 = -3*y - 3*s, -s = -2*y + z for y.
2
Let a(w) = -2*w + 1. Let f be a(-2). Solve 4*s + 8 = -4*l, -3*l - 17 = -f for s.
2
Let x = -19 - -37. Solve -3*m - x = -2*d, 2*d = 5*m - d + 29 for m.
-4
Suppose 5*t - 13 = 3*n + 7, 4*n = 5*t - 20. Suppose 3*j = 4*z + 16, n = 2*j - 3*j - 5*z - 1. Solve 12 = -2*u - 6*c + 2*c, -j*u + c = 15 for u.
-4
Suppose -m + 17 = 5. Suppose 0*k + 3*k = m. Let x = 5 - 0. Solve y - 20 = 5*z, -k*z - x*y - 4 = -3*z for z.
-4
Let r be 0 + (2 - -2) + -2. Suppose -4*u + 2*k = -4, -r*u + 2*k = -k + 2. Solve d = -4*l + 21, u*l - l = 5 for d.
1
Suppose 5*k - 4*s = 13, 0*s - 3*s + 29 = 4*k. Let b = 56 + -57. Let p = k + b. Solve -2*g + 3*g = -3*q - 5, 3*g = p*q - 2 for g.
-2
Suppose 3*m = 3*l - 9, -3*l + 3*m = l - 11. Solve 7 = 2*k - f, -k + 11 = -0*f - l*f for k.
1
Suppose -c + 1 - 6 = 0, 0 = -4*q - 5*c - 25. Solve -3*l + 3*t - 4 = -t, q = 3*l + 5*t - 32 for l.
4
Suppose u - 9 = -0*u. Suppose -3*o = -4*k + 2*o + 3, 3*o = -5*k + 50. Let j = u - k. Solve j*h = -3*h - 5*v + 5, 0 = 5*v - 5 for h.
0
Suppo