.
k, u, 6
Suppose -2*v = -v. Let a(f) = 2*f**3 + f. Let z be a(-1). Suppose -4*g + 14 = 18. Sort g, z, v in descending order.
v, g, z
Suppose -3*t - 3 = -2*t. Let k be ((-1)/(-2))/(1/4). Put t, k, -1 in descending order.
k, -1, t
Let y(w) = 13*w**2 - 17*w - 25. Let d(c) = 3*c**2 - 4*c - 6. Let f(v) = -9*d(v) + 2*y(v). Let x be f(3). Let m(s) = -s + 1. Let r be m(-1). Sort x, -4, r.
-4, x, r
Let m = 44 - 47. Put 4, m, -1 in decreasing order.
4, -1, m
Let k(r) = 3*r + 1. Let m be k(1). Suppose 2*g + 0*g + 5*d + 4 = 0, -m = 2*g - 3*d. Let f = -4 + 5. Sort f, g, -5 in descending order.
f, g, -5
Let z = -4 - -7. Let v be 4 + 45/(-10) - (-1)/(-2). Let b be -1 + -1 + 9 + -2. Sort v, b, z in decreasing order.
b, z, v
Let r = 109/306 - -3/34. Suppose -q - 5*k = 10, -4*k + 3 = 2*q + q. Put q, r, -0.5 in increasing order.
-0.5, r, q
Let j = 77.4 + -77. Put j, -15, 4 in ascending order.
-15, j, 4
Let r be (-4)/14 + 90/21. Let q(k) = -9*k + 87. Let b be q(10). Put 5, b, r in increasing order.
b, r, 5
Let y = 10 + -10. Sort -1, 3, y in increasing order.
-1, y, 3
Let u = 75 - 81. Put -1, u, 4, -5 in increasing order.
u, -5, -1, 4
Let g = -16.7 - -12.35. Let r = g + -0.15. Let o = r + 5. Put -3/7, o, 1 in descending order.
1, o, -3/7
Let y = 0.5 + -1. Let o = 21/8 - 55/24. Sort y, 0.2, o in descending order.
o, 0.2, y
Let d = -1.1 - -1.06. Put d, -1, 5 in ascending order.
-1, d, 5
Let z = -9 - -8.96. Let m = 1.04 + z. Let f = 1.3 - m. Put f, 1/7, 3/4 in ascending order.
1/7, f, 3/4
Let m = -3940/63 + 430/7. Let r = m + 4/9. Sort -5, r, -0.4 in increasing order.
-5, r, -0.4
Let m be -10 + 4 - (3 - 6). Put -1, 0, m in ascending order.
m, -1, 0
Suppose u - 48 = -43. Sort -3, u, -5, -1.
-5, -3, -1, u
Suppose -13 = 5*u - 58. Let s be (-1)/(-11)*1038/u. Let o = 32/3 - s. Sort -0.5, o, -1 in descending order.
o, -0.5, -1
Let k be (0 + -2 - 3)*-1. Let c be k - 0 - (0 + 1). Let x = -18 - -23. Sort -4, x, c in ascending order.
-4, c, x
Let j be 52/(-14) + (-4)/14. Suppose -5*d + 3*t = 8*t - 40, -4*t = -20. Put 4, d, j in ascending order.
j, d, 4
Suppose 19 = -l - 4*v, 0 = -0*v + 5*v + 25. Let y(t) = -2*t + 2. Let q be y(3). Sort q, 4, l in descending order.
4, l, q
Let w = 11 + -6. Sort 1, w, -0.4.
-0.4, 1, w
Let g = -26 + 31. Let r(x) = 11*x**3 + x. Let w be r(-1). Let b = w + 7. Put b, 4, g in ascending order.
b, 4, g
Let o be (2 - 4)/(-2 - 0). Let x = -11 - -13. Put x, o, -1 in descending order.
x, o, -1
Suppose 0*g = -4*g - 4. Suppose 3*n + n = 4. Sort g, -2, n.
-2, g, n
Let n = -18 - -13. Suppose -16 + 1 = 5*u. Put u, -2, n in descending order.
-2, u, n
Suppose 8*i = 5 + 3. Suppose 4*j + 0*j + 20 = 0. Sort 2, i, j in ascending order.
j, i, 2
Let g be -3 - (308/(-16))/7. Put -2/11, -1, g in decreasing order.
-2/11, g, -1
Let u = 4.4 - 5.3. Sort -5, -4, u, -0.2 in decreasing order.
-0.2, u, -4, -5
Suppose 5*o + u = 25 + 282, -4 = -2*u. Sort 5, o, 2, -4 in decreasing order.
o, 5, 2, -4
Let p = 8 - 6. Let j = -4 - -1. Sort j, -2/3, p in descending order.
p, -2/3, j
Suppose -6*n + 1 = -5*n. Put n, -1, -4 in descending order.
n, -1, -4
Let w = 14.6 + 0.4. Let q = 16 - w. Sort 4, q, 0 in decreasing order.
4, q, 0
Let j be 0 - (-3 + 0 + (8 - 2)). Put j, 20, 5, -2 in decreasing order.
20, 5, -2, j
Let g = -0.5 - -0.4. Let f = -0.4 + g. Let y = f - 0. Sort -0.1, y, 5 in ascending order.
y, -0.1, 5
Let a = 32 + -27. Put 0.3, 2/5, a in increasing order.
0.3, 2/5, a
Let g(p) = p**3 - 6*p**2 + 7*p - 6. Let c be g(5). Suppose 0 = -4*v - c. Let y = -3/79 - 137/553. Sort y, v, -0.3 in descending order.
y, -0.3, v
Let s = -2.2 - -2. Let k = -15.11 + 15. Let t = k - -0.01. Put s, t, 3/7 in decreasing order.
3/7, t, s
Let s be 1914/(-640) + (2 - -1). Let l = s - 1941/2240. Sort l, 3, -3/4.
l, -3/4, 3
Let x = -38279/5362 + -3/766. Let k = x - -54/7. Put k, 0.1, -1 in ascending order.
-1, 0.1, k
Let u(x) = x**2 + 5*x - 3. Let m be u(-5). Let q = -4 - m. Let t = q - 1. Sort t, -3, 1 in decreasing order.
1, t, -3
Let f be (4/3)/((-2)/6). Let y be (-3)/(-9)*(1 - -2). Let p(w) = -3*w**3 - w**2 + w. Let h be p(y). Sort f, h, 1 in ascending order.
f, h, 1
Let q be 6*1*(-9)/6. Let z = q - -6. Put -4, z, 3 in increasing order.
-4, z, 3
Let t be 1/4 + 42/(-8). Let f be (6/(-8) - -4) + (-2)/8. Sort f, t, 1 in increasing order.
t, 1, f
Let h(v) = -v**2 + 2. Let p be h(-2). Suppose -1 = 5*w + 4. Sort p, -4, w in ascending order.
-4, p, w
Let r(b) = 4*b + 37. Let q be r(-9). Sort 2, 12, q in decreasing order.
12, 2, q
Let d be (-6)/9 - 40/(-6). Let o = 8 - d. Let h be 1/3 + (-11)/(-3). Put h, o, 3 in descending order.
h, 3, o
Let q = -0.22 + -10.78. Let s = q + 13. Let r = -0.04 - 0.26. Put 2/13, s, r in decreasing order.
s, 2/13, r
Let z(c) = -c - 1. Let f be z(-6). Let b(h) = -2*h - 1. Let l be b(0). Put l, 0, f in decreasing order.
f, 0, l
Let j = -1 + 1. Let v(m) = -4*m**2 + m. Let u(s) = 9*s**2 - 2*s. Let r(z) = -3*u(z) - 7*v(z). Let q be r(j). Sort 1, -4, q in decreasing order.
1, q, -4
Let i = -23 - -21. Put i, 0.1, 3 in descending order.
3, 0.1, i
Let g = -53.2 + 59. Let w = g - 6. Let s = 0 - w. Put -1/4, -0.1, s in decreasing order.
s, -0.1, -1/4
Suppose 2*u + 7 = -g, 2*g - 3 = 4*u + 15. Sort g, 5, 26 in increasing order.
g, 5, 26
Let n = -3.15 - -0.15. Let w be ((-4)/6)/((-42)/9). Sort n, w, -1 in ascending order.
n, -1, w
Suppose 45 = 5*q - 14*q. Let j be (-4)/18 - 87/(-27). Let p = -1 + j. Sort -1, p, q in descending order.
p, -1, q
Suppose -45 - 3 = -4*n. Suppose -3*d + 0*d = n. Let z be -3*(2 - 0) + 1. Sort -2, d, z in descending order.
-2, d, z
Suppose 0 = 4*j - 16, 0 = -2*f - 2*j + j + 2. Put 0, -2, f in ascending order.
-2, f, 0
Suppose -4*a + 2 = -10. Suppose 3*k - 27 = -3*v, 0 = 2*v - 2*k + 5*k - 22. Suppose -v*w + 1 = -19. Put 1, w, a in descending order.
w, a, 1
Let t(m) = -m**2 - 4*m + 1. Let i be t(-5). Let a(l) = -l + 7. Let u be a(6). Suppose -r + 10 = 5*o - u, -4*o = 3*r - 11. Sort i, -5, o in decreasing order.
o, i, -5
Let b(f) = -f**3 + f. Let d be b(0). Let k(c) = -c**2 + 9*c - 2. Let r be k(6). Let o = r - 12. Put d, -5, o in increasing order.
-5, d, o
Suppose h + 2 = -0. Let m be (h - -8) + -2 + 0. Let s = -2 + 2. Sort s, 5, m in increasing order.
s, m, 5
Let r(m) = m**2 - 11*m + 3. Let l be (33/6)/(1/2). Let j be r(l). Let v = 1 + -1. Put v, j, 5 in ascending order.
v, j, 5
Suppose 5*y = -15, 0 = -3*x - 2*y - 4 + 1. Let b = x - -2. Put -1, 6, b in decreasing order.
6, b, -1
Let a = -1 + 1. Let z = 5 + a. Suppose -f + 10 = 2*h - 3*f, 4 = -2*f. Put z, h, -4 in increasing order.
-4, h, z
Let h = 6 + -12. Let s = 3 - h. Let i = s + -5. Sort i, -0.3, 3 in ascending order.
-0.3, 3, i
Suppose -5*q = 6 - 1. Let f(z) = z**2 + 2*z + 1. Let n be f(q). Let m(l) = -l**3 + 2*l**2 + 5. Let v be m(2). Put n, 2, v in descending order.
v, 2, n
Suppose 0 = 7*u - u + 24. Sort -2, u, 4 in decreasing order.
4, -2, u
Let j be -1 - (6/(-4) + 1). Let a be ((-10)/3)/(10/(-15)). Suppose 4*n = -2*p + p - 1, -5 = a*p + n. Sort 0.1, j, p in decreasing order.
0.1, j, p
Let o be (1 + -1)/(4 + -5). Suppose -h - 2*h = o. Put 3, 1, h in decreasing order.
3, 1, h
Let m = 0.5 + 2.5. Let w = 0.01 + -4.01. Put w, m, -1/4 in decreasing order.
m, -1/4, w
Let o = 4 + -1. Let k be (-3 + 3)/(-2) - 0. Sort k, o, -4 in decreasing order.
o, k, -4
Suppose 5*a - 6 = -1. Suppose -h = 3*h + 12. Sort a, 4, h.
h, a, 4
Let z be ((-1)/(-2))/(2/(-6)). Put 2/3, 1/4, z in decreasing order.
2/3, 1/4, z
Let q = -1.2 + 1. Let g = q - -0.5. Let r = 15.1 + -15. Sort 0.4, r, g in increasing order.
r, g, 0.4
Let h = -102 - -106. Sort 1, 3, h, -3 in ascending order.
-3, 1, 3, h
Let x = 2 + 0. Suppose -x*a - 12 = 2*a. Let r = 5 + a. Sort r, -4, -2 in ascending order.
-4, -2, r
Let z(n) = n**2 + 19*n + 64. Let d be z(-15). Sort 5, -3, d.
-3, d, 5
Suppose -3*s + 73 + 2 = 0. Suppose 3*a = -2*a - 4*l + s, 4*l - 22 = -2*a. Sort -4, a, -2 in decreasing order.
a, -2, -4
Let k = 4 - 7. Put 8, -2/5, k in descending order.
8, -2/5, k
Let p(g) = g + 1. Let l be (-5)/6 - 3/18. Let q be p(l). Let d(x) = -x**2 + 6*x + 5. Let j be d(6). Sort -2, q, j in decreasing order.
j, q, -2
Suppose -2*l + l = 4. Suppose 4*w - 20 = 0, z + 2*w - 4*w + 8 = 0. Suppose 2*c + 2 = 3*f, 4*f = 3*c + 2 + z. Put -1, l, f in increasing order.
l, f, -1
Suppose c + 