Let n(v) be the second derivative of -v4⁄12 + 7*v3⁄6 - v**2 - v. Let k be n(6). Suppose 0 = -3*i - 3*j + 3, 3*j = k*i - 2*j - 4. Solve i + 5 = 2*h for h.
3
Let z(q) = -6*q + 23. Let y be z(3). Solve 3*a - y*a = 0 for a.
0
Let j(o) = -2*o - 6. Let x be j(-4). Suppose -2*d = x - 12. Let z(n) = n**2 + 2*n - 1. Let v be z(-3). Solve d = -3*u + v*u for u.
-5
Suppose 3*n = 6*g - 11*g + 14, 2*g + 4*n = 0. Solve -2*w + g + 2 = 0 for w.
3
Let w be (-2)/(-6)*-3 - 3/(-3). Solve h + 3 = -w for h.
-3
Let i = -5 + 4. Let u = i + 12. Let l = -7 + u. Solve 9 - 1 = l*k for k.
2
Let d = 5 + -2. Suppose -d*o = -2*o - 2. Suppose -5*s - 3*q - 10 = 0, 4*q + 21 = -o*s + 3. Solve -1 = -2*v + s for v.
1
Let o(k) = k**2 + 10*k - 23. Let m be o(-13). Solve -2*v + 6*v + m = 0 for v.
-4
Suppose -4*i - 3*g + 24 = 0, -g - 3 = -3*i + 2. Solve i*r + 0*r + 15 = 0 for r.
-5
Let g = 3 - 2. Let w = g + 2. Solve -p + w = -0 for p.
3