 Sort b, 0, x in decreasing order.
b, 0, x
Let m be -6 + (3 - (1 + -5)). Put m, -37, -4 in decreasing order.
m, -4, -37
Let j = 48/163 + -28621/326. Let o = j + 86. Sort 7, o, -3/5.
o, -3/5, 7
Let t(m) = m - 16. Let b be t(6). Let y be b/12*(-36)/27. Let i = y + -11/9. Sort 3, i, -12 in ascending order.
-12, i, 3
Let t(v) = v**3 + 4*v**2 - 7*v - 5. Let s be t(-5). Let g = -15.56 + 15.76. Put s, g, 3, -4 in decreasing order.
s, 3, g, -4
Suppose -5*q + 4 = -6*q. Suppose 12 = 13*r - 1. Put 5, q, 0, r in decreasing order.
5, r, 0, q
Let a(l) = -l**3 + 7*l**2 + 11*l - 15. Let d be a(8). Suppose -5*i - d = 1, -16 = 2*j + 3*i. Let h = -3 - -5. Sort h, -2, j.
j, -2, h
Let d(w) = -w**3 - 6*w**2 + 10*w + 7. Let g be d(-7). Let o be g/35*(-10)/(-14). Put 5, 4, o in ascending order.
o, 4, 5
Let y = 1067 - 1060. Put 0, -1, y, -6 in ascending order.
-6, -1, 0, y
Let m(p) = p**2 + 1. Let l be m(-2). Let o = -413.5 + 413. Let h = -356/117 + 26/9. Sort h, l, o in ascending order.
o, h, l
Let x be -113*2*1*(-6)/12. Sort -0.2, x, 1/7 in ascending order.
-0.2, 1/7, x
Let s = -2.4 - -39.4. Let v = s - 38. Sort -1.7, -4, v in ascending order.
-4, -1.7, v
Let t be 3/(18 - 3) + (-44)/20. Let s(v) = -v**2 + 10*v + 12. Let a be s(11). Put a, 0, t in descending order.
a, 0, t
Suppose 0 = 2*w + 4*i + 66 - 18, 96 = -5*w + 2*i. Let s be 2 + 0*5/w. Sort 5, s, 0 in increasing order.
0, s, 5
Let h = -596.9 + 597. Sort -23, h, 2/7.
-23, h, 2/7
Let j be 50/8 - 10/40. Suppose 0 = -4*y + 3*w - 2, 3*y + 4*w = j*w - 1. Sort -4, y, -2 in increasing order.
-4, -2, y
Let j = 0.2419 + -0.5419. Let n = 0 - -4. Sort 0.2, n, j in descending order.
n, 0.2, j
Let p = 373 + -377. Sort -2, 15, p in increasing order.
p, -2, 15
Let l = -52 + 128. Let g = l - 78.3. Put -3, g, 1/5 in increasing order.
-3, g, 1/5
Let z(t) = -t - 27. Let g be z(-47). Let k(p) = -p**2 + 6*p - 1. Let q be k(5). Sort q, -2, g.
-2, q, g
Suppose 36 = 4*f - 7*s + 3*s, 4*s + 15 = f. Let t = f - 10. Let l be (-9 - -13)*1/(-2). Put 1, t, l in ascending order.
t, l, 1
Let a = 442 + -438. Sort -0.096, -2, a.
-2, -0.096, a
Suppose -30 - 50 = -5*b. Let p = b + -6. Let s = -21/2 + p. Sort -2, -0.3, s in ascending order.
-2, s, -0.3
Let x = -12 - -10. Let a = 4.18 + -3.18. Sort x, -0.8, a, 3/2.
x, -0.8, a, 3/2
Let v be 1/4 + (-237)/(-12). Sort v, -5, 3 in ascending order.
-5, 3, v
Let j = -36 + 33. Let m = j - -3. Sort m, -2, 5.
-2, m, 5
Suppose 5*t - 35 = 5*h, 5*t = -0*h + 3*h + 31. Let s(k) = -k**3 + 5*k**2 - k + 6. Let i be s(t). Let f = 252 + -248. Put i, 0, f in descending order.
f, i, 0
Let q = 179977/237652 - 101/2242. Let h = -2/53 - q. Sort h, -0.5, -2/3 in increasing order.
h, -2/3, -0.5
Let d = 343 - 2407/7. Put 1, -2, d in descending order.
1, d, -2
Let r(a) = -a**2 - 9*a - 10. Let p be r(-7). Let n = 478 + -482. Sort n, p, -5, -2 in decreasing order.
p, -2, n, -5
Suppose 54 = -5*a - r, 4*a + 4*r + 52 = r. Let k(n) = -n**2 - 9*n + 8. Let o be k(a). Suppose 2*x = v - 1 - 3, 8 = 2*v - 3*x. Sort v, o, 2 in increasing order.
o, 2, v
Let p be (-2 + 6)*3/(-6). Let l(o) be the third derivative of o**6/120 + o**5/60 - o**4/24 + o**3/2 + 6*o**2. Let h be l(0). Sort h, -3, p in increasing order.
-3, p, h
Let q be 6/5*2/6. Let j be (1/115)/(16/790). Let r = -7/23 + j. Put r, 4, q in ascending order.
r, q, 4
Let s(q) = -q**3 - 28*q**2 - 3*q - 84. Let i be s(-28). Suppose -9 = -3*b - 24, -5*g + 4*b = -5. Sort 5, -12, g, i.
-12, g, i, 5
Let u(d) = -3*d**2 - 74*d + 21. Let n be u(-25). Sort -30, n, 5, 3 in increasing order.
-30, n, 3, 5
Suppose 0 = 4*v + v - 5*x + 540, 429 = -4*v + 3*x. Let u be (4/10)/(7/v). Suppose 9*p + 60 = -6*p. Sort -5, p, u in decreasing order.
p, -5, u
Let n = 45 + -95/2. Let a = 3 + n. Sort a, -1, -3, -4 in descending order.
a, -1, -3, -4
Let h = -817/7 - -117. Put 1/3, h, 0, -3 in decreasing order.
1/3, h, 0, -3
Let a = 635 - 605. Put a, 4, 5, 2 in increasing order.
2, 4, 5, a
Let l be (-2)/3*(4 + -1). Let m = -7.16 - -6.66. Sort -4, l, 0.5, m in decreasing order.
0.5, m, l, -4
Let u = 277 - 1392/5. Let j = -13/10 - u. Let t = 2/5 + j. Sort 1, t, 2/7 in descending order.
1, t, 2/7
Suppose 0 = -2*o + 32*n - 33*n + 30, 5*o - 4*n - 49 = 0. Let q = 0.07 - 3.07. Sort -1, o, q in decreasing order.
o, -1, q
Let z be (5 - (-93)/(-15))/(2/(-5)). Sort 7, z, -2 in descending order.
7, z, -2
Let c(p) = p**2 + 4*p - 6. Let m be c(-5). Let u = 115 - 111. Put -5, m, u in increasing order.
-5, m, u
Suppose 0 = 12*x - 17*x + 55. Sort -3, 0, x.
-3, 0, x
Suppose r = 3*h - 112, 2*h + 482 = -4*r - 3*h. Sort -1/4, 0.5, -4, r.
r, -4, -1/4, 0.5
Let f(n) = 3*n - 3. Let i be f(2). Suppose 0 = -15*b + 33 - i. Sort -3, b, 0.11.
-3, 0.11, b
Let q = -0.21 - -0.2. Suppose -10*r = -9*r - 6. Suppose 5*u = 4*g + 45, u - r*u + 10 = 3*g. Sort -0.1, g, q in decreasing order.
q, -0.1, g
Let o(h) = -2*h**2 - 57*h - 25. Let m be o(-28). Let w be (-3)/(-12) + (-36)/16. Put m, -5, w in decreasing order.
m, w, -5
Let q be 0/(2/2*3). Let f = q + 4. Suppose -w = -f*w - h + 39, 4*h + 48 = 5*w. Put w, 0, 1 in increasing order.
0, 1, w
Let y = -13.86 - -14. Let j = y + 2.76. Let p = -3.3 + j. Put 5, p, 0.2 in descending order.
5, 0.2, p
Let k(r) = -r**2 - 9*r + 13. Let i be k(-10). Let z(c) = -c**3 - 11*c**2 + 41*c - 16. Let b be z(-14). Put 25, i, b in increasing order.
b, i, 25
Suppose -3*b = -2*b - 4*b. Suppose j = -2*j. Suppose 2*h = 3*p - 1, -2*p + j = 5*h + 31. Put b, 5, h in ascending order.
h, b, 5
Let m = 0 + 0. Let c be (-8)/4*(-165 + 164). Sort -10, c, m in decreasing order.
c, m, -10
Suppose -4*h - 36 = -2*h + 5*m, 8 = -4*m. Let q be (h/65)/(2/(-5)). Put 0, q, -1 in ascending order.
-1, 0, q
Suppose -1070*g - 21 = -1063*g. Put g, 5, 33, 5/4 in decreasing order.
33, 5, 5/4, g
Suppose -5*o - 17 = 33. Let v be ((-36)/(-30))/((-3)/o). Suppose 3*u = -5*q - 5 + 33, -2*q - v*u = -14. Sort -3, -6, q.
-6, -3, q
Let d be 9/(-5) + (-1)/5. Let x be ((-2)/(-2))/((-7)/28). Suppose -2*q = 4*b + 18 - 2, 2*q + b + 4 = 0. Put q, d, x in ascending order.
x, d, q
Let p = 10 - 5. Let g = 9 - p. Suppose 14 = -2*q + g. Sort 3, q, 2 in descending order.
3, 2, q
Suppose -5*a = -5*m + 35, a = -m - a + 1. Sort m, -2/17, -1/12 in decreasing order.
m, -1/12, -2/17
Let o = 0.4 - -0.6. Let l = 4/23 + 107/46. Put l, -5/3, o in ascending order.
-5/3, o, l
Let f be ((-133)/21 - (-10)/(-6)) + 0. Sort 1, -4, f in increasing order.
f, -4, 1
Let m = -4417 - -4422. Let j(w) = w**2 - 7*w + 4. Let x be j(4). Let o(u) = 3*u. Let h be o(-1). Sort x, m, h in increasing order.
x, h, m
Let x be (7/(-9))/((-966)/828). Sort -0.5, 3, x in decreasing order.
3, x, -0.5
Let t = 5818/9 + -646. Let c = 63/2 - 563/18. Put c, 0, 4, t in decreasing order.
4, t, c, 0
Suppose -2*c + 26 = -4*y - 6, 0 = 3*c - 3*y - 54. Let t be 1/(-1) + (c/(-6) - -5). Let z = -0.8 + 4.8. Sort z, -0.3, t in increasing order.
-0.3, t, z
Let j(a) = a**3 - 7*a**2 + a. Let m be j(7). Suppose -2*x - x = -21. Let v(f) = f - 2. Let g be v(x). Put m, g, 4 in increasing order.
4, g, m
Let a = -1757 - -1538. Sort a, -2/15, 0 in decreasing order.
0, -2/15, a
Let o = 0.8447 + 0.1553. Put -3, o, -57, 0.3 in increasing order.
-57, -3, 0.3, o
Let p be (0 - 1)*(0 - 1). Let b be p/((-5)/(-30)*-2). Sort -2/11, b, 5/6 in decreasing order.
5/6, -2/11, b
Let n = 27 + -26.965. Let z = n + -23.035. Let d = 33 + z. Put d, -5, 0.1 in decreasing order.
d, 0.1, -5
Suppose -2*t = -4*n - 6, -4*n + n + 13 = 2*t. Let g be 66/11*12/72 - (0 - -1). Sort n, g, -5 in descending order.
n, g, -5
Let u = -34.3 + 44. Let l = -9.5 + u. Sort l, -1/2, 0.01, 0.5 in increasing order.
-1/2, 0.01, l, 0.5
Suppose 67*n = 3 - 123 - 14. Suppose 9 = w + 2*w. Suppose -3*z = -w*m - 2*z - 6, 4*m + 24 = -4*z. Put n, 1, m in increasing order.
m, n, 1
Let x = 7 - -11. Let j = 16.5 + 0.5. Let b = x - j. Put b, 4/5, 0.1 in descending order.
b, 4/5, 0.1
Suppose 0 = -5*h - 2*b + 71, -h - 2*b = -6*h + 79. Suppose -h*f + 15 = -10*f. Sort 4, f, -13.
-13, f, 4
Suppose 0 = h - 3*n - 39, -2*h - 4*n + 38 = -0. Suppose 0 = -a - 2*v - h, -12 = 5*a + 2*v + 107. Let l = a + 28. Sort l, 2, -1 in ascending order.
-1, 2, l
Let u = -3 + 6. Suppose -2*i + u*i = 0. Suppose 1 = -i*r + r. Put -3, r, 0 in descending order.
r, 0, -3
Let c = -0.0571 - -9.0571. Sort 0, c, 3 in increasing order.
0,