Let f = 0 + 2. Let p = f - 0. Suppose 8 = q + p. Solve 2*k = q*k - 12 for k.
3
Let a(k) = k**2 - 5*k - 1. Let o be a(7). Suppose w = 3*w - 3*b - o, 0 = 4*w + 5*b + 7. Suppose 4*q - w + 0 = 2*s, -5*s + 21 = 3*q. Solve -2*y + 5 = -s*y for y.
-5
Let t(p) = -p3 + 4*p2 - 2*p - 1. Let o be t(2). Let c = -47 - -48. Solve 4*z - o - c = 0 for z.
1
Let c(w) = -2*w - 3. Let g be c(-3). Solve g*i + 1 = 4 for i.
1
Let z be 0-1(1 - 0). Suppose 0*r - 5*r = -10. Solve z = -0*p + r*p for p.
0
Suppose -5*j - 20 = -5*o, -5*j = -4*o + 7 + 4. Solve 4*k = k + o for k.
3
Let z = -5 - -13. Solve -x + 3*x + z = 0 for x.
-4
Let g be (-396)/48 - (-3)/(-4). Let q = -5 - g. Solve 0 = q*s + 7 - 19 for s.
3
Suppose 0 = 5*r - 4*r. Suppose -3*h = 2*h - 10. Solve r = -k + h - 3 for k.
-1
Let d(w) = w**2 + 9*w + 15. Let p be d(-7). Solve -5*s + 4 = -p for s.
1