Let z be 5⁄15*-4*9/(-6). Solve 2*o + 0*o + z = 0 for o.
-1
Let y = 28 - 22. Solve 3*d - 5*d = -y for d.
3
Let v = -2 + 7. Solve v*x - 26 + 6 = 0 for x.
4
Let n = 4 + 0. Suppose 0 = b + n*b - 10. Solve 0 = 3*k - 5 + b for k.
1
Suppose 0 = -3*r + k - 1, 2 = 4*r + 2*k - 0*k. Suppose 4*w = -r*w. Suppose -2*p = -w*p - 2*v + 2, 5*v = 15. Solve p*g + 3 - 11 = 0 for g.
4
Let i© = -c**2 - 5*c + 6. Let v be i(-5). Solve v*h = 2*h for h.
0
Let a be (1 + 1)-1 - (-8)/2. Let j be -6(-2)/8*8. Solve -j = -a*z + 6*z for z.
-3
Let s(b) = -b + 2. Let a be s(-2). Suppose 0 = -a*f - 0*f + 16. Suppose c + 60 = f*c. Solve -4*x = x - c for x.
4
Let c be 1⁄8 - 110/(-16). Solve 6*u = c*u + 4 for u.
-4
Let z(u) = -u + 7. Let r be z(4). Solve -r = -2*h + 1 for h.
2