Let t(n) be the second derivative of -n5⁄20 + n4⁄3 + n**3 - n. Let z be t(5). Suppose 5 = -0*a + z*a. Solve -3 + a = -v for v.
2
Let a be (-52)/(-6) - (-10)/(-15). Let c be a/10*5⁄2. Solve -c + 3 = -v for v.
-1
Let f(d) = -d3 + 4*d2 + 5. Let v(j) = j**2 - j - 2. Let k be v(3). Let g be f(k). Solve 3*c - g = 7 for c.
4
Let v be (3 - (-22)/(-8))*4. Solve v + 1 = -2*y for y.
-1
Let p(l) = 2 + 4 - 6*l + 0. Let x be p(6). Let m = -10 - x. Solve -5*y - m = -0*y for y.
-4
Suppose 0 = -5*h - 0*h. Suppose 4*z - 24 = -p, 2*p + 16 = 6*p. Let n = z + -1. Solve h = -3*o - 11 - n for o.
-5
Suppose 0 = -8*b + 5 - 5. Solve b = -0*k - 3*k - 15 for k.
-5
Let y(f) = f3 - 6*f2 + 8*f - 4. Let n be y(5). Suppose -2*x = x - 18. Let b = n - x. Solve -5*r - b - 10 = 0 for r.
-3
Let y(t) = -7*t2 - 3*t + 8. Let v(i) = 3*i2 + 2*i - 4. Let f(o) = 9*v(o) + 4*y(o). Let p be f(4). Solve p = -2*n + 2 for n.
-1
Let k(d) = -d**2 - 2*d + 4. Let b be k(-3). Let o = -4 - -7. Let r = o + b. Solve 0*i = i - r for i.
4