Suppose 7*c - 3*c = 100. Let f be (-6)/(-5)*c/10. Solve f*j = -1 - 14 for j.
-5
Let p be -2 + (0 - (-15)/3). Let n = 7 - p. Suppose t + t - n = 0. Solve 4 + 0 = -t*r for r.
-2
Let q(s) = s3 + 5*s2 + 4*s + 1. Suppose -2*m = -6*m + 20, 0 = 3*d - m + 17. Let y be q(d). Suppose -3*n + y = -5. Solve 3*w + n*w = 10 for w.
2
Let s(z) = z3 - 2*z2 + 3*z. Let m be s(2). Suppose 2*n - m = -n. Solve 0 = -r + n*r - 4 for r.
4
Let f = -5 - -10. Suppose 4*q + 4*i - 2*i - 16 = 0, -q = -f*i - 15. Solve -q*l - 6 = -21 for l.
3
Suppose 15*u - 44 = 4*u. Solve t + u = 8 for t.
4
Suppose 2*h + 2*h - 12 = 0. Suppose -2*k + 28 = 4*l, k + 0*k = -h*l + 14. Solve -5*r + 6 = -k for r.
4
Let u = -28 - -38. Solve -5*k = -u - 0 for k.
2
Let w(l) = -l + 2. Let m be w(2). Suppose -2*k + 7*k = m. Suppose -p = 4*p + 3*r, 4*r = 2*p - 26. Solve k = -p*i + 3 for i.
1
Let z(k) = k3 + 2*k2. Let b be z(-2). Let s be -1*(0 - -1) + -2. Let m be ((-1)/3)/(s/27). Solve b = -m*j - j + 12 for j.
3