Let z = 0 - -10. Suppose z = 2*v - v. Solve 3*k = k + v for k.
5
Let k = -10 + 13. Let n be 24⁄9 + (-1)/(-3). Solve k*q + n = -0*q for q.
-1
Let b be 12⁄30 + 6/(-15). Solve 4 + b = -2*i for i.
-2
Suppose -11*j = -13*j + 12. Let c(h) = -h3 - h2 - h - 1. Let a be c(-1). Let x(w) = w3 - 7*w2 - w + 7. Let b be x(7). Solve b = -a*v - 2*v - j for v.
-3
Let z be (2 - (7 - 0))/1. Let s(o) = o3 + 5*o2. Let p be s(z). Solve p = 2*x - 0 - 2 for x.
1
Suppose -5*g + 29 = -1. Suppose j - 4*c = -0*j - 7, 16 = 4*c. Let s = 14 - j. Solve s*p + g - 1 = 0 for p.
-1
Let t = 2 + -2. Let a be (-9)/15 + (-26)/(-10). Suppose 0 = v + a - 5. Solve t*p = -v*p for p.
0
Let b(m) = 2*m2 + 2. Let u be b(3). Suppose q + 2*f = -2*q - u, 0 = q - 4*f + 2. Let n® = r2 + 7*r + 6. Let a be n(q). Solve 2*g + a*g = -10 for g.
-5
Let r be -4 - 1 - (-10 - -3). Solve c = r*c - 2 for c.
2
Let w = 7 - 3. Solve -w*p = p - 5 for p.
1