for w.
-2
Let a(p) = 16*p - 16. Let u be a(1). Solve -5*s + 20 = -u for s.
4
Suppose -l + 5 = -x, x + 19 = 2*l - 4*x. Let p(k) = k + 1. Let j be p(l). Solve 0 = j*c + c + 12 for c.
-3
Suppose -a = 2*y - 2 - 0, -4*a + 20 = 2*y. Let v be ((-4)/a)/((-2)/(-6)). Let o be v/7 + 10/35. Solve -3*c - 1 - 8 = o for c.
-3
Let k(w) = -5*w**3 - 15*w**2 + 5*w + 7. Let d(h) = -2*h**3 - 5*h**2 + 2*h + 2. Let m(j) = 8*d(j) - 3*k(j). Let i be m(5). Solve i = 3*r + 3 - 18 for r.
5
Let b be ((-10)/(-25))/(1/5). Suppose -n - 5*t = 3, -b*n + 10 = 2*n - 2*t. Solve n*r = r for r.
0
Let k be 2 + (3 - 2*-2). Solve -4*y = k + 7 for y.
-4
Suppose 0*l - 2*l + 6 = 0. Let j = 5 - l. Solve -j*f = f for f.
0
Let o(v) = -v + 2. Let b be o(-6). Let f = -4 + b. Suppose f*n - 5*n = -6. Solve -5*q + 14 = -n for q.
4
Let g be -1 - -2 - (1 + -4). Solve -o = g*o + 10 for o.
-2
Suppose 0 = -2*r - w - 69, -r + w = -4*w + 18. Let a = r - -39. Suppose z + 15 = 6*z. Solve 0 = -z*d - a for d.
-2
Let j be ((-3 - 1) + -4)/(-2). Solve -j*o + 4 = -2*o for o.
2
Let k(m) be the third derivative of -m**6/120 - m**5/20 - m**4/6 - m**3/3 + 4*m**2. Let d be k(-2). Solve -d + 1 = -x for x.
1
Let h(c) = -c + 1. Let s be h(-4). Let t = s + -3. Suppose 3*k - k + 3*u = 0, 5*k - t*u = 0. Solve -p - 2 + 4 = k for p.
2
Let t(y) = y - 7. Let a be t(3). Let f = a + 4. Solve f*l + 3*l = -12 for l.
-4
Let t be ((-84)/(-35))/((-2)/(-5)). Let w(j) = 3*j - 2*j - 5 + 2. Let g be w(t). Solve 6 = -g*m + 5*m for m.
3
Suppose -2*q = -3*q - 4. Let a be (q/1)/(1/(-3)). Suppose 6*w = 2*w + a. Solve w = 3*n - 0 for n.
1
Let g(d) = -d**2 - 3*d - 2. Let h be g(-2). Solve 2*v = -h*v + 4 for v.
2
Suppose -q = -2*j + 5 + 15, -2*j = q - 12. Solve 10*a = j*a for a.
0
Suppose -4*x = 5*d - 38, 2*d = -3*x + 8 + 3. Suppose 0 = -5*j + d + 5. Solve 0 = -j*m - 9 - 6 for m.
-5
Suppose h + 0*h = 0. Suppose -2*w + 4 + h = 0. Solve o = -w*o for o.
0
Suppose 0 = 7*f - 2*f - 50. Solve 4*p + f = 2*p for p.
-5
Let y be ((-10)/4)/(-5)*-8. Suppose -5*v - 1 + 26 = 0. Let x = y + v. Solve 3 - x = w for w.
2
Let j(a) = 7*a**3 - a**2 - 2*a + 2. Let t be j(1). Solve -t*l = -2*l + 4 for l.
-1
Suppose 10 = 2*j + x - 2, 0 = 2*j - 2*x. Solve 20 = -j*u - u for u.
-4
Let k be 3/((18/(-8))/(-3)). Let h = k - -1. Suppose 5*g - 6 = v - 3, -h*g + 38 = 4*v. Solve v*s = 2*s for s.
0
Let w(c) = -21*c + 4. Let y be w(-3). Suppose 3*f = y + 8. Solve 2*g + 3*g = -f for g.
-5
Let x = 7 + 9. Solve 2*q = -2*q + x for q.
4
Let o(d) = d**3 + 2*d**2 - 2*d + 1. Let u be o(-3). Let q be (32/24)/(u/(-15)). Solve 4*f + q = -f for f.
-2
Suppose n + 3*n + 2*b + 14 = 0, -n = -3*b - 14. Let i be 6*n*2/(-3). Let p = 6 - 1. Solve p*w + 11 = -i for w.
-3
Let q = 116 + -108. Solve -3*w = w - q for w.
2
Let b(w) = -w - 1. Let x be b(-7). Solve 2*c - 4*c - x = 0 for c.
-3
Let v = 0 + 0. Let k(g) = g**2 - 19*g + 3. Let f be k(19). Solve v*a - 3 = f*a for a.
-1
Let x = 3 - 2. Suppose 5*o + a = 4, 5 = -2*a + 3. Let w = o - x. Solve w = -4*q - q for q.
0
Let x = -4 - -2. Let p = 2 - x. Suppose 5*d + 5*c = -15, 3*d - p*c = 11 + 15. Solve -d*g = -4*g - 8 for g.
-4
Let n = -27 + 14. Let i = n - -19. Solve 3*j - j = i for j.
3
Let l = -18 + 20. Suppose l*y = 4*a + 44, 3*a + 0*a = -4*y + 44. Solve 5*j - 1 = y for j.
3
Suppose -5*u = 1 - 21. Let a be (-6)/(-9)*18/4. Suppose -14 - 1 = -3*n + 3*y, -a*y - 15 = 4*n. Solve -3*l + 8 + u = n for l.
4
Suppose 5*j = -1 + 11. Suppose -2*c = 5*h + 4, 3*h + 2*c = -h - 4. Solve -3*y - j*y = h for y.
0
Suppose -7 = -q - 0. Solve -q = 5*j - 2 for j.
-1
Let f(l) be the third derivative of l**6/120 - l**5/15 + l**4/6 - l**3/2 - l**2. Let k be f(3). Solve k = -5*g + 2*g + 15 for g.
5
Let i = 24 + -22. Solve 0 = 2*g - i + 10 for g.
-4
Let v(q) = q**3 + 9*q**2 - 2*q - 13. Let p be v(-9). Solve p*h - 9 = 1 for h.
2
Let z be 5*(-2)/(-15)*3. Solve -z*c + 2 = -c for c.
2
Let g be 6/2 - 0/6. Let i be ((-27)/(-5) - g)*-5. Let p be 4/(-6) - 44/i. Solve -5 = -2*b - p for b.
1
Let r(d) = -2*d - 2. Suppose 0*x = 2*x + 6. Let f be r(x). Solve -f*v + 2 = -2*v for v.
1
Suppose -7 + 3 = -4*d. Solve -3*m = -2*m - d for m.
1
Let x = 26 + -12. Solve 0 = -4*h + x + 2 for h.
4
Let l(c) = -c**3 + 8*c**2 - 5. Let x be l(8). Let i be (3 + x - -2)/(-2). Let o(b) = b**2 + 9*b + 2. Let y be o(-9). Solve i = 2*s + y + 2 for s.
-2
Suppose -55 = -11*k + 44. Solve -2*x = -5*x + k for x.
3
Suppose 2*y = 4*y. Let o be (20/7)/((-2)/(-7)). Let p be 24/o - (-12)/20. Solve y = p*l + 2*l - 10 for l.
2
Let s = 32 - 26. Solve 2*f - 8 = s*f for f.
-2
Let s(k) = -k**2 + k - 4. Let t be s(0). Let r be 1/3*(5 - t). Solve 0*h - r*h = -3 for h.
1
Suppose -l + 2*k - 5 = -k, -3*k = -5*l + 11. Suppose 0 = -l*u + 9*u. Solve b + 1 + 3 = u for b.
-4
Suppose -4*g + 0*g - 4*d = -36, -2*g = 4*d - 12. Solve -5*k - g = 3 for k.
-3
Suppose z + 2*w = -4*z + 10, 0 = -3*z - 3*w + 15. Solve z*p = -p for p.
0
Let r(g) = -1 - 3*g**3 - 4*g**2 + 2*g**3 + 4*g + 0*g**3. Let c be r(-5). Let l be -4*(-2)/c - -1. Solve 0 = -l*t - 3 for t.
-1
Let a(m) = -9*m + 4*m**2 + m**3 + 7 + 5*m**2 - 2*m**3. Let c be a(8). Let p = c - -3. Solve p*f - 1 = -9 for f.
-4
Let a(s) = -s**3 + 7*s**2 - s + 10. Let c be a(7). Solve 2*n = -n + c for n.
1
Let n be (7 - 3)/4 + 0. Let c be ((n + -1)/1)/(-2). Solve c = -a - a - 6 for a.
-3
Let s be (2 - 3)*-1 + 5. Let d = 12 - 9. Suppose 5*r = y - 1, -2*r - 4*y = 2*r - 4. Solve d*h - s = -r*h for h.
2
Let k be (((-18)/8)/(-3))/(10/40). Solve -j - 10 = -k*j for j.
5
Let a = 0 + 8. Suppose a = 4*c - 2*c. Solve 2*u = c*u for u.
0
Let b be (-2)/9 + (-110)/(-9). Let i = 12 - b. Solve i = -z - z for z.
0
Let r(l) = -l**2 - 5*l - 6. Let j be r(-6). Let u be (j/(-10))/((-2)/(-35)). Solve 1 = -4*k + u for k.
5
Suppose 2*o - 5 = 5. Suppose o*m = 7 + 3. Let g be m + 3/((-6)/2). Solve -3 = -4*k + g for k.
1
Suppose 5 = 5*p - 0, b - 2*p = 0. Solve -10 = 4*j - b for j.
-2
Suppose 8 = -w + 2*w. Solve w = -4*m - 8 for m.
-4
Let b(v) = 4*v - 3. Let l be b(2). Solve l*y - 12 = -17 for y.
-1
Let w = -10 + 1. Let a(y) = y**2 + 7*y - 12. Let p be a(w). Solve x = 3*x - p for x.
3
Let v be (2/2)/1 + 3. Suppose 0 = 3*j + 2*j - 20. Suppose 4*u - 32 = -0*u. Solve j = v*c - u for c.
3
Suppose 54 = -2*j + 11*j. Solve 3 + 3 = j*f for f.
1
Let f(k) = k**3 + k**2 - k. Let o be f(0). Solve 1 = -y - o for y.
-1
Suppose -6 = -5*s + 9. Suppose 0 = s*p + 2*o, -p - 2*o - 2 = p. Suppose -p*c + 0*c = 0. Solve m + 4 = -c for m.
-4
Suppose -48 = -v - 2*v. Suppose 4*y + 2*s - 4*s = 40, -4*y + 36 = -3*s. Let b be ((-6)/(-4))/(y/v). Solve -4 = -2*u - b for u.
1
Let v(u) = -u**2 - 10*u - 16. Let h be v(-7). Solve h*x + 1 = -9 for x.
-2
Let r be (-18)/15*5/(-2). Solve 0 = 2*s - r*s + 1 for s.
1
Let t be (24/(-5) - -4)*-5. Solve 0*n = -n - t for n.
-4
Let c = 0 - -2. Solve c*t - 4*t - 8 = 0 for t.
-4
Suppose 0*l - 15 = -l. Let i be (-1)/5 + 63/l. Solve b = -3*b + i for b.
1
Let t be 2/7 + 1102/14. Let g = t + -43. Suppose 0*l + g = 2*l. Solve -5*m + 2 + l = 0 for m.
4
Suppose 0 = -2*n - z + 1, 3*n - 18 = z + 3*z. Let r be ((-1)/((-3)/48))/n. Solve -5*v = -3*v + r for v.
-4
Let w(r) = r - 7. Let p be w(5). Let y be p/(-8) + (-2)/8. Let u be (y - (-3 + 4)) + 4. Solve -5*l + u*l + 10 = 0 for l.
5
Suppose -8 = -5*v + v. Solve v*l = l + 5 for l.
5
Let w = -19 + 28. Solve z - w = -2*z for z.
3
Let x(c) = -c**2 + 3*c + 2. Let s be x(3). Solve t = -t - s for t.
-1
Let x = -30 + 30. Solve x = g - 2*g for g.
0
Let w = 23 + -19. Suppose -16 = -5*n + 4*b, -2*n + w + 6 = 2*b. Solve 0 = -n*q - 13 + 1 for q.
-3
Let t = 8 - 7. Let w be (-25)/(-5) - t/1. Suppose 5*m + 0*l = w*l + 15, -4*m - 2*l = -12. Solve -m*f = f for f.
0
Let b(i) = i**3 - 6*i**2 - 15*i - 6. Let o be b(8). Solve 4*y + o = -14 for y.
-4
Let x(m) = m**2 - 3*m - 2. Let o be x(4). Suppose o*v = 4*j + 6, j - 1 = -5*v + 14. Suppose 0*s + 5 = s, j = -2*q + 2*s + 30. Solve q = 6*d - 2*d for d.
5
Let y(g) = g + 18. Let j be y(-14). Suppose 0 = 4*h - 3*h + 1, -4*h = -a + j. Solve 2*f = -a*f for f.
0
Let p(s) = -s + 3. Let q be p(3). Let k be 0 - (-5 + (q - -1)). Suppose 2*i - k = 3*z, z + i - 2 = -0*z. Solve z*f = 4*f + 12 for f.
-3
Suppose 4*g + 16 = -p, -16 = p + 4*p + 4*g. Suppose p*s + 4*z - 12 = -5*s, 6 = 4*s + 5*z. Let l = 9 + -2. Solve 0 = s*n - 1 - l for n.
2
Suppose 0 = r - 2*p - 8, 5*r + 36 = -3*p 