Let y(j) = -j - 3. Let s be y(-6). Suppose 0 = 4*k, 4*n + 4*k - 15 = 93. Let m = -7 + n. Solve -s*q - m = q for q.
-5
Suppose -5*u = 5*j - 10, -2*u + 2 = j - 4*u. Suppose 0 = 3*r - a - 15, r + r - j*a - 10 = 0. Solve 0 = -0*k - r*k - 10 for k.
-2
Let a(m) = 2*m**2 - 2*m - 1. Let g be a(2). Solve -9 - g = 3*u for u.
-4
Suppose 4*n - o + 4 = 0, -13*n - 16 = -8*n - 4*o. Solve 16 = -n*g - 4*g for g.
-4
Suppose 3*h + 3 = -9. Let u = h - -16. Suppose -4*f + 21 = -v, 0*f + 5*v = 5*f - 30. Solve u - 32 = f*a for a.
-4
Suppose 2*v + 1 = p - 5, -v - 10 = -4*p. Solve -2*o + 4 = -p for o.
3
Let i(m) = -2*m - 7. Let p be i(-8). Suppose -4*u + 7 = -p. Solve u*h = -12 - 4 for h.
-4
Let b = 11 - 21. Let d be (-12)/b*(1 - -4). Solve d + 3 = -3*q for q.
-3
Let q(u) = -u - 3. Let f be q(-10). Solve 2*x + f + 3 = 0 for x.
-5
Let u(y) = -y + 2. Let c be u(2). Let g = 11 - 10. Let p be g + (1 - 4) + 4. Solve c = n + p*n for n.
0