 Sort j, -0.5, -1, 3 in increasing order.
-1, -0.5, 3, j
Suppose 0 = 45*v - 48 - 132. Sort -6, v, 1, -1.
-6, -1, 1, v
Let x(q) = 9*q + 3. Let z be x(2). Let t be (-6)/z - 103/7. Let a = t + 14. Sort 2, -5, a in descending order.
2, a, -5
Let m be (162/270)/((-2)/260). Sort 5, 2, -1, m in descending order.
5, 2, -1, m
Suppose -68*c = -2*g - 71*c + 9, 2 = 2*g - 4*c. Let b(r) = r - 6. Let i be b(5). Sort i, g, -4, -3.
-4, -3, i, g
Let g = -700 - -682. Put g, -5, 1, -1 in descending order.
1, -1, -5, g
Suppose -4*j - c + 3 = -3*j, -3*c = -j - 5. Let z be (-6068)/(-615) - (-2)/15. Put -3/4, -3, j, z in descending order.
z, j, -3/4, -3
Let v = 3 + -1.5. Let x = -2 + v. Sort x, 3, -4.
-4, x, 3
Suppose -3*c = c - 24. Let p = c - 4. Suppose 1 = p*k - 3*k. Sort -2, -5, k.
-5, -2, k
Let j = -1.118 + -1.882. Sort 2/3, 2/7, j, -6.
-6, j, 2/7, 2/3
Let o = -252/11 - -23. Let k = 7 - 6. Let x = 0.5 - k. Sort x, -2/11, o in descending order.
o, -2/11, x
Let s be -16*1*1/(-2). Let h = -3 + 9. Suppose 3*v + 4*c - s = h, 5*c = -5*v + 20. Sort 0, v, 5 in ascending order.
0, v, 5
Let r be 111/(-148)*(-32)/(-33). Sort -4, -0.3, r in descending order.
-0.3, r, -4
Let t(k) = -2*k - 18. Let y be t(-11). Suppose 6 = y*p + 14. Sort p, -5, 3, 5 in increasing order.
-5, p, 3, 5
Let g = -343 + 339. Put 0, g, 8 in descending order.
8, 0, g
Let i be 44979/1218 - 2/(-28). Sort i, -4, 1.
-4, 1, i
Let u = 28.57 - -436.43. Sort u, -2/9, 0.1 in descending order.
u, 0.1, -2/9
Suppose 52*x - 48*x + 52 = 0. Put x, -3, -4, 0 in descending order.
0, -3, -4, x
Suppose -t + 4 = -2. Suppose t = -8*p + 6*p. Sort -5, p, 5 in increasing order.
-5, p, 5
Let h = 5.22 + -5.72. Sort -1, 6, h, 1 in descending order.
6, 1, h, -1
Let j(p) = -p**3 - 23*p**2 - 41*p + 19. Let l be j(-21). Sort -55, l, -3 in ascending order.
-55, -3, l
Let z = 6/13 + -11/52. Let f = 1/20 + 17/60. Let q = -80 - -80. Sort q, f, z in ascending order.
q, z, f
Let k = -278 - -276. Put 5, 2/3, k, -1 in decreasing order.
5, 2/3, -1, k
Let z be ((-2)/(-4))/((-255)/(-68)). Put -0.4, 1, z in descending order.
1, z, -0.4
Let d = 17.41 + -16.7. Sort 1/4, d, 0.4 in descending order.
d, 0.4, 1/4
Let q(g) = g**2 + 44*g + 125. Let h be q(-41). Put 1, 293, h in decreasing order.
293, h, 1
Let n = 22330 - 37983328/1701. Sort 0.2, n, -1/2 in ascending order.
-1/2, n, 0.2
Suppose -3*y - s + 6*s = -25, y = -4*s - 20. Suppose y = 3*a - 5*w + 13, -w = 3*a - 22 + 5. Put -0.3, 0.1, -0.5, a in decreasing order.
a, 0.1, -0.3, -0.5
Let o be 0/(-3) - 1/(-4). Suppose 107*c - 108*c = -8. Suppose -c + 7 = h. Sort h, 0.4, o in ascending order.
h, o, 0.4
Let g = 1093/4 - 272. Sort -4, -1/9, g in ascending order.
-4, -1/9, g
Let p = 2252/171 - 246/19. Put -8, 12, p, -1/2 in descending order.
12, p, -1/2, -8
Let q = -676.1 - -676. Sort q, -1/34, -5 in decreasing order.
-1/34, q, -5
Let b(o) = 2*o**2 + 9*o + 14. Let i be b(-7). Let m = i - 53. Sort -3/4, m, 0.1 in descending order.
0.1, -3/4, m
Suppose 0 = -5*f + h - 35, 24*h - 28*h = 4*f + 28. Let d be (1/1 - 2) + 3. Put d, 3, -2, f in decreasing order.
3, d, -2, f
Let a = 1130 - 1118. Sort 1, a, 2, 5 in descending order.
a, 5, 2, 1
Suppose -95 = -v - 4*v. Let b = -19 + v. Put -1, b, -6 in decreasing order.
b, -1, -6
Let j = -367 + 377. Put -2/7, 0.1, j, 0.3 in descending order.
j, 0.3, 0.1, -2/7
Let n = 42.99 + -43. Let v = -0.06 - n. Sort v, 0.7, -1/5.
-1/5, v, 0.7
Let z be 2/5 - (-23)/5. Suppose -4 = m, g + 9*m = 12*m + 6. Put z, g, 1 in descending order.
z, 1, g
Let v = -0.027 - 65.973. Let d = v + 62. Sort d, 2, 1/4 in descending order.
2, 1/4, d
Let t = 1019/3591 - -1/513. Let n be (-6)/(-15)*(0 + 1). Sort n, t, -0.2, -5 in descending order.
n, t, -0.2, -5
Let u = -326 + 310. Let x be (-1)/5 - (-12)/(-15). Sort x, -4, u in decreasing order.
x, -4, u
Suppose -4*m + 0*s = 3*s + 50, -4*s = -m - 3. Sort 0, 2, m in increasing order.
m, 0, 2
Let i be 98/21 + 2/6. Let k(x) = -x**3 + 10*x**2 + 13*x - 23. Let s be k(11). Put i, s, 4 in descending order.
i, 4, s
Let t = 419 - 452. Put -4, 2/13, t in decreasing order.
2/13, -4, t
Let o = 175 - 177. Suppose w - 3*a = 1 + 9, 0 = -5*w - 2*a + 33. Let p = w + -5. Put o, -5, p in ascending order.
-5, o, p
Let r = -1425 + 1435. Put -2/3, -0.2, r, 4 in decreasing order.
r, 4, -0.2, -2/3
Let g = 0 - 0.1. Let a be (290/(-20))/29*-1*6. Sort g, 0, a in decreasing order.
a, 0, g
Let q = 0.55 + 28.45. Let n = 14 - q. Let i = 16 + n. Put 3, 0.4, i in decreasing order.
3, i, 0.4
Suppose -243 = -4*d + 93. Suppose -7*f - d = -0*f. Sort -2, -4, f in descending order.
-2, -4, f
Suppose -3*m - 320 = -335. Put m, 3, -28 in decreasing order.
m, 3, -28
Let a = -1003 - -1003.1. Sort 4, a, -0.9, 2 in decreasing order.
4, 2, a, -0.9
Suppose 5*k + 67 = -3. Put 1, k, 4 in ascending order.
k, 1, 4
Let q be 20/6*12/(-10). Let m(a) = 3*a**3 + 5*a**2 + 3*a + 5. Let l(v) = -v**2 + 9*v - 22. Let j be l(5). Let i be m(j). Put 2, q, i in descending order.
2, q, i
Let d(l) = 3*l**2 - 24*l + 12. Let h be d(10). Let t be (-1)/(-1) + 6/h*-3. Sort -3, t, 4/9.
-3, 4/9, t
Suppose -3*j - j = 4*u + 48, j + 40 = -3*u. Let t = -7 - u. Let k = -4 + t. Sort -4, k, 1 in ascending order.
-4, 1, k
Let f be ((-2)/3)/(1/(-36)). Suppose 0 = -0*i - 3*i - 3. Sort f, i, 5 in descending order.
f, 5, i
Let z = -613 + 612.5. Put 6/23, 4, z in increasing order.
z, 6/23, 4
Suppose 0 = 5*m + 3 + 2. Let x(p) = -3*p + 17. Let j be x(4). Sort 6, m, j.
m, j, 6
Let j = -8 - -11. Let q = j - 6. Let i be 2*((-16)/(-10) + -2). Sort 3/4, q, i in ascending order.
q, i, 3/4
Suppose r = 5*k - 3*k + 66, -2*r = -k - 30. Put 4, -3, 5, k in descending order.
5, 4, -3, k
Let y = -31.51 - 0.49. Let m = -32.3 - y. Let b be 8/(-6) - 8/(-12). Sort b, m, 3 in descending order.
3, m, b
Suppose 7*l - 10 = 3*h + 3*l, 0 = -5*h + 4*l - 6. Let o = 210 - 205. Sort 1, h, o in decreasing order.
o, h, 1
Suppose -b - 5*b - 30 = 0. Put b, 4, 112 in decreasing order.
112, 4, b
Let r = -1956/11 + 178. Sort 0.4, -1/4, r, -0.01 in decreasing order.
0.4, r, -0.01, -1/4
Let f = -1036 - -1035. Sort f, 2/13, -27/2 in decreasing order.
2/13, f, -27/2
Let h = 21455/3 - 7152. Let m be 0 + -1 + 8/(-2). Put 96, h, m in ascending order.
m, h, 96
Let k = 115.27 - -1.73. Let s = k - 118. Let y be (-5)/6 + 1/1. Sort 0.2, y, s in increasing order.
s, y, 0.2
Let b be 1265/143 - (-4)/26. Sort 2, 4, b, -4 in increasing order.
-4, 2, 4, b
Suppose 0 = -3*z + z - q - 1, -4*q = 2*z - 2. Let w(f) = -f**3 + 5*f**2 - 2*f - 5. Let y be w(4). Suppose -6 = -y*k + 6. Sort -2, z, k in increasing order.
-2, z, k
Let w = 0.28 - -5.72. Let b = -7 + w. Sort 5, b, 24 in ascending order.
b, 5, 24
Suppose 0 = -37*d + 32*d + 3*i + 28, 5*d + 4*i = 21. Put -6, -2, d, -8 in decreasing order.
d, -2, -6, -8
Let h = -20.079 - -0.079. Let j = -19.9 - h. Sort 2/3, j, -2, 2/5 in decreasing order.
2/3, 2/5, j, -2
Let g be ((-104)/(-12))/(4 - 20/6). Let t(o) be the third derivative of o**4/24 - o**3/6 - 8*o**2. Let a be t(4). Put g, 1, a in ascending order.
1, a, g
Suppose -8*i + 76 = 11*i. Sort 14, -4, i.
-4, i, 14
Suppose -3*x - 2*u + 0*u + 2 = 0, 5*x - 30 = 2*u. Sort -3, x, -9/14.
-3, -9/14, x
Suppose -2*h + h = 0. Suppose -16 = -26*z + 28*z. Let v(a) = -a**3 - 9*a**2 - 6*a + 18. Let t be v(z). Sort t, -4, h.
-4, h, t
Let w = -26.9 - -26.7. Sort -5, 17, w in descending order.
17, w, -5
Let f(d) = 3*d**2 + 67*d - 121. Let t be f(-24). Let i = -3 - 1. Put t, -5, i in descending order.
t, i, -5
Let y be ((-3)/(-48))/((-6)/(-36)). Let o be (-3 + -2)*10/(-25). Let j be (o - (-208)/(-102))*3. Sort y, j, 3 in decreasing order.
3, y, j
Let n = 1400 - 1374. Sort 3, 0, n, -4 in descending order.
n, 3, 0, -4
Suppose 3*d - 96 = -4*k, -4*d + 23*k + 147 = 22*k. Sort 3, -1, d.
-1, 3, d
Let h = 2.2 + -5.3. Let r = -3.52 - h. Let z = r - -0.12. Put 5, z, -5 in increasing order.
-5, z, 5
Suppose -1 - 3 = -4*j - 4*v, -5*j - 7 = -v. Let f = -14 + 17. Let y = 77 + -77. Put j, y, f in ascending order.
j, y, f
Let f = -8 + 6. Let w = 12540 - 12544. Sort w, f, -1, -5 in increasing order.
-5, w, f, -1
Suppose -9 - 9 = -2*b. Let u(c) = 21*c - 7*c - 15*c + b. Let p be u(4). Put p, -1, 0 in decreasing order.
p, 0, -1
Let g = -38 - -29. Let m be (27/9)/(g/(-4)). Put 0.1, m, -4 in decreasing order.
m, 0.1, -4
Suppose 8 = -2*p, 