 Put 11/12, j, -13 in decreasing order.
11/12, j, -13
Let w = 904 + -958. Let g be (-29)/(-9) + (120/w - -2). Sort g, 5, 31 in descending order.
31, 5, g
Suppose 0 = 2*h - 0*h. Let r = 56 + -28.3. Let x = -28 + r. Sort -2/5, h, x in descending order.
h, x, -2/5
Let u(c) = -16*c**2 + 206*c + 23. Let k be u(13). Let v = 0.11 + -13.11. Let x = v - -13.9. Put -1, k, x in increasing order.
k, -1, x
Suppose 4*r = 4*t + 280, 9*r - 3*t = 5*r + 279. Suppose -5*v + 49 = -3*x, -3*v - r = 5*x - 5*v. Put x, -4, 3, 4 in increasing order.
x, -4, 3, 4
Let f(s) = -s - 9. Let g be f(-8). Suppose -5*j - k + 14 = -2*j, 4*j + 2*k - 16 = 0. Suppose -28*z + 0 = 6 + 106. Sort j, z, g.
z, g, j
Suppose 2*c = -4*x + 26, -x - 4*c + 83 = 66. Let t = -12 - -12. Put -26, t, x in decreasing order.
x, t, -26
Suppose 0 = -3*z - 3*m + 12, z - 4*m = -4*z + 56. Let l be (z/(96/(-18)))/((-6)/16). Sort l, -4, -9, -3 in decreasing order.
l, -3, -4, -9
Let a = 113.57 + -113.58. Sort 5, 3, a, -3, 2 in ascending order.
-3, a, 2, 3, 5
Let b(r) = -2*r**2 - 7*r + 11. Suppose 0 = -3*l, -5*i - 34 - 6 = -2*l. Let o be b(i). Let u = o - -65. Put -1, u, -0.1, 0 in descending order.
u, 0, -0.1, -1
Let g be -12 + 5/(-15)*-48. Let a = -11 + 3. Sort g, a, -2.
a, -2, g
Suppose 4*n = -4*i, -i - 2*n - 9 = 4*i. Let v = -695 - 266. Let q = 8647/9 + v. Put i, q, 3/5, 1/2 in decreasing order.
3/5, 1/2, q, i
Let h(n) = -2*n**2 - 59*n + 4. Let s(q) = -q**2 - 63*q + 5. Let k(l) = 5*h(l) - 4*s(l). Let o be k(-6). Sort o, -4, 1, -1/2 in descending order.
o, 1, -1/2, -4
Suppose v + 194 = 78. Let x = 1412 + -1410. Put -3, v, x in increasing order.
v, -3, x
Let t be ((-10)/55)/((4 - 11)/(-7)*-1). Let u be (-8)/12 - 2/6. Put u, -4, -3, t in decreasing order.
t, u, -3, -4
Let p be (-34 + (11 - -13))/((-2)/(-6)). Sort p, 3, 2.
p, 2, 3
Suppose -5*o = -4*o - 3. Let a be 16*15/(-210)*-7. Put a, o, 1 in decreasing order.
a, o, 1
Suppose -4*j = -2*i + 86 - 92, -2*j + 2*i + 10 = 0. Let v = 14 + -8. Put v, j, -5 in decreasing order.
v, j, -5
Let t = -6 + 10. Let h(q) = 4*q**2 - 23*q - 8. Let u be h(6). Let n be (-2)/(-11) - 124/(-44). Sort t, u, 0, n in descending order.
t, n, 0, u
Let t(j) = 191*j**2 - 210*j + 17. Let y be t(1). Suppose 3*v - 20 = -2*v. Put v, 55, y in decreasing order.
55, v, y
Let r = -0.9 - -0.4. Let x = 111133 - 1114043/10. Let b = 271 + x. Put b, 3, r, -3 in decreasing order.
3, b, r, -3
Let n = 429 - 388. Let m = n + -370/9. Sort m, 3, 6/11 in ascending order.
m, 6/11, 3
Let u(y) = -285*y**2 + 297*y + 8. Let v be u(3). Sort 4, v, -5.
v, -5, 4
Let q = 61 + -58. Let z = 0.0564 + 0.2436. Put -3/5, 1/8, q, z in decreasing order.
q, z, 1/8, -3/5
Let v = -17/195 - 1/15. Let j = 11808 - 58801/5. Let w = 48 - j. Put v, 7, 0, w in descending order.
7, w, 0, v
Suppose -5*s = -4*d + 177, 2*s - 138 = 6*s - 5*d. Suppose -4*c = 6*c - 440. Let h = s + c. Put 4, h, 2 in ascending order.
2, 4, h
Let k(q) = -4*q**3 - 12*q**2 + 37*q - 15. Let o be k(2). Put o, -3, -6, 10, -1 in decreasing order.
10, -1, -3, -6, o
Suppose -8*k - 2 = -58. Let b(i) = -i**3 + 8*i**2 - 5*i + 2. Let x be b(k). Suppose -2*d + r + 9 = 0, 3*d + 3*r - x = 2*r. Sort -3, -1, d in decreasing order.
d, -1, -3
Let d(t) be the second derivative of t**4/12 + t**3/2 - t**2/2 - 63*t. Let u be d(0). Put u, -19, 1 in decreasing order.
1, u, -19
Let p = -272 + 274.87. Let c = 3.07 - p. Sort 6, c, 1/3 in decreasing order.
6, 1/3, c
Let c = -4.43 - 42.87. Let v = 42.3 + c. Sort v, -6/13, 3 in descending order.
3, -6/13, v
Let a be (-3)/(-12) - 1/(-12). Let k(n) = -5*n - 66. Let v be k(-9). Let x be (-22)/v + 0 + 10/35. Put a, -0.3, 0.04, x in increasing order.
-0.3, 0.04, a, x
Suppose -7 + 2 = -u. Suppose u*a + 3 = 2*a. Let g = 2 - a. Sort 0, g, -4.
-4, 0, g
Suppose 0 = 17*a + 16*a - 99. Suppose -4*w - 199 = 5*o, w + a*o + 13 + 28 = 0. Put -2, 0, w in increasing order.
w, -2, 0
Let c be ((-10)/15)/((-62)/12 - (-7 + 2)). Sort -1, -3, -33, c in ascending order.
-33, -3, -1, c
Let g be 2/(-10) - 764/(-20). Suppose -3*p + 5*b + 0*b = -44, b = -3*p + g. Suppose -p*n = -17*n + 16. Sort -2, n, 3 in decreasing order.
n, 3, -2
Let b(s) = s**2 + 5*s + 10. Let r be b(-3). Let a be 1 + -3 + 40/r. Suppose 7*m + 1 = a*m. Sort 2, m, -3, -5 in decreasing order.
2, m, -3, -5
Let s be (-108)/21*(-3 - 4). Suppose -12 = -6*m - s. Let o(i) = 5*i + 15. Let u be o(m). Sort u, -14, -1 in descending order.
-1, u, -14
Suppose -28*n + 25 = -23*n. Suppose 33*x = -n*x + 152. Sort -29, 2, x in decreasing order.
x, 2, -29
Suppose -28*l - l - 126 = -155. Let j = -55 - -277/5. Let x be (8/(-70))/((-6)/15). Sort j, l, x, 2 in descending order.
2, l, j, x
Let n = -4150 - -4154. Put -2, n, 86 in increasing order.
-2, n, 86
Let k = -7.353 - -7.3. Let u = k + 5.753. Let x = 6.7 - u. Sort x, -3, -8 in descending order.
x, -3, -8
Let p = -169 + 207.5. Let w = p - 10.5. Let y = 30 - w. Put y, -5/2, -1/3, -5 in descending order.
y, -1/3, -5/2, -5
Let g = 0.309 - -0.191. Let h = -0.317 + 0.117. Put g, -4/5, h in increasing order.
-4/5, h, g
Let g = 3.5445 - 1.5445. Sort -3/2, g, -2/11, 54/13, 1 in decreasing order.
54/13, g, 1, -2/11, -3/2
Let l be (2044/730)/(1/80). Put l, 5, 2 in ascending order.
2, 5, l
Let t = -1485/104 + 381/26. Sort 0.12, 4, t, 24.
0.12, t, 4, 24
Suppose -130*z = -124*z + 240. Let k be 14/49*(2 - (-52)/z). Let u = 4/9 - 2/3. Sort u, k, -3 in ascending order.
-3, u, k
Let a(z) = -41*z - 411. Let q be a(-10). Let t be (13/3)/(1*(-3)/(-9)). Sort q, 1, t.
q, 1, t
Let s = 13223 + -13222. Sort -3/4, -4.74, 2/7, s, -5 in increasing order.
-5, -4.74, -3/4, 2/7, s
Suppose -6*d + 2*d = -5*b + 3, 5*d = 5*b. Let a(i) = 2*i**3 - 5*i**2 - 11. Let k be a(b). Put 2, 4, k, -5 in descending order.
4, 2, k, -5
Let a = -50 + 58. Let m = -8.9 + 0.9. Let d = m - -7.7. Sort -4/3, d, a.
-4/3, d, a
Let b(h) = -144*h**3 + 3*h**2 + 22*h - 23. Let j be b(1). Sort 1/3, j, -4, 2/5 in ascending order.
j, -4, 1/3, 2/5
Suppose -24 = 4*f + 16. Let p(c) = c**2 - c - 41. Let x be p(-9). Let o = x + -49. Put f, 3, -2, o in descending order.
3, o, -2, f
Let w(v) = 94*v - 14469. Let x be w(154). Let j = 1 + 1. Sort j, x, -3, -2.
-3, -2, j, x
Let z(d) = d**2 - 7*d + 8. Let r be z(6). Suppose -r*c + 6*c - 16 = 0. Suppose 16 = -3*j + 4, -2*j = -11*p + 19. Sort 3, p, c.
p, 3, c
Let y = 652.5 + -653. Suppose n - 4*n + 15 = 0. Let h = -1.518 - 3.482. Sort n, y, h, -0.2.
h, y, -0.2, n
Let v(u) = 3*u**2 + 41*u - 59. Let x be v(-21). Suppose 409*g - 30 = x*g. Sort -36, g, -2 in increasing order.
-36, -2, g
Let m = -78637 + 78629. Let n = -1.6 - 0.4. Put n, -27, m in descending order.
n, m, -27
Let h = -1288 - -1292. Suppose 12 = 25*m - 31*m. Put 3, -116, m, h in increasing order.
-116, m, 3, h
Suppose 4*b - 16 = 2*t, -2*t - 2*b + 0*b + 14 = 0. Suppose -t*n + n = -5, 5*p - 5*n = 80. Suppose -8*o + 3 + p = 0. Put o, 4, 5 in descending order.
5, 4, o
Let t = 0.21789 + 20.98211. Sort 10, t, 2, 4 in increasing order.
2, 4, 10, t
Let r(v) = 77*v**2 + 162*v + 17. Let p be r(-2). Sort -3, p, 142.
-3, p, 142
Let r(i) = i**2 - 10*i + 11. Let u be r(10). Suppose -8*n - 6 = -u*n. Suppose n*k - 10 = 5*b - 3*k, -b - 4 = -2*k. Put -5, b, 2 in decreasing order.
2, b, -5
Suppose -1227*l - 144 = -1083*l. Let t(a) = a**3 - 6*a**2 - 8*a + 9. Let k be t(7). Put -5, l, k, -40 in decreasing order.
k, l, -5, -40
Let y be 57/(-38)*1*(0 + 2). Let p = 13 + -11. Suppose 2 + 6 = d + 2*o, p*d + 4 = o. Sort d, 1, y in decreasing order.
1, d, y
Suppose 20*m - 20 = 40. Let i be (60/60)/((-1)/((-1)/1)). Sort i, m, -13, 5 in decreasing order.
5, m, i, -13
Let a = 913 - 913.0661. Let r = a + 0.2661. Sort -0.05, -6, r in ascending order.
-6, -0.05, r
Suppose 3*w + c = 80, -2*c = 3*w + 23 - 99. Let d be (-6)/(-10) - w/140. Let g = 2 - 0. Put 3, d, 4/7, g in descending order.
3, g, 4/7, d
Suppose 2*h - 12 = -4*i - 2*h, 0 = 3*h. Let a = 1.77 - 1.9. Let w = a - -2.13. Put i, 6/5, w in descending order.
i, w, 6/5
Let b = -107 - -113. Suppose -3*o = -261 + 273. Sort 3, 5, o, b in ascending order.
o, 3, 5, b
Let t be 1*(0 + -86)/(2 - 11 - -7). Sort -4, 5, -3, t in descending order.
t, 5, -3, -4
Let d = -54/647 - 485/1941. Sort -2/22849, d, 1 in descending order.
1, -2/22849, d
Let t = -0.2514 - 13.7486. Let u = -1 + 1. Put -3, t, 1, u in decreasing order.
1, u, 