Let a = 3 + 2. Suppose y + 3*y = 0. Solve t - a = -y for t.
5
Suppose 5*h + 27 = 17. Let n be (-1 - h)/(3⁄9). Solve -n = 2*m - 9 for m.
3
Let p(t) = t**2 + t - 4. Suppose 0*w - 3 = w. Let v be p(w). Suppose v = 2*c - 6. Solve -c*j + 0 = 16 for j.
-4
Let y = 16 + -14. Suppose 2*t - 4*t = -y. Solve 1 = -u - t for u.
-2
Let w = -8 - -5. Let z = 13 + w. Solve 0 = 5*g - 0*g - z for g.
2
Let c be 0 + 1 - (-12)/3. Suppose -2*j = w + j - 19, -c*w + 25 = j. Solve 3*d = w*d + 5 for d.
-5
Let t be (-15)/6*-2 + 1. Suppose -2*c + 2 + t = 0. Suppose 0 = 2*o - c. Solve -12 = -o*h - h for h.
4
Suppose 4 = k - 1. Let p be ((-4)/k)/(2/(-5)). Suppose -3*a - p + 17 = 0. Solve 0 = -a*n + 2*n + 6 for n.
2
Suppose 0*n = 2*n. Suppose 5*i = 4*q + i - 16, -3*i = 5*q - 4. Solve q*x - x = n for x.
0
Let z(t) = t**2 + 3*t - 6. Let v be z(-5). Suppose -v*k = -3*k - 8. Solve 0*y = 4*y + k for y.
-2