Let x(t) = 5*t + 3. Let z be x(4). Let i = z - 23. Solve -p = -i*p for p.
0
Let k = 4 + -2. Let h be k/6 + 352⁄24. Solve h = 4*y - y for y.
5
Suppose -4i + i - 15 = 0. Let n be -2 + -2(-2 + 3). Let w = n - i. Solve -z - w = 1 for z.
-2
Suppose 4*w + 2 = d, -3*d + 2 = 5*w - 2*d. Suppose w*p = p - 3. Suppose -p*k - 4*n + 22 = 0, -5*n + 15 + 5 = 0. Solve 0 = -m + 3*m - k for m.
1
Let i be 2 - (-1 - 2/(-2)). Suppose 0*w - 12 = 4*l + 4*w, -5*l = -2*w + 8. Let r(j) = -j**2 - 3*j - 2. Let c be r(l). Solve c = m - 0*m + i for m.
-2
Let f be 8/(-2) - (5 + -14). Solve 4*w - 11 = f for w.
4
Suppose -c + 6 - 6 = 0. Suppose 0 = 5*u - u - 48. Let w(d) = -d**2 + 4*d + 4. Let s be w(4). Solve s*j = -c + u for j.
3
Let t = -60 - -64. Solve 0 = -2*z + t*z for z.
0
Suppose -2*y - 5 = -3*y. Solve 0 = -y*q + 2*q + 6 for q.
2
Let y be ((-16)/10)/(20/(-50)). Solve 2*x + 6 = -y for x.
-5