Let j(i) = -i**2 - 12*i - 7. Let y be j(-11). Solve 0 = z + y*z for z.
0
Let t(m) = -45*m - 4. Let r be t(-4). Suppose a = -3*a - r. Let z = a - -64. Solve -z = 5*u - 5 for u.
-3
Let v be (-2 - -1*2)/(2 - 4). Solve n + v*n = 4 for n.
4
Let q be (0/3)/(2 - 3). Solve 2*w - 5 - 5 = q for w.
5
Suppose 0 = 7*i - 3*i - 12. Suppose i*s - 4 = 2. Solve -s*m - 3*m + 20 = 0 for m.
4
Let x(v) = -v + 6. Let k be x(0). Suppose 0 = d - 3*d - 5*r + 55, d - 28 = -2*r. Suppose -d = -k*g + g. Solve -g*q + q = -20 for q.
4
Suppose 4*d = -2*t + 3*d + 15, -15 = -3*d. Solve t*s = -0*s - 25 for s.
-5
Suppose 0 = -c - 1 + 6. Solve -c = k - 0*k for k.
-5
Let d = -32 - -38. Solve 2*c + 0*c = -d for c.
-3
Suppose 0*v - 8*v + 24 = 0. Solve 6 = -v*a - 3 for a.
-3