Let t = 4 - -1. Solve 0 = t*y - 3*y + 10 for y.
-5
Let t be -3*(-1)/((-1)/(-2)). Let m = t + -2. Suppose 0 = -3*f - 0*f. Solve f = -9*q + m*q + 25 for q.
5
Suppose 0 = -t - 2*a + 9, 5*t + 12 = t + 4*a. Let p(l) = 5*l + 2 + 0 + 1 - 4. Let h be p(t). Solve -5 = -h*u - u for u.
1
Let l(m) = m - 11. Let z(y) = -3*y + 32. Let s(n) = -17*l(n) - 6*z(n). Let u be s(7). Solve u*h = h - 3 for h.
-3
Suppose 4*k - k = 6. Solve -1 + k = s for s.
1
Suppose -5*o - 4*g + 26 = 0, 5*o - 33 = -2*g + 5*g. Solve 0 = 3*l - o - 9 for l.
5
Suppose 3*j = -5*f + 60, -4*j = -6*f + 4*f - 2. Solve f*t = 7*t - 8 for t.
-4
Suppose -2*r + 16 = 4*h, -r = -3*h - 0*r + 7. Solve h*b + 4 = b for b.
-2
Suppose 0 = -t + 4*t - 60. Solve -4*z + t = -0 for z.
5
Suppose d + o = 6*o + 18, 3*o - 6 = -5*d. Solve -8*m + d*m = 15 for m.
-3