Let u = 3 - 0. Suppose -6 = 3*v + 21. Let r be (v/6 + 1)*0. Solve r = z - 0 - u for z.
3
Let w(k) = 3*k + 12. Let v be w(3). Solve v - 6 = 3*z for z.
5
Suppose -3*l + 2*l = -3*l. Solve -3*m + 5 + 10 = l for m.
5
Let d be (-20)/6*8/(64/(-12)). Solve d*z - 7*z - 2 = 0 for z.
-1
Let y(s) = -s3 + s2 + s + 2. Let o be y(0). Suppose r - 12 = o. Solve -4*w - 6 + r = 0 for w.
2
Let b be ((-3)/(-6))/((-2)/(-16)). Let a = b - -1. Solve 0 = -a*p - 1 - 24 for p.
-5
Let u = 4 + -2. Suppose -2*s + 10 = -g + 5*g, u*s = 5*g - 8. Solve -c = -g*c for c.
0
Let k(w) = -2*w + 19. Let c be k(8). Let z be (-16)/24 - (-8)/c. Solve 0 = 5*v - z + 27 for v.
-5
Let a = -3 + 7. Suppose a*o - 3 = 5*f - 1, -4*o + 16 = 2*f. Solve -10 = z - o*z for z.
5
Let u be 21⁄9 + 4⁄6. Let s = -3 - -7. Let c(a) = a**2 - 3*a - 3. Let z be c(s). Solve -z = r - u for r.
2