Suppose 0 = -4*v - 0*v + 24. Let f be v/(-33) - 237/(-33). Solve -2*n - 15 = -f for n.
-4
Suppose 3*j - 2 = -5*b + 7, -b - 5*j + 15 = 0. Let w = -1 - b. Let u be (0 + w)/(2/(-6)). Solve -u*z - 3 = 3 for z.
-2
Let j be (-72)/(-10) + 7/(-35). Suppose 2*f = y - j, y + y - 2f = 4. Let q be ((-3)/(-2) + y)-2. Solve q*p + 3 = -0 for p.
-1
Suppose 9*r + 0*r - 18 = 0. Solve r*k + 11 - 3 = 0 for k.
-4
Let u = 20 + -12. Let a(y) = y3 - 8*y2 + 10. Let j be a(u). Solve 10 = -4*l - j for l.
-5
Let b = 2 - -6. Suppose 0*p + b = 2*p. Suppose 0 = -p*v - 4*l + 10 + 10, 0 = 3*v + 5*l - 17. Solve -1 = -v*t + 15 for t.
4
Let n = -9 - -18. Let a be 6/n + 124⁄12. Solve 2 = 3*i + a for i.
-3
Suppose 3*r - 33 = -5*j + 2*j, -2*r + 36 = -5*j. Solve r = -5*s - 12 for s.
-5
Let s(o) = -o**2 - o - 1. Let c be s(-2). Let v = c - -5. Solve -y - v*y - 3 = 0 for y.
-1
Let k(m) = 2*m**2 - 4*m + 4. Let d be 3 + (2 - 1) + -2. Let l be k(d). Solve -w - 15 = -l*w for w.
5