.
3, 0, c, -2
Suppose 0 = u, 8 = 4*c - 0*c - 3*u. Suppose 0 = h + c + 1. Sort 0, 2, h in decreasing order.
2, 0, h
Let s be 0 + 3/6*0. Suppose 19 = 2*p - 3*x - 6, 3*x + 15 = s. Suppose -p*u - 1 = 4. Sort -2, u, -5 in descending order.
u, -2, -5
Let k be ((-3)/(18/4))/(57/9). Put k, -0.8, 2/15 in descending order.
2/15, k, -0.8
Let n be (-7 + 8)*(1 - 2). Sort 4, n, 0 in descending order.
4, 0, n
Let p be 9*(15/9 + -1). Suppose p*s = 2*s. Sort s, -3, 2 in decreasing order.
2, s, -3
Let n = -54.71 + 55. Let x = n + -2.29. Sort 4, -0.6, x in decreasing order.
4, -0.6, x
Let q be -4*-1*(-1)/(-2). Let l be (5 + -4)*q/6. Sort -1/3, -5/2, l.
-5/2, -1/3, l
Suppose 5*n - 4*y - 3 = -8, 1 = -n + 2*y. Let a be (-1)/(5/2)*-15. Let o(j) = -j + 4. Let q be o(a). Sort -5, n, q in increasing order.
-5, q, n
Let t = -13.8 - -14. Let z = 0.39 - -0.01. Sort 0.5, z, t.
t, z, 0.5
Let q = 0.46 - 0.36. Sort -3/7, -2, q in descending order.
q, -3/7, -2
Suppose -2*s = -6*s. Suppose 4*f + 5*x + 23 = s, 3*f + x = -1 - 8. Let d = 5.5 + -5. Sort f, -0.3, d in ascending order.
f, -0.3, d
Suppose 0*w = -3*w - 2*k + 8, -2*k = 4. Let x = 7 - w. Let c be (-8)/24 - 2/x. Sort 3, c, -4 in increasing order.
-4, c, 3
Let h = 11 - 11.4. Sort -0.5, h, 5 in decreasing order.
5, h, -0.5
Let h be (-11 - 1)*8/24. Sort 0, h, -16.
-16, h, 0
Let o = -5 + 9. Suppose 0 = 2*h + 2*h - 4*r + 16, -r = -o*h - 19. Put h, 4, 2 in decreasing order.
4, 2, h
Let k be ((-2)/(-6))/(3/(-27)). Put k, -5, 0 in decreasing order.
0, k, -5
Let a = 0.27 + -0.17. Let w = 41 + -121/3. Put a, 2/5, w in decreasing order.
w, 2/5, a
Suppose b - 1 - 1 = 0. Put b, 3/2, -2/13 in increasing order.
-2/13, 3/2, b
Suppose -3*x - 6 = 6. Suppose 0 = -3*a - 5*b + 6, -3*a + 11 = 3*b + 5. Suppose -3*f = -a*f + 2. Sort x, f, 3.
x, f, 3
Suppose -4*y + 15 = -3*s, -2*s - 2*y + 4 = -0. Let w = 6 + s. Sort w, 3, 4.
3, 4, w
Let i be 4/(-8) - 6/(-4). Let u = -2 + 6. Sort u, i, 2 in descending order.
u, 2, i
Let r = 0.38 - -0.62. Put r, 3/2, -3 in decreasing order.
3/2, r, -3
Let x(v) = -v**2 + 3*v - 4. Let t be x(2). Put t, 4, 5, 1 in descending order.
5, 4, 1, t
Suppose 2*w - 3*f = -1, 3*w - 6 - 30 = -3*f. Suppose -3*x = -12, 4*p - x + 3 = w. Let m = -1 + 1. Sort m, p, 3 in descending order.
3, p, m
Let l(i) = -i**2 + 7*i - 7. Let q be l(6). Let t = 0.45 + 1.55. Sort t, -3, q in descending order.
t, q, -3
Suppose 4*v = 3*w + 3 - 7, 0 = 5*w. Let n be ((-8)/(-16))/(v/2). Sort 3, n, 2 in descending order.
3, 2, n
Let d be (-20)/(-6)*12/(-8). Put -1, 2, d in decreasing order.
2, -1, d
Suppose 5*u = 5*z + 14 + 16, -5*u = -4*z - 27. Let c = 6 - 4. Put u, c, -1 in decreasing order.
u, c, -1
Suppose r = -4*r + 15. Let t = -2 + 1. Suppose -3*o - x + 3 = -3, 8 = 4*o + 3*x. Put t, r, o in increasing order.
t, o, r
Let a = -35 + 35. Put a, -3, -3/11, 0.3 in descending order.
0.3, a, -3/11, -3
Let g = 6.9 - 7.2. Sort 0, g, 17 in descending order.
17, 0, g
Suppose -3*t - 5*i = -2 - 7, -2*i = -5*t + 46. Suppose -s + t = 4*a - 0*a, -a - 9 = 3*s. Sort -2, s, -3 in decreasing order.
-2, -3, s
Let b = 3 - 2. Suppose -23 = -3*g - 5*s, 5*s + 0 - 17 = 3*g. Let l be 11/44 + g/(-4). Sort 5, l, b in descending order.
5, b, l
Suppose 0*j = 3*j - 9. Let v be (-1 - j/(-3))/1. Put 4, v, -1 in increasing order.
-1, v, 4
Suppose -12 = 3*t - 4*j - 42, 0 = 2*t - 4*j - 20. Let b = t + -14. Let i(y) = y**3 + 7*y**2 + 3. Let q be i(-7). Sort b, -1, q in ascending order.
b, -1, q
Let n = 5 + -2. Let c = -6 + 1. Put c, -0.1, n in descending order.
n, -0.1, c
Let u = 68 - 67. Put u, 5, -4 in decreasing order.
5, u, -4
Let o = -32.5 + 34.43. Let s = -0.07 - o. Let h = 2.5 + -2. Sort h, s, 3.
s, h, 3
Let p = 179 + -173. Sort p, 2, 2/17 in increasing order.
2/17, 2, p
Let b = -0.023 + 0.223. Put 2, b, 5 in decreasing order.
5, 2, b
Let g be (6/4)/(18/24). Let m(c) = -c**2 + 6*c - 1. Let r be m(5). Sort r, g, -1.
-1, g, r
Suppose 4*r - 4*y = 12, -3*y + 2*y = -4*r + 3. Suppose r*a = -a. Let d be -6 + 3 + 4 + -6. Sort a, 3, d in decreasing order.
3, a, d
Let m = -6/13 - -1084/39. Let p = m - 28. Sort -0.3, 0.1, p in decreasing order.
0.1, -0.3, p
Let d = 18 - 23. Sort d, 5, -3.
d, -3, 5
Suppose -5*b - 6 = 4. Let t be b/(-2) - (1 + -4). Put 2, -1, t in decreasing order.
t, 2, -1
Suppose -3*v = 4*m + 19, -4*m - 7 = -4*v + 5. Let h = -4/31 - 19/93. Put 1, h, v in descending order.
1, h, v
Let a = -13 - -14. Let g be -1 - 2 - (3 - a). Sort -2, g, 2/3 in descending order.
2/3, -2, g
Let k = 30 - 34. Put k, -3, 2 in increasing order.
k, -3, 2
Let a = 5 + -23. Let y be 6/(-9)*a/16. Let s = 236/3 + -80. Sort s, -3, y in ascending order.
-3, s, y
Let o be (4 + (-55)/15)*1. Put o, -5, -4 in descending order.
o, -4, -5
Suppose -4 = g + 8. Let o = g - -17. Let w be ((-8)/(-36))/((-1)/(-3)). Sort w, o, -2/3 in decreasing order.
o, w, -2/3
Let x be (-4 - -2)/(17 - 4). Put x, 2/15, -6 in increasing order.
-6, x, 2/15
Let s = -41 + 34. Sort 4, 5, s in decreasing order.
5, 4, s
Let v = -0.9 + 0.1. Let c = v + 0.3. Let i be ((-5)/(-2))/((-1)/(-2)). Sort i, c, 0.2.
c, 0.2, i
Let f = -16 - -19. Suppose d + 2*k = -6, f*k - 7*k = 5*d + 6. Put d, 4, 0 in descending order.
4, d, 0
Let z be 4/5 - (-2)/10. Let t be (z/5)/(2/(-5)). Let f = -9 + 25/3. Put f, t, -0.3 in descending order.
-0.3, t, f
Suppose -4*y = x - 4 - 9, -2*x + y = 10. Let k = 0.4 - -3.6. Put k, -1, x in ascending order.
x, -1, k
Suppose 2*v + 2*n - 8 = -0*v, 0 = -v - 2*n + 4. Put -5, -2, v in decreasing order.
v, -2, -5
Let l = -9.3 - -10. Let x = l + -0.4. Let s = -6 + 6.2. Sort x, s, 0 in decreasing order.
x, s, 0
Let k be (-6)/(1/((-10)/3)*-5). Let c be 1*-2 + 0 + -1. Let s be k + -1*(c - 0). Sort 3, -5, s in decreasing order.
3, s, -5
Let c(p) = -p**2 - 4*p + 3. Let u be c(-5). Let v be (3 + 4 + -4)*(-2)/4. Sort u, -3/4, v in decreasing order.
-3/4, v, u
Suppose 6 = 2*h - 2*w, -2*h - 2*w - 5 = -3. Sort h, 4, 0 in increasing order.
0, h, 4
Let x = 5 + -8. Suppose 5*w = -2*m + 20 + 6, -2*w + 2 = -2*m. Put x, 1, m in decreasing order.
m, 1, x
Suppose -5*b = 4*y + 27, 19 = -5*b - 3*y - 5. Let w = -4 + 6. Sort 1, w, b in decreasing order.
w, 1, b
Let o = 23 - 18. Let q = 15 + -11. Put q, o, 2 in ascending order.
2, q, o
Let v(l) = l + 5. Let d be (0/(-1))/(9/(-3)). Let b be v(d). Sort -3, 2, b in increasing order.
-3, 2, b
Suppose 0 = 2*z + 3*z + 20. Let g be (-2)/(-8) + (-11)/z. Let t be (0 + 3/6)*-2. Sort t, g, 5.
t, g, 5
Suppose 4*o + 3*m - 1 = -6, o - 4 = m. Sort 3, 7, o in decreasing order.
7, 3, o
Let a = -5.66 + 8.65. Let j = 0.11 - 0.1. Let p = j + a. Sort 1/4, p, 0.1.
0.1, 1/4, p
Suppose -3*i - 3*v = -15, 2*v - 10 = 2*i - v. Let j(w) = -w**3 + 16*w**2 - 15*w - 6. Let c be j(15). Let p be 2/c - (-78)/18. Sort 5, i, p.
i, p, 5
Let m = 0 - 4. Let r = 5 - -5. Let w = r + -6. Put -3, m, w in increasing order.
m, -3, w
Let l = 5 - 3. Let g be (2/4)/(1/(-2)). Sort 5, l, g.
g, l, 5
Suppose j + 17 = 4*v, -4*j + 4*v - 5 = j. Let c be (-1)/(-3 - 10/(-4)). Suppose -3*f + c = -2*f. Sort 1, f, j in decreasing order.
j, f, 1
Let w = 14 - 12. Sort -1/4, 2/7, w in ascending order.
-1/4, 2/7, w
Let k = 1160/7 - 166. Let y = -0.4 - -0.3. Put -5, k, y in increasing order.
-5, k, y
Suppose -4*n + 4*c = -2*n + 6, 3*n - 4*c = -9. Let g(s) = -s**3 - 3*s**2 - 3. Let t be g(n). Sort t, -2, 2 in decreasing order.
2, -2, t
Suppose 0 = -4*o + o - 9. Let p = -1 - -1. Put p, 4, o in descending order.
4, p, o
Suppose 5*n - 5*a + 5 = 0, 9 - 26 = 5*n - a. Let l(w) = 5*w + 15. Let t be l(-4). Put t, 0, n in increasing order.
t, n, 0
Suppose 0 = 5*o - 3*s - 14, -3 - 3 = 2*s. Let j be (16/20)/((-2)/(-5)). Sort o, -3, j in ascending order.
-3, o, j
Let b = 6 - 19. Let j = b + 13.4. Put j, 1/5, 1 in increasing order.
1/5, j, 1
Let v = -71 + 74. Suppose 3*y = -2*y - 3*k - 32, 2*k - 8 = 4*y. Sort v, 0, y.
y, 0, v
Suppose y = -2*d + 72, -5*d = 3*y + 70 - 250. Put d, -0.2, -1/2 in descending order.
d, -0.2, -1/2
Suppose c - 6 = 2*h - 3*h, -3*c - 22 = -5*h. Let z = -10 + h. Sort 5, z, -2 in decreasing order.
5, -2, z
Let i(p) = p**3 + 4*p**2 - 4. Let z be i(-4). Let w be (9/(-12))/(z/16). Sort -4, 2, w in decreasing order.
w, 2, -4
Let y = -6.2 - -6. Let n = -9 + 9.3. Sort 1/6, n, y in ascending order.
y, 1/6, n
Let d(s) = 2*s**2 + 4*s + 2. Let c be d(-2). Let z be c/4*