Let y be 2⁄6 - (2 - 116⁄12). Suppose -4*r + 3 = -13. Solve y = 2*k - r*k for k.
-4
Let c(d) = d + 3. Let z be c(0). Let y = 1 + z. Let k(j) = 3*j3 - 4*j2 + 3*j - 2. Let x be k(2). Solve -y*o = -0*o + x for o.
-3
Suppose 9*f - 25 = 4*f. Suppose -63 = -s - 2*s + 3*t, 84 = 4*s + t. Suppose 4*y + 5*l - s = f*y, -4*y - 9 = -5*l. Solve 25 = y*u + u for u.
5
Let h(o) = -o**2 + 7*o - 6. Let c be h(5). Suppose 13 = 6*y + 1. Suppose -3*k = c*z - 8, 4*z - 5*z = 3*k - y. Solve 5*u - 6 + 21 = k for u.
-3
Let o be (0 - 3) + -13 + 25. Suppose -o*a = -6*a. Let k(g) = -g + 1. Let l be k(-4). Solve a = -l*u - 5 for u.
-1
Let d be (-4 + -2 + 2)*-2. Solve 7 + d = 5*v for v.
3
Let l be 4/(-1 + (4 - -1)). Solve 4*o - 3*o + l = 0 for o.
-1
Let k(z) = 2*z**2 + 18*z + 28. Let o be k(-7). Solve o = -4*p + 13 + 3 for p.
4
Let a(n) = n3 + 3*n2 + 1. Let i be a(-3). Let c = 0 + -2. Let m = 7 + c. Solve i = 4*f + m for f.
-1
Let p(b) = -14*b. Let f be p(-1). Let a = f - 12. Solve a*y = -5 + 3 for y.
-1