06. Sort 4, q, s.
q, s, 4
Let v = 0.05 - 0.55. Let r = 0.1 - -2.9. Let x = 1 - -4. Put v, x, r in ascending order.
v, r, x
Suppose 0 = -20*h + 14*h - 30. Sort 4, 14, h, -3 in increasing order.
h, -3, 4, 14
Suppose 4*v + 3 = 3*v. Let g be 2*1 - (v - -1). Suppose g*s = -s + 10. Sort 4, 3, s.
s, 3, 4
Let h(c) = 2*c + 10. Let n be h(-8). Let s(i) = 2*i**2 + 9*i + 3. Let z be s(n). Suppose 5*u - 4 = z. Sort 3, u, -4 in ascending order.
-4, 3, u
Let j = 94 + -96. Let t be (-21)/(-52) + (-2)/8. Sort t, -0.4, j.
j, -0.4, t
Let y be 4/(-2) + 4 + -11. Let v be (3/y)/((-1)/(-3)). Let g = 0.32 - 0.02. Sort 2/5, v, g.
v, g, 2/5
Suppose -3*t - 6 = 0, k - 2*k + 5*t + 14 = 0. Sort 1, -5, k in decreasing order.
k, 1, -5
Let c = 0.2 - 0.1. Let z = 0.03 + -0.93. Let v = z - c. Put -0.2, v, -4 in increasing order.
-4, v, -0.2
Suppose -4*y + 8*y = 0. Let k(o) = o**3 - 6*o**2 + 2. Let d be k(6). Sort y, -3, d in descending order.
d, y, -3
Let z = -75/2 - -38. Sort 0, z, 1/4 in increasing order.
0, 1/4, z
Let a(c) = 2*c + 2. Let x be a(-2). Suppose 2 = -2*y + 8. Suppose 0 = y*d - 5*f - 20, 20 = 6*d - d - 5*f. Put x, d, 2 in descending order.
2, d, x
Let x be ((-2)/(-6))/((-5)/75). Put -4, x, 2/15 in descending order.
2/15, -4, x
Let y = -4 - -2. Suppose 0*k - 2*k - 4 = 0. Let v be ((-2)/14)/(k/6). Put -1/5, v, y in increasing order.
y, -1/5, v
Let v be (-18)/4 - 8/(-2). Sort 0.4, 2/9, v.
v, 2/9, 0.4
Let m = 7/15 + -3/10. Put m, -2, -3 in descending order.
m, -2, -3
Suppose -3*r + 3*q - 30 = -0*r, -2*q - 25 = r. Let y be ((-15)/r)/(-1*1). Put 1, 4, y in descending order.
4, 1, y
Let i = 29.2 - 29. Sort 4/5, i, 3 in decreasing order.
3, 4/5, i
Suppose 2*l + 9 - 1 = 0. Sort l, 4, -2 in ascending order.
l, -2, 4
Let s = -52 + 53. Sort s, -4, 2, -2 in increasing order.
-4, -2, s, 2
Let u be 2*(2/30*3)/2. Sort 1, u, 0.3 in decreasing order.
1, 0.3, u
Let p be (-24)/858 - 4/(-22). Sort p, 0, 2 in descending order.
2, p, 0
Suppose -v - v - 6 = 0. Suppose -3*t - 3*f + 11 = -4*f, 3*f + 11 = -2*t. Put v, t, 0 in decreasing order.
t, 0, v
Let v = 8 - 8. Sort -12, 1, v in decreasing order.
1, v, -12
Suppose 0 = -t - 4 + 3. Let a(d) = d**3 - 3*d**2 + d + 1. Let r be a(3). Let h be -4*r/(-6) - 3. Sort 0.3, h, t in descending order.
0.3, h, t
Suppose -9 = -5*r + b, 3*r + 6*b - 8 = 4*b. Suppose 10 = -0*s + 2*s. Put s, r, 3 in decreasing order.
s, 3, r
Let k = -0.5 - -1. Let o be (-6 - -9)*5/3. Suppose 1 = q + o. Sort k, q, -1/3.
q, -1/3, k
Let p = 7 + -10. Suppose 0 = -3*m + 2*o - 13, -5*m + 10 = 3*o - 0*o. Put 3, m, p in descending order.
3, m, p
Let w = -5 + 9. Let v(x) = -x**3 + 3*x**2 + 3*x - 4. Let b be v(3). Let m(o) = -o + 3. Let i be m(b). Sort w, i, -3.
-3, i, w
Let g = -10 + 10. Let r = 0.8 - 3.8. Let w = -2.5 - r. Sort w, g, -5 in descending order.
w, g, -5
Let w = -10.5 + 11.5. Let m = -6 + 11. Put m, -1/2, w in ascending order.
-1/2, w, m
Let t be ((-12)/(-3))/((-15)/(-43)). Let b = t + -34/3. Sort -5/2, -1, b in decreasing order.
b, -1, -5/2
Let j be (-3)/12*-2*-8. Let c = -16.2 + 15. Let y = -0.8 - c. Sort y, j, -0.5 in increasing order.
j, -0.5, y
Suppose 0*g + 24 = 3*g. Let s = 5 - g. Let p = s + 1. Put -5, p, 4 in increasing order.
-5, p, 4
Let u(q) = q**3 - q**2 + q - 2. Let a be u(0). Let w = 1 + -1. Sort a, w, 2 in increasing order.
a, w, 2
Let f(k) = -k**3 - 5*k**2 - 4. Let j be f(-5). Let a = 1 + j. Suppose 2*t = 4 - 0. Put -5, t, a in increasing order.
-5, a, t
Let z be (-4)/(-6) + 11/(-3). Let l be (0 - (0 + 1)) + (15 - 16). Sort 2, z, l.
z, l, 2
Let s = -118 - -131. Suppose -6*a = -a. Sort -2, a, s in decreasing order.
s, a, -2
Let d(z) = -2*z**2 + 7*z + 7. Let s be d(4). Put -1, s, -12 in increasing order.
-12, -1, s
Let q be 2/(-6) - (-2)/(-3). Let z be (-4)/(-8) - (-9)/6. Let y = z - 0. Put -3, q, y in decreasing order.
y, q, -3
Let h be (-9 - -7) + 3*1. Let k = 2 - 3. Let u(g) = -4*g**3 + g**2 - g - 1. Let t be u(k). Sort t, h, -2 in increasing order.
-2, h, t
Suppose 2*c + 2*c = -12. Put c, 4, 3 in decreasing order.
4, 3, c
Suppose 9*h - 8*h - 3 = 0. Sort -1, 0, h, -4.
-4, -1, 0, h
Suppose 3*j - 8 = 4. Let h = -820 + 821. Put j, 3, h in decreasing order.
j, 3, h
Suppose 0 = v + i + 1, -5*v = -6*v + 4*i - 16. Let k be 2 + -2 + v/(-26). Put k, -4/9, 2/5 in ascending order.
-4/9, k, 2/5
Let c = 1 + 4. Let p = 0.13 - -3.87. Let w = 0.4 + -0.3. Sort c, p, w.
w, p, c
Let n be (-2)/4*426/4. Let l = n - -53. Let r = -33 + 33.4. Put l, 1, r in decreasing order.
1, r, l
Suppose 0*q + 3 = q. Sort 5, 4, q.
q, 4, 5
Let r = -19 - -17. Let n = -2.1 + 2. Let k = -0.1 + 0.1. Sort r, k, n in increasing order.
r, n, k
Let r(t) = -t**3 + 6*t**2 + 6*t + 6. Let m be r(7). Sort 1, m, -5 in descending order.
1, m, -5
Let r(h) = 2*h - 1. Let y be r(3). Suppose -j = 17 - 12. Put 2, y, j in descending order.
y, 2, j
Let v = 230.83 + -245. Let z = 0.17 + v. Let s = z - -10. Sort s, -2, -2/3 in descending order.
-2/3, -2, s
Suppose -5 = -j - 6. Let o be 6*(-7)/(63/(-6)). Put j, -3, o in increasing order.
-3, j, o
Let v = -1.6 + 5.6. Let c(u) = 2*u + 8. Let m be c(-6). Put v, 2, m in ascending order.
m, 2, v
Suppose -2 = -4*m + 4*h + 10, h + 3 = -4*m. Let d = -2.7 - -4. Let f = -0.3 + d. Put f, -2/9, m in descending order.
f, m, -2/9
Let x = 0.12 - -1.88. Let f = -2.3 + x. Put f, -5, -3 in increasing order.
-5, -3, f
Let d be 2/4*0/2. Put -5, d, -2 in descending order.
d, -2, -5
Let w be 10*((-11)/(-5) + -1). Suppose 0 = 2*g - 2*c - c - w, -2*g - 3*c = 0. Put g, -2, -4 in decreasing order.
g, -2, -4
Let b = 12 - 8. Let k = -11 + b. Let y = -7.07 - k. Sort y, -1/6, 2 in decreasing order.
2, y, -1/6
Let t = 48 + -79. Let q = 43 + t. Suppose 0*k + 2*a = -k - q, 0 = -2*k + a + 1. Sort 1, -4, k in increasing order.
-4, k, 1
Let m(s) = -s**2 - s - 1. Let j be (2 - 1)*(5 + -6). Let t be m(j). Sort t, -2/7, 4 in increasing order.
t, -2/7, 4
Let n be (30/(-20))/(6/(-16)). Let i(r) = r**3 - 5*r**2 + 3*r + 7. Let b be i(n). Sort 5, -14, b in decreasing order.
5, b, -14
Let c = -6 - 2. Let o be (-6)/c*(-4)/6. Let p = -53 - -50. Sort p, o, 0.4 in decreasing order.
0.4, o, p
Let l = -115.6 - -116. Let h = 3 + 1. Sort l, 3, h in increasing order.
l, 3, h
Let x = -5.04 + 5. Let k = x - 0.96. Let f = k + 0.5. Sort 2, f, -5 in ascending order.
-5, f, 2
Suppose -5*v - 10 = -4*b + 3*b, -b + 2 = 3*v. Let q be (-4*1)/1 - -2. Suppose -3*f + 4*f = 3. Put b, q, f in increasing order.
q, f, b
Let a be ((-5)/3)/(2/(-6)). Let r(m) = m - 5. Let k be r(6). Let u = -4 + 4. Sort a, k, u in decreasing order.
a, k, u
Let c(n) = -n**3 + 5*n**2 + 6*n - 9. Let h be c(6). Let u = -7 - -4. Let v be 2 - u*h/6. Sort 0.2, 1, v in descending order.
1, 0.2, v
Suppose 0 = -2*m + 4 + 4. Put 1, 0.2, 1/4, m in descending order.
m, 1, 1/4, 0.2
Let x = -2 + 17. Let y be 5 - 2 - 48/x. Sort -3, y, 4 in descending order.
4, y, -3
Let q be (-2)/(-2) + 1/1. Suppose 19 = 5*v + 2*j, -3*v + 6 + 13 = 5*j. Let n(g) = -g - 2. Let u be n(-6). Put v, q, u in increasing order.
q, v, u
Suppose 12*m = 3*m + 36. Suppose 2*n = -2*n. Sort n, -2, m in descending order.
m, n, -2
Let z = 7 + -5. Let v = z + 3. Let h(j) = -j**3 + 5*j**2 - j + 1. Let x be h(v). Put -2, x, -1 in increasing order.
x, -2, -1
Let k = 0.3 + -0.5. Let i be (-96)/(-52) + (2 - 4). Sort i, k, -2/3 in decreasing order.
i, k, -2/3
Let l be (-20)/(-3 - 68/(-24)). Let d be (-4)/6 - l/(-234). Put -0.5, d, 0.4 in decreasing order.
0.4, d, -0.5
Suppose -w + 8 = -3*b - 15, -2*b = -4*w + 42. Suppose 3*j - j + w = 0, 5*j = -s - 22. Sort 4, 5, s.
s, 4, 5
Let y = 41 - 50. Let j(p) = p**2 - p - 2. Let d be j(0). Sort -4, d, y in decreasing order.
d, -4, y
Let b = 57 + -52. Suppose -3*p = -4*p + 3. Sort b, p, -1 in decreasing order.
b, p, -1
Suppose 6*x = 3*x + 3. Let t(o) = -o**3 - o**2 - 3. Let f be t(0). Suppose 4*n = -0*n + 16. Sort x, f, n in ascending order.
f, x, n
Let m = -3.2 + 3. Let g = m + 0.7. Let t = 347/6 + -58. Sort g, 0, t.
t, 0, g
Let z be 18/(-14) + 2/7. Let j = z - -1. Sort 5, j, -2 in ascending order.
-2, j, 5
Let q be (-8)/28 + (-46)/(-14). Let h = 3 - 8. Sort q, 5, h in descending order.
5, q, h
Suppose 18 = -0*x + 2*x. Let n(a) = -a**3 + 8*a**2 + 10*a - 5. Let b be n(x). Let o = -0.6 + -0.4. Put b, -2, o in increasing order.
-2, o, b
Suppose -5*i = -4*i. Put -0.3, 