 - 5. Sort 4, d, x in decreasing order.
x, 4, d
Let b = 0.62 - -0.38. Let v = 0.05 + 4.95. Sort v, b, -3 in descending order.
v, b, -3
Suppose 5*f + 2*v + 12 = 0, -3*f + 11 = 5*v + 3. Put 0.03, 4, f in descending order.
4, 0.03, f
Let r be (0 - -3 - 2)/(-4). Let j be (-5)/(-2)*1/(-5). Sort r, j, 3 in decreasing order.
3, r, j
Let a be (-2 + (2 - 0))*-1. Let s = 0.3 + 0.7. Let u = 0.5 - s. Sort 5, u, a in descending order.
5, a, u
Let g = -6 - 2. Let v = 0.22 - 13.22. Let q = v - g. Sort -1, 2, q in ascending order.
q, -1, 2
Let s be (2/10)/(2/(-5)). Put 4, s, 1/6 in descending order.
4, 1/6, s
Let o = 4 - 4. Let j(c) = -3*c + 1. Let g be j(1). Put o, g, -1/2 in ascending order.
g, -1/2, o
Let p be 4 - (10/5 - 3). Sort 3, 6, p.
3, p, 6
Let i be (-2)/3 + (-20)/(-12). Let j(p) = -p**2 + 4*p - 3. Suppose -4*c - 2*g + 12 = -6, 3*c - 4*g = 8. Let x be j(c). Put i, 2, x in ascending order.
x, i, 2
Suppose d = -0 - 3. Let n be -3*1/d*-1. Sort 3, -0.3, n in decreasing order.
3, -0.3, n
Let x(p) = -p**2 + p + 9. Let r be x(-3). Let l = 0.5 - 1. Let i = -0.1 - 0. Sort l, r, i in descending order.
i, l, r
Suppose 4*u - 14 = -2*i, -2*i + 2*u - 10 = -0*i. Sort 1, i, 0 in decreasing order.
1, 0, i
Suppose -4*c = 14 + 6. Sort c, 5, 9 in ascending order.
c, 5, 9
Let a(t) = 2*t**2 - 3*t. Let r be a(2). Let o(s) = -s + 11. Let p be o(8). Suppose 2*u + u - 12 = 0. Put p, u, r in descending order.
u, p, r
Let x be (16/(-6) - -3)*18. Let k be ((-2)/(-6))/((-2)/x). Sort k, -3, 1 in decreasing order.
1, k, -3
Suppose 2*t - 20 = -3*t. Suppose 0 = 5*z - 3*z + t. Let p(u) = 2*u - 5. Let b be p(4). Sort z, b, -1 in increasing order.
z, -1, b
Suppose 0 = -4*m - 0*m. Sort 1/6, 1, m in decreasing order.
1, 1/6, m
Let g be -1*18/27*(-3)/2. Put -10, -5, 4, g in ascending order.
-10, -5, g, 4
Suppose -2 = 4*j - 6*j. Let c be 6/(9/(-3))*j. Let g(u) = u**3 + 7*u**2 - 9*u - 12. Let y be g(-8). Sort c, y, 4 in descending order.
4, c, y
Let w = 2.1 + -0.1. Let u = -2 + w. Put u, -1/2, -1 in decreasing order.
u, -1/2, -1
Suppose 4*u = -11 + 39. Let g = u + -2. Suppose 0 = 3*p - g*v - 22, -5*v = 2*p + 25 + 2. Sort -3, 1, p in increasing order.
-3, p, 1
Let t be (-18)/15*(-20)/6. Suppose -2*p + 0*y = -2*y, 2*y = t*p - 8. Put p, 1/9, 1/3 in descending order.
p, 1/3, 1/9
Suppose 2*p = 2*q, -q = -3*q + 4. Suppose -3*g - 2*w + 1 + 0 = 0, 0 = 4*w + 16. Put p, 2/11, g in decreasing order.
g, p, 2/11
Let x = -7 - -10. Let i = -14.3 + 14. Let a be -1 - (1 + 26/(-16)). Sort i, a, x in descending order.
x, i, a
Let w = 4 - 3. Let d = w + 6. Let r = -6.7 + d. Put -4, r, -2 in ascending order.
-4, -2, r
Let w = 163 - 2129/13. Sort 0.3, -3, w in descending order.
0.3, w, -3
Let n be 3 + -5 + (-2 - -3). Sort -2, 0, n in descending order.
0, n, -2
Let q(c) = 6*c + 1. Let m be q(-1). Let d be (-4 - -2 - -1) + 2. Sort m, d, 3 in descending order.
3, d, m
Let x = -78 + 78.4. Put -2/19, 4, -2, x in descending order.
4, x, -2/19, -2
Let g be -1 - (2 + -1 - 3). Let i be -2 - -3 - (g + -2). Let b be (32/(-9))/(-2) - i. Put b, 0.4, 5 in ascending order.
b, 0.4, 5
Suppose 5*p - 9 = 11. Suppose 0 = -4*x - 10 + 46. Let y be (6/x)/((-2)/12). Put p, y, -3 in decreasing order.
p, -3, y
Let q be (2779/(-462) - -6) + 2/(-12). Put 8, 1/2, q in increasing order.
q, 1/2, 8
Suppose s = -4*h + 6, -3*h + 7 = -0*h + 2*s. Sort h, -3, 2 in ascending order.
-3, h, 2
Let m = 1 + -1. Suppose z + 4 = -m*z. Sort 1, 5, z in descending order.
5, 1, z
Let f = 3 - 4. Let s = -0.98 - f. Let n = s - 5.02. Put 2, n, -2/7 in ascending order.
n, -2/7, 2
Suppose 17 = o - 5*g - 4, -4*o + 2*g = 6. Suppose -21 = -2*q - 5*x, 4*x + 11 - 29 = -2*q. Let k = q - 6. Sort o, k, 4 in increasing order.
o, k, 4
Let s(q) = 0*q - 2 + 0*q + 5 - q. Let y be s(4). Sort 2, y, -4.
-4, y, 2
Let g be (-56)/14*10/(-8). Sort 16, 2, g in increasing order.
2, g, 16
Let v = 6 - 3. Let i be 2 - (-5)/v - 2. Sort i, 0.5, 1 in ascending order.
0.5, 1, i
Suppose -4*z - 3 = 9. Sort 3, z, -1 in descending order.
3, -1, z
Let g be 8/30*3/(-1). Let s be (-34)/(-10) + (-8)/20. Let f = -1.6 - -2. Sort g, f, s in ascending order.
g, f, s
Suppose -2*y + 4*u = -0*y - 22, 3*u + 10 = y. Let z = 9 - y. Sort z, -1, 5 in descending order.
5, -1, z
Suppose -15 = -2*s - 3*s. Let p(h) = 7*h**3 + 1 + h**3 - h**2 - 3*h**s. Let u be p(-1). Sort -3, u, -2 in descending order.
-2, -3, u
Let t be 8/16 + (-3)/2. Sort 5, -1/3, t in decreasing order.
5, -1/3, t
Let h = 8 + -8. Put 4, 2, h in increasing order.
h, 2, 4
Let z be (4/(-18))/(3/(-6)). Let c = -12 + 9. Put 2/5, c, z in increasing order.
c, 2/5, z
Let o = -6 - -8. Let m = o + -1.99. Let x = -0.09 - m. Put 3, -2, x in descending order.
3, x, -2
Let s be (-2)/((-1 - -2)*1). Let w be 1 + 4*(-3 - s). Let j be (-10)/(-8)*2*56/70. Sort w, 0.5, j in ascending order.
w, 0.5, j
Let n = -1/12 + -5/12. Sort 5/2, 2, n in decreasing order.
5/2, 2, n
Suppose 5*m = -0*m + 10. Suppose 3*z = u - 19, 5*z - 3*u = -8*u - 5. Sort z, m, -1.
z, -1, m
Suppose 4*w - 2*i + 4 = 0, 35 = -8*w + 3*w - 5*i. Suppose 6*a - a = 0. Sort a, w, -5 in decreasing order.
a, w, -5
Let k be -1 - (-1 + (-4 - 0)). Let a be ((-6)/k)/(-3) - -1. Sort 2, 3/7, a in increasing order.
3/7, a, 2
Let i(t) = -2*t**2 + t + 1. Let w(n) = 2*n**2 - n - 4. Let o be w(2). Let p be i(o). Sort 6, p, 3.
p, 3, 6
Suppose -5*z - 7 = 3. Let b be ((-10)/(-4))/(1/z). Suppose 0*r - r + 2*x + 1 = 0, 4*r - 2*x - 10 = 0. Sort 0, b, r.
b, 0, r
Let s be (24/9 - 2)*6. Let l be (-2)/7 + 18/14. Put s, -2, l in decreasing order.
s, l, -2
Suppose 4 = -s - 0. Sort -5, -8, 0, s in descending order.
0, s, -5, -8
Let a = 34.8 + -35. Let g = 439 + -839/2. Let m = g - 19. Sort m, -2, a in increasing order.
-2, a, m
Suppose -3*y = -12 - 3. Put 3/8, y, -17 in ascending order.
-17, 3/8, y
Let v = -0.06 + 13.06. Let g = v - 13.1. Put g, -13, -2 in decreasing order.
g, -2, -13
Let r = 0.3 - -0.1. Let m = 0.2 - r. Let z = m - -0.7. Put z, -0.1, -3 in descending order.
z, -0.1, -3
Suppose 4*i + 60 = 5*i. Let x be 72/i*(-5)/(-2). Suppose 0 = 2*t + 5*n - 9, t - 9 = -3*n - 4. Sort -1, t, x.
-1, t, x
Let r = -5 - -15. Suppose r = 5*d - 10. Suppose -f - 2*o - 1 = -0*o, -4*f + d*o - 4 = 0. Sort 2, -2, f.
-2, f, 2
Let s = -48 + 61. Sort s, 2, -1, 3.
-1, 2, 3, s
Suppose -4*l + 33 = 5*w, -10 - 5 = -3*w. Let v = l + -3. Suppose -11 = -2*r - b, 3*r - 4*b = -r + 4. Sort 2, v, r in ascending order.
v, 2, r
Let k = 0.3 + 0.7. Let w = 99 - 399/4. Sort 0, w, k in descending order.
k, 0, w
Suppose -h - 4 = -2*o + h, 4*h - 1 = o. Sort 0.2, 1/12, o in decreasing order.
o, 0.2, 1/12
Suppose 0*g = g - 3*v, 4*g - 4*v - 8 = 0. Suppose -13 = 5*p - 4*m, -g*p + m - 5 = -0. Put -3, 3, p in ascending order.
-3, p, 3
Let p be (22/(-8) - -3)*20. Suppose -3*f = w - 0*w + 13, -2*w - 4*f = 20. Put -3, p, w in decreasing order.
p, -3, w
Let c = 2.45 - -1.55. Put -4, 5, c in ascending order.
-4, c, 5
Suppose -5*l + 56 = -2*q, -q + 1 - 11 = -l. Suppose -17 = -4*h + c, -h - 3 = c - 1. Sort 1, h, l in ascending order.
1, h, l
Let p = -0.2 - 4.8. Let v = 7 + p. Let j = -2.2 + v. Sort -0.1, j, -2/7 in decreasing order.
-0.1, j, -2/7
Suppose 3*m - 3 = 2*b - 16, -30 = -4*b + 2*m. Suppose b*y - 3*y - 3*x - 13 = 0, 3 = -3*x. Let a = -3 - -3.1. Sort -4, y, a in ascending order.
-4, a, y
Suppose 0 = 4*j + 6 - 2. Sort 7, j, -3 in decreasing order.
7, j, -3
Suppose -5*a + 10 = -p - 5, 0 = -5*a + 5*p - 5. Suppose a*d = 8*d. Let s be 5*((1 - -1) + -3). Put d, 1, s in descending order.
1, d, s
Let p(y) = -2*y - 2. Let m be p(-5). Suppose 2*b - 2*o = m, -o = 5*b - 2 - 12. Let z be (-1)/(-2)*(2 + -2). Put z, 4, b in decreasing order.
4, b, z
Let u = -4 + 8. Let t = 7 - 4. Sort -4/5, t, u in ascending order.
-4/5, t, u
Let y = -0.065 - 1.895. Let z = y + -0.04. Let o = 3 + -4. Sort 0.3, o, z in decreasing order.
0.3, o, z
Let y(x) = -x**2 + 5*x + 3. Let g be y(4). Let l = -2 + g. Suppose 0*q - l*q = -10. Sort 3, q, 4 in decreasing order.
4, 3, q
Suppose 17 = -4*n + 5*m, -5*n - m + 3 = -12. Suppose -3*f = w - n, -w - f + 2 = -4*f. Suppose w*x + 5 = 3*x. Sort -3, -4, x in decreasing order.
x, -3, -4
Let b(c) = -c**2 - 3*c + 4. Let f be b(-4). Let u(k) = k**3 - 14*k**2 + 13*k + 4. Let t be u(13). Let q = t + -1. Put f, q, 5 in ascending order.
f, q, 5
Suppose -3 = -3*a - 0*a. Su