Suppose -2*r = 1 - 7. Solve r - 11 = -2*g for g.
4
Let r = -5 - -3. Let y be r/(-4) + 93/(-6). Let d = -11 - y. Solve 0 = -3*u - 11 - d for u.
-5
Let s be 1/((-35)/(-15) - 2). Solve -5 = s*a + 1 for a.
-2
Let t be (2 - (2 + 1)) + 3. Suppose t*s = 5*s - 30. Solve 2*c - 2 + s = 0 for c.
-4
Let v(o) = 8 + 5 + 2*o2 - 3*o2 + 0*o**2 + 12*o. Let u be v(13). Solve -z + 2 = -u for z.
2
Let q = -80 - -80. Solve 2*b + 0*b + 6 = q for b.
-3
Suppose -4*u + 6 = -v - v, 5*u = 3*v + 7. Solve 0*q = q + v for q.
-1
Let q = -67 + 71. Solve -r + q*r - 15 = 0 for r.
5
Let u(o) = o**2 - 5*o + 6. Let w be u(4). Suppose -w*x + 2 + 0 = 0. Let b be x/3 + 8/(-24). Solve b = 4*v + 9 - 1 for v.
-2
Let z(d) = 3*d**2 - 2*d - 2. Let u be z(2). Solve u = b - 3*b for b.
-3