Suppose k = -1 + 1. Solve k = 6*z - 2*z + 4 for z.
-1
Suppose -60 = -11*q - q. Solve 0*c = -q*c for c.
0
Let t be 10/(-4)*-2*1. Suppose 0 = 4*v - 4*c - 48, 10 = 5*v + 5*c - 0*c. Suppose 0 = -2*n + v*n - 20. Solve -n*k - t = -17 for k.
3
Let f(v) = -4*v3 + v2 + v. Let g be f(-1). Solve g*m = -0*m for m.
0
Suppose b - 3*b = 0. Suppose -l - 4 - 2 = b. Let z be ((-9)/l)/(-3)*0. Solve z = 2*n - 5*n + 15 for n.
5
Let i = 3 + 0. Suppose i*g - 3 = 3. Suppose 0 = g*n + 2*n. Solve -r - 2*r = n for r.
0
Let m(w) = -w + 2. Let i be m(-2). Let p = i + 1. Solve p*r - 2 = -7 for r.
-1
Let k = -6 + 8. Let b be 6 + -5 - (-1 + -3). Solve 15 = -b*s + k*s for s.
-5
Let c be (-1)/(-3) + (-267)/(-9). Let y be (-2)/(-12) + c/36. Solve -3*v + 2 = -y for v.
1
Let s(p) = -p + 11. Let o be s(3). Solve 3*f + f = o for f.
2