 = -3*k - 4*g + 7, 4*k = 3*k - 4*g + 5. Sort -2, k, p.
-2, p, k
Let q = -39 + 12. Put -1, -5, q in decreasing order.
-1, -5, q
Let m = -2 - -8. Let v = -6.3 + m. Let f = -7 + 5. Sort 0.3, f, v in ascending order.
f, v, 0.3
Suppose 3*y = y + 8. Let i = 27 + -22. Put 1, y, i in decreasing order.
i, y, 1
Let a = 11 - 11. Sort -2/3, -41, a.
-41, -2/3, a
Suppose 0 = 2*z + 2 - 8. Suppose -2*p = 2*p - 20. Put z, -3, p in increasing order.
-3, z, p
Let d = 0.63 + -1.13. Put 4, -0.01, d, 3 in decreasing order.
4, 3, -0.01, d
Let y be -6*(-9)/24 - 2. Let s = -6.9 - -6.4. Put y, s, 4 in ascending order.
s, y, 4
Let h = -32/3 - -11. Let x = -49 + 589/12. Let n = -17/60 + x. Sort 0.1, h, n in decreasing order.
h, 0.1, n
Let v = -2.3 + 8.3. Sort -1, v, 1.
-1, 1, v
Let m = -73 - -72.91. Sort -5, -2, 5, m in decreasing order.
5, m, -2, -5
Let d(h) = 2*h**2 + 46*h - 5. Let r be d(-23). Suppose 6*a + 9 = 3*a. Sort a, r, 2.
r, a, 2
Let t = 13.95 + -14. Sort 2, t, 0.3 in ascending order.
t, 0.3, 2
Let r = -0.4 - -0.3. Suppose -12 = -3*t - 6. Let k be -1 + (-2)/(t/3). Sort 3/8, r, k in descending order.
3/8, r, k
Let m be 16/12*(3/12 - -2). Put m, 4, 11 in descending order.
11, 4, m
Suppose 2*a = 41 - 9. Suppose a = -5*m + m. Put m, -1, 19 in increasing order.
m, -1, 19
Let n(g) = 4*g**2 + 28*g - 4. Let v be n(-7). Sort -2, -3, 35, v in descending order.
35, -2, -3, v
Suppose -3*x - 13 = -1. Sort 1, 3, x in decreasing order.
3, 1, x
Suppose 2*f = 4*j + 26, 5*f - 2*j - 10 = -3*j. Let m be -1*(f - -1) + 3. Suppose -3*o + 2*o = 0. Put o, -5, m in increasing order.
-5, m, o
Suppose 17085 - 3791 = -2*y. Let j be 13826/y + 0 + 2. Let f = j + -2/289. Put 5, f, -1/4 in decreasing order.
5, f, -1/4
Let q = -1.4 - -2.58. Let g = q - -0.02. Let u = 3.8 + g. Put -0.4, 0.4, u in descending order.
u, 0.4, -0.4
Let b(u) = u**3 - 7*u**2 + 2*u - 9. Let q be b(7). Sort -2, -1, q in decreasing order.
q, -1, -2
Let x = 7 + -12. Let w = x + 0. Sort w, 0.3, -3.
w, -3, 0.3
Let t be 291/9 - (-1)/(-3). Let x be t/14 - (-4)/(-14). Suppose x*p + 3*y + 4 = 0, -5*y + 3 = p - 2. Sort p, 2, -1 in descending order.
2, -1, p
Let s(u) = u**3 + 3*u**2 - 4*u. Let j be s(-4). Let g be 2/(-66)*-3*1. Put -2, j, g in descending order.
g, j, -2
Let f(a) = 2*a - 8. Let i be f(6). Let n be -3*i*4/(-6). Let x = -11 + n. Sort 3, 4, x in decreasing order.
4, 3, x
Let n = -49 - -53. Put 2, 0.4, -3, n in decreasing order.
n, 2, 0.4, -3
Let k(i) = i**2 - 1. Let l be k(2). Let g(u) = -3*u + 4. Let s be g(l). Put s, -2/19, -1/5 in descending order.
-2/19, -1/5, s
Let v be (1 + -3 - 3)/1. Suppose 0 = -4*q - 2*i + i + 13, -3*i = -15. Let p be 16/(-14) - q - -3. Sort v, 0.4, p in ascending order.
v, p, 0.4
Let o = -1 + 5. Let j = -4 + 2. Put j, -5, o in decreasing order.
o, j, -5
Let b be ((-2)/(-3))/((-6)/(-27)). Suppose 4 = -7*g + 4. Sort -2, b, g in descending order.
b, g, -2
Let q be 28/2*(12 - 13). Let h = q - -22. Put -5, h, -3 in descending order.
h, -3, -5
Let k(l) = 13*l - 2*l + l. Let b be k(-1). Let f be (b/18)/(4/6). Put f, 1, -3 in descending order.
1, f, -3
Let m = -4 - 0. Let i = -6 - m. Put -1/10, 3/2, i in increasing order.
i, -1/10, 3/2
Let c be 1/8*(-1)/((-3)/4). Sort c, 6/5, -1/2.
-1/2, c, 6/5
Let q = 0.5 - 5.5. Let w(r) = -r**3 + 2*r**2 + 4*r - 2. Let a be w(3). Let f = a - 9/8. Sort q, f, 1 in decreasing order.
1, f, q
Let s = 736/1815 + -2/363. Let z = 121/7 + -17. Put -0.4, s, z in ascending order.
-0.4, z, s
Let h be (1 - 23/26)*-4. Let q = -41/117 - h. Let i = 1.7 - 1.8. Put -4, i, q in increasing order.
-4, i, q
Let q = 18 - 89/5. Let m(j) = j**3 - 5*j**2 - 5*j - 7. Let u be m(6). Let c be u/(-1) + 3/(-2). Put c, 5, q in descending order.
5, q, c
Let m = -2036/15 + 2738/15. Let d = m - 47. Sort -0.4, -2/9, d in descending order.
d, -2/9, -0.4
Suppose 2*k + 2 = 6. Suppose 4*o - 5*r = k*o - 5, -2*o = -2*r + 2. Sort o, -1, 5.
-1, o, 5
Let t = -9578/21 + 456. Sort 0.4, -2, t in ascending order.
-2, t, 0.4
Let b = 1.35 - 1.85. Put -2, -0.4, -5, b in increasing order.
-5, -2, b, -0.4
Suppose -5*w - 2 = -5*s - 12, 3*w + 5*s - 46 = 0. Suppose 3*o + 4 = w. Sort 0, o, -3 in descending order.
o, 0, -3
Suppose o = -3 + 6. Sort -2, -3, o in decreasing order.
o, -2, -3
Let o = -3 - -3. Sort o, 2, 4 in decreasing order.
4, 2, o
Let b(n) = 3*n + 7. Let o be b(-4). Put o, 1, -1 in descending order.
1, -1, o
Let k = 22 - 19. Sort -5, k, -2 in descending order.
k, -2, -5
Let p = -1 - 0.1. Let t = -1 - p. Sort -2/21, -4/5, t.
-4/5, -2/21, t
Let p = 1.8 - -0.7. Let q = 3 - p. Let f be (10/48)/(5/20). Sort 4, f, q in increasing order.
q, f, 4
Let g(p) = p + 5. Suppose 3*s = 2 + 4. Let k = 2 - s. Let y be g(k). Sort y, -5, -1 in increasing order.
-5, -1, y
Let c = 1 + -5. Let n be (-11)/9*1 + -1 + 2. Put n, 1, c in increasing order.
c, n, 1
Let f be ((-1)/2)/(26/(-52)). Sort -11, f, 0 in ascending order.
-11, 0, f
Let y = 4.8 + -3. Let j = -2.2 + y. Sort -0.1, j, 2 in descending order.
2, -0.1, j
Suppose -2*h + 82 = 26. Let j be (4/12)/(h/24). Sort -2, -0.4, j in descending order.
j, -0.4, -2
Let w(n) = -n - 8. Suppose -5 = b - 1. Let h be w(b). Sort 2/9, h, 4 in decreasing order.
4, 2/9, h
Let p be 0/(-3)*1/2. Sort 1, -2, p in increasing order.
-2, p, 1
Let p = 0 - 1. Let k be 1/2 + 5/10. Sort k, p, 5 in descending order.
5, k, p
Let q = -139/5 + 28. Sort -3, -4, q in ascending order.
-4, -3, q
Let v = -2 + 7. Let a be (-1)/2 - (-3)/6. Sort -4, v, a in descending order.
v, a, -4
Let y = -66 - -65.9. Sort 4, -1, y.
-1, y, 4
Let j be (4 - (2 + -3))*(-2)/5. Sort j, -3, -14 in decreasing order.
j, -3, -14
Let k = 3.6 - 4. Let w = -0.12 + -5.28. Let j = k - w. Sort 0.2, -1, j in decreasing order.
j, 0.2, -1
Let h = -6 - -2. Let l(u) = -7*u + 40. Let r be l(5). Sort r, h, -1 in ascending order.
h, -1, r
Suppose -2*v + 1 - 9 = 0. Suppose 0 = 3*u - 4*u. Suppose u = -a + 6*a. Sort 3, v, a in ascending order.
v, a, 3
Let f(v) be the third derivative of v**4/12 - 5*v**3/6 + v**2. Let a be f(4). Let l be 1*3/a - 4. Sort l, -2, 3 in decreasing order.
3, -2, l
Let p = -235 + 2113/9. Sort 7, 0, p in ascending order.
p, 0, 7
Suppose 0*y + 2 = -2*y. Let l be (-8)/28 + (-60)/(-63). Put y, l, -2 in increasing order.
-2, y, l
Let c = -4 + 4.1. Let q = 674 - 679.13. Let r = 0.13 + q. Sort r, c, -3 in increasing order.
r, -3, c
Let t(v) = 6*v**2 - 3*v - 6. Let s be t(5). Let j be s/(-12) - 3/(-4). Let x = -8 - j. Put x, 0, -3 in increasing order.
-3, 0, x
Let s = -10 + 8. Sort 1, -4, s.
-4, s, 1
Suppose 5*k = -3*z + 2*z + 13, -3*z - 4*k = -6. Let g = z + 6. Suppose -l = -g*c - 14, -5 = -5*l - 5*c - 35. Put 1, l, 4 in increasing order.
l, 1, 4
Let a = -1.5 - -7.5. Let f = a - 4. Sort f, -2/3, 2/21 in increasing order.
-2/3, 2/21, f
Let i(v) = -20*v - 1. Let m be i(-1). Suppose 5*t = 3*g + t - m, 0 = 2*g + 3*t + 10. Let w = g - 2. Put -5, w, 3 in descending order.
3, w, -5
Let t = -0.856 - 0.044. Sort 0, t, 1.
t, 0, 1
Suppose 1 = 2*l - 1. Let t be (-14)/(-2 + 1) + -2. Suppose -18 = -u + 5*x, 4*x + t = -u - 6. Sort l, -5, u in ascending order.
-5, u, l
Let q = -47 - -52. Sort q, 1, 3, -3.
-3, 1, 3, q
Suppose -2*p - 6 = -o, -4*o = -p + 4*p - 13. Suppose -l = o*l + 25. Suppose -m + 7 = -3*v, 8 = -3*v - m - 3. Sort v, l, -4 in decreasing order.
v, -4, l
Let m = -38/111 - -1/111. Let h(w) = w**3 + 7*w**2 + 6*w - 5. Let d be h(-6). Put m, -2, d in decreasing order.
m, -2, d
Let k = 103 - 513/5. Put k, 3, -1 in ascending order.
-1, k, 3
Let f(y) = y**3 + 5*y**2 + 5*y + 2. Let d be f(-4). Sort d, -2/13, 0.4 in decreasing order.
0.4, -2/13, d
Let s be -25*(-12)/20*1. Suppose -z + 7 = 3. Suppose -z*p = p - s. Sort p, 5, -4 in ascending order.
-4, p, 5
Let q be (-2)/3*15/80. Sort q, 1/3, 2 in decreasing order.
2, 1/3, q
Let z(n) = -2*n**2 + 18*n - 1. Let i be z(9). Suppose 2*q + 3 = m, -4*q + 1 = -m + 10. Sort q, i, 3 in increasing order.
q, i, 3
Suppose -4 - 16 = -2*a. Suppose 4*v = 2*c + 3*c - 7, -2*c + a = -4*v. Let r(i) = -i**3 - 4*i**2 + i + 1. Let w be r(-4). Put -2, w, c in decreasing order.
c, -2, w
Let o be (5 - 1) + (-13 - -10). Put -3, o, 2 in descending order.
2, o, -3
Suppose 2*s + 1 = -1. Let q = -2 - s. Let r = -4 + -1. Put r, q, 5 in decreasing order.
5, q, r
Let o be (-4 - -3)/(2/(-8)). Suppose 5*u + 4*t - 27 = 0, -4*u - 3*t