Let z(f) be the second derivative of f4⁄12 + f3⁄6 - f**2 - f. Let t be z(-5). Suppose -4*d - 6 + t = 0. Solve d = y + 2*y for y.
1
Let k = 6 + 1. Suppose l + 0*f - k = -2*f, -f - 4 = -2*l. Solve -l*u = -5*u - 2 for u.
-1
Let a = 6 + -4. Solve a = r - 0 for r.
2
Let w be 52⁄8 + (-1)/2. Solve -w*x - 5 = -x for x.
-1
Let b® = r**2 + r + 7. Let l be b(0). Solve 0 = l*q - 2*q + 20 for q.
-4
Suppose 2*w = -3*w + 20. Suppose 0 = -h + w*h. Solve 0 = l - h*l - 4 for l.
4
Let c = 5 - 3. Suppose 0 = c*i - 6*i. Suppose -3*u + 4 = -u. Solve u*x - 7 - 1 = i for x.
4
Let p(x) = -4*x - 12. Let u be p(-4). Suppose 3*k = 5*k. Solve -u*r + 0*r = k for r.
0
Let p(v) = v3 - 2*v2 + 2*v - 3. Let g be p(2). Suppose 8 = 5*q - 4*f, -q - q + 3*f = g. Solve 5 + 3 = q*h for h.
2
Suppose 2*v - 2*f = 6*v - 16, f + 16 = 4*v. Let a = 10 + -5. Solve v*c + a = -c for c.
-1