1, j
Let n = -127 - -128. Let j(c) = 22 + 10*c - 14 + c**2 - 29. Let q be j(-12). Sort 4, n, q, 2 in increasing order.
n, 2, q, 4
Let i = -1 + 0.5. Let q be (-21)/105*(-135)/(-210)*(-60)/(-27). Put i, -0.9, q in descending order.
q, i, -0.9
Let c = -9.47 + 9.9. Let p = -2482.6 + 2481.6. Sort 0.2, c, p in increasing order.
p, 0.2, c
Let b = -358 + 378. Sort b, -0.63, 1, -5.
-5, -0.63, 1, b
Let a be 2/9 - 22/18. Suppose 3*d = -4*x - 37, -3*d + 59 = -8*d - 4*x. Let s be (1 + -10*(285/(-150))/(-19))*1. Put a, d, 3, s in descending order.
3, s, a, d
Suppose -3*z + 9 = -0*z. Suppose 52 = -7*x + z*x. Let n = -1963 - -1964. Put n, 0.4, x in decreasing order.
n, 0.4, x
Let s = 8030 + -7950. Sort 0, 3, 4, -3, s in descending order.
s, 4, 3, 0, -3
Let w = 0.0100231 + 4.9899769. Let v = 0 + -0.2. Put w, v, -0.3, 4 in descending order.
w, 4, v, -0.3
Let w = 2985 - 2990. Sort 3, w, -39, -3.
-39, w, -3, 3
Suppose q = 5*c + 121, 0 = -9*c + 14*c - 4*q + 109. Sort 94, c, -4 in decreasing order.
94, -4, c
Let b be (-196)/42*((-135)/(-20))/((-6)/(-4)). Sort 2, 12, 5, -1, b in descending order.
12, 5, 2, -1, b
Suppose q - 43*q - 204 = -144*q. Suppose p = f - 5, 0 = -0*p - 5*p - 5*f - 15. Put p, 4, q, 62 in ascending order.
p, q, 4, 62
Let z(d) = 3*d**2 - 42*d + 43. Let o be z(13). Put -14, o, 2, 29 in decreasing order.
29, o, 2, -14
Let i be 2 + 0 + (-2 - -42). Let c = -207/5 + i. Let d = 1.5688 + -1.5688. Sort -6, c, d in descending order.
c, d, -6
Suppose 835 = 9*a + 817. Sort a, -3, -2, -18.
-18, -3, -2, a
Suppose 0 = -3*r + w - 18, -3*r - 12*w + 7*w = 18. Let v be 2 - 76/r*32/(-32). Put -2, v, -1 in decreasing order.
-1, -2, v
Let s = 1760 - 1755. Sort s, -3/43, 3/7, 0.3 in decreasing order.
s, 3/7, 0.3, -3/43
Suppose 36*b = -3*m + 37*b - 816, 5*m - 3*b + 1356 = 0. Sort 6, -4, m, 5 in increasing order.
m, -4, 5, 6
Let f = -0.0125 + -0.0575. Sort 0.2, -5, 2/11, -12, f.
-12, -5, f, 2/11, 0.2
Let j = -38952.2 + 38956. Put j, 1, -1, 0.02 in decreasing order.
j, 1, 0.02, -1
Let k = -932 + 693. Let m = 242 + k. Sort m, 2, 1, 0.07 in descending order.
m, 2, 1, 0.07
Let r(i) = -7*i**2 + 74*i - 113. Let z be r(9). Let p = -0.2 + 0.4. Let l = 103 - 106. Sort z, p, -0.3, l in descending order.
p, -0.3, l, z
Let v = 16917 - 16978. Sort 31, v, 5 in descending order.
31, 5, v
Suppose -2*d - v = -3*d + 1, -5*d + 2*v = -14. Suppose y - 946 = -966. Sort y, 3, d in descending order.
d, 3, y
Let j = 86054 + -86052. Suppose 7 = 2*s - 3. Suppose 4*y + 4 + 0 = -4*z, -2*z + 12 = -5*y. Sort j, -1, s, y in increasing order.
y, -1, j, s
Suppose -17*j + 48*j = 13*j. Sort j, -2/27, -8 in descending order.
j, -2/27, -8
Suppose -15 = 4*v - 0*v - t, -3*v + 3*t = 0. Let p = -24.7 + 25. Let r = p - 0.3. Sort -3, r, v, -0.4 in decreasing order.
r, -0.4, -3, v
Let d be -8*((-145)/(-20))/(-29). Sort 58, d, 1, -5.
-5, 1, d, 58
Let f be (-10 + 14 + (-14)/3)*(-12)/8. Put 10, -3, 5, 4, f in ascending order.
-3, f, 4, 5, 10
Let x be (-1)/5*7260/2178. Sort -0.091, x, 1.5 in increasing order.
x, -0.091, 1.5
Suppose -5*u = i - 76, 2*u + i + 59 = 6*u. Suppose 0*n = -5*n + u. Let s be (-415)/5395 - ((-25)/(-13) - 1). Put 24, s, n in increasing order.
s, n, 24
Let g be 44/98*91/(-285). Let r = g + 4/105. Suppose -2*f + 7 = 4*f + f. Sort f, -0.1, r in ascending order.
r, -0.1, f
Let p = 26 - 12. Let t = 16592 + -116148/7. Sort p, t, -4 in descending order.
p, t, -4
Let s = -23889 - -23902. Sort 4, s, 0, 7 in descending order.
s, 7, 4, 0
Let q = 0.2714 + -2.2714. Sort -2/3, q, 1, -4/65, 0 in decreasing order.
1, 0, -4/65, -2/3, q
Suppose 0 = 2*l - 5*h - 53, -200*h = 3*l - 197*h - 6. Put -5, 0, -12, l, 2 in decreasing order.
l, 2, 0, -5, -12
Let o be (-20)/6 - (-4)/(-6). Let r = 93064 - 93059. Sort 2, o, -2, r.
o, -2, 2, r
Let p = -24206 - -24209. Let k(z) = -z**2 - 2*z - 1. Let y be k(-2). Sort p, y, 0.9 in increasing order.
y, 0.9, p
Let v = 3363 + -10090/3. Let o = 2.2 + -14.2. Let q = 10 + o. Sort v, 2, q in increasing order.
q, v, 2
Let n be (-5 + 5)*(44 + -45). Sort 1, -32, -1, n, -5 in descending order.
1, n, -1, -5, -32
Let k = -25523 - -25523.041. Sort -0.5, -1.4, k, 5 in descending order.
5, k, -0.5, -1.4
Suppose -f - d - 3 = 0, 41*f + 5*d = 45*f - 24. Sort -1, 0, 3, f, -5 in decreasing order.
3, f, 0, -1, -5
Let k = 321/5512 + 46/689. Put -12, -1, 4, k in decreasing order.
4, k, -1, -12
Let r be (-28)/4*(1 - 4*20/112). Put r, 4, 2, -26 in decreasing order.
4, 2, r, -26
Let r = 1.96 + -9.96. Put -1/3, 0, -1/4, r, -17 in decreasing order.
0, -1/4, -1/3, r, -17
Let s be (-11)/(-21) - (-4 - 81/(-21)). Put 20, s, -4 in decreasing order.
20, s, -4
Suppose -4*t + c + 7 = -2*t, 12 = 5*t + 3*c. Let f be (0 - 3 - -1)*t. Suppose -24*x + 63*x = 156. Sort 6, x, f in decreasing order.
6, x, f
Let t = 280 + -189.8. Let f = -90.322 - -0.322. Let j = f + t. Put j, -3, 0.4 in decreasing order.
0.4, j, -3
Suppose 23*a = -7*a + 23670. Sort a, 3, 2.
2, 3, a
Let s = -0.148678 + -0.051322. Let d = 3 - 3.4. Sort -2/13, -2.3, d, s in increasing order.
-2.3, d, s, -2/13
Let h = -4.8 + 4. Let w = -0.2 + h. Let m = 25121 - 25118. Sort m, 2.6, w.
w, 2.6, m
Let k = -2.53 - 7.47. Let j = 12 + k. Put 0.2, j, 0 in decreasing order.
j, 0.2, 0
Let w = -12753 + 12753.1. Put 0.2, -53, 0.04, -0.5, w in ascending order.
-53, -0.5, 0.04, w, 0.2
Let d be -1 + -83 + (0 - -2) + -3. Let t be (d/4)/(-5) + (-3)/12. Suppose -s - t*s + 20 = 0. Put 11, s, -3 in increasing order.
-3, s, 11
Let y be 2 - (-2 + -1*2). Suppose 3*q - 21*q + 0*q = -2*q + 288. Sort y, q, 0, 3.
q, 0, 3, y
Let w = -0.56 + 0.16. Let j = -1897.7 - -1897.1. Sort j, w, 0.5, -5 in decreasing order.
0.5, w, j, -5
Let d = 1/18 + 31/90. Let y = 48.8 + -48.7. Let s = -24 + 19. Sort d, y, s, 2 in ascending order.
s, y, d, 2
Suppose -17*x - 20 = -12*x. Let i be x/(-6) + 35343/(-90). Let j = -392 - i. Put -0.3, 0, j in descending order.
j, 0, -0.3
Let a be -1 + 132/(-14) - (360/(-56))/15. Put a, 0, 22 in descending order.
22, 0, a
Suppose -1 = -j, -5*j + 1 = -2*x - 4. Let p(s) = 51*s + 261. Let a be p(-5). Suppose -5 = 5*w, -2*z + a*z + w - 19 = x. Put z, 2/13, 1/4 in ascending order.
2/13, 1/4, z
Let l = -12787 + 12786.96. Put 69, l, 4, -5 in ascending order.
-5, l, 4, 69
Suppose 122*f + 467 = -753. Sort 5, -3, f.
f, -3, 5
Let x(c) = -9*c**2 + 202*c - 1109. Let p be x(13). Let a be (-1672)/(-55) + 3/5. Sort a, 3, p in descending order.
a, 3, p
Let g = 21.58 - 22. Let d = g + 0.02. Let p = -28152 + 28151. Put -1.1, p, d in ascending order.
-1.1, p, d
Let m(w) = -3*w + 19. Let n = -11 + 22. Let s be m(n). Suppose r - 12 = -13. Put s, r, -3 in decreasing order.
r, -3, s
Suppose 0 = 2*f - 5*f + 4*o - 33, 0 = o. Let p be 2 + f/22 + 2/(-4). Sort -8, 3, 4, p in increasing order.
-8, p, 3, 4
Let r = 12619.6049 - 12619. Let l = r + -0.1049. Let x = -358 - -8948/25. Put x, l, -3 in descending order.
l, x, -3
Let c = 483.9 + -462. Let v = 22 - c. Let l = 9 + -9.1. Put -4, l, -0.4, v in descending order.
v, l, -0.4, -4
Suppose -363*g + 361*g + 4 = 0. Suppose n - 3*r = -7*r + 16, 2*r = g*n + 18. Suppose 5*i + 6 - 1 = 0. Put 0, i, n, -3 in decreasing order.
0, i, -3, n
Let s be -5*((-1)/(-8))/1. Let a be -10 + (-1343)/(-132) + 172/(-1892). Sort -4, 1, s, a.
-4, s, a, 1
Let t(d) = -129*d**2 - 517*d - 20. Let r be t(-4). Sort -14, 4, r, -3 in descending order.
4, -3, -14, r
Let i = -0.03 - 0.46. Let f = 0.29 + i. Let v = 1.7 + -6.7. Put f, v, -4 in increasing order.
v, -4, f
Let a = 558 + -557. Suppose 23*p = 11*p - 72. Put -1, p, 5, a in decreasing order.
5, a, -1, p
Let k(t) = -3*t**2 - 47*t + 231. Let c be k(4). Sort c, 3, 2, -37 in increasing order.
-37, c, 2, 3
Let b = 174.12 + -170.12. Put 0.5, 0.071, 1/10, b in descending order.
b, 0.5, 1/10, 0.071
Suppose 0 = -5*k + 10, k - 34 = -4*p. Let x = 11 - p. Let b be (-2)/(-13)*1 + (-424)/52. Sort b, -4, x, 0 in decreasing order.
x, 0, -4, b
Let u = 4609 - 23044/5. Sort 1, 0.3, -0.1, -2/11, u in descending order.
1, 0.3, u, -0.1, -2/11
Suppose 4*o = -12 - 4, -4*o - 38 = 2*r. Suppose 4*n - 2 = 3*n. Let x = n + -6. Put x, -3, r in decreasing order.
-3, x, r
Suppose -y + 5*j - 2*j = -28, 3*j + 102 = 3*y. Let h be y/185 + (-16)/30. Sort -4, -0.07, -2/3, h in descending order.
-0.07, h, -2/3, -4
Suppose 3*q + 16 = -k, -2*q = 3*k - 6*q - 4. Let a = k