Let s(z) = z3 + 2*z2 - 4*z - 3. Suppose -3*v - 1 = 23. Let r = v + 5. Let g be s®. Solve l - 2*l = g for l.
0
Let l be -61(-2)/4. Suppose 0 = 2*p + 3*p - 5. Suppose q + p = l. Solve -q*i = -0*i for i.
0
Let f(k) = 4*k - 24. Let q be f(10). Let j be 3⁄2*q/6. Solve -3*c + c - j = 0 for c.
-2
Let n(g) = -2*g - 4. Let p be n(-4). Suppose -3*s = 2*b - 18, 54 = 4*b - 4*s - 22. Solve -p*y + y = -b for y.
5
Let x = -17 - -22. Solve 4*y - 3 = x for y.
2
Let i be (-2)/(-8) + 38⁄8. Suppose -4*o - 3*f = -16 - 8, 2*o + 14 = i*f. Solve -7 = x - o for x.
-4
Let k = 23 + -10. Let s = -15 + 10. Let u = k + s. Solve -z - z = u for z.
-4
Let m = -2 + 3. Suppose w + 24 = 9*w. Solve -w*t - m = -16 for t.
5
Suppose -5*f + 28 = 2*n, -26 = -4*n + 5*f - 0*f. Suppose -5*t = -n - 6. Solve 5*q + 6 = t*q for q.
-3
Let j be (-15)/(-6) + (-2)/(-4). Suppose 4*k + 2 = j*k. Let u be 7⁄2 + 1/k. Solve 2*h - 1 = -u for h.
-1