Let g(o) be the second derivative of o4⁄12 + o3⁄3 - o**2 - 2*o. Let b be g(-4). Solve -b*s = -s + 5 for s.
-1
Suppose -5*k + 5*a + 5 = -0*a, 3*a + 12 = 0. Let i be 1/(-2 - k) - -6. Let z(d) = d3 + 5*d2 + 4*d - 1. Let s be z(-3). Solve 13 + i = -s*r for r.
-4
Let c = 6 + -2. Solve c*a + 1 = -11 for a.
-3
Let a = 6 + -2. Let y be ((-45)/(-20))/((-1)/a). Let s = -5 - y. Solve o = -s*o for o.
0
Suppose 4 + 3 = 2*m - k, m = 4*k. Solve -m*r + r = 6 for r.
-2
Let m(w) = -w3 + 12*w2 - 3*w + 2. Let u be m(12). Let d be (-6)/15 - u/10. Solve -d*h = -h for h.
0
Let p(o) = -2*o - 7. Let u be p(-5). Let v = 1 + u. Suppose v*y + 0*y = 0. Solve y = 2*c - 0*c - 2 for c.
1
Suppose -u + 10 = u. Suppose -4*y = 2*m - 6, u*y - 2*m + 6 = 3*y. Solve p + y*p = 5 for p.
5
Let a(q) = -2*q**2 - 25*q - 10. Let l be a(-12). Solve -2 = -4*s + l*s for s.
1
Suppose 2 = f - 2. Suppose -6 = -t - 0. Solve -t = f*z - 2 for z.
-1