-1
Let x = 21105 + -21098. Sort -5/4, 154, -3, x in descending order.
154, x, -5/4, -3
Suppose -3*s - 258*b + 263*b = -176, 0 = 5*s - b - 308. Sort 3, 1, s.
1, 3, s
Let g = -6 - -2. Suppose 0 = 4*v - 3*w + 5, -11 + 0 = 4*v + 3*w. Let n(s) = s**3 - 8*s**2 - s + 10. Let h be n(8). Put h, g, v in decreasing order.
h, v, g
Suppose 29 = 9*x - 79. Let d = 2 + -3. Sort x, d, -5, 1 in ascending order.
-5, d, 1, x
Suppose 179*g - 50 = 154*g. Suppose 6*y = 3*y + 12. Put y, 6, g in descending order.
6, y, g
Let d(k) = k**2 + 5*k - 8203. Let t be d(-93). Sort 5, -5, 3, t, -1.
t, -5, -1, 3, 5
Let w(d) = -2*d**2 - 8*d + 29. Let m be (-1)/((-1 - -6)/30). Let c be w(m). Let v(n) = -n**2 + 6*n + 4. Let i be v(8). Sort -5, c, i, 3 in decreasing order.
c, 3, -5, i
Let b(n) = n**2 + n - 1. Let g be b(2). Suppose -y - 12 = -14. Suppose 0 = -2*a + 2*q - 6, -a + 5 = q + y. Sort 2, a, g in increasing order.
a, 2, g
Let h be ((-60)/(-24))/(3/318). Let z = h + -261. Sort z, 0, -2, 5 in ascending order.
-2, 0, z, 5
Let i = 12130 + -12135. Sort -4, 2, 0, 4, i in descending order.
4, 2, 0, -4, i
Let z = 1.449 + -1.449. Put -2/3, -5, 0.2, 1, z in decreasing order.
1, 0.2, z, -2/3, -5
Let k = 65.9 - 64.858. Let u = 0.042 - k. Let q = 117 + -1285/11. Put 0, u, q in descending order.
q, 0, u
Let r = -673/70 + 68/7. Let z = -10 + 35. Let u = z - 20. Put 3/5, r, u in decreasing order.
u, 3/5, r
Suppose -q - 13*m + 8*m - 52 = 0, -5*m - 20 = 0. Let i = 264 + -268. Sort i, q, 5 in descending order.
5, i, q
Let l be 784/(-7)*((-76)/(-16) + -3). Let d = l + 199. Suppose -i - 2*u + 2 = -2, 0 = i + 5*u - 13. Sort d, -5, 2/7, i in descending order.
d, 2/7, i, -5
Let m = -24.345 + 1.345. Sort 1/4, -0.1, m, -0.2, 0 in descending order.
1/4, 0, -0.1, -0.2, m
Let l be (279/(-31) + (-140)/(-15))*93. Sort -5, 0, -7, -4, l in descending order.
l, 0, -4, -5, -7
Let i be 168/(8 - 14)*(-21)/28. Put -78, i, -0.1 in increasing order.
-78, -0.1, i
Let a(h) = -h**3 + 10*h**2 + 15*h - 31. Let v be a(8). Sort v, 2, 5, -5 in descending order.
v, 5, 2, -5
Let k(s) = 9*s**2 - 25*s + 2. Let w be k(7). Let x be 5 - (-2)/((-104)/w). Put x, 1/15, 1/4, -4 in decreasing order.
1/4, 1/15, x, -4
Let g be (-2 - -1) + 0 + 1. Let d(z) = -117*z**2 - 911*z + 178. Let r be d(-8). Put 1, 4, g, r in decreasing order.
4, 1, g, r
Let x = 12 + 12. Suppose -x = 4*l - l. Suppose -2*r - 3*f + 6 = 0, 0 = -r - 5*f + 13 + 4. Put l, -2, r in decreasing order.
-2, r, l
Let n be (-3)/2*40/(-6). Let o = -70745 - -70747. Sort n, -11, o in descending order.
n, o, -11
Let n be (6/8)/((-2)/8). Suppose -5 = g + 13. Let r be ((-24)/(-9))/(12/g). Sort 1.4, r, n, 0.5 in increasing order.
r, n, 0.5, 1.4
Let w = 19 + 243. Let a = -261 + w. Let p = 0.01 - 0.32. Sort a, p, 4 in descending order.
4, a, p
Let u = 6.6 + -47.8. Let i = 36.2 + u. Sort 0.4, i, -0.3 in ascending order.
i, -0.3, 0.4
Let z be (6/(-45) + (-2)/30)/(-1). Let q = -50/77 - -4504/6699. Put -0.5, z, q in descending order.
z, q, -0.5
Let w = -0.7 + -0.3. Let j = -0.069867 + 3.069867. Sort 0.3, w, -0.1, j.
w, -0.1, 0.3, j
Let k = 190 - -47. Let s = k - 238. Let p = 8 - 12. Sort -6, 2, p, s in decreasing order.
2, s, p, -6
Suppose 1488*c + 99 = 1546*c - 75. Suppose -2*w - 2 = -4*w. Put c, -85, w in increasing order.
-85, w, c
Let b be ((-100)/5 - -2)*4/(-6). Suppose -2*q - 2 = -5*u + b, u + q = 0. Let j = -180 - -177. Sort -5, u, j in ascending order.
-5, j, u
Let a = 178.23 - 175.23. Let t be 8/12 + 1/(-1). Put t, -19, a in increasing order.
-19, t, a
Let l(q) = q - 2. Let c be l(5). Suppose -15 + c = -3*u. Suppose 244 - 239 = 5*r. Sort r, 2, 3, u in descending order.
u, 3, 2, r
Let b = 161 + -164. Let f be (15/(-10) - -3)*4/b. Sort -5, f, -12 in ascending order.
-12, -5, f
Let f = 0.03 + -0.33. Let s = -0.269 + 0.119. Let i = s + 0.04. Sort 0.4, i, f, -3.
-3, f, i, 0.4
Let l be -1 - (1*-2 + -3). Let d be -27 + (15 - 29) + -14. Put d, -1, 0, l in ascending order.
d, -1, 0, l
Let j be ((-33)/(154/14))/(-1). Let v(o) = -o**2 + 4*o - 6. Let q be v(5). Let f = q + 6. Sort j, f, 46.
f, j, 46
Let z = -7486 + 7488. Put 3, z, -5, -84 in decreasing order.
3, z, -5, -84
Let c = -1.8 + 3. Let i = c + -0.8. Let j = 0.44908 + 0.05092. Put -2.2, j, i, -0.3 in descending order.
j, i, -0.3, -2.2
Suppose 3*w + 3 = 0, 2*m + 0*w + 4*w - 10 = 0. Let q be (-16 + -8)/6 + 24/m. Sort q, 0, -0.3, -3 in descending order.
0, -0.3, q, -3
Let y(b) = -2*b**3 - 37*b**2 + 65*b + 93. Let s be y(-20). Put s, -130, 0, -0.5 in increasing order.
-130, s, -0.5, 0
Let a = -0.24 - -0.2. Let y = a + 0.24. Let u(n) = -9*n - 299. Let i be u(-33). Sort y, i, -11.
-11, i, y
Let u = -73.0692 + 0.1692. Let d = u - -73. Sort 4, -1/5, 3.6, d in increasing order.
-1/5, d, 3.6, 4
Let l be (-9)/(-3) + 3/(-5 - -2). Suppose -9 = -5*j + 6. Suppose -2*k = 4*o + 12, 2*o + 3*k + j = o. Put -4, l, o in descending order.
l, o, -4
Let b = 4242 + -21211/5. Let g be 2/3*(2 + -5). Sort b, 0.2, g, -2/11 in increasing order.
g, b, -2/11, 0.2
Suppose 0 = 4*l + 5*t - 21, 15*t = 5*l + 14*t - 19. Sort 5/4, 0.1, l, 3 in increasing order.
0.1, 5/4, 3, l
Let d(k) = -3*k**2 - 29*k - 65. Let c be d(-5). Put -4, 3, -32, c, 2 in descending order.
c, 3, 2, -4, -32
Suppose 50*n + 4154 = -12*n. Sort -5, -4, 3, n.
n, -5, -4, 3
Let p(d) = -d**3 + 2 - 2*d**3 - 1. Let g be p(1). Let l = -375 + 375. Sort l, g, -10 in ascending order.
-10, g, l
Let b = 6897/2 + -3436. Sort -0.3, -3/7, 4, b.
-3/7, -0.3, 4, b
Let a(v) = v**2 + 5*v - 5. Let h be a(-6). Let k(g) = -8*g + 23. Let u = -72 + 75. Let b be k(u). Sort 4, b, h in decreasing order.
4, h, b
Suppose -62*n + 17374 = 17622. Sort 4, 163, n in ascending order.
n, 4, 163
Let o = 15784 - 15784. Put 10, -0.06, 1, 0.4, o in decreasing order.
10, 1, 0.4, o, -0.06
Let g = -2478.183 + 2477. Let z = 0.033 + g. Sort z, -1/3, 0 in descending order.
0, -1/3, z
Let m = 1 + -2. Let n be m/(-2)*(0 + 2). Suppose 2*g = 7*g - 4*u + 34, -23 = 3*g - 5*u. Put -4, 0, n, g in decreasing order.
n, 0, -4, g
Let v = -6407.7 - -6408. Sort v, -0.3, 120/17 in decreasing order.
120/17, v, -0.3
Let l = -5.3046 - -0.3046. Let w be 4 + 1/((-1)/2). Let c be w/(-30)*(-55)/33. Put c, l, -8 in decreasing order.
c, l, -8
Let f = -0.35 - 0.05. Let q = 147.911 + -149.911. Sort -3, f, q, -0.02 in decreasing order.
-0.02, f, q, -3
Let o be 3 + (14/(-21))/(2/(-3)). Let h(q) = 2*q**3 - 5*q**2 + q + 4. Let y be h(o). Let v = y + -54. Sort v, 1/4, 1 in decreasing order.
v, 1, 1/4
Suppose 59*m + 32 = -5*y + 58*m, 5*m + 20 = -5*y. Put -258, -1, y in descending order.
-1, y, -258
Let c(d) = -125*d**2 - 4*d + 28. Let k be c(2). Put -4, -1, 0, k in increasing order.
k, -4, -1, 0
Let b(t) = 15*t - 479. Let l be b(32). Sort l, -5, 5, -3, -25 in ascending order.
-25, -5, -3, l, 5
Let v(j) = j - 2. Let y be v(7). Let p = 35 + -55. Let f be (-15)/p - 1/(-4). Sort y, f, 4.
f, 4, y
Let s = -8 - -19. Suppose 20 = -107*p + 112*p. Sort s, 0, p in descending order.
s, p, 0
Let l = 6.17 - 0.17. Let k = 10 - l. Let i be ((-39)/(-36) + -1)/((-8)/(-16)). Put 3, k, i, -1 in increasing order.
-1, i, 3, k
Let q be 0/((-2)/(-2) + -1 + -2 + 1). Put q, -3, -92, -5 in decreasing order.
q, -3, -5, -92
Let i = -337134034/693 - -486485. Let m = i + 2/231. Suppose 13 = 12*w + 277. Put m, w, -1/8 in increasing order.
w, -1/8, m
Let q = 67 - 71. Let i be ((7/3)/1)/((-3)/(-9)). Sort 1, 5, i, q in descending order.
i, 5, 1, q
Suppose -5*q + 5*u - 9*u - 27 = 0, 3*u + 15 = -2*q. Sort q, 2, -286.
-286, q, 2
Let n be -2 + (-6)/(-35)*125/65. Let i = 18/13 + n. Put -11/4, i, -0.3 in descending order.
i, -0.3, -11/4
Let s = 3053 + -3050. Sort s, 260, 0 in increasing order.
0, s, 260
Let a be 1/((3/(-5))/(-3)). Let n be (-91)/5 + (-13686)/(-11405). Put n, a, -3 in increasing order.
n, -3, a
Let d(c) = 3*c**3 - 5*c**2 - c - 1. Let b be d(1). Sort 1, 4, b, 112 in descending order.
112, 4, 1, b
Suppose 0 = 4*z - 7*z + 9. Let r = -12045 - -12050. Let j = 0.1 + -2.1. Sort j, z, 1, r in ascending order.
j, 1, z, r
Suppose 4*f + 3 = -3*k, 8 = -3*f + 4*f - k. Suppose -21 = -4*y - 0*y - f*a, 0 = -4*y + 2*a + 46. Let l = -86 + 81. Sort 3, l, y in ascending order.
l, 3, y
Let l(y) = 29844*y + 59684. Let k be l(-2). Let f = -12 + 17. Sort k, f, -2 in decreasing order.
f, -2, k
Let v = 23 - 23. Suppose 4*h +