Let h(v) = v + 3. Let b be h(7). Let n = b - 7. Solve n*g = g + 10 for g.
5
Let b(n) = n3 - 4*n2 - n - 10. Let h be b(5). Suppose -o - 2*c + 3*c = 0, 8 = 3*o - c. Solve -o*t + 2*t = h for t.
-5
Let p = 18 - 16. Solve -p - 3 = l for l.
-5
Let t = -4 + 4. Let a = -6 - -7. Suppose v - a = -t. Solve -2 = n + v for n.
-3
Let i(o) = -o - 2. Let r be i(-5). Solve -r*v + 6 = -v for v.
3
Suppose 6*c - 9 = 3. Solve 0 = -c*d - d for d.
0
Let w be (2 - 3)*3 + 5. Solve a = -w*a for a.
0
Let c = 3 + -1. Solve 0 = -c*k - 3*k for k.
0
Let g = -9 + 6. Let i be (8⁄6)/((-2)/g). Suppose 0 = -0*b + b - 4. Solve b*v - i = -14 for v.
-3
Let o = 31 - 26. Solve -5 - 15 = -o*s for s.
4