 Let m = b - 55. Sort m, -3, -2 in increasing order.
-3, -2, m
Let h(f) = 2*f**2 - 11*f + 6. Let u be h(6). Suppose 2*r + 30 = 4*j, u = 5*j + 3*r + 2. Put 3, j, 45 in descending order.
45, j, 3
Let t be 6/4 - (19/14 - -1). Let r = 3.1 - -8.9. Let b = 17 - r. Sort b, 0, t in increasing order.
t, 0, b
Let b be (22 - 16)*(-10)/5. Sort 16, 5, b in decreasing order.
16, 5, b
Let v = -186 - -76. Let u = v - -110.1. Sort -1/6, u, -2 in descending order.
u, -1/6, -2
Let d(y) = -y - 8 - 10 + 2. Let o be d(-12). Sort o, 4, -1.
o, -1, 4
Let s = -2 - -10. Let f = 0.3284 + -0.8284. Put -5, f, s in descending order.
s, f, -5
Let j = 112.5 - 113. Put j, -5, 26, -0.6 in ascending order.
-5, -0.6, j, 26
Let g = -40 + 43. Let s be 2*(-1)/(-3)*-9. Let u(r) = -r**2 - 7*r - 9. Let q be u(s). Put -1, q, g in decreasing order.
g, -1, q
Let u(y) = -11*y**2 + 9*y - 72. Let b be u(8). Sort -3, -2, b in ascending order.
b, -3, -2
Let n be 0 + -1 + 2 + 5. Suppose y + 1 - n = 0. Let u be (3 + (-141)/45)*y. Put u, -2/7, 0 in decreasing order.
0, -2/7, u
Let p be (2/12)/((-15)/(-120)*-2). Put -0.2, 16.6, p, 3 in descending order.
16.6, 3, -0.2, p
Let n = 166 - 180.7. Let w = n + 2.2. Let c = w - -12. Put 2, c, -2/13 in ascending order.
c, -2/13, 2
Suppose 69 = 30*c - 81. Put c, 522, -4 in increasing order.
-4, c, 522
Let t(h) = -h**2 + 32. Let r be t(-6). Put -407, r, -2 in ascending order.
-407, r, -2
Let l = 568 - 571. Let b(k) = k**3 - 7*k**2 - 1. Let j be b(7). Sort -4, l, j, 2 in decreasing order.
2, j, l, -4
Let j be (-1)/((2/(-5))/2). Let v = 66 + -66. Sort v, 3, j in decreasing order.
j, 3, v
Suppose 3*n + 4 = -2. Let s = 8 - 7. Put s, -4, n in decreasing order.
s, n, -4
Let d be (-20)/(-9) + (-42)/189. Suppose -7*x = -d*x. Put -3, x, 4 in decreasing order.
4, x, -3
Let u = 2 + -16. Let h = -0.1 - 1.9. Let b = 12487 - 12492. Sort u, h, b in increasing order.
u, b, h
Let c(q) = -7*q - 15. Let h be c(-5). Let w be (-6)/14*(95/h - 3). Sort -0.5, 0.7, w.
w, -0.5, 0.7
Let s(g) = 1 + 3*g - 4*g + 1 + 2. Let f be s(-3). Suppose q - f = -8. Sort -0.2, q, 1 in ascending order.
q, -0.2, 1
Let z be (-4)/(-6) - (-32)/(-54). Let l be (2/(-4))/(6/(-48)). Suppose -18 = n - l*m, 0*n + n + 10 = 2*m. Sort n, 0.1, z.
n, z, 0.1
Let m = -540 - -541. Put 0, m, 5/22 in increasing order.
0, 5/22, m
Let m = -621 + 620. Let p = 3.6 + -0.6. Sort 16, m, p in descending order.
16, p, m
Let q be -4 - (-9 + 4/1). Put 71, -2, q in ascending order.
-2, q, 71
Suppose 4*q = 5*q - 2. Let u be -7*8/(-392) + 4/56*-86. Put u, q, -2 in increasing order.
u, -2, q
Let z be 7 + 3 + -1 + -3. Suppose -2*r + z = r. Let y be 7/6*(3 + 153/(-42)). Sort r, 1/4, y in ascending order.
y, 1/4, r
Let r = -320.4 + 478. Let y = r - 158. Let c = 15 - 11. Sort y, 0, c in decreasing order.
c, 0, y
Let d be 13/((-91)/(-14)) + -6. Sort 2, -2, d.
d, -2, 2
Suppose 2*g + 4 = -5*x, -5*g - 10 = -x - 0*x. Let a be 6/(-4)*g + 1. Let k = 34 - 33.6. Sort a, k, 3 in decreasing order.
a, 3, k
Let u = -31.2 - -31.3. Put u, -2, -11/5 in increasing order.
-11/5, -2, u
Suppose -4*w = -12*w - 2*w. Suppose -4*b = -5*b. Suppose -2*n - 3*k + 8 = b, 4*n + 4*k - 3*k - 26 = 0. Put n, w, 4 in decreasing order.
n, 4, w
Let v = 0.1247 - 0.0247. Sort -8/15, 1, v.
-8/15, v, 1
Let r be (-14)/(-77) + 128/22. Suppose -3*c = -c - r. Let a = -75/7 + 129/14. Put c, 0.5, a in ascending order.
a, 0.5, c
Let c = 4.2 + 0.8. Let n = -3.57 + -0.43. Put 4, c, n in decreasing order.
c, 4, n
Let w be (48/5)/12 + 2/10. Let j be 7 - 4 - (-3)/(-1). Suppose 0 = m - j*m + 6. Put -4, m, w in decreasing order.
w, -4, m
Let r be (-10)/4 + -1*1/(-2). Let k be (1/1 - -1) + 27 + -34. Put -7, k, r in descending order.
r, k, -7
Let v(j) = j**3 - 7*j**2 + 3*j + 1. Let i be v(6). Let b(n) = -5*n + 12*n + n**2 + 9*n - 25. Let d be b(i). Sort 4, -4, d in descending order.
4, -4, d
Suppose -i - i + 14 = 3*v, -v + 4*i = 14. Put -10/13, 0.2, -4, v in increasing order.
-4, -10/13, 0.2, v
Let w = 11 + -137. Let s be 12/(-42) - 64/w. Let k be 12/(-14)*(-6)/(-12). Sort k, -4/7, s in descending order.
s, k, -4/7
Let c = 0.0157 + 0.0843. Let m = -2 + 2. Put m, c, 13, 3 in descending order.
13, 3, c, m
Let d = -1/4 - -3/4. Let q(g) = -7*g + 10. Let k be q(-5). Let m be 5/k*33 - 4. Sort d, m, -4 in ascending order.
-4, m, d
Suppose j = 4*j. Let z = j + -5. Let u = -74.5 + 74. Put 2/11, z, u in descending order.
2/11, u, z
Let o(q) = -q**3 + 7*q**2 - q + 8. Let k be o(7). Let i = 77 - 3. Suppose 73*y - i*y = 4. Sort k, 2, y in increasing order.
y, k, 2
Suppose 0 = 8*r - 3*r - 55. Suppose -r = -7*z + 24. Let x be 6/10 - 2/(-5). Put x, z, 3 in decreasing order.
z, 3, x
Let o = 14.28 + -0.28. Let p = 11 - o. Sort p, -11, -3/2 in increasing order.
-11, p, -3/2
Let d be (-35)/(-20) - 6/4. Let b = 10 - 19. Let t = -5 - b. Put d, -4, t in decreasing order.
t, d, -4
Let c(b) = 2*b**2 - 36*b - 4. Let l be c(18). Sort -5, 2, l, 3 in ascending order.
-5, l, 2, 3
Suppose t + 8 = 6. Let g = t + 4. Let l be 8/(g + 0/1). Sort 2/19, l, 5 in increasing order.
2/19, l, 5
Let i(f) = f**2. Let p be i(-1). Let k = 14.6 + -51.2. Let d = 37 + k. Put d, 4, p in decreasing order.
4, p, d
Let c = -8 - -1. Suppose -4*y = -6*l + 3*l - 12, 4*y = 4*l + 16. Let r be (4 - (-38)/(-10)) + (-33)/15. Sort r, y, c in decreasing order.
y, r, c
Let s = 2.9 + -3. Let c = -0.055 + 0.06. Let d = 0.305 - c. Put d, -1, s in descending order.
d, s, -1
Let j(k) = -k**3 - 13*k**2 + 27*k + 544. Let h be j(-11). Suppose 0 = -o + 2*o + 3. Sort o, -4, h in ascending order.
-4, o, h
Let u = 1223 + -1223. Suppose 0 = -0*f - f + 3. Put 2, f, u in decreasing order.
f, 2, u
Let d(z) = 2*z - 5. Let l(x) = -x + 1. Let u(g) = 2*d(g) + 6*l(g). Let f be u(-2). Put f, -12, -5 in ascending order.
-12, -5, f
Let a = -1.56 + -3.3. Let i = a + -0.14. Let j = i - -5.2. Sort j, -0.1, -4 in increasing order.
-4, -0.1, j
Let n = -227 + 126. Let y = n - -99. Sort y, 0, 5, -4 in increasing order.
-4, y, 0, 5
Let f be ((-42)/(-98))/(20/(-35)) + (-2)/(-4). Let r be (0 - (-1)/(-5))*3. Put 1, r, -1/2, f in increasing order.
r, -1/2, f, 1
Suppose 2*s + 700 = -3*s. Let m be (1 - -4)*(-21)/s. Put -0.3, 1, m in descending order.
1, m, -0.3
Let x(w) = -w**2 + 10*w + 4. Let a be x(10). Let o be 1 - a - 2*-1. Let k = 1.17 - -0.33. Put 4, k, o in decreasing order.
4, k, o
Suppose -27*g + 22*g + 4*r - 3 = 0, -3*g - 1 = -2*r. Sort 8, -2, g, -4.
-4, -2, g, 8
Let t = -74.8 - -74.5. Sort -0.2, t, 0.044 in increasing order.
t, -0.2, 0.044
Let w(c) be the first derivative of 5*c**3/3 - c**2 - 3*c - 7. Let s be w(-1). Let n = -0.2 + 0.3. Sort n, s, 1/5 in decreasing order.
s, 1/5, n
Let x = -6.173 + -0.027. Let m = 6.7 + x. Suppose -i = 3*i + 8. Sort -0.4, m, i in ascending order.
i, -0.4, m
Let j = -0.32 + -7.68. Let w = 4 + j. Sort 0.2, 0.5, w in ascending order.
w, 0.2, 0.5
Let n(s) = 2*s - 1. Let x be n(3). Suppose 0*y - 55 = -x*y. Let q = -14 + y. Put 3, q, -4 in increasing order.
-4, q, 3
Let o be (36/(-45))/((-4)/10). Suppose 5*x + 9 = 5*q - o*q, 5*q = 3*x + 15. Let g(k) = k**3 + 4*k**2 + k + 3. Let n be g(-4). Sort n, -6, q in descending order.
q, n, -6
Suppose -5*g = -g + 16. Let t(d) = 16*d - 181. Let l be t(11). Put g, 0, l in descending order.
0, g, l
Let h(s) = -4*s - 266. Let g be h(-66). Suppose 0 = 4*b + 4*n - 3*n - 12, 0 = -4*b - 2*n + 8. Sort g, b, -7, 2 in decreasing order.
b, 2, g, -7
Let u be (6/(-1) - -1)*(3 + -2). Suppose 0*s - 20 = -5*s. Sort 8, s, 0, u in descending order.
8, s, 0, u
Let o = -5.1 - -0.1. Let q = 4 + 1. Let a = q + o. Sort a, -2/5, 0.1.
-2/5, a, 0.1
Let o be (-2)/(-3) + (-17)/(-51). Sort o, -75, -3, 0 in decreasing order.
o, 0, -3, -75
Let g(j) = j - 2. Let r be g(8). Let n(w) = -w**3 + 5*w**2 + 7*w - 12. Let d be n(r). Let a be d/10*(-24)/(-18). Sort a, -0.4, 0.3 in increasing order.
a, -0.4, 0.3
Let h = 5.8 + -3.8. Suppose 0 = 5*s + s + 6. Put h, 0.2, -5, s in decreasing order.
h, 0.2, s, -5
Let i = -1 + 0.8. Let k = -3 + 2.57. Let d = k - -0.13. Sort d, -2, i in descending order.
i, d, -2
Let d be (2850/(-40))/19 - -5. Put d, -1, -34 in increasing order.
-34, -1, d
Let g = -2 + -1. Let y be 3*(-1 - (-5)/3). Let d be (-202)/18 + y - 2/(-9). Put d, g, -2 in ascending order.
d, g, -2
Suppose 4*a - 2*a + 10 = 0, 0 = -2*j + 2*a + 14. Sort -0.0