w.
2
Let c(w) be the third derivative of w**5/60 - w**4/12 + 6*w**2. Let n be c(5). Solve v + 2*v + n = 0 for v.
-5
Let j(s) = -10*s - 3. Let u be j(-1). Solve -u*t = -3*t + 16 for t.
-4
Let u = 6 + -4. Let a = 95 - 90. Suppose 0 = -a*f + u*x + 15, 5*x + 8 = 3*f - 1. Solve i + 2 = f*i for i.
1
Suppose -4*h - 20 = 0, -3*f + 0*f - 3*h = -30. Suppose -f = -5*w + 2*w. Let b be 0 + (0 - -1) - 0. Solve b + 4 = w*k for k.
1
Suppose 5 = -5*v, 0 = 5*y - v + 6 - 17. Let m(c) = -2*c - 8. Let j be m(-6). Solve -o = y - j for o.
2
Let m(h) = -h**2 + 3*h + 3. Let x be m(3). Suppose q = -x*q. Solve q*w - 2*w = -2 for w.
1
Let r be 6 + (-2 - -1) + -2. Let d(j) = j - 4. Let v be d(r). Let o be (v + 1)*(-2)/(-2). Solve -5*k = -o*k - 10 for k.
2
Suppose 2*r = -0*r + 4*l + 24, -4*r - 7 = 3*l. Let d be (2/5)/(3/30). Let q be (2 - 2)/(-5 - -2). Solve q*y = -r*y - d for y.
-2
Suppose -5*c = q + 33, 2*q = c + 4*c + 24. Let v = c - -13. Solve v = 2*j + 17 for j.
-5
Let g(w) = 3*w - 1. Let c be g(1). Solve c*v + 2 = v for v.
-2
Suppose -3*m = 5*n + 9, 2*m + 9 = -3*n - m. Suppose 0 = -n*a - 7*a + 14. Solve a*z + 7 = -3 for z.
-5
Let h(j) = j**3 - 2*j**2 - 3*j - 2. Suppose -2*t + 4 = -4*t. Let i be h(t). Let k be (i/(-18))/((-2)/(-15)). Solve 2*b + 5 + k = 0 for b.
-5
Suppose 0 = -g + 4 - 2. Solve 0 = g*f - 6*f - 12 for f.
-3
Let l be 10/(-175)*5 + (-23)/(-7). Solve -2*b = -l*b for b.
0
Suppose 3*y - o - 4 = o, 2*y - o - 2 = 0. Suppose -2*h = -y*h - 6. Let v be 10 - (4 + (-3 - 1)/4). Solve h*d - v = 8 for d.
5
Let s be (-9)/3*(-2)/3. Suppose 0*q + 2*q - 50 = 0. Let m be (-4)/(-10) - 10/q. Solve m*j - s = -j for j.
2
Let f = 15 - 10. Let a(k) = 2*k - 5. Let j be a(f). Let i(g) = -g + 7. Let t be i(j). Solve 0 = t*h - 6 + 2 for h.
2
Let d be 0 + (-1 - 2) - -8. Suppose -d*j + 2*q + 10 = -0*j, -j - 5*q = -29. Solve j = c + c for c.
2
Let s be (-3)/(6/(-16)) + 0. Let b = 10 - s. Solve 4*y = b*y for y.
0
Let q = 59 + -59. Solve q = -y + 5*y + 16 for y.
-4
Let g(k) = -k**2 - k + 8. Let m be g(0). Solve -m*x + 20 = -3*x for x.
4
Let s be (3/2)/((-6)/(-8)). Let q be (-1*4)/(4 - (-18)/(-4)). Solve q = -s*p - 0 for p.
-4
Let x = -17 + 28. Let j(l) = -l + 5*l - 5*l + x. Let n be j(9). Solve n*v = -0*v - 8 for v.
-4
Let q(c) = -c - 1. Let t(o) = 2*o**2 - 7*o + 6. Let b be t(4). Suppose 3*n - b = -5*h, 0*n = 2*n - h + 15. Let f be q(n). Solve f*g - 7 = -3 for g.
1
Let b = -6 + 9. Suppose b*c = -3, 2*d + 3*c + 15 = 6*d. Let l be (-2 + d)/(1/7). Solve 2*p = l*p + 15 for p.
-3
Let k be (2/(-6)*2)/(14/(-105)). Solve -k*c = -2*c + 15 for c.
-5
Let i(d) = 7*d**2 + 5*d + 7. Let y(h) = 20*h**2 + 14*h + 20. Let t(p) = -17*i(p) + 6*y(p). Let b be t(-2). Solve 3 = 4*o - b*o for o.
-1
Suppose 0 = h - 4*h. Solve -2*j - 2*j + 8 = h for j.
2
Let z(f) = 4*f**3 - 1. Let o be z(1). Suppose o*k + 9 = 39. Solve 2 = -3*h - k for h.
-4
Let x(o) = -o + 1. Let u be x(1). Suppose v - 4 = -u*q - 2*q, -16 = -q - 4*v. Let n be (6/4)/(3/4). Solve q*p + p = -n for p.
-2
Suppose -3*h = -2*y - 4, 5*h - 7 = 3*h - 3*y. Suppose -x + 1 + h = 0. Let l be (1 - 3)/(-4)*0. Solve -x*m + 4*m - 2 = l for m.
2
Suppose -24 = -8*p + 4*p. Suppose 0 = -2*x + p*x. Solve 3*u + x*u + 12 = 0 for u.
-4
Suppose 5*t + 15 = 5*z, -t = -2*z - 6*t - 8. Solve y = z - 0 for y.
1
Let r be (-6)/(-4)*(-16)/(-12). Let j be r/6*(-21)/1. Let a(x) = x**3 + 7*x**2 - x - 7. Let g be a(j). Solve -6 = -2*w - g for w.
3
Suppose 5*i = -2*u + 62, 0 = 4*i - u - 33 - 27. Let h = 29 - i. Suppose 0 = -q - 3*q + 8. Solve 5*v + h = q*v for v.
-5
Let r = -33 + 56. Solve 5*u = -2 - r for u.
-5
Let d(i) = i**2 + 2*i - 2. Let t be d(2). Let j be ((-6)/t)/(2/4). Let q = j + 3. Solve 4 + q = v for v.
5
Let u be -4 + 4 + 0 + 2. Solve 0 = u*o - 6*o for o.
0
Suppose -2*c + 4*k = 15 - 5, 5*c = -2*k + 23. Solve -c*g + 5*g = 8 for g.
4
Suppose 53 = 3*c + a - 6*a, 2*c + a - 31 = 0. Solve -4 + c = -3*q for q.
-4
Suppose -2*w = -5*d + 55, -d + 12 - 1 = -w. Let x = 9 + -5. Let f be x/30 - 43/(-15). Solve 0 = 4*v + f - d for v.
2
Let f(u) = -u**2 - 4*u + 4. Let y be f(-4). Solve 0 = -7*i + y*i - 6 for i.
-2
Suppose 0 = 5*o - 6*o + 5. Solve 2*v - o = 3*v for v.
-5
Let a(i) = -i**2 - 2*i + 3. Let y be a(-3). Suppose y = -2*q + 7 + 5. Solve 0*g - 3*g - q = 0 for g.
-2
Let c(b) = b**2 - 5*b + 4. Let l be c(4). Suppose -y - 39 = 7*a - 2*a, a + 12 = 4*y. Let u be (-108)/8*a/6. Solve 4*s - u + 6 = l for s.
3
Suppose 0*v = v - 20. Suppose 4*d = 2*n - 56, 2*n + 5*d = -0*n + v. Suppose 3*x = 5*k + n, 2*x - 5 = 2*k + 3. Solve x = 5*r + 28 - 8 for r.
-4
Let z(q) = 3 + 0*q - q + 2*q. Let j be z(-3). Solve -5*p - 5 = -j*p for p.
-1
Let k be 1/2*-10*-1. Solve 0 = k*m - m - 20 for m.
5
Let y be -1 + (-1 + 3 - -1). Let n be 3*(y - 24/(-9)). Suppose -n = -4*i - 2*t, i - 3*i + 4*t + 32 = 0. Solve 0 = -i*l + 2*l - 8 for l.
-2
Let l(b) = 3*b + 2. Let x be l(1). Solve -x*t = 31 - 6 for t.
-5
Suppose -3*c = -4*c. Suppose c*r + 4*r = 128. Suppose -3*o + r = o. Solve -o*n = -3*n - 15 for n.
3
Let o = -4 - 3. Let k = o - -12. Solve -2*y = -k*y for y.
0
Suppose 0*l + 31 = 5*q + 2*l, -3*q - 2*l + 21 = 0. Suppose j + 28 = q*j. Let o = j - 4. Solve n + 8 = -o*n for n.
-2
Let r(n) = -5*n**3 + 0*n**3 - 2*n**2 + 0*n**2. Let g be r(-2). Let o be g/6 - 4/(-6). Solve -5*l - 1 = -o for l.
1
Suppose -5*v = 26 + 19. Let i = v - -13. Suppose 2*o = o - 3*b + 15, 3*b = -4*o + 24. Solve i*n = o*n for n.
0
Let w be (-4)/(-10) + (-23)/(-5). Suppose 0 = 2*d - 7*d + 4*q + 63, -w*d + 3*q + 66 = 0. Let f be (-3)/4 - 3/(-4). Solve f*g - d = 3*g for g.
-5
Let l = 4 + -1. Suppose 10 = 3*y + 1. Solve -l*c - y = 12 for c.
-5
Let l be 9/12 + 3 + (-45)/12. Solve -4*b - b = l for b.
0
Suppose -v - 6 = -4. Let c be 4*(v + 5/2). Suppose -c*n + 7 - 3 = 0. Solve -4 - 2 = n*f for f.
-3
Suppose 2*d = -2*d - 40. Let f = 7 + d. Let q be ((-15)/10)/(f/8). Solve 3 = q*o - o for o.
1
Let t(p) = p**3 - 3*p**2 + 3*p - 28. Let u be t(4). Solve 5*q - 6*q = u for q.
0
Suppose -6 - 9 = -o. Let d = o + -10. Let i = d + -5. Solve 5*s - 8 - 7 = i for s.
3
Let a(c) = 5*c + 55. Let z be a(-7). Solve 2*g + z = -3*g for g.
-4
Let d(x) = 2*x + x - 5*x + 4. Let n be d(3). Let l = n + 2. Solve r + 4*r = l for r.
0
Let l(d) = d**2 + 6*d + 6. Let w be l(-5). Suppose -2*b + 3*o + w = 0, -2*o - o = 4*b - 11. Solve -4*x + b*x - 10 = 0 for x.
-5
Suppose -4*n - n + 190 = 0. Let h = n - 23. Solve 2*c + 3*c = h for c.
3
Let r(b) = b**2 - 8*b - 8. Let s(v) = -3*v**2 + 23*v + 23. Let q(y) = -17*r(y) - 6*s(y). Let t be q(4). Suppose 5*l - t = 3*l. Solve 0 = l*o - 1 - 11 for o.
4
Let j = 1 - 1. Suppose -3*m - 5*p = -3*p + 8, m - 4*p - 16 = j. Solve -q - 5 = -m for q.
-5
Let s = 2 - 0. Suppose s*m - 4*m = h - 4, h = 2*m - 4. Solve -5*c + 10 = -h for c.
2
Let i be 5*(2 - (-28)/(-20)). Solve 0 = -i*r - 2*r - 25 for r.
-5
Let u(p) = 2*p - 8. Let y be u(6). Let c = y + -2. Solve 2*f = -c*f + 20 for f.
5
Let p = -41 + 43. Solve p*b = -b for b.
0
Suppose -2*s = 2*b - 4*b - 18, 4*b = -2*s. Suppose 0 = -0*n - 2*n + 2*u + 12, 5*n + u = s. Let a = -151 - -156. Solve n*f - 1 = a for f.
3
Let h(a) = 4*a - 15. Let v be -1 + -2 + 65/5. Let i be h(v). Solve 5*g + 0*g = i for g.
5
Let n be -2 - ((2 + -2)/1 + -3). Solve -3*f = -4 + n for f.
1
Let y(d) = -d**3 + d**2 + 2*d. Let b be 0*(-1)/((-6)/(-3)). Let i be y(b). Solve -n + 2 + 1 = i for n.
3
Suppose 1 = 3*n - 5. Suppose -2*w + 36 = n*w. Solve -4*b = -w - 11 for b.
5
Suppose 5*k = -10, 12 = 2*z - 4*k - 2. Solve t + 2 - z = 0 for t.
1
Suppose -60 = -u - 4*u. Suppose 0 = x - 7 + 4. Solve -k + u = x*k for k.
3
Let k(q) = -3*q + 7. Let j be k(0). Solve j*x + 5 = 8*x for x.
5
Let i = -60 + 61. Solve t + i = 2*t for t.
1
Let b = 51 + -48. Solve b*c - c = 8 for c.
4
Let r(q) = q**2 - 6*q + 6. Let u be r(7). Suppose -5*w + u = -12. Solve x + 2 - w = 0 for x.
3
Let a = -15 - -22. Suppose c - 5*k = -a, k = c + 4*k - 17. Suppose 3 = s, 5*b - 5*s + 5 = 3*b. Solve c = -b*x - 12 for x.
-4
Suppose 2*t - 62 = -4*c, -3*t = -c + 7 - 2. Let j = 4 - c. Let u be 64/10 + 4/j. Solve -2*d - d - u = 0 for d.
-2
Let u(b) = -b - 1. Let r be u(-5). Suppose x - r = -x. Solve 3 = x*w + 1 for w.
1
Let u(l) = -3*l + 15. Let g be u(5). Solve g = -0*z + 4*z + 16 for z.
-4
Let l(g) be the second derivative of -g**3/6 + 9*g**2/2 - g. Let u be l(0). Suppose -b + u = 2*b. 