Let u(l) = l + 2. Let i = -9 - -7. Let s be (0/i)/(4 + -2). Let k be u(s). Solve -h + k = h for h.
1
Suppose 0*g - 4*g = -4. Let z© be the first derivative of c**3⁄3 - c + 1. Let s be z(g). Solve s = -4*j + 5 + 15 for j.
5
Let j = -4 + 13. Let f = -6 + j. Solve 0*d = -f*d for d.
0
Suppose -11 - 7 = -6*g. Solve -g*w = -2 - 4 for w.
2
Let u = 30 + -25. Solve u*t = 3*t - 8 for t.
-4
Let y(q) = -q**2 + 6*q - 2. Let x be y(5). Suppose 5*o + 40 = -5*g, -41 = 2*o - 4*g - 13. Let t be (-20)/8*36/o. Solve -x*d + 3 + t = 0 for d.
4
Let c be -9 - -14 - (4 - 0). Solve -2*a - c = -a for a.
-1
Suppose 4*x = 20, -2*i - 5 = 3*i - 5*x. Let p = i - 0. Solve 0 = -0*t - p*t for t.
0
Let h = 7 - 1. Let d = 6 - h. Solve 3*k - 4*k + 3 = d for k.
3
Suppose 40 = 4*k + 2*y - 22, -3*y = -4*k + 57. Let s(f) = -2*f + 6. Let r be s(2). Solve -r*n = n + k for n.
-5