Let c be (24⁄20)/(3⁄10). Solve -c*y = -2*y + 8 for y.
-4
Suppose -2*q - q = 96. Let x be (q/(-12))/((-2)/(-3)). Let k = x + -2. Solve 3*z + k = 2*z for z.
-2
Suppose f + 0*f = 2. Suppose 0 = z - 5*z + f*i, -2*z = 5*i. Solve z*w = w for w.
0
Suppose 0 = f - 3*m - 2, f - 10 = -4*f - m. Solve 6 = -f*t + 5*t for t.
2
Let m(w) = w - 11. Suppose -2*l + 4 - 12 = 0, 2*t - 3*l - 28 = 0. Let f be m(t). Let z = 1 - f. Solve h = 3*h + z for h.
-2
Suppose 0 = -o + 4*o. Solve o*c = c + 2 for c.
-2
Let x = -7 - -9. Let l be 2*(2 - x/(-4)). Solve l*v = 2*v - 3 for v.
-1
Let d be 3/((-3)/(-6)*2). Solve 9 = d*o - 6 for o.
5
Let n(v) = -v3 + 20*v2 - 20*v + 39. Let q be n(19). Suppose 0*d + d = 3. Suppose 3*a + 6 - 17 = 4*c, -a + d*c = -2. Solve a*i = -0*i + q for i.
4
Suppose 3*f + 6 = 3*d, -2*f = -4*d + 15 - 3. Solve -f*c = c - 15 for c.
5