 a, -1
Let s = 224 + -448. Let l be (6 - s/(-35))/(1/5). Let i = -0.02 + 5.02. Put l, -13, i in increasing order.
-13, l, i
Suppose -3*p + 5*c - 3*c + 2 = 0, 3*p + 5*c = 16. Suppose p*j - 759 = -755. Put j, -5, 0.07, 5 in decreasing order.
5, j, 0.07, -5
Let s be 4/(-6) + (-118)/(-114). Let z = -35.451 + 34.451. Put 1/9, s, z in descending order.
s, 1/9, z
Suppose -23*f + 87*f + 128 = 0. Sort f, 0, -937 in increasing order.
-937, f, 0
Let q be 52/104 - 1485/6 - 1. Sort q, -4, 5, 4.
q, -4, 4, 5
Let k = 10.084 + -9.984. Put 2/19, 3, 0.2, k, 1/9 in increasing order.
k, 2/19, 1/9, 0.2, 3
Suppose 0 = -81691*c + 81741*c + 200. Sort c, 10616, -5 in increasing order.
-5, c, 10616
Let h = 347.9 + -349.9. Sort -0.3, -0.1, 0.5, h in increasing order.
h, -0.3, -0.1, 0.5
Suppose 3*j - 7 = 2*q, 4*q - 52*j + 20 = -48*j. Sort 100, 0, 5, q in decreasing order.
100, 5, 0, q
Let n(y) = y**3 + 13*y**2 + 12*y + 3. Let c be n(-12). Let a = 224.8 + -225.3. Sort 0.09, a, c in ascending order.
a, 0.09, c
Let o be -6*4/(-6)*1. Suppose 7*x - 232 = -4*j - 86, -3*j = -2*x + 79. Put -0.1, o, x in increasing order.
-0.1, o, x
Suppose 0 = -g + 3*m + 2, g - 5*g + 15 = -5*m. Let r = g - 7. Let f = -1249 + 1259. Sort 2, f, r in decreasing order.
f, 2, r
Let j = 34400 - 34404. Sort j, 0.0169, 1/5, 1, 2/3 in increasing order.
j, 0.0169, 1/5, 2/3, 1
Let h(k) = -k + 4. Let g be h(4). Let w be 7 + 9656/104 + 2/13. Suppose -22*a - w = -27*a. Put 5, a, g in decreasing order.
a, 5, g
Let o = 189 - 184. Suppose -o*t + 7 = -8. Sort -2, t, -3 in decreasing order.
t, -2, -3
Let b(q) = 15*q**2 - 109*q + 23. Let w be b(7). Suppose -5*u + 0*l - l = 35, 0 = 3*u - 2*l + 8. Sort -2, w, u in descending order.
-2, w, u
Let n(v) = 128*v - 1023. Let r be n(8). Put -9, 20, r in ascending order.
-9, r, 20
Let f be 22 - 13 - (-4 + 515/40). Sort -1, f, 0.34, 0.5, -3/4 in increasing order.
-1, -3/4, f, 0.34, 0.5
Let b be 11/(110/60) - 11. Sort -0.2, 4, -0.02, b, 3/5.
b, -0.2, -0.02, 3/5, 4
Let l = 4260 + -4216. Sort -4, 5, l in decreasing order.
l, 5, -4
Let z(h) = -h + 7. Let l be z(0). Let j = -252 - -253. Suppose 0 = -2*i + d + 9, -4*i + 4*d + 17 = j. Sort l, i, 0 in descending order.
l, i, 0
Suppose 22*x - 70 = 15*x. Let a be (-35)/x*(-60)/(-35). Sort 2, a, 3 in descending order.
3, 2, a
Let t = -115993 + 115927.08625. Let z = 0.00375 + t. Let g = -66 - z. Put 0.4, g, -4 in increasing order.
-4, g, 0.4
Suppose 3*q = -q + 5*w + 31, 15 = -5*w. Let b(m) = 25*m + 2. Let x be b(-1). Sort 5, x, q, -1 in descending order.
5, q, -1, x
Let i = -6399.0813 - -6400. Let m = -0.0813 - i. Let n = 0.09 + -0.03. Put -1/4, n, -4/7, m in increasing order.
m, -4/7, -1/4, n
Let w be (-10)/(-6)*252/420. Sort w, 5, -45, -7.
-45, -7, w, 5
Suppose -5*s + 4 = -n, -n - 20*s - 4 = -21*s. Let m = -3 - -7. Sort m, n, -5, 3/2 in descending order.
m, 3/2, n, -5
Suppose -5 - 15 = 5*v. Suppose -84*g - 46 = -22 + 144. Sort g, 1, -1, v in decreasing order.
1, -1, g, v
Let t = -26.908 + 0.908. Sort -3/4, t, 43 in decreasing order.
43, -3/4, t
Let s = 436.8 + -437. Put s, -5, 0, 332 in decreasing order.
332, 0, s, -5
Suppose 10*z = 4*z + 672. Let w be ((-3)/(-2))/(3/z). Suppose k + 4*k - w = r, 3*r - k = -112. Put r, -1, 3 in descending order.
3, -1, r
Let x = 8 - 13. Let b(i) = 413*i - 1653. Let z be b(4). Sort -2, z, x, 2 in decreasing order.
2, z, -2, x
Let n = -4.3382 - 0.6158. Let z = -0.046 + n. Let u = -1.4 - -1.5. Sort 1, u, z in ascending order.
z, u, 1
Let a be 1/(-3) + 1176/72. Sort 2/9, a, 8/23 in descending order.
a, 8/23, 2/9
Let z = -24357 - -24376. Put z, 0, -11 in increasing order.
-11, 0, z
Let r(k) = k**2 - 3*k - 73. Let w be r(11). Suppose w*i - 24*i - 9 = 0. Sort -5, 2, -17, i in descending order.
2, i, -5, -17
Let k be (-6)/4*(4 - 2). Let g(a) = -a**3 + 2*a**2 - 25 - a**3 + a**3 + 9*a + 10. Let t be g(2). Sort 14, t, k in decreasing order.
14, t, k
Let s = 4001 - 4001.5. Put -10, 4, s in descending order.
4, s, -10
Let z = 7 - 10. Suppose 518*g = -2*j + 516*g + 16, -5*g = -4*j - 58. Sort z, j, -173 in decreasing order.
j, z, -173
Let d be -16*(-3)/36*(38/8 - 1). Sort 0.5, d, 4/13, 1/4, 2/5 in increasing order.
1/4, 4/13, 2/5, 0.5, d
Let n = -5 - -5.15. Let a = -0.31793 - -0.41793. Let w = -0.1 + -0.3. Sort w, a, n in ascending order.
w, a, n
Suppose 621*f + 153 = 613*f - 439. Let p be (-1)/(0 + -1 - -2). Sort 1, f, p in increasing order.
f, p, 1
Let o = 4233 - 4233. Sort -3/23, 0.09, -5, o in increasing order.
-5, -3/23, o, 0.09
Let p = -12.967 - -7.967. Sort 1, -3, -52, p, 0.2 in decreasing order.
1, 0.2, -3, p, -52
Suppose 0 = 3*g - 7*z + 11*z + 1466, 0 = 4*g + 4*z + 1944. Put 5, 4, g in increasing order.
g, 4, 5
Suppose -5*y - 3729 = -3714. Sort -10, 1, 3, y in ascending order.
-10, y, 1, 3
Let b = -11131 + 10895. Put 4, -4, b, 0 in ascending order.
b, -4, 0, 4
Suppose 3*y - 14 = -d, -4*y + 9*d - 4*d = -6. Suppose y*q = 2*q + 4. Let z be -6 + ((-404)/1111 - 250/(-22)). Sort 19, z, q in decreasing order.
19, z, q
Let z be -4 + (-259)/(-42) - (-3)/9. Suppose 4*b - 5*n + 6 = -9, -3*n = -3*b - 15. Put 0, z, 3, b in ascending order.
b, 0, z, 3
Let v(j) = -j**3 - 2*j**2 - 107*j - 439. Let h be v(-4). Put -6, -2, h in decreasing order.
h, -2, -6
Let p(c) = -6*c + 9. Let s be p(1). Suppose 4*q + 0*g - 333 = -s*g, 0 = -2*q + 5*g + 173. Let n = q - 80. Sort -7, 3, 1, n.
-7, 1, 3, n
Let j = -0.002 + -0.438. Let l = j + 1.44. Let r = 0.6 + -0.1. Put r, -5, l in increasing order.
-5, r, l
Let l = -0.14018 + 0.44018. Sort 1, 0.05, -0.2, l, 44.
-0.2, 0.05, l, 1, 44
Let f = -27620 + 27619. Suppose 4 = -c - 0*c. Let w = -2 - c. Sort w, -4, f in descending order.
w, f, -4
Let w = -12.6 - -13. Let m = -0.01 + 2.01. Let z = -28 + 25. Put m, 0.1, w, z in decreasing order.
m, w, 0.1, z
Let i = -2601.976 + 2602. Put i, -3/2, -0.1, 0.02 in decreasing order.
i, 0.02, -0.1, -3/2
Let k = -2 + 2. Let b(x) = -x**2 - 8*x. Let i be b(-8). Suppose k = 13*v - i. Sort -2, 1/10, v in ascending order.
-2, v, 1/10
Let k = 2769 + -2770. Sort -0.5, k, -3/4, -3, -2 in descending order.
-0.5, -3/4, k, -2, -3
Let g = -7925 + 7921. Sort -1, -69, 0, g in decreasing order.
0, -1, g, -69
Let u = 0.7102 - 1.2102. Sort 5/3, 0.2, u, 352 in ascending order.
u, 0.2, 5/3, 352
Let s be (-1)/1*(-28)/7 - 8. Put -813, 4, s, 3 in decreasing order.
4, 3, s, -813
Let a(o) = 4*o**2 + 211*o - 211. Let h be a(1). Sort -5, -4, 1, h, -11 in descending order.
h, 1, -4, -5, -11
Let u(p) = 12*p - 150. Let b be u(0). Let d = b + 147. Let o(y) = -y**2 + 9*y + 11. Let j be o(10). Sort d, -6, j, 3 in descending order.
3, j, d, -6
Suppose -9*y + 4*y = -4*a - 67, 5*y - 52 = -a. Suppose 2 = -i - 2. Put y, i, -3, -10 in ascending order.
-10, i, -3, y
Let i = 2274 - 6700/3. Let r = -41 + i. Let m = -14 - -15. Sort r, m, -12.
-12, r, m
Let n be 15/(-9) - (5 + (-80)/15). Let a be (-3)/(-6)*(-4)/7. Sort n, -0.2, a in ascending order.
n, a, -0.2
Let u be 0/(-1)*(-3)/6. Suppose u = -4*x - 38 - 2. Let s = x - -5. Sort s, -2, -3.
s, -3, -2
Let h = 1083 - 1083. Let w be (22/(-4))/((-9)/(-18)). Sort 2/9, h, 2/3, w in decreasing order.
2/3, 2/9, h, w
Let b be 2/3 - 10/(2/2 + -4). Sort b, -392, -8.
-392, -8, b
Let w be 2 + 1 - (-53242)/50. Let t = 1068 - w. Let i = -102/325 + t. Sort -3/7, -1/6, i, 10.
-3/7, -1/6, i, 10
Suppose -872*t = 901*t - 1818*t. Let d = -6 + 10. Put t, d, -3, -35 in ascending order.
-35, -3, t, d
Let t(a) be the first derivative of a**4/4 - 3*a**3 - 3*a**2 + 53*a - 212. Let c be t(9). Let u be 2/(-4) - (-1)/2. Sort -4, -3, c, u in increasing order.
-4, -3, c, u
Let x be ((-6859)/(-76))/19 + 2 + 33/(-12). Put -1, x, -9, -4 in increasing order.
-9, -4, -1, x
Let f = 2578 - 2578.5. Sort 1, 345, f, -2.
-2, f, 1, 345
Suppose 23 - 23 = 7*k. Suppose 59*d - 697 + 48 = k. Let p = -527/42 + 77/6. Sort d, -0.3, p in ascending order.
-0.3, p, d
Suppose 3*c + 9 = 0, -2*o + o + 3*c + 9 = 0. Suppose -13*a + 16*a - 6 = o. Put -11, a, 0.3 in increasing order.
-11, 0.3, a
Suppose 27*p + 29*p - 15*p - 2542 = 0. Let h be -1 - (-1296)/21 - -1. Let a = p - h. Sort a, -4, -5, 5.
-5, -4, a, 5
Let k = -2.4 + 11.8. Let n = k - -38.6. Let x = -51 + n. Sort 0.2, x, -5 in descending order.
0.2, x, -5
Let t = -6.777 + 5.487. Sort -4/7, -4, t, 5, -1 in ascending order.
-4, t, -1, -4/7, 5
Suppose 5*g