Let n = 57 + -57. Suppose x + 4*j - 12 = 9, 5*j - 20 = 0. Solve n = -2*d - 1 - x for d.
-3
Let f = 3 + -1. Let o be (-14)/(-18) + f/9. Let s be o*(6 + -1 + 1). Solve -s*z - 12 = -3*z for z.
-4
Let s = 4 + 1. Let o be (-1 - (-1)/s)*-5. Suppose 2*t + 2 = -2*n, -3*n + 5*t + 11 = -2*n. Solve n = o*r + 13 for r.
-3
Let a = 41 + -38. Solve 2*b = b + a for b.
3
Let z(h) = h3 + 4*h2 - 8*h - 8. Let t be z(-5). Solve -3*i + 2 + t = 0 for i.
3
Let d be (-135)/(-18) - 2/(-4). Suppose -3*v + 11 = -r, -r = -3*r + d. Solve v*q + 11 + 9 = 0 for q.
-4
Let r(f) = -f3 - 5*f2 + 6*f + 2. Let v = 5 - 11. Let p be r(v). Solve 0 = p*u + 3*u for u.
0
Let l(g) = 2*g**2 - 4*g + 1. Let h be l(3). Solve 2*b = 1 - h for b.
-3
Suppose -d - 5 = 4*t, -5 - 1 = -4*d - 3*t. Solve d = -3*b + 15 for b.
4
Let h = -26 + 46. Solve -h = 4*m - 8*m for m.
5