Let y be (20⁄4 - -1) + (-1 - -1). Solve 0*x + 3*x = -y for x.
-2
Let a(b) = b**2 - 5*b - 3. Let j be a(6). Suppose 0 = 2*y - j - 5. Suppose -3*n = 5*z + 3, -4*n = -0*z - 5*z + y. Solve 3*w + 12 = -z for w.
-4
Suppose 2*d + z = 3 - 1, -14 = -5*d + 2*z. Suppose -6 = 2*h, -7 = -2*i - h + d*h. Solve i*x - 4 = 3*x for x.
-4
Let l® = -r + 1. Let j be l(-1). Solve -j*m = 8 - 4 for m.
-2
Let k be ((9 - 3)/(-3))/((-8)/12). Solve -4*x = k - 15 for x.
3
Let z(x) = 2*x**3 - 2x + 1. Let u be z(1). Let c be 5(u - (-2)/(-10)). Suppose -13 = -3*n + 11. Solve 0 = -c*w - 24 + n for w.
-4
Suppose 2*s + 0*s = 8. Let p be (0/(-5))/(0 - -1). Solve p = -2*f + s*f + 6 for f.
-3
Suppose -2*r = -4*r - 5*x + 37, -25 = -5*x. Suppose 6*l + 13 = 49. Suppose 0 = -c + l*c - 10. Solve -4*w + r = c for w.
1
Suppose -3*z = 2*z - y - 1, 3*y - 8 = 4*z. Let b be (1 + -3 - -3) + z. Suppose 0 = -2*s - b*d + d + 8, 0 = 4*s - d - 28. Solve -s = -5*m + 4 for m.
2
Let d be 96/(-15) + 2⁄5. Let o be d - 1/(1/(-3)). Let y be -3 - 3*(-6 - o). Solve 0 = -2*x - 0 - y for x.
-3