1, -3*v - h - 4 = 0. Put v, 1, -20 in ascending order.
-20, v, 1
Let a be (-8)/12 - (-1 + 1). Suppose -2*y - 64 = -4*w, 4*y - 3*w + 139 = -y. Let m be y/(-6) + 4/(-1). Put m, 1/8, a in increasing order.
a, 1/8, m
Let l(z) = z + 8. Let u be l(-4). Suppose -u*q + 8*q = 0. Suppose -h + 2*x - x = -7, 4*x = h - 13. Put h, q, 3 in decreasing order.
h, 3, q
Let a(u) = -u**3 - u**2 + u - 12. Let h be a(0). Let s = -7 - h. Suppose -3*j = s + 4. Put -2, j, -1 in descending order.
-1, -2, j
Let g be (-2)/(-2) + (-1 - 0). Suppose 0 = 13*f - 38 + 24 - 38. Put g, 1, f in increasing order.
g, 1, f
Let n(y) = 5*y - 39. Let i be n(8). Sort i, -13, 3, -4 in descending order.
3, i, -4, -13
Let l = -87 + 88. Sort l, -3, 3, 2 in descending order.
3, 2, l, -3
Suppose -336*x = -328*x - 32. Sort 1, x, -2, -9 in descending order.
x, 1, -2, -9
Let z be 3 + (-88)/20 + 2. Let b be (-2)/(-7) - (-48)/28. Suppose d - b*d + 5 = 0. Put z, d, -1/3 in decreasing order.
d, z, -1/3
Suppose -22 = 2*y - 3*a, -3*a + 5 = 2*y + 3. Let s be ((-2)/(-3))/(2/(-3)). Sort 5, y, s, 0 in decreasing order.
5, 0, s, y
Let n = -165 + 172. Put -2, n, -4 in decreasing order.
n, -2, -4
Let i = 19 - 55/3. Sort -9, -0.5, i.
-9, -0.5, i
Suppose -27 = 4*z - 13*z. Sort -2, z, -16, 2.
-16, -2, 2, z
Suppose 44*k - 61 - 71 = 0. Sort k, -1, 1/2, 2/3 in decreasing order.
k, 2/3, 1/2, -1
Suppose 4*z + 4 = -2*l, 4*z + 1 = 3*z - 4*l. Let c be (z/(15/(-3)))/(1 - 2). Sort -5, -2/5, c, 1 in ascending order.
-5, -2/5, c, 1
Let s = -33 + 30. Let w be s/5 - (-6)/10. Let p be (0 - (-1 + 2))/1. Sort p, -9, w in descending order.
w, p, -9
Let x = 23.4 - 23.6. Put -1/16, 0, x, -1/2 in descending order.
0, -1/16, x, -1/2
Let c = 4 - 2. Let g = -1.2 - -1.6. Let l = 1.4 - g. Sort c, l, 0.2 in decreasing order.
c, l, 0.2
Let n = 47 + -48. Put -10, 16, n in descending order.
16, n, -10
Let b be 117/(-36) - 1/(-4). Put 3, 6, b in decreasing order.
6, 3, b
Let o be 44/28 - -3*(-16)/84. Put -1, o, -102 in decreasing order.
o, -1, -102
Suppose -3*z = -9, 9*z - 6*z = r - 7. Let c = r - 9. Let m = -13 - -18. Sort m, 2, c.
2, m, c
Let b be (-3)/3 - (25 + -32). Put 3, -2, b, 2 in descending order.
b, 3, 2, -2
Let d = 76 - 68. Sort 0.2, -0.03, d in decreasing order.
d, 0.2, -0.03
Let j = 10 + -14. Suppose 3*s + 1 = 4*s + 4*c, 0 = 5*c - 5. Sort 5, s, j.
j, s, 5
Let m be 2/3 - 995/(-15). Let f = m + -65. Put -0.08, -1, f in ascending order.
-1, -0.08, f
Let f = -11 + 7. Let a = 196.6 + -197. Let d = -21/38 - -1/19. Sort d, a, f in descending order.
a, d, f
Suppose 15*a - 56*a = -205. Put -2, a, -19 in descending order.
a, -2, -19
Suppose y - 2*m = 8 - 0, 2*y - 2*m - 6 = 0. Sort y, 3, 10 in increasing order.
y, 3, 10
Suppose -5*k - 5*b = 5, 2*b + 11 = k - 3*b. Suppose 7 = -3*g - 4*h, -4*g + h = -2*h + k. Sort g, -3, 2 in descending order.
2, g, -3
Let b = 109 + -106. Put b, 4, -2, -6 in increasing order.
-6, -2, b, 4
Suppose c + 2*t + 80 - 84 = 0, 0 = 3*t - 3. Let h = 1 - -7. Put h, -4, c in ascending order.
-4, c, h
Let d be (-1 - (-3 - -1))*3. Suppose -5*y + b = -24, -28 = -y - d*y + 3*b. Let x be ((-1)/(-15))/(y/(-10)). Sort 0.1, 3/7, x in decreasing order.
3/7, 0.1, x
Suppose 0 = -3*m + 3*i - 1 - 2, 0 = 3*i + 6. Let o = m - -11. Put 5, 0.1, o in increasing order.
0.1, 5, o
Let a be ((-3)/2)/((-7)/(-14)). Put -4, 5, a in increasing order.
-4, a, 5
Let p = 47 - 234/5. Let w = 1358.8 - 1359. Put p, 0.4, w, -1.6 in increasing order.
-1.6, w, p, 0.4
Let k = -4.9 - 5.1. Let x = k - 3. Put -1/4, x, 2, 0.5 in descending order.
2, 0.5, -1/4, x
Suppose -3*i - 3*v - 67 = -5*i, -2*v + 120 = 5*i. Sort 4, i, -1 in decreasing order.
i, 4, -1
Let m be 5/((-105)/(-14)) + (-152)/(-6). Put 4, m, 3, -5 in descending order.
m, 4, 3, -5
Let v = 189 + -568/3. Put v, -4, 63 in decreasing order.
63, v, -4
Suppose -1 = 6*c - 5*c. Let z(y) = 9*y**3 - 2*y**2 + 5*y + 6. Let x(j) = 8*j**3 - 2*j**2 + 4*j + 5. Let s(b) = 5*x(b) - 4*z(b). Let o be s(c). Sort 0, o, 3.
o, 0, 3
Let j(f) = f - 4. Let v be j(4). Suppose 5*s + 3*y = 0, y = s + 5*y. Suppose s = -3*b - 38 + 5. Put 4, v, b in descending order.
4, v, b
Let h be (-2)/(2/18*-2). Suppose 2*m - 1 = -h. Let y be -3 + 12/(-8)*m. Sort -3, 4, y in ascending order.
-3, y, 4
Let w = -89 + 90. Put w, -4, 2/9, -3 in descending order.
w, 2/9, -3, -4
Let h be (-8)/12 - (-2 + 40/12). Let z be 3/h*20/(-60). Let t = -1 - 1. Sort -0.2, t, z in increasing order.
t, -0.2, z
Suppose 20*b - 25*b - 25 = 0. Sort b, 4, 3.
b, 3, 4
Let p = 0.01 - -0.64. Let f = 0.05 + p. Let k = 5.7 - f. Sort k, 0, -1 in increasing order.
-1, 0, k
Let u = -0.3 + -0.2. Let a = 3.9 + 0.1. Let r = -1421 + 1424. Put r, a, u in descending order.
a, r, u
Let i(d) = -d**3 + 4*d**2 - d - 4. Let v be i(3). Suppose 5*j + 4*c = c - v, 4*j = c + 12. Let b be -27 + 24 - 1/(1/(-8)). Sort -4, b, j in increasing order.
-4, j, b
Let y(v) = -v**3 - 8*v**2 + v + 4. Let f be y(-8). Let j = -1.779 + -0.221. Put j, f, -2/5 in decreasing order.
-2/5, j, f
Let u = 2.2 + -0.2. Let a = -1.8 - 9.2. Let w = 11.1 + a. Sort u, -0.2, w in ascending order.
-0.2, w, u
Let k(n) = -n**3 + 6*n**2 + 73*n - 11. Let o be k(12). Sort o, 97, -1.
-1, o, 97
Let p = -24 + 39. Let f = -5 + p. Let n = f - 14. Put n, 4, -1/4 in descending order.
4, -1/4, n
Suppose 36*l - 9 = -9. Sort 2, l, 4, -2 in descending order.
4, 2, l, -2
Suppose 22 - 30 = -2*o. Suppose -4*z - 4*j = 8, 2*j = -o*z - 1 + 3. Sort -4, 5, z in decreasing order.
5, z, -4
Let c = 2/175 - -68/175. Sort -2/9, c, 5, 1 in decreasing order.
5, 1, c, -2/9
Let u = 34 - 36. Sort u, -0.06, -0.09.
u, -0.09, -0.06
Let u = -14 + -85. Let h = u + 100. Sort h, 2, -6 in descending order.
2, h, -6
Suppose 5*l + 5 = -0. Let c be (l + 0)*-2 + -5. Let h be (-46)/10 + -4*11/110. Sort c, 3, h in decreasing order.
3, c, h
Let b = 2639.98 - 2713. Let q = b - -73. Put -3, q, 1, -0.4 in ascending order.
-3, -0.4, q, 1
Let u = 4 + -2. Let r(q) = -q + 2*q + 7 - 3*q. Let o be r(5). Put 0, o, u in descending order.
u, 0, o
Suppose -71*i = -75*i - 4. Sort i, 94, 3, -2 in decreasing order.
94, 3, i, -2
Let c = -359 - -356. Put c, 1, -8 in ascending order.
-8, c, 1
Suppose 0 = 5*r + 6 - 21. Let s(x) = -22*x - 64. Let q be (-2)/3 - (-35)/(-15). Let v be s(q). Put r, v, -8 in descending order.
r, v, -8
Let i = -22 + 57. Let f be (-16)/i - (-6)/10. Let m = -5.03 + 0.03. Put m, f, 2 in ascending order.
m, f, 2
Let d = 53 - 52. Let j be 1/1 + 110/(-30). Sort d, -1/6, j, -0.5 in increasing order.
j, -0.5, -1/6, d
Let j(a) = 3*a**3 + 18*a**2 + 12*a - 16. Let o be j(-5). Sort o, 1, 0, -5.
-5, o, 0, 1
Let d(b) = -4*b**3 - 2*b**2 + 2*b - 1. Let o be d(1). Let h(z) = 7 + 1 + z + 30*z**2 - 31*z**2 - 4*z. Let t be h(2). Put o, t, 5 in ascending order.
o, t, 5
Let h = 27 - 23. Let q = 1 + h. Let w be 1*-4 + (-1)/(-1). Put -0.5, w, q in ascending order.
w, -0.5, q
Let r = 0.802 - 73.802. Put r, -3, 4 in descending order.
4, -3, r
Suppose 4*o + 3*z = 3, -6*o + 3*o + z + 12 = 0. Let d = 43 + -44. Put d, o, 1 in descending order.
o, 1, d
Let q(i) = -i**3 - 5*i**2 - 3*i - 6. Let r be q(-4). Let k(f) = f**3 - 16*f**2 + 26*f + 31. Let w be k(14). Sort w, 1, r in ascending order.
r, 1, w
Let p = -2/3217 + 6440/9651. Put p, -8, -0.03 in ascending order.
-8, -0.03, p
Let x = 131.2 + -130.8. Sort x, 0.09, -39 in ascending order.
-39, 0.09, x
Let g(z) be the second derivative of z**5/20 - 5*z**4/6 - z**3/6 - 5*z**2/2 + 11*z. Let q be g(10). Put 2/9, -0.2, q in decreasing order.
2/9, -0.2, q
Suppose 11*j = 4*j + 245. Sort j, 3, 2 in decreasing order.
j, 3, 2
Let i = 11 + -13. Let c be ((-7)/35)/((-9)/6). Sort 0.2, c, i in descending order.
0.2, c, i
Let z be 6 + -7 + (-134)/(-162). Let w = z - 142/1053. Let y = -45/104 - w. Put y, 0.2, -0.3 in descending order.
0.2, y, -0.3
Let r = -32 + 35.7. Let f = r + -0.7. Sort -4, 0.4, f in increasing order.
-4, 0.4, f
Let x(r) = -r**2 - 5*r + 15. Let v be x(-7). Suppose 4*c + 2 = -6*y + 3*y, -y - 4 = 3*c. Suppose z = -y*z - 3. Sort z, 2, v in ascending order.
z, v, 2
Suppose -5*p = -5*m - 15, 4*m - 2*m - 1 = -5*p. Put -7, p, 2, -5 in increasing order.
-7, -5, p, 2
Suppose 3*k - 20 = -5*v - k, -4*v = 3*k - 16. Suppose -2*x = -v*x. Let z be (-5)/(-6) - (1 + x). Put 2, -0.4, z in increasing order.
-0.4, z, 2
Let n(y) = y**3 + 3*y**2 - 12*y - 12. Le