0 + 8*o. Let k be w(10). Sort 3, k, 2.
2, 3, k
Let x = -5 + 9. Let y(r) = 61*r + 666. Let u be y(-11). Sort x, u, 0, 3.
u, 0, 3, x
Suppose -1002 = 9*l - 984. Put l, 1/5, 13/6, 0 in increasing order.
l, 0, 1/5, 13/6
Let q = -0.65 - -0.45. Suppose 6*n = 2*n - 8. Put n, q, -6 in decreasing order.
q, n, -6
Suppose 20 = -156*s + 152*s. Put s, -3, -2 in decreasing order.
-2, -3, s
Let m = -0.17 + -9.83. Let k = m + 14. Let s = 48 + -46. Put 0.9, k, s in descending order.
k, s, 0.9
Suppose n + 4*b = 2*n - 17, -3*b - 12 = 0. Let h = 55 - 56. Put h, 4, n in increasing order.
h, n, 4
Let a(f) = -f**2 + 12*f + 5. Let q be a(12). Suppose 210 - 45 = -q*b. Let r be 18/40*(-44)/b. Sort -5, 5, r.
-5, r, 5
Let v = 31 - 31.4. Let f = -1.99 + -0.01. Let y = 2 + f. Sort -2, y, v in increasing order.
-2, v, y
Let u be 3 + 5/(225/(-2154)). Let a = u + 45. Let c be ((-10)/15)/(3/(-9)). Sort a, c, -2 in descending order.
c, a, -2
Let t = -133.0402 - -133. Sort 3, t, -0.4 in ascending order.
-0.4, t, 3
Let i(c) = -c**2 + 3. Let r be i(0). Let d(w) = w**3 - w**2 - 15*w - 19. Let v be d(-2). Put r, -37, v in ascending order.
-37, v, r
Let m = -946/3 + 315. Put m, -2, -56 in descending order.
m, -2, -56
Suppose -2*u = -u. Suppose 0 = 4*z - 4*r + 5 - 25, 2*r = u. Suppose -2*n + 10 = -3*q, -z*q = -0*q + 3*n - 15. Put 1, 4, q in decreasing order.
4, 1, q
Let t = -0.0116 - -0.4116. Sort -1/2, -0.33, t in decreasing order.
t, -0.33, -1/2
Let x = 7 - 2. Suppose 7*i = 12*i - x. Put i, 16, -1 in ascending order.
-1, i, 16
Let x = -0.573 + 6.573. Let v = -3 - 5. Let a = x + v. Put 1/6, -0.5, a in ascending order.
a, -0.5, 1/6
Let k be ((-608)/(-4 - 0))/(-2 - -3). Let l be 2*68/k - 1. Put -0.9, -2, l in descending order.
l, -0.9, -2
Let l = 2559/7 - 366. Sort 27, l, -3/5, 3/2 in ascending order.
-3/5, l, 3/2, 27
Suppose -2*r = l + 6, l - r = -5*r - 6. Let d be 4/3*1/l. Let v = 61 - 61.3. Sort d, 2/7, v in decreasing order.
2/7, d, v
Suppose -76 = -28*k + 9*k. Suppose 0 = -3*t - j + 5, 2 = 8*t - 4*t - j. Let b be 3/(-9) + (-8)/3. Sort k, t, b in increasing order.
b, t, k
Suppose -6*i = -3*i - 18. Let o = -12.2 + 5.6. Let k = -3.6 - o. Sort -1, i, k.
-1, k, i
Let s = 5.3 - 5.263. Let v = 4.037 - s. Suppose r - 2*i = -r - 8, -5*r + 4*i - 19 = 0. Sort v, r, -0.5 in decreasing order.
v, -0.5, r
Suppose -2*i + 9 = -3*x + i, 3*i - 6 = 2*x. Let p be ((-15)/(-9))/((-1)/x). Let k = 15 - 11. Put p, k, -1 in decreasing order.
p, k, -1
Let q(t) = -2*t - 6. Let u be q(-4). Let m(d) = -d**3 - 6*d**2 - 4*d + 5. Let y be m(-6). Let z = 25 - y. Put z, 3, u in ascending order.
z, u, 3
Let d = -151.8 - -152. Sort -4/3, 4, d, -2 in increasing order.
-2, -4/3, d, 4
Let k = 0.6 + -1. Let c = 157 - 156.4. Put k, c, 2/9 in decreasing order.
c, 2/9, k
Let b be (-60)/4*6/10. Suppose -4 = -5*l - 14, 0 = -2*o + 3*l + 2. Sort -3, b, o in descending order.
o, -3, b
Let v = 13 - 13. Suppose v = -2*i + 3*i + 4. Let q be (-6)/4 - (-126)/36. Sort -1, q, i.
i, -1, q
Let t(v) be the second derivative of v**4/12 - 3*v**3/2 + 25*v**2/2 + 9*v + 5. Let z be t(4). Let d be ((-10)/8)/(1/4). Sort z, d, 1 in decreasing order.
z, 1, d
Let v be (20/10)/(-1 + 2). Suppose -3*n - p = -0*p + v, -4*p = 20. Put -1, 4, -53, n in descending order.
4, n, -1, -53
Let j = 7 + -11. Let y = 1206 + -1206. Put j, 1, y, 2 in increasing order.
j, y, 1, 2
Let u be (1 + 0)/(1/(-13)). Let c be 12*(26/39 - (-22)/(-24)). Put c, u, 2 in ascending order.
u, c, 2
Let n be ((-84)/(-480))/(2/4). Put -1/9, -1, -0.3, n in decreasing order.
n, -1/9, -0.3, -1
Let l = -42 + 18. Let y(o) = o**3 - 16*o**2 - 15*o - 36. Let z be y(17). Sort z, -1, l.
l, z, -1
Suppose 4*j = 7*j - 6. Suppose 402 = -60*r - 318. Sort j, r, 4, 0 in ascending order.
r, 0, j, 4
Let i be 511/322 + 60/(-40). Let c be -2 + 3 - (1 + -4). Let x be (-2)/(-1*2/c). Put x, -2/11, i in decreasing order.
x, i, -2/11
Suppose -3*c + 6 = 3. Let q = -2.139 + -3.861. Sort q, c, -0.4 in decreasing order.
c, -0.4, q
Let j = -14.7 + 14.3. Sort 4, -2/73, j in decreasing order.
4, -2/73, j
Suppose 0*y - 4*y + 8 = 0, 2*t = -4*y + 12. Suppose b - 16 = 4*b - q, -5*b + 3*q = 24. Let a be 118/b - 26/(-39). Sort -5, t, a in decreasing order.
t, -5, a
Suppose i - 12 = -2*i. Let z be 1 + 11 - (-268)/(-67). Let k = 8 + -7. Sort i, z, k.
k, i, z
Let y = 23/21 - 10/7. Let c = 5299/15 + -353. Sort 0.1, y, c in descending order.
c, 0.1, y
Let i(w) = 5*w + 11. Let c be i(-10). Let s be (8/12)/(c/9). Let k be (-10)/(-15) + 110/(-75). Put k, 2/21, s in increasing order.
k, s, 2/21
Let g = -861 - -861. Put -0.5, g, 4/5 in ascending order.
-0.5, g, 4/5
Let o = -44.8 + 50. Let f = o + -5.4. Sort 2, -3/2, 2/3, f in decreasing order.
2, 2/3, f, -3/2
Let x(b) = 6*b**2 + b. Let k be x(1). Suppose 5*i + 2 = -3. Sort i, k, -4 in decreasing order.
k, i, -4
Suppose 2*x - 11 = g, 0*g = -5*x + 3*g + 27. Let d be (-12)/(-18)*x/4. Put d, -3, 2 in increasing order.
-3, d, 2
Suppose -16 = -0*n + n. Let h be (6/(-24))/(2/n). Suppose c - h = -0. Put -3, c, -1 in decreasing order.
c, -1, -3
Let o = 216 + -212. Put 2/7, 1.1, o in decreasing order.
o, 1.1, 2/7
Suppose 13 = 59*u - 55*u - 5*o, -3*o - 12 = -u. Let q = 4 - 0. Sort 6, q, u, 1 in ascending order.
u, 1, q, 6
Suppose 0 = -5*m - 18 + 8. Let b be -3*55/(-45)*6/m. Let j = -7 - -3. Put -2, b, j in increasing order.
b, j, -2
Let v = 601 - 626. Sort 2, -2, v, 5 in decreasing order.
5, 2, -2, v
Let g(n) = -12*n**2 + 2*n. Let m be g(-2). Let s be m/14 - 26/91. Sort s, -5, 3 in descending order.
3, s, -5
Let u = -2 + 0. Suppose 3*z + 12 = -3*j, -151*j - 4*z = -146*j + 16. Sort j, -1, u in increasing order.
u, -1, j
Let n = -123 + 122. Sort -5, 0.3, -2/15, n in ascending order.
-5, n, -2/15, 0.3
Let j be (-12)/66 + (-5)/33. Let o be 44/(-33)*(-6)/4. Suppose 0*s = o*s + 5*c - 31, 5*s + 2*c - 25 = 0. Put j, 1, s in ascending order.
j, 1, s
Let y = -57 - -63. Let w = -4 + y. Sort 12, 1, -2, w in ascending order.
-2, 1, w, 12
Suppose 2*x - 2*z - 3*z = 14, -5*x = -3*z - 16. Suppose -5*h = 5*q + 2 + 18, x*q + 7 = -h. Sort h, 5, -4, 12 in descending order.
12, 5, h, -4
Let p = 18 + -42. Let z = p + 23. Put -0.3, z, 0.4, 1 in ascending order.
z, -0.3, 0.4, 1
Suppose -2*r = -4*a - 2, -a = 3*r - 0 - 17. Suppose -16*q + 15*q = -60. Let x = q + -62. Put 3, x, r in ascending order.
x, 3, r
Let h = 0.1356 - -4.8644. Let x = 1.2 + -0.2. Put x, h, 1/7 in decreasing order.
h, x, 1/7
Let v = 265 + -263.51. Let y = -0.49 + v. Sort -6, 0, y.
-6, 0, y
Let b = -15 - -6. Let l = -104 + 115. Let p = b + l. Sort p, 5, -2 in decreasing order.
5, p, -2
Suppose 0 = -149*u + 137*u + 24. Suppose -3 = 2*v + v. Sort -2, v, u in decreasing order.
u, v, -2
Let d be ((-2)/6)/(2/(-6)). Suppose 5*j - 26 + 4 - 3 = 0. Sort -5, j, -3, d in increasing order.
-5, -3, d, j
Let y = -142.3 - -142. Sort y, -0.03, -0.06 in decreasing order.
-0.03, -0.06, y
Let r be 1 + 2/(-5) + (-8)/5. Let b = -4 - r. Suppose -x - 11 = -0*x - 5*f, -2*f = 2. Sort b, x, -5.
x, -5, b
Let c(y) = 3*y**2 - 2*y. Let l be c(4). Suppose -2*p + l = t, 5*p + 20 = t + 2*p. Let r = t - 191/6. Put -4, 1, r in descending order.
1, r, -4
Let h(c) = 3*c**2 - 18*c - 15. Let t be h(7). Suppose 0 = -t*u + 5 + 25. Sort -3, 4, u, 2 in descending order.
u, 4, 2, -3
Let k = 36279/572 + -168/143. Let c = -62 + k. Suppose -4*y = i + 24, 4*y = 3*y - 2*i - 13. Sort c, y, 2.
y, c, 2
Suppose -4*c + c = -2*l + 3, 0 = 4*c - 5*l + 11. Suppose -5*p = p - 12. Suppose -5*g = -0*o + 4*o - 26, 3*g - 2*o = -p. Put c, g, 6 in increasing order.
c, g, 6
Let g(l) = -l + 17. Let p be g(15). Let n be (p - 3)/(1/(-10)). Put -2, -3, n in decreasing order.
n, -2, -3
Let o = -850 - -854. Put 0.5, o, -7/8 in descending order.
o, 0.5, -7/8
Let s = 24 + -48. Let a = 17.6 + 2.4. Let v = a + s. Put 2, -1/6, v in increasing order.
v, -1/6, 2
Let u = -1410 + 1405. Put u, -38, 3, 5 in increasing order.
-38, u, 3, 5
Let a(x) = x**2 - x + 1. Suppose 87 = -f - 13. Let d be 2/10 - (-20)/f. Let m be a(d). Put 0, -5, m in ascending order.
-5, 0, m
Let g be (-9)/6 - (-45)/10. Let h be 2*1*4/4. Suppose -5*o + 17 = 4*u, 3*o + 9 = 4*o - h*u. Sort g, o, -4 in ascending order.
-4, g, o
Let j = -40.9 + 43.9. Put -2/7, j, 0.9 in ascending order.
-2/7, 0.9, j
Let j = 8 + -12. Suppose -5*f + 2*v - 8 = 9, -2*f + 5*v = -10. L