Suppose 4 = d + 3*d. Solve -d + 16 = 5*t for t.
3
Let n(o) = o3 + 18*o2 + 16*o - 7. Let q be n(-17). Solve 0 = 2*i + q - 2 for i.
-4
Let l = -6 + 12. Suppose 2*c = 5*c + 3. Let q = c + l. Solve q*y + 19 = -6 for y.
-5
Suppose -u - 17 = k - 2*u, -2*k - 5*u = 20. Let f be 2/(-6) + (-5)/k. Suppose -3*m = -g - f*m + 15, 3*m = 4*g - 15. Solve -s - 5 = -g*s for s.
-5
Suppose 0 = -0*l + 5*l - 15. Suppose 0 = -y - 3*f - f - 6, -f = -y + 4. Let t be (-8)/12*18/(-4). Solve y*s = l*s - t for s.
3
Let m be (23 - 27)/(-5 - -1). Solve -3 + m = -2*b for b.
1
Let m be (1 + (-3)/3)/(-2). Suppose -8 = -k - 3*k. Suppose m = 3*j - 4 - k. Solve -3*l + j = -5*l for l.
-1
Let o(n) = n3 + 9*n2 + 8*n + 6. Let j be o(-8). Suppose 4*l - 6 = j. Solve l*f - 3 = 6*f for f.
-1
Let u(t) = t3 - 7*t2 + 8*t - 3. Let n be u(6). Let w = -2 - -7. Suppose 2*j - 18 = w*v - 2, -v = 2. Solve n = 3*c - j for c.
4
Suppose 0 = -2*v - 2*w - 2, 3*w + 6 = -4*v + 5. Suppose -4*t = v*p, -2*t - 18 = -2*p - 0. Solve -26 = 5*g - p for g.
-4