Let y(o) = o + 1. Let t be y(1). Let k(v) = -v3 + 3*v2 - 1. Let u be k(t). Solve -u*i + 7 = -8 for i.
5
Suppose 0 = 7*k - 4*k - 963. Let w be k/2 + (-2)/4. Let s be ((-3)/2)/((-12)/w). Solve -2*y + 7*y = -s for y.
-4
Let f be 5⁄20 + (-30)/(-8). Let j = -7 + 10. Solve -17 = -f*y + j for y.
5
Let m be 36⁄10*10⁄3. Solve 0 = 4*a - m for a.
3
Let y(o) = -o - 4. Let v be y(-6). Suppose 3*n - 4*n - r = -5, 4*r - 24 = -5*n. Solve 0 = -3*l + v*l + n for l.
4
Let b be ((-2)/(-2))/((-6)/(-54)). Suppose -4*z + b = -5*z - 5*c, -4*z = c - 2. Solve 0 = -4*t - 15 - z for t.
-4
Let g = 3 + -3. Let n = 6 - 3. Solve g = -y - 0 - n for y.
-3
Suppose 0 = v - 3*v + 4*x + 12, 2*v - 2 = -x. Let w = 2 - -1. Suppose 5*m + 4*s = -16, -5 = w*m - v*s - 13. Solve -4*t + 0*t + 16 = m for t.
4
Let k(s) = 9*s**3 - 1. Let m be k(-1). Let y = 13 + m. Solve z + 1 + y = 0 for z.
-4
Let y(v) = -v3 - 5*v2 + 6*v - 6. Let o be y(-6). Let c be (-1)/(-2) + o/(-4). Solve c + 2 = -u for u.
-4