Let u be 6 + (0/3)/(-2). Let y be -5*2*u/(-4). Solve 0 = -2*b + 5*b + y for b.
-5
Suppose 0 = -w - 2 + 1. Let g be (-3 + (-5 - -3))*w. Solve 31 = g*t + 11 for t.
4
Let i(a) = 3*a + 12. Let t(l) = -l**3 + l + 5. Let d be t(0). Let u be i(d). Solve -5*x = -u + 7 for x.
4
Suppose -k = k. Solve a = 1 - k for a.
1
Let n = 168 - 166. Solve -n*k + 0*k = 0 for k.
0
Suppose 3 = -s + 6. Solve -5*i = s + 2 for i.
-1
Suppose -f - 2*f - 9 = 4*u, 0 = 5*u + 3*f + 9. Suppose -2*i + 6 = i. Solve -i*a - 8 = -u for a.
-4
Let t(j) = -j**2 + 3*j. Let s be t(3). Suppose -20 = -4*u - s*u. Solve 6 = u*g + 21 for g.
-3
Let f(z) = z**2 - 2*z + 2. Let k be f(3). Suppose -u = 2*t + 1 - k, 0 = -2*u - 3*t + 8. Solve -u*q - 1 - 7 = 0 for q.
-2
Let u(g) = -5 - 4*g2 + 4*g2 - g**2 - 8*g. Let z be u(-5). Suppose -1 = r - 0, 0 = n - 2*r - 5. Solve 0 = -n*c - 2 - z for c.
-4