Let k be -1 + (14 - 2)/3. Suppose 0 = -k*j - j. Suppose j*t + 12 = 2*t. Solve 0 = t*v - v + 15 for v.
-3
Let c(k) = k**3 - 4*k + 3. Let f be c(2). Suppose -f*r = -2*r. Solve -5*w - 11 - 4 = r for w.
-3
Let t be ((-6)/(-3) - 1)*4 + 2. Solve -t - 14 = -5*v for v.
4
Let b be (6⁄15)/(-3 - (-32)/10). Let n(z) = z. Let l be n(5). Solve -i = -b*i - l for i.
-5
Let f be (7 + -4)/(2⁄12). Solve -2 - f = -4*k for k.
5
Let k = 114 + -110. Solve -4*j = 4 + k for j.
-2
Let t(n) = 5*n3 + 3*n2 - 9*n + 18. Let l(x) = -3*x3 - 2*x2 + 5*x - 9. Let d(j) = 7*l(j) + 4*t(j). Let m be d(0). Solve -15 = 4*f - m*f for f.
3
Let t(m) = -3*m - 6. Let q be t(-2). Solve q + 4 = -4*k for k.
-1
Let g(w) = -3 + 3*w + 0*w + 2*w. Let s be g(4). Let b = 25 - 22. Solve -b = -4*h + s for h.
5
Let t = -18 - -15. Let o = 13 + -8. Let w = t + o. Solve w = 2*i - 0*i for i.
1