Let o be (-6)/(-15) + 39⁄15. Suppose -o*z + 4*z - 1 = 0. Solve -d = -0 + z for d.
-1
Suppose 0 = -2*y + 4. Suppose -i = y*i - 6. Solve -4*d - 6 = -i*d for d.
-3
Let d = -28 - -34. Solve -2*z + 0*z - d = 0 for z.
-3
Let t(v) = 21*v**2 - 2*v + 1. Let n be t(1). Suppose 3*r + 8 - 2 = 0. Let c be 1 + (-4)/2*r. Solve -c*h + h = n for h.
-5
Suppose 6 = o + 2*o. Solve -3 - 1 = o*t for t.
-2
Let s be 3/(-2)*16/(-6). Suppose -s*z = -12 - 8. Suppose 3*p + r = -0*r + 5, r = -4. Solve p = -4*q - z for q.
-2
Suppose 0 = -5*t + 2 - 2. Solve t = x + 2*x for x.
0
Suppose -4*v = -3*z - 5*v + 4, 0 = -z - 2*v - 7. Solve z - 8 = w for w.
-5
Suppose -3*q + 5 = -7. Suppose q*l + 4 = 6*l, -34 = -3*f + l. Let u = 2 - 0. Solve -u*a = 2*a + f for a.
-3
Let u = 18 - 13. Suppose 0 = 3*k + 2*g, 0 = u*g + 14 + 1. Solve -2 = y + k for y.
-4