Let v be 12⁄30 - (-2)/(-5). Let p(d) be the third derivative of 5*d4⁄24 - d3⁄6 + d**2. Let z be p(1). Solve z = o - v for o.
4
Suppose -b + 9 = 2*b. Let k be 3 + -2 + 0/(-2). Solve b*n - 10 = -k for n.
3
Let f = -8 + 15. Solve 2*q + f = 3 for q.
-2
Let r = 91 + -87. Solve r + 8 = 4*t for t.
3
Suppose -12 = 4*r + 16. Let c = -7 - r. Solve 6 = 2*n - c*n for n.
3
Suppose 32 = 6*c + 2*c. Solve -t - c = -0*t for t.
-4
Suppose 0*x + 12 = 4*x. Let q be 2/(-4) - 42/(-12). Suppose 6*o = q*o. Solve o = x*v + v for v.
0
Let k = -7 + 10. Let j = 3 - -13. Suppose 3*f - j = 11. Solve -6*r = -k*r - f for r.
3
Suppose -8 + 4 = -4*z. Solve 4 = j + z for j.
3
Let i(y) = 5*y. Let v be i(1). Let w(g) = -g. Let l be w(-4). Suppose x + 1 + 7 = l*m, 0 = 2*x. Solve -4*k = -v*k - m for k.
-2