Let x = 1 - -5. Let k = 0 + x. Solve k = -3*y - 3 for y.
-3
Let a = -17 + 9. Let p = -5 - a. Let o = 3 - p. Solve w + 2*w - 12 = o for w.
4
Let v be (-5 + -20)*(-6)/10. Suppose -v + 3 = -2*c. Solve -o = o - c for o.
3
Suppose -3*c = s - 1 - 13, 0 = 3*c - 4*s - 4. Suppose -4*i = -0*i + c*u - 20, -6 = -2*u. Solve 3*b + 7 = -i for b.
-3
Suppose -5o - 3 = 2. Let h = -1 - o. Let u be (5⁄1)/(-5)-10. Solve -2*f + h*f + u = 0 for f.
5
Suppose -2*n - 8 = -3*c, 71 - 21 = 5*c + 4*n. Suppose -i - c = -3*i. Suppose -l - i*l = -32. Solve 3*j = 7*j - l for j.
2
Let z be 7⁄3 - (-2)/(-6). Solve -z*w + 4*w + 2 = 0 for w.
-1
Let s be ((-28)/8)/7*-14. Let g(i) = i**2 + 1. Let p be g(-2). Suppose -5*v - f + 16 = 0, 4*v - p*f - s = -0*f. Solve 0 = -j + v*j + 10 for j.
-5
Let u(t) = -t3 - 12*t2 - 12*t - 9. Let p be u(-11). Suppose -p*o + 3 = -1. Solve 0 = -o*c - c + 6 for c.
2
Suppose o = -4*o + 25. Let z = -3 + o. Suppose -i = -z*i + 4. Solve -i*w = w for w.
0