Let v be 3/((-2)/(8/(-6))). Let q(x) = x2 + 6*x + 1. Let z(m) = -m3 + 3*m**2 + 3*m - 2. Let w be z(4). Let s be q(w). Solve -t + v*t = s for t.
1
Suppose 0*a + 3*a - 12 = 0, 4*z + 4*a = 16. Suppose z = 2*b - 0*b. Solve b = -g - 3 + 1 for g.
-2
Suppose -4*q + 0*q + 28 = 0. Let c = q - 7. Solve c = -0*k + 4*k + 16 for k.
-4
Suppose z = -5 + 9. Suppose -z*k = 7 - 39. Suppose -5*n + 2 + 1 = 3*l, -l + k = 4*n. Solve 12 = -n*v - 0 for v.
-4
Let b(i) = -i - 1. Let g be b(-4). Suppose -g*a - 2*a = -25. Solve -15 + a = 2*p for p.
-5
Let l(o) = -4*o - 3. Let y be l(-2). Solve y*b - 5 + 25 = 0 for b.
-4
Let w(g) = 5*g - 16. Let m be w(7). Suppose 0*f - 22 = -f + 4*s, 2*f - m = 3*s. Solve 5*t = f*t for t.
0
Suppose -2*w - 3*w = -3*m + 10, -25 = -4*m - 5*w. Let y be 0/(5/((-15)/9)). Suppose 0 = -2*t - y + 22. Solve -m*s + 31 = t for s.
4
Suppose 3*l - 9 = 2*v, -2*v + 16 = l - 7*v. Solve l = -3*z - 2 for z.
-1
Suppose -4*j - 20 = z, 0 = 2*z + z - 12. Let s be ((-100)/j)/(18⁄27). Solve -9 = -4*x - s for x.
-4