-4*w - w + 13 = -2*n, g*w + 3*n - h = 0 for w.
3
Let k be (-2)/(-8) - (121/(-44))/(-11). Solve k = w + 2*b - 3, 20 = 5*w - 4*b - 9 for w.
5
Let f be 2/(((-1)/3)/(-1)). Let a(b) = -5*b + 6. Let g(q) = 7*q - 7. Let s(i) = -3*a(i) - 2*g(i). Let h be s(f). Solve w + h = -y - 0, y + 11 = 2*w for y.
-5
Let g be (20/12)/(4/12). Solve 0*r - 7 = b + 2*r, g*b = -3*r - 14 for b.
-1
Let x be (-1 - -1)*(-1)/(-1). Suppose 0 = -5*m + 3*k + 27, -5*m - 5*k = 5 - x. Suppose 2 = m*y - 10. Solve q + y = a + 2, -6 = -4*q - 3*a for q.
0
Let d(a) = 3*a - 5. Let y be d(6). Let j be 1/(-2) - y/(-26). Solve -5*x - 3*t + 18 = j, -1 = -t - 0 for x.
3
Let k(a) = -13*a - 22. Let c be k(-2). Suppose w + 5 = -2*j + j, w = c*j - 5. Solve -v - 5*u - 3 = -4*u, -v + 3*u + 13 = j for v.
1
Let z(h) = -h**3 - 43*h**2 - 118*h + 82. Let t be z(-40). Solve 7 = -t*d - 3*l, 3*d + 4*l - 2*l = 2 for d.
4
Suppose 4*a + 28 = 4*j, 4*a - 7 = -5*j + 1. Suppose m + 3*i = -j - 5, i - 5 = -3*m. Solve -p + 3*p = -2, -m*k - 2 = 5*p for k.
1
Let d = 11 + -5. Suppose 0 = -2*z - 2*m - 4, -4*z - 4 = 2*m - 0. Suppose z = -3*n + 7 + 17. Solve 2*w - 13 = 5*t, d*w - n = 4*t + 2*w for t.
-3
Suppose 4*x - 3*l - 19 = 0, 3*x + 2*l = -2*l + 8. Solve -2*k + 0 - 2 = 2*n, 0 = -x*n + 2*k - 28 for n.
-5
Let s be 3/(-2) - (216/(-16) - -8). Solve -4*u + 6*u = s*g + 12, -3*u = g + 10 for g.
-4
Let j(i) = i**3 - 14*i**2 - 14*i - 11. Let y be j(15). Solve 2*t = 2*r - 6 - 6, -y*r = -3*t - 20 for t.
-4
Let s(n) = 3*n - 1. Let j be 9/9*(1 - -1). Let i be s(j). Solve 3*d + 4*p = -2 - 13, 11 = -i*d - 2*p for d.
-1
Let c(z) = 2*z**3 - 2*z**2 + z + 4. Let x be c(2). Solve -3*w = -5*t + 5 - 1, -2*t - 5*w = -x for t.
2
Suppose -5*m - 16 = -s, s - m - 8 + 0 = 0. Solve -2*c + 3*d + 11 + s = 0, 5*c - 20 = 3*d for c.
1
Let f(o) = -o**3 + 16*o**2 - 24*o - 8. Let j be f(14). Let v be ((-3)/j*-4)/((-1)/(-8)). Solve -v*z = 5*n - 6, 2*z - 2*n - 2*n - 6 = 0 for z.
3
Let a = 33 - 33. Suppose 3*n - 17 = c + 3*c, -n - 5 = -4*c. Suppose n*l - 4*l = a. Solve 4*u + 4*m - 20 = l, -6 = u - 4*m + 14 for u.
0
Suppose -1 - 20 = k. Let g = 10 - k. Solve 4*l + f = -0*f - 17, 5*l + g = 2*f for l.
-5
Suppose -2*i + 27 = -u - 22, 0 = 5*i - 5*u - 115. Let f = 20 + -23. Let a be (-1 + 2/f)*-3. Solve 0 = -5*r + a*l + 45 - 0, 2*r = 4*l + i for r.
5
Suppose 115*f + 4*y = 117*f - 26, -29 = -5*f + y. Solve -3*b - f*n + 5 = 0, -1 = -5*b - 5*n + 4*n for b.
0
Let g(f) = f**2 - 17*f + 20. Let i be g(13). Let y = i + 34. Solve 0 = o - y*o + u - 3, -5*o = -4*u + 15 for o.
-3
Let o(v) = 28*v - 23. Let n be o(1). Let j be (-5)/20 + (-11)/4. Let m = j - -7. Solve m*d + 3 = n*c, -3*d = -d + c + 5 for d.
-2
Let t = -139 + 69. Let x be t/(-3) + 1/(-3) + 0. Solve -2*m = 2*j + 8 + 4, -x = 4*j + 3*m for j.
-5
Let l be 6/(-15) - 54/(-10). Suppose -l*s - 8 = -23. Suppose s*x = x + 10. Solve 3*i = -6, -x*c + 26 = -c - 5*i for c.
4
Let m be 2 + (1 - -2 - (8 - 10)). Solve 2*f = -3*l + m, f = -4*l + 1 + 15 for f.
-4
Suppose -5*q = 3*z - 0*z - 38, -4*z + 4*q + 8 = 0. Let o = -191 - -195. Solve -5*v = f + 19, 34 - z = -o*v - 4*f for v.
-3
Let n(k) = 6*k + 131. Let y be n(-21). Solve -9 = -3*l + y*q, -4 = -5*l - 2*q + 11 for l.
3
Let q = -140 - -145. Let d be (-2 - -3)*(3 + -18). Let r = 23 + d. Solve q*m - 2*m + 3*p = 3, 4*p = -5*m + r for m.
4
Suppose -q = -5 + 3. Let b(o) = 2*o**2 - 3*o + 2. Let h be b(q). Let t = 8 - h. Solve -a + t = l, 6*l - 2*a = l - 1 for l.
1
Let t = -80 + 56. Let q be (0 + -48)/(t/32). Let z = -45 + q. Solve 3*n + z + 1 = 2*u, 3*u = -5*n - 8 for n.
-4
Suppose 4*i = 5*i - 4. Suppose -5*t - 5*y = -5, -4*t - 14 = -4*y + 2*y. Let m be (-4 + 3 - -5) + t. Solve -3*n - 5 = -i*k - 19, 3*n - 4 = m*k for k.
-5
Let m be (-10)/80 - (1 + 66/(-16)). Solve 2*z + 21 = 5*a, -3*z + a = m*a + 3 for z.
-3
Let v = -11 + 11. Suppose -130 = -v*s + 5*s. Let i be (-6)/(-15) + s/(-10). Solve -2*k = 4*r + 3 + i, 0 = -5*r - 3*k - 5 for r.
-4
Suppose 0 = -3*u - 15, -3*x + 61 = 2*u - u. Let k(m) = -7*m - 5. Let q be k(-1). Solve q*a = 3*n - 0 - 5, 4*n - x = -5*a for a.
2
Let l(y) = y**2 - 6*y + 15. Let q be l(3). Let r = -5 + 9. Solve -q*o + o + 29 = r*n, 5*o - 5*n = 20 for o.
5
Let q = -601 - -603. Solve l = -4*p + 15, -4*l - 3 = -q*p - 3*p for p.
3
Let h(b) = -b**2 + 2*b + 5. Let n be h(0). Solve -z = 4*v + 14, 5*z = -n*v + 2 - 12 for z.
2
Let m be ((-7)/28)/((1 + -18)/408). Suppose -3*v + 11 = -7. Let y = 0 + v. Solve -4*f + 2*a = y, f + 2*a - m = 4*a for f.
-4
Suppose 0 = -0*t + 5*t + 20, 2*p - 2*t - 8 = 0. Suppose p = 2*n + 4*x - x, -3*n + 19 = -5*x. Solve -4*s = 0, 0 = -3*u - 2*s + n*s - 3 for u.
-1
Let c(g) = -g**3 - 8*g**2 - 18*g - 31. Let n be c(-6). Solve n*j - 3*p - 11 = 0, 2 = -j - 3*j - 3*p for j.
1
Suppose 5*g = 3*d - 4*d + 8, -4*g + 3*d + 14 = 0. Let l be (-10)/((-4)/g) - (-6 - -9). Solve -4*k = -5*w - 1 - 2, 3 = l*k - 3*w for k.
-3
Let y(k) = 6*k - 8*k - 9 + 5*k - 1. Let i be y(6). Solve -4*h + 11 + 2 = b, -h = -2*b + i for h.
2
Let v be (0 - -1)*(0 - -8). Let k(x) = 55*x + 4. Let j be k(0). Solve -j*t - z = 1 - 5, 5*t + 2*z = v for t.
0
Suppose 20*n = 9*n + 55. Solve -n*d + 2*g + 21 = 0, -3*d = -2*g - 0 - 11 for d.
5
Let u = 202 + -197. Solve 3*s + 6*f - 2*f + u = 0, 0 = -s + 5*f + 30 for s.
5
Let z(q) = -3*q**2 + 9*q + 2. Let u be z(4). Let s = u - -24. Let g be 50/s + 6/14. Solve 4*p + 26 = -5*d, -g*d + p = 2*p + 12 for d.
-2
Let y(z) = -z**2 - 11*z - 7. Let t be y(-10). Suppose 2*s = -10, -g - 5 - t = 4*s. Solve g = 5*m - 5*l + 3*l, -3*l = m - 16 for m.
4
Let a = 2510 + -2505. Solve -t + 4 = -2*z + 5, 25 = a*z + 2*t for z.
3
Suppose -5*s + 3*o = -19, 30*s + 3*o = 28*s + 16. Solve -k - f + 6 = 0, -6*k + 16 = -s*k + 3*f for k.
1
Suppose -8*l - 3*k = -3*l + 104, -28 = l + 3*k. Let r = 22 + l. Solve z - r*t - 7 = 0, -2*z - 2*t - 7 = -t for z.
-2
Let o be (-5 - -1)*((-328)/(-32) + -11). Solve 4*b + 5 + 0 = k, -2*k = 5*b + o for k.
1
Let y(m) = -53*m + 4. Let d be y(-4). Suppose 0*r + 3*r + d = 3*z, 5*z - 400 = -5*r. Let t = z - 44. Solve 0 = 3*u - 5*a - t, u - 3*a + 5*a + 4 = 0 for u.
4
Suppose -5*i - 136 = -4*l, -2*l + 26 = -0*i - i. Let t be 7/2 - i/56. Solve 26 = 3*b - 4*q, t = -0*b - 3*b - 2*q for b.
2
Let t be 5/15 + 16/6. Suppose -t*k = -7*k + 12. Solve -m - 3*q + 12 = -2*m, k*q = -3*m for m.
-3
Let t = 1644 - 1640. Solve -t*c = 5*r + 11, -4*r = -10*c + 11*c for c.
-4
Suppose 0 = -5*h + 4*y + 8, -6*h + 7*h + 11 = 5*y. Solve -5*a = -4*q + 18, 3*q + 4 = -h*a - a for q.
2
Let k(i) be the first derivative of i**4/4 + 5*i**3/3 - i**2 - 5*i + 10. Let z be k(-5). Solve 6 = -y - 4*o, -z*y + 2*o + o + 16 = 0 for y.
2
Let d = -1982 - -1984. Solve -w - 5*y + d = -2*y, -2*w = 2*y for w.
-1
Let m(g) = -2*g**2 - 52*g - 48. Let v be m(-25). Suppose -5*h - 18 + 5 = b, 0 = 2*b + 2*h + 2. Solve v*y - 4*j + 5*j = 0, -2*y + b*j = -6 for y.
1
Suppose -118 = -4*w - 26. Suppose 0 = 7*h + 3*h. Suppose h = -19*p + w*p - 60. Solve -l = 5*i + 7, 3*l = 4*i + 2 + p for l.
3
Suppose -r - 3 = 3*k - 4*k, 3*r = -k + 11. Solve 5*t = 5*m + 5, -m + 13 = -r*m - 5*t for m.
-3
Suppose -3*c = 4*v - 7 + 59, 3*c = v - 47. Let w be 16/c*-1*7. Let i = 17 - 10. Solve 5*m + i = m + 3*k, m + k = w for m.
2
Let t(i) = i + 12. Let s be t(-10). Let r = 25 - 13. Suppose s*k + 4 = r. Solve -3*p - 3*o + 9 = 0, -k*p = 2*o + o - 8 for p.
-1
Let l be ((-6)/4)/((-12)/16). Solve -l*j - 1 = 3*v, -5*v + 0*v = 5*j for j.
1
Suppose -9 = -4*j + j. Suppose 2*p - 132 = -4*o - p, 0 = o + 3*p - 42. Let m = 30 - o. Solve m = t - 1, -3 + 20 = -5*n - j*t for n.
-4
Let d(s) = s**2 + 10*s + 21. Let j be d(-9). Suppose 0 = v - 5*o + 13, -4*o + 4 + j = 2*v. Solve g + z - 3 - 3 = 0, 0 = g - z - v for g.
4
Let i(b) = b**3 + 3*b**2 + 3*b - 3. Let o be i(-3). Suppose -2*g - 27 = 1. Let k = o - g. Solve 3*x = z - 1, -k*x + 4*z = -x - 18 for x.
-2
Let s(d) = 2*d + 6. Let f be s(-1). Let w = 4 - -1. Solve w*p = z, z = -f*p - z for p.
0
Let o = -29 - -64. Let m = o - 1. Suppose -2*x + n = -3*n - 48, 4*n + m = x. Solve 2*v + p = -x, 5*v - p + 3*p = -33 for v.
-5
Suppose 0 = 6*v - 8 - 4. Let x = v + -2. Solve 2*b - 21 = -5*z + 3*b, x = -2*z + 3*b + 11 for z.
4
Let s be -8*(-4)/40*5. Let w be (-3)/s*24/(-9). Suppose -w*t - 10 = -4*n, -2*n - 3*t + 12 = n. Solve 2*a = -4*k + 10, -n*k - k + 12 = 0 for a.
-1
Suppose 0 = -5*y - t + 22, -4*t = 4*y - 90