Suppose -4*z + 1 = -3*q, -3*q = -z + 9 - 2. Let r be z/(-6) - 14/(-3). Suppose -s + r = -5. Solve s + 0 = -2*n for n.
-5
Suppose 0 = m - 5*m. Suppose -l + 0*l - 10 = m. Let g be ((-5)/(l/8))/1. Solve -15 = -i - g*i for i.
3
Let s be -3 + 5 + 0 - -2. Solve 2*w - s*w - 8 = 0 for w.
-4
Let x(m) = m**2 + 3*m - 2. Let s be x(-4). Suppose 5*b - 60 = -0*b. Suppose 3*j - 2 = 4. Solve j - b = s*c for c.
-5
Let j be ((-3)/5)/((-1)/5). Solve -u - j*u = 16 for u.
-4
Let c(n) = -n**2 - 6*n + 2. Let k be c(-8). Let i = -7 - k. Solve -2*b + i*b = 20 for b.
4
Let c(h) = -h3 - 4*h2 - 4*h. Let o be c(-3). Solve y + 4 = -o*y for y.
-1
Let y(t) = t - 1. Let a be y(1). Suppose 0 = 2*b - a*b. Solve q + 2 - 7 = b for q.
5
Let a(y) = y**2 - 2*y - 1. Let g be a(-1). Let q be ((-10)/(-4))/(g/20). Suppose 0 = 2*r - 3*r. Solve r = 5*j + 5 - q for j.
4
Suppose -9 = 3*c - 21. Solve -3*q = -4*q + c for q.
4