Suppose 3*d = 23 + 16. Solve 5*v = d + 12 for v.
5
Let r(u) = 4*u**2 + 2*u - 1. Let x be r(2). Suppose -9*k + x = -8*k. Solve 4*t - 1 - k = 0 for t.
5
Suppose 14 = 4*i - 2. Suppose 8 = i*j - 12. Let v be 1/(-1) - (0 - 4). Solve 4*a + j = -v for a.
-2
Suppose -4*g + 26 = 4*w + 6, 2 = -2*g + 4*w. Suppose 6 = -j + 3*j. Solve 12 = j*f + g for f.
3
Suppose 0 = s - 5*s. Solve -2*p + s*p = 0 for p.
0
Let m be (2/(-4))/((-13)/26). Solve 2*s - 5 + m = 0 for s.
2
Suppose 0 = -w + 2*r + 5, 3*w - 5*r - 11 = -0. Let k be (-25)/w - 3⁄9. Solve 3*p + k = p for p.
-4
Let h = 4 - 2. Suppose -b = -h*b + 3. Let w = 1 + 1. Solve -w = -v - b for v.
-1
Suppose d - 2*d - 25 = 5*i, 3*d - 4*i = 20. Let v = 4 - d. Solve -2*j + v*j - 2 = 0 for j.
1
Let n = -2 + 1. Let c be (1 - n) + (-1)/(-1). Let k(o) = o**2 - 8*o + 10. Let m be k(7). Solve c*f + 0 = m for f.
1