Let i = 36 + -36. Suppose -3*c + 16 = -44. Solve i*u = -5*u - c for u.
-4
Let o(l) = l**2 + 2*l + 2. Let t be o(-4). Suppose -3*a + t = -5. Let q be (-70)/(-4) - 1/(-2). Solve -q - 2 = a*d for d.
-4
Let o = 5 - 0. Let f(z) = -z3 - 12*z2 + 14*z + 13. Let w be f(-13). Suppose w*n = -3*n. Solve n*s - o = -s for s.
5
Suppose 0*k + 0*k = -6*k. Solve 0 = -2*j - k*j + 2 for j.
1
Let q(w) = w3 - 11*w2 + 17*w + 10. Let d be q(9). Solve -d = 3*z + 8 for z.
-3
Suppose 0 = 3*v - 5 - 1. Let r(k) = 2*k**2 - 1. Let q be r(1). Let z = q - -1. Solve v*j - 6 + z = 0 for j.
2
Let k = 14 + -6. Let x(u) = u**3 - 9*u + 3. Let m be x(3). Suppose 0 = 5*o - m*o - k. Solve o*q + 0 = -12 for q.
-3
Let x(d) = d**2 - 3*d + 2. Let o be x(-3). Suppose -5*q - 4*h + 15 = -h, 4*h = 3*q + o. Solve -2*u = -6 - q for u.
3
Let l be 0 + 0/1 + 4. Suppose -4*n - 3*p + 1 + 15 = 0, 3*n + p = 12. Solve 2*x - l*x = -n for x.
2
Let j(p) = p**2 + 5*p + 4. Let m be j(-6). Let r be (m/4 - 2)*0. Suppose 0*h - 100 = -5*h. Solve r = 3*z - 8*z + h for z.
4