Let r be (-25)/10*(-12)/15. Solve -r*y + 8 = -0*y for y.
4
Let v(f) = f3 - 11*f2 + 11*f - 10. Let w be v(10). Suppose w = c + c - 4. Let n(u) = -u3 + 5*u2 + 5*u + 6. Let a be n(6). Solve c*h + h = a for h.
0
Let h be (1/(-1))/(6/(-12)). Suppose 8 = 5*t + 4*x + 20, -12 = -h*t + 4*x. Solve b + t*b = -5 for b.
-5
Suppose -28*o - 25 = -33*o. Solve o*u - 28 = -13 for u.
3
Let t(n) be the second derivative of -n - 1⁄4*n4 - n2 + 0 - 1⁄20*n5 - 2⁄3*n3. Let s be t(-2). Solve s*p = 4*p for p.
0
Suppose -2*f + 19 = -f. Solve 5*o + f = 4 for o.
-3
Suppose 3*w = -w. Solve 2*z + w*z = 8 for z.
4
Let b(j) = -3*j + 24. Let t be b(7). Solve -2*h - t = -h for h.
-3
Let f(b) = -b**2 + 15*b + 3. Let a be f(15). Suppose 4*y - 1 = 27. Let r = 2 - 0. Solve y - a = r*x for x.
2
Let o be (2 - 15⁄9)*18. Solve 0*b = 3*b - o for b.
2