Let v = 7 + -1. Solve 2*j + 4 = v*j for j.
1
Suppose 0 = 4*x - 3 - 9. Suppose -i = 3*i. Suppose 3*o + 3 = -5*j + 12, -2*j = -o + 3. Solve -f + i - x = j for f.
-3
Suppose 2 = -2*r, -11 = -2*z + r + 4*r. Suppose -5*m = 0, -z*b + 7*b + 4*m - 40 = 0. Suppose 5*n - 5 = 2*f + b, 4*f - 15 = -5*n. Solve -8 = -2*s - f*s for s.
4
Let u be 111⁄15 + 2/(-5). Solve u = 3*y + 1 for y.
2
Suppose 2*l + 3*g = -0*g + 12, g - 4 = 0. Suppose 12 = 3*r, l = -4*a + 2*r - 7*r + 20. Solve 0 = -a*j + 2*j for j.
0
Let y be (-252)/(-20) - (-4)/10. Suppose 0 = v - 4*l + y, -4*v - l + 20 = l. Solve 0 = -v*w - 3 - 6 for w.
-3
Let t(a) = 4*a**2 + 24*a + 2. Let k be t(-6). Solve -4*w - k + 10 = 0 for w.
2
Suppose 0 = -h - 0 + 2. Let m be (h/(-3))/(2/(-9)). Solve -3 = m*a - 2*a for a.
-3
Suppose -4j - j = 10. Let p be (-3)/(j/(-10)-3). Solve -5 - p = 2*b for b.
-5
Let o(u) = 3*u2 - u + 1. Let w be o(1). Let y(x) = x3 + 3*x**2 + x + 1. Let m be y(-2). Suppose 16 = -m*r + 7*r. Solve w*h = r*h + 2 for h.
-2