Let k be ((-12)/4 - -3)/(-3). Suppose k = -4*j - j. Solve j = z + 1 + 2 for z.
-3
Let i(n) = -2*n - 24. Let p be i(-12). Solve -3*k + 8*k = p for k.
0
Suppose 0 = -n - 0 + 2. Suppose n*z - 16 = -2*z. Solve -5 = -z*f + 3*f for f.
5
Let x = 131 - 130. Solve -3 = 2*z + x for z.
-2
Suppose -h + 15 = -4*h. Let r = 5 + h. Solve 2*v + v + 3 = r for v.
-1
Let r = -10 - -17. Let i(p) = -19*p - 19. Let m be i(-1). Solve -3*g + r*g = m for g.
0
Let l(k) = k**2 - 5*k + 4. Let s be l(5). Solve -3*g + s - 10 = 0 for g.
-2
Let w be (-2)/4 - (-11)/2. Solve -w*y - 11 = 4 for y.
-3
Let n(p) = -p**2 - 9*p - 6. Let k be n(-8). Solve -k*h = -5 + 13 for h.
-4
Suppose -5*o + 0*o - q + 6 = 0, q = -4. Let t = 5 - 2. Suppose 3*u + t*c + c = 10, o*u = -3*c + 7. Solve -a = a + u for a.
-1