Suppose 0 = -z - v - 6, -3*z + 5*v - 12 = -2. Let m = z - -8. Solve -3 = -m*w - 0 for w.
1
Let i = 35 + -25. Let f be i/3 + (-8)/(-12). Suppose -w - f = -3*w. Solve u - w = -u for u.
1
Suppose -4 = -2*d, 11 + 43 = 3*k + 3*d. Suppose w + k = 3*l, w + 3*w - 4 = -5l. Let p be w(-4 + 1)/3. Solve 6*y - p*y = -2 for y.
-1
Suppose -4*c = -4*p, -2 - 13 = -p - 4*c. Suppose 3 = 2*y + 1. Let z be 11*1*1/y. Solve -p*x - z = -2 for x.
-3
Suppose -6 = -j - 2. Let c(u) = u**2 - 12*u + 2. Let f be c(13). Solve g = j*g - f for g.
5
Let k(g) = -3*g**3 + 2*g + 1. Let f = 5 - 6. Let r be k(f). Suppose r*u + 4 = 8. Solve u = j - 0 for j.
2
Let t be 2⁄4*4 - 0. Let n be (1 - 0)/1 + 1. Let x = t - n. Solve 3*p - 6 + 18 = x for p.
-4
Let k = 28 + -8. Let j(b) = -b3 + 5*b2 - 2*b - 3. Let p be j(4). Solve 0 = 5*m + k - p for m.
-3
Suppose 0 = 3*u - 4*y + 12, 5*u - 5*y + 6 = -9. Solve -4*v = -4 - u for v.
1
Suppose -13*f = 2 - 2. Solve f = 3*z + 18 - 6 for z.
-4