Let f be 6/(-1)*1/(-3). Solve -d + f = -3 for d.
5
Let z(t) = -t**2 - 13*t - 28. Let n be z(-5). Solve -4 + n = -4*g for g.
-2
Suppose 0 = -4*z - 5*g - 10, 4*z - 6 = 3*z + 3*g. Let u = -12 - -14. Suppose -2*t + 10 = -6. Solve t + z = -u*x for x.
-4
Let j(g) = g**2 + 5*g - 18. Let m be j(-8). Solve -4 = 2*w + m for w.
-5
Let l(u) = -5 - u + 1 + 0*u + 0. Let p be l(-8). Solve 0*o - p*o - 16 = 0 for o.
-4
Let p be ((-16)/20)/((-1)/5). Let a be 158/(-4) + (-5)/(-10). Let t be -1 + -2 - a/3. Solve -t = p*g + g for g.
-2
Let q = -1 + 3. Solve 1 = a - q for a.
3
Suppose 5*d - 10*d = -35. Suppose 2 = 3*c - m, 1 = 2*c - 4*c + 3*m. Solve -2*s + d = -c for s.
4
Suppose 0*k + 3*k + 12 = 4*d, 5*d - 15 = -5*k. Solve -m = -d*m + 10 for m.
5
Let t = -6 - -6. Solve t = -k - 3*k + 4 for k.
1