Let x = 10 + 10. Suppose 4*n - x = -2*f + 2, -2*n - 9 = -3*f. Let w(u) = 2*u - 4. Let q be w(n). Solve 0*p + 6 = q*p for p.
3
Let i = -193 - -201. Solve -i = 5*t - 3*t for t.
-4
Suppose 5*s = -0*s - 165. Let c be -1*s/3 - 2. Solve -2*o - o = c for o.
-3
Let l be (1 - -2)/(5 + -2). Let u = l + 1. Suppose 3*q - 1 = 2. Solve i = -q + u for i.
1
Suppose -k - 3*k = 0. Suppose -2*b + k + 12 = 0. Solve -5*y + 4 = -b for y.
Let y = 8 - 6. Let q be ((-58)/(-6) + -11)*3/(-2). Solve -i + q = -y for i.
4
Let f(y) = y**2 + 5*y + 6. Let g be f(-4). Solve 0 = 3*r - 2*r - g for r.
2
Let d be (-1)/((-3 - 1)/(-4)). Let k = 2 - d. Solve -y - 2*y + k = 0 for y.
1
Suppose -2*y = y - 6. Suppose -3*c - 6 = -0*c, -4*f + y = c. Solve 5*p + f + 9 = 0 for p.
-2
Suppose 4*g - 12 = -0*g. Suppose -2*a + 9 = 1. Let m(t) = -t**2 + 2*t. Let k be m(2). Solve k = a*z - 3*z + g for z.
-3