Let h be (2 + -1)-2-2. Suppose h = -7*g + 3*g. Let v = 6 + g. Solve v*x + 3 - 8 = 0 for x.
1
Let k = 6 + -10. Let i be 2/(-5) - k/10. Solve j = -i*j for j.
0
Let u = -13 + 15. Suppose u*f - 24 = -f. Solve 2 = -2*b + f for b.
3
Let o be (-5 - -7)/(1 - 0). Solve o*a + 0*a = -4 for a.
-2
Let h be (1 - (-5)/(-1)) + (-84)/(-12). Solve 0*v + h = -3*v for v.
-1
Let w be 4⁄14 - 226⁄7. Let k(s) = 13*s + 1. Let p be k(-1). Let y be 2⁄6 + w/p. Solve y*n = 2 - 5 for n.
-1
Let c(b) = -b - 2. Let y be c(-4). Suppose -t + 4*t = 6. Suppose 1 + t = s. Solve -s*z + z + y = 0 for z.
1
Suppose -5*i = -7i. Let n be i((-2)/3)/2. Solve n = 3*f - 6 + 3 for f.
1
Suppose -4*d - 3 = -31. Let z = d - 4. Let y = -3 + 3. Solve y - z = -3*n for n.
1
Let v(y) = -y**2 - 2*y + 3. Let p be v(-2). Suppose -u - 4*c = 10 - 38, 2*u - 36 = -4*c. Suppose 0 = -2*h + 5*m + 4, -3*h = m - 31 + u. Solve -x - p = -h for x.
4