). Let d be 3*2/42 - z. Put 2/13, d, 0.2 in ascending order.
d, 2/13, 0.2
Suppose v + 3*n = 4*n + 5, 0 = v + 4*n + 10. Sort 3, v, 0 in descending order.
3, v, 0
Let z = 12 + -17. Let v be 2/(-4) - (-5)/(-2). Put 2, v, z in decreasing order.
2, v, z
Let z = -10 - -5. Suppose -s - 9 = -4*s. Sort 4, z, s in increasing order.
z, s, 4
Let z = -13.6 - -12. Let b = z + 2.5. Let f = -0.4 + b. Sort -1, 2/7, f in decreasing order.
f, 2/7, -1
Suppose -10*u + 35 = -9*u + 4*p, 3*u = -4*p + 81. Put u, -4, -5, -2 in descending order.
u, -2, -4, -5
Let m = 10 - 8. Put m, 3, 7 in decreasing order.
7, 3, m
Let a = -12 - -7. Let c = -7 - -4. Let d = -1 - 0. Put d, c, a in increasing order.
a, c, d
Let o(a) = 2*a**2 + 21*a - 10. Let x be o(-11). Sort 4, -1, x.
-1, x, 4
Let y = -0.6 - 3.4. Let s = -4.5 - y. Let g = -4 - -1. Sort s, -4, g in decreasing order.
s, g, -4
Suppose 26*b = 17 + 9. Suppose 7 = -5*m - 2*c, -4*c - 2 = -2*m - 0. Put m, b, 2 in decreasing order.
2, b, m
Let n = 0.01 - -0.19. Sort 3/8, n, 5 in ascending order.
n, 3/8, 5
Let b = 0.25 - 5.25. Put -4, 6, b in increasing order.
b, -4, 6
Suppose 5*z - w = 24, -2*z = 2*z - w - 19. Sort z, 3, 4 in descending order.
z, 4, 3
Suppose -5*a = -26 - 4. Let j = a + -7. Put -2, j, -4/3 in increasing order.
-2, -4/3, j
Let a = 13 - 18. Sort 5, -2, a in ascending order.
a, -2, 5
Let f = 18 + -15. Put f, 46, 2 in decreasing order.
46, f, 2
Let v(p) = p + 8. Let g be v(0). Put 4, -5, g in decreasing order.
g, 4, -5
Let y = -4 + 5. Let b be (y/(-3))/(1/(-3)). Put -4, -2, b in decreasing order.
b, -2, -4
Let v = 0.7 - 2.2. Let o = 4 - 2. Let u = o + v. Put -1, u, -2 in ascending order.
-2, -1, u
Let w(q) = q + 2. Let m be w(2). Let o be (-32)/(-14) - 2/7. Let p(r) = r**3 - 4*r**2 + 4*r - 3. Let n be p(3). Sort m, o, n.
n, o, m
Let o = -9 - -6. Suppose 12 = 6*s - 3*s. Let p be ((-8)/(-1) + -2)/2. Put o, s, p in decreasing order.
s, p, o
Suppose -14 = -2*i - 4. Suppose 0 = -a - 2*s + 5, -5*a + 2 - 1 = -2*s. Put a, i, 2 in descending order.
i, 2, a
Let a = 67 + -69. Put 0.1, 3/5, a, 8 in descending order.
8, 3/5, 0.1, a
Let t = 2.12 + -0.12. Sort -1/5, t, 0.3 in increasing order.
-1/5, 0.3, t
Let x be (-4 - -1)*334/30. Let v = x - -33. Sort 4, v, -6 in increasing order.
-6, v, 4
Let n(r) = r**2 - r - 1. Let v be n(0). Sort 5, 2, v in decreasing order.
5, 2, v
Let c = 50 + -52. Put 2, c, -8, -3 in ascending order.
-8, -3, c, 2
Let c be (4/10)/((-8)/40). Let k = c + 4. Sort -4, 1, k in descending order.
k, 1, -4
Let l(z) be the second derivative of z**5/20 + z**4/4 - z**3/2 - z**2/2 - z. Let v be l(-4). Put 3, v, 4 in descending order.
4, 3, v
Let p = -3.05 - -0.05. Let v be (-2)/(-7) - 66/(-14). Let s = v - 3. Sort 2/13, p, s in descending order.
s, 2/13, p
Suppose -k + 15 = -3*k - g, 37 = -4*k + 5*g. Let w be 22/k + (-3)/12. Suppose -3*d + 6 = 18. Sort w, -0.5, d in decreasing order.
-0.5, w, d
Let q = 17 + -18. Put -5, -4, q in descending order.
q, -4, -5
Let w(o) be the first derivative of o**2/2 + 8*o + 5. Let c be w(-6). Sort c, -5, -2 in ascending order.
-5, -2, c
Let p = 71 - 74. Put 0, 0.5, p in decreasing order.
0.5, 0, p
Let m be 9/6*(-8)/(-6). Let z be (6/4)/(3/4). Suppose -z*k + 12 = m*k. Sort k, 0, 5 in ascending order.
0, k, 5
Let v be 8 + ((-6)/4 - (-18)/(-12)). Suppose 5*m - 4 = 3*a + 1, -4*m - 2*a = -4. Sort m, -8, v in ascending order.
-8, m, v
Let m = 1644 - 1662.91. Let r = -19 - m. Let y = -0.31 + r. Sort 4, y, -2/9 in increasing order.
y, -2/9, 4
Let i(k) = 4*k**2 + 4*k + 2. Let j be i(-2). Let g = -9 + j. Sort 5, -5, g in descending order.
5, g, -5
Let a = -38 - -60. Let y be (-4)/a + (-114)/99. Let t = -2 + 2.1. Put t, -0.4, y in decreasing order.
t, -0.4, y
Let z(a) = -a**3 + 12*a**2 - 10*a. Let r be z(11). Put r, 3, -2 in decreasing order.
r, 3, -2
Suppose -5*n + 3*n + 5*y + 1 = 0, -4*y = -20. Let j = n + -17. Put -2, j, 5 in increasing order.
j, -2, 5
Let v be 20/(-6)*(-6)/4. Suppose 3*c - 4 = 2*f, -3*f = -5*f - 10. Let i(x) = -x - 1. Let a be i(-1). Put a, v, c in increasing order.
c, a, v
Let v be 4/(-8) + 15/6. Suppose 0*o - v*o - 4*u + 10 = 0, 0 = -5*o - 5*u + 10. Sort -3, 3, o in descending order.
3, o, -3
Let c be 1 + -1 + 0/(-1). Let t = c + 3. Sort 5, 1/2, t in decreasing order.
5, t, 1/2
Let u(p) = -p**2 - 6*p - 4. Let l be u(-5). Let a be -1*(-3)/(-5) + l. Let s = -3.4 + 3. Sort a, s, -0.1 in decreasing order.
a, -0.1, s
Suppose -p - k = -1, -4 = 5*p + 3*k - 17. Suppose 0*y + p*y + 11 = -2*q, -y - 10 = 3*q. Sort 2, 4, q in decreasing order.
4, 2, q
Let h be -1 + 0 + 2 + 0. Suppose 2*d - 3 = h. Suppose 2 = d*i - i. Put -4, i, -3 in decreasing order.
i, -3, -4
Suppose 5*l - 4*g = 16, 4*l + 3*g = 5*g + 8. Sort l, -2, 4, 6.
-2, l, 4, 6
Suppose 0*m - m = -4. Suppose 0 = -0*f + m*f - 12. Put -1, -2, f in ascending order.
-2, -1, f
Let s be 1 + 3 - 1 - 2. Suppose s = -2*x - 5. Let d be (x/2)/(4/8). Sort d, 4, -5 in ascending order.
-5, d, 4
Let a = 15/2 - 8. Put 4, 0.5, a in descending order.
4, 0.5, a
Let r be 2 + -1 + 1*-1. Let k(s) = -s**3 - 20*s**2 - s - 22. Let d be k(-20). Sort d, r, -3.
-3, d, r
Suppose 2*y - 4 + 19 = -3*x, 0 = -5*y. Sort 1, 0, x in descending order.
1, 0, x
Suppose -3*j + 15 = 2*j. Let x(w) = 19*w**2. Let p be x(1). Suppose p = -5*n + v, 3*n + 5*v + 13 = 4*v. Sort j, 0, n in descending order.
j, 0, n
Let k = 6 - 5.9. Let r = -0.7 + k. Let p = -1.6 - r. Sort -4, -1/3, p in decreasing order.
-1/3, p, -4
Suppose 2*z = -q + 10 + 2, 2*z = 2*q + 6. Let t(d) = d**2 + 8*d + 10. Let u be t(-7). Put -5, u, q in decreasing order.
u, q, -5
Suppose -3*y = -4*y + 2. Suppose -3*o - y*o = 0. Let m be (2/2)/((-2)/(-2)). Put 3, o, m in ascending order.
o, m, 3
Let n be 36/(-21) - (-4)/(-14). Let h be 5/n*(-4)/25. Put 5, h, -3 in decreasing order.
5, h, -3
Suppose -4 = 2*u - 0*u. Let j be (-54)/(-36) + (-2)/(-4). Put -5, j, u in decreasing order.
j, u, -5
Let i = 11 + -11. Let l = i + 0.3. Sort -3, 4, l.
-3, l, 4
Let r = 0.8 + -0.4. Let b = r + -3.4. Let l = b + 5. Sort -0.3, -0.2, l in descending order.
l, -0.2, -0.3
Let k = 28 - 25.4. Sort -3, k, 0.4 in descending order.
k, 0.4, -3
Let l = -0.89 + -0.11. Suppose 0 = s + 1 - 2. Sort -2/7, s, l in descending order.
s, -2/7, l
Let c = -15/2 + 7. Sort 1/5, -0.03, c in descending order.
1/5, -0.03, c
Let v = -11 + 11.3. Let k = -0.28 - 0.02. Let l = k + v. Put l, -0.5, -1 in ascending order.
-1, -0.5, l
Suppose 0 = -2*q - 8 + 4. Put -5, -4, q in descending order.
q, -4, -5
Let g be (18/1)/(-1 - 0). Let c be (-12)/(-16) + g/(-8). Sort 7, -3, c in decreasing order.
7, c, -3
Let r(u) = u**3 + u**2. Let b be r(-2). Suppose -140 = 16*k - 2*k. Sort 3, b, k in ascending order.
k, b, 3
Let u = 3/145 - 67/435. Sort -5/3, -2/11, u, -2 in increasing order.
-2, -5/3, -2/11, u
Let q = 58 + -62. Put q, -5, 2 in descending order.
2, q, -5
Suppose 4*g - 7 + 3 = 0. Let t = 0 - g. Sort 4, t, -2 in descending order.
4, t, -2
Let n = 8 - 0. Let h = -6 + n. Put h, 2/7, 1 in decreasing order.
h, 1, 2/7
Let s = 1.056 + 0.024. Let x = -0.08 + s. Put -4, 4, x in ascending order.
-4, x, 4
Suppose -5*r = -r - 24. Suppose -f + r = 4. Let p(w) = -3*w + 31. Let h be p(10). Sort f, 5, h in descending order.
5, f, h
Let p = -8 + 2. Let h = 4 + p. Sort h, -1, 4.
h, -1, 4
Let m = 0 - -0.5. Let z be ((-6)/(-108))/(1*1/4). Sort z, 2, m.
z, m, 2
Let l be -1 - (-3 - (1 + 2)). Sort l, 3, 20.
3, l, 20
Suppose -19 + 4 = 5*x. Let k = 1 - -3. Let n = -1 + k. Put x, 4, n in decreasing order.
4, n, x
Let w(s) = -s**3 - 2*s + 3. Let p be w(0). Let r be 1 - -2 - (-3)/p. Sort -4, r, 0.
-4, 0, r
Suppose -9 = 3*l - 0. Let z = 1043/18 + -115/2. Let q = -0.2 + 1.2. Put l, z, q in decreasing order.
q, z, l
Suppose 2*k - 2 = 8, -24 = -c - 5*k. Sort -3, -9, c.
-9, -3, c
Let r be (5/(-1))/(-1) - 0. Let w be (-12)/(-18) + (-2)/(-6). Suppose 0 = -3*x + 5*u - 1, -w = 2*x - u - 2*u. Sort x, r, 2 in decreasing order.
r, 2, x
Let g be (5 - (2 - 0)) + 0. Let z(n) = -2*n - 5. Let l be z(-5). Suppose 0 = -4*m - c + 4*c + 35, -4*m - 5*c = l. Put m, 2, g in ascending order.
2, g, m
Let f = 1.2 - 1.2. Sort 0.5, f, -0.5 in descending order.
0.5, f, -0.5
Let u = -101 - -409/4. Let w(f) = -2*f**3 + 4*f**2 - 3*f. Let y be w(2). Let v be ((-1)/y)/((-2)/(-4)). Put v, u, -0.5 in decreasing order.
u, v, -0