Put 0, -26, a in decreasing order.
a, 0, -26
Let o = 13 - 11. Suppose m = -2, 0 = 4*h + 5*m - o*m - 22. Suppose 0 = 4*a - 1 - h. Sort -2/5, a, 3.
-2/5, a, 3
Let b = -110.9 - -108.9. Sort b, -3, 57 in increasing order.
-3, b, 57
Suppose 0 = 4*v - 4*r + 4, -v + 9 = -0*r + r. Put v, 0, 2, 5 in decreasing order.
5, v, 2, 0
Suppose -15 = -5*r - 5*q, -q = -292*r + 296*r - 6. Sort -5, -15, r, 0 in increasing order.
-15, -5, 0, r
Let n(o) = 4*o - 2. Let b(z) = -2*z + 1. Let t(c) = -7*b(c) - 4*n(c). Let r be t(3). Let x = -0.05 + 6.05. Sort x, 1, r in ascending order.
r, 1, x
Let z(c) = 14*c - 24. Let v be z(-8). Let g = v + 388/3. Let t = g + 31/6. Put 1, -3, t in decreasing order.
1, t, -3
Let j = 1004 - 1004. Let w(d) = d**2 + 7*d + 3. Let l(t) = t**3 + 4*t**2 - 4*t - 2. Let o be l(-5). Let f be w(o). Sort f, j, 2 in decreasing order.
f, 2, j
Let r = 323043/299 - 18252/23. Let h = 287 - r. Let k = 212 + -212.1. Put 5, k, h in ascending order.
k, h, 5
Let w = -89 - -87. Sort -2/7, w, 0.93, 2 in descending order.
2, 0.93, -2/7, w
Let y(n) = -160*n + 137. Let z be y(6). Sort -3, z, 5 in ascending order.
z, -3, 5
Let l(c) = -c - 5. Let k be l(-8). Suppose -2*u = 4*a + 4, k*a - 2*u = -a + 4. Let n be -2*(-2 - -1)/1. Sort -1, a, n in descending order.
n, a, -1
Let s = -0.773 + 0.83. Let k = -0.457 + s. Sort -0.01, k, -2 in increasing order.
-2, k, -0.01
Suppose s + s = 8. Suppose -p = 2*p + 5*b + 23, s*b = 4*p - 12. Sort -1/3, 3/7, p in decreasing order.
3/7, -1/3, p
Let s = 597/16 + -37. Let z = s + 7/80. Let k(x) = 3*x - 2. Let y be k(1). Put y, -3/7, z in ascending order.
-3/7, z, y
Let b = 7.5 - 5.5. Let g = -0.3 - 0.7. Sort 4, 5, b, g in decreasing order.
5, 4, b, g
Let z(x) = x**3 + 9*x**2 + 18*x + 63. Let g be z(-8). Put 2, -1/7, 1/5, g in descending order.
2, 1/5, -1/7, g
Let p(w) = -w + 7. Let x = -2 - -10. Let l be p(x). Suppose 5*g + 16 = -9. Put g, l, 0 in increasing order.
g, l, 0
Let p(k) = k**3 - 14*k**2 + 24*k - 1. Let m be p(12). Put 7, 2, m in descending order.
7, 2, m
Let d = 87 - 779/9. Let u = 766 - 369. Let s = u + -1993/5. Put 0.3, d, s in increasing order.
s, 0.3, d
Let x = 0.14 + -0.54. Suppose -3*j + 8 = -7. Let z = j + -38/7. Sort -2, x, z.
-2, z, x
Let d = 1339 - 802. Sort -4, d, 2 in descending order.
d, 2, -4
Suppose l = 7*w - 2*w - 160, -2*w = 5*l - 37. Let x = -24 + w. Let m be 200/70*x/2. Sort -3, m, 1 in ascending order.
-3, 1, m
Let x = 0.38 + -0.4. Let g = 0.18 - x. Let w = -3.8 - g. Sort 1/6, w, 4 in descending order.
4, 1/6, w
Let n = -28 - -26. Sort 2/7, n, 2, -0.1.
n, -0.1, 2/7, 2
Let p = -70 - -632/9. Let m = 675 + -674. Put -10, p, m in decreasing order.
m, p, -10
Let d = 86 + -85. Let w = -32 + 14. Let r be (-9)/w - (-7)/(-2). Put d, -2/3, r in ascending order.
r, -2/3, d
Let y be (24/(-16))/((-18)/12). Sort 0, 7, y.
0, y, 7
Let k = 0.7182 + -0.0182. Put 3/8, k, -0.3, 0.5 in descending order.
k, 0.5, 3/8, -0.3
Let b = 34 - 32. Put -1, b, -3, -4 in ascending order.
-4, -3, -1, b
Suppose -25*z = 3*z - 28. Sort -0.17, z, -3, -0.2.
-3, -0.2, -0.17, z
Let a(g) = -3*g. Suppose 4 = -2*b + 2. Let x be a(b). Suppose 2*c = -d - 4, 0 = 4*c - 8*c + x*d - 8. Sort -5, c, 0 in descending order.
0, c, -5
Let l be (-6)/45*(-6 - -5). Let m = 7 - 7.3. Put m, -1, 0.1, l in decreasing order.
l, 0.1, m, -1
Suppose 0 = 5*o + 3*o. Let c = 0.2 - -0.8. Sort -3, c, o in descending order.
c, o, -3
Let k(b) = b + 3. Let s = -1 - 2. Let u be k(s). Suppose 8*j = -5*h + 3*j - 20, 5*h - 4*j - 16 = u. Sort 2, -1, h.
-1, h, 2
Let m(k) = k - 461*k**3 + 6*k**2 - 22 + 460*k**3 + 6*k**2. Let l be m(12). Sort 3, -2, l.
l, -2, 3
Let z be (-2 + 2)*(-2)/2. Suppose -p + 5*u - 8 = z, -p - p - 6 = -5*u. Put 0, -5, p in ascending order.
-5, 0, p
Let w = -23.06 + 0.06. Let c = -28 - w. Sort c, -3, 2/7 in descending order.
2/7, -3, c
Let q = 11/2 + -6. Let r = -0.8 + -0.2. Let g = 0 - r. Sort g, -3/4, q in ascending order.
-3/4, q, g
Let f = -1298.5 + 1299. Put 2/3, -1/563, -1/4, f in descending order.
2/3, f, -1/563, -1/4
Let x(j) = j + 7. Let u be x(-3). Let m be ((-34)/(-8))/1 - u. Sort 1, -1.3, m, 2/5 in descending order.
1, 2/5, m, -1.3
Suppose -q + 3*p + 13 = 0, 16*q - 14*q = -4*p - 4. Put 1, q, 9 in descending order.
9, q, 1
Suppose 4*r + 1 = 5*k, -4*k = 5*r - 17 + 49. Let v be (-7)/14 - (-1)/(-2). Put v, r, 2 in decreasing order.
2, v, r
Let p be -6*(-3 - -2) - 7. Sort 28, 2/19, 2/5, p.
p, 2/19, 2/5, 28
Suppose 5*z - 3*z = 2. Let s = -634 + 633. Sort s, -5, z in increasing order.
-5, s, z
Let f = -470 - -475. Put f, -6, -4, 4 in descending order.
f, 4, -4, -6
Let a = 0 + 7. Suppose -2*l = -5 + a. Let u be 0/(-3 + (0 - l)). Put 2, -4, u in decreasing order.
2, u, -4
Let l = -83 + 42. Let c = l - -41. Put -0.12, 1/4, c in descending order.
1/4, c, -0.12
Let k(c) = c**2 - 1. Let z be k(2). Let a(g) = -6*g + 54. Let u be a(5). Suppose -2*l - 6 = -t + z, -4*l - u = 4*t. Put -0.4, t, 3 in decreasing order.
3, -0.4, t
Let h = -652 - -651.6. Sort -0.2, h, 20 in increasing order.
h, -0.2, 20
Suppose -f + 1 + 0 = 0. Suppose -v + 9 = -u, -29 - 22 = -3*v - 3*u. Let m be 8/(-32) - v/(-4). Sort m, f, 0 in ascending order.
0, f, m
Let z = 133 + -133.5. Let y = -23/4 + 257/44. Put y, z, -1/3 in descending order.
y, -1/3, z
Let j be (-24)/(-4)*(-28)/(-56). Sort j, -4, 33 in increasing order.
-4, j, 33
Suppose 3*h - 2 = 2*l + 2, -h + 2*l - 4 = 0. Suppose h*f = -3*i, 6 = 4*i - 5*f - 25. Let m be 80/320 + 9/(-4). Sort m, -3, i.
-3, m, i
Let w be ((-3)/(-12))/((-1)/3). Let o = -3 + 2.7. Let r = o + -0.1. Sort r, 1, w in ascending order.
w, r, 1
Let h = 130.1 - 130. Suppose 2*g + 0*g - 5 = s, -4*s + 24 = 3*g. Let b = -7 + s. Sort -2/5, b, h.
b, -2/5, h
Suppose -9*f + 19 = 1. Sort 4, f, -142 in ascending order.
-142, f, 4
Let o(y) = 50*y**3 - 4*y**2 + y + 5. Let l be o(-1). Sort 5, 1, l.
l, 1, 5
Let x(c) = c**3 - 11*c**2 + 14*c + 93. Let n be x(7). Sort 3, n, -0.02, -7 in descending order.
3, -0.02, n, -7
Let u = 2 - 4. Let r = -45.9 + 46. Sort u, r, 0 in descending order.
r, 0, u
Suppose 2 - 7 = -5*d. Let u = 12 + -11.95. Let z = -0.35 + u. Sort 5/2, z, d in decreasing order.
5/2, d, z
Let s(y) = y**3 + 2*y**2 - 15*y - 33. Let q be s(-2). Sort 1, q, -16, -2 in descending order.
1, -2, q, -16
Let x(l) = -l**2 + 6*l - 12. Let p be x(4). Put -5, p, 5, -39 in descending order.
5, p, -5, -39
Let o be 30/(-1 - -3) + 99 + -99. Suppose 8*s = 3*s + o. Let r be (-4)/9*3/(-2). Sort 0, s, r.
0, r, s
Let d = -32.97 - 1.15. Let v = d + 34. Sort 2/7, -3/2, v, -1/3 in increasing order.
-3/2, -1/3, v, 2/7
Let v be (-55)/(-60) + -1*14/21. Put 0.5, 2/81, v in ascending order.
2/81, v, 0.5
Let w be ((-10)/(-6))/(1/3). Let g be 1/6 - (-49)/(-42). Let k = 6 - 4. Sort w, g, k.
g, k, w
Let f = 24 + -28. Let w be f/22 + (-14)/770. Let n = 79/2 + -40. Sort w, n, 2 in ascending order.
n, w, 2
Suppose -20 = -163*i + 143*i. Let n = 16 - 23. Put n, i, -2 in ascending order.
n, -2, i
Let x(n) = -2*n**3 + 2*n**2 + n. Let f = -1 - 0. Let g be x(f). Let y(o) = o**2 + 46*o + 333. Let m be y(-9). Sort m, g, -5 in ascending order.
-5, m, g
Let m be 6/(-36) - 93/(-18). Suppose -g + m*g + 16 = 0. Sort g, -5, 5 in decreasing order.
5, g, -5
Suppose -1 = c - 2*x + 1, 0 = -3*c - 3*x - 15. Let j(z) = z**3 + z**2 - 12*z - 2. Let h be j(c). Sort 1, -3, h, 2 in descending order.
2, 1, h, -3
Let l = 0.23 + 1.07. Let o = l - 1. Sort 3/7, -5, o.
-5, o, 3/7
Let t = 2365 - 2364. Put 2.6, 2/19, t, 23 in increasing order.
2/19, t, 2.6, 23
Let m = 0.44 + -0.45. Put -4, m, -0.05 in increasing order.
-4, -0.05, m
Suppose 42 = -4*p - o, -4*p - 26 = -2*p + 3*o. Let n = -8 - p. Let k be (6/(-9))/(4/(-24)). Sort 5, k, n in decreasing order.
5, k, n
Let g = 54 - 20. Let k = -41 + g. Let a = k + 6. Sort -0.01, a, 3 in ascending order.
a, -0.01, 3
Let t be 6/(-8) + 0/1. Let j = -73 - -221/3. Sort 4, t, j in decreasing order.
4, j, t
Let g = -0.2 + -0.3. Suppose 46*j = -83*j + 18*j - 111. Put -4, g, -1/4, j in descending order.
-1/4, g, j, -4
Let q = 1023 - 1027. Sort 0.05, 0.8, q.
q, 0.05, 0.8
Let r = -0.057 - 47.943. Let o = r + 47.5. Sort o, 7, -1/5 in ascending order.
o, -1/5, 7
Let h = 24 + -3. Suppose -9*s + 12 = 3*x - 24, -x + 4*s - 23 = 0. Sort h, -5, x, 2 in ascending order.
-5, x, 2, h
Let t be -22 + 18 - 39/1. Let c = -47