easing order.
d, 0, t
Let r(f) = 32*f - 177. Let g be r(5). Sort -1, g, -14 in decreasing order.
-1, -14, g
Let b(l) = -l**3 + 13*l**2 - 9*l + 118. Let j be b(13). Let g(h) = h**3 + 4*h**2 + h + 4. Let w be g(-4). Sort -1, w, j, -5 in ascending order.
-5, -1, w, j
Let y be (-371)/(-1335) + (-87)/145. Let d = y - 1/89. Put 1, -5, d, -9 in decreasing order.
1, d, -5, -9
Let o = 2.22 + -4.22. Sort o, -1, 0.27, 0 in ascending order.
o, -1, 0, 0.27
Let m = 4 + -70. Sort -3, -5, m in descending order.
-3, -5, m
Let k = 204 + -203.83. Put -4, k, -0.5 in descending order.
k, -0.5, -4
Let x be ((-6)/(-26))/(3*7/(-2)). Let b = -97/273 - x. Put b, -0.5, 2, 0.5 in descending order.
2, 0.5, b, -0.5
Suppose -21 = 36*v - 39*v - 3*z, v + 5*z = 19. Put v, -7, 3 in descending order.
v, 3, -7
Let l(t) = t**2 + 11*t + 27. Let g be l(-8). Put 2, g, -6 in decreasing order.
g, 2, -6
Let y = 8 - 7.7. Let f = -0.04012 - 0.05988. Sort -2, y, f, 0.
-2, f, 0, y
Let d be ((-16)/5 - -2) + 2. Let a = -6437 - -6428. Sort a, 5, d in ascending order.
a, d, 5
Let v = 1252 - 1252.08. Sort v, -2/3, 2 in decreasing order.
2, v, -2/3
Suppose -2*s + 2*i = 3*s - 27, 3*s + 5*i - 10 = 0. Suppose 4*h - 3 = -s*m + 3, -m + h = -3. Put 3, m, 1 in descending order.
3, m, 1
Suppose -2*n + 0*n - 5*y - 12 = 0, -3*n + 32 = -5*y. Sort -1, n, 2, -4 in ascending order.
-4, -1, 2, n
Suppose -20*l + 0*l + 20 = 0. Sort l, -2, 3 in increasing order.
-2, l, 3
Suppose q = 6*q - 225. Suppose 3*p + q = -6*p. Sort 2/3, -0.3, p in decreasing order.
2/3, -0.3, p
Let g = -51 - -48. Suppose 3*r - 2 = r. Sort r, g, 19 in descending order.
19, r, g
Let f be (33 - (-2 - -2)) + -2. Let r(x) = 37*x - 2. Let t be r(1). Let d = t - f. Sort -13, d, -5.
-13, -5, d
Suppose 12*u - 32 = 10*u. Suppose 4*d + 0 = u. Suppose 28 = d*l + 4*z, 0*z - 1 = -3*l + 2*z. Sort -2, l, -1 in decreasing order.
l, -1, -2
Suppose -11*f + 6*f - 19 = -3*d, -5*f - 23 = -d. Put -3, -177, d in increasing order.
-177, -3, d
Let c = 43 - 130. Let t = -89 - c. Put 3, -4, 5, t in descending order.
5, 3, t, -4
Let p be -4*(-2)/(-8)*-7. Suppose -p = -4*b + 29. Put b, 4, -2 in descending order.
b, 4, -2
Suppose 2*r = 3*v - 7*v + 34, -5*r - 2*v + 45 = 0. Suppose -12 = -10*k + r*k. Suppose 5 - 1 = k*h, -5*s + 8 = 3*h. Put s, 5, -4 in descending order.
5, s, -4
Let r be (-1)/(2/(0 - -12)). Let q = r - -5. Suppose d = -h, 6 = 3*d + 5*h - 4*h. Sort d, q, 1 in decreasing order.
d, 1, q
Let z = -636.8 + 637. Put -0.5, -0.1, -19, z in increasing order.
-19, -0.5, -0.1, z
Let w = 151 + -148. Let q = 3 + -3.02. Let o = -0.02 - q. Put o, 2/3, w in increasing order.
o, 2/3, w
Let s = -4 + 4. Suppose -12 = -s*f - 3*f. Suppose 0 = y + 2*a + f, 2*y + 0*y = 3*a + 13. Sort -4, 0, y in increasing order.
-4, 0, y
Suppose -4*z + b - 104 = 0, -z - 2*b + 0*b - 26 = 0. Let s be z/143 + 40/(-22). Sort s, 5, 3 in descending order.
5, 3, s
Let u = 73.7 - 1.7. Let y = -72.3 + u. Put -3, -2/5, y in increasing order.
-3, -2/5, y
Let s = -72.8 - -77.89. Let o = s + -0.09. Let f be 8/(-90)*(-3)/(-2). Sort o, f, 0.2 in ascending order.
f, 0.2, o
Suppose -2*x + 0*x + 2 = 0. Let w = -0.038 + 0.038. Sort x, w, -5 in increasing order.
-5, w, x
Let n = -0.139 - 0.081. Put -0.5, 0.5, n, 5/3 in descending order.
5/3, 0.5, n, -0.5
Let o be 0/(-3) + -7 - -4 - -11. Sort -2, 1, 4, o in ascending order.
-2, 1, 4, o
Let t = -1616 - -1618. Suppose 1 + 3 = 4*p. Sort p, -2, t.
-2, p, t
Let j = -3.4 - -3. Let l = -60.5 + 61. Let m = 4 + -6. Put l, m, j in descending order.
l, j, m
Let l be (444/190809)/((-4)/(-18)). Sort l, -5, -3/5 in ascending order.
-5, -3/5, l
Let k = -4.18 - -4. Let m = k - 0.1. Let c = m + -0.72. Sort 0, 2/63, c.
c, 0, 2/63
Let c be ((-3)/(6/(-4)))/(-2). Let y be (-4 - -2)*(-28)/(-8). Let h be (c/(-5))/(y/(-35)). Put h, -0.4, 0.1 in increasing order.
-0.4, 0.1, h
Suppose -3*c = -0*c + 3. Let v = 753 + -753. Sort c, -4, v, 4 in decreasing order.
4, v, c, -4
Let t be (18/(-72))/((-1)/36). Sort 2, t, -1, 1 in descending order.
t, 2, 1, -1
Let k = 128/7 + -18. Let g = -3/2 - -2. Sort k, -0.4, 3, g in descending order.
3, g, k, -0.4
Suppose 10 = 3*t + 2*t. Suppose -4*f - o - t = -13, 4*o = -5*f. Sort f, -4, 6.
-4, f, 6
Let m = 240.5 + -240. Put -4, m, 0 in descending order.
m, 0, -4
Let c be 7 + (-204)/28 - (-32)/14. Let n be 0 - c/(4/16*-1). Suppose -5*d - 3 = 7. Sort 1, d, n in increasing order.
d, 1, n
Let q = 6.6 - 6. Suppose -3*f + 22 = -5*k, 8 = -5*k + 3*k + f. Sort q, k, -5 in decreasing order.
q, k, -5
Let y = 0.11 - 0.11. Let c = -5.13 + 5. Let x = c + -0.07. Put y, 1, x in descending order.
1, y, x
Let o be 64/12 + 2/(-6). Let x be (-17)/(-3) + (-3)/(-9) + -1. Suppose -5*h + b - 7 = 0, x*h = 7*h - 5*b + 12. Sort o, 3, h in increasing order.
h, 3, o
Let f(z) = z**3 + 5*z**2 - 5*z + 3. Let p be f(-6). Suppose 0 = -3*q + 4*q + 5. Let l = 14 - 12. Put p, l, q in increasing order.
q, p, l
Suppose -3*j = w - 8, -2*w - 7*j + 8 = -3*j. Put w, 14, 4 in decreasing order.
14, 4, w
Suppose -b + 3*l + l - 16 = 0, -2*l = -6. Let d be (-38)/(-16) + b*(-6)/(-12). Sort d, 2, 5.
d, 2, 5
Let h = 23 - -8. Let x = -31 + h. Sort x, 0.2, 1/2 in increasing order.
x, 0.2, 1/2
Suppose -34*l = -8*l + 39 + 91. Let o be 2/(-2*(1 + 0)). Sort o, 1, l in decreasing order.
1, o, l
Let k = 0.508 - 0.748. Sort k, 0.5, -1/3, 0.2 in ascending order.
-1/3, k, 0.2, 0.5
Let o(r) = r**2 - 3*r + 6. Let m be o(2). Sort m, -10, -23 in descending order.
m, -10, -23
Let t be 2/(-3)*33/55. Let n = 14.6 - 14. Put n, -0.2, t in decreasing order.
n, -0.2, t
Let g be 34/9 + (-6 - 112/(-18)). Let c = -5 - -1. Sort g, 8, -2, c in increasing order.
c, -2, g, 8
Let j = 0 + 0.03. Let u = j - 0.33. Sort -2, -1/5, u in ascending order.
-2, u, -1/5
Let r = 2 + -2. Let k be 24/(-3) - -5*(-12)/(-12). Sort k, r, -7 in decreasing order.
r, k, -7
Let a = -27 - -25.5. Let c = a - -1.2. Sort 2/3, c, 3 in descending order.
3, 2/3, c
Suppose -6*g = -8*g + 36. Let h be 349/(-204) - g/(-9). Let s = 2/51 - h. Sort 1/5, s, -1/3 in decreasing order.
1/5, s, -1/3
Let n(w) = w**3 + 9*w**2 - 35*w - 211. Let f be n(-9). Sort -2, f, -4, 2.
-4, -2, 2, f
Let l = -6832.2 - -6832.7. Let p = 23/51 - 2/17. Let i = -3 + 0. Sort p, i, l in decreasing order.
l, p, i
Let h = -26/19 - -109/38. Sort -0.5, 7/5, h in decreasing order.
h, 7/5, -0.5
Let i = -4 - -1. Let x be 1/i - 2*(-33)/(-18). Sort x, -2, -5, -6 in decreasing order.
-2, x, -5, -6
Let u be 1*7/(-3)*6. Put -4, u, -1, 0 in increasing order.
u, -4, -1, 0
Let v = -965 + 960. Sort v, 1, -2, 3 in ascending order.
v, -2, 1, 3
Suppose -2 = -7*t + 5*t. Let g be (-2 - t) + (-11)/(-4). Sort -5, -0.4, g in ascending order.
-5, -0.4, g
Suppose 5*j = 2*j + 18. Suppose -3*g + 9 = 0, -g + 3*g + j = -3*i. Sort i, -18, -1 in descending order.
-1, i, -18
Let q = 75 + -80. Let d be q - (4/(-6) - (-9)/(-27)). Put d, -3/4, -3/2, 2 in increasing order.
d, -3/2, -3/4, 2
Let s = -899 - -903. Sort -2, -14, s.
-14, -2, s
Let r be (-1)/(-5) + (-1923)/15. Let m = 44531/198 + -1741/18. Let f = m + r. Sort -4, 1/3, f in decreasing order.
1/3, f, -4
Let c = -5.08 - -0.08. Let t = 2 + c. Let n be 0/(((-8)/(-6))/((-10)/15)). Sort n, 1, t.
t, n, 1
Suppose 4*z + 2*m = 2 - 324, -5*z + 3*m = 397. Put -1, -2, 4, z in ascending order.
z, -2, -1, 4
Let v = 0 - -0.3. Let t = -93 - -27. Let w = t + 62. Sort w, v, 3 in increasing order.
w, v, 3
Let m(l) = -14*l**3 - 2*l - 1. Let i be m(-1). Suppose -c + 4*c + i = 0. Let w = -13 + 18. Sort c, w, 4 in increasing order.
c, 4, w
Let h = -2356 - -2351. Put 0.07, -4/7, h, 1/38 in decreasing order.
0.07, 1/38, -4/7, h
Let s be 1/(-5)*(-140)/(-112). Put -0.3, 2, s in increasing order.
-0.3, s, 2
Let o be 2 + -1 + -2 + 2. Let k = -3 - -5. Suppose f - k*f = -2*h + 13, 3*f + 4*h + 9 = 0. Put -1, o, f in increasing order.
f, -1, o
Suppose 13*q - 8*q - 10 = 0. Suppose -4*o + 13 = -3*f, 13*f - 12*f - 2*o = -1. Put f, -2, q in increasing order.
f, -2, q
Suppose -b + 5*u + 5 = -0*u, -15 = -3*b + 2*u. Suppose 0 = b*g + 5*q - 5, 5 = -g + 3*q - 6. Sort -9, -4, g in increasing order.
-9, -4, g
Let q(j) = -j**2 + j + 1. Let y(u) = 3*u**2 - 9*u + 4. Let x(l) = -2*q(l) - y(l). Let z be x(5). Let n be ((-4)/5)/(6/(-15)). Sort 1, n, z in descending order.
z, n, 1
Suppose -2*y + 4*f + 2 = 0, 4*y + 1 = y + 2*f. 