Suppose 4*z - 11 = 5. Let q = z - 10. Let a be 2/q - (-7)/3. Solve 3 = j + a*j for j.
1
Suppose 6*f = 4*f - 5*s + 2, 2*f = 2*s + 30. Let q be 5 + -1 + 0 + -1. Suppose 6*u = u + 15, 3*g + 3*u = 15. Solve -q*d - g = -f for d.
3
Let h(j) = 3*j + 5 - 7 - 2*j - j3 + 3*j2. Let q be h(3). Solve -2 = -c + q for c.
3
Suppose -7*i = -2*i - 15. Suppose -5*q - 4*k - 8 = -2*q, -i*k = 15. Let s = 9 + q. Solve s - 5 = -4*n for n.
-2
Let r be (((-35)/(-10) - 4)*0)/1. Solve r = -3*c + 9 for c.
3
Let c(m) = -m + 3. Let t be 21⁄35*(5 + 0). Let j be c(t). Suppose 4 = -2*q - j*q + 3*u, -u = -2*q + 4. Solve 0 = q*g - g for g.
0
Suppose 0 = 9*g - 60 - 3. Solve -g*i = -5*i for i.
0
Let n = 1 + -4. Let v = n - -11. Solve 2*k + v = -2 for k.
-5
Let z = 5 + -7. Let l = z - -4. Let s = 0 + 3. Solve 0 = -l*f - 5 - s for f.
-4
Suppose 4*t - 28 = -4*c, -8*c = -3*c + t - 31. Solve -2*z = 10 - c for z.
-2