- 2 = l, 0 = 2*r - v + k - 1. Sort r, 3, -3 in descending order.
3, r, -3
Let z = 313 + -310. Let g = -228 + 326. Let x = 881/9 - g. Put x, -2, -2/7, z in descending order.
z, x, -2/7, -2
Let x = 5.30401 - 0.30401. Put x, -295, 9 in increasing order.
-295, x, 9
Let v(a) = -7333*a + 4. Let t be v(3). Let q be t/212 + (-2)/8. Sort q, 3, 4 in ascending order.
q, 3, 4
Let d be 25/225*81 - (-2 - -11). Put -5, d, 29, -4, 5 in descending order.
29, 5, d, -4, -5
Suppose -2*q - 114 = 3*d, 5*d + 0*q + 2*q + 190 = 0. Let f = d - -41. Let v = -24.992 + -0.008. Put v, f, 0.5, -5 in decreasing order.
f, 0.5, -5, v
Let v = 497 - 497.5. Let z = -321 + 318. Sort v, 0.4, z, 4 in decreasing order.
4, 0.4, v, z
Suppose -5*q + 21*q = 112. Let j be -2 - (1 - q - (-12)/3). Sort -4, j, 6 in descending order.
6, j, -4
Let g = -3579 - -3574. Sort -8, -2/3, g in ascending order.
-8, g, -2/3
Suppose 0 = 4*m + 206 - 2178. Suppose m*q = 492*q + 5. Put -5, q, -0.17 in descending order.
q, -0.17, -5
Let j = -46 + 48. Suppose -c - j*i - 1 = 0, -5*c - 4*i + 5 = i. Put 0, -4, c, 4 in descending order.
4, c, 0, -4
Let i be 8/4*2/14. Let r = -1.7 + 0.7. Let q = -12.74 - -13.14. Sort i, 0, r, q.
r, 0, i, q
Let v = 248 - 17. Let d = 228 - v. Let x = -10 + 9.93. Put 0, d, x, -1 in increasing order.
d, -1, x, 0
Let a(h) = h**3 + 61*h**2 - 78*h - 715. Let y be a(-63). Put 0, -3, -5, y in descending order.
0, -3, -5, y
Let w be 2*(0/(-1) + -2). Suppose 8*v - 190 + 206 = 0. Sort w, v, 4, 2/5.
w, v, 2/5, 4
Let n(f) = -f**3 - 8*f**2 - 67*f - 271. Let k be n(-5). Sort -21, k, 1 in ascending order.
-21, k, 1
Suppose -z - 11 = -7. Let g be 0 - 0 - (z - 0). Sort -6, -3, -4, g in ascending order.
-6, -4, -3, g
Let n = -1856 + 1856.073. Put 0.2, n, 0, 0.09 in increasing order.
0, n, 0.09, 0.2
Suppose 32 - 36 = 2*u. Suppose -5*k - 2*z = -3*z - 9, 3*z - 3 = 0. Put u, -4, k in increasing order.
-4, u, k
Let t = -2.9 + -1.1. Let y = 671 + -651. Suppose 24 = y*v + 4*v. Sort v, -2/7, t in decreasing order.
v, -2/7, t
Let w(q) = 7*q**2 + 8*q + 26. Let v be w(-4). Suppose -105*p + v*p + 5 = 0. Sort 8, -4, p in descending order.
8, -4, p
Suppose 498 + 4470 = -184*f. Put f, 6/47, 2/7 in ascending order.
f, 6/47, 2/7
Let q = 83 + -83. Let k = -9.36 + 9.3. Put 5, q, k, 4 in descending order.
5, 4, q, k
Let n = 1536.6456 - -1.5544. Let h = n - 1538. Suppose 0 = -3*f - 111 - 0. Sort f, -4/9, h in increasing order.
f, -4/9, h
Let f = 0.12968 - 0.09968. Sort f, -29, 0 in descending order.
f, 0, -29
Let l = 79 + -65. Let g be -7*(10/35 - 88/l). Let w be (102/g)/1 - (-6)/(-14). Put 0, 5, w in ascending order.
0, w, 5
Let p = -81 - -80.837. Sort p, 5, 3/2, -0.4.
-0.4, p, 3/2, 5
Suppose -23*t + 85*t = 124. Sort 12, t, 3, 1, -21 in increasing order.
-21, 1, t, 3, 12
Let h be 12/4 + 32/((-6)/3). Let t = 1.06 + -1. Let z = t - 4.06. Sort -1/3, z, h in ascending order.
h, z, -1/3
Let g be (28/84*6/2)/(3/(-27)). Put g, 4, 8 in decreasing order.
8, 4, g
Let z(s) = -s - 12. Let t be z(-15). Let q(w) = -12*w + 36. Let l be q(t). Suppose 11 = -4*u + 3*i, 7*u = 2*u + 4*i - 15. Put 5, u, l in increasing order.
l, u, 5
Let y = -9025/6 - -1504. Put y, 3, -20/3 in ascending order.
-20/3, y, 3
Let o(m) = -m**3 + 5*m**2 + 8*m - 15. Let n be o(6). Let z = n - -4. Let h be -3 - (-3)/(18/42). Sort -7, z, h.
-7, z, h
Suppose -5*u - 27*u + 2656 = 0. Suppose u - 18 = 13*i. Suppose -2*n = 2*n. Sort -2, i, -5, n.
-5, -2, n, i
Let r = -32943 + 32942.89. Sort 2, r, -2, 4, 2.9 in decreasing order.
4, 2.9, 2, r, -2
Suppose 17*x - 394 = 269. Suppose -27*g + 40*g - x = 0. Sort g, 1, -26 in decreasing order.
g, 1, -26
Let o(k) = 5*k + 26. Let v be o(-6). Let z be v - 212/(-32) - 6/(-16). Put -3, z, -1, -6 in descending order.
z, -1, -3, -6
Let i(d) = 2*d**2 - 9*d + 4. Let r be i(2). Let j be (30/(-60))/(1/r). Let y = -1.4 - -0.4. Put j, 2, -0.4, y in decreasing order.
j, 2, -0.4, y
Let f = -11.7 + 12. Let q be 0*(10 + (-133)/14). Sort q, f, -5, 2/9 in decreasing order.
f, 2/9, q, -5
Let h = 510 - 244. Let u = h - 263. Put -3/8, u, 0.3 in decreasing order.
u, 0.3, -3/8
Suppose -7 = 3*q - 10*q. Sort -3, q, 0.069 in decreasing order.
q, 0.069, -3
Let o = -2523 - -2523.7. Put o, 2/11, 2, 0 in decreasing order.
2, o, 2/11, 0
Let x = 1 + 0. Suppose 4*p - 104 = -3*k, 2*p + 5*k - 3*k = 52. Let j = p - 21. Put 0.3, j, 3/7, x in ascending order.
0.3, 3/7, x, j
Let v = 62 - 56. Let c = -1.1 - 2.8. Let d = -6.9 - c. Put -2, v, d in decreasing order.
v, -2, d
Let t(s) = -s**2 + 61*s - 285. Let w be t(5). Put -3/7, 2/13, -3, -10, w in descending order.
2/13, -3/7, -3, w, -10
Let s = -17317 + 17321. Sort s, -1, 4/13, 0.2 in ascending order.
-1, 0.2, 4/13, s
Let g(l) = 5*l**2 - 38*l - 404. Let s be g(-6). Sort -3, 5, s, 3 in increasing order.
-3, 3, s, 5
Suppose -16*l + 2 = 18. Suppose 3*v - 64 = 3*s + s, 2*v - 34 = 2*s. Let k(w) = -w**2 - 14*w - 13. Let q be k(s). Put q, l, 21 in increasing order.
l, q, 21
Let q = 5245 + -5243. Sort 2/9, q, -63 in decreasing order.
q, 2/9, -63
Let d = -983 + 984. Let a = 17 + -7. Put a, -4, d in increasing order.
-4, d, a
Let f = -0.46392 - -0.56392. Sort 1, -54, f, 2/3, -1 in increasing order.
-54, -1, f, 2/3, 1
Let x be (0 + -2)/(-1)*(-12)/((-24)/49). Put -5, x, -3, -1 in decreasing order.
x, -1, -3, -5
Let x = 0.22 - 0.35. Let w = x - -0.15. Let z = -383 + 383.5. Put 2, w, -0.4, z in decreasing order.
2, z, w, -0.4
Let z = -58 - -54. Let x(n) = -n + 13. Let r be x(10). Suppose -r*f = 3*f + 30. Sort z, -3, f in decreasing order.
-3, z, f
Suppose 26*z + 7 = 25*z. Let o = -264 - -265. Sort 2, o, z, -6.
z, -6, o, 2
Suppose 16*d + 39*d = -110. Put 4, 11, -4, d in decreasing order.
11, 4, d, -4
Let b(f) = -f**2 + 5. Let a be b(0). Let l be ((-51)/(-66))/((-6)/(-4)) - 6192/34056. Sort a, l, -5, 3 in increasing order.
-5, l, 3, a
Let g = -6.169 + 3.169. Sort 27, 2/7, 9, g in increasing order.
g, 2/7, 9, 27
Let p = -15867 - -15863. Sort 2, 5, -1, 18, p.
p, -1, 2, 5, 18
Let r = -6056 - -6057. Suppose 3*a - 4*z - 29 = 0, -15 - 15 = -5*a + 3*z. Suppose -5*f = -0*f + 15. Sort a, f, 5, r in ascending order.
f, r, a, 5
Suppose -q = q - 2. Let r = -9.77 - 175.93. Let w = r - -186. Sort q, 0.1, w in descending order.
q, w, 0.1
Let z = 2.4 - 2. Let f = -14714/9 - -1635. Sort z, 2/11, f in descending order.
z, 2/11, f
Let s = -3169 + 3170. Put s, -2, 8, 4, 0 in descending order.
8, 4, s, 0, -2
Let w = -607 + 612.02. Let a = w - 1.02. Sort a, 2/11, -8 in descending order.
a, 2/11, -8
Suppose -2105*r = -2076*r - 232. Put 3, -1, r, -2 in descending order.
r, 3, -1, -2
Let r = 8148 + -8139. Sort 4, -13, 1, r, -5 in descending order.
r, 4, 1, -5, -13
Suppose -3*c - 2*c = -60. Let a = -16 + 13. Let o = 114 + -119. Sort o, c, a.
o, a, c
Let g(t) = -t**2 + 9*t - 9. Let x be g(2). Let c be (-4)/(4 - (4 - 1)). Let h be (-1 - -1)*c/8. Sort x, h, -4 in descending order.
x, h, -4
Suppose -5*o = 3*g + 17, 3*o - 52 = 3*g + o. Let d(p) = -p**2 - 4 + 741*p - 728*p - 14 + 2*p**2. Let z be d(g). Put -6/17, 0.4, z in ascending order.
z, -6/17, 0.4
Let r = 3843.9 + -3843.8. Sort 5, r, -337/5.
-337/5, r, 5
Let b(p) = -p**3 + 12*p**2 - 17*p - 20. Let j be b(10). Suppose -4*k + 3*k + j = 0. Let s(a) = -5*a + 55. Let m be s(k). Put -5, -10, m, 1 in increasing order.
-10, -5, 1, m
Let f be (3/2)/((-27)/(-288)*-4). Sort 3, 11, f, -2 in decreasing order.
11, 3, -2, f
Let u(y) = -y + 7. Let k be u(6). Let g be 0/158*(-2)/4. Let a = 34 - 32. Put 4, g, k, a in ascending order.
g, k, a, 4
Let h be (-33 - -31) + 24/9. Let v = 1 - 19. Let n = 103/214 + 2/107. Sort v, n, 4, h in descending order.
4, h, n, v
Let v = 45093 + -45086. Let z be 4/(-1) + (-2)/2. Sort z, 4, v in increasing order.
z, 4, v
Let j = -18407 + 18405. Suppose 2 = -r - 4. Sort -3, j, r in descending order.
j, -3, r
Let l = 223.17 - 221.17. Sort -1, l, 1473.
-1, l, 1473
Let g = 872 + -394. Let f = g + -1433/3. Put f, 2/21, -4 in increasing order.
-4, 2/21, f
Let d(r) = r + 2. Let b be d(-4). Suppose -5*k - 2*o = -7*o - 140, -2*k + 4*o + 64 = 0. Suppose 67*n = 73*n + k. Sort n, 1, b in ascending order.
n, b, 1
Let s be (-13)/((-1326)/6)*17. Sort 2, 3, 5, s, 4.
s, 2, 3, 4, 5
Let k = 3680 + -3675. Sort 0, -4, 13, k.
-4, 0, k, 13
Suppose -5*t - 2*a + 5 = 0, -6 = 5*t - 2*t + 3*a. Sort 4, 0, -55, t, 7 in incr