). Sort 5, s, x in increasing order.
x, s, 5
Let r be 52 + (-4 - (-4)/12*3). Let m = r + -45. Let p = -7 + 4. Put p, m, 0 in ascending order.
p, 0, m
Suppose 4*g - 9*g = 5*j - 40, -4*g + 5*j - 13 = 0. Put 31, 2, -3, g in ascending order.
-3, 2, g, 31
Let p = 296 - 302. Sort -5, p, 4, 1/7 in ascending order.
p, -5, 1/7, 4
Let b = 63 + -33. Let h be (-13)/6 - (-5)/b. Put 3, h, -4, 5 in descending order.
5, 3, h, -4
Let p = 566 - 750. Put p, 4, 1 in increasing order.
p, 1, 4
Let d = -22 - -43. Suppose 0*b - 5*b + d = n, -23 = -3*n - 5*b. Let f be -33 - -27 - (-29)/5. Sort 2, f, n.
f, n, 2
Let a = 11 - 57/5. Let m = 9 - 8.82. Let z = 5.18 - m. Put 4, a, z in descending order.
z, 4, a
Let v(p) = p**3 - 2*p**2 - 9*p + 13. Let n be v(3). Sort 3, 310, n in descending order.
310, 3, n
Suppose 26*h + 73 = 2*j + 23*h, 4*j + 3*h - 101 = 0. Sort j, 5, 4 in descending order.
j, 5, 4
Suppose 0 = -4*h - 5*v + 17 - 49, 2*h = v - 2. Suppose -m = k - 1, m - 18 + 1 = 3*k. Suppose 3*r + 3 = 3*u, -2*u + m = 5*r + 3*u. Sort r, -1, h.
h, -1, r
Suppose 2*k - 15 = 5*b, -2*b = -5*b + 3*k. Sort 62, 2, b in decreasing order.
62, 2, b
Let x be (-630)/25 - 3/(-15). Let f = -18 + 33. Let k = x + f. Sort 5, k, -3 in descending order.
5, -3, k
Suppose 5*x + 10 = -h, 0*x + h - 2 = x. Let d = 14 + x. Sort 0.5, d, -1/10 in decreasing order.
d, 0.5, -1/10
Suppose -34*y - 320 = -42*y. Sort 3, -2, y in descending order.
y, 3, -2
Suppose -14*s + 437 + 326 = 1057. Let o be (-2 - -1)*5/(-1). Sort 1, o, s.
s, 1, o
Let u be (34 - 0)/((-18)/(-2) - -2). Let d = 157/33 - u. Put d, -0.2, -3/7 in descending order.
d, -0.2, -3/7
Let x = 10 - 15. Suppose -4 = f, -20 = -8*h + 3*h + 5*f. Let m = 5217 - 5221. Put x, h, m in decreasing order.
h, m, x
Let g(n) = -n + 7. Let u be g(7). Suppose u*f = f. Let m = 83 + -82.5. Put -1/3, f, m in increasing order.
-1/3, f, m
Let f = -6 + 6. Let q = 11.4 - 1.4. Let p = q - 5. Put p, f, -0.2 in ascending order.
-0.2, f, p
Let z = 4.4 - 4. Let g = 0.156 - -0.044. Let b = -112/177 - 2/59. Sort z, g, b in decreasing order.
z, g, b
Suppose 0 = 3*i + i - 20, -2*y = 2*i - 4. Let p be y/(-18)*-2 + 0 + 0. Put p, 2/9, -1/8 in decreasing order.
2/9, -1/8, p
Suppose 5 = 5*f - 0*f. Let w be 1848/(-1155) + 2/20. Put w, 3/5, f in descending order.
f, 3/5, w
Let j be ((-3)/12)/(66/24). Let y = -47.5 - -47. Put j, y, 0.3 in decreasing order.
0.3, j, y
Let w be -2 + 2 + 5 + -1. Suppose 591*n - 551*n + 80 = 0. Put -3, n, w in decreasing order.
w, n, -3
Let g = -1391/7 - -199. Sort g, -7, 1, -2 in increasing order.
-7, -2, g, 1
Let p(t) = t**2 + 5*t + 3. Let d be p(-5). Let k be (d/(-7))/((-8)/(-14)). Let a = 4.6 - -0.4. Sort -3, k, a.
-3, k, a
Let h be -1 + (-3)/3 + 1. Let b be ((-1 + 2)*-9)/(-1). Suppose -5*s - i = -7*s - 14, s + 5*i = 15. Sort b, h, s in descending order.
b, h, s
Let t = 0.71 - 0.51. Sort 0, -3.1, t in descending order.
t, 0, -3.1
Let k = 247 + -249. Suppose -5*h - 91 = -1. Sort 2, h, k in descending order.
2, k, h
Let r(x) = 3*x**3 - x**2 + 6*x - 7. Let y be r(2). Let l = y + -21. Sort l, -39, 0 in increasing order.
-39, 0, l
Let x = -7.2 + 13.2. Put 1, 5, -1/9, x in decreasing order.
x, 5, 1, -1/9
Let v = 0.82 - -1.32. Let c = v + -0.14. Sort -5, c, 3/5 in increasing order.
-5, 3/5, c
Let c = 1215/7334 - 3/386. Sort 1/4, c, -2.
-2, c, 1/4
Let f = 161.1 - 164.1. Sort -0.4, 21, -3/4, f in ascending order.
f, -3/4, -0.4, 21
Let y be (-2 + 13)*(-1)/(-1). Let q = 16 + -27. Let n = -16 - q. Sort y, n, 0.5 in decreasing order.
y, 0.5, n
Suppose -10*q = 15*q + 125. Sort q, 16, -2, -3 in decreasing order.
16, -2, -3, q
Let n be (70/252)/(-2*3/18). Sort n, -2, -1.
-2, -1, n
Let n be ((-32)/12)/((-8)/3). Sort -38, 0, n in decreasing order.
n, 0, -38
Let i be (1/(-2))/((-2)/20). Suppose -5*w + 3*w + 4 = -g, 2*w - 2*g - 2 = 0. Suppose -29 = 4*a + i*n, a + 2*n + w*n + 26 = 0. Put a, 2, 0 in decreasing order.
2, 0, a
Suppose 12 = -3*s, 0*s = -5*o + 3*s - 8. Let g be o*(2/(-2) - -2). Let a be (-45)/(-21) - (-3)/(-21). Sort g, a, 1 in decreasing order.
a, 1, g
Let j = 861 + -865. Sort -1/2, j, 1/5.
j, -1/2, 1/5
Let c = -2766 + 2765.9. Put c, 1/9, -20, -6 in increasing order.
-20, -6, c, 1/9
Suppose -2*o = 2*o - 16. Let h be (-12)/(-36) - (-44)/(-6). Let j be (h - -5) + 2 + -2 + 1. Put -3, j, o in increasing order.
-3, j, o
Let j be (6/10 - 1)*(-32 + 27). Sort -12, -5, j in descending order.
j, -5, -12
Suppose 5*b + 5*g = 15, -3*b - 5*g + 15 = -b. Let x(c) = 2*c + 4. Let d be x(b). Let h be -6 - (-3 - (-4)/2). Sort h, d, -3.
h, -3, d
Let s = 2 + -2. Let k = s - -0.1. Let q = -110 + 114. Sort k, 7, q in ascending order.
k, q, 7
Suppose 4*p = 5*a - 424, -5*p + 2*a - 191 = 356. Let x = 112 + p. Sort x, -4, 0, 4 in decreasing order.
4, x, 0, -4
Let z = -96 - -95. Let b be (-1)/2 - (z + (-25)/(-40)). Let y = 171/85 + -24/17. Put 5, b, y in descending order.
5, y, b
Suppose -s = i + 1, 0 = -s + i - 5*i - 1. Let b = -14 + 5. Let y = b + 5. Sort y, 5, s in decreasing order.
5, s, y
Let w(n) be the first derivative of n**4/4 + 13*n**3/3 + 5*n - 15. Let a be w(-13). Let p = -2 + 3. Put a, p, 0 in decreasing order.
a, p, 0
Let t(g) = g - 23. Let k be t(5). Let l be 76/k - (0 + -4). Sort 2, -5, l in ascending order.
-5, l, 2
Let j(i) = i**2 + 16*i - 90. Let c be j(5). Put -5, -3, 4, c in descending order.
c, 4, -3, -5
Let j(i) = i**2 - i. Let p be j(2). Let d = 5 + p. Let c = -29/4 + d. Put 2/7, 0, c in decreasing order.
2/7, 0, c
Let a = 505 - 507. Put -6, -5, -12, a in decreasing order.
a, -5, -6, -12
Let v = -0.0328 + -3.9672. Let x be (-18)/(-8) + -2 + 0. Put 1/5, v, x in descending order.
x, 1/5, v
Let v(q) = -66*q - 516. Let s be v(-8). Sort s, -1, 4, 3 in increasing order.
-1, 3, 4, s
Let z = 479 + -482. Sort 2, z, -0.4, 27 in decreasing order.
27, 2, -0.4, z
Let w(z) = -25*z + 18. Let v be w(-3). Let o = 90 - v. Let t(k) = k**3 - k + 5. Let s be t(0). Put 1, s, o in ascending order.
o, 1, s
Let i = 11/3 - 149/39. Let g = 0.35 - -8.65. Sort 4, i, g in decreasing order.
g, 4, i
Let i = 91 + -47. Let h = i + -46. Sort h, 1/6, 2, 5 in decreasing order.
5, 2, 1/6, h
Let z = 2 + 2. Let q = 4 + -6. Let o be (2 + -2)/(1 + q). Sort 3, z, o.
o, 3, z
Suppose 2*c + 270 = 20*c. Put 1, -4, c, -1 in increasing order.
-4, -1, 1, c
Let l(p) = 9*p + 342. Let u be l(-38). Sort u, 1, -10, 5 in descending order.
5, 1, u, -10
Let t be -5*8/(-140)*21. Suppose 0 = h - 2*j + t, -5*h - j - 1 = -4. Suppose y + 0*y = -5, -10 = -5*n + 4*y. Put 5, h, n in increasing order.
n, h, 5
Let c(k) = -k**3 + 4*k**2 + k - 7. Let j be c(-4). Let y = 120 - j. Sort y, -5, 4.
-5, y, 4
Let b = -849.9 - -850. Put -1/12, -4, 1, b in descending order.
1, b, -1/12, -4
Let g(w) = 8*w - 28. Let j be g(4). Sort 9, -4, j in descending order.
9, j, -4
Let n = 164.5 - 164.8. Let f = 2 - -1. Sort n, 0.2, f in ascending order.
n, 0.2, f
Suppose 0 = 5*j - 4*l + 237, -5*l = -11 - 4. Let d be ((-6)/(-27))/((-6)/j). Let m = 0.07 + 2.93. Sort 0.1, m, d in increasing order.
0.1, d, m
Suppose -22*i = -13*i + 45. Sort i, -4, 61, -2 in decreasing order.
61, -2, -4, i
Let d be -1 - (-12)/((-4)/(-1)). Let a be ((-2)/19)/(d - -6). Let q = -14/19 + a. Sort -1/2, q, -2 in decreasing order.
-1/2, q, -2
Let d be 7 + 217/(-56) - (-1)/(-8). Put 4, d, 1, -19 in decreasing order.
4, d, 1, -19
Let s(n) = n**2 - 32*n + 31. Let q be s(31). Put 6, -1, q in ascending order.
-1, q, 6
Let k(t) = -t**2 + 18*t - 48. Let o be k(3). Put o, 0.8, 1, 2/5 in increasing order.
o, 2/5, 0.8, 1
Let h(w) = -19*w + 471. Let p be h(25). Let v(o) = o + 7. Let k be v(-6). Sort k, 11, p in descending order.
11, k, p
Let u = -3865 + 3859. Let h be ((-2)/(-18))/((-2)/4). Sort -0.1, 0, u, h in ascending order.
u, h, -0.1, 0
Suppose -4*c = 0, 2*c + 289 - 357 = i. Sort 1, -2, 5, i.
i, -2, 1, 5
Suppose -3*u - 2 = -2*a - 4, 4*u = 4*a + 4. Suppose u = 6*s - 10*s + 4. Let w(x) = 3*x**2 + x - 1. Let n be w(s). Sort n, -5, -1 in decreasing order.
n, -1, -5
Let l = 5 - 8. Suppose -4*a = -2*a - 10. Suppose -4 = 6*p - a*p. Put l, p, 3 in descending order.
3, l, p
Let a = 1.05 + -10.45. Let z = a + 0.2. Let m = -9 - z. Put 2/7, -5/2, m in increasing order.
-5/2, m, 2/7
Let d be 3 + (-2)/3*3. Let y = -325 + 316. Put d, -2, y in decreasing order.
d, -2, y
Let z = 3.9 + -3.6. Let s = -2.83 