 v = 86 + -89. Let z = 5 - 10. Sort v, u, z.
z, v, u
Let t = -1454 - -1457. Sort t, -1, -108, 1 in decreasing order.
t, 1, -1, -108
Let n = -4.989 + -1.011. Sort n, -0.3, -1/7, 13 in increasing order.
n, -0.3, -1/7, 13
Let b(k) = -k**3 + k**2 - k + 2. Let w be b(0). Let m = 369 + -361. Put -5, 5, w, m in decreasing order.
m, 5, w, -5
Let l = 43 + -26. Let y = -15 + l. Suppose 0 = 5*o + 5*q + 5, -q = -1 - y. Put -1, -6, o in descending order.
-1, o, -6
Let r be (-3 - -2)*1 - 8. Let x = 5 + r. Suppose 0 = -0*k - k - 2. Put x, -1, k in decreasing order.
-1, k, x
Let s be ((-4)/12)/(3/(-9)). Put 19, s, 3 in increasing order.
s, 3, 19
Suppose -3*n + 6 = -3*q, -8*q - n = -13*q - 10. Sort -13, q, -3, 1.
-13, -3, q, 1
Let k = 26011/12 + -2171. Let j = k - -11/4. Put j, -3, -1 in increasing order.
-3, -1, j
Let b be 22/(-4) - (-2)/4. Let k(h) = h**2 + 5*h + 11. Let n(v) = v**2 + 4*v + 12. Let f(c) = 4*k(c) - 3*n(c). Let y be f(-7). Sort y, b, 5.
b, y, 5
Let v = 3.072 - 0.072. Let t = 0.4 - 0.6. Put v, t, -1 in descending order.
v, t, -1
Suppose -18 = -0*u + 3*u. Let x = 15 - 9. Suppose -3*j = -0*j + 3*a + 6, 2*a - x = 3*j. Sort -5, u, j in decreasing order.
j, -5, u
Let w be (-627)/(-4) + 250/200. Sort w, -2, -4.
-4, -2, w
Let r(p) = p**2 - 2*p. Let d be r(2). Suppose d = -0*b + 2*b. Let v be -3 - (b + (-4 - -2)). Put v, 2, 1 in decreasing order.
2, 1, v
Let z(y) = 7*y**2 - 2. Let r(k) = 13*k**2 - k - 3. Let n(x) = -6*r(x) + 11*z(x). Let l be n(6). Let u = -9 + l. Put 2, 1, u in descending order.
2, 1, u
Let m = -658 + 659. Sort -2, -5, 2, m in descending order.
2, m, -2, -5
Let j = 10 + -9.5. Let s = 13 + 14. Let m = 23 - s. Sort m, j, -0.4.
m, -0.4, j
Let v = -18825/13 + 1448. Sort -0.5, 0.1, v in decreasing order.
0.1, v, -0.5
Let a be ((-2)/(-18))/(266/(-514)). Let x = -1/133 + a. Put 1, 4, x in ascending order.
x, 1, 4
Let z be 16 + -9 + -1 + -1. Let q(t) = -t**3 + 5*t**2 - 2*t - 1. Suppose -2*g + 2 = -f, -4*f + 2*f = -5*g + 7. Let v be q(f). Put z, v, 1 in decreasing order.
v, z, 1
Let y = -637.3 - -642.3. Let x be (-23)/(-7) - (-4)/(-14). Sort 0.4, 2, x, y.
0.4, 2, x, y
Let o be (-5)/(-2)*(87 + -89). Sort 1, o, -4, 5 in descending order.
5, 1, -4, o
Let n = 676 - 2026/3. Sort -1/2, n, -2/11 in ascending order.
-1/2, -2/11, n
Let d = -0.33 + -0.33. Let o = d + -4.34. Put o, -4, -3/4 in descending order.
-3/4, -4, o
Let t = 4.2 + -3. Let g = -76.8 + 77. Put -2, g, t in increasing order.
-2, g, t
Let n be (3 - 7/2)*2. Let a(z) = -z - 7. Let t be a(-4). Suppose 4*u + u = -25. Sort u, n, t in ascending order.
u, t, n
Suppose 2*s + 20 = 3*o + 7*s, 0 = o + 5*s - 20. Suppose z = 3*z - 34. Sort o, 4, z, -5 in increasing order.
-5, o, 4, z
Let b(v) = -v**2 + 18*v - 28. Let g be b(16). Sort 3, -7, g.
-7, 3, g
Let t = -3.3 + 0.3. Let q be (-3 - -3 - -1 - 18)/(-2). Let k be -1 + (5/2)/1. Sort q, k, t in increasing order.
t, k, q
Suppose -17*n - 260 = -69*n. Let w(b) = -b**2 - 4*b - 5. Let r be w(-4). Let o = 3 - 0. Put n, o, r in increasing order.
r, o, n
Suppose -3*n = -2*p - 4 - 3, -6 = -4*n + 2*p. Sort n, 1, 5, 0.
n, 0, 1, 5
Let w = 145.5 - -11.5. Sort -2/3, -3/7, w in decreasing order.
w, -3/7, -2/3
Let x be 2 - (-2 + 2)*-1. Let l be (-1 + 3)*(-154)/(-44). Put x, 0, -5, l in increasing order.
-5, 0, x, l
Let a(c) = -c**3 + 14*c**2 - 2*c + 28. Let s be a(14). Sort -1, s, -79 in ascending order.
-79, -1, s
Let w = -258.3 - -258. Let s = -3 + 3.8. Sort s, 4, w in decreasing order.
4, s, w
Let l(k) = -k**2 + 19*k + 23. Let w be l(20). Suppose -3 - w = -3*z. Put z, 5, -1, -5 in descending order.
5, z, -1, -5
Suppose 0 = -4*n - 3*m + 5, -4*n + m + 20 = -n. Let y(u) = 2*u + 1. Let z be y(-3). Let s be 1/(z/(-19)) + -3. Sort s, n, 1/2 in descending order.
n, s, 1/2
Let v(j) = 5*j - 22. Let x be v(5). Let q be (-14)/(-6) - 2*(5 - x). Put 5, q, 4 in increasing order.
q, 4, 5
Let o = -17/4 + 9/2. Suppose 4 = 2*j - 4*j - 4*c, 3*j - 9 = -c. Put j, 1, 1/2, o in descending order.
j, 1, 1/2, o
Let b(v) = -5*v**2 - 104*v + 19. Let r be b(-21). Put r, 5, 0 in increasing order.
r, 0, 5
Let t = 20 + -13. Let k = 10 - t. Let g = 147 + -146.5. Sort g, k, -5 in decreasing order.
k, g, -5
Let t = -30.8798 - 0.1202. Sort 4, t, -0.1, -0.3 in descending order.
4, -0.1, -0.3, t
Let r be 17/(-102)*(-4)/12*4. Let a(n) = -n**3 + 2*n**2 - 2*n + 2. Let w be a(2). Sort 38, r, w.
w, r, 38
Let y = -0.12 - -5.12. Let v be -3 + 370/(-45) + 208/(-36) + 6. Sort y, 1, v, -1/3 in increasing order.
v, -1/3, 1, y
Let c(f) = -f**2 - f - 1. Let b(t) = -3*t**2 + 3*t + 4. Let u(y) = b(y) - 4*c(y). Let i be u(-4). Sort i, -5, 6 in decreasing order.
6, i, -5
Suppose 0 = 8*h + 5*h + 1495. Put -3, 4, h, 2 in ascending order.
h, -3, 2, 4
Suppose -6*n + 102 = 114. Let h be (1/(-3))/((-9)/(-12)). Put h, n, -0.2, 4 in increasing order.
n, h, -0.2, 4
Let w(x) = -5*x**2 + 1. Let n be 6*((-20)/12)/(-5). Let g(s) = -s**2 + 2*s + 1. Let y be g(n). Let o be w(y). Sort o, 2, -2.
o, -2, 2
Let h be (-3 + 2)*(-4 + 3 - -7). Put -2, -4, h in descending order.
-2, -4, h
Let y be 12/8*14/(-7). Put 2, -2, -32, y in descending order.
2, -2, y, -32
Let l = 0.617 + -0.627. Put 3, 1, l, 0.03 in decreasing order.
3, 1, 0.03, l
Let j = -381 + 2287/6. Put -2, j, -0.3, 0.6 in increasing order.
-2, -0.3, j, 0.6
Let u = 1549 + -1546. Sort -0.03, -17, u.
-17, -0.03, u
Let t = 0.1 - 0.02. Let o = t + -0.42. Let h = o - -2.34. Sort h, 3, 0 in ascending order.
0, h, 3
Let f = -0.13 + 0.31. Let h = f - -0.52. Put 4, h, 2 in descending order.
4, 2, h
Suppose 40 = 5*o - 10. Suppose c = 5*r - o, 5*c + 0*c + 27 = 2*r. Sort 0, 2, r, -1 in increasing order.
-1, 0, r, 2
Let b = -0.0088 + 0.3088. Sort b, -108, -4 in decreasing order.
b, -4, -108
Let d be 2*1/((-6)/(1 - 3)). Sort 0.2, d, 14.
0.2, d, 14
Let l = 1/507 - 2033/2535. Sort l, 2, -1, -2.
-2, -1, l, 2
Let v = -6 + -22. Let s = -28.1 - v. Sort -4, s, -5 in increasing order.
-5, -4, s
Let o = -17687 + 17689. Suppose 0 = -3*i - 7 + 4. Sort -14, i, o in descending order.
o, i, -14
Let t(l) = l**2 - 7*l - 13 + 2*l - 2*l. Let x be t(9). Let b be 5/35 + 76/(-42). Put b, -0.4, x in descending order.
x, -0.4, b
Let u = -47 + 59. Put u, 1/5, 1/13, 3 in decreasing order.
u, 3, 1/5, 1/13
Let t = 63 + -92. Let u = t + 32. Put 2/7, -8, u in decreasing order.
u, 2/7, -8
Suppose 2*u + 10 = 2*v, -3*v + 8*v - 16 = -4*u. Let a(l) = 68*l - 268. Let q be a(4). Sort q, 0, -9, u in descending order.
q, 0, u, -9
Let o = 141/110 - 11/10. Suppose 0*c = -c - 5, -2*m - 2*c = 12. Sort m, o, 14, -3 in descending order.
14, o, m, -3
Let a = -15.36 + -38.64. Sort -2/7, -2, 2/9, a.
a, -2, -2/7, 2/9
Suppose 65 = -2*r + 57. Sort -5, r, -2, -7 in decreasing order.
-2, r, -5, -7
Suppose a - 4*a - 5*q = 8, q = 2*a + 1. Suppose -3*y - 15 = -5*l + 13, -3*l = -15. Let d be 4 + y - (4 - 4). Sort d, 5, a.
a, d, 5
Let q = -7.5 + 8. Suppose 0 = -10*a - 0*a. Sort -4, -2/9, a, q in descending order.
q, a, -2/9, -4
Let i = 155 + -70. Let t = i - 86. Sort -0.5, 2/15, t.
t, -0.5, 2/15
Let v = -222 - -225. Put v, 4.4, 1/5 in increasing order.
1/5, v, 4.4
Let v = 42.7 + -38.7. Put -3, v, 9/8, 5 in decreasing order.
5, v, 9/8, -3
Suppose 9 = -20*h + 49. Sort -3, 1, h, -7 in decreasing order.
h, 1, -3, -7
Suppose -20 = 5*u, 0*x + u = 2*x + 6. Let b = 5 - 1. Let m = 4.3 - b. Put x, 0.4, m in decreasing order.
0.4, m, x
Let n = -338 + 334. Suppose u = -0*u + 2. Sort u, n, 10.
n, u, 10
Let v(a) = -a - a + 4 + 3*a. Let z be v(-6). Let d be (0/(6/3))/(-1). Sort z, d, -4 in decreasing order.
d, z, -4
Suppose -3*f - 2*f = -230. Suppose -f = 3*l + n, -6*l + l - 2*n = 76. Let h = l + 19. Sort h, -0.08, -0.5 in ascending order.
-0.5, -0.08, h
Let c = -9 - -4. Let o = 4 + c. Let b = -24 + 22. Sort o, 0.2, b in descending order.
0.2, o, b
Suppose -18*z + 17*z - 15 = -5*r, 17 = -5*z - 4*r. Let o be 4/10 - (-7)/(-5). Let k(h) = 4*h**2 - 2*h - 1. Let x be k(o). Sort -3, z, x in increasing order.
z, -3, x
Let g = 0 - 25. Let v(d) = -39*d + 698. Let n be v(18). Sort 4, g, n.
g, n, 4
Let m be -4 - (-3 - 7276/6884). Let b = -1406939/15489 + m. Let v = b + 91. Sort 1/4, -4, v in decreasing order.
1/4, v, -4
Let c(b) = -5*b. Let p be c(-1). Suppose 24 = -3*u - s + 3*s, -5*u = -p*s + 45. Let x(y) = 28*y + 248. Let g be x(-9). Sort g, 4, u in increasing order