Let i(l) = l**2 - 1. Let h be i(-1). Solve 5*m - 2*m = h for m.
0
Suppose -2*v + 7 - 2 = 3*s, -3*v - 15 = 0. Suppose s*l = -2 + 22. Solve -l = -i - 3*i for i.
1
Let z be 10/(-14) - 2⁄7. Let v be z + (5 - (-1)/(-1)). Suppose 0 = 3*j - 4*j. Solve j = 4*i - v + 11 for i.
-2
Let j be (0 - (-1)/1) + 3. Suppose j*a - 8 = 8. Suppose 0 = 3*m + 2*q - 10, -a*m - 2 - 3 = -q. Solve m = 2*d - 0 - 8 for d.
4
Let s = 7 + -5. Let c = s - -5. Solve c*u = 3*u + 8 for u.
2
Suppose 4 = -14*u + 18*u. Solve -j - 1 = u for j.
-2
Suppose 7*o = 8*o - 5. Solve -o*l = -3*l - 6 for l.
3
Let a(s) = -3*s3 + 5*s2 + 3*s - 6. Let k(m) = -10*m3 + 14*m2 + 10*m - 17. Let b(j) = -7*a(j) + 2*k(j). Let d be b(7). Solve 5*q + d = -14 for q.
-3
Let l(d) = -d3 - 3*d2 - 2*d + 2. Let h = -3 + 2. Let t be 0 + -3 + h + 2. Let f be l(t). Solve 0 = j - f for j.
2
Let d = -76 - -80. Solve 9 = d*l + 25 for l.
-4