Let q(j) = j - 1. Let l be q(4). Solve a = 2*a + l for a.
-3
Suppose 3 = 2*n - 11. Let c(d) = d3 - 7*d2 + d - 3. Let m be c(n). Solve v = 2*v - m for v.
4
Suppose c + 24 = 2*d, 0 = -4*d + 3*d - 3*c + 5. Solve 3*b = -d - 4 for b.
-5
Suppose 15*u - 9*u - 18 = 0. Solve c + u = -1 for c.
-4
Let r = -7 - -9. Suppose 2 = i - r. Solve f - 15 = i*f for f.
-5
Let s be -12-1 - -4. Suppose -4*t = -0*t. Solve t = 5*q - s*q + 5 for q.
5
Let y(p) = 2*p - 14 + 0*p + 0*p. Let u be y(12). Solve 0*k + u = -2*k for k.
-5
Let x be 2/(0 + 5⁄40). Solve -4*u + 4 = x for u.
-3
Let w = 74 - 53. Suppose 0 = -3*b + 3*t + w, 10 + 12 = 4*b + 2*t. Solve -b = -4*o - 2 for o.
1
Let d(z) be the second derivative of -z3⁄3 - z2 + 4*z. Let a be d(-1). Solve -o - o = a for o.
0