Let n(b) = b3 - 6*b2 + 6*b. Let r be n(5). Solve 0 = r*k + 10 - 5 for k.
-1
Let m be (1 - 3) + 3*2. Solve -3*d - m - 8 = 0 for d.
-4
Let j = -32 - -32. Solve j*c + c - 3 = 0 for c.
3
Let i(h) = h**2 - h. Let l be i(-1). Suppose l*c = b + 2*b + 4, 0 = 5*b - 5*c + 10. Solve b = 4*r + r + 20 for r.
-4
Let g(x) = -2*x - 8. Let r be g(-4). Let z be (5⁄5)/(1⁄7). Solve 3*u + 4 - z = r for u.
1
Let d be -2 - -3*(-8)/(-12). Solve 5*x - 1 - 4 = d for x.
1
Let m(p) = -p + 8. Let r be m(6). Suppose 0 = -4*q + 16. Suppose q*c = -c. Solve -r*k - 1 - 1 = c for k.
-1
Let j be 1/(1/(-1)) - 3. Let o = j - -4. Let x = o - -7. Solve -4*p - 13 = x for p.
-5
Let m be (2/(-4))/(3/(-36)). Suppose r - m*r - 40 = 0. Let j = r - -13. Solve -2*q - j = -1 for q.
-2
Suppose 4*j = -2*j. Let l = 1 - -2. Solve j = -a + l*a + 10 for a.
-5