Suppose 174 = 2*i + 170. Let w be -1*(-2)/(1 + 1). Solve w = -3*b + i*b for b.
-1
Let f be (-8 + 14)/(36/42). Solve f*w = -95 + 109 for w.
2
Suppose -7*s - 2*s = s. Solve s = 7*n - 8*n for n.
0
Let m = 33 - 12. Suppose 4*s + 4*q - 28 = 0, -5*q - 16 - m = -4*s. Let j(d) = 3*d - 17. Let a be j(s). Solve -a*f + 2*f + 25 = 0 for f.
5
Let f be 24/9 - 4/6. Suppose -5*d - 2*z - 5 + 25 = 0, -3*d + 2*z = -12. Let p be (4 + -4)/d - 0. Solve k + f + 3 = p for k.
-5
Suppose l - 3*n = 15, 5*l - 3*n - 5 = -2*n. Let c = 35 - 32. Suppose 0 = -c*b - l*b. Solve b = -5*i + 3*i for i.
0
Let a be 1*9/(9/5). Solve -4 = -h + a*h for h.
-1
Suppose 3*q - a = -1, q - 4 = -2*q - 4*a. Solve o - 3 + 1 = q for o.
2
Let u be (4/(-6))/(26/(-195)). Solve -u*b - 16 = -1 for b.
-3
Suppose -o + 10 = -6. Suppose -6*r + 2*r + o = 0. Solve -k + 2*k = -r for k.
-4
Let x(p) = p**2 - 2*p + 23. Let z be x(7). Solve -z = -4*b - 54 for b.
1
Suppose -34 = -3*g - 4. Suppose 0 = b - 4*k - g, 3*k = -2*b - 0*b - 2. Solve 4*p - 2 = b*p for p.
1
Let h = -30 + 55. Suppose -7*y = -6*y - h. Solve 5*j + 0*j = y for j.
5
Suppose -150 = 8*j - 38*j. Solve 18*l + j = -13 for l.
-1
Suppose 3*h + 3*v + 3 = 0, -h = -3*v + 11 - 30. Solve 11*l = 13*l - h for l.
2
Let n be -5*(-3)/((-225)/(-10))*9. Solve n*u - 8*u + 8 = 0 for u.
4
Let c(q) = q**2 + 6*q + 4. Let f be c(-6). Suppose 6*a = 8*a - f. Solve -a + 6 = -u for u.
-4
Let n(l) = 16*l + 52. Let a be n(-3). Solve 0 = -4*u + a*u + 2*u for u.
0
Let m = 1 + -15. Let f = -12 - m. Suppose -16 = -f*l + 2. Solve 1 + l = -5*k for k.
-2
Suppose -7*p + 3 = -46. Suppose 5*f - 8 = 2. Suppose 0 = y - f. Solve -20 = p*l - y*l for l.
-4
Let j(p) = -2*p + 7. Let f(x) = -2*x + 8. Let g(w) = -6*f(w) + 7*j(w). Let k be g(-1). Suppose -i = k*i. Solve i = c - 8 + 3 for c.
5
Suppose 2*z = 136 - 28. Suppose 53*c - z*c = -2. Let t be ((-16)/(-20))/(4/30). Solve -t*p = -c*p - 20 for p.
5
Let y = 47 - 27. Suppose 0 = x - j - 2, 5*j - y = 2*x - 7*x. Solve -a = -x*a - 4 for a.
-2
Let g(o) = -o + 4. Let w be g(4). Suppose -4*h + 2*r = h - 18, -2*h + 2*r + 6 = w. Suppose h*i + 0 + 18 = -j, j - 5*i - 27 = 0. Solve 0 = -j*k + 7*k for k.
0
Let n be -6*16/(-12) - 3. Suppose -27 = -2*f + n*f. Let w = f - -9. Solve 2*j = -2 - w for j.
-1
Let l(w) = w**2 - 14*w + 7. Let o be l(11). Let a = -22 - o. Solve -a*u + 2*u = 8 for u.
-4
Let u = -112 + 119. Solve 0 = -0*t + u*t - 7 for t.
1
Let y(g) = -g + 4. Let a be y(2). Let b(w) = 10*w**2 - 1 - 2*w - 7*w**2 - 5*w**a + w**3. Let o be b(3). Solve 0*l = o*l for l.
0
Let a be ((-48)/60)/((-4)/10). Solve -17*s = -a*s + 15 for s.
-1
Suppose 2*n = 2*m + 8, 2*m - 11 = 3*n - 23. Solve 0 = 6*v - n + 16 for v.
-2
Let m(k) = k**3 + k + 2. Let s be m(-1). Solve s = -4*f - 16 - 0 for f.
-4
Suppose -144*t = -143*t - 7. Solve 3*x - t + 4 = 0 for x.
1
Suppose 0 = i - b - 8, -i + 24 = -0*i - 5*b. Solve i*w = -3 + 11 for w.
2
Let o = 6 - 3. Suppose 4*a + d = a + o, d = -3. Suppose 3*f = -a*f. Solve 2*z + f*z + 10 = 0 for z.
-5
Suppose -12 = 2*q + 4*w, -3*w - 8 = -4*q + 12. Suppose q*j + 0 = 6. Let y be j/(-4)*(-24)/6. Solve 0 = t - y*t - 2 for t.
-1
Let q be (6/(-8))/(1/(-4)). Let i = -3 + q. Suppose i = 5*f + 2*f - 35. Solve -f*k = -5 + 25 for k.
-4
Let p be (-3)/6 + (-14)/(-4). Suppose -2 = p*q - 11. Solve q*a = -15 - 0 for a.
-5
Let c be (-4)/(-8) - (-1)/(-2). Suppose c = -5*m - 3 + 13. Suppose 0 = m*a, 0 = -2*n + 3*a - 6*a + 18. Solve -u = 2*u + n for u.
-3
Suppose 2*s = 67 - 3. Let b = s - 28. Solve b*t - 6 = -14 for t.
-2
Let r = -40 + 42. Let c be 5/(15/(-33)) - -1. Let p = 16 + c. Solve r*v - 2 + p = 0 for v.
-2
Let i(j) = 3*j - 13. Suppose 3 - 15 = -h + 4*m, -2*h + 5*m + 15 = 0. Let p = h + 6. Let u be i(p). Solve 3*x - u = 4 for x.
3
Suppose -65 = 4*s - 7*s + 2*i, 0 = 5*s - 5*i - 115. Suppose 3*q = m + 2, 2*m - q = s - 8. Solve 3*z - 1 + m = 0 for z.
-2
Let a = 82 + -67. Solve c - 42 = a*c for c.
-3
Suppose r + 2*r = 0. Solve l + 0 + 4 = r for l.
-4
Suppose 0 = z + 6 - 12. Solve z = -t - t for t.
-3
Let u be (2 + 2/(-2))*-3. Let b(w) = -9*w - 21. Let a be b(u). Solve 0*j - 2*j - a = 0 for j.
-3
Let u be 1 - (0 - 2) - (23 - 27). Suppose 3*p - 3*q + 24 = u*p, 3*p - 21 = -3*q. Let k be 0 + 1/(2/4). Solve k = -p*z + z for z.
-1
Suppose -3*z = 4*j - 4*z, -5*j + z = -1. Suppose -3*s = -0*s - 9. Let p(i) = i**2 - 10*i + 5. Let b be p(11). Solve -s*q = -b + j for q.
5
Let p(k) be the third derivative of k**6/120 + 11*k**5/60 + 7*k**4/8 + 9*k**3/2 + 8*k**2. Let y be p(-9). Solve 6*w - w + 25 = y for w.
-5
Let u = 5 - -6. Let s = u + -11. Let n(q) = -3*q + 25. Let f be n(8). Solve d - f + 2 = s for d.
-1
Let t(i) be the third derivative of 0 + 1/24*i**4 - 1/60*i**5 + 0*i + 5/3*i**3 - 5*i**2. Let j be t(0). Solve 0*u - 5*u - j = 0 for u.
-2
Suppose 0 = -3*r + 3*b + 12, 4*r - 3*b - 20 = 2*b. Let n be 4 + 0*4/12. Suppose -2*g = -n - 6. Solve r*o = -g*o for o.
0
Let d be (-6)/39 - 3960/(-390). Solve -3*o - 2 = d for o.
-4
Let z = 137 - 88. Let j = -39 + z. Solve 3*d = 8*d - j for d.
2
Let l(p) = -p**2 - 2*p + 11. Let u be l(-5). Let q be -1 + 2 + (-4 - u). Solve 0 = -c - q for c.
-1
Suppose 2*r = 4*a - 373 - 23, 4*a - 396 = -3*r. Let s be 2/9 - 22/a. Suppose -z - 6 + 8 = s. Solve z*j - 4 - 2 = 0 for j.
3
Suppose -68 - 1248 = -47*h. Solve 0 = c - h + 24 for c.
4
Let p = -2467 - -2475. Solve 0 = 4*r - p for r.
2
Let p be 64/36 - 2/(-9). Suppose p*a + 3*b = 6*a - 33, -4*b = -a - 8. Solve 3*v = 7*v + a for v.
-3
Let j = 11 + -4. Let w(k) = -3*k**2 + 17*k - 19. Let q be w(3). Solve q*o - 3 - j = 0 for o.
2
Let y(u) = u**2 + 3. Suppose 0 = 7*s - 3*s. Let w be y(s). Suppose -w*d = 8 - 23. Solve d + 0 = -o for o.
-5
Let u = 6 - 6. Suppose u = -3*r - 1 + 4. Let b = r + 5. Solve n + b = -n for n.
-3
Let p(i) = i**2 - 6*i - 10. Let z be p(8). Let s = 28 - 23. Suppose -4*d = -s*n - 20, -3*d + z*d - 15 = -5*n. Solve -d*r - 17 = 8 for r.
-5
Let s = 133 + -131. Let d be 9/(-6)*(-12)/9. Solve f - s = d*f for f.
-2
Suppose 2*q = -24 - 8. Let h = q - -20. Solve t = -h*t for t.
0
Let w(u) = 18*u - 2. Let p be w(1). Solve 0 = k + 7*k - p for k.
2
Suppose -15*p + 60 = -10*p. Suppose 5*c = -5*o + 45, -p*c + 18 = 2*o - 7*c. Solve -6*x + o = -3*x for x.
3
Let o be 3*(-1)/3 + 13. Solve 4 + o = -4*d for d.
-4
Let u(m) = 7*m - 7. Let q be u(2). Solve -8*t = -q*t - 2 for t.
2
Let y be ((-308)/16)/(-7) - (-2)/8. Solve 5*o = 4*o + y for o.
3
Suppose -4*w - 5*y + 5 = -9*w, 2*y - 2 = -w. Let a(b) = -b - 6. Let q be a(-8). Solve q*r = -w*r for r.
0
Suppose 0 = -0*i - i - 5*j - 18, i = 3*j + 6. Suppose -v - 1 - 3 = 0, 2*g = -2*v + 18. Let c = g + i. Solve 0 = -3*p - c - 5 for p.
-5
Let f be (-9)/(-27) - (-58)/6. Solve -15 - f = 5*g for g.
-5
Suppose 0 = -3*j - 4*a - 6, 0 = -2*j + 4*j - 4*a - 16. Solve 2*d + 8 = -j for d.
-5
Let o(k) = -k**3 + k**2 + 2*k + 1. Let v be o(0). Suppose 10*s = 4*s + 84. Let a(n) = n**2 - 4*n + 3. Let j be a(4). Solve j*h = -s - v for h.
-5
Suppose -5*t + 5 + 5 = 0. Suppose 6*b - 16 = t*b. Let v be 40/(-12)*(-6)/b. Solve -v*q = -2*q + 6 for q.
-2
Let k = -30 + 34. Solve -k + 8 = -l for l.
-4
Let u = -710 + 726. Solve -5*z = -9*z - u for z.
-4
Let k = -136 + 139. Solve 0 = -k*t - 0 - 15 for t.
-5
Let c be (-14)/(-1)*(-1)/((-10)/15). Let q be 7/(c/10)*(-18)/(-15). Solve -q*a + 1 = 21 for a.
-5
Let t(v) = -v**2 + 3*v + 56. Let k be t(-6). Solve k*f - 5*f - 15 = 0 for f.
-5
Let l = -30 + 30. Suppose 2*z - 8 = -4*m, l = z + 3*z + m - 9. Solve -z*a + a = 5 for a.
-5
Let w be (-4)/(-5) - (-59)/(-5). Let t = w - -15. Let y be 3/(-1) + 2*t. Solve -y*p + 0*p = -10 for p.
2
Suppose -x - 4*z = 6, -z = 3*x - 0*z - 4. Let u = x + -2. Let h be (u - -2)/(8/12). Solve -2 = -h*m + 7 for m.
3
Let o = 311 + -311. Solve 0 = -o*h - 2*h + 4 for h.
2
Let d be (0 - -1)/((-16)/(-64)). Suppose 0 = -5*r + d*r + 15. Solve 2*z + 3*z - r = 0 for z.
3
Let f(i) = 40*i - 18. Let y be f(1). Solve 21*z - y = -1 for z.
1
Suppose -3*p - 4*s - 8 = 0, 3*p - 2*s + 4 = 26. Suppose 2*x = -3*n + p*n + 3, x + 1 = 3*n. Suppose 6*j - x*j = 0. Solve i + 0*i = j for i.
0
Suppose 0 = -117*z + 121*z - 8. Solve -7*l - 20 = -z*l for l.
-4
Suppose -4*p - x = -20, -3*x - 30 = -3*p - 0*x. Solve 4*q = -p*q - 40 for q.
-4
Let u be -2*(-3 + 1)/(-1). Let o(y) = y**3 + 14*y**2 + 9*y + 21. Let h be o(-14). Let b be u/14 - 555/h. So