Let k = -5 - -7. Let l be 1 - (-2 - (2 - k)). Solve 0 = z - l + 6 for z.
-3
Let k(v) = v - 3. Let h be k(5). Suppose 3*t - 1 = h. Solve s - 3 - t = 0 for s.
4
Suppose -12 = 4*y, -2*o - 2*y = 7 - 27. Suppose -a + 4*a - 4*b = o, 3*a - 14 = 5*b. Solve -2 = c - a*c for c.
1
Let p(v) = -2*v**2 - 18*v + 20. Let x be p(-10). Solve x = 3*q + q for q.
0
Suppose -4*i = -2*o - i - 2, -i = -o. Solve -3*l = -o + 14 for l.
-4
Suppose -9 - 7 = 8*r. Let u(v) = v**2 + 2*v - 1. Let w be u(2). Let s be 6⁄2 + w + r. Solve s + 2 = 2*t for t.
5
Let u be (3 - 4)/((-1)/(-5)). Let s(d) = d3 + 6*d2 + 5*d + 2. Let b be s(u). Solve 2*y + b = -0 for y.
-1
Suppose -3*f = 3*p, 6*f = -p + 3*f + 6. Let q be (p - (-46 + -1))/2. Solve -5*y - 7 = -q for y.
3
Let f = 142 + -140. Solve f*p + 1 + 9 = 0 for p.
-5
Suppose 5*z - 4 = 2*q - q, 0 = -z + 1. Let d(j) = j**2 + j - 4 + 1 + q. Let x be d(2). Solve 28 = x*b + 8 for b.
5