Sort -5, b, -4.
-5, -4, b
Let y be ((-5)/(-4) + -1)*(1 + 0). Let v = 1/35 + 27/35. Sort y, -5, v in descending order.
v, y, -5
Let k be (-48)/18*(-6)/4. Suppose -w = -k*w. Let u = 3 + w. Put -4, u, -1 in decreasing order.
u, -1, -4
Let i be (-1)/1 + -4 + 1. Put 2, i, 0, 7 in descending order.
7, 2, 0, i
Let g be (2/2)/(21/3). Let z = 1/16 - -7/16. Put g, 3/8, z in decreasing order.
z, 3/8, g
Suppose 0 = 2*a - 7*a + 15. Put a, 4, 2 in ascending order.
2, a, 4
Let t = -14 - -13.6. Let s be 1/2*3/6. Put s, t, 0.1 in descending order.
s, 0.1, t
Let t = -0.6 - -0.2. Sort -0.3, t, -5.
-5, t, -0.3
Suppose -4*k - 4*k - 24 = 0. Let g be (-1)/3 + (-2)/(-6). Sort g, k, 2 in increasing order.
k, g, 2
Let n(y) = -y**2 + 11*y - 27. Let w be n(7). Sort 16, w, 3 in increasing order.
w, 3, 16
Let p = 2.2 - 2. Sort -3/5, p, -1.
-1, -3/5, p
Let b be (3 - 115/35) + 36/(-21). Sort b, 3, -1.
b, -1, 3
Let m = -0.1 + 0. Let q = 0.06 + -0.06. Let v = 5 - q. Sort v, m, 0 in increasing order.
m, 0, v
Let u = 216.02 - 214. Let o = -0.32 + 0.3. Let y = o + u. Put 0.2, -2/7, y in increasing order.
-2/7, 0.2, y
Let c = 5 + -5. Let m = 2 - c. Put 5, -4, m in decreasing order.
5, m, -4
Let t = 12 - 6. Let m be t/(-3) - (-24)/11. Sort 0, m, -2/5 in ascending order.
-2/5, 0, m
Let b = -6 + -3. Let a = 7 + b. Put a, -1, 3 in increasing order.
a, -1, 3
Suppose 0 = j, 5 = h - 6*h + 5*j. Let k be 12/(-9)*3*h. Let r = -38 + 38. Put -5, k, r in increasing order.
-5, r, k
Suppose -5*k + 33 = 2*b, 4*b = -4*k + 2*k + 26. Put -4, 0, b in descending order.
b, 0, -4
Let r = 27 - 24. Sort r, -0.2, -2/17, -5/3.
-5/3, -0.2, -2/17, r
Let v be 3/4 - (-15)/12. Sort 9, -3, v in descending order.
9, v, -3
Let g = 2 - 1. Let d(q) = q**3 - 2*q**2 + 4*q - 3. Let u be d(2). Let p = -11 + 14. Put p, u, g in descending order.
u, p, g
Let c = -7 - -9. Suppose c*t - 3*f + 4*f = 10, 3*t + 3*f = 21. Put 2/3, 3/5, t in decreasing order.
t, 2/3, 3/5
Let w be -86*3/(-5)*1. Let x = -52 + w. Sort -0.3, x, -5.
-5, x, -0.3
Let x(r) = -r**3 - 2*r**2 - 2*r - 1. Let b be x(-2). Suppose 4 = -2*w - 2*w, -3*j - 11 = 5*w. Put b, j, 1 in descending order.
b, 1, j
Let s = 0.238 - 0.738. Let f = -0.6 - -0.9. Put s, 0, f in descending order.
f, 0, s
Let p(n) = n**3 + 10*n**2 - n - 5. Let w be p(-10). Let f(c) = c**3 - 7*c**2 + c - 2. Let a be f(7). Suppose 0 = -a*b + 11 + 4. Put b, -5, w in ascending order.
-5, b, w
Let j = 12 - 20. Let d = -113/270 - -1/54. Put d, j, -2/3 in ascending order.
j, -2/3, d
Let d = -1.5 + -4.5. Let c = 7 + d. Sort c, 5, -2/11 in ascending order.
-2/11, c, 5
Let p = -0.2 - -3.2. Let f = -0.8 + -4.2. Sort 0.1, p, f in increasing order.
f, 0.1, p
Suppose 3*r - 13 - 2 = 0. Sort -5, -2, r in decreasing order.
r, -2, -5
Let a be ((-2)/3)/(-1)*(-9)/3. Sort -3, a, -14 in decreasing order.
a, -3, -14
Suppose 0 = 4*f + r - 4 - 3, 0 = 5*r - 15. Suppose -4*i + 5*i - f = 0. Put i, 5/4, 5/3 in increasing order.
i, 5/4, 5/3
Suppose 0 = -2*h - h. Let s = 70 + -69. Sort s, 4, h in descending order.
4, s, h
Let g = 7 - 4. Let o = -19 + 14. Sort g, 1, o.
o, 1, g
Let r = -0.36 + -0.04. Let k = -1/823 - 116863/2469. Let v = -48 - k. Sort r, 0.3, v.
v, r, 0.3
Let v(a) = -a**3 + 3. Let f be v(0). Let c = 0.53 + 0.17. Let h = c + -1. Sort f, h, -0.4 in descending order.
f, h, -0.4
Let a = -11 - -15. Suppose 0 = -x + 2, 10 = -g + a*x + x. Sort 2, g, -3 in decreasing order.
2, g, -3
Suppose 4*x = 2 + 6. Suppose -4*d - x*y - 2 = 2, -d - 2*y = 1. Suppose 5*q + 1 - 7 = 4*k, 0 = 3*k + q - 5. Sort 4, d, k.
d, k, 4
Suppose -3 = -5*q - 8. Put 0.1, -0.3, q, 4/7 in ascending order.
q, -0.3, 0.1, 4/7
Let k be 1*8 + 0 + -3. Put 4, k, -0.5 in decreasing order.
k, 4, -0.5
Let v be ((-11)/11)/(2/6). Let t = 8 - 2. Put t, 0, v in descending order.
t, 0, v
Suppose -2*p + 3*v + 6 + 21 = 0, 12 = -4*v. Put p, -4, 5 in increasing order.
-4, 5, p
Suppose 2*v + 2*g = 0, -g - 2*g = 4*v - 5. Put -1, v, -24, 0 in decreasing order.
v, 0, -1, -24
Let b = -3 + 4. Let c be ((-10)/(-18))/1*-1. Let a = 11/9 + c. Put -5, a, b in descending order.
b, a, -5
Suppose 0 = -d - 0*d - 1, d - 2 = x. Sort x, 2, -1, 11 in increasing order.
x, -1, 2, 11
Let s be (24/(-20))/((-3)/542). Let k = 216 - s. Put -0.5, -3, k in decreasing order.
-0.5, k, -3
Let u = 32 + -30. Sort u, 3, 29 in decreasing order.
29, 3, u
Let t = 0.3 - 0.1. Let k = t + -0.2. Let x = 3 - k. Put x, 2/11, 1 in ascending order.
2/11, 1, x
Let z = 26 + -24. Put z, -2/13, -0.2 in decreasing order.
z, -2/13, -0.2
Let j = 3 + -1. Suppose 8 - 20 = -4*q. Put j, q, -3 in increasing order.
-3, j, q
Suppose 8*j = j. Sort j, 1, -1.
-1, j, 1
Let k be ((-8)/(-5))/(4/(-20)). Let x = 13 + k. Let u = x + -6. Put -5, 1, u in ascending order.
-5, u, 1
Suppose 13*x = -3 + 42. Sort 1, x, -12, 5 in decreasing order.
5, x, 1, -12
Suppose -5*t + 0*t + 55 = 0. Let a = 2 - t. Let q = 6 + a. Sort 0, q, -1.
q, -1, 0
Let i = 18 + -15. Let z = 2.9 + 1.1. Let y = -3.9 + z. Sort y, -2, i in ascending order.
-2, y, i
Let k(l) = -l + 1. Let r be k(0). Let w = -6 + 2. Suppose -4*v - 3*p + 8 = 0, v = -0*v - p + 3. Put v, w, r in decreasing order.
r, v, w
Let u = 2/37 - 45/148. Put -2, 0.5, u, 0.1 in decreasing order.
0.5, 0.1, u, -2
Let k be (30/(-39))/(-5) - 24/(-13). Put -1, k, -4, -5 in increasing order.
-5, -4, -1, k
Let b = -70 + 75. Sort -8, 4, b.
-8, 4, b
Let x = 34 + -35. Let q be -3*3/27*-1. Sort x, -0.2, q in decreasing order.
q, -0.2, x
Let f(i) = i**3 - 6*i**2 - 2*i + 9. Let s be f(6). Suppose 0 = -3*g + 4*g - 4. Suppose 4*a = -0*a + 8. Sort a, g, s in ascending order.
s, a, g
Let a = 4 + -4. Let u = -39 + 196/5. Sort 9/2, u, a in increasing order.
a, u, 9/2
Let p be 3/4*(-6036)/(-54). Let o = 84 - p. Sort -0.3, 5, o.
-0.3, o, 5
Suppose 4*u + 38 - 58 = 0. Let w be (-3)/(-6) + (-17)/2. Let k = w + 12. Sort -1, k, u in increasing order.
-1, k, u
Let k = 4.7 + -5.7. Put -5, k, -0.2 in descending order.
-0.2, k, -5
Suppose -x = -0*v + 3*v - 25, -5*x - 4*v = -136. Let k be 8/x - 20/21. Sort -3, -0.5, k in descending order.
-0.5, k, -3
Let p = -29 + 259/9. Sort 0.2, -0.5, -1/4, p.
-0.5, -1/4, p, 0.2
Let a = -5.2 + 5. Let h = 0.08 + 4.92. Put h, -4, a in decreasing order.
h, a, -4
Let g(c) = -4*c + 1. Let i be g(1). Let p be 4/6 - 13/i. Sort p, 4, 0.
0, 4, p
Let y = -8.4 - -7.6. Sort y, 1/6, -0.1 in decreasing order.
1/6, -0.1, y
Let h = 0.21 - 3.81. Let i = -4 - h. Let a = -0.02 - 1.98. Sort a, 4, i.
a, i, 4
Let c(w) = -w + 21. Let n be c(19). Put n, 8, 3 in descending order.
8, 3, n
Let i = 3 + -3.1. Let j = 374 - 377. Put i, j, -2 in increasing order.
j, -2, i
Let d(i) = i**3 - 7*i**2 + i - 8. Let z be d(7). Let x = -0.08 + 0.02. Put x, z, 4/7 in increasing order.
z, x, 4/7
Let p = 17.6 + -18. Put p, 4, -4, -5 in decreasing order.
4, p, -4, -5
Let s be (-27)/(-15)*20/6. Suppose i - 2*i = -s. Suppose 3*q = 6*q - i. Sort q, -1, 5 in ascending order.
-1, q, 5
Suppose 4*p = -4*a + p - 26, 5*a - 3*p = -19. Let u = -5 - -3. Sort a, u, 5 in descending order.
5, u, a
Let x = 0.08 - -0.12. Let a = -7.99 + 8. Let l = 0.1 + -0.4. Sort l, x, a.
l, a, x
Suppose n + x - 9 = 0, 4*n + 3*x - 2*x - 39 = 0. Put n, 5, 0 in increasing order.
0, 5, n
Let w = -40 + 39.9. Sort -0.4, 1/5, w, 0.6 in decreasing order.
0.6, 1/5, w, -0.4
Let x = 105 + -101. Put 2, x, -33 in increasing order.
-33, 2, x
Let y be (-2 + 1)*(6 - 2). Suppose -4*t + 12 = 2*t. Sort t, -5, y.
-5, y, t
Let n = 0.7 - -1.3. Put n, -2/9, -3/5 in decreasing order.
n, -2/9, -3/5
Suppose 5*k = 3*y + 37, 2*k - 3*y - 26 = -4. Sort 3, -5, k.
-5, 3, k
Suppose 2*x + 6 = -0*x. Let s = 1 - x. Sort 5, 0, s.
0, s, 5
Let t be -10*(0 - (-6)/15). Let n be (-7)/28 - (-19)/t. Put -2, n, 9 in ascending order.
n, -2, 9
Let n = 5.5 - 2.9. Let z = -4.4 + 4. Let o = z - n. Put o, -0.1, 3/4 in descending order.
3/4, -0.1, o
Let i = -295/1148 + 2/287. Let f = 46 + -140/3. Sort f, 5, i in descending order.
5, i, f
Let t = -29 + 23.1. Let s = t + -0.1. Let v = -4 - s. Sort 1, v, 3 in descending order.
3, v, 1
Let h = -18 + 21. Let d be 2*1 + -1 + 4. Sort 1, h, d in ascending order.
1, h, d
Let x be (-6)/(-27) - (-58)/(-18). Sort x, 2, 0 in ascending order.
x, 0, 2
Let j(l) = 2*l**3 - 3*l**3 + 2*l**3 - 2 - 5*l**2 + 4*l + 5. Let t be j(4). Suppose -i + t*i = 2. Sort -5, i, 5 in decreasing order.
5, i,