Let o(s) be the first derivative of -s - 1 + 3⁄2*s**2. Let u be o(1). Solve d - 7 = -u for d.
5
Let k = 1 + -1. Solve k*i + 16 = -4*i for i.
-4
Suppose 0 = 4*s - 8 - 32. Suppose -v + 5*b = 20, 4*b - 23 + 7 = -3*v. Suppose 0 = -5*j - v*j + s. Solve j - 3 = -r for r.
1
Suppose -3*o + 42 = 2*k, -12 - 9 = -3*o + 5k. Let h be -1 + (o-1)/(-2). Solve -2*j - 3*j = h for j.
-1
Let w(k) be the second derivative of -k7⁄2520 + k6⁄720 - k**4⁄4 + 2*k. Let v(i) be the third derivative of w(i). Let c be v(0). Solve 1 = -c*m + m for m.
1
Let v(g) = g2 - 11*g + 13. Let r be v(10). Let d(b) = -b3 - b**2 + 4*b. Let n be d(-3). Suppose n = -2*p + r*p. Solve -4*f = -2*f - p for f.
3
Let g(z) = -z + 8. Let q be g(5). Suppose -3*y + y = -3*v - 15, q*y = -2*v + 16. Solve -2*b = -0*b - y for b.
3
Let m(a) = -a2 + a3 + 2 - a + 5*a - 5*a. Let y be m(0). Solve 4 = -2*q - y*q for q.
-1
Let r(h) = h**2 - h - 2. Let s be r(-1). Solve s = 4*t - 3 + 7 for t.
-1
Let b be (-1)/3 - 26/(-6). Suppose -3*p = 2*v + 3*v + 80, 16 = -v - b*p. Let x be ((-3)/(-2))/((-12)/v). Solve -x*f = -3 + 1 for f.
1