Suppose -7*x + 2*x = -20. Let k be -1 - (-9 + 3⁄3). Let h(g) = -g - 8. Let m be h(-8). Solve x*c + 23 - k = m for c.
-4
Suppose 0 = -3*m - 21 + 3. Let u = m - -8. Solve y + 1 + u = 0 for y.
-3
Let u be 215⁄20 + (-1)/(-4). Let f(s) = -7*s3 + 2*s2 - 1. Let b be f(1). Let h = u + b. Solve h = -3*t + 2 for t.
-1
Let t(v) = -2*v + 1. Let y be t(-1). Suppose j - 5*n - 63 = -2*j, -5*n - 15 = 0. Solve -y*w = w + j for w.
-4
Let v(y) = y**2 - 3*y. Let r be v(3). Solve -i - 2*i - 3 = r for i.
-1
Let l = -3 + 3. Solve -3*c + 6*c - 3 = l for c.
1
Let j be 4/(4⁄3) - 1. Let z be -3*(1 - j)*3. Solve -4*k + k - z = 0 for k.
-3
Suppose -6 - 3 = -9*z. Solve z = -c + 6 for c.
5
Suppose -5*z = -1 - 24. Solve -f + 0*f - z = 0 for f.
-5
Suppose 0 = 8*o - 46 + 6. Solve -o*b + 27 - 7 = 0 for b.
4