Let i(g) = -g - 2. Let c be i(-3). Suppose c = 4*k - 15. Let o = -3 + k. Solve 2 - o = -m for m.
-1
Let a = 8 - 6. Let z(u) = -u + 1 - 1 + u**2 - a. Let s be z(-2). Solve 5*m = s*m + 4 for m.
4
Suppose 6 = -2*y - 2. Let j be 1 - (-4)/16*y. Solve 3*g + g = j for g.
0
Let o be -1 - 2 - 0 - -6. Let a = -2 + o. Suppose -5*x + 7 = 2*j - 3, j + 5 = 0. Solve 5*t = -a - x for t.
-1
Let i = 20 + -20. Solve i = -5*p + p for p.
0
Let d = 4 + -1. Suppose v - d = 1. Solve v*k + 2 = 2*k for k.
-1
Suppose 0 = -0*z - 2*z. Solve x + 3 = -z for x.
-3
Suppose -3*o = -6*o + 6. Suppose -3*j + 1 = -o*j. Let p = j + 1. Solve -1 = p*d + 7 for d.
-4
Let q be (23 + -27)/(2*-1). Solve 0 = q*p - 5*p for p.
0
Let l be 4 - (3 - (1 - -1)). Suppose -f + l*t = -11, 13 = 4*f + f - t. Solve u = f*u for u.
0