+ 4). Sort f, 0, p in descending order.
f, 0, p
Let o = 0.48 - 0.68. Put 0, 0.1, o, -20 in decreasing order.
0.1, 0, o, -20
Let y(u) = -16*u - 164. Let s be y(-12). Sort s, 5, 1/4.
1/4, 5, s
Suppose -4*b - 2*o + 8 = 0, -2*o + 6 - 1 = 3*b. Let h be 2/b - (-52)/12. Suppose h*y + 30 = -y. Sort 0, 3, y in ascending order.
y, 0, 3
Let f = 66 - 93. Let z = f + 27.5. Sort 3/2, z, 2/7.
2/7, z, 3/2
Let x(u) = -u**2 - 14*u - 8. Let l be x(-8). Let r be (-2)/(-5) + l/25. Suppose -r*m + k = 1, -2 = -m + 3*k + 5. Put m, 1, 3 in decreasing order.
3, 1, m
Let g = -133.6 - -125. Let j = g - -11.6. Let c = -2/123 + -109/861. Put c, j, 1 in increasing order.
c, 1, j
Let r be -1*(140/(-21) + 7). Put r, 0.01, -5 in increasing order.
-5, r, 0.01
Suppose 4*m - 3*p = 3 + 17, 5*m + 2 = -3*p. Let h(l) = -l - 10. Let a(v) = v**3 - v**2 - 17. Let c be a(0). Let s be h(c). Put -3, m, s in descending order.
s, m, -3
Suppose 5*t + n + 4 = 0, 0 = 5*t - 4*n - 15 + 24. Put t, 24, -4, 0 in decreasing order.
24, 0, t, -4
Let q = -195.2 - -194.7. Sort 11/5, q, -0.2.
q, -0.2, 11/5
Let x(f) = -54 + 52 - 5*f + 5*f**2 + f**3 - f**2. Let t be x(-5). Let i(v) = v + 7. Let m be i(-10). Sort t, 1/7, m in decreasing order.
1/7, t, m
Let j = -2.93 - -2.88. Sort 1/8, j, -3 in descending order.
1/8, j, -3
Let i be (-8)/14 + 1 + -1. Let q = -124.08 - -124. Let p = q - 0.22. Sort 1, p, i in descending order.
1, p, i
Let v be (6 + -1)*((-10)/(-5) + -1). Let i be 10*(3 + -2)/(-2). Suppose -5*w + 0*z = 5*z - 15, -3*w + 17 = -5*z. Sort v, w, i in descending order.
v, w, i
Let h = 84 - 82. Let m = 39 + -38. Put -13, 1/3, m, h in ascending order.
-13, 1/3, m, h
Let r(x) = 4*x**3 + 108*x**2 - 2*x - 66. Let q be r(-27). Suppose -i = 5*m - 9, -8*i + 4*i = 3*m - 19. Sort i, q, 3 in increasing order.
q, 3, i
Let u be 3/(36/(-24)) - 26/2. Sort u, 1, -4, 11 in descending order.
11, 1, -4, u
Suppose -4242*g - 10 = -4247*g. Put g, 7, 3 in decreasing order.
7, 3, g
Let i = -155 + 274. Let s = i - 169. Put 2, s, 4, 0 in decreasing order.
4, 2, 0, s
Let f(h) = -17*h + 5. Let r be f(-2). Let o be 1*(-1)/(3/r). Let m = -10 + 9.7. Put -4, m, o in descending order.
m, -4, o
Let k = 3207 + -3207.4. Let n = 1 + -0.9. Sort k, 3, 5, n.
k, n, 3, 5
Let f(y) = -49*y - 298. Let z be f(-6). Sort -2/5, z, -0.1.
z, -2/5, -0.1
Let g(b) = -b**3 + 11*b**2 - 10*b + 4. Let s be g(10). Suppose -3*f - 61 = 4*j, -j + 44 = -4*j - s*f. Put j, 4, -2 in decreasing order.
4, -2, j
Let b = 82 - 143.5. Let f = -62 - b. Sort -4, -1, 4/3, f.
-4, -1, f, 4/3
Let u = 3.06 + -0.06. Let m = -2.42 + 2.5. Let d = m - -0.32. Sort d, -2/5, u in decreasing order.
u, d, -2/5
Let t = 0.1 - 3.1. Let o = 11 + t. Let b = o + -5. Sort -2, -1, b.
-2, -1, b
Suppose 136*z - 125*z - 33 = 0. Suppose 18 = 2*b + f - 5*f, -f - 9 = -5*b. Let k be b/1*2/2. Sort k, 0, z in descending order.
z, k, 0
Let b be ((40/15)/(-8))/(1/141). Let u = b + 42. Put u, 4, 0 in descending order.
4, 0, u
Let g be (3/(-2))/((-2)/4). Let z(k) = -2*k**2 + 3*k. Let q be z(g). Let d = 7 + q. Put -2/3, -5, d in ascending order.
-5, d, -2/3
Suppose 4 = -y + 6, 0 = -4*s + 3*y - 2. Sort 2, -2, 6, s.
-2, s, 2, 6
Let z = -0.664 + -1.336. Sort 76, z, 0.1, 4.
z, 0.1, 4, 76
Suppose 4*z - 528 = -3*t, 880 = 5*t - z - 4*z. Let o(x) = x**3 - 11*x**2 - 9*x - 2. Let v be o(12). Let a be 2/11 + v/t. Sort -0.3, 7, a in descending order.
7, a, -0.3
Suppose -q + 21 - 13 = -2*k, -5*q + 18 = k. Sort 7, 1, q, -1 in descending order.
7, q, 1, -1
Let i(a) = a**3 + 3*a**2 - 2*a - 2. Suppose x + 9 = -2*x. Let d be i(x). Let b be (-72)/27*(0 + (-36)/16). Put -2, d, b in decreasing order.
b, d, -2
Let g = 0.2 + 0.8. Let b = -3 - 0. Let j be 5 + (750/(-24))/5. Sort b, g, j in decreasing order.
g, j, b
Let v = -22/5 - -24/5. Sort -0.3, 1/5, v in descending order.
v, 1/5, -0.3
Let l be (-3 + (-25)/(-10))/(17/102). Suppose -3*d + h - 19 = 0, -5*d - 40 = -d - 5*h. Sort l, 3, d, 4 in increasing order.
d, l, 3, 4
Let v(u) = -17*u - 53. Let y be v(-3). Suppose 0 = a - 5*q - 25, -q - 4 = 2*a - 10. Sort 6, y, a, 1.
y, 1, a, 6
Let r = -77/100 + 13/25. Sort r, 0.2, -11, -2/5 in decreasing order.
0.2, r, -2/5, -11
Let h be ((-24)/15)/((-2)/(-10)). Let o = h - -5. Suppose -21*v - 227 + 206 = 0. Put 3, o, v in decreasing order.
3, v, o
Let f(r) = r**2 - 4*r + 4. Let j be f(4). Let q = -1.7 - -1.7. Sort q, 2/3, j in descending order.
j, 2/3, q
Suppose 3*o - 6 = 3*p, 3*o - 2*p - 2 = 2*o. Let z(h) = h - 11. Let u be z(21). Let n be (-2 + u)*((-3)/(-2))/(-3). Put -1, o, n in descending order.
o, -1, n
Let b = -2.6 - -0.6. Let t be (-48)/(-4)*87/(-10). Let o = 104 + t. Sort b, o, 4 in increasing order.
b, o, 4
Let m be -1*(-6 - (-2 - 4)). Put m, -11, -3 in decreasing order.
m, -3, -11
Let y = -22 - -19. Let f be (5 - -3*(-12)/9) + -2. Sort y, 3, f in decreasing order.
3, f, y
Suppose 156 + 68 = 32*j. Put 2, -3, j, -9 in decreasing order.
j, 2, -3, -9
Let f(t) = t**2 - 5 + t**2 + 13 - 13*t. Let b be f(6). Put b, -6, 0.4 in ascending order.
-6, 0.4, b
Suppose 4*v - 8 = 6*v. Sort -1/4, 4/7, v in increasing order.
v, -1/4, 4/7
Suppose -82 = -4*b - 66. Put 0, b, -3, 3 in descending order.
b, 3, 0, -3
Let i = -125 + 127. Let m be -4*(-2 - -3) - 1. Sort i, m, 3 in increasing order.
m, i, 3
Let m be 1/(2/(16/(-4))). Let o be (m/12)/(16 + -15). Let h = 2 + -1.5. Sort h, o, -1/7 in decreasing order.
h, -1/7, o
Let p(u) = -u. Let w be p(-2). Suppose 0 = -w*t + 4. Suppose 2*i = d + 2*d + 4, i - 7 = 4*d. Sort i, t, -2 in increasing order.
-2, i, t
Suppose 4*p + 6 = -g + 7*p, -g + 8 = 4*p. Sort g, -2/15, 7/5, 3.
-2/15, g, 7/5, 3
Let t = -8 + 31/4. Let v = 0.8 - -0.2. Let g be 6/4*-3*(-38)/57. Put t, g, v in increasing order.
t, v, g
Suppose 5*z = 2*i - 264, -4*z - 471 = -5*i + 189. Put -3, 5, i in ascending order.
-3, 5, i
Let q be (-75)/(-20) + 1/4. Suppose 0 = 3*v - 12, -q*c + 0*c = 2*v. Let g(n) = n**3 + 6*n**2 + 6*n - 6. Let d be g(-3). Sort d, -6, c in increasing order.
-6, c, d
Let w = -5.03 - -0.03. Let c = -45 + 47. Put -2/11, c, w in decreasing order.
c, -2/11, w
Let i = 2.206 + -0.206. Put i, -458, 2/5 in ascending order.
-458, 2/5, i
Let z = -0.129 + 0.029. Sort 2/5, -8, z in decreasing order.
2/5, z, -8
Let w = 0.36 + 1.64. Put -1/2, 3, w, 0.3 in descending order.
3, w, 0.3, -1/2
Let m = -1530 - -1538. Sort -0.12, m, 5.
-0.12, 5, m
Let s = 456 - 455. Sort 3/5, s, 5 in decreasing order.
5, s, 3/5
Let b = -166832/67 + 2490. Sort 3/2, b, 1 in descending order.
3/2, 1, b
Suppose -29*z = -13*z - 32. Sort -2, -18, -1, z in decreasing order.
z, -1, -2, -18
Suppose -5*b = -0*b - 5*d - 20, -8 = -2*b - 2*d. Put 0, 44, b in descending order.
44, b, 0
Let x = -36 - -16. Let h = 20.2 + x. Put 1/11, -1, h in ascending order.
-1, 1/11, h
Let p = -3025 + 9244/3. Let h = -1853/33 + p. Sort 0.5, 4, h.
h, 0.5, 4
Suppose 9 = 4*f - f. Suppose 3*w + 11 = -5*h + 4, w = f*h + 7. Suppose 0 = -5*d - k, d + 2*k + 0*k - 9 = 0. Sort d, 6, h in increasing order.
h, d, 6
Let f = 1.5 + 0.5. Let i be 20/50 - (-1)/5. Sort f, i, 5/3 in ascending order.
i, 5/3, f
Let w be 3 - -1 - (3 - 2). Suppose 13*z - 12*z - 10 = -j, 2*z = 4*j - 10. Sort j, w, -5 in increasing order.
-5, w, j
Let t(x) = -2*x**2 - 3*x + 171. Let v be t(-10). Sort 12, 3, 5, v in descending order.
12, 5, 3, v
Let t = -92 + 89. Let r(n) = -12*n + 3. Let u be r(2). Let b = u + 23. Sort t, b, -4 in decreasing order.
b, t, -4
Let u = 0.4 - 0. Let g = 60.5 + -60. Sort u, g, -2/37 in decreasing order.
g, u, -2/37
Let c be 2/13 + 24/(-167778)*1095. Put -2/5, 4/5, c in ascending order.
-2/5, c, 4/5
Let y = 32 + -25. Suppose -4*f - 3*a = -5*f + 5, -4*f - y = -3*a. Put f, -3, 4 in ascending order.
f, -3, 4
Suppose g = -4*l - 14 - 0, 4 = g - 2*l. Suppose 0 = 4*i - 5*i + 5*a - 25, 2*a - 10 = 2*i. Let o = -6 + 2. Sort o, i, g in increasing order.
o, g, i
Let l be (-14)/60*(-52)/28. Let q = 1/30 - l. Suppose -3*p + 2*v - 9 = -29, 0 = p + 2*v + 4. Put q, -0.3, p in ascending order.
q, -0.3, p
Let m(u) = -u**3 + 23*u**2 - 44*u + 52. Let n be m(21). Suppose -15 = -23*t + 26*t. Put n, t, 4 in increasing order.
t, 4, n
Suppose -4*u = 5*i + 30, u + 23 = -4*i - 2*u. Let f(z) = -z**2 + z + 1. Let m be f(i). Put 5, 1/6, m in increasing order.
m, 1/6, 5
Let d = 0.113 + 86.887. Let b = d + -87.3. Sort -0.2, -2/7, b.
b, -2/7, -0