Let m be (-3)/15 + 6⁄30. Solve -5*y + y - 16 = m for y.
-4
Suppose 0*m = -4*m. Suppose -2*z = -m*z. Suppose -4*y = -2*v - 6, -4*y - 3*v = -y + 9. Solve -2*w + 2 + z = y for w.
1
Let c = -41 + 41. Solve c*k = k for k.
0
Let b(y) = y*2 - y. Let w be -2(-10)/8*2. Suppose w*k = k. Let u be b(k). Solve u = -4*i + 1 - 5 for i.
-1
Let m(t) = -2*t**2 + 4*t - 2. Let f be m(2). Let g = 5 + f. Solve 4*k - g = 17 for k.
5
Let i(k) = -k3 - 5*k2 - 5*k - 5. Let t be i(-4). Let r = t + 4. Solve -6 = -r*j - 3 for j.
1
Let n(h) = 4*h - 18. Let a be n(6). Solve 10 = -4*q - a for q.
-4
Let o = 6 + -4. Solve -2*l + o = -0 for l.
1
Suppose -9*p + 15 + 21 = 0. Suppose -5*z + 20 = 0, 2*j - j + 3*z - 13 = 0. Solve -p + j = 3*v for v.
-1
Let n = -12 + 18. Solve -2 = n*x - 4*x for x.
-1