Let q(l) = -l**2 - l + 2. Let v be q(-2). Solve -6 = -2*s - v*s for s.
3
Let m be 5⁄2*66⁄15 + -3. Solve -m - 7 = -3*f for f.
5
Suppose 0 = j - 18 + 6. Let i = -7 + j. Solve -i*a = -4*a for a.
0
Let a(i) = -i + 2. Let w be a(8). Let q = w + 6. Solve q + 20 = 4*r for r.
5
Let y = -8 - -11. Suppose f = y*f - 4. Solve -5 = p - f for p.
-3
Let y be 73⁄15 + 11 + (-1141)/105. Let r be ((-6)/(-8))/(2⁄8). Solve -r*o = -2*o + y for o.
-5
Let n = -11 + 5. Let k(f) = -2*f2 - 5*f + 1. Let j(a) = a2 - a - 1. Let r(l) = j(l) + k(l). Let q be r(n). Solve -3*c + 0 - 3 = q for c.
-1
Let f be 18 + (-1 - 2) + 0. Let i be (-305)/f + (-2)/(-6). Let w be ((-12)/(-5))/((-6)/i). Solve -w - 4 = 3*r for r.
-4
Let z = -9 - -8. Let s = z + 10. Let f = s + -7. Solve -q + 0 = -f for q.
2
Let l = 4 - -8. Suppose -l = 2*o - 4*c, -6 = -c - 2. Solve -o = -0*j - j for j.
2