t x, 3/5, 0.07, -4 in increasing order.
-4, x, 0.07, 3/5
Let f = 0.2 - -0.3. Let u = -16809 - -16812. Put -7, u, f in increasing order.
-7, f, u
Suppose 31*w - 84 = -11*w. Put -2, -177, w in decreasing order.
w, -2, -177
Suppose 0 = -4*h - h + 5. Suppose -14*c = -33*c. Put -3, h, 5, c in descending order.
5, h, c, -3
Let b = -3912 + 3907. Let y = 165 + -1157/7. Put b, y, 18 in decreasing order.
18, y, b
Suppose 0 = 5*l + 3*w + 32 + 518, 3*l + 341 = -4*w. Put 1, l, -3 in descending order.
1, -3, l
Let i = -367.86 - -368. Sort 0, -0.4, i in ascending order.
-0.4, 0, i
Let z be 4/37*(-5)/(-10). Let i be -1 + 1 - (-2)/18. Put 2/7, z, i in decreasing order.
2/7, i, z
Let u = 0.1 - 4.1. Let i = -389/9 + 43. Sort i, -3/4, u, -3/2 in descending order.
i, -3/4, -3/2, u
Let u = -31.9 + 32. Let x = -210 + 210.01. Sort x, u, -1.
-1, x, u
Let y be (0 - -2)*(-12 + 15) + -3. Sort 4, y, -3, -4 in increasing order.
-4, -3, y, 4
Let o = 7 + -9. Let f be (-12)/102 + 54/170. Put o, 0, f in descending order.
f, 0, o
Let h be (-4 - -3)/(1/2). Let b be 300/(-120)*1*(1 - 3). Sort b, 3, h in ascending order.
h, 3, b
Let k = 17315/9331 - -2/1333. Sort k, 2/5, 4 in increasing order.
2/5, k, 4
Let w(k) = -k**3 - 6*k**2 - 6*k - 8. Let o(x) = -3*x**3 - 11*x**2 - 11*x - 15. Let d(q) = 2*o(q) - 5*w(q). Let h be d(9). Put 3, h, -13 in ascending order.
-13, h, 3
Suppose -4*s + 8 = 4*p, 4*p - s + 2 = -0*s. Suppose -2*k - 5*m = -4 - 13, k + 4*m - 13 = p. Let g be (10/10)/(k/(-3)). Put 2, -2, g in decreasing order.
2, -2, g
Let h = 48 - 19. Sort 3, 0.1, h in descending order.
h, 3, 0.1
Let c(f) = 2*f - 12. Let r = 16 + -7. Let i be c(r). Suppose i = 2*v, -4*m + v = -v - 6. Sort -2, -4, m.
-4, -2, m
Suppose 9 + 6 = -5*h. Let r(w) = -w**3 - w**2 - 4. Let s be r(0). Put 4, s, h, 3 in ascending order.
s, h, 3, 4
Let i = 1283 + -1285. Sort 2, i, -155, -1/3 in decreasing order.
2, -1/3, i, -155
Suppose -23*s - 5*x = -27*s - 8, -5*s + 7 = -2*x. Let g = 3 - -2. Suppose 2 = -g*d - 13. Put d, -5, s in descending order.
s, d, -5
Let k(x) = -4*x**2 + x - 9. Let l be k(3). Suppose -2*c = w + 15, -3*c + 5*w + 3 = -c. Let n be (-4)/l*9/c. Put 1/2, n, -0.4 in ascending order.
-0.4, n, 1/2
Suppose 3*s = s + 64. Suppose 4*l - s = 4*c, 0*l - 8 = 3*l + 5*c. Sort -3, 1, l in descending order.
l, 1, -3
Let j = -0.031 + 0.031. Sort 1/27, -3, j in decreasing order.
1/27, j, -3
Let o(p) = -3*p - 16. Suppose -30*g + 26*g - 20 = 0. Let b be o(g). Sort b, -4, 5 in ascending order.
-4, b, 5
Let i = 15.8 - 15. Let j = i + -1.6. Let x = 5.8 + j. Put 4, -5, x in descending order.
x, 4, -5
Suppose 5*t + 3*l = -12, -t = 2*l - 3 + 11. Sort 2, -1, t, 4.
-1, t, 2, 4
Let v be 2/(-4)*(-14 - -10). Suppose -m - v*n = 0, -3*n + 20 = 2*m + 2*m. Let j be ((-15)/20)/((-2)/m). Sort j, 2/9, 2/17 in decreasing order.
j, 2/9, 2/17
Let p(a) = -2*a + 16. Let x be p(7). Suppose 3*j + 2*r = 4*j, -x*r - 8 = -5*j. Suppose -3 = -d - j. Put 5, 0.2, d in decreasing order.
5, d, 0.2
Suppose -66 = -6*g + 2*g + 2*n, -n = 5*g - 79. Let a(m) = 46 - 154 + 41 + m + 53. Let u be a(g). Sort -4, -2, u in descending order.
u, -2, -4
Suppose -6*c + 22 - 4 = 0. Suppose -16 = 5*a - 2*y - 0*y, -15 = 3*a - c*y. Sort 1, -4, a, 3 in increasing order.
-4, a, 1, 3
Let f be 3 + 0/(-2 - (-5 - -1)). Let r = 151.6 - 152. Put f, -2, -3, r in decreasing order.
f, r, -2, -3
Let k be (4/6)/((-2)/(-6)). Let j(b) = 3*b**3 + 115*b**2 - 80*b - 81. Let t be j(-39). Put t, 0, k in increasing order.
t, 0, k
Let w = 18 + -20. Let p be (3/w)/(((-6)/2)/(-6)). Sort p, 5, 4, -1.
p, -1, 4, 5
Let h = -3776/6285 + 1/1257. Put 0.5, -1, -4, h in descending order.
0.5, h, -1, -4
Let q = -14947 - -14950. Let w = -2 - 3. Sort w, 4, q, 0.2.
w, 0.2, q, 4
Let p = 847 + -850. Sort p, -3/5, 7.19 in decreasing order.
7.19, -3/5, p
Let o be (-11)/((-1)/(16/(-24)))*3. Suppose 5*j + 20 = -g, 16 = g - j - 3*j. Put g, 3, o in decreasing order.
3, g, o
Let z(j) = -j**2 + 14*j - 30. Let c be z(11). Suppose 20 - 32 = c*d. Put 1, -26, d in descending order.
1, d, -26
Let l = 3.72 + -6.72. Put -1/2, 0.3, 5, l in decreasing order.
5, 0.3, -1/2, l
Suppose 0 = 5*d - 4*d - 2. Let h be -26*((-1)/d + 0). Let j = -14 + h. Put 5, -2, j in decreasing order.
5, j, -2
Suppose 3 + 1 = j, 5*j - 14 = -2*g. Let p be 1/((120/(-16))/15). Put 0, p, g in ascending order.
g, p, 0
Let r = 67 - 81. Sort r, -2, 0.1 in ascending order.
r, -2, 0.1
Let t = -0.055 + 44.055. Let w = 40 - t. Sort 0.2, -8, w in descending order.
0.2, w, -8
Let y = 0.3 - 0.4. Let c = -1.9 + -0.9. Let p = 3.8 + c. Sort p, 3/2, y in increasing order.
y, p, 3/2
Suppose -4*h + 2*h - 2 = 0. Suppose 3*w = 2*f - 2, 4*f - 18 = 4*w + 9*f. Sort h, -7, w, 1 in increasing order.
-7, w, h, 1
Let t be 12/(-9) + 1/3. Let n be (-1 - (0 - 1))/3 - -14. Let o be n/(-84) - (-3)/((-36)/(-74)). Put t, 5, o in decreasing order.
o, 5, t
Let t = -2801/4197 + 1/1399. Sort t, 4, 36 in descending order.
36, 4, t
Let f(v) = -v**2 - 4*v + 2. Let o be f(-4). Let d be ((4 - 6)/(-2))/(-1). Let p be (-1 + d)*-1*2. Put o, -5, p in decreasing order.
p, o, -5
Let d(t) = 17*t + 89. Let j be d(-5). Put -1, j, -232 in decreasing order.
j, -1, -232
Let k be (-18)/(36/(-8) + 3). Suppose s + s = -k. Suppose -l + 2*l = 3*m - 7, 3*m + 4*l - 2 = 0. Sort s, -1, m in decreasing order.
m, -1, s
Suppose 44840 = -10*g + 44850. Let t be (-202)/36 - (-1)/(-2). Let i = 19/3 + t. Put g, i, -0.3 in ascending order.
-0.3, i, g
Let a = -0.7 - -1. Let k = -1659 + 3317/2. Sort k, -2, a in decreasing order.
a, k, -2
Let w = 7085/1384 + 1/173. Let b = -5 + w. Sort 5, -0.2, b, 3 in ascending order.
-0.2, b, 3, 5
Let g = -5/6 + 29/36. Let m = -41/180 - g. Let o = -281 + 285. Put m, -0.5, o in increasing order.
-0.5, m, o
Let l = 40 + -358/9. Sort l, -0.5, 65.
-0.5, l, 65
Suppose -5*a + 5*d - 40 = 0, -4*a - 2*d + 18 = 20. Sort a, -32, -1 in increasing order.
-32, a, -1
Let l = -40 - -54. Let j = l - 18. Put j, 0.1, -1/3 in descending order.
0.1, -1/3, j
Let w be ((-6)/4)/(201/66 - 3). Sort -5, 1, w, -1 in decreasing order.
1, -1, -5, w
Let g(j) = -j**2 + 6*j - 7. Let k be g(5). Let h = -653 - -4575/7. Put h, k, 5 in descending order.
5, h, k
Suppose 0 = -12*v + 14 + 238. Let g(d) = -4*d + 79. Let u be g(v). Sort 4, -64, u.
-64, u, 4
Let b = 8.1 + -8.3. Let o(q) = q**3 + 6*q**2 - 6*q + 8. Let h be o(-7). Put -2, h, b in descending order.
h, b, -2
Suppose -3*q = 2*q. Suppose 14*s + 855 + 699 = 0. Let y = 116 + s. Put -4, q, y in descending order.
y, q, -4
Let q = -68.5 - -69. Put -2/5, q, -3.1 in ascending order.
-3.1, -2/5, q
Let x = -912 + 896. Sort -4, x, -6 in increasing order.
x, -6, -4
Let t be ((-64)/(-128))/(3/(-6)). Let j(f) = f - 11. Let r be j(6). Sort t, 1, r in descending order.
1, t, r
Let y = 21.7 + 1.3. Let o = 23.2 - y. Let g = o - -0.2. Put 9, -4, g in descending order.
9, g, -4
Let m be (-228)/9 + 6/(-9). Let l = m + 25. Let q be 14/4 - l/(-2). Sort -1, q, -5 in ascending order.
-5, -1, q
Let u be (39/7)/3 - (57 - 55). Let y = -4/19 - -31/57. Put y, u, -5/3, -2/11 in descending order.
y, u, -2/11, -5/3
Let f = -0.91 - -4.81. Let g = f - 6.9. Let x = -2 - -1. Sort x, 2, g.
g, x, 2
Let a = -24 + 24. Let d be a + (-2 - 21/(-15)). Put -1, d, 0.5 in ascending order.
-1, d, 0.5
Suppose 0 = -11*f + 4*f - 14. Sort -7, -1/2, 0, f.
-7, f, -1/2, 0
Let d = -237 + 236.97. Sort d, -0.11, -2/3, -2.
-2, -2/3, -0.11, d
Let a(f) = -3*f + 19. Let c be a(6). Let q be c - (3 + 1 + -2). Put q, -4, 5 in decreasing order.
5, q, -4
Let j = -4 - -5. Suppose -2*k + 3 = -j. Let p(s) = s**3 + 12*s**2 - 14*s - 16. Let w be p(-13). Sort -5, w, k in ascending order.
-5, w, k
Suppose -40 = 2*l - 68. Let p = l - 17. Let n(r) = r**3 - 3*r + 3. Let u be n(2). Sort u, -1, p.
p, -1, u
Let j be 0 - 2 - 1 - -15. Suppose -3*u + 26 = -1. Suppose u*q - j*q = -30. Put 4, q, -5 in decreasing order.
q, 4, -5
Suppose 0 = 10*z - 0*z + 910. Sort -4, z, -5.
z, -5, -4
Let m = 0.192 - 0.092. Let b(p) = p**3 + 4*p**2 + 4*p + 3. Let i be b(-3). Let d = i - -4. Sort 3, m, d.
m, 3, d
Let v be (-10)/(-55) + 159/33. Suppose u - 2*p + v = 0, 5*u + 2*p + 5 = 28. Let s be u - -4*(-2)/8. Sort -11, s, -1/3.
-11, -1/3, s
Let m = -10 + 24. Let z = m - 14. Suppose 5*y - 5*a - 25 = 0, 5*y + z*y - 2*a = 10. Sort -4, y, -3 in increasing order.
-4, -3, y
Le