Let c = 5 - 1. Suppose 1 = -5*n - 0*q - q, 2*q = -c*n - 2. Solve 4*i - 3*i = n for i.
0
Let q = 6 + -3. Suppose -4*g = -q*v + 25, -4*g - g = 2*v + 14. Solve 5*s - 23 + v = 0 for s.
4
Let x(q) = -q - 8. Let c be x(7). Let w be ((-4)/(-10))/((-3)/c). Let l be w/(1*2⁄3). Solve 1 + 5 = l*i for i.
2
Let r = 40 + -38. Solve r*z = -0*z - 8 for z.
-4
Let v(s) = -s + 6. Suppose -3*d + d - 10 = -w, -2 = -2*w - 2*d. Let y be v(w). Suppose -6*u = -y*u - 16. Solve -1 = -3*x - u for x.
-1
Let z(n) = -n3 + 5*n2 + 7*n - 1. Let q be (-78)/(-14) + 3⁄7. Let d be z(q). Let o = -17 - -29. Solve d*j + o = j for j.
-3
Let a = 27 + -24. Solve -2*v + a*v + 3 = 0 for v.
-3
Let v(k) = 5 - 1 + 2 - k**2 + 5*k - 3. Let c be v(5). Solve -c*w - 5 = 10 for w.
-5
Suppose 2*r + 80 = 6*r. Solve -3*l - l = r for l.
-5
Let q(p) be the first derivative of -p4⁄4 + 5*p3⁄3 + 5*p**2⁄2 + 6*p + 3. Let d be q(6). Solve 0*y - 2*y + 8 = d for y.
4