Let d = 31 - 14. Let p = d - 11. Solve -2*v = p + 2 for v.
-4
Let j be (-1)/1*-3 - 1. Let f(m) = m**2 - 4*m - 1. Let k be f(2). Let b be (4 - 6)*k/j. Solve -b*d + 2*d = -9 for d.
3
Suppose 9 - 3 = 2*l. Suppose 3*u - k = -16, k + 4*k = -25. Let j be -4 + 3 + u/(-1). Solve j = 3*c - l for c.
3
Let b(a) = 2*a2 - 3*a - 4. Let k(m) = 2*m2 - 4*m + 3. Suppose 3*p = -0*p + 6. Let o be k(p). Let r be b(o). Solve 0*z = 5*z - r for z.
1
Suppose 6*d - 20 = 2*d. Let u = 2 + -2. Suppose 0 = -4*a - u*a. Solve -d*h - 26 + 11 = a for h.
-3
Suppose 0 = -10*a + 7*a + 9. Suppose s + 19 = -2*j, -3*j = -s - 0*j + 6. Let w be (s/6)/(a/(-4)). Solve w*x = -0*x for x.
0
Suppose 5*r - 1 = 4*t, 2*r - 3*r - 2 = -3*t. Let d(g) = 3*g3 + g2 - g + 1. Let l be d(t). Suppose -l = n - 2*n. Solve 0 = 2*b - 6 + n for b.
1
Suppose 4 = x - 0*x. Suppose -x*w = -8 - 8. Solve 0 = v - w*v for v.
0
Let i be (1 + (-3)/6)/(2⁄12). Suppose -5 = -3*m + 19. Solve -m*v = -i*v - 20 for v.
4
Let b(u) = -3*u**2 + 18*u. Let j be b(6). Solve -3*i = -j*i - 3 for i.
1