Let t = -50 - -50. Solve -c + 2 = -t for c.
2
Let w(d) = 2 - 3*d2 - 3*d - 3*d + 4*d2. Let r be w(6). Solve -r*s + 5 = -s for s.
5
Suppose 0 = -r - 0*r - 4. Let k be 4 - 3/(-12)*r. Solve 3*i = -0*i - k for i.
-1
Let x(m) = -5*m - 1. Let z be x(-1). Suppose 4*o = -f - 8, -z*f + 8 = 3*o + 1. Let p be (-31)/(-4) + o/(-12). Solve -2*y + 0*y = -p for y.
4
Let h be (1 - 13)*5/(-10). Let f be 1/(0 + 2/h). Solve f*y = 6 - 0 for y.
2
Let t be 8⁄3 + (-4)/(-12). Suppose 0 = -2*x + t*x. Solve x*l - l = 0 for l.
0
Let o = 0 - -5. Suppose d = 5*k, -o*k - 16 = -4*d - k. Suppose 2*n = d*n - 6. Solve 4 = n*q - 4 for q.
4
Let m(j) = j3 + 9*j2 + 7*j + 3. Let d be m(-8). Solve 0 = 3*u + 1 + d for u.
-4
Suppose 4*j + 40 = 2*n, 5*n - 4*j = j + 80. Suppose -r - n = 2*r. Let u = r + 4. Solve -y + 3 = -u*y for y.
3
Suppose -3*g + 44 = -g. Suppose 5*n = 3*n + g. Solve 0 = 5*s - 14 - n for s.
5