= -w for w.
2
Let l(w) = 7*w - 4. Let v be l(1). Solve j = -0*j + v for j.
3
Let b = -1 - -1. Let f be (-3)/(b - (-6)/(-8)). Let r = f - 0. Solve -m - r = -2 for m.
-2
Let o be 0 + 2 - (3 + -6). Let z(i) = -i**2 + 5*i + 6. Let b be z(6). Solve o*q = -b + 10 for q.
2
Suppose 4*x - 7 + 7 = 0. Solve x = 2*q - 1 + 5 for q.
-2
Let b = -30 + 30. Suppose b*d + 72 = 4*d. Let n(w) = w**2 + 2*w - 1. Let h be n(-3). Solve 4*s = h + d for s.
5
Suppose u + 5*k - 23 = 0, u + 5*k = -3*u + 32. Suppose 5*o - 4*g = 21 + 26, -2*o + 11 = g. Solve -u*n + 4 = -o*n for n.
-1
Suppose -1 = -2*s + 9. Let v(g) = g**3 - 4*g**2 - 8*g + 5. Let y be v(s). Let q = y + 14. Solve c = -q*c - 25 for c.
-5
Suppose -n - 3*n = -12. Solve -n*t = -4*t - 4 for t.
-4
Let f(j) = -j**3 + 5*j**2 - 1. Let d be f(5). Let y = 1 - d. Solve y*a = 5*a - 3 for a.
1
Let r be (-2)/(-6) - 20/(-12). Solve 0 = 4*p - r*p + 10 for p.
-5
Let g = -4 + 8. Let n = g + -1. Suppose -q - 3*c = 0, -2*q + 2*c + 2*c = 0. Solve -4*o - n - 17 = q for o.
-5
Suppose 0 = 2*r + t - 27 + 3, 2 = -r + 3*t. Suppose 3*g = g + r. Suppose g*v - 20 = -5. Solve v = -j + 4*j for j.
1
Let n be (19 + -11)*1/2. Let b = 19 + -9. Let x be ((-4)/b)/((-4)/40). Solve -4*r = -n - x for r.
2
Suppose -4*z - z = f - 3, -4*f = -2*z - 12. Solve -f*k + k + 8 = 0 for k.
4
Let s = 5 - 7. Let u be (-2 - 0/s)/2. Let d be (u - 0)/(3/(-9)). Solve -20 = d*o - 8*o for o.
4
Suppose -3*w - 19 - 20 = 0. Let x = -11 - w. Suppose -5*l + 4*p + p = -40, 4*l - 37 = 5*p. Solve s = x*s + l for s.
-3
Suppose -5*p + l - 198 = 0, 2*l - 81 = 2*p + l. Let x = -22 - p. Suppose x - 5 = 4*f. Solve f = s + 7 for s.
-4
Suppose 0*l = -3*l + 360. Suppose 0*t = -5*t + l. Let z be (t/9)/((-4)/(-30)). Solve 0 = m + 4*m + z for m.
-4
Suppose h + 5*s + 13 = 0, 4*h + 2*s + 2 = 4. Let m be 2 + (0/h)/(-3). Solve -12 = -5*g + m*g for g.
4
Let y = -17 + 15. Let o be -20*(-1 - 1/y). Solve 0 = w - 6*w + o for w.
2
Let b be -1 + (-14)/(-10) + 200/125. Solve 0 = 2*j - j - b for j.
2
Suppose 5*g = -5*y - 0*y + 75, -y - 2*g = -18. Let b be (y/(-10))/((-6)/20). Solve 3*n - b*n = 0 for n.
0
Suppose 8 = u - 3*m, 0 = -5*u + 8*m - 3*m + 20. Suppose u*k + 3*d = 21, 0*d = -3*k + d + 4. Suppose -5*n = -k - 12. Solve 0 = -2*t + n*t - 5 for t.
5
Suppose 0 = -4*c + 4*c + c. Solve 3*i - 6 - 6 = c for i.
4
Suppose 5*c + o - 47 = 0, -2*o - 10 = -2*c + 2*o. Solve 3*b + 0 = -c for b.
-3
Suppose -4 = 8*n - 4. Solve 5*p = -n*p - 5 for p.
-1
Suppose -3*t - 3*s + 2*s = -11, -5*t + 15 = 5*s. Solve 0*d = t*d - 4 for d.
1
Let c = 3 + 2. Let o = c - 6. Let h be o - (0 - 2) - 1. Solve h*p + p + 4 = 0 for p.
-4
Let a(h) = 2*h - 4. Let x be a(3). Suppose -x*p + 0 + 6 = 0. Solve 2*j - 5 = -p*j for j.
1
Suppose 4*m = b - 16, 5*b - 5*m - 31 = -11. Let s be 5 - (2 + (b - 0)). Suppose -2*y = 2*h + s*h - 10, 3*h = y + 6. Solve -n - 12 = h*n for n.
-4
Suppose 17 = 4*j - 63. Let d = j + -17. Solve -4 = d*p - p for p.
-2
Let x be 1 - (5 + 2/(-2)). Let c = 1 - x. Let f be 8 - ((-4)/2)/(-1). Solve -c*t - f = -2*t for t.
-3
Let f(u) = u**2 - 7*u + 4. Let w be f(5). Let r = -6 - w. Solve 3*m + 4 - 16 = r for m.
4
Let y(u) = -u**3 - 13*u**2 - u - 9. Let z be y(-13). Solve z*s - 9 = s for s.
3
Let v(m) = m - 3. Let w(t) = 2*t - 3. Let i(a) = -3*v(a) + 2*w(a). Let p be i(3). Suppose p*o = o. Solve o = z + 4*z - 10 for z.
2
Let u = -12 + 13. Solve -4*i + 15 = -u for i.
4
Let u be (-115)/(-30) - (2 + 26/(-12)). Solve 2*f - u = 3*f for f.
-4
Suppose -2*o = -3*x - 37, x + 2*o = 2*x + 15. Let i = x + 17. Solve -4*q - i = -2 for q.
-1
Let n(x) = -x**3 + x**2 + x + 7. Let v be n(0). Suppose -150 = -3*s - 2*s. Suppose 2*y = -0*y + s. Solve -2*b = -v*b - y for b.
-3
Suppose 3*x + 49 = 139. Let k be x/9 + (-2)/(-3). Suppose -3*s + k*s - 11 = 3*h, 12 = -4*h. Solve 0 = s*m - 0*m for m.
0
Let m(c) = -c + 10. Let h be m(7). Suppose -5 + 3 = 3*s + b, -5*s - 4*b = 8. Suppose 0 = -f + 2*f. Solve -g + f*g - h = s for g.
-3
Suppose 14 = 2*y + 4*b, -1 - 1 = -b. Let a(h) = -2*h - 9. Let l(v) = -v**3 + 14*v**2 - 2*v + 21. Let t be l(14). Let k be a(t). Solve -y*n - 4 = -k*n for n.
2
Suppose -140 - 65 = -5*a. Let t = a + -23. Suppose 5*o - t = 12. Solve o*i + 9 = 3*i for i.
-3
Suppose -2*h = -5*s + 2*h - 16, -2*s = -2*h + 8. Solve 2*q - q - 2 = s for q.
2
Let z(w) = -w**3 - 4*w**2 - 4*w + 1. Let x be z(-3). Suppose -15 = 3*m, x*q + 4*m = 3*m - 5. Solve -4*t = -q*t for t.
0
Suppose r + 6 = a, a + 0*a + 6 = -3*r. Let k be -3 + (-4 - (a - 4)). Let b be 0*(-1)/(k/(-3)). Solve p + p = b for p.
0
Suppose d - 6 = -4*a + 4*d, -4*a - 4*d - 8 = 0. Solve 4 = -a*i + i for i.
4
Let n(v) be the third derivative of v**6/120 - v**5/10 + v**4/12 - 4*v**3/3 - v**2. Suppose 5*f = 4*f + 6. Let j be n(f). Solve j*w = -11 - 9 for w.
-5
Let b = -4 - -4. Solve 0 = 2*j - b*j for j.
0
Let c(o) = 6*o - 2. Let g be c(1). Suppose 2*t = 4*t - g. Solve -6 = 2*i - t for i.
-2
Suppose 0*a + 2*a - 28 = 0. Let s = 7 - a. Let y = s + 11. Solve 0*n + 4 = -y*n for n.
-1
Let g = 133 + -129. Solve 6*y = g*y + 4 for y.
2
Suppose n + 0 = 1. Let o = 2 + n. Suppose 6 = -4*v + 3*r, v = 3*r - 3 - o. Solve 4*p + v*p = 0 for p.
0
Let l(j) = -j**3 - 7*j**2 + 2. Let p be l(-7). Solve 2*h + p*h = -4 for h.
-1
Let f(t) = -6*t**3 - 2*t**2 + 4. Let i(n) = 11*n**3 + 4*n**2 - 7. Let d be (5/4 + 0)*-4. Let j(c) = d*f(c) - 3*i(c). Let r be j(-1). Solve 0*u = -2*u + r for u.
1
Let v(t) = 2*t - 4. Let r be v(-4). Let d = r - -13. Solve -d = 2*p - p for p.
-1
Let r(j) = j**3 - 10*j**2 - 9*j - 15. Let x be r(11). Suppose -2*o + 2*v - 12 = 6*v, 3*o - x = -v. Solve 0 = -o*s - 3 - 1 for s.
-1
Let n(w) be the second derivative of w**3/3 - w**2 - 3*w. Let m be n(3). Solve -f = m*f + 15 for f.
-3
Let f be (-4 - (-6)/(-3)) + -1. Let t = 11 + f. Suppose t*u = -u. Solve u*n = -n + 4 for n.
4
Let g(q) = q**2 - 9*q. Let h be g(9). Suppose -l - 3*l - 108 = h. Let x be l/(-6)*12/3. Solve 5*v + x = -2 for v.
-4
Let w = -60 + 65. Solve -w*n + 9 = -8*n for n.
-3
Let r = -31 - -33. Solve 9 = -r*s + 5*s for s.
3
Let p = 10 - -2. Suppose 0 = d - 3 - p. Solve 4*z - d = z for z.
5
Suppose 3*i - 3*t = 18, 26 = -0*i + 3*i - 5*t. Let s = -14 + 20. Solve -i*v - 4 = -s for v.
1
Let m(s) = s**2 + 5*s - 4. Let z(r) = r**2 - r + 2. Let j be z(2). Let w be m(j). Solve -5*b + 7 - w = 0 for b.
-5
Suppose 5 = 8*f - 3*f. Let j = 8 - f. Suppose -p - 2 = -4. Solve p*k = -j - 3 for k.
-5
Let j(o) = o**2 + 2*o - 3. Let n be j(-3). Suppose -s + 56 = 6. Suppose w + w - s = n. Solve -i - 4*i + w = 0 for i.
5
Suppose d + 4*t = -4*d + 56, 4*d - 45 = -3*t. Suppose 0 = -0*q - 3*q + d. Let n(z) = 2*z - 1. Let c be n(3). Solve -r + c = q*r for r.
1
Let q be ((-98)/(-7))/7 + (-2 - 0). Solve q*b + b = -5 for b.
-5
Suppose -8 = 2*g + 5*v - 65, -v = 5*g - 108. Let n = g - 13. Solve -2*k + 4*k + n = 0 for k.
-4
Let s(a) = 2*a - 7. Let l(r) = -3*r**2 + 2. Let t be l(-2). Let x be (t/(-6))/(5/15). Let m be s(x). Solve -m*q + 0*q = 9 for q.
-3
Let b be (-2)/(-5) - (-46)/10. Suppose 2*y = -a + 8, 0*a - 11 = -b*y + 2*a. Let c = 18 + -12. Solve 0 = -y*l + 21 - c for l.
5
Let z(b) = -b**3 + 9*b**2 - 14*b + 2. Let d be z(7). Solve 7*w - 10 = d*w for w.
2
Let d(w) = w**2 + 5*w - 2*w + 1 - w. Let u be d(-3). Let o(q) = 8*q**2 - 38*q - 5. Let i be o(5). Solve i = -3*f + u*f for f.
5
Let m(d) be the first derivative of -7*d**2/2 - d - 2. Let h = -12 + 11. Let u be m(h). Solve -k + 3*k = u for k.
3
Suppose 2*k - 1 = 7. Solve k*h + 18 = -2 for h.
-5
Suppose t - 8 = -5*o, 4*t = -3*o + 1 - 3. Let b(u) = 0*u - 2 - 2*u + u. Let s be b(t). Solve s*f - 5 = -f for f.
5
Let j(z) = -z**3 + 16*z**2 - 16*z + 21. Let n be j(15). Solve -2*x - 8 = -n for x.
-1
Let n(s) be the third derivative of -s**5/60 - 7*s**4/24 - s**3 - 5*s**2. Let o be n(-5). Solve o*x = -6 - 14 for x.
-5
Suppose -j = -6*j. Let a = j - -1. Solve 0 - a = -m for m.
1
Suppose -2*q - 32 = 2*q. Let u = -8 - q. Solve -x + 3 = -u*x for x.
3
Suppose 24*n - 320 = 8*n. Solve 0 = 5*u - u + n for u.
-5
Suppose -5*b + 2*k = -35, -3*k + 8*k + 35 = 2*b. Solve -4*u + b*u + 5 = 0 for u.
-5
Suppose -i + 7 = -0*u + u, u = 4*i - 3. Suppose i*w = -4*b + 28, -4*b + 5*b + 11 = 4*w. Solve w*k = -k + 15 for k.
3
Suppose -3*y + 5*c - 1 = 8, 0 = 5*y + 2*c + 15. Let d = 0 - y. Solve d = -5*k - 17 for k.
-4
Let b(n) = -2*n + 1 + 12*n**2 - 11*