Suppose o = -3*z + 2 - 5, -2*z = o + 1. Solve 12*l = 15*l - o for l.
1
Suppose 0*p + 3*p = 0. Let n be (2 + -1 - p) + 0. Solve -6 = -5*h - n for h.
1
Let j = -5 - -5. Let t = 3 + j. Solve t - 1 = 2*w for w.
1
Suppose -5*b - 15 = -4*k, -k + 3*b + b + 12 = 0. Let d be (-12)/(-8) - 1/(-2). Solve k*p = -p - d for p.
-2
Suppose 5*m + 3 = 28. Suppose -z - 1 = -m. Solve 4*u + z = 2*u for u.
-2
Let d be 2*((-2)/(-16) - 44/(-32)). Solve 2*y - 25 = -d*y for y.
5
Let y(s) = 4*s + 4. Let r be y(-1). Solve -g + r*g = 0 for g.
0
Let y(g) be the first derivative of g**2⁄2 + 30*g - 3. Let h be y(0). Suppose 0*m = 3*m - h. Solve r = 3*r - m for r.
5
Let m(d) = -d3 - d2. Let p be m(-1). Let k be 0 - p - (0 - 4). Solve k*q + 0*q + 4 = 0 for q.
-1
Suppose -3*q + 8 + 4 = 0. Let s = q - 3. Suppose 0*p - s = -4*p - 3*j, 3*j + 15 = 0. Solve p = -f - 0 for f.
-4