Let b = -16 - -21. Solve -b*h + 3*h = -4 for h.
2
Suppose -b - 4 = -2*b. Suppose 2*j - 6 = b. Suppose 2*n - 13 = j*h, n + 22 = 3*n - 2*h. Solve -4*t + 6 = n for t.
-2
Suppose 2*x - 13 = -5*v, -17 + 6 = -2*x - 3*v. Solve 0 = -x*y - 1 - 3 for y.
-1
Suppose 5*u - 12 = -2. Let a(q) = 3*q**2 - q - 1. Let j be a(-1). Suppose -4*k = j*p - 9 + 3, -5*k + u = p. Solve p*w + 2 = 3*w for w.
2
Let v = 20 - 14. Solve -4*l + 10 = -v for l.
4
Let s = 38 + -34. Solve -s*j + 0*j = 16 for j.
-4
Let w(g) = g**2 - 1. Let y be w(0). Suppose 0*t - 1 = t. Let o = y - t. Solve o = 3*x + x for x.
0
Let o = 8 - 5. Solve -c + o = -0 for c.
3
Suppose -6*t = -3*t - 6. Solve 0 = -3*f + t + 1 for f.
1
Let k(u) = 10 + 9*u2 + 6*u + u3 + 3*u + 0*u. Let z be k(-8). Solve 4 = z*t - 4 for t.
4