Let d be (-5 + 8)*(-7)/3. Let z = -4 - d. Solve -4*s - 13 - z = 0 for s.
-4
Suppose -4*z = z - 5. Let r be z - -1 - 2⁄1. Solve r = -3*o - 3 for o.
-1
Let f = -6 - -10. Solve 10 = f*l + l for l.
2
Let v be 6*(-3)/12 - 22/(-4). Solve 3 = v*r + 15 for r.
-3
Let d(t) = -t + 13. Let k be d(10). Suppose 0 = v + k*v. Let i be 2*2/(-1) - -19. Solve -i = -3*m - v for m.
5
Suppose 7 = -3*c - 2. Let m(b) = -b3 - 2*b2 + 3*b + 2. Let v be m©. Solve -v*h - 15 = h for h.
-5
Let k(s) = -s**2 + 12*s - 32. Let p be k(7). Solve 2*t = p*t for t.
0
Let y be (1 + 1 + -8)/(-2). Suppose 0*j = y*j - 33. Suppose -3*c + 8*o = 4*o - j, 2*c + o = 0. Solve -3 = -k - c for k.
2
Let k be (6/(-9))/((-1)/39). Suppose -r - 9 = -3*r - 5*f, 0 = 4*r + 2*f - k. Suppose r + 13 = 5*n. Solve n*t = -t for t.
0
Suppose 0 = -4*c + 2 + 6. Suppose c*k - 6 = -0*k. Let t = 20 + -20. Solve j - 7 + k = t for j.
4