Suppose 3*v = 14 - 2. Let r(q) = 22*q + 1. Let u(w) = -w. Let n(m) = -r(m) - 6*u(m). Let l be n(-1). Solve 0 = v*c + l + 1 for c.
-4
Let a(o) = 2*o - 5. Let q be a(5). Let n(f) = -f + 6. Let c be n(q). Let v = 4 + c. Solve -2*k = 3*k - v for k.
1
Suppose 0 = -7*s + 3*s + 24. Suppose s*l - i = 3*l + 14, -3*l = 3*i - 30. Solve -2*g = -l*g - 12 for g.
-3
Let r be (1*2)/(8⁄4). Suppose 4*k + 5 = 6*k + 5*b, -b + r = -k. Suppose -4*a - u + 15 = k, 0 = 3*a - a - u - 9. Solve -5 + 25 = -a*p for p.
-5
Suppose 0 = 3*b + c - 27, -c - 2*c - 23 = -4*b. Let u(n) = n**2 - 6*n - 2. Let w be u(7). Solve -w*a + b = -a for a.
2
Let b(h) be the third derivative of h6⁄120 - h5⁄12 - h4⁄8 - h3 - 2*h**2. Let y be b(6). Let l be 0/(0 - 2)*1. Solve l = -3*d - d - y for d.
-3
Let d = 53 - 43. Solve -d - 2 = 3*o for o.
-4
Suppose -5*g - 207 + 87 = 0. Let x be (2/(-3))/(16/g). Let u(i) = -i3 + 4*i2 + 4*i + 5. Let b be u(5). Solve -s = -b + x for s.
-1
Suppose 2 - 13 = -2*c + u, 0 = 2*c + u - 1. Suppose 0 = 4*y - y + h - 6, c*y - 6 = 3*h. Solve -1 + y = l for l.
1
Suppose 4*g = 8*c - 3*c + 28, 5*c = -g - 18. Suppose 3*s = -g*s + 20. Solve 3*y = -2 - s for y.
-2