Suppose 0 = t - 15 - 0. Solve 0 = -4*s + 1 + t for s.
4
Suppose -5*b + 9*b = 8. Suppose b*g = 3*v - 0*v - 5, g = -1. Let q(k) = -k**3 - k + 2. Let m be q(0). Solve -m*f + 7 = -v for f.
4
Let g = 8 + -3. Solve 0*z = -g*z for z.
0
Let d(b) = 4*b**2 - b. Let k be d(1). Suppose n = 3*a + 6, 23 = k*n - 0*a - 4*a. Let m = -4 + 8. Solve 0 = -n*y + m*y + 5 for y.
1
Suppose 4*t - 3*n = 43, 5*t + 0*n + 2*n = 48. Let k be (16⁄32)/(1/t). Let o be (-2*2/(-4))/1. Solve -k*f = -6*f + o for f.
1
Let g = -5 - -14. Solve 3 = -3*s - g for s.
-4
Let o(p) = 2*p + 1. Let n be o(2). Suppose -3*c + 7 + 2 = 0. Solve 0 = c*l - 2 + n for l.
-1
Let q(w) = 6*w - 3. Let o be q(1). Solve -o*a = -2*a + 2 for a.
-2
Let h = -6 - -8. Let n be -1*(h + 2 + -8). Solve -12 = 4*a - n for a.
-2
Suppose 7*v + 5*v - 24 = 0. Solve -2*s + s = v for s.
-2