Suppose 2*a = -5*k + 12, 0 = -k - 2*a + 3*a + 1. Suppose 3*w - 1 = -2*o, k*w + o + 1 - 2 = 0. Solve 0 = -j + 2 + w for j.
3
Let f(o) = -o**2 + 4*o + 2. Let k be f(4). Suppose k*g - 6 + 0 = 0. Solve g*q + 20 = 7*q for q.
5
Let o(w) = -1 + 1 + 2*w - 3. Let v be o(3). Solve -6 = -3*j - v for j.
1
Let p(w) = 2*w - 10. Let g be p(9). Suppose 0 = 4*i - 4 - g. Solve 3 + i = -3*s for s.
-2
Suppose 0*m - 9 = -m. Suppose 2*v - 8 = -4*p, 5*p - m = -4*v + 1. Suppose 0*g - 10 = 2*g - 5*o, v = 3*g + 4*o - 8. Solve -1 = -g*r + r for r.
-1
Let a be 2/(-3) - (-38)/3. Suppose 9 = -3*u, 4*z = z + 4u + a. Let k be -9(1 + (-10)/6). Solve 0 = 2*r + k - z for r.
-3
Let l(w) = -2*w - 4. Let p = 10 + -17. Let q be l(p). Let j be q + (3⁄3 - -1). Solve -6*i - j = -2*i for i.
-3
Let r(o) = o**2 + 14*o + 3. Let z be r(-12). Let t be ((-12)/z)/((-10)/(-35)). Solve 5 - 1 = -t*q for q.
-2
Let o = -3 - -5. Solve 0 = -4*b - 6 - o for b.
-2
Suppose -2*u - 5 - 1 = n, -2*u = 2*n + 22. Let c = -10 - n. Suppose -c*y = -2*y - 80. Solve 0 = 5*b + y + 5 for b.
-5