 a, t
Suppose -3*a - 9*r - 48 = 0, 0 = -2*a + 29*r - 25*r + 28. Put -3, 1, 0, a, 3 in ascending order.
-3, 0, 1, a, 3
Let f be -2*(-6 - (-68)/8). Sort f, 2, -3, -1 in decreasing order.
2, -1, -3, f
Let m be (3 - (-8358)/(-51)) + 0. Let s = -161 - m. Let c be 12 + -6 + -9 + (-1 - (-17)/4). Sort s, -2, c.
-2, s, c
Suppose -1577*b + 7 + 15 = -1599*b. Put -5, 5, 181, b in descending order.
181, 5, b, -5
Let q be ((-6)/8)/((-1)/4). Let a be (-34)/6*((-52)/(-182) + 40/7). Put q, a, -4 in decreasing order.
q, -4, a
Let q be (2/(2 - 0))/(2/8). Suppose 0 = -151*h + 155*h - q. Let g = -1361/9 + 151. Sort 3, g, h.
g, h, 3
Suppose 80*b + 138951 = -54*b - 131997. Put -5, 5, 3, b in increasing order.
b, -5, 3, 5
Suppose 0 = -0*j - 26*j - 182. Put -172, j, -4 in descending order.
-4, j, -172
Let f = 4125 - 4129. Put 0.04, 2/3, 2, 1/7, f in increasing order.
f, 0.04, 1/7, 2/3, 2
Suppose -6*v + 7*v = 1. Let g be 1*(v + 4 - 2). Let k be (-31)/8 + (-5)/(-280)*-7. Sort 4, g, -25, k in increasing order.
-25, k, g, 4
Suppose 3*v - 5*j + 66 + 54 = 0, -5*j - 120 = 3*v. Sort 0, v, 15 in descending order.
15, 0, v
Suppose -14*v + 104 = -v. Let d be v*(-12)/(-8)*(-11)/(-6). Suppose -2*p = -0*i - i + d, 4*p - i + 40 = 0. Put p, 4, 5, 2 in increasing order.
p, 2, 4, 5
Suppose 0 = 277*f - 126*f - 302. Suppose -39 - 36 = 5*s. Let t = 10 + s. Put f, -3, 4, t in decreasing order.
4, f, -3, t
Let v = 7 + -3. Suppose -8 = 3*d - 2, -5*d = -4*o + 18. Suppose -o + 12 = -10*t. Put v, t, 13, 1 in ascending order.
t, 1, v, 13
Let n(b) = -6*b**3 - 4*b**2 + b + 4. Let z be n(-1). Suppose 4*u - 3*r - 4 = 3, -z*u = -3*r - 11. Sort 3, u, 80.
3, u, 80
Suppose 5*n = 5*z + 1 + 14, 3*n + z + 11 = 0. Suppose -10*b + 11*b = 14*b - 26. Put 1, n, b in ascending order.
n, 1, b
Let i = 56.477 + -9.477. Put -2, i, -4 in decreasing order.
i, -2, -4
Suppose 5*r = 4*o + 4*r - 10, 5*o - 2*r = 11. Let b(c) = 1093*c + 2183. Let w be b(-2). Put 6, w, o in descending order.
6, o, w
Let x = 26.0704 + -25.8704. Let r = 3.4 - 0.4. Let u = 2 - r. Sort -0.2, u, x, -6 in increasing order.
-6, u, -0.2, x
Let b(l) = l + 8. Let x be b(-10). Let a be ((-20)/6)/(x/9). Let i = 1492 - 1491. Sort a, -3, -5, i in descending order.
a, i, -3, -5
Suppose -2*m - 3*n = 85 + 190, -143 = m - 4*n. Put m, -5, -3, -2/11 in decreasing order.
-2/11, -3, -5, m
Let f = 1.594 + -1.45. Let x = -0.256 - f. Let l(y) = -y**2 - 3*y. Let u be l(-3). Put u, -0.5, x, -1 in increasing order.
-1, -0.5, x, u
Let v = -82.93 + 84.93. Put v, -4/3, -2.49, -1/8 in increasing order.
-2.49, -4/3, -1/8, v
Let f = 16 - 9. Let v be (-17)/(-4) + f/(-28). Let x = -366 + 368. Sort x, v, -3 in descending order.
v, x, -3
Suppose 4*c - 40 = -4*s - 20, 4*s - 16 = 0. Let z be 5 - (-2 - c - -8 - 0). Put -22, -4, -2, z in decreasing order.
z, -2, -4, -22
Suppose h + h - 2 = 0. Let j be -2*(-3)/(h - 7). Let y(w) = 2*w**2 - w - 157. Let b be y(9). Put b, -2, j in ascending order.
b, -2, j
Suppose -3*p - 2407*k = -2409*k + 221, 0 = 3*p - 25*k + 313. Suppose 3*m + m - 16 = 0. Put 3, -2, m, p in descending order.
m, 3, -2, p
Let s = -1.4 + 1. Let k = 1745 + -8722/5. Let b(c) = -2*c - 4. Let g be b(-5). Sort g, k, s, -5 in increasing order.
-5, s, k, g
Let x be -4 + ((-25)/(-3))/(1/(-30)). Let j = x - -153. Sort 3, j, 1 in descending order.
3, 1, j
Let d = -8 + 9. Let k = 78 - 122. Let t = k + 44.2. Sort d, 0.3, t.
t, 0.3, d
Let z be 6/(-10) - ((-1)/(-4))/((-10)/(-136)). Sort z, -2, 83 in increasing order.
z, -2, 83
Let v = 4126 - 4127. Put 3, 0, -62, v in ascending order.
-62, v, 0, 3
Suppose 86 = 5*l + 4*c, -3*l + 59 = -7*c + 2*c. Suppose -2*z = -5*g + l, 3*z + 2*g = 3*g - 14. Let m be (6 + z)/2*1 - -5. Put -2, m, -1 in increasing order.
-2, -1, m
Let k = 66 + -37. Let z(d) = d**3 - 5*d**2 + 1277*d - 7695. Let y be z(6). Put y, k, 1/4 in increasing order.
1/4, y, k
Let k = 4.193 - 4.137. Put k, 23, -0.1 in ascending order.
-0.1, k, 23
Let t(a) = 2*a**2 - 70*a - 221. Let h be t(-3). Suppose 0 = 3*y - 0*y - 9. Sort y, -4, h in decreasing order.
h, y, -4
Suppose -3*g - j - 8 = 0, -2*j = 933*g - 936*g - 11. Put 5, 4, g, 74 in ascending order.
g, 4, 5, 74
Suppose 6 = n + 2. Let k(x) = x**2 - 5*x. Let t be k(n). Suppose 25*y + 40 = -10. Sort -1, 5, t, y in decreasing order.
5, -1, y, t
Suppose 2*h + j + 66 = 50, -3*h - 4 = -j. Sort -5, -3, -88, 3, h in descending order.
3, -3, h, -5, -88
Let j be (-2)/(4 + 198/(-48)). Let s(g) = -g**3 - 3*g**2 - 3*g - 6. Let q be ((-9)/(-6))/(4/(-8)). Let r be s(q). Put j, r, -1 in ascending order.
-1, r, j
Let x = 226 - 251. Let w = -625 + 625. Sort x, -5, w.
x, -5, w
Let q = -3 - -1. Suppose 0 = 2*d - 6, 2*v = -3*v - 4*d + 297. Let y = v - 62. Sort 5, y, q, 2 in decreasing order.
5, 2, q, y
Let w be 14/(-3)*(-2)/4. Suppose -1061*c - 983*c = -1754*c + 290. Put w, c, -5/6, 0.1 in decreasing order.
w, 0.1, -5/6, c
Let p = 60259 - 60262. Let m = 0.3 - 0.5. Sort p, m, -0.1, 3.
p, m, -0.1, 3
Suppose -39*j - 370 = -877. Sort -4, j, -3, 5 in increasing order.
-4, -3, 5, j
Let r be 3*(-1)/(-5 - -6). Let f be -3 + (210/(-25))/r. Let g = -337/8 + 42. Put -2/15, f, -3, g in ascending order.
-3, f, -2/15, g
Let i = 43.7 + -43.7. Let y be (-4 - -1) + (-76)/(-28). Put i, 1/4, y, -4 in decreasing order.
1/4, i, y, -4
Let n = -21 + 24. Suppose 6*a = 588 + 612. Let h = a - 145. Put n, h, -2 in ascending order.
-2, n, h
Let i = -8 - -6. Let q = -28.1 + -70.8. Let h = 99 + q. Put h, 1/6, i, 0.2 in descending order.
0.2, 1/6, h, i
Suppose 3*h + 16 = -h - o, h + 4 = 3*o. Let v be h + (1 + -1)/1. Let z = 1199 + -1198. Sort -5, v, z, -3 in decreasing order.
z, -3, v, -5
Let s(l) = -90*l + 184. Let z be s(2). Sort 193, z, 0 in increasing order.
0, z, 193
Suppose -5*a = 5*g + 50, 0 = -2*a - 45*g + 47*g. Suppose 5*x = -2*i + 18, 0 = -4*i - x + 3*x - 12. Sort 1, i, 4, a in decreasing order.
4, 1, i, a
Let b(p) = 3*p**3 - 15*p**2 + 22*p - 8. Let t be b(3). Sort -6, -2, t, -1.
-6, -2, -1, t
Let r = -9458 - -9462. Put 3, 6, r, 2, -4 in descending order.
6, r, 3, 2, -4
Let x be (16/(-72))/(4/36). Suppose 0 = -4*z + 4*w + 4, -z - 4*w = -2*z + 7. Let i be 40/7 + (-2)/(-7). Sort z, x, i in descending order.
i, z, x
Let g be (-9)/12*9/((-54)/1608). Suppose -19*z = -g - 179. Suppose 4*x + z - 2 = -3*u, 0 = 5*u - 4*x - 2. Put 2, -5, u, -37 in descending order.
2, u, -5, -37
Let j = 764 - 760. Let u(h) = -5*h + 0*h + 1 + 2 + 3*h. Let k be u(3). Put k, -1, j in increasing order.
k, -1, j
Let i = -1.8 - 5.2. Let v = i + 6.8. Let h = -0.1994 - 0.1006. Put v, h, 2, 3/4 in increasing order.
h, v, 3/4, 2
Let c = 4784 + -4784.1. Put 1, c, -0.4, -128 in descending order.
1, c, -0.4, -128
Let g = -0.7 - -1.3. Let i = g + 3.4. Let z = -0.04231 + -0.45769. Sort 2/15, z, i, 2/5 in increasing order.
z, 2/15, 2/5, i
Let f = 22166 + -22170. Sort -17, 2/13, -13, 1.4, f.
-17, -13, f, 2/13, 1.4
Let f(z) = 28*z - 322. Let g be f(11). Let s(p) = -2*p - 4*p + 4*p - 19. Let h be s(g). Sort -2, h, 1.
-2, 1, h
Suppose -2*y = 2*r, r = 2*y + 3*y + 30. Let d be 403/(-104) + (r - 1). Let s be 11/22*3/2. Put s, d, 4/7 in increasing order.
d, 4/7, s
Let s be ((-42)/(-9))/(22/33) + 7. Put 40, 2, s in descending order.
40, s, 2
Let z be (-114)/(-95) + (0 - (-12)/15). Suppose 0 = z*x + 4*c + 236, -3*x = c - 0*c + 354. Put x, 4, 1, -3 in decreasing order.
4, 1, -3, x
Let c(g) = g**2 - 6*g + 10. Let x be c(4). Let t(m) = 27*m - 83. Let w be t(3). Put w, -23, x in decreasing order.
x, w, -23
Let o be -5*((-5 - -9) + -3). Suppose -3*u - 3*r + 51 = -0*r, 30 = 3*u - 4*r. Let w = 12 - u. Put w, o, 4 in ascending order.
o, w, 4
Let i = -11615 + 11611. Sort 0.357, 1, i in decreasing order.
1, 0.357, i
Suppose 5*j - 15*j = 20. Let b be (-279)/(-18) - (27/2)/(-9). Sort 4, 2, j, b.
j, 2, 4, b
Let t = -105 - -50. Let l = -58 - t. Let k be 1/l*-9 + -13. Sort 0, -4, 5, k in descending order.
5, 0, -4, k
Suppose -20 = -s + 2*t + 2*t, -s + 5*t = -24. Let n be ((-90)/s)/((-2)/4). Let g = 52 - n. Put g, -4, -5 in descending order.
g, -4, -5
Suppose 4*w - 82 - 2 = 0. Suppose 5*v + w = -2*t, v - 4*t + 18 = -v. Sort 2/11, -4, 4, v in increasing order.
v, -4, 2/11, 4
Let q be ((-3)/(-2))/(138/92). Suppose z + 1 = -q. Let h be (-1 - -2)*(3 + -6). Put -4, z, h in ascending order.
-4, h, z
Let p be (-2)/(9/20*-2 + (-316)/(-790)). So