Let q = 12 + -10. Let u be 2⁄6 - 11/(-3). Let x = u - q. Solve -4 = -x*p - 0 for p.
2
Let l(j) = j + 17. Let v be l(-17). Solve -4*u + v - 4 = 0 for u.
-1
Let d(j) = -j3 - j2 - 2. Let i be d(-2). Let x = i - 1. Let u = x + -1. Solve q + 3*q = u for q.
0
Suppose 0 = -5*l + 126 + 84. Let k be l/35 - 2⁄10. Solve -2*d - k = 5 for d.
-3
Let l(f) = -f3 + 9*f2 - 11*f - 18. Let b be l(7). Solve b = -3*g - 9 for g.
-4
Let f(s) = 4*s - 4. Let p(b) = 4*b - 5. Let n(u) = -6*f(u) + 5*p(u). Let v be n(-4). Suppose -2*q = q - v. Solve -q*t - 6 = -2*t for t.
-2
Let x be 6⁄21 - (-33)/7. Let a be 11 + 3 + -1 + -2. Let w = a - 11. Solve 0 = s - x - w for s.
5
Let x = -6 - -6. Let d be 4 + x + 1 + 1. Solve d*n - 5*n = 0 for n.
0
Let u(i) = 21*i**2 - 1. Let d be u(-1). Solve b = -3*b - d for b.
-5
Let p be 1/(-2) + 2/(0 - -4). Solve -4*i + 12 + 8 = p for i.
5