Let l be (8⁄6)/(2⁄9). Let y = l + -6. Solve y = -4*a + a - 9 for a.
-3
Suppose 0 = -n + 6*n - 5. Let f be n + -1 + -1 + -1. Let w be f*2*1/(-2). Solve -w*y + 0*y + 6 = 0 for y.
3
Let z(m) = -6*m + 1. Let f be z(-2). Suppose -5*x - 3*c + f = -6, 12 = 4*c. Solve 0*d - 2*d = -x for d.
1
Suppose -5*t + 11 + 24 = 0. Suppose t*y = 4*y. Solve y = 2*s - 3*s + 3 for s.
3
Suppose -3*c + 4 = -c. Let b be (10 - c) + -3 - 1. Suppose -5*y + 19 + 11 = 0. Solve 0 = b*s + y + 6 for s.
-3
Suppose 3*s = -0*s + 120. Let t be 8⁄5 + (-24)/s. Solve 5*k - 14 - t = 0 for k.
3
Let y = -1 - -3. Let s = 5 - 3. Suppose -5*a = -17 + s. Solve -4*c = -a*c - y for c.
2
Let j = -1 - -1. Suppose 0 = -4*y + 3*z - 2*z + 11, -26 = -4*y - 2*z. Suppose 0 = 2*l + 2*h - 36, y*l + 2*h - 62 = -j. Solve 0 = 5*b - 12 - l for b.
5
Suppose 7*u - 20 = 3*u. Let l = 0 - -5. Let f = -2 + l. Solve -u*n + 2*n - f = 0 for n.
-1
Let l = 6 + -17. Let z = l - -18. Suppose 4 = 4*i + 2*v, -4*i + 31 - z = -3*v. Solve 6*p = 3*p - i for p.
-1