Let p = 5 + -2. Suppose -16*t = -13*t - p. Solve -t + 7 = -3*z for z.
-2
Let j be (20⁄16)/(1⁄4). Let f be j - 2 - (-5 + 3). Solve -3*d + 8*d = f for d.
1
Suppose -5*c - 34 = -5*h - 6*c, 5*h = 2*c + 22. Suppose 3*o - h = -0*o. Solve 1 = o*f - 5 for f.
3
Let v = -3 - 8. Let o(i) = i3 + 12*i2 + 12*i + 11. Let n be o(v). Solve -2*d - 9 + 1 = n for d.
-4
Let d(v) = v3 - 7*v2 - 8*v + 4. Suppose -4*j + 59 = 5*p, -5*j = 2*p - 12 + 2. Let n be (20/p)/(1⁄6). Let y be d(n). Solve 15 = -y*r - 5 for r.
-5
Suppose -3*l + 3 + 3 = 0. Suppose -a = 3*a. Solve a = -3*n - l*n - 5 for n.
-1
Suppose -4*c + 9 + 7 = 0. Let i = c + -1. Solve -2*v - 9 = -i for v.
-3
Let k be -9*((-24)/9)/4. Let a be (20/k)/((-4)/(-6)). Suppose -d + 1 = -5*v - 2, -d - a*v = -3. Solve r + d = 1 for r.
-2
Let c be (2 + -3)*-7 - 4. Solve 0 = 2*v - c*v - 2 for v.
-2
Suppose 0*n - n + 2*u + 18 = 0, 2*u = 5*n - 58. Let w(v) = -v**2 + 11*v - 9. Let b be w(n). Solve q = b + 2 for q.
3