Let b(f) = f**3 + f + 2. Let y be b(0). Solve 7*w - y*w = 15 for w.
3
Suppose -4 = h, 2*h = -3*j - 15 + 1. Let x = j + 7. Suppose 0 = -x*t + 12 - 2. Solve -t*g = 3*g + 15 for g.
-3
Suppose 10*b - 5*b - 20 = 0. Let d(i) = -i3 + 4*i2 + 4. Let m be d(b). Let q be (6/m)/((-3)/(-4)). Solve -h = 3 + q for h.
-5
Suppose 0 = 3*t + 4 - 19. Solve -o + t = 9 for o.
-4
Let i® = 4*r - 9. Let c be i(6). Suppose 0 = -6*m + m + c. Suppose 0 = -0*u + 4*u - 8. Solve 0 = u*g - g + m for g.
-3
Suppose 0 = -4*a - 16, a - 3*a = -3*t + 26. Suppose b - t = -b. Suppose -5 - b = -2*h. Solve -h*k + 9 = -7*k for k.
-3
Let z(o) = o - 5. Let r be z(8). Let k be 15/(-10)*(-4)/r. Suppose 30 = -k*s + 5*s. Solve s = w + w for w.
5
Suppose 114 = -k + 3*k. Let x = -39 + k. Let w be x/(-4)*4/(-6). Solve -w*z + 1 = -2*z for z.
1
Let w = -62 + 62. Solve -k + w*k = 1 for k.
-1
Suppose 5*z = -4*y + 8*z + 23, -5 = -5*y - z. Solve y*t + 4 = -0*t for t.
-2