Let t = -4 - -6. Let s(z) = -5 + z + 5 + 8. Let i be s(-7). Solve -t*y + y + i = 0 for y.
1
Let u(d) = -6*d + 1 + 1 - d**2 - 6. Let r be u(-4). Solve -r*o = -12 - 0 for o.
3
Let g(z) = 2*z - 14. Let v be g(12). Solve 0 = -2*o - v for o.
-5
Suppose 4*d + d - 15 = 5*r, 4*d = -2*r + 12. Suppose 3*a = 4 + 2, 2*a + 20 = d*o. Solve -3*w = -w + o for w.
-4
Suppose 16 = 5*c - n, -c = 5*n - 30 + 6. Suppose 3*x = 2*x + 2. Let h = x - -1. Solve 0 = j - h*j + c for j.
2
Let a = -1 - -1. Suppose 0 = 5*q, -14 = -5*m - 4*q + 6. Suppose a = 5*i - 4*w - m, i + 5*w + 5 = 3*i. Solve n + i = 2 for n.
2
Let b(y) = -y + 14. Let s be b(11). Suppose -s*n + 8 = -16. Solve -2*z + n = 2*z for z.
2
Suppose 16*g - 15*g = 2, g = 4*u - 78. Solve 14*v = 9*v - u for v.
-4
Let s(k) = k + 8. Let a = 13 - 17. Let f be s(a). Solve 4 + 12 = -f*w for w.
-4
Suppose -9 - 3 = -4*b. Suppose b = o - 1. Suppose o = j + 2. Solve -j*g - 25 = -7*g for g.
5