 a = 3313/7 - 473. Put a, -0.5, 4 in ascending order.
-0.5, a, 4
Let n(c) = -2*c**2 + 29*c - 29. Let g(m) = 3*m**2 - 30*m + 30. Let x(j) = 3*g(j) + 4*n(j). Let o be x(-27). Put -2, -5, -3, o in ascending order.
-5, -3, -2, o
Suppose -a - 2*h + 3 = 2, 5*a - 3*h = -21. Let t(c) = -11*c - 116. Let p be t(-11). Put -5, p, a, -4 in decreasing order.
p, a, -4, -5
Let m be (36/6 + -8)*2/(-22). Sort 1, m, -1/8 in decreasing order.
1, m, -1/8
Let p(j) = -10 - j + 3*j - 11. Let k be p(9). Let b = -0.1 + -0.3. Put -4/9, k, b in increasing order.
k, -4/9, b
Let s = -340 + 339.04. Put s, 2, 1/5 in ascending order.
s, 1/5, 2
Let p(j) = -2*j**3 + 38*j**2 + j + 40. Let m be p(19). Let k = 62 - m. Sort k, 2, 0, -3.
-3, 0, 2, k
Let i = 9.13 - 9.03. Sort i, 93, -1, 0 in ascending order.
-1, 0, i, 93
Let m = -2 + 5. Suppose -5*b - m = -13. Let x be (-3)/b*(-4)/(-6). Sort -3, 2, x.
-3, x, 2
Let s = 151 + -153. Sort s, -9, 4, 0.
-9, s, 0, 4
Suppose 16*i = 18*i + 10. Sort -3, 5, i, 0 in decreasing order.
5, 0, -3, i
Let b = -4.2 + 5.9. Let q = b - 0.8. Let h = -1.4 + q. Sort 4/9, h, -0.1.
h, -0.1, 4/9
Let x be (-22)/(-220)*6 + 778/(-5). Sort x, -2, -4, -5.
x, -5, -4, -2
Let t = 506 - 538. Sort -2, t, -1, 5 in increasing order.
t, -2, -1, 5
Let m be 2 + 2 + 0 + 1. Suppose 2*b - m*b = 0. Let k = 35 - 32. Sort b, 4, k in increasing order.
b, k, 4
Let k = 5 - -6. Suppose -2*v = -2*b - 6, -2*b + b - k = -5*v. Suppose 7*y - v*y - 25 = 0. Put 1, y, -3 in increasing order.
-3, 1, y
Let n be (722/(-18))/((-2)/3). Let x = -60 + n. Let q be (-16 - -18)/(-3 - 3). Put 2/7, q, x in ascending order.
q, x, 2/7
Let t = 72 - 110. Let p = -31 - t. Put p, 0, -1 in ascending order.
-1, 0, p
Let g = -1.696 - 0.304. Let q = -2 + 1.7. Put g, q, 0.2 in decreasing order.
0.2, q, g
Let s = -22 - -21.7. Sort s, -3, -0.1, -2/11.
-3, s, -2/11, -0.1
Let w = -1491 - -1486. Put 1, w, 59 in increasing order.
w, 1, 59
Let x be (-4 + 20 - 21) + 3. Let g = 1 - -5. Put x, g, 5 in decreasing order.
g, 5, x
Let t = 0 - -1. Suppose v + 2 + 11 = -3*o, -3*o - 4*v - 25 = 0. Sort -4, 4, t, o in descending order.
4, t, o, -4
Let c = -582 + 581. Put 24, 2, c, 5 in decreasing order.
24, 5, 2, c
Suppose 0*g + 20 = 4*g. Suppose 0 = v + g - 2. Let n = -636.5 + 637. Put -2, n, v in descending order.
n, -2, v
Let x = 124 + -128. Put -3, 4, 0, x in descending order.
4, 0, -3, x
Let x(c) = -c**2 + 8*c - 7. Let y be x(6). Let b = -41 + 7. Let m = b + 29. Put y, m, 4 in increasing order.
m, 4, y
Suppose -18*i - 2125 = -2179. Sort 10, i, -11 in decreasing order.
10, i, -11
Let w = -13 + 6. Let b be (-2)/7*w/14. Sort -18, 0.1, b.
-18, 0.1, b
Let v = -4.3073 + 0.3073. Sort v, -0.5, 1.8, -2 in ascending order.
v, -2, -0.5, 1.8
Let u = -30.3 + 30.22. Sort -4, -1/2, u in decreasing order.
u, -1/2, -4
Suppose -3*u + 107 = 2*u - x, 5*u - 2*x = 104. Put -1, 4, 0, u in descending order.
u, 4, 0, -1
Let p be 1/(-2) - 558/(-124). Let h(o) = 2*o**2 - 3*o + 1. Let y be h(2). Sort y, 1, p in decreasing order.
p, y, 1
Let k be (-9)/(-3) + (-27)/6. Suppose -2*d + z + 12 = -z, 5 = -z. Sort k, -3, d, -0.3 in ascending order.
-3, k, -0.3, d
Let l(i) = -i**2 - 8*i - 6. Let a be l(-6). Suppose 3*y = -0 + 6. Suppose y*w + 5*q + 30 = -w, 5*w - q = -22. Sort 1, a, w in ascending order.
w, 1, a
Let w = -1/30325 + -60647/90975. Let y = -0.5 - -0.8. Sort w, -1/4, 4, y in decreasing order.
4, y, -1/4, w
Let h(i) = -i. Let g be h(3). Let b(v) = -4*v + 22. Let m(o) = 4*o - 21. Let f(t) = -3*b(t) - 2*m(t). Let y be f(7). Sort y, g, -1 in increasing order.
g, -1, y
Let q(r) = 10*r - 81. Let m be q(8). Sort m, -2, 0.2, 6 in increasing order.
-2, m, 0.2, 6
Suppose 0*r + 3*r - 9 = 0. Suppose -3*x + 3*v - 27 = 0, -2*v + v = -5*x - 29. Suppose b - 4 + 15 = -3*q, -2*b - 14 = 2*q. Put r, x, q in decreasing order.
r, q, x
Let h(g) = -5*g**2 - g**3 + 0 - 2 + 0 - 5*g - 2. Let f be h(-4). Let n = 11 - 7. Sort n, f, 5 in decreasing order.
5, n, f
Suppose -5*v - 25 = 0, 5*v + 4 = -4*p + v. Suppose 2*a - f + 9 = 2*f, -5*a + p*f = 12. Sort a, 3, 1 in increasing order.
a, 1, 3
Let h(k) = 3*k**3 - k**2 + 2*k + 64. Let c be h(0). Sort 2, c, -2 in descending order.
c, 2, -2
Let b = 1 + -5. Let o be 7/(28/40) + 4. Let g be (-5 + o/3)*-9. Sort -6, b, g in decreasing order.
g, b, -6
Let l = 2.43 - 3.43. Let d = -4 + 6. Let i be (0 - -2)/(4/(-10)). Put d, i, l in decreasing order.
d, l, i
Let c = -9.4 - -7. Let h = c - 0.6. Suppose 2*g = 3 - 1. Put g, h, 3 in descending order.
3, g, h
Let l = 3 + -3. Let g = 195 + -193. Put g, l, 5/3 in descending order.
g, 5/3, l
Suppose 0 = 4*h - 52 - 4. Let i = 16 - h. Suppose i*q = -3*q + 15. Sort 4, -4, q.
-4, q, 4
Let k = -0.1 - 0.2. Let w = k + 1.3. Let z be (-5)/((-50)/(-4)) - 9/15. Put z, -3, w in increasing order.
-3, z, w
Let g = 33 - 21. Suppose -3*f = -2*z + 18, f = -f - 2*z - g. Let m be 45/f*(-3)/9. Put 0.4, 1.2, m in increasing order.
0.4, 1.2, m
Let v = -2000/9 + 222. Let r = 15 + -10. Suppose -m = -r*m + 24. Sort v, 1/7, m in descending order.
m, 1/7, v
Let a(c) = c**3 + 15*c**2 + 18*c - 8. Let u(s) = s - 8. Let z be u(-6). Let h be a(z). Let p be (-10)/4*h/(-40). Sort -0.3, p, 3 in ascending order.
p, -0.3, 3
Let l(t) = 3*t - 7. Let w be l(9). Suppose 2*f - w = 5*z, -3*f + 2 + 3 = 5*z. Sort 2, -1, z.
z, -1, 2
Let s = 679.2 - 678. Sort s, -0.2, 8 in increasing order.
-0.2, s, 8
Suppose -5*a - l + 7 = 3*l, 4 = 4*a + 4*l. Let u be a*3/(18/(-8)). Suppose -2 = -7*q + 8*q - 3*v, 0 = -5*q + v - 10. Put u, q, -5 in descending order.
q, u, -5
Let k = 5.92 + 0.08. Let q = k - 5.5. Suppose 0 = 3*v + 14 - 29. Sort v, q, -1/7 in increasing order.
-1/7, q, v
Let n = 3.55 - 1.55. Sort n, 3, -1 in descending order.
3, n, -1
Suppose u - 11 = 2*h - 5, 2*h = -u - 14. Put h, 0.9, -2 in decreasing order.
0.9, -2, h
Let t(s) be the first derivative of s**4/4 + 4*s**3/3 - s**2/2 - 4*s + 1. Let w be t(-4). Let d be (12/(-15))/(2/(-10)). Put w, d, 2 in ascending order.
w, 2, d
Let k = 2 - 2.4. Let v = 38 - 43. Let f = 3.2 + -3.5. Sort f, v, k.
v, k, f
Let d be (((-64)/(-3))/1)/((-168)/(-252)). Sort -2, d, 0, 5.
-2, 0, 5, d
Let w be 26/(-78) + 4/(-6). Sort w, -2, 0, -2/5 in increasing order.
-2, w, -2/5, 0
Let p = -423 - -433. Let b = -4 + 5. Put b, 0, p in decreasing order.
p, b, 0
Suppose 2*l + 3*g - 5 = 0, 4*l - 5*g + 11 + 12 = 0. Let z = -8 + 17. Sort l, z, 4 in ascending order.
l, 4, z
Let t be -18*(-1)/2 - -2. Let f = t - 6. Let p = 0.24 - 5.24. Put f, 1, p in descending order.
f, 1, p
Suppose -4*j = -8 - 12. Let q = -79 - -77. Put j, -4, q in decreasing order.
j, q, -4
Let n = 229 + -231. Put 2/11, 4, n in ascending order.
n, 2/11, 4
Let v be ((-1)/(-2))/(26/(-52)). Sort -2, -4, v in descending order.
v, -2, -4
Suppose -883 = -6*q - 859. Put -0.06, q, -1/55 in decreasing order.
q, -1/55, -0.06
Let s be (2 + (-15)/5)*-3. Suppose -s*b - 36 = 2*c - 4*b, b = c + 16. Let o be ((-4)/(-7))/(c/(-70)). Sort 3, 0, o.
0, o, 3
Suppose -184 = 19*k - 89. Put -85, k, 0, -4 in increasing order.
-85, k, -4, 0
Suppose -4*u = -3*u - 2. Let s be -1 - (-1 + (u - 3)). Let y = 2 + -7. Put -4, s, y in increasing order.
y, -4, s
Let z = -6 + 4. Suppose -5*f = -4*l + 56, 1747*f - 1752*f - 47 = -3*l. Put 5, 4, z, l in descending order.
l, 5, 4, z
Let p(r) = r**3 + r**2 - 3*r + 1. Let h be (-2 + (-1 - -2))/(2/(-4)). Let l be p(h). Let v = 4 + -9. Put v, -1, l in increasing order.
v, -1, l
Let w = 21 - 15. Let q be (-15)/w*4/(-2). Suppose -2 = q*r - 3*r. Put -5, -3, r in decreasing order.
r, -3, -5
Suppose -10*p = 49 - 39. Let k be -1 - (-4 - (1 + -4)). Sort k, -4, p, 5.
-4, p, k, 5
Let q = 4 + -9. Let p be 136/(12/(-3)) + -1. Let r be 5*(-2)/p*1. Sort q, r, 5.
q, r, 5
Suppose 2*c + 2*s = -4, 4 = -5*c + s - 18. Sort 4, 0, c in ascending order.
c, 0, 4
Let w = -0.1 - -0.6. Let p(i) = -6*i + 23. Let z be p(3). Suppose 4*x = z*u - 5, -2*u = -4*x + 2*u - 8. Sort w, x, 4/17.
x, 4/17, w
Suppose -2*o - i = 5, -4*o = -2*i + 31 - 9. Sort -2, 1, o.
o, -2, 1
Let n = 7/45 - -1/90. Sort n, -1/13, 2 in ascending order.
-1/13, n, 2
Let v(z) = z**3 - z**2 - z - 2. Let n be v(0). Suppose 3*y - 21*x = -20*x + 1, 0 = 2*y - 4*x - 14. Put n, 5, y, 0 in ascending order.
n, y, 0, 5
Suppose c + 4*q = -3, 29*c - 34*c - 87 = -4*q. Suppose z - 3*w - 4 + 18 = 0, 0 = -z - 2*w + 11. Put z, -4, c 