Let f(d) = d3 + 17*d2 - 18*d + 7. Let q be f(-18). Let g(w) = -w + 7. Let x be g(q). Solve x = -2*a + 7*a - 5 for a.
1
Suppose 5*f + 10 = -5*u, -u - 3*f - 10 = -0*f. Solve u = k + 3 for k.
-1
Suppose -3*k = 4*o - 3 + 9, 5*k + 10 = 4*o. Solve -5*i = -o*i + 5 for i.
-1
Let y(d) = -2*d - 6. Let o be y(-4). Solve -o*c + 6 = -0 for c.
3
Let u(j) = j3 + 10*j2 + 2. Let t be u(-10). Suppose t*w + 1 - 7 = 3*i, -w + 3 = 0. Solve 5*s - 3*s - 10 = i for s.
5
Let y = 6 + -3. Let m = -5 + 10. Solve m = y*v - 4 for v.
3
Let n(b) = b**2 - 2*b - 1. Let p be n(3). Suppose -o = p*o. Suppose 0 = -o*i + 2*i - 8. Solve -5*f = -11 - i for f.
3
Suppose -b - b = 0. Solve 2*r + 6 = -b*r for r.
-3
Let u(t) be the third derivative of -t5⁄60 + t3⁄6 - t**2. Let w be u(1). Solve w = 3*y - 0*y - 15 for y.
5
Let x(b) = -5*b - 2*b + 5 + 4*b. Let j be x(-5). Suppose j = o + 3*o. Solve 0 = o*p + 2 + 3 for p.
-1