2*y + f for y.
-3
Suppose -2*l + 15 = -l. Suppose 5 = -3*w + 2*b, -6*w + w - l = -5*b. Solve 5*t + w = -14 for t.
-3
Let t = 127 + -127. Let f(v) = -v**2 + v. Let c be f(1). Solve -2*o + t*o - 4 = c for o.
-2
Let r(p) = p**3 - 15*p**2 - 17*p + 21. Suppose -14*y + 4*y = -160. Let t be r(y). Solve -t*c - 3 = -28 for c.
5
Let a(c) = c**2 + 6*c - 104. Let g be a(8). Solve -o = 3*o - g for o.
2
Let i be ((-10)/(-30))/((-2)/(-42)). Solve i*u = -2*u - 9 for u.
-1
Let a(u) = -u + 14. Let o be a(11). Suppose o*f - 4*f = -5. Solve -f*y = 24 + 1 for y.
-5
Let c be ((-2)/5)/((-14)/(-210)). Let v be 3/(((-45)/c)/1)*5. Solve -3*d = -7 - v for d.
3
Suppose 156 = 12*z - 672. Solve 89 = 4*q + z for q.
5
Let o(q) = 2*q + 1. Let h(d) = d. Let m(v) = 4*h(v) - o(v). Let p be m(2). Suppose y - 36 = -8*y. Solve -3*x - p = -y*x for x.
3
Suppose -4*a - 5 = a. Let d be 20 - (a + 2)*-2. Suppose -5*n - d = -5*u + u, 3*u + 3*n - 3 = 0. Solve 0 = p - u*p + 8 for p.
4
Let f = -50 - -59. Let h = f + -5. Solve -r + h = 2 for r.
2
Let o(k) = k**3 + 17*k**2 - k - 13. Suppose -n + 84 + 3 = -5*l, n - 2 = 0. Let r be o(l). Solve -r*h = -h for h.
0
Let z = -478 + 495. Solve -4*p - 5 = -z for p.
3
Let b be 2/(-12) + 6/((-432)/(-1596)). Solve -3 = 21*k - b*k for k.
3
Let t(m) = -m**2 + 14*m - 26. Let f be t(12). Let i be f - (3/(-1) + -3). Solve 3 = i*n + 15 for n.
-3
Suppose 26 = h + 24. Suppose 16*u - 5*u = 44. Solve u*l - h = 6 for l.
2
Let m be 413/(-42) - (0 + (-2)/(-12)). Let x be 6/m*20/(-4). Solve x*f - 4 = -7 for f.
-1
Let c(h) = 25*h**2 + h - 2. Let z be c(1). Suppose 30 + z = 6*w. Solve -5*m - 20 = -w*m for m.
5
Let f be 1 + -7 - 35/(280/(-64)). Suppose -4*w = -5*w. Solve -f*n - 2*n - 12 = w for n.
-3
Let i = -147 + 150. Solve -i*u = -10*u for u.
0
Suppose -48 = -2*s + 2*x, 3*s + 14 - 110 = -3*x. Solve -s = -3*j + 10*j for j.
-4
Suppose -3 = 4*v - 39. Suppose 2*j = v*j - 7. Solve -5 = -2*d + j for d.
3
Suppose 4*w - 5*a = -25, 5*w = -4*a + 5 + 15. Solve 4*d + w*d + 16 = 0 for d.
-4
Let l(b) = -b**3 - 4*b**2 + 6*b + 7. Let z be l(-5). Let f(o) = 2*o**2 - 13*o - 5. Let h be f(7). Solve -z + 0 = -h*m for m.
1
Suppose -3*b = 9 - 3. Let a(n) = -n**3 - n**2 - n - 1. Let s be a(b). Suppose -g = -5*t + 21, 1 = -5*g - t + 26. Solve s*m = m - g for m.
-1
Let k(l) = 9*l - 3. Let s be k(5). Let r = -12 + s. Suppose -5*q = -2*d - 3*d + r, 5*d = -4*q + 30. Solve 0 = o - d + 2 for o.
4
Let i be (-3)/(57/20 - 3). Suppose -s + 22 = i. Solve -2*n - s*n = 12 for n.
-3
Let y be (-2)/(-5) - 184/(-40). Suppose y*w = 6*w. Suppose 2*j = -o - 4, 4*o - 2*j - 2*j - 20 = 0. Solve w = -3*n + n + o for n.
1
Let z = -163 + 379. Let o be z/90 + (-4)/10. Solve 6 - o = d for d.
4
Suppose -25*f + 51 = 51. Solve 6*o + 8 - 32 = f for o.
4
Suppose -6*i + 589 - 547 = 0. Solve 10 = -3*d + i for d.
-1
Let z(v) = v**2 + 8*v + 16. Let a be z(-7). Suppose 0*r - 5*p = 5*r, 0 = 4*r - 5*p - 36. Solve a - 5 = -r*n for n.
-1
Suppose 0 = -s - 3*z + 34, -z - 19 = -s + z. Let i = 27 - s. Suppose -40 = -i*y - 10. Solve 5*p + 10 + y = 0 for p.
-5
Suppose 4*z = -89 - 27. Let b = z + 31. Suppose 2*n = n + b. Solve n + 1 = -3*f for f.
-1
Suppose -13*k + 24*k = 5*k. Solve -3*t - t + 12 = k for t.
3
Let o = 32 - 31. Let p be o*-1 + (-112)/(-7). Let k be (-8)/20 - 4/(-10). Solve k*l + p = -3*l for l.
-5
Suppose -4*o + 15 - 7 = 0. Suppose 0 = -15*v + 8*v + 63. Solve v - 3 = o*t for t.
3
Let x(m) = -10*m + 19. Let c be x(3). Let q = 39 + c. Solve 0 = -5*r + 3 - q for r.
-5
Suppose 3*d = -3*w + 69, -5*d + 8*d + 5*w = 65. Let x = d + -21. Solve x*q - 10 = -q for q.
2
Let n be 14/56 - 14/(-8). Let c be 1 + n + (-1 - -2). Solve 1 - c = w for w.
-3
Let q = 977 + -961. Solve 31*d = 27*d - q for d.
-4
Let i = -60 + 61. Suppose -2*u - i = -21. Solve -4*y = -6 - u for y.
4
Suppose 0 = w - 14 - 16. Let b be (16/(-20))/((-3)/w*1). Solve -4*a + 0 = b for a.
-2
Suppose 0 = -3*r - 3*a + 21, 46 - 15 = 4*r + a. Solve -5*t = -r - 7 for t.
3
Suppose x = 22 + 3. Suppose 0 = -5*u - 25, u + 58 + 19 = -4*t. Let c be (t/27)/((-1)/3). Solve 7*r = c*r + x for r.
5
Suppose -9*c = c - 50. Solve -2*f + c*f = -9 for f.
-3
Let k(f) be the first derivative of -f**4/4 + 2*f**2 + 2*f + 31. Let u be k(-2). Solve 0 = -5*j + 6*j + u for j.
-2
Suppose 711 - 615 = 4*h. Solve h*m = 29*m for m.
0
Let h = -121 - -126. Suppose -g + 0*p = -3*p - 8, 4*g = -h*p + 15. Solve g*a - 13 = 12 for a.
5
Let s(r) = r**2 + 7*r - 15. Let d be s(-10). Suppose d*b = 6*b. Solve 2*h + h - 3 = b for h.
1
Let q(m) = -3*m**2 + m - 15. Let j be q(-6). Let o = 131 + j. Solve -2*i = -3*i + o for i.
2
Let n be 2*((-30)/70)/((-4)/14). Solve -22*f = -23*f + n for f.
3
Suppose -49 = -4*g + 67. Let b = 32 - g. Solve -2*m + 11 = b for m.
4
Let f = 13 - 12. Let u = 7 - f. Suppose i = 4, 8 = -3*z + 5*i - u. Solve -7 = z*s - 1 for s.
-3
Suppose -10*s - 228 = -308. Solve s*b - 2*b - 6 = 0 for b.
1
Suppose 0*g - 3*g = -18. Let t = 4143 + -4140. Solve -t*d + g + 0 = 0 for d.
2
Let j(a) = -a - 11. Let m be j(-15). Suppose -5*k = 4*d - 34 + 12, -20 = -m*k - 4*d. Let s be 1*(0 - k)*-1. Solve -s*z - 15 = z for z.
-5
Let g(i) = i - 6. Let t be ((-22)/(-6))/((-5)/(-15)). Let o be g(t). Solve 0 = 3*c - 7 - o for c.
4
Let h(x) = -2*x**2 + 11*x - 1. Let l be h(7). Let f = l + 24. Let w be ((-5)/2 - -4)*f. Solve -w*u = -6*u + 15 for u.
5
Let i(o) = o**3 + 6*o**2 - 19*o - 9. Let k be i(-8). Solve -11*p - k = -26 for p.
1
Let v = 15 + -16. Let t = v - -3. Solve 7 = -t*a - 3 for a.
-5
Let c = -713 + 724. Solve -2*i = c - 7 for i.
-2
Let d = 36 - 24. Let x be (-3*d/(-9))/2. Suppose -x*g = b - 5, b = -3*g + 3*b + 4. Solve -g*y = 3*y for y.
0
Suppose n + 2*n + 4*i = 43, -n + 4*i - 7 = 0. Let m be (0 + 3)*12/n. Suppose -21*x + 60 = -17*x. Solve -x = -f - m*f for f.
3
Let s be (-2)/((-6)/(-5))*(-48)/16. Suppose s*c - 48 = 32. Solve 3*h - 1 = -c for h.
-5
Let s(m) = -m**2 - 7*m + 4. Let w be s(-7). Let y be w - 0*2/(-8). Let p be 10 - (2 + (-2 - -1)). Solve 1 - p = y*v for v.
-2
Suppose 2*n + 24 = 4*u, 5*u + 0*u + n = 16. Solve 0 = -u*l + 8*l + 12 for l.
-3
Suppose -5*o - 3 = l + 1, -o = -4*l - 16. Suppose 6 = 3*u, -3*u = 4*h - 5*u. Let r be 5 - ((-4)/(-2))/h. Solve o*y + 9 = -r*y for y.
-3
Let v(n) = -n**3 - 20*n**2 + 20*n - 21. Let i = -24 - -3. Let y be v(i). Solve 0 = 3*u - 3 - y for u.
1
Let h(x) = x**2 - 6*x + 6. Let t be h(6). Suppose 21 = -5*z + t. Let b be ((-3)/(-6))/(z/(-42)). Solve -19 = -3*u - b for u.
4
Let p = 81 - 79. Solve -2 = -p*s + 8 for s.
5
Let w be (-136)/(-340) - ((-28)/5 - 0). Solve 0 = -13*f + 16*f - w for f.
2
Let f = -16 + 19. Let p = f - -12. Solve b = 4*b - p for b.
5
Let l = -151 + 126. Let p = 41 + l. Solve 4*r = -0*r + p for r.
4
Let j(t) = 2*t**3 + 13*t**2 - 8*t + 2. Let y be j(-7). Solve -y*m = -14*m + 25 for m.
5
Suppose 18*a = 645 + 831. Solve 2*s = a - 86 for s.
-2
Suppose 11*g - 14*g + 198 = 0. Suppose 5*d - 2*n - n - g = 0, 72 = 5*d - n. Solve 16*t = d*t - 5 for t.
-5
Let z = -17 + 22. Let v(c) = -c + 11. Let m be v(z). Let s be 12 + m/3 + 2. Solve -5*b = -b - s for b.
4
Suppose -4*y + 23 = a, 3*a = -0*y - 3*y + 24. Suppose z - 3*z - 11 = -3*s, -8 = -a*s - z. Solve 0 = d - s*d + 10 for d.
5
Suppose 1 = 5*v + 11. Let u be v/(-4) + (-3)/(-2). Let n = 2611 + -2609. Solve -u*k = n*k for k.
0
Suppose 65 = 4*z + p, -5*z - 5 = 5*p - 90. Solve -n - 19 + z = 0 for n.
-3
Let g(v) = v - v**2 + 0*v**3 + 6 - 5 - 3*v**3. Suppose 5*a + 0 = -5. Let u be g(a). Solve 0 = u*q + 2*q + 8 for q.
-2
Let i = -25 + 37. Let j = 6 + -6. Suppose -2*f + u = -u - 14, j = 3*f - 4*u - 24. Solve -32 + i = -f*g for g.
5
Let q(i) = i**3 + 7*i**2 + 5*i - 4. Let p be q(-5). Let b be 50/14 - 12/p. Let y = 11 - b. Solve -a = a + y for a.
-4
Let g(j) = -20*j + 4. Let k be g(0). Suppose 7 + 4 = l + 3*h, 3*l = 5*h + 5. Suppose 2*x + l*p = 0, -p = -x + 3*x. Solve x = -2*w + 2 + k for w.
3
Let j = 22 - 13. Suppose 0*f - j = -3*f. Solve f*v + 2 = 4*v for v.
2
Let j be (1 - -6)/((1 - -5)/6). Solve j*m - 64 = 23*m for m.
-4
Let j be (-4590)/(-136) + 2/8. Solve -14 = 4*w - j for w.
5
Suppose 0 = -12*a - 2 + 26. Let i = 45 - 29. Solve a*v = -2*v + i for v.
4
Let k = 19 + -13. Suppose h = -3 + k. Suppose h = 2*f - f. Solve -j + f = -2*j for j.
-3
Let z(r) = 5*r - 181. Let u be z(39). Solve 32 = -22*a + u*a for a.
-4
Suppose 7*p - 24 