Let q(j) = j + 7. Let a be q(-5). Let z(n) = 2*n - 3. Let f be z(a). Solve 0*c + c = f for c.
1
Let w(o) = -4*o**2 - 15*o + 8. Let a be w(-4). Solve a*t = 5*t + 1 for t.
-1
Suppose 0 = 5*t - 0*l + 2*l - 30, t = l - 1. Suppose -t*b - 3*v - 10 = -37, -15 = -3*v. Let i be b - (0 + 0) - 0. Solve o = i*o for o.
0
Let i = 16 - 13. Solve -i*a - 2 = -a for a.
-1
Let m(y) = -3*y2 - 9*y + 2. Let b(p) = 4*p2 + 9*p - 3. Let x© = -2*b© - 3*m©. Let f be x(-9). Suppose w = -1 + 3. Solve -w*q - 4 - 6 = f for q.
-5
Let t(k) = k3 + 8*k2 + 7*k + 6. Let l be t(-7). Let x = 1 - -3. Solve -x*o - l = -2 for o.
-1
Let q = -641 - -648. Let o be -2 + 10 + 2*1. Solve -o = q*b - 2*b for b.
-2
Let i = 3 + -1. Suppose -10 = -i*t - 3*t. Solve 0 = -l + t - 1 for l.
1
Let u = -11 - -7. Let y be u/(-22) - (-2)/(-11). Solve -d = -y*d - 1 for d.
1
Let k be (-9)/(-6) + (28/(-8))/(-7). Solve -j - 12 = k*j for j.
-4