Let y be (1 - 4)/3*-3. Suppose 0 = y*h + 4 + 2. Let u be -1 + -8*1/h. Solve -u*v + 12 + 0 = 0 for v.
4
Let s(f) = 8*f**2 + f + 1. Let p be s(-1). Solve p = -5*w + 3*w for w.
-4
Suppose -8 = 3*m + m. Let z be (-1)/m + (-1)/2. Solve z*k = -2*k for k.
0
Let n = 143 + -137. Solve -n*v = -11*v for v.
0
Let u be (-2 - -4)/4*0. Solve u = p + 2 for p.
-2
Suppose 0*l - 40 = -4l. Let z be 8⁄20 - 34/l. Let v be 5 + (6 + z)-1. Solve 3 = -v*w + 11 for w.
4
Let i = 41 - 27. Let k(b) = b - 14. Let n be k(i). Solve n*y = -y + 1 for y.
1
Let r = 4 + -2. Let m be ((-12)/5 - -2)*5. Let o = m + r. Solve o = -0*f + 4*f for f.
0
Let w(n) = -n + 9. Let x be w(5). Solve 0 = -3*y + 5*y - x for y.
2
Let j(w) = w3 + 6*w2 + 3*w - 2. Let b be j(-3). Suppose -2*t = 2*t - b, 2*t = -n + 13. Suppose 3*p = -l + 2, 0*l + n*p = 3*l - 6. Solve 0*o = l*o + 2 for o.
-1