Let x(v) = v**2 + v - 1. Let z be x(-2). Let u be (3 - 5) + 2/z. Solve u = 3*o - 6*o + 15 for o.
5
Let o(f) = -f + 6. Let j be o(3). Solve j*z = 5*z - 4 for z.
2
Suppose -j + 0*y = -4*y - 5, 2*j + 3*y = 10. Solve j*g = g for g.
0
Let c(a) be the third derivative of -5*a4⁄24 + a3⁄6 - 4*a**2. Let s be c(-1). Solve -5*f - s = 4 for f.
-2
Suppose -4*o + o + 6 = 0. Let n = o + 0. Suppose 5*u - 87 = -4*a, -3*u - n*a + 0*a = -51. Solve -t = -4*t + u for t.
5
Let q(j) = -60*j - 3. Let a be q(-2). Suppose -u + a = 2*u. Suppose 0*x + u = 3*x. Solve 4*v - 3 = x for v.
4
Let s be (-27)/(-9) + 0 + 0. Let y be 1 - (-6 + 3 + 1). Solve -s*n + y = 12 for n.
-3
Let t(o) = -o3 - 5*o2 + 4*o + 3. Let g be t(-6). Solve 7*v = 2*v - g for v.
-3
Suppose -i = -2 - 2. Suppose -5*a - 4*f = -21, 0 = 2*a + 3*a - 5*f - 30. Suppose -3*x = -a*x. Solve v - i*v = x for v.
0
Let b = 17 - 11. Suppose -b*t + 7 = -t + z, 5*t - 5*z = 25. Solve -h = h - t for h.
1