Let a = -45 - -61. Solve 0 = s + 3*s - a for s.
4
Let b = -56 + 78. Let a = b - 20. Solve a + 1 = -t for t.
-3
Suppose -2 + 4 = 4*m - 2*b, 4*b = 3*m - 4. Let l be 1 + 1 + (0 - 2). Solve l*s + 2*s - 10 = m for s.
5
Let f(s) = 3*s - 6. Let t be f(3). Solve -o + t = -1 for o.
4
Suppose -3*d = m - 7, 5*m + 4*d - 24 = -0*d. Suppose -4*q + m = k - 0, 3*k + 5*q - 5 = 0. Solve 2*p = -k*p - 6 for p.
-3
Let d = 12 - -1. Suppose d*m = 12*m + 5. Let r(p) = p**2 - 6*p + 5. Let y be r(5). Solve m*k = -y*k for k.
0
Let v(t) = -t + 3. Let w be v(0). Let f be (1*-4 - w)/1. Let b = 15 + f. Solve 2 = 2*j + b for j.
-3
Suppose 3*k = 1 + 2. Let v = -1 - k. Let b = v - -3. Solve -3*x - 11 = b for x.
-4
Suppose f = 3*f - 40. Suppose 5*p - 2 + 12 = 2*k, 5*p + 25 = 5*k. Suppose -k*h = 5*m + 5, -3*h - 7 + 2 = 2*m. Solve f = -m*t + 6*t for t.
5
Suppose 0 = 2*l + l. Solve -2*t + l = 2 for t.
-1