Let o be ((0 - 0) + 0)/(-1). Let z = 2 - o. Suppose 2*s - z = 2. Solve 0 = s*r + 1 - 7 for r.
3
Suppose -5*c = 4*z - 7, -c - 21 = -5*z - 5. Let r = z + -3. Suppose 2*l - 6 = 2. Solve r*v - l*v = 0 for v.
0
Suppose 3*f + 6*x - 15 = 3*x, 3*f - 22 = 4*x. Let c = f - 3. Suppose q - 7 = t - 4*q, 0 = -c*q + 6. Solve -t*j + 3 + 0 = 0 for j.
1
Let h = 2 + -2. Suppose -2*g = -3*j + 3*g - 14, 3*j + g - 10 = h. Solve -5*n + 7 = j for n.
1
Let w(h) = 5*h3 + 4*h2 - 6*h - 5. Let n be w(-5). Let g be (-4)/14 + n/(-35). Suppose r - 6 = -m, g = 3*m - 2*r + 4*r. Solve m*d + 3*d - 10 = 0 for d.
2
Let i(x) = -2*x - 3. Let j be i(-6). Solve -2*q - j = q for q.
-3
Let k(n) = -n. Let j be (-1 + 1)/(2 + 0). Let i be k(j). Suppose -3*d - 1 + 4 = i. Solve -u = d - 3 for u.
2
Let d = 54 - 33. Let h = -15 + d. Solve 4*k = 2*k - h for k.
-3
Suppose 5*x - 17 = 48. Solve -18*r + x*r + 20 = 0 for r.
4
Let g = 23 - 21. Solve -2*r - g = 4 for r.
-3