Let r be (-24)/8 - -2*4. Suppose 0 = k - r*c + 3, -15 - 3 = -2*k - 2*c. Let y be 4⁄10 - (-93)/5. Solve -4*i + y = k for i.
3
Suppose -2*u - 2*u + 12 = 0, 5*u = -4*y + 31. Solve 0*g - 4*g = -y for g.
1
Suppose 6*k - 4*f = 3*k + 7, -2*k = -4*f - 2. Let t be -1*k/((-10)/4). Suppose 0 = -3*q - 2*q. Solve x + q = t for x.
2
Suppose -3*s - 64 = 2*v, 3*s + 0*v - 3*v + 39 = 0. Let y = s + 30. Solve y = -u - 3*u for u.
-3
Let c = -4 + 0. Let q = 16 + c. Solve -q = -u - 2*u for u.
4
Let a(n) = -n**2 + 2*n + 6. Let v be a(3). Solve v = 2*o + 7 for o.
-2
Let w = 33 + -21. Suppose w + 3 = 5*i. Solve 0 = 5*n - i*n - 8 for n.
4
Let d be (84/(-18) - -5)/(2⁄36). Solve 0 = -d*t + 2*t + 8 for t.
2
Let k = 6 + -5. Let t = 1 - k. Suppose t = -h - 2*h. Solve 0 = -h*s + s + 5 for s.
-5
Let p(o) = -o3 - 5*o2 - o + 5. Let b be p(-5). Let c be 10/(-5)*6/(-4). Solve -n = -c*n - b for n.
-5