 Solve u = -2*u + w for u.
3
Let b be 0/((-16)/(-4) + -6). Let g be (b - 0) + 0/(-1). Solve -3 + g = -3*r for r.
1
Suppose -4*t - 3 = 177. Let r = 66 + t. Suppose u - 2*q - 2*q = r, -5*u = 5*q + 20. Solve -j = -u + 5 for j.
-4
Let s be ((-3)/(-5))/((-2)/(-10)). Suppose -r - s = -2*r. Solve 0 = g + r*g + 8 for g.
-2
Let i(a) = -a**3 + 6*a**2 - 3*a - 7. Let g be i(5). Let r be 13 + (g - 0) + 1. Suppose 34 = 4*m + 5*u - 3, -4*u + r = -m. Solve -18 = -5*k - m for k.
3
Suppose 3*z - 2 - 4 = 0. Let w(n) = -n**3 - 10*n**2 + 2*n + 1. Let k be w(-10). Let p = k + 21. Solve z*m = -p*m - 20 for m.
-5
Let u(y) = -3*y - 31. Suppose 3*q = 0, i - q + 3 = -8. Let h be u(i). Solve -7 = h*f - 1 for f.
-3
Let b(j) = -j + 4. Let q(n) = n - 4. Let k(u) = 3*b(u) + 2*q(u). Let a be k(6). Let w be a/4*-2 - -3. Solve -w = 3*i - 1 for i.
-1
Suppose 2*i - 141 = -5*f, 4*f - 6*i + 8*i = 114. Solve 9*r - 18 = f for r.
5
Let w = -1032 + 1032. Solve w = -3*s + 193 - 208 for s.
-5
Suppose -12*z = -8*z - 20. Suppose 0 = -z*v + 10*v. Solve -5*l + v*l = 25 for l.
-5
Let t(r) be the third derivative of 1/4*r**5 + 0*r + 8/3*r**3 + 1/120*r**6 - 6*r**2 + 0 + 5/8*r**4. Let p be t(-14). Solve p*m + 4 = -0 for m.
-2
Suppose 952*d - 90 = 943*d. Solve -z + d = 9 for z.
1
Suppose -8 = r - 12. Solve 7*a - 5*a = -r for a.
-2
Suppose g - 18 = -3*h, -6*g = -10*g - 2*h + 42. Solve -3*z = -g - 6 for z.
5
Let q(i) = -i**2 + 6*i + 2. Suppose -5*b = 5, -5*a = -0*b - 5*b - 35. Let k be q(a). Suppose k*s = -3*s + 20. Solve -9*o = -s*o for o.
0
Suppose -3*h + 209 - 140 = 0. Solve 43 - h = 10*b for b.
2
Let w(v) = 2*v**3 + 39*v**2 - 19*v + 33. Let u be w(-20). Solve 0 = 12*i - u + 1 for i.
1
Let j = 20 - 19. Let t = j - -2. Suppose t = g - 0*g. Solve -h = g*h for h.
0
Suppose 4*s = -s + 10. Let f be -2*(s/4 + -3). Solve -2*p + f*p + 12 = 0 for p.
-4
Let s(n) be the first derivative of n**3/3 + 7*n**2 - 27*n + 24. Let c be s(-16). Solve -2*l = -c*l for l.
0
Suppose -16*q + 99 = 17*q. Solve 0 = -q*v - 37 + 40 for v.
1
Let t be (2 - 2) + 6/1. Suppose w - t + 5 = 0. Let j(u) = 4*u**2. Let m be j(w). Solve -f + m*f - 9 = 0 for f.
3
Let a(k) = 12*k + 83. Let n be a(-6). Solve -18*v - n = -101 for v.
5
Suppose 296 = 16*q + 56. Solve q*s - 28 = 22*s for s.
-4
Let b(q) = -8*q - 259. Let m be b(-33). Solve 0 = m*x + 2*x + 7 for x.
-1
Let d(h) = -52*h - 9. Let s be d(-1). Solve s = 3*q + 28 for q.
5
Let h(o) = 3*o + 20. Let k be h(-6). Suppose -k*i - 5 = -13. Solve 0 = i*z + z - 25 for z.
5
Let u(d) = -54*d**2 + 2*d - 2. Let l be u(1). Let o = 54 + l. Let c be 2/(-4) + 38/4. Solve o = 2*x + x + c for x.
-3
Suppose 195 = 16*s + 3. Solve 4*c = c - s for c.
-4
Let t(j) = -2*j - 41. Let s be t(-24). Suppose 0 = -8*w + 9*w - 9. Solve -4*i - w = s for i.
-4
Suppose 4*k - s = 60, -s = -3*k + 3*s + 45. Let d = -7 + k. Suppose -d*t + 30 = -3*t. Solve -3*j - 6 = t for j.
-4
Let x(n) = n**2 + 10*n + 27. Let o be x(-7). Solve 3*a = -3 - o for a.
-3
Suppose 3*r - 14 = -2*z - 0, 0 = 3*z + 3*r - 15. Let s be (z - -2) + -5 + 2. Solve -4*t + s*t = -16 for t.
4
Let a = 726 - 725. Solve -f = -a - 2 for f.
3
Suppose 5*y = -s - 7, -63 = s - 2*y - 77. Solve -15*t = s + 7 for t.
-1
Let z = 33 + -31. Suppose -z*d - 11 = -r, 20 - 74 = -2*r - 4*d. Solve -4*x - r = 1 for x.
-5
Let s = -516 - -766. Let a be (s/20)/(1/2). Suppose 2*o + x - 3 = 2, 3*x + a = 2*o. Solve -o*n - 8 = -n for n.
-2
Suppose -299 = -7*y - 257. Solve -9*w + y = -3 for w.
1
Let h(j) = j**2 - j + 6. Let m be h(0). Let f(q) = q**2 - 4*q - 7. Let y be f(m). Suppose -l = 2*n, -5*l - n = -0*l. Solve l*a + 20 = -y*a for a.
-4
Let l(i) = i**3 + 11*i**2 + 2*i + 22. Let v be l(-11). Suppose v = -3*n - 0*n + 12. Solve -n*r = -3*r - 2 for r.
2
Let h be (-8)/(-12) + (-14)/(-6). Solve h + 9 = 6*u for u.
2
Let c = 1 - -1. Suppose -118 = -8*n - 22. Suppose -2*v = 2*r - 4, 0 = -0*v + 4*v + n. Solve -7*w = -c*w - r for w.
1
Suppose -2*t + 4*t = 10. Suppose 8*s = t*s + 9. Solve -18 + 3 = s*z for z.
-5
Suppose 6*s - s = 0. Suppose -z = -2*z - d, s = 3*z + 2*d - 3. Suppose -5*h = -5*l + 5, 3*l + l - z = 5*h. Solve 0 = -0*p + l*p + 4 for p.
-2
Let v be -6 - 1*(-7 + 3). Suppose 0 = -7*o + 2*o + 15. Let w be 6/(3/v + o). Solve -w*d = d - 15 for d.
3
Let z = 13 - 8. Suppose -z*p - 15 = 0, 5*m = -0*m + 5*p + 25. Solve 0 = -m*d + 7*d for d.
0
Let h = 29 + -26. Suppose h*d = -7 + 13. Solve -4*m + d = -10 for m.
3
Let u be 8/(-3)*(-4)/(24/(-63)). Let s = u - -33. Solve 0*i = -s*i for i.
0
Let h(p) = 2*p**2 + 39*p - 108. Let o be h(-22). Solve -16 - o = 6*b for b.
-3
Suppose 4*t - 4*w = 64, 9*w - 13*w = 5*t - 62. Solve t = -7*z - 7 for z.
-3
Suppose -3*p - 49 - 35 = 0. Let s = 13 + p. Let f = s - -18. Solve f - 7 = 4*k for k.
-1
Let t = -566 - -568. Suppose 0 = 4*p - 9 + 1. Solve 0*l = -p*l + t for l.
1
Suppose 15*o - 14*o - 4 = 0. Suppose -4*g - 77 = -5*r, 3*g - o = 5*r - 6*r. Solve 4 = 3*x + r for x.
-3
Suppose 3*u + 3*d + 20 = u, 0 = 5*u + d + 24. Let o be 3/(u/(3 - -21)). Let k = 25 + o. Solve -k*y + 15 = -2*y for y.
3
Let p be (-4)/5 - 304/(-80). Let q be 14 - 4/6*p. Solve 5*u + q = u for u.
-3
Let z = 240 + -226. Solve -46 + z = 16*p for p.
-2
Let t = -21 - -21. Suppose 4*p = -w - 6, w - p - 4 = -t*p. Solve -6*z = -w*z for z.
0
Let o(d) = -2*d**2 - 5*d + 46. Let l be o(-6). Solve 0 = -4*p - 12 + l for p.
-2
Let j = -111 - -116. Let v = 3 - 1. Suppose 1 = m - v. Solve 0 = m*c - j*c for c.
0
Let d(w) be the third derivative of -w**5/60 - 5*w**4/24 - 2*w**3/3 - 21*w**2. Let x be d(-4). Solve -3*h + x = 3 for h.
-1
Let o(c) = -c. Suppose 0*f - 15 = -5*f. Suppose 3 + 4 = -f*g + 2*s, -2*g - 3*s - 22 = 0. Let a be o(g). Solve -6 = a*q - 26 for q.
4
Suppose k + 2*l = 13, 4*k - 4*l - l = 0. Suppose 38 = -3*g + k*g. Suppose -3*r - 4*s + 29 = 0, -s - s = 3*r - g. Solve -3*j + r = -12 for j.
5
Let w(z) = 4*z**2 - 10*z - 47. Let f be w(5). Solve f*a - a = 6*a for a.
0
Let v(g) = g**2 - 10*g + 11. Let d be (18/12)/(9/12). Suppose -d*l = 5*i - 0*l - 47, 0 = 2*i + 4*l - 22. Let w be v(i). Solve 0 = -x + 3*x - w for x.
1
Suppose -2*c - 4*q + 2 = 0, -4*q = 28 - 12. Suppose -135*i + 138*i = c. Solve 5 = -i*n + 17 for n.
4
Let v = 6 + 4. Suppose 14*o - 1320 = -10*o. Let m = -51 + o. Solve -m*y - y = v for y.
-2
Suppose 1291*v - 162 = 1282*v. Solve 2*y = 11*y + v for y.
-2
Let a(o) = o**2 + 6*o + 8. Let m be a(-6). Solve -m*t = -3*t + 10 for t.
-2
Suppose 0 = -4*p - 0*k - k - 11, -5*p = -2*k + 30. Let o(i) = i**2 + 6*i + 10. Let l be o(p). Solve 2*j + 0*j = -l for j.
-1
Let o = 54 + -53. Solve 24*z + o = 25*z for z.
1
Suppose 5*j = -2*u - 6, 5*u - 6 = -j + u. Let w be 14/6 + j/6. Suppose 7*v + 92 = 134. Solve 2*n - v = -w for n.
2
Suppose -20 = 2*t - 28. Solve 7*a - 6 = t*a for a.
2
Let b be (3 - 1)*13/(13/4). Suppose 4*d - 3*c + 7 = 0, -4*c + 26 = -2*d + 5*d. Solve 4*s - b = d*s for s.
4
Let u be 4*(-454)/(-76) - (-8)/76. Solve -13*w = 28 + u for w.
-4
Suppose -293 + 95 = -18*b. Solve -6*y + b - 41 = 0 for y.
-5
Let r = -140 - -140. Solve r*j - j + 2 = 0 for j.
2
Let o(q) = -2*q + 7. Let l(k) = -3*k + 9. Let f(p) = 3*l(p) - 4*o(p). Suppose -6 = 3*d + 6. Let c be f(d). Solve -c = 4*v - v for v.
-1
Suppose 0 = 5*o - 3*z + 5*z - 7, -3*o + 4*z = -25. Solve -o*w = -1 - 2 for w.
1
Suppose -4*h + 12 = -2*l, 3*l - l + 9 = 3*h. Let a be (-1 - h)*(-1)/2. Solve -2*c = a*c + 4 for c.
-1
Suppose -273*b - 30 = -283*b. Suppose 0 = -3*c + 3 + 3. Solve -b*u = c*u for u.
0
Suppose -15 + 18 = g. Suppose -10 = g*w - 5*w. Suppose 5*c - 3 = -w*j + 17, 3*c = 6. Solve 7*t = j*t for t.
0
Let h(s) = 3*s - 1. Let a be h(-3). Let p be 73/3 + a/30. Suppose -4*c + 4*o + p = 0, -2*c = -0*c - 4*o - 16. Solve -y = c*y for y.
0
Suppose 5*r = 7*r - 26. Suppose -r*q = -3*q. Solve 5*g + q = -10 for g.
-2
Suppose -3*h + 52 = 5*t, 75 = 3*h + 3*t + 15. Solve 11*l - h = -l for l.
2
Let a = 10 - 4. Suppose 0 = -4*z - 2*k - 6, 9*z - 4*z + 2*k + 6 = 0. Let r = z + 0. Solve r = -2*y + 4 - a for y.
-1
Suppose -x - 2 - 4 = 0. Let w = x - -9. Solve -q + w*q = 0 for q.
0
Let u be (-3)/(-9) + 102/18*1. Solve u*l = 8*l for l.
0
Suppose 0 = -3*d + 4*l - 0*l - 4, -5*d + 4*l - 4 = 0. Solve 4*p - 2 - 2 = d for p.
1
Let i be -2 + (-4)/(-3)*3. Let b be 6/4 + (0 - -2)/(-4). Suppose -2*j + 5*t = -5, -2*j + 3*t = b - 4. Solve -i*o + j*o = 0 for o.
0
Suppose 0 = -2*