Let n = 4 - 3. Let m(a) = 3*a + 1. Let v be m(n). Let k(u) = -u - 5. Let q be k(-8). Solve -q*j = j + v for j.
-1
Suppose 2*o = 12 + 6. Solve 0 = -0*z - 3*z - o for z.
-3
Let i(y) = 3*y + 0 + 4 - 4 - 3. Let z be i(4). Let p = 13 - z. Solve 1 + p = k for k.
5
Let i be (-4)/2 + -2 + 3. Let x be (-5)/2*(i + -1). Suppose 0*a = -a + x. Solve a - 1 = -s for s.
-4
Suppose -4*l + 5*l - 9 = 0. Solve l = -5*t + 2*t for t.
-3
Suppose -4*n + 26 - 6 = 0. Let h(m) = 6*m3 - 6*m2 + 11*m. Let p(l) = l**3 + l + 1. Let o(s) = -h(s) + 5*p(s). Let q be o(n). Solve -i + q = -1 for i.
1
Let p(m) = m + 12. Let w be p(-10). Solve -w*v + 0 = -6 for v.
3
Let t(d) = 2*d - 6. Let c be t(5). Suppose -4*j + 15 = -3*x, -2*j + c = -j - x. Solve 9 = 3*h - j for h.
4
Let c be (-8)/(-6) - 5⁄15. Let p(y) = y - 6. Let a be p(6). Let m be 1 - (-1 - a - c). Solve -m*x = x for x.
0
Suppose 0 = b + 3 - 10. Suppose 0 = -4*y - 2*j + 34, -2*y = -4*j + 3*j - b. Solve -x = 2*x - y for x.
2