Let a = -58 - -65. Solve -2*f - 5 + a = 0 for f.
1
Suppose -4*z + 12 = -2*i, 3 - 15 = -i - 4*z. Solve -4*t = -i*t - 4 for t.
1
Let r(x) = 2*x + 11 - 16 + 7. Let f be r(2). Solve 0 = 2*l - 0 - f for l.
3
Suppose g + 80 = 5*g. Solve 2*k + g = 6*k for k.
5
Suppose -9*d = -11*d + 6. Solve 0 = -0*r + 3*r - d for r.
1
Let d(a) = -a**2 + a. Let u be d(1). Solve u = -s - 2*s + 15 for s.
5
Let c be (-9)/(-4) - 2⁄8. Let b = 0 - -1. Let i = 1 + b. Solve c + i = j for j.
4
Let b(t) = t + 6. Let w be b(-3). Suppose 2*h - h - 4*u + 4 = 0, w*h + u - 14 = 0. Let z be ((-2)/2)/((-2)/8). Solve -z*s + 0 = -h for s.
1
Suppose -7*w - 24 = -3*w. Suppose -3*p - h + 25 = 0, -2*p - 3*h + 5 = -0*h. Let r = w + p. Solve 5*k = -r - 11 for k.
-3
Let a = 26 - 11. Solve a = -4*w - w for w.
-3