olve 0 = -u*w - 3*k + 12, -w + 5*k - 15 = 5 for w.
0
Let m = 101 + -98. Solve n - 12 = -2*o, -5*n - m + 19 = -o for o.
4
Let j(i) = 2*i - 14. Let b be j(7). Suppose 3*w = -b*w + 6. Solve -4*n + 2*x + 6 = 0, -w*x + 5 + 7 = 5*n for n.
2
Let u = 6 - 6. Let r be (-1)/2*u/2. Solve -2*f + 5*f + 4*q = 1, r = -4*f - q + 10 for f.
3
Let d = -64 + 74. Solve 3*g = 2*n + 6, -2*n - 5*g + d = 2*n for n.
0
Suppose 5*u - 40 = -0*l - 5*l, 2*l = 4*u - 2. Suppose -u = -3*m + 3. Let s be (-2)/(-9) - 2/9. Solve z - m*z + 15 = 5*h, s = 3*h - 12 for z.
-5
Suppose 3*d - s = -2*d + 26, 4*d = -s + 19. Suppose -2*m + 1 = 5*j, -d*m = 3*j + 2 + 5. Solve z + j + 11 = 5*x, z - 4 = -3*x for x.
2
Suppose -2*p = -4*p + 36. Let c = -20 - -25. Suppose 3*l + 0*l = -5*j + 7, -5*l = j + 3. Solve a = -c*t - p, 10 - 1 = -t - j*a for t.
-3
Let s be (14/(-6))/(4/(-12)). Solve -2*b = a - s, 0 = 5*b - a + 2*a - 16 for b.
3
Let h(d) = -d**2 - 9*d - 11. Let t be h(-7). Let q be (-3)/(-5) + t/(-5). Solve -2*z - 5*v = -7 - 2, q = -4*z - 5*v + 3 for z.
-3
Let p(x) be the third derivative of -11*x**6/120 + x**5/60 + x**4/12 + x**3/6 + 7*x**2. Let i be p(-1). Solve -i = -q - 5*o, -q - 4*o = -7*o + 5 for q.
1
Let a = 21 - 17. Suppose a*z = 6 + 14. Solve -1 = -n - 2, z*o + 2*n = -7 for o.
-1
Let o(y) = y**2 - 8*y + 1. Suppose -8*l + 3*l = -50. Let j be o(l). Solve -3*h - j = 4*f, 4*h + 2*f + f + 21 = 0 for h.
-3
Suppose -4*g + 15 = v, 2*v + 5*g = v + 15. Suppose -3*q + 9*r + 31 = 4*r, -q - 3*r + v = 0. Solve 3*u - q = 3*w, -4*u - w + 12 = 1 for u.
3
Let m(s) = s**3 + 6*s**2 + 3*s + 7. Let u be m(-6). Let q = u + 13. Solve r - q*r = -1, 2*r = -2*t - 6 for t.
-4
Let n = -9 - -5. Let m(l) = l**3 + 6*l**2 + 6*l + 5. Let s be m(n). Solve 0*a + 3*k + s = a, -25 = -4*a + 3*k for a.
4
Let m = -32 + 37. Solve 0 = -4*g + m*p - 37, g = p - 6*p + 22 for g.
-3
Let i = 0 + 2. Suppose i*b + 3*b + 35 = 0. Let d be 3/(-9) + b/(-3). Solve d*g = 2*z - 18, 5*g + 2*z + 40 = 6*z for g.
-4
Suppose -3*q + 19 = 4. Solve -v - 1 = i, -q*v = -i - 18 - 1 for v.
3
Let y(d) = 3*d - 23. Let r be y(16). Let v be ((-4)/(-3))/(2/3). Suppose -v*g - w + 26 = 3*w, -w = -3*g + 11. Solve r = b - g*x, -3*b - 4*x + 5 = -5*x for b.
0
Let d(u) = -u**2 + 9*u - 4. Let k be d(8). Suppose -h - 54 = -k*h. Let z = h + 2. Solve -5*w - 20 = -0*x - x, 4*x = 5*w + z for x.
0
Let f be (-6 + 1)*(6 - 5). Let t = f - -11. Suppose -t + 16 = 2*o. Solve 11 = -o*r + 3*s, -5*r - 2*s - 12 - 14 = 0 for r.
-4
Suppose -p + 2*p = 12. Let f = 17 - p. Solve -5*j = f*x + 30, 3*x = -5*j - 0*j - 26 for j.
-4
Suppose -2*h = 3*h - 10. Suppose -p - 10 - 5 = -4*z, -h*z + 2*p = -12. Solve 0 = -5*j + 27 - 2, -c + z*j - 16 = 0 for c.
-1
Suppose -3*u - 4*u + 119 = 0. Solve 11 = 4*y - f, 5*y - u = -0*y - 2*f for y.
3
Suppose -5 + 1 = -4*u. Suppose 2*b - 4*x = -u - 9, -3*x = -b - 10. Solve 4*k - 2 = -3*z + 5*k, b*z + 10 = 5*k for z.
2
Suppose -2*w + 3*a = -3*w - 10, 4*a = -4*w - 24. Let v be 10/w*(-4)/5. Let j be 146/12 + (-21)/126. Solve -v*m = -4*u + j, 6*u + 5*m + 2 = 2*u for u.
2
Suppose -b = 2*b - 3*f + 15, 23 = -5*b + 3*f. Let z be (-16)/(-3) + b/12. Solve p = z*p + 4*x + 4, -4*x = -8 for p.
-3
Let d be (-20)/(-6) - (-2)/3. Let s be (9 + d)/(1/2). Let l be (-4 - -7)/(2/2). Solve -4*k = -3*k + 5*f - s, 17 = -l*k + 4*f for k.
1
Suppose -5*j = -4*o + 93, 5*o - 2*o - 71 = 4*j. Let w be (-4)/(-18) - 16/(-9). Let p be (-13 - w)*(-3 + 2). Solve -c - 8*r = -3*r - o, p = -c + 3*r for c.
-3
Suppose -4*t + 3*t = -2. Suppose b - 2 = -2*z + z, 0 = -t*b - 6. Let x(c) = 5*c - 4. Let g be x(z). Solve 6*p - p = -u + g, 1 = -3*u + p for u.
1
Let g = 2 + 2. Solve 3*j - 3 + 12 = 3*p, g*p - 8 = 2*j for j.
-2
Let c(t) = -t**2 + 6*t - 3. Let h be c(7). Let y = -6 - h. Suppose -5*z = -a - 7, -a = a - y*z + 2. Solve -5*f - 3*k + 32 = 0, 13 = -f + 5*k - a for f.
4
Let n(l) = -l**3 - 7*l**2 - l - 4. Let f be n(-7). Suppose h = -5*z - 9, -2*z - 9 = -f*h + z. Solve 3*w + 3 = 0, -4*w + 7 = 4*r - h for r.
3
Suppose -5*n - 19 = 3*r - 2*r, -4*n - 5*r = 32. Let x = n + 8. Suppose d + 5*u = x, d + 3 = 5*u + 8. Solve -4*t + d*p + 13 = 0, 0 = 2*t - 5*t - p + 5 for t.
2
Let k be (-2 + 12)/((-5)/(-10)). Solve 2*h + k - 8 = -4*b, -11 = 3*b + 2*h for b.
-1
Let w be ((-16)/(-10))/((-18)/(-45)). Let h = -2 + w. Solve -2*o - j - h*j - 16 = 0, -5*o = -4*j + 17 for o.
-5
Let t be -1*((-3)/(-3) + -4). Solve 0 = 3*f - n + 16, -t*f + 5*n - 28 = n for f.
-4
Let p be 2 + (10/(-55) - (-4)/22). Solve 0 = -p*h + 6*h, -x + 2*h + 1 = 0 for x.
1
Suppose 3*y - 5*a = 3 + 39, 4*y + a - 33 = 0. Let b(g) = -g**3 + 6*g**2 - 4*g - 5. Let f be b(5). Solve 4*t + 8 = f, 4*l + 4*t + 3 + y = 0 for l.
-1
Let b be 9*2*1/2. Suppose w = 2 - 0. Suppose -4 = 2*s + 4*o, -4*o - 3 + 5 = 5*s. Solve 2*t + a = b, w*t + s*a + 0*a - 10 = 0 for t.
4
Let a be (5/(-3))/((-1)/3). Suppose b + b - 5*c - 27 = 0, 5*b = -a*c - 20. Let g be (-2)/(-4) + 1/(-2). Solve -b = 2*d + 2*d + 5*t, g = 4*t + 4 for d.
1
Let q be -1 - (-3 + 1 - -1). Let t be 5 + -1 + 1 + q. Suppose -90 = z - 7*z. Solve -3*h - z = 0, 1 = -5*a - t*h - 19 for a.
1
Let j(m) = -m + 8. Let g be j(6). Suppose -g*t + 1 = s + 2, -4*t = -s + 11. Solve -4*z = -l + 4*l, 0 = -4*l - s*z for l.
0
Suppose -4*s + 5*j + 14 = -15, 10 = -5*s - 3*j. Solve 15 = -2*r + k, 0 = 5*r - k - s + 31 for r.
-5
Suppose 0 = -9*n + 4*n + 10. Suppose 2*b = 5*b. Suppose -12 = -3*d - 5*o, -d = -b*d - 3*o - 4. Solve 0 = -v + 4*j + d, 4*v = -n*j + 7*j + 5 for v.
0
Let h = 6 + -4. Suppose 2*z = -h - 6, -27 = -3*s + 3*z. Solve 2 = 2*x + 4*v - 8*v, 0 = -5*v + s for x.
3
Let g = -16 + 12. Let i be (-48)/(-6) + g/(-1). Solve 2*u - c + 0 = 9, i = 3*u - 3*c for u.
5
Let q be (44/(-66))/((-2)/9). Solve 5*n - 4*g + 2*g + q = 0, -2*n - 2*g = 4 for n.
-1
Suppose 0 = o - 0*o - 5. Suppose -8 = -0*a - 2*a, -o*h + 18 = 2*a. Solve 3*t - 5*m + 26 = h*t, -4*m + 25 = -5*t for t.
-1
Let d = 3 + -2. Let z be d/2 + (-245)/(-10). Suppose -3*y - 5*v = 2*y - z, 2*y = -5*v + 10. Solve -11 - 12 = 4*m + y*c, -3*m - 5*c = 21 for m.
-2
Suppose 0 = -3*t + 4*u + 5, -2*t = 5*u - 34. Suppose 4*h = t*h - 9. Solve n - o + 0*o + 9 = 0, n - h*o = -17 for n.
-5
Suppose -5*g - 3 - 22 = 0, 5*z = -3*g. Solve 2*j + 22 = -4*t + z*j, 4*t = -2*j - 16 for t.
-5
Suppose 0*l - 22 = -4*l - 2*d, 3*l + 4*d = 24. Let h(y) = -y + 2. Let n be h(-5). Let k = -3 + n. Solve 22 = -k*x + 3*r - l, 4*r + 7 = -3*x for x.
-5
Suppose 0*a - 2*a + 49 = 5*i, 0 = -4*i + 20. Solve 3*w + 5*c = 8*w + 5, 0 = -4*w - 4*c - a for w.
-2
Let h be (33/(-4))/((-24)/64). Suppose -5*w - 3*s + h = -s, -2*s = -2. Solve -2*n + n + 7 = t, -w*n + 2*t + 4 = 0 for n.
3
Let g = -4 + 5. Let p be g/(-4)*2*0. Solve -1 = 3*r + 2*q - 5, p = -2*r - 3*q + 11 for r.
-2
Let f(t) = -t**3 + 6*t**2 - 4*t - 2. Let r be f(5). Solve 2*l - 9 = -2*l - r*o, l - 2*o = 5 for l.
3
Let p be (-4 + (2 - 6))/(-2). Let o = -1 + 1. Let a be 5 + -2 + 1 + o. Solve -g = p*v + 4, -5*g = -a*g for v.
-1
Suppose 1 + 3 = d - y, 3*d + 4*y = 12. Solve 0*o + 2*o - d*n = -4, 3*n = 4*o - 7 for o.
4
Let r(k) = 2*k - 14. Let w(d) = -2*d + 12. Let m be w(0). Let b be r(m). Solve 4*j - 17 = -3*c, 26 - b = 2*c + 5*j for c.
3
Let m(d) = -5 + 0 + 1 - 2*d. Let i be m(-3). Suppose 2*b - 16 = -0*h + 3*h, 2*b - 4*h = 18. Solve -i*k = -b*x + 2 - 7, 5*x + 4*k - 25 = 0 for x.
1
Let g be (-15)/(-10)*(-16)/(-6). Let p = 0 - 7. Let m = -4 - p. Solve m*w - w - 2*d = 2, -3*w = g*d - 17 for w.
3
Suppose -3*u = 4*w + 3, -3*u + 3 = -w + 21. Suppose 4 = -w*d + d. Let v be (-3)/d*(-4)/(-2). Solve 5*b + 5*k = -0*k + 25, v*b - 5 = 2*k for b.
3
Let u(c) = c**3 + 5*c**2 - 5*c - 5. Let d be u(-6). Let o = -1 - d. Solve -x = -5*a + 25, 2*x + 8*a - o = 3*a for x.
-5
Suppose -t = -3*t + 14. Suppose -5*i + t*m = 4*m - 28, i - 4*m = 9. Solve 2*l + 5*y - 1 = 2*y, -23 = i*l - y for l.
-4
Suppose m - 2 = 3*m. Let y be (2*m)/(4/30). Let g be -3*y/9 + -2. Solve -3*o - g*c + 7 = -5, -3*o + 12 = -c for o.
4
Let x be (5 - 0 - 2)/((-78)/(-52)). Solve y = 3*m, -y - m = x*y + 10 for y.
-3
Suppose 3*g + 5 = -2*h, -g + 17 = 4*h - 4*g. Let z(d) = -d + 2. Let b be z(2). Suppose b = -5*u + 5 + 20. Solve -u*t = s - 2, 2*t + h*t - 16 = 4*s for s.
-3
Let r be -3*10/(-3) - 0. Suppose -4*j - 3 = 5*g - 15, 6 = -5*g + 2*j. Let c = -1 + 4. Solve 2*y - c*v = v + r, 3*y - v - 5 = g for y.
1
Let i be (-4 - -5)/(3