Suppose -4*f + f + 15 = 0. Solve x - f*x = 0 for x.
0
Let c(o) = -o**2 - 6*o + 11. Let n be c(-7). Solve 7*a = n*a for a.
0
Let n(o) = o + 8. Let k be n(-8). Solve 5*s + 12 + 13 = k for s.
-5
Let w = -4 + 0. Let d = -4 - w. Suppose 3*h - 6 = -d. Solve -h + 0 = -2*b for b.
1
Suppose -3*x + 3*h = -30, 3*x + 7*h = 3*h + 37. Suppose -3*j + 2 = -0*j - 2*k, -5*k + 41 = 4*j. Solve 3 = j*n + x for n.
-2
Let c(o) be the second derivative of o3⁄6 - o2 + 3*o. Let m be c(3). Suppose -2*a - 7 = -3*v + 3, -v - 5 = a. Solve -h + m = -v for h.
1
Suppose 0 = 5*g - 0*g - 5. Solve g = -n - 2 for n.
-3
Let u be (-2)/6 + 151⁄3. Suppose 0 = -3*y + u + 22. Let j be ((-3)/(-2) + -1)*y. Solve 0 = 3*z - j - 0 for z.
4
Let z = 23 + -23. Solve z = -3*l - 0*l - 12 for l.
-4
Let r(j) = -j3 + 7*j2 - 6*j + 8. Let f be r(6). Let t = 29 + -25. Suppose 3*q - t = f. Solve -5 = -q*l - 21 for l.
-4