Let w = 7 + -6. Let i = -2 + w. Let k = 7 - i. Solve -3*f - f + k = 0 for f.
2
Let r(t) = 2*t - 2. Let z be r(5). Suppose z*d - 15 = 3*d. Solve u - 4*u = -d for u.
1
Let t = 12 + -4. Solve j + t = -j for j.
-4
Suppose -5*t + 2 - 47 = 0. Let y be (-2)/t*6*3. Solve 0*h + h = y for h.
4
Suppose y + 4*o - 1 = 13, -4*y = -5*o + 7. Suppose w + y*t = 3*t + 37, -5*t = -w + 33. Solve -5*q = 13 - w for q.
5
Let l(z) = 2*z. Let n be l(1). Let h be -4 - (-1 + 0 + n). Let g = -4 - h. Solve u = -4 - g for u.
-5
Suppose 0 = -5*j - 5*v, 10 = 2*j - v - 2*v. Solve -j*q = q for q.
0
Suppose 3*b = -5*v + 16, 0 = 4*v - 0*b + 3*b - 14. Solve -v*t - 2 = -10 for t.
4
Let r(f) = -f**2 - 7*f + 2. Let l be r(-7). Solve 2*d + 4 = -l for d.
-3
Let o be 1 - (6⁄3 + -6). Solve o*v = 3 + 2 for v.
1