Let a be 58/(-10) + 1/(-5). Let q = a - -6. Solve 3*w - 15 = -q for w.
5
Let w = -30 - -32. Solve 0 = t + w for t.
-2
Suppose 0 = -l + 2*l + 5, 0 = 2*f - 2*l - 16. Solve 2*k + f*k = 10 for k.
2
Suppose -7 = -5*t + 23. Suppose 5*d + 30 = -z + t*z, z + d = -2. Solve z*j = 3*j for j.
0
Let u(x) = -x**2 + 7*x + 3. Let r be u(7). Suppose r*p + 9 = 3*n, 5*p + 3 = -5*n - 12. Solve 4 = f - n*f for f.
4
Suppose 0 = 2*w + w - 9. Let f = w - -7. Suppose 4*m = -m + f. Solve s + 4 - m = 0 for s.
-2
Suppose -3*y - n - 8 = 0, 3*n - 16 = -4*y + 7*n. Let f(u) = 2*u + 2. Let d be f(y). Solve d = -5*m - 0*m - 10 for m.
-2
Let i(k) = -k + 7. Let p be i(7). Suppose -f + b = -p*f + 3, 3*f - 2*b = -4. Suppose -16 = -0*y - f*y. Solve 3*t = y*t + 5 for t.
-1
Let o(j) = j - 3. Let w be o(5). Suppose -3 = -3*a + w*y + 12, -3*a = 3*y - 15. Solve 4 = -a*z - 16 for z.
-4
Let r = 1 + 6. Suppose 2*o - 1 = r. Let f = 6 - o. Solve 0 = f*w + 6 - 2 for w.
-2