t h be r(6). Sort v, g, h in increasing order.
v, g, h
Let n = 5 + -2. Let m be (2 + 0)*5/(-2). Suppose -5*i - 16 = 3*p - 9*i, 0 = -3*p + i - 4. Sort n, p, m.
m, p, n
Let j = -15/4 - -41/12. Sort j, 2/7, 0.3, 0.2.
j, 0.2, 2/7, 0.3
Let d(j) = -j**3 + 2*j + 1. Let a be d(2). Let z = -602 + 604. Put a, z, -5 in descending order.
z, a, -5
Let q be 1/(232/(-16) + 8). Let h = -5.5 - -7. Let d = h + -2. Sort d, q, 0 in descending order.
0, q, d
Let d(p) = 2*p**2 - 9*p - 6. Let m be d(5). Sort 7, 2, m in decreasing order.
7, 2, m
Let g be (-12)/3 - (-1 - 3 - -1). Put 5, -6, -3, g in descending order.
5, g, -3, -6
Suppose -5*a + 137 = 7. Suppose 5*h + 0*h + 3*y - a = 0, -4*h = 4*y - 24. Put h, -1, 3 in increasing order.
-1, 3, h
Let c be 1 + -3 + -1 - 1. Sort 2, c, 5 in descending order.
5, 2, c
Suppose -2*f + x = 4*x + 2, -3*f = -4*x - 14. Suppose a + f*a = 0. Suppose 0 = -4*w + 5*d + 17, 2*d = -5*w - 33 + 13. Put -1, w, a in decreasing order.
a, -1, w
Suppose -4*s = 23 - 3. Let d = -0.28 + 2.28. Let p = 5.9 + -0.9. Sort s, p, d.
s, d, p
Let p be 1 - (4/(-5) - -1). Let x = -2 - -7. Put x, p, 0 in descending order.
x, p, 0
Let h = 7 + -11. Let c be (-3 - (-14)/4)*h. Let d = 0.5 - 1. Sort c, 0.2, d in ascending order.
c, d, 0.2
Let k = -2.3 - -2.7. Sort k, -0.1, -4, -3 in descending order.
k, -0.1, -3, -4
Let b(z) = z**3 + 18*z**2 - z - 15. Let y be b(-18). Put 4, 1, y in increasing order.
1, y, 4
Let x(c) = c**2 + 5*c - 5. Let y be x(-6). Suppose -2 = f - p, 4 + y = 5*p. Put f, -4, -6 in decreasing order.
f, -4, -6
Suppose 5*x = -x + 168. Let v be (-8)/x - (-4)/(-14). Sort -2/7, v, 1/7.
v, -2/7, 1/7
Let z = -5 + 5.3. Let s = -11 - -16. Sort z, s, 0 in decreasing order.
s, z, 0
Let a = 11/6 + -5/3. Suppose 0*g + 3*g = 2*w + 5, -w = 5*g - 30. Suppose 2*q + g*d + 15 = 0, 3*d = -5*q + 3*q - 13. Put 3, a, q in increasing order.
q, a, 3
Suppose 4 = 5*m - 3*m. Suppose 0 = h - y, -m*h - 28 = 3*h + 2*y. Let t be (-2)/8 - h/(-8). Sort 2/3, t, 4 in ascending order.
t, 2/3, 4
Let z(f) = 4*f**3 + 2*f - 1. Let x be (-1)/(-2*(-4)/(-8)). Let q be z(x). Sort 2, -2, q.
-2, 2, q
Let v = -410 + 414. Suppose 4*d + d + 20 = 0. Let a be (-3)/d*(-1)/(-2). Sort v, a, -0.1 in descending order.
v, a, -0.1
Let j = -12 + 17. Put 2, -2, j in descending order.
j, 2, -2
Let k be (-20)/5 + (-6)/2. Let s be -3 + (-4 + 5 - k). Sort 2, s, -2 in descending order.
s, 2, -2
Let i be 3 + (-45)/12 + (-13)/4. Put -4/7, i, 0.1, 0.3 in decreasing order.
0.3, 0.1, -4/7, i
Let k(a) = a - 1. Let x be k(6). Let u = 4.3 + -1.3. Let l = 6 - u. Sort -4, x, l in descending order.
x, l, -4
Let c = -4 + 6. Let o be (0 - 1)/((-1)/3). Let j = 0.11 + -0.51. Sort c, j, o in descending order.
o, c, j
Suppose -15 = -6*m + m. Suppose -4*w = -0*t + 2*t - 56, 4*t = -5*w + 73. Suppose -w - 2 = -m*l. Sort l, 3, -4 in descending order.
l, 3, -4
Let g(x) = -x**2 + 3*x + 6. Let b be g(5). Let c = 1 + -5. Let d be c/(-80) + (-2)/(-10). Put b, 5, d in descending order.
5, d, b
Suppose 2*k + 6*k - 16 = 0. Sort 1, 5, k, -13 in descending order.
5, k, 1, -13
Let c = -11928058/366135 + 111649/951. Let z = 48/77 - c. Let a = z + 85. Put -1/5, -0.3, a in ascending order.
-0.3, -1/5, a
Let y = 19/4 - 9/2. Put 0.4, y, 2/17 in ascending order.
2/17, y, 0.4
Let q = -3703/9 + 411. Let c = 71/28 + -9/7. Sort q, -0.2, c in ascending order.
q, -0.2, c
Let p(q) = q**2 - 11*q + 16. Let z be p(9). Sort 5, -3, 4, z in increasing order.
-3, z, 4, 5
Suppose 2*g - 28 = 4*m, -5*m - g = -3*g + 37. Let r = m + 13. Sort -1, r, -2/9 in descending order.
r, -2/9, -1
Let b be 1 + 3/(-6)*2. Suppose b = -0*z - 3*z. Sort -2, z, 2/11.
-2, z, 2/11
Suppose -h + 1 = -6*h + l, 4*h - 4*l = 12. Suppose -2*w + 1 = -5. Put w, -5, h in ascending order.
-5, h, w
Suppose 0 = -3*a + 6*a + 15. Let w = -1 - -4. Let r = -27 + 24. Sort w, a, r in decreasing order.
w, r, a
Suppose -5*q - 3*l + 37 + 0 = 0, -20 = -5*l. Let b(x) = 5*x - 1 + 0 - q*x**2 - x**3 + 0*x**3. Let h be b(-6). Sort -1, h, -4 in increasing order.
-4, -1, h
Let r = 36 + -143/4. Let u = 7 - 11. Sort u, 0.4, r.
u, r, 0.4
Let y be -1 + -9 + (-3 - -3) + 1. Put 4, -4, y in decreasing order.
4, -4, y
Let c = 4/9 + -1/9. Put 12/11, c, 4/5 in decreasing order.
12/11, 4/5, c
Let v = 3/70 + 1/10. Let u be (-25)/(-35) - (-2)/7. Put -0.5, v, u in decreasing order.
u, v, -0.5
Let i = -8 + 9. Let h be 9/6 - i/2. Sort 4, -2, h in decreasing order.
4, h, -2
Let z(r) = -8*r**2 - 5*r + 3. Let a be z(1). Sort 0.2, 5, a.
a, 0.2, 5
Let k = -0.06 + -0.02. Let h = 33 + -32.7. Put k, 0.4, h in descending order.
0.4, h, k
Let w = 3.4 - 0.4. Put -0.2, -1/3, w in decreasing order.
w, -0.2, -1/3
Let o = 6 + -4. Let a(j) = -3*j + 2. Let d be a(o). Put -2, d, -3 in ascending order.
d, -3, -2
Suppose 5*j + 4*q = q + 15, 0 = -4*j + 4*q + 44. Let m be (76/j + 1)*-2. Let s = m + 27. Sort -2/15, 4, s in increasing order.
s, -2/15, 4
Suppose -3*x + n = -n - 7, -x + 4 = -n. Let w be (1 - 7)/(-2)*x. Let j = -17 - -12. Sort w, j, 3/4.
j, w, 3/4
Let i(o) = o**2 + 2*o - 3. Let s be i(2). Sort 1, -5, s.
-5, 1, s
Let b = 32 - 67/2. Sort b, 4, 3 in decreasing order.
4, 3, b
Let b = 4 - 7. Sort b, 4, 0 in ascending order.
b, 0, 4
Let n be (-2)/7 + 4/63. Let b = -0.7 + -0.3. Let i = 1.3 + b. Sort n, i, -0.2.
n, -0.2, i
Let p = 1 + 7. Suppose -5*q + i = -8, -4*i - 22 = -2*q - p. Put -3, 3, q in descending order.
3, q, -3
Let i = 7 - 7.2. Put -1, i, 4/7 in descending order.
4/7, i, -1
Let m be -3 - 1 - 36/(-16). Put 0, 3/5, m in decreasing order.
3/5, 0, m
Let w(p) = -p**3 - 11*p**2 - 11*p - 13. Let t be w(-10). Let i = 18 - 16. Put i, t, 0.4 in increasing order.
t, 0.4, i
Let v = 125.6 - 126. Sort 50, 1/5, 4, v in increasing order.
v, 1/5, 4, 50
Let p = 0.027 - 0.127. Put 3/2, -2/5, p in increasing order.
-2/5, p, 3/2
Let t = -13792/863337 - 2/7019. Let i = t - 115/492. Put -3, 0.1, i in decreasing order.
0.1, i, -3
Let u = -0.03 - -5.03. Let s = u + -5.3. Let d = s - -0.4. Sort d, -1, -3 in increasing order.
-3, -1, d
Suppose -10*r - 2 = -12*r. Sort -4, r, -3 in descending order.
r, -3, -4
Let p = 0.35 - -0.15. Put -6, -0.5, p in decreasing order.
p, -0.5, -6
Let m be ((-2)/10)/((-108)/120). Sort 4/3, m, -2, -5 in decreasing order.
4/3, m, -2, -5
Let p(u) = -3*u - 1. Let o be p(-1). Let n be (-3)/(6/10) + o. Put n, 2, 3 in decreasing order.
3, 2, n
Let c = -88 + 84. Put 4, -5, 12, c in decreasing order.
12, 4, c, -5
Let q = -2 - -2.4. Let s = -24/31 + 175/186. Put q, -5/3, s in descending order.
q, s, -5/3
Let p be (6/28)/((-5)/10). Sort -4/7, p, 0.1 in increasing order.
-4/7, p, 0.1
Let k = -631/7 + 90. Suppose 5*x = -4*o + 3*o + 7, 5*x - 5*o - 25 = 0. Put x, k, 3 in increasing order.
k, x, 3
Let f be 6*(16/6)/4. Suppose -15 = f*h + 1. Put h, -5, 4 in descending order.
4, h, -5
Let y(w) = -w**3 - w**2 + w. Let v be y(-2). Let r = v + -1. Let c be (-1 + 1)/(2 - 9). Sort c, r, 4.
c, r, 4
Let i be (1/(-7))/(-8 + 102/12). Put -4/3, i, 0.02 in ascending order.
-4/3, i, 0.02
Let h be (9/(-6))/(34/(-72)). Let u = 4828511/102 - 47336. Let r = h - u. Sort -4, 5, r.
-4, r, 5
Let z = -37.2 - -42.17. Let u = -0.03 - z. Sort u, 1, 0.5 in decreasing order.
1, 0.5, u
Let u(r) = 6 - 3 + 2*r - r. Let y be u(5). Put 2, 5, y in descending order.
y, 5, 2
Let a be -2 + 0 + (6/(-45) - -2). Sort a, -2, 1/4, -0.02 in ascending order.
-2, a, -0.02, 1/4
Let j be 11 + 9 - (-3 - 0). Let n = -24 + j. Sort n, -5, -3 in increasing order.
-5, -3, n
Let b(w) = -w**3 + 4*w**2 + 4. Let q be b(4). Let t be 240/(-50) + 2*1/(-10). Sort t, q, 1.
t, 1, q
Let j be (51/(-85))/(2/10). Let u(w) be the third derivative of -w**5/60 - w**4/8 + 2*w**3/3 + w**2. Let i be u(j). Sort 3, i, -5 in decreasing order.
i, 3, -5
Let l = -122 + 122.3. Sort -2, 0.16, l in increasing order.
-2, 0.16, l
Let v be (-2)/(3/(99/(-6))). Let z = 16 - v. Put z, -1, 2 in descending order.
z, 2, -1
Let v = -1 - 0. Let x(l) = -l**2 + 8*l + 2. Let u be x(8). Let b = u + -6. Put b, v, -5 in decreasing order.
v, b, -5
Suppose -7 = -6*k - 31. Sort -2/9, -1/4, k in descending order.
-2/9, -1/4, k
Let k(m) = m**3 - 6*m**2 - 7*m + 2. Let o be k(7). Suppose -3*j = -2*c + 8, 4*c + 6*j - 3*j + o = 0. Sort -3, c, 0 in decreasing order.
c, 0, -3
Suppose 0*r + 2*d = 5*r + 9, -6 = 2*r - 2*d. Suppose -3*a + 5*a = 0. Put a, r