= -3 + c. Sort f, 0, 48 in ascending order.
0, f, 48
Let l = 449 + -448. Sort 27, l, 6/7 in decreasing order.
27, l, 6/7
Suppose 3*s = 6*s - 6. Suppose 3*l + 13 = -2, s*z - 2*l = 16. Let p = 48 + -39. Sort z, p, -3 in descending order.
p, z, -3
Let n = 202 - 202. Put n, 1, -3 in descending order.
1, n, -3
Let a = 0.37 - -2.23. Let l = 2 - a. Put l, -4, 3 in decreasing order.
3, l, -4
Suppose -6*p + 5*p = 5*k - 11, -1 = 4*p + 5*k. Let a = 44/75 - -2/25. Let h be (-2 - 3)/(4/(-1)). Put p, h, a in descending order.
h, a, p
Let v = 42 - 207/5. Let w = -0.8 - -0.5. Let n(x) = -x**2 + 3*x + 59. Let a be n(9). Put a, v, w in decreasing order.
a, v, w
Suppose 0 = -29*c + 143 + 553. Sort 1, -4, c in descending order.
c, 1, -4
Let o be (1/1)/((-1)/1). Let j be (-612)/(-24)*8/6. Let q = 39 - j. Sort -2, o, q in increasing order.
-2, o, q
Let p = -7 - -4. Let k(f) = -f**3 - 3*f**2 - 2*f - 3. Let s be k(-3). Let g = -398 - -402. Put s, p, g in increasing order.
p, s, g
Suppose 157 = -2*u + 3*m, 2*u - 2*m + 4*m + 182 = 0. Let y = 944/11 + u. Sort 13, 0.3, y, -0.2 in ascending order.
-0.2, y, 0.3, 13
Let o(k) = -9*k - 305. Let v be o(-34). Let p = -0.3 - -0.28. Sort 2/15, -0.3, p, v in descending order.
v, 2/15, p, -0.3
Let k = 0.06 - 0.06. Let d = 7 + -7.1. Let i = d + k. Put i, 0.1, -1 in descending order.
0.1, i, -1
Let r = 52 + -47. Suppose 4 = -2*m, 5*f + r*m + 5 - 15 = 0. Let i = -5 + 1. Sort i, -3, f in decreasing order.
f, -3, i
Suppose -234*h + 224*h + 70 = 0. Sort -2, 1, 0, h.
-2, 0, 1, h
Let t = 6 - 7.5. Let l = -1.3 - t. Sort l, -8, -1/4 in descending order.
l, -1/4, -8
Let x = -0.2 - -1.2. Let z be (-1)/(-16)*4 - (3213/(-36))/(-21). Sort z, x, 0 in ascending order.
z, 0, x
Let v = -19.9 - -21. Let k = 2699/5390 - 2/2695. Sort k, v, 0.2, -4 in decreasing order.
v, k, 0.2, -4
Suppose -2*f = -7*f - 10. Suppose -4*w = 4, -4*u + 97 = -4*w - 3. Suppose -u*i + 26*i = 10. Sort -5, f, i in decreasing order.
i, f, -5
Let u be ((-8)/(-7) - 1) + 105/(-49). Suppose 0 = -9*i + 4*i - 15. Sort 2, u, i, -5.
-5, i, u, 2
Let b = 28 + -28.2. Let v = -0.3 - b. Let j = -0.81 + 0.41. Put v, -5, j in descending order.
v, j, -5
Let p be (-2)/(-8) + 10/(-8). Suppose 2*j - 4 = 0, -3*v - 183 = -2*j - j. Let n = -54 - v. Sort n, 1, p in decreasing order.
n, 1, p
Let b be 10/55 + ((-2265)/1386 - -2). Let a = -8/21 + b. Sort -5, -3, a in increasing order.
-5, -3, a
Suppose -a = 1, 5*m - 15*a + 90 = -20*a. Put m, -2, 7, 6 in increasing order.
m, -2, 6, 7
Suppose -3*d - 4*t = t - 30, -2*t = 3*d - 39. Suppose 10*h = d*h + 15. Put 4, h, 0 in decreasing order.
4, 0, h
Let w(p) = -p**3 + 6*p + 7. Let g be w(-2). Sort -4, -5, g in ascending order.
-5, -4, g
Let t = -176.6 + 161. Let j = 16 + t. Sort -3/5, 2/7, j in decreasing order.
j, 2/7, -3/5
Let z = 11 - 7. Let j = -113 - -116. Put z, 5, j in descending order.
5, z, j
Let z = -0.1 + -0.9. Let l = 15 - 85. Let b = -65 - l. Sort z, 1/5, b in decreasing order.
b, 1/5, z
Suppose 0 = -4*d - 6 - 2. Let x be -4 - (-9 - (-5 + -1)). Sort d, x, 0 in ascending order.
d, x, 0
Suppose -f - 36 - 3 = 0. Let x = f - -43. Suppose -5*o - 4*h = -0*o + 17, 0 = 2*h - x. Put o, -3, 24 in decreasing order.
24, -3, o
Let z(d) = d**3 - 9*d**2 + 8*d - 77. Let w be z(9). Let l(b) = -b**2 + 4*b - 4. Let m be l(4). Sort 2, m, w, -1.
w, m, -1, 2
Let u = -0.15 + 0.2. Suppose -4*v = v, -v + 4 = -4*i. Sort u, 1, i in ascending order.
i, u, 1
Let o(j) = j**2 + 5*j - 41. Let q be o(4). Let m(k) = -k**2 + 8*k. Let s be m(8). Suppose s*r = 5*r. Sort -4, q, r in increasing order.
q, -4, r
Let f(u) = -u**2 + 7*u + 103. Let l be f(14). Sort -59, -1, l in decreasing order.
l, -1, -59
Let o = -9 - -6. Let t = o + 2.5. Put 5, 3/5, t in descending order.
5, 3/5, t
Let h = -6 + 4. Let r(j) = j**3 - 4*j - 1. Suppose -3*a = -0*a - 5*t - 16, 3*t = 2*a - 10. Let z be r(a). Sort z, 3, h in increasing order.
h, z, 3
Let l = 580 - 582. Sort -376, l, 5.
-376, l, 5
Let n(y) = -46*y + 645. Let p be n(14). Sort p, 2, -9 in descending order.
2, p, -9
Let o = -13 - -11. Let y = 1.98 - -0.32. Let h = y + o. Put -4, -1, h in decreasing order.
h, -1, -4
Let b = -3608/45 + 402/5. Sort b, 2/7, -0.04 in increasing order.
-0.04, b, 2/7
Let s = 1213 - 1214. Put 9, 2, s, -9 in increasing order.
-9, s, 2, 9
Suppose -4*g + 4*s - 408 = 0, 3*g = 5*s + 40 - 344. Let j = g + 105. Sort j, 4, -5, -4 in decreasing order.
4, j, -4, -5
Let x = 495 + -494.9. Put -2/3, x, 2/3 in increasing order.
-2/3, x, 2/3
Suppose -5 = 3*v + 5*b, 2*v - 6*b + 35 = -3*b. Sort v, 2, 6, -4.
v, -4, 2, 6
Suppose 8*v = 2*v + 24. Sort 5, -8, v.
-8, v, 5
Let f(h) = -h**3 - 9*h**2 - 17*h - 24. Let c be f(-7). Put -5, 5, -8, c in descending order.
5, c, -5, -8
Let m = 15 + 14. Put m, -1/5, 0.2 in descending order.
m, 0.2, -1/5
Let v(a) = -a**2 - 9*a + 11. Let h(d) = -2*d**2 - 11*d - 22. Let t be h(-4). Let f be v(t). Sort 3, f, 5, 4 in decreasing order.
5, 4, 3, f
Suppose -5*t + 8*t = 12. Suppose 2*k - 7 = -t*f + 3, -5*f = 3*k - 14. Put f, -2, 3 in increasing order.
-2, f, 3
Let w be 2/(-8) - ((-42)/(-8))/3. Let o be -4 + (-68)/48*-4. Sort o, -1/2, w in ascending order.
w, -1/2, o
Suppose 0 = -6*q + 16 - 28. Sort q, -4, 74.
-4, q, 74
Let d = -991/9 + 110. Let s = -43.76 + 44. Let o = s + -0.04. Put 4, o, d in ascending order.
d, o, 4
Let o = 761 + -307. Suppose 2*t - o = -5*d, -5*t + 3*d + 934 = -t. Let v = -1387/6 + t. Put v, 2, -2 in descending order.
2, v, -2
Let c = 1375 + -1377. Put -17, c, 5 in descending order.
5, c, -17
Let g = -8 + 6. Let k = 10/127 - -341/508. Sort 0.4, g, k.
g, 0.4, k
Let m = 0.162 + -0.162. Sort m, 21, -2, 5.
-2, m, 5, 21
Let r = 735.8 - 736. Let l = 11 - 7. Sort -1/8, -2/3, r, l in descending order.
l, -1/8, r, -2/3
Let b = 2036/35 + -293/5. Sort 1, 3/14, b in descending order.
1, 3/14, b
Let y be 8/(-10)*(-25)/(-2). Let x = 0.155 - -0.045. Put x, y, 0.4 in ascending order.
y, x, 0.4
Let s be 0 + 4*(-6)/280. Put 5, s, -2 in ascending order.
-2, s, 5
Suppose 4*j + 5 = j - 4*o, -4*o - 8 = 0. Let l be j + 2 - (-3 - 3). Let v be (-2)/(-9) - (-34)/l. Put v, -4, 5 in ascending order.
-4, v, 5
Let a be 1/(-4*(-8)/(-64)). Let b be (1 - 3)/((-4)/6). Let w = -1 - -1. Sort b, w, a in decreasing order.
b, w, a
Let b = 1303.971 + -1304. Put b, -0.4, 5 in increasing order.
-0.4, b, 5
Suppose 23*k + 11*k = -42*k + 304. Let h = -10 + 5. Let u = -3.07 + 0.07. Sort h, u, k in ascending order.
h, u, k
Let g = -0.6 + 0.1. Let b = g - 1.5. Let w = 33 - 28. Sort b, w, -1/3 in ascending order.
b, -1/3, w
Let d = -1.5 + 1.6. Let a = 80 - 77. Put a, d, -4/3 in descending order.
a, d, -4/3
Let u = -18.3 - 1.7. Let p be 6/12*(-2 + -1 - -6). Put u, p, -0.4 in descending order.
p, -0.4, u
Let c = 76/3 - 25. Let s = -32 - -45. Let d = -13.1 + s. Put -1, c, d in ascending order.
-1, d, c
Let r = -81.6 + 82. Sort -79, 2/11, r.
-79, 2/11, r
Let x(i) = 5 - i - i**2 - i - 2*i - 4*i. Let k be x(-5). Suppose -5*u - 3*b = k - 7, 8 = 2*b. Sort 4, u, -4 in descending order.
4, -4, u
Suppose 2*t - 584 = -5*m - 132, -2*m = -4*t - 176. Put 1, -5, m in decreasing order.
m, 1, -5
Let t be ((-3)/(-9))/((-14)/21). Let c = -6.5 + -0.5. Put t, 0.1, c, 2 in descending order.
2, 0.1, t, c
Let g(x) = 10*x + 36. Let t be g(-4). Suppose 2*p - h = 34, -p + 2*p + 4*h = 8. Suppose 4 = -4*f + p. Sort t, 1, f.
t, 1, f
Let k be (3/4)/(66/16). Let q = 3202/1763 - 76/43. Sort q, k, -4 in increasing order.
-4, q, k
Let a = -1.7 + -0.3. Let h = 230 - 235. Put -4, h, a, -2/3 in ascending order.
h, -4, a, -2/3
Let t = -0.4 + -0.1. Let k = -14.7 - -93.7. Let z = -78.6 + k. Put z, t, 2 in decreasing order.
2, z, t
Let t = 11.1 - 11.05. Sort -1, 2/5, t in decreasing order.
2/5, t, -1
Let c be (-4)/((-56)/1270) - 4. Let x = c - 87. Sort 0.5, x, -4 in decreasing order.
0.5, x, -4
Let x be 1/5 - (-8)/(-1560)*9. Put 5, x, -1.9, -1 in decreasing order.
5, x, -1, -1.9
Suppose y = -2*y + 12. Let l = 105 - 105.2. Put y, -0.09, l in ascending order.
l, -0.09, y
Let d = 652 - 654. Put -5, -6, d, 4 in decreasing order.
4, d, -5, -6
Let c = -1655/4 - -420. Let o = -19/4 + c. Put -18, o, -5 in ascending order.
-18, -5, o
Let i(j) = -j - 2. Let a be i(-2). Let c(z) = z**3 + 3*z**2 - 20*z + 3. Let y be c(3). Sort a, -1, y in increasing order.
y, -1, a
Let x = -2/47 + -127/329. So