 Put 5, x, y in ascending order.
x, y, 5
Suppose 0 = 2*b - 8*z + 4*z - 112, -b = 3*z - 46. Sort -4, b, -5, -2 in decreasing order.
b, -2, -4, -5
Let c = -0.4569 - -0.0569. Let y = 0.2 + 0.8. Sort c, 7, y in ascending order.
c, y, 7
Let c = 38.8 + -42. Let y = c - -2.2. Put -6, -0.5, y in descending order.
-0.5, y, -6
Let v = -613 - -4895/8. Let a = 2701/8 - 337. Let t = a + v. Sort -6, t, 2/9.
-6, t, 2/9
Suppose 0 = 2*b + 9*b - 33. Let w be 1 - (136/(-3) + 2). Let v = 44 - w. Sort v, b, 0.
v, 0, b
Let v = -57 - -115/2. Let y = -1439590/63 - -22850. Let s = y - 2/63. Put -0.4, v, s in ascending order.
s, -0.4, v
Suppose 0 = 3*y - 2*y + 5*o - 20, 0 = 3*y - 2*o + 8. Suppose y*f - 6 = -g - 2*f, -4*g - 3*f = -19. Put g, 6/5, -5 in descending order.
g, 6/5, -5
Suppose -34*i - 60 = 8. Sort -13, 5, i, 0 in descending order.
5, 0, i, -13
Let g be 1/((-1)/2)*(-16)/20. Let d(u) = u**3 + 5*u**2 - u - 3. Let h be d(-5). Put h, 2/5, g in descending order.
h, g, 2/5
Let b = 598 - 2389/4. Put -0.12, b, 1/3 in decreasing order.
b, 1/3, -0.12
Suppose n - 5*n = 36. Let m be (6/9)/((-3)/n). Suppose 4*t + 6 + 14 = 0. Sort 1, t, m in descending order.
m, 1, t
Let r = 4.8 - 19.7. Let p = 14.63 + 0.37. Let y = r + p. Put y, -3, 2 in decreasing order.
2, y, -3
Suppose d - 56 = -5*i, i + 29 = 4*i - 4*d. Put 0, i, 4, -5 in ascending order.
-5, 0, 4, i
Let o = 21/26 + 1/39. Let y = 7 - 11. Sort o, 4, y, 3 in descending order.
4, 3, o, y
Let t be 2/2 - (0 + (1 - 10)). Let x be t/(3 + -1 + -4). Let p = -31/9 - -28/9. Put x, -2/5, p in ascending order.
x, -2/5, p
Let q = -74.166 + 0.166. Let d = q + 26. Sort 0, d, 5 in ascending order.
d, 0, 5
Let g be (-18)/(-5)*((-640)/66 + 10). Sort 1, g, 1/9.
1/9, 1, g
Let v be 4*(-3 - (-78)/24)/(-1). Suppose 0 = z - w + 4, 5*z + 4*w = -0 - 11. Put 4, v, z in ascending order.
z, v, 4
Let h = 0 + -3. Sort h, -2, -0.5, -10 in descending order.
-0.5, -2, h, -10
Let n be (-75)/30 + 14/(-4) + 2. Suppose 5*y + l = -31, -3*l = -y + 2*l - 1. Put n, -3, 4, y in ascending order.
y, n, -3, 4
Suppose -5*t - 10 = -4*l + 23, 0 = 4*l + 2*t - 54. Suppose -10*p + 4*p - l = 0. Let y = -6 + 0. Sort p, y, 0.
y, p, 0
Suppose p = 2, 0 = -55*c + 53*c - 3*p + 8. Sort -1.4, c, -2, 2/5 in decreasing order.
c, 2/5, -1.4, -2
Let p be (-4)/42*(10 - 4). Let j = -0.44 + 0.25. Let a = 0.14 + j. Sort p, 0.4, a.
p, a, 0.4
Let t(c) = c**2 - 6*c - 10. Let k be t(10). Let i be 12/(-5)*k/(-9). Let f be (1 + -1)/(i + -10). Sort f, -4, -3 in increasing order.
-4, -3, f
Let z be (2 - 1 - -2) + -5. Sort z, 17, 1 in increasing order.
z, 1, 17
Let a = -99 + 95. Suppose -8 = 21*g - 23*g. Put a, 0.4, 8, g in decreasing order.
8, g, 0.4, a
Let k(p) = p**2 + 6*p + 5. Let l be k(-8). Suppose 9*x = -24 - l. Sort -3, 5, x.
x, -3, 5
Let v = 473 + -471. Let p = -11.8 - -12. Sort -1, p, v.
-1, p, v
Let j = 3.85 - -1.15. Let d = j - 4. Sort -2/23, d, -0.5, -4 in descending order.
d, -2/23, -0.5, -4
Let t(l) = -2*l + 17. Let d be t(7). Let p be (44/(-176))/(1/(-16)). Sort p, d, -5, 1/5 in decreasing order.
p, d, 1/5, -5
Suppose -3*l - 3 = -30. Let o be (36/90)/(2/10). Suppose 0 = o*s + 1 + 9. Sort 3, s, l.
s, 3, l
Let i be 3*20/(-4) + 4. Let d = 2 - 5. Sort 5, i, d in decreasing order.
5, d, i
Let i(j) = -70 + j + 2*j + 96. Let m be i(-9). Sort 4, 11, m in descending order.
11, 4, m
Let b = -550/9 - -184/3. Sort 0.13, b, 1 in descending order.
1, b, 0.13
Let w = -27 - -26. Let d be w/((-9)/(3/1)). Let p = -2.92 + -0.08. Put d, 0.3, p in descending order.
d, 0.3, p
Let z = -1556/3865 + 2/773. Sort z, 40, -1 in decreasing order.
40, z, -1
Let l = -0.09 - -5.09. Let t = -12.36 + 10.86. Put l, t, -5 in increasing order.
-5, t, l
Let t(q) = -q**2 - 4*q + 3. Let o be t(-5). Suppose 2*f = -4*s - 68, 12*s + f + 16 = 11*s. Sort s, o, -0.5.
s, o, -0.5
Let i = 3.9 - -0.56. Let k = i + 0.54. Put 0.5, -4, k in descending order.
k, 0.5, -4
Suppose 9 + 11 = 5*j. Let q be 2/((2 - 1)/(-1)). Let l = 4280 + -4279. Sort j, l, q in increasing order.
q, l, j
Let c = 10 - 9.79. Let g = c - 0.32. Let q = g + -3.89. Put -2, 6, q in descending order.
6, -2, q
Let j = -402 - -404. Sort j, 1/4, 1/61 in increasing order.
1/61, 1/4, j
Let a = 6.3 + 0.7. Let w = a + -7.2. Let l = -3.2 - w. Sort -0.2, l, 5.
l, -0.2, 5
Let j = -6 - -10. Suppose -j*w = -6*w + 4. Let y = -21 - -16. Put y, w, -4 in descending order.
w, -4, y
Let f = 2.4 - 8.4. Sort -2, f, 0 in decreasing order.
0, -2, f
Let r(u) = -7*u**2 - 6*u + 11. Let v(y) = -6*y**2 - 6*y + 10. Let c(p) = -5*r(p) + 6*v(p). Let h be c(1). Let j(o) = 3*o + 9. Let n be j(-4). Sort h, -4, n.
-4, n, h
Let g be -4 + 6 + 64/(-40). Sort 2/3, 9, -1/8, g in descending order.
9, 2/3, g, -1/8
Let r = -3.99 - 0.01. Suppose -12*v + 64*v - 104 + 0 = 0. Sort 3, r, 4, v in descending order.
4, 3, v, r
Let c(l) = l**3 - l**2 - 4*l - 3. Let z be c(-2). Let w be 18/14 - (-2)/z. Suppose 67 + 93 = 105*i - 50. Put w, i, 0 in ascending order.
0, w, i
Let r be 33/(-99)*(-2)/9*-3. Sort r, -2, 16 in decreasing order.
16, r, -2
Suppose -4*f + 32 = 5*v, -3*v + 3*f = -f. Suppose 5*h = -3*s - 1, 2*s = -s - v*h - 2. Sort -3, 17, s in descending order.
17, s, -3
Let h(y) be the first derivative of 0*y**2 + 1/3*y**3 + 3*y + 1/4*y**4 - 5. Let t be h(0). Put t, -1, 0 in ascending order.
-1, 0, t
Let t be ((-3)/(-5))/(-4 + 147/35). Put 0, 12, t in increasing order.
0, t, 12
Let x(s) = 3 + 6*s**2 - s**2 - 4. Let l be x(1). Suppose 2*q + 2 = l. Put q, 3, 4 in decreasing order.
4, 3, q
Let v be 19/(-7) + 4/(-14). Let i(j) = 2*j**3 - 45*j**2 + 22*j + 4. Let r be i(22). Put r, v, 5 in decreasing order.
5, r, v
Let g = 162 + -167. Let d = 27 + -29. Sort g, 4, d in descending order.
4, d, g
Suppose 0 = -2*y - 3*y. Let u = -16 - -13. Let s be (-12)/20*(2 - u). Sort -5, y, s in decreasing order.
y, s, -5
Let v = 6.6 - 4.6. Sort v, -24, -4 in decreasing order.
v, -4, -24
Suppose -y + 4 + 3 = d, 3*d = -5*y + 29. Suppose -1 = v + d*v + k, 4*v + 2*k + 6 = 0. Sort -3, v, 11 in increasing order.
-3, v, 11
Let b(t) = -t**2 + 6*t - 42. Let c be b(8). Let v = -7 + 9. Put 4, v, -1, c in descending order.
4, v, -1, c
Let q = 690 + -656. Put q, 2, -4 in descending order.
q, 2, -4
Let f = 5/11 + 1/22. Let k = 4.94 + 0.06. Sort f, -0.4, k.
-0.4, f, k
Let n = -3 + -3. Suppose 0*j = 4*j + 12, 4*j = -w - 11. Sort n, -3, 4, w in ascending order.
n, -3, w, 4
Let a be (50/16 + -2)/((-36)/(-24)). Let n = 0.09 + 1.91. Sort 5, n, a in descending order.
5, n, a
Let c(n) = 3*n**2 + 58*n + 21. Let x be c(-19). Suppose 5*f + 16 = -4*o - x, 0 = 3*f - o + 4. Sort f, -3, 1, -4.
-4, -3, f, 1
Let b = -22.56 + 22.22. Sort b, 3/7, -0.04.
b, -0.04, 3/7
Suppose -3*x + 5*q + 3 = -0*x, 0 = 3*x + 3*q - 27. Let r be (-10)/(-4)*x/5. Let o(g) = 4*g - 9. Let m be o(r). Sort m, -2, 4 in increasing order.
-2, m, 4
Suppose -5*q = -15*q + 240. Let t = q - 25. Sort -2, t, 3 in descending order.
3, t, -2
Let p(m) = -m**2 + 19*m + 5. Let c be p(19). Suppose -c*w - 2 = 2*v, 14 = -3*w + 2*v - 0. Let x be w/(-4)*-1*-2. Sort 2, 4, x in ascending order.
x, 2, 4
Let i be 6/16 + (-255)/(-24). Suppose 14*b - 3 = i*b. Put b, -2, -4 in decreasing order.
b, -2, -4
Let b be (12 - 11)*-15*(-15)/(-9). Sort -9, 4, -5, b.
b, -9, -5, 4
Let j = -2281.5 - -2282. Sort 10/7, -2.2, j in decreasing order.
10/7, j, -2.2
Let w be 1/(-4) + -5*4/(-16). Let d be 5*6/15 - w. Sort d, -3, 2 in decreasing order.
2, d, -3
Let b = 0.6 + 0. Let p = b - 0.7. Let w = -0.23 - -5.23. Sort w, p, 3/4 in descending order.
w, 3/4, p
Let l be 2/(-12)*(60 + -60). Sort l, 3, -0.2.
-0.2, l, 3
Suppose -19*f - 546 = 23*f. Sort 3, -4, -5, f in descending order.
3, -4, -5, f
Let k(g) = -1 - 2*g + 6 - g**3 + 7*g**2 - 2*g + 3*g. Let w be k(7). Let l(s) = -s + 1. Let u be l(-4). Put 2, u, w in increasing order.
w, 2, u
Let a = 34 + -31. Let f(i) = 5*i**2 + 2*i - 1. Let w be f(1). Suppose g + a*g + 16 = 0, g = -l - w. Sort l, -3, 2 in decreasing order.
2, l, -3
Let q(x) = 7*x - 217. Let f be q(33). Put 0, f, 5, 4 in decreasing order.
f, 5, 4, 0
Let j = -3.19 - -1.79. Sort j, 0.4, -4, -3 in ascending order.
-4, -3, j, 0.4
Suppose 5*y - 3*y = 26. Suppose 4*d + 3*m = 0, 2*m = 4*d - 13 - 7. Put y, 4, 1, d in increasing order.
1, d, 4, y
Let u = 593 + -593.259. Let x = u - 0.041. Put 5/6, 0.5, -0.2, x in decreasing order.