Let b(z) = -z - 6. Let g© = -2*c + 12. Suppose -17 = -2*t + 3. Let v be g(t). Let d be b(v). Solve d*u + 4 = u for u.
-4
Suppose -3*a = -12 - 3. Let n = -10 + 18. Suppose -k + 0*k + t + n = 0, k - 5*t - 28 = 0. Solve d - a = -k for d.
2
Let z be -1 - 2 - (4 + -13). Suppose b = -2*b + 12. Solve -b*o - z = -o for o.
-2
Let r be -2 - (0/3 + -4). Solve -6 = r*m + m for m.
-2
Let n(z) = z. Let g be n(0). Solve g = w - 2*w + 5 for w.
5
Let n(t) = t - 2. Let v be n(6). Let q be (-2)/3 - 156/(-18). Let j be (-2)/q - v/(-16). Solve -w - w = j for w.
0
Let u(y) be the first derivative of -4 - 4*y + 4*y2 - 8⁄3*y3 + 1⁄4*y**4. Let g be u(7). Solve 8*q = g*q + 5 for q.
1
Suppose -4 = -2*u + 4. Solve 0*q - u*q = -12 for q.
3
Suppose -x + 15 = 13. Solve -2*m - x = 2 for m.
-2
Let f(d) = d - 2. Let z be f(5). Suppose 0 = 3*t + 3*s - 4*s, 4*s + 13 = -t. Let j(v) = -9*v**3 - 1. Let c be j(t). Solve z*i - 4 = c for i.
4