ending order.
h, -1, 1, 7
Suppose 3*j + 1 = -2*l - 2*j, 4*j = -2*l - 2. Let p be 4/3*l/1. Let i = -26043.3 + 26043. Sort p, i, 3 in increasing order.
p, i, 3
Let b(f) = -2*f**3 + 25*f**2 - 12*f + 13. Let t be b(12). Put 0, 1, t in increasing order.
0, 1, t
Let p = -2.263 + 0.263. Let r = -2/21 - -8/21. Sort p, r, -0.4, 3 in increasing order.
p, -0.4, r, 3
Let p = -1.3 + 0.3. Let l = -26 + 21. Let b = 14 + -10. Sort p, l, b.
l, p, b
Let u = -82 + 74.4. Let s = u - -8. Let l = 1.4 + -1.5. Sort 2, l, s in decreasing order.
2, s, l
Let q = -33 + 33. Let g be ((-6)/8)/(48/208). Sort 4, q, g in increasing order.
g, q, 4
Let b be ((-4)/5)/(2/5). Suppose 0*l - 4*l = 8*i - 184, -3*l = -6. Put 1, -1, b, i in increasing order.
b, -1, 1, i
Let a be 2/(-7) + (-14)/(-49). Let c be a/5 + 2 - -3. Suppose 0 = -p - 5*k - 0*k - 6, 0 = -k - 2. Sort c, 2, p in increasing order.
2, p, c
Let p(v) be the first derivative of -v**2 - 8*v - 2. Let j be p(-6). Sort 3, -3, j, -9 in decreasing order.
j, 3, -3, -9
Let v = -4603/29 + 159. Sort 1, v, -5.
-5, v, 1
Suppose -4*m = 2*z - 5*m, -5*z = -2*m - 1. Let k = -23 - -16. Suppose -12 = n + 4*d, 2*d + 0 = -4*n + 8. Sort z, k, n in ascending order.
k, z, n
Let q = 63 + -44. Let h = q - 19.3. Put 2, 3/4, h, -4/3 in decreasing order.
2, 3/4, h, -4/3
Let m be 3/(2 - (-56)/(-16)). Sort 28, -4, m in decreasing order.
28, m, -4
Suppose 0 = -5*p + 2*i + 10, -2*i = i. Suppose 0 = 3*w + p*r - 2, -2*r + 8 = -2*w - r. Sort w, -0.9, -1/8 in increasing order.
w, -0.9, -1/8
Suppose -16*a = 17 - 1. Sort 2, 1/4, 1/10, a in decreasing order.
2, 1/4, 1/10, a
Suppose -6*o + 5580 = 5550. Put 0.2, 5/2, o, -1/2 in decreasing order.
o, 5/2, 0.2, -1/2
Let k = -0.9 - 8.1. Let b = 13.1 - 1.1. Let x = b + k. Sort x, -3/2, -0.3 in decreasing order.
x, -0.3, -3/2
Let o(f) = 2*f - 31. Let c be o(15). Put c, 2, -3 in ascending order.
-3, c, 2
Suppose 0 = -z - 0*z + 2. Suppose 9*g = -48*g + 171. Sort z, -2, g in decreasing order.
g, z, -2
Let i(j) = -2*j + 2. Let y be i(5). Let q be (-7)/5 - 4/(-10). Suppose -3*t = -5*d + 6, -d + 3*t + 12 = 6*t. Put d, q, y in decreasing order.
d, q, y
Let x = -112 - -120. Let s = 5 - 9. Let g(p) = -p**2 - p - 3. Let k be g(0). Sort x, k, s in decreasing order.
x, k, s
Let w(c) = 4*c**2 - 1. Let h be w(-1). Let j = -1.9283 - 0.0717. Sort h, j, 1 in descending order.
h, 1, j
Suppose 0 = s + 4 - 18. Let u be ((-4)/5)/(s/(-10)). Let y = -39586/21 - -5656/3. Put 1/2, y, u in descending order.
u, 1/2, y
Let n = 6.2 + -5.8. Let f = 4.4 - n. Sort -4, f, 0.03 in increasing order.
-4, 0.03, f
Let t(m) = -14*m - 2. Let u be t(-2). Suppose 4*f - 59 = 37. Let i = u - f. Put i, 3, 5 in descending order.
5, 3, i
Suppose 16*h = 19*h - 3. Suppose 3 = -l + h. Suppose 0 = -0*o - 2*o + 6. Sort o, 5, l.
l, o, 5
Let w = -0.7 - -0.3. Let o = 18/205 + -2314/17015. Let n = o - 130/747. Sort 4, w, n in increasing order.
w, n, 4
Let n(l) = -l**2 - 4*l + 5. Let c be n(-4). Suppose -4*u + 2*r = -u + 2, -5*r = 5*u - c. Suppose 3*q + 5 + 1 = u. Sort -3, q, -7 in descending order.
q, -3, -7
Let m be ((-260)/(-50))/((-6)/(-420)). Put 2/5, 4/7, m, 1/3 in descending order.
m, 4/7, 2/5, 1/3
Suppose -26*d + 28 = -33*d. Sort d, -9, -3 in ascending order.
-9, d, -3
Suppose 5 = r - 3. Suppose -3*o + r = 14. Let n be (1/o)/(2/20). Sort n, 1, -4 in ascending order.
n, -4, 1
Suppose -5*l + 2*r + 8 = 0, 4*l + r + 20 = -4*r. Sort l, 3, -52, 1 in increasing order.
-52, l, 1, 3
Suppose 8*h = -3*h. Sort 3, -2/7, h, -0.5.
-0.5, -2/7, h, 3
Let w = 3795/362 - -3/181. Sort 5, -1/3, w, 1 in ascending order.
-1/3, 1, 5, w
Let w = -2/887 - 877/4435. Let k be (0 - 2)/(-1 - 2). Sort w, k, -5, -0.5 in decreasing order.
k, w, -0.5, -5
Let u = -70 + 69.9. Put -1, -16, 0, u in decreasing order.
0, u, -1, -16
Let o(t) = -t**2 + 40*t - 239. Let f be o(33). Let a = -4 - -7. Let v be (-3)/(-2) + 0 + -1. Put a, f, v in ascending order.
f, v, a
Let b = -22.964 - 0.036. Let i = 20 + b. Sort -2/3, -2, i, -1/2 in descending order.
-1/2, -2/3, -2, i
Let g be 3/(24/(-32)) + 8. Sort 3, -7, 5, g in decreasing order.
5, g, 3, -7
Let c = 2 + 0. Let b = 2148 + -2147. Put b, 4, c, -1 in increasing order.
-1, b, c, 4
Let f = 1838.8 - 1839. Put -0.5, -0.7, f in descending order.
f, -0.5, -0.7
Let c be 1/((-126)/(-100)) - 384/672. Suppose -2*z = j + 7, -5*z = -4*j - j + 10. Sort j, 5, c in increasing order.
j, c, 5
Suppose k - 12 + 4 = 0. Let b be (-105)/20 + k/2. Sort -4, b, -5 in decreasing order.
b, -4, -5
Let c(p) = p + 2. Suppose 12*h - 12 = -48. Let u be c(h). Put 5, u, 0 in ascending order.
u, 0, 5
Let j = 2770 - 2773. Put 4.6, j, -4, 0.2 in increasing order.
-4, j, 0.2, 4.6
Suppose 0*f = -4*f - 4*v + 64, 0 = -f - 2*v + 16. Sort -2, f, 5, 2 in descending order.
f, 5, 2, -2
Let b = 4.3 + -0.1. Let z = -4.37 + b. Let u = 0.27 + z. Sort -12, 5/4, u in ascending order.
-12, u, 5/4
Let s = 100 + -82. Let f be 1 + 2/(2/(-19)). Let q = f + s. Sort q, 5, -3 in increasing order.
-3, q, 5
Let m be (1 - (-12)/(-3)) + 144/45. Sort m, 0, -0.6 in ascending order.
-0.6, 0, m
Suppose -41 = 12*w - 5. Put 1, 30, 5, w in decreasing order.
30, 5, 1, w
Let q = 556/5 - 112. Let p be ((-5)/50)/(2/(-15)). Let g be (-2)/(-10) - (-9)/(-20). Put q, p, g in descending order.
p, g, q
Let n = -2/225 - 209/1800. Sort -1/3, 0.1, n, 5 in increasing order.
-1/3, n, 0.1, 5
Let f = -0.2 - -0.2. Let d = -535 - -535.1. Put f, 4, d in descending order.
4, d, f
Let w = 17 + -9. Let f = 186 + -184. Sort w, f, 0.4, -4 in decreasing order.
w, f, 0.4, -4
Suppose 400 + 660 = 5*f - z, -5*z = -5*f + 1080. Let r = -2319/11 + f. Sort r, 0, -0.2 in descending order.
r, 0, -0.2
Let k(i) = -i**2 - 4*i + 187. Let s be k(12). Sort -38, 0, -3, s.
-38, s, -3, 0
Let q = 54 + 10. Put q, -2, 2, -1 in descending order.
q, 2, -1, -2
Let v be 4/(-6)*(-12)/(-20). Let k = -207 + 203. Put k, 1/4, v in descending order.
1/4, v, k
Suppose -4*f + 15 = -25. Suppose -f*z = -5*z + 35. Let i(a) = a**3 - 3*a**2 - 4. Let d be i(3). Sort -5, d, z in decreasing order.
d, -5, z
Let i = -3562/7 - -508. Sort -1, 11, i, 0.4.
-1, i, 0.4, 11
Let v = 5 + -4.48. Let l = v - -0.08. Let p = 1.4 + l. Put p, 4/9, 0.02 in decreasing order.
p, 4/9, 0.02
Suppose 2*l = 760 - 754. Put l, -2, 24, -4 in descending order.
24, l, -2, -4
Let q be (18 + -16)*2/(-4). Sort -2, q, -5, -4 in decreasing order.
q, -2, -4, -5
Suppose 0 = 2*u - 13*q + 16*q, -4*u - q + 10 = 0. Put 0.2, u, -8, -2/9 in descending order.
u, 0.2, -2/9, -8
Suppose 4*x - 2*o + o = 19, 5*x - 10 = 4*o. Suppose -24 = x*u + 24. Put -5, u, 0 in descending order.
0, -5, u
Let u(s) be the first derivative of -s**4/4 - 2*s**3/3 - s**2/2 + 2*s + 2. Let a be u(-2). Let c be (-6)/a*(-3)/27. Sort -8, -1, c.
-8, -1, c
Let c = -309.91 - -310. Put c, -6/5, 0.3 in decreasing order.
0.3, c, -6/5
Let c = 1303 + -1303.3. Sort -3/4, c, 59, -1/2.
-3/4, -1/2, c, 59
Let d(k) = -k**3 + 6*k**2 - 12*k + 9. Let o be d(3). Sort 95, 1, o in ascending order.
o, 1, 95
Let z = 1317263/485 - 2716. Sort 2, z, -2/19 in descending order.
2, z, -2/19
Let l = 85 + -257/3. Let x = 18 - 18.24. Let n = x + 3.24. Sort n, l, 2.
l, 2, n
Let m = 23 + -19. Suppose 3*r - 5*i = -m, -r + 3*i - 7 + 3 = 0. Let o be (r + -3)*(0 - 3). Put -17, 4, o in increasing order.
-17, o, 4
Let u = -0.32 - -0.52. Sort 3/7, 2, u, 0.01 in decreasing order.
2, 3/7, u, 0.01
Suppose 29*l = -8*l - 111. Let j be 0/((-3)/(9/(-6))). Suppose j*n - n - 14 = 3*a, 5*a + 24 = -n. Put l, n, 2 in decreasing order.
2, n, l
Let v(f) = 11*f + 122. Let c be v(-11). Put 0, -4, 4, c in ascending order.
-4, 0, c, 4
Suppose -7*c + 41 - 6 = 0. Suppose -y + c*p = 22, 5 + 9 = 3*y + 5*p. Let h = 1 + -1. Sort y, h, 0.1 in ascending order.
y, h, 0.1
Suppose -3*q + 9 = 2*a, 5*q - 31 + 0 = 2*a. Sort q, -39, -5, 4 in ascending order.
-39, -5, 4, q
Let z = -42 + 46. Let r be z/(-6) + (-56)/24. Let q be (1/(-2))/(1/(-8)). Put r, 0, q in descending order.
q, 0, r
Suppose p - 10 = 2*k + 5, 0 = 5*k + 4*p + 5. Let z = -0.108 - 59.892. Let h = -57 - z. Sort h, k, -1.
k, -1, h
Let g = -0.11 + -0.19. Let x = g + 0.49. Let f = x - -1.81. Sort 12/5, f, 2/9 in increasing order.
2/9, f, 12/5
Let l = 0 - 0.02. Let h = 4.32 + -0.3. Let r = l + h. Sort -2/19, r, 3/7.
-2/19, 3/7, r
Let w be (2 + -2)/(0 + -2). Suppose w = 5*m - 25 -