Let f = 4 + 12. Let l(x) = x**2 - x - 33. Let c be l(0). Let q be 4/(-22) + (-72)/c. Solve -q*u - f = 2*u for u.
-4
Suppose 0 = l - 2*l + 5*s + 25, -3*l + 25 = -5*s. Solve l = 3*q - 2*q for q.
0
Suppose -3 = 2*b - b. Let l be (13/(-2))/(b/6). Suppose -2*w + l - 3 = 0. Solve 0*p + w*p = -10 for p.
-2
Let h = 26 + -22. Solve 0*w - 16 = -h*w for w.
4
Let n(v) = v**2 - 6*v + 2. Let i be n(6). Suppose 0 = i*x + 2*x. Solve -2*w - 2*w + 16 = x for w.
4
Suppose -10*t + 10 = -8*t. Solve n = t*n - 8 for n.
2
Suppose -4*d = -2*d - 6. Suppose -z + 5*y + 0*y - 2 = 0, 4*z + d*y - 15 = 0. Let i(s) = 3*s - 1. Let a be i(2). Solve a = f + z for f.
2
Let f(p) = -p**2 - 7*p + 6. Let y be (-2)/(-1) - (12 - 4). Let b be f(y). Solve 3*s = b - 3 for s.
3
Let z be 4/(-14) + (-4)/(-14). Let b = 4 + 1. Suppose -q + m + 14 = -3*m, 0 = 5*q + b*m + 5. Solve z*u = q*u for u.
0
Let g be 2/(-1)*36/(-8). Let z = 12 - g. Solve -z*c - 1 = -4*c for c.
1