Suppose 0 = 2*k + g - 7, 0 = 2*k + k + 3*g - 12. Suppose -k*z - t = -11, 2*z - 4*t = 27 - 1. Solve -l + 0*l = -z for l.
5
Let v = -7 - -10. Let z(s) = -7*s + 0*sv + 5 + 0*s - 8*s2 - s**3. Let r be z(-7). Solve 2*k = 7*k - r for k.
1
Let g be (1 - (-1)/(-1)) + 0. Suppose -f - 2*f + 9 = g. Solve -u + f*u + 10 = 0 for u.
-5
Let j© = c**2 - 1. Let o be j(-2). Suppose o*p = 1 + 5. Suppose p*w - 8*u + 3*u = 27, -w - 6 = 4*u. Solve 2*x = w - 4 for x.
1
Let t = -13 - -17. Solve -j = -t*j + 3 for j.
1
Let j(o) = 5*o3 - o2 + 1. Let b be j(1). Suppose -z - 3 = -b. Let t be 13*(-1 + z) - -3. Solve l + t = -3*l for l.
-4
Suppose 0 = 4*b - 12 - 0. Solve -2 = b*f - 8 for f.
2
Let s be (3 - 4)*3*1. Let x(j) = j + 3. Let d be x(s). Solve d = -4*v + 5*v for v.
0
Let v(f) = -f**2 + 4*f. Suppose 5 + 0 = x. Suppose 1 = -u + x. Let t be v(u). Solve t = 2*d - 6 for d.
3
Let c(m) = m + 13. Let h be c(-11). Solve h*n + n = 0 for n.
0