Let d = -9 - -4. Let j be (-1)/d + 4/(-20). Solve 3*k = -j*k for k.
0
Let t(a) = -5*a + 10. Let l be t(-3). Solve 2*u + l = -3*u for u.
-5
Suppose -3*s = -0*s. Solve s = 5*a + 5 for a.
-1
Let u® = -r**2 - 8*r + 22. Let t be u(-10). Solve z - 9 = -t*z for z.
3
Let q(f) = 2*f2 - f + 2. Let a(v) = v2 + 5*v + 6. Let p be a(-4). Let j be q(p). Solve -2*n = -j - 0 for n.
4
Let m be -6*((-15)/(-9) + -3). Solve 4*k + m = -0*k for k.
-2
Suppose 0 = -j - 1 + 3. Solve 0 = -5*m + j + 23 for m.
5
Let z be 25⁄4 + (-8)/32. Let o be -3 - (z - -1)*-2. Solve -31 + o = -5*k for k.
4
Suppose 0 = -2*a + 3*a - 2. Suppose -5*n = -4*r + 13 + 10, -a*r + n + 13 = 0. Suppose -r*f + 15 = -2*f. Solve -5*h = -f - 12 for h.
3
Let s be 2/((-1)/(-1*1)). Let t = -9 - -11. Suppose t*v + 3*v = 0. Solve -3*u + u - s = v for u.
-1