order.
h, c, y
Let s(r) = r**2 + 2*r + 1. Let p be s(-2). Let c be -1*(-2)/(p + -3). Suppose 0 = 2*t - 6*t - 2*z - 18, -4*t - 13 = z. Sort t, c, 0.1 in descending order.
0.1, c, t
Let u(p) = -p**3 - 20*p**2 - 32*p + 77. Let t be u(-18). Put 1.15, 0, t in decreasing order.
t, 1.15, 0
Let b be ((-5)/(-10) - 1)*0. Let y be 9/(-2)*(2 - 0). Sort b, y, -1 in increasing order.
y, -1, b
Let v = 252.5 - 253. Let q = 2 - 6. Let k = q + 4.4. Put v, -4, k in descending order.
k, v, -4
Let o be -2 - (-2 - (-4)/6). Let w = 0.41 - 0.46. Let i = -0.15 + w. Put o, -2, i in descending order.
i, o, -2
Let p = 5 + -27/5. Let j be (-6)/((-18)/21)*3. Let o = 16 - j. Put 0.2, p, o in descending order.
0.2, p, o
Let o = -385 + 359. Put o, 0.3, 2/3, 0.2 in decreasing order.
2/3, 0.3, 0.2, o
Let o(v) = v**2 + 3*v - 3. Let j be o(-5). Let t(d) = d**2 - 6*d - 1. Let g be t(j). Let l = 13.1 - 13. Put -0.4, g, l in increasing order.
-0.4, l, g
Let l = -55 + 55.29. Let f = 0.09 - l. Let q = 2.9 + -3. Put f, 3, q in decreasing order.
3, q, f
Suppose -4 = 3*i - 10. Let f be (-4*i)/(6 + -4). Let g be f/(-4)*(4 - 2). Put 3, g, -5 in decreasing order.
3, g, -5
Let t = 0.075 - -0.087. Let s = -0.062 + t. Sort -4, s, 3, -1 in decreasing order.
3, s, -1, -4
Let v be 2/12*-2*(3 - 18). Suppose -41 = -v*f - 1. Sort f, 5, 4 in increasing order.
4, 5, f
Let l = -10 + 6. Let k = 175.6 + -174. Let d = 4.6 - k. Put d, 0.4, l in ascending order.
l, 0.4, d
Let c(x) = x + 8. Suppose 2*k - 60 = 6*b - b, -3*k = 0. Let h be c(b). Sort h, -9, 1.
-9, h, 1
Suppose -84 = -o + 4*m, -5*m + 56 = 61. Sort o, -2, 2 in ascending order.
-2, 2, o
Let s(t) = 0*t + 8 + 2*t + t + 9. Let d be s(-5). Put 7/5, d, 0.4 in descending order.
d, 7/5, 0.4
Let q be ((-32)/(-40))/(2/5) - 3. Let n be (-4)/31*q/(-2). Put 2/5, n, 4 in descending order.
4, 2/5, n
Let x(r) = 6*r - 15. Let o be x(8). Let i be (-2)/5 + o/(-55). Suppose z - 1 = 0, -4*n + 5*z - 5 = -0*n. Put 3, i, n in increasing order.
i, n, 3
Let t = -17 - -24. Suppose -5*n + t = -4*a, -3*a = 2*a + 4*n + 19. Sort a, 0.6, -4 in ascending order.
-4, a, 0.6
Let y(u) = -3*u - 1. Let d be y(4). Suppose 0 = 9*g - 11 - 79. Let p = g + d. Put 5, -1, p in decreasing order.
5, -1, p
Let v = -397 - -403. Put 0, 0.2, v, -0.01 in increasing order.
-0.01, 0, 0.2, v
Let g(o) = -o**2 + 5*o - 2. Let l be 44/11 + (3 - 0). Let m be g(l). Let i be (m - -17)/((-1)/(-4)). Put i, 16, -5 in descending order.
16, i, -5
Suppose 2*s = -2*s. Let z be (3 - -3) + (-1 - -4). Put 4, s, z in decreasing order.
z, 4, s
Let z(y) = y**3 - 2*y - 1. Let k be z(-2). Suppose 0 = b + 5*t - 10, -b + t + 10 = 6. Put -2, b, k in ascending order.
k, -2, b
Let i(w) = -w - 1. Let r be i(5). Let d be ((-128)/r)/((-6)/99). Let h = d + 3172/9. Sort 3/5, h, 2 in descending order.
2, 3/5, h
Let m be 10/8 + (-39)/156. Put 27, m, -5 in decreasing order.
27, m, -5
Let q be -5 + (-10)/6*-3. Put 4, q, -1 in increasing order.
-1, q, 4
Let u = -255 - -250. Put -4, -3, 3, u in ascending order.
u, -4, -3, 3
Let x be (38/190)/(8/30). Put x, -3, -5, -1 in increasing order.
-5, -3, -1, x
Let b be 2/(-15) + 2524/30. Let q be (18/(-21))/(2/b). Let f = -33 - q. Sort f, 4, -5.
-5, f, 4
Suppose -3 = 4*n - 5*r + 2, r - 15 = -2*n. Put -5, n, 74, -2 in descending order.
74, n, -2, -5
Let o = 0.2075 - -1.8725. Sort -2, -0.1, o.
-2, -0.1, o
Let f be 0/(3 - -5) + 4. Put 1, f, -4, 2 in decreasing order.
f, 2, 1, -4
Let r(n) = n**3 + 7*n**2 + 20*n + 52. Let t be r(-5). Sort 5, -2, t, 63 in ascending order.
-2, t, 5, 63
Let t = 0 + 0. Let p be (-72)/12 + 13 - (-12)/(-2). Sort p, 4, t in ascending order.
t, p, 4
Let h = -10 - -12.8. Let z = 3.3 - h. Sort 0.4, 0.3, z in ascending order.
0.3, 0.4, z
Suppose -5*j = -5*g + 25, -5*j + 14 = 4*g + 3. Let m be g/10 - (8 - 7). Let v = 0.0825 + -0.0325. Sort m, 1/3, v.
m, v, 1/3
Let d = -7 - -5. Let l(w) = w**2 - 7*w - 9. Suppose 4*r = -8 + 40. Let v be l(r). Sort v, d, 5 in descending order.
5, v, d
Let n = -7 + 7. Let k be n/((-2)/2) - 0. Suppose -3*g + 22 - 4 = 0. Put g, -5, k in descending order.
g, k, -5
Let i = -110 + 112. Let n be -4*i*(-15)/(-24). Sort n, -3, -2 in increasing order.
n, -3, -2
Let w be (-369)/(-410) + (-1)/(-10). Sort w, 3, -4 in descending order.
3, w, -4
Suppose -x + 3 - 75 = 0. Let s be 38/x + 4/(-18). Let i be (-3)/30*6/((-12)/(-5)). Put i, -4/7, s in descending order.
i, -4/7, s
Suppose 5*p + 4 = -11. Let a(m) = -136*m - 140. Let v be a(-1). Put -5, p, v in increasing order.
-5, v, p
Let n = 458 - 456. Put n, -0.5, -1, -206 in decreasing order.
n, -0.5, -1, -206
Let j be (-4 + 1)*14/(-189). Let t = 16/3 + -5. Put j, t, -3 in descending order.
t, j, -3
Let g = 224.5 - 175. Let v = -50 + g. Sort 0.8, 0.1, v in descending order.
0.8, 0.1, v
Let c be ((-1)/(-9))/((-3)/6). Let h be 114/(-140) + (-339)/(-1582). Sort -2, h, -7, c in decreasing order.
c, h, -2, -7
Suppose c + i - 7 = 4*i, 3*c = -i - 9. Let p be (14/(-21)*(-3)/2)/(-8). Sort p, c, -1/5.
c, -1/5, p
Let h be 1/3*(7 - 4). Let k = 0 + 0. Let x = k + h. Put -2, x, -5 in decreasing order.
x, -2, -5
Suppose 0 = 2*w + 2, 3*f + 2 = -5*w - 3. Suppose b - 2*z = f, 4*b + 4*z + z = -26. Put 0.01, 0.5, -2/3, b in descending order.
0.5, 0.01, -2/3, b
Suppose -19*p - 59 = 36. Put 4, p, 6 in descending order.
6, 4, p
Let h = -5.3 + 5. Let b be (0 + 0)/(1*-2). Let p = -202/65 - -30/13. Put b, p, h in ascending order.
p, h, b
Let p(k) = k**3 - 22*k**2 - 71*k + 9. Let m be p(-3). Let g be 1*1*(-2)/(-1). Sort g, -2, m in decreasing order.
g, -2, m
Suppose -11*s - 3*c - 12 = -8*s, 18 = -5*s - 3*c. Put 135, s, -1 in ascending order.
s, -1, 135
Let m be ((-572)/(-33))/(1/3). Let g be m/(-16) + 3 - (-25)/20. Sort g, 30, -3 in decreasing order.
30, g, -3
Let y be (-20)/35 + (-30)/21. Let j be y/((-4)/(20/25)). Put -0.1, j, -0.3 in decreasing order.
j, -0.1, -0.3
Suppose -26 - 429 = -65*p. Sort -0.4, -3, 0.1, p in descending order.
p, 0.1, -0.4, -3
Let j = 6.4 + -6.1. Sort j, -21, 0.4.
-21, j, 0.4
Let y be 43 + -41 - (-5)/(-2). Sort -5, -2/19, y in ascending order.
-5, y, -2/19
Suppose 5*a = -2*n - 7, 3*a - 1 = 2*n + 2*n. Suppose 0 = -5*x + w - 14, 5*x + 0*w - 3*w = -12. Sort 6, n, x.
x, n, 6
Let k(b) = -2*b - 1. Let v be k(1). Suppose 0 = 18*c - 76*c - 986. Sort 5, c, -2, v in ascending order.
c, v, -2, 5
Suppose 144 = 12*b - 3*b. Let l be (-40)/b - (-15)/6. Put 2, -4, l, 4 in decreasing order.
4, 2, l, -4
Let q = -1.64 + 1.94. Sort -5.5, q, -0.4 in increasing order.
-5.5, -0.4, q
Suppose 3*m - 2*m = 3*q - 17, 3*m + 5*q = 19. Put -3, -5, 5, m in descending order.
5, m, -3, -5
Let r be (-2070)/(-23) + (-16)/2. Put r, -3, 3, 4 in decreasing order.
r, 4, 3, -3
Let q = -2.26 + 0.26. Let s = -18 - q. Let w = -10 - s. Sort 2/5, 1, w.
2/5, 1, w
Let k be 3*(22/6 + -2). Let c be (-18 + 19)*(-2)/1. Sort 1, k, -3, c in increasing order.
-3, c, 1, k
Let d be 1005/(-42)*(-2)/(-20). Let o be 4/(-6) - (-76)/(-48). Let b = d - o. Sort b, -2/13, -1/2 in increasing order.
-1/2, -2/13, b
Suppose 14 = 4*s - 2*r, 5*s - r + 11 = 30. Suppose -s*j = 2*p + 12, -2*p = 5*j - 0*p + 16. Put j, -17, -5 in decreasing order.
j, -5, -17
Let p = 124 - 624/5. Let b = -3450 - -3453. Put 0, b, p, -3/5 in decreasing order.
b, 0, -3/5, p
Let h be 12 - -8*(-3)/6. Let m = -13 + h. Suppose -4*g = r - g - 6, -5*r = 5*g. Sort r, 3, m.
m, r, 3
Let i be (-3)/699*(-1668)/4. Let a = -188387/1631 + i. Let k = -114 - a. Sort 2, 3, k.
k, 2, 3
Let o = -761.7 - -762. Put -5.9, -2/7, o in increasing order.
-5.9, -2/7, o
Let i = 28.69 + -0.19. Let a = -28 + i. Let t = 6.3 + -5.3. Sort t, 2, a.
a, t, 2
Suppose -2 = -7*g + 19. Let b be 5*(-3)/g - (13 + -16). Sort -6, b, -3 in decreasing order.
b, -3, -6
Suppose -3*p - 2*b + 13 = 0, -3*p + 3*b - b = 7. Suppose -p - 24 = -5*g. Put g, -2, -1 in decreasing order.
g, -1, -2
Let o = 36 + -179/5. Let t = 26 + -26.13. Let h = t - 3.87. Sort h, o, 0 in ascending order.
h, 0, o
Let j be (-1128)/(-846) - 1/(1/2). Put j, 80, -0.5 in ascending order.
j, -0.5, 80
Let x(j) = -25*j - 1. Let u be x(-1). Suppose -u = -6*y + 6. Let q = 15 + -30. Put q, -5, y in decreasing order.
y, -5, q
Let u be -5*(-8)/(-20) - 2. Sort 5, 11, u, 8 in descending order.
11, 8, 5, u
Let a = -111.1 + 113. Sort -0.08, -3, a.
-3, -0.08, a
Let a be 110/(-30) + (-2316)/(-612). Sort 