2*w - f = -7*k for k.
1
Let f = 10 + -5. Solve r + 4*h + 2 = 5*h, 2*r = h - f for r.
-3
Suppose 0 = -3*j + 10 - 1. Let l be (-6 + 2 - 0) + 10. Suppose 0 = -s + 9 - l. Solve -s*u + 13 = -j*x - 14, 2*u + 17 = -5*x for x.
-5
Suppose -2*w + 30 = -3*t, -w - 3*t = -0*t - 33. Suppose 6*b - w = -3. Solve -4*r - b*s = -13, -5*r - 9 + 33 = -4*s for r.
4
Let p(o) = -o**2 + 9*o + 7. Let k = 39 - 22. Let m = k + -8. Let t be p(m). Solve t = -j + 5*j + 3*d, -2*j - 4*d = -16 for j.
-2
Suppose -9*i + 16 + 11 = 0. Solve 4*l + 13*c = 8*c - 12, 0 = 2*l - i*c + 6 for l.
-3
Let z = 151 - 151. Solve -m = 3*v - 2*m - 5, 3*v - 4*m - 20 = z for v.
0
Let b be ((-24)/(-14))/(234/(-84) + 3). Solve -b*o + q = -10*o + 6, 0 = 4*o + 5*q - 6 for o.
4
Let m(d) = 5*d**2 - d. Let l be m(1). Suppose -3*p + 20 = -10. Solve -3*n = -r + p, -l*n - 8 - 7 = -3*r for n.
-3
Suppose 0 = 3*f + 3*k - 4*k + 50, -f + k = 14. Let g(z) = -z**3 - 17*z**2 + 19*z + 29. Let x be g(f). Solve 0 = -r + 6*r - 25, 3*u + r = x for u.
2
Let p = -1 - -6. Let s = p - 3. Suppose d + 3*m = 21, -d + 4*m - 3 = 4. Solve 4*i + d = -3*g + s, 0 = 3*i - 2*g + 1 for i.
-1
Let u be 12/78 + (-661)/(-13). Let x = -48 + u. Solve 3*k = -2*k + j - 1, 0 = -x*k - 2*j - 11 for k.
-1
Suppose 0 = -3*r + 15, -6 - 8 = -2*p - 2*r. Let c be 4/10 + (-2)/5. Suppose 0 = -c*n - 6*n + 36. Solve -s = -j, 0 = -2*j - p*s + s + n for j.
2
Let y(i) = -2*i**2 - 32*i + 135. Let n be y(-19). Solve -4*w = w + 4*c + 40, 0 = -4*w - c - n for w.
-4
Suppose -3*t - 4 = 2*k, -35*t + 38*t - 16 = 2*k. Solve -t*y + 19 = -5*w, -y + 0 = -2*w - 8 for y.
2
Suppose 20 - 5 = 3*o. Suppose -i - 2*i = -2*x - 18, 25 = 5*i - o*x. Solve 2*h = 3*j + 3 + 1, -2*h + 5*j + i = 0 for h.
-1
Suppose 2*t + 2*z + 114 = 7*t, 0 = -4*t + 3*z + 87. Suppose t = -3*g - 3. Let w(n) = -n**2 - 10*n + 4. Let a be w(g). Solve 2*b = 4*v - 14, -4*v + a = 5 for b.
-3
Let i = 0 - -35. Suppose -6*o + i = 17. Solve 5*b = -a - 24, a - o*b = -5*b - 9 for a.
1
Let p = 6 + -4. Suppose -w = 4*x + 14, 3*w + 0*x + 2*x = -12. Let z = p + w. Solve -b + o + 3 = z, b - 5*o - 9 = -o for b.
1
Let c be 2/(-6)*(-2 + 2). Let d(u) = u**2. Let l be d(c). Suppose -3*i + 24 = 3*h, l*i + 32 = 3*i - 5*h. Solve 3*n + 3*a = i, -2*n - 2*n - 3 = -a for n.
0
Let o = -2578 + 2580. Solve o*k + 5*t = -15, 0*k + 5*k + 4*t = 5 for k.
5
Let y be 1 + ((-6)/9)/(4/(-6)). Let i = -60 + 74. Solve 0 = -2*f - p + y*p - 1, -2*p = 4*f + i for f.
-2
Let y be 341/66*(3 + (-9)/(-3)). Solve -2*t + 2*n - 2 = -4, -y = -4*t - 5*n for t.
4
Let b = -89 + 93. Solve 2*h + 3*i + 5 = -5, -10 = 2*h - b*i for h.
-5
Let u be -2 + 8 - (5 + -1). Solve x + 4 = u*x + 3*q, 2*x + 4*q - 2 = 0 for x.
-5
Suppose 0 = 5*u + 2*i, 0 = 3*u + 3*i - 6*i. Suppose -38*w + 42*w - 16 = u. Solve 4*n = w*h + 20, 3*n - n - 10 = -3*h for n.
5
Suppose 0*y + 8 = 4*y. Solve 0 = 5*u + s + 12, y*u - s + 1 = -1 for u.
-2
Let r = -18 - -22. Suppose r*m = -m + 75. Solve 2*s + 3 = 4*c + 3*s, 5*s = -2*c + m for c.
0
Let s = 259 + -257. Solve -4 = -4*k, 3*z = s*k - 0*k + 13 for z.
5
Suppose p + 1 = -4*a + 10, -5*a = -5. Suppose p*s + 3 = 23. Solve 12 = 5*q - q + 5*i, -s*q + i - 12 = 0 for q.
-2
Let b = 75 - 75. Suppose -14*o + 9*o + 25 = b. Solve o*s + 3*t = 4, 0 = -3*t - 2 - 4 for s.
2
Let w be (16/10)/((-6)/(-60)). Solve 5 = t + 5*y + w, 0 = 5*t - 3*y - 29 for t.
4
Let j(w) = -w**3 - 6*w**2 + 4*w - 10. Let l be j(-7). Suppose -27 - 14 = -3*y - 4*h, -l = -3*y + 2*h. Solve -2*k + r = y, k + 6 = -2*k - 3*r for k.
-3
Let t(a) = -5*a + 23. Let j be t(5). Let g be (-690)/(-210) + j/7. Solve -g*w = z - 3 - 6, -3*w = -2*z for w.
2
Let i be 6/(-15) + 634/10. Suppose -23 = 5*k + 5*o - i, 4*k = -2*o + 22. Solve f = -5*g + 4, -k*g = 2*f + 3 - 4 for g.
1
Let o be 6 + 1 - 4 - -9. Suppose 0 = 5*b - o + 77. Let w = b + 18. Solve -2*v = 3*m + 3 + 9, 3*v = w*m + 1 for m.
-2
Let p be (-127)/5 + (-2)/(-5). Let n be (15 - 10)*(-22)/5 + -5. Let k = p - n. Solve 0 = -0*w - k*w - 10, 4*w + 11 = 3*c for c.
-3
Suppose p = -q + 6 - 3, -5*q + 14 = 4*p. Suppose -8 = q*k - 10. Solve -2 = -3*s + 2*f, -3*f - k = -3*s - 2*f for s.
0
Let z(f) = 2*f**3 - 19*f**2 + 12*f - 2. Let d be z(9). Suppose 28*s - 6 = d*s. Solve k = 4*r + 5, -2 + 0 = -s*r - 4*k for r.
-1
Suppose 5*z + 4*s + 9 = s, 4*s = -12. Suppose 2*d - 6*d - q - 565 = z, d = -q - 145. Let k be 3/18 + d/(-24). Solve -2*x - k = -2*y, -1 = -2*x - 2*y + 1 for x.
-1
Let k be 15/(-2)*(-32)/20. Suppose -7*f + k*f - 10 = 0. Let z(l) = -l - 7. Let p be z(-8). Solve f*i + p = -r + 8, -6 = -i - r for i.
1
Let k = -6 + 8. Suppose -16 = k*z - 60. Suppose 23 = 5*g - z. Solve -d + 2*r = -9, 2*d + g = -6*r + r for d.
3
Suppose 13 = -w - 5*d, 2*w - 5*d - 7 = -4*d. Solve -4*o + 3*r = -18, 5*o + 5*r = o + w for o.
3
Suppose 0 = n + 6*n - 1169. Suppose -5*m = 3*x - n, -2*m + 143 = 3*m - 3*x. Solve 2*t = 5*o - 25 + 4, 5*o + 3*t - m = 0 for o.
5
Let o be (-20*13/(-325))/(4/10). Solve 0 = -q - 3, o*m + 4*q + 18 = -m for m.
-2
Suppose 5*z - 5*b = 15, -b = 3*z + 2*b - 15. Solve x - 15 = -5*t - z*x, 2*x = -t + 6 for t.
0
Let l(m) = m**3 - 3*m**2 + 3*m - 25. Let x be l(4). Solve 5*u - 17 = -2*i, 0*u + x*u - 7 = -2*i for u.
5
Let r = -2 + 14. Let o(a) = -a**2 - 8*a + 2. Let b be o(-7). Let k = 18 + -14. Solve -k*s - r = 3*p, 3*s - p = 3*p - b for s.
-3
Let x(k) = 2*k**2 - 15*k - 3*k**3 + 12*k**2 - 9*k + 2*k**3. Let t be x(12). Solve 0 = -t*i + 3*i + 3*y - 18, -5*y = 3*i - 26 for i.
2
Let t = 10 - 18. Let f = 15 + t. Suppose 0 = -4*l + 5*x - 8, -l - 3*x = 3*l - 24. Solve -l*s - f = -5*o, -5*o - 3*s + 5*s = -3 for o.
-1
Let w = -79 - -83. Suppose u - 8 = -3*x, 3*u - w*x = -2*x + 13. Solve -s = -4*a - 14, -u*a + a - 18 = s for s.
-2
Let o be 288/30 - 14/(-35). Solve -i = 2*j - 3*i + o, j = 4*i - 20 for j.
0
Suppose 24 = 15*q - 18*q. Let b be (0 + 26)*q/(-16). Solve 3 = 4*s - 7*s, -3*d + 4*s = -b for d.
3
Let o = -5 + 7. Suppose 4*d + o*d = 12. Suppose 2*q - 20 = -d*q. Solve 0 = 3*n - 5*m + 5, -m = -q*n + 4*m - 15 for n.
-5
Suppose -4*z + 4*x = -12 - 0, x = 0. Solve -2*n = -3*h - 9 - 1, 0 = -z*n + h + 1 for n.
-1
Let a be (2/6)/(7/525). Suppose 0 = y + 3*o + 2*o - a, 4*y - 4*o - 4 = 0. Solve g - y*q = 23, g - 2*q - 13 = -5 for g.
-2
Suppose 12*n = -365 - 115. Let f be (128/n)/(-4)*5*1. Solve 0 = -f*y + 3*z + 5, -5*y + 20 = -2*z + z for y.
5
Suppose -820 + 136 = -2*m. Suppose -8*z + m = 94. Solve -5*q + 3*n - z = 5*n, -5*n = -2*q + 5 for q.
-5
Suppose 3*x = -p - x + 10, 5*p - 5*x = 0. Solve 4*z - p*o - 20 = -6*o, z - 5*o = -25 for z.
0
Let h(a) = -3*a + 7. Let i be h(3). Let l = i - -10. Let g be (-1)/2 + l/16. Solve -u + 5*d - 30 + 3 = g, 3*d - 17 = u for u.
-2
Let t be (24/15)/((-14)/(-35)). Suppose 4*o = f + 3*o - 8, -2*f - 2*o = -t. Solve -5*l - f = 3*x, -7*l = -2*l + 5*x + 5 for l.
-1
Let p = -48 + 18. Let v = p - -35. Suppose -o + v = -4*g - 19, -4*g = 2*o + 12. Solve -4*l + 2*l = 3*z + 4, o*l - 4 = 0 for z.
-2
Suppose -88*i + 479 = 39. Solve -4 = 5*f - 4*b - 18, 4*f = i*b + 13 for f.
2
Let z = -32 + 22. Let i be (z + 10)/(-1 + 0). Let m be 10/3*60/25. Solve i = -4*o - 4*t - 8, -t = t + m for o.
2
Let z be ((-33)/22)/((-6)/116). Let f = z + -26. Solve -3*i + 3*d = -18, f*i - 2*d = -d + 14 for i.
4
Let i = 78 - 110. Let k be (-2)/8 + (-8)/i. Suppose 4*c - 13 - 11 = k. Solve 0 = 2*f - c, -3*f = 3*a - f - 21 for a.
5
Suppose -5 = i - 2. Let x be (-3 - (-2 - i)) + 2. Let w be (12/10)/(x/(-5)). Solve 1 = -5*l - 2*m + 8, -4*l - w*m = 0 for l.
3
Suppose -f = -0*j - 5*j + 55, -5*j + 35 = 3*f. Solve 4*s + 0*p = p - j, -5*p = -2*s - 14 for s.
-2
Let h(b) = -54*b + 12. Let l be h(-6). Let v be 192/l - ((-6)/14 - 0). Let f = 6 - 4. Solve -2*s = -t - f, 2 = s + t + v for s.
1
Suppose 5*v + 16 = 5*c + 1, -2 = -2*v. Solve -5*u = -4*x + 4 - 0, 2*x = -c*u + 2 for u.
0
Let i(a) = -2*a**2 + 1. Let n(u) = 12*u**2 + 4*u - 1. Let r(b) = 5*i(b) + n(b). Let h be r(-2). Solve -2*t + 0 = 2*w + h, 0 = 2*t + 5*w + 13 for t.
1
Let q = 7 - 5. Let s be q*3/(3/7). Suppose -4*r + 6 = -s. Solve -3*b = r*o + 5, -3*o - 14 = b - 7 for b.
5
Suppose 5*q - 29 = -4*w + 16, 0 = -w. Suppose -f = -0*f. Let z be (-6)/12 + 7/2. Solve f = 2*t + z*l - q, -t + 1 + 4 = 2*l for t.
3
Suppose 5*y = 5*a - 4*a + 25, a + 5 = y. Suppose a = 17*v - 14*v - 42. Solve 4*q - v = -l, 8 = l - 2*q + 4*q for l.
2
Let m = -81 + 134. Suppose 50*