Let h be 1/(-2)*-4 - 1. Solve 0 = -4*v - h + 5 for v.
1
Let p = 131 + -130. Suppose a + 5 = 2*a. Solve a = -q + p for q.
-4
Let a(l) be the third derivative of l6⁄120 + l5⁄30 - l4⁄12 + 2*l3⁄3 + 12*l**2. Let x be a(-3). Let m = 5 - 3. Solve v - x = m for v.
3
Let k(y) = 4*y - 3. Let r be k(2). Suppose -5*g = -x - 4, -r*x - g - 43 = -3*g. Let v = -4 - x. Solve 0 = -v*c - 2 + 17 for c.
3
Let d be (-2)/(-7) - 192/(-14). Let g = 14 - d. Solve g = -3*w - 4 - 11 for w.
-5
Suppose -3 = 5*a - 3*n - 12, 0 = -4*a - n - 3. Suppose 4*p - 40 + 0 = a. Suppose -z + p = z. Solve 3 = -2*l - z for l.
-4
Suppose -5*q = -5*t + 35, -16 = -3t - t. Let w be 1/q(-1 + 1). Suppose -12 + w = -d. Solve 5*l = l - d for l.
-3
Suppose 9 - 34 = -5*i. Solve -3*g = -i + 2 for g.
1
Let p(t) = t3 - 14*t2 + 14*t - 12. Let s be p(13). Solve -2*c = 9 - s for c.
-4
Suppose 3*v = 4*u - 20, 4*u = 3*v - 5*v. Solve -u*j = -0*j + 2 for j.
-1