rder.
0, j, -6
Let s = 192 + -188. Sort -2, s, -5 in increasing order.
-5, -2, s
Let z be (-1 + 1)/(4/(0 + -2)). Let l be 26/10 + 4/10. Sort 5, l, z.
z, l, 5
Let x be 4 + (320/7 - 6/(-21)). Let y = x + -45. Sort y, 23, -5/2 in decreasing order.
23, y, -5/2
Suppose 429*m = 435*m. Sort 2, -21, m in increasing order.
-21, m, 2
Suppose 3*i = 5*a - 19, -12 = -2*a + 4*i + 4. Let g be (6/(-4))/(6/(-4)). Sort g, 4, a in increasing order.
g, a, 4
Let b = 1718/11 + -156. Let h(q) = -3*q - 36. Let w be h(-13). Suppose -3*x - 2 = -2*l - 6, 5*l - w = x. Put b, -2, x in descending order.
x, b, -2
Suppose 2*b - 8 = 2*q + 2, -3*q - 8 = 4*b. Let d = 40 + -43. Put q, d, -1/3 in ascending order.
q, d, -1/3
Let q = 1 - 2. Let i = -1628 + 1624. Sort -5, -3, i, q in increasing order.
-5, i, -3, q
Suppose 0 = -4*i + 4*d - 8, -4*i - 3*d + 1 + 5 = 0. Put i, -6, -1 in descending order.
i, -1, -6
Let o = -0.1 - -8.1. Let q = 7 - o. Put q, -5/3, 5 in descending order.
5, q, -5/3
Let k = -0.3 + 0.1. Let r = 4.8 - k. Let d = -318 - -317.9. Sort 3, r, d in increasing order.
d, 3, r
Suppose 49 = -11*w + 16. Put 1/4, -2/3, w in descending order.
1/4, -2/3, w
Let q = -1.68 + -0.12. Let w = 1.79 + q. Let g = 0.31 + w. Sort 2, g, -0.07 in ascending order.
-0.07, g, 2
Suppose -5*d - t = -10, -2*d - 11*t + 7*t = 14. Put 268, -3, d in decreasing order.
268, d, -3
Suppose 4*m + 20 = 4*z, -2*m - 4*z + 25 = z. Suppose 5*g + g - 120 = 0. Let s = g + -18. Sort s, -4, m in decreasing order.
s, m, -4
Let u = -570 + 572. Sort 49, u, -4, 3 in descending order.
49, 3, u, -4
Let b = -4/295 - -682/6785. Suppose 0 = -7*v + 9*v + 10. Sort b, 2/5, 1/3, v in descending order.
2/5, 1/3, b, v
Let c = 24 - 22. Let t be 2 + 1 + (2 - c). Suppose 5*x - o + 4 = -3*o, -3*x = -3*o + 15. Sort x, t, -1 in increasing order.
x, -1, t
Let p = 1909/3 - 636. Let b be (4/6)/((-2)/(-4)). Sort b, -2/13, p in increasing order.
-2/13, p, b
Let q(r) be the second derivative of 10*r**2 + 7/3*r**3 + 1/20*r**5 + 0 + 6*r - 4/3*r**4. Let v be q(15). Sort 2, v, 0 in ascending order.
0, 2, v
Let l = -2/971 - -3902/8739. Put 0.4, l, 0.6 in increasing order.
0.4, l, 0.6
Let g = 56 - 50.9. Let r = -4 + 9. Let t = r - g. Put t, -1/5, 2/9 in ascending order.
-1/5, t, 2/9
Let q = 26 - 22. Let d be 18/q + (-2)/4. Sort d, -3, -7 in decreasing order.
d, -3, -7
Let u(r) = 2*r**3 - 2*r**2 - 5*r + 5. Let w be 28/15 - (-8)/60. Let c be u(w). Sort c, 4, -2 in decreasing order.
4, c, -2
Suppose 70 = -6*v + 16. Sort 3, v, 1, 4 in increasing order.
v, 1, 3, 4
Suppose 5*a - 4*a + 5 = 0. Let t(k) = 2*k + 2. Let p be t(0). Sort -7, p, a in decreasing order.
p, a, -7
Let j = -168 + 170. Sort -1, j, 15/4 in decreasing order.
15/4, j, -1
Suppose -v + 24 - 22 = 0. Suppose -4*f = -v*f - 6. Suppose -f*y = -y - 10. Put y, 0, 3 in increasing order.
0, 3, y
Suppose -2*t + 7*z = 11*z - 20, -3*t + 5 = z. Sort 2, t, 4, -1 in descending order.
4, 2, t, -1
Suppose -7 = 3*j - 1. Let c(i) = -i**3 + 6*i**2 + 2*i + 32. Let v(g) = 5*g - 3. Let m be v(2). Let u be c(m). Sort u, j, 1.
u, j, 1
Let j = 164 + -163.5. Sort -126, j, -1, 4.
-126, -1, j, 4
Let j = -7131/2 + 10937/3. Let s = j - 80. Put 3, -5, s, -4 in decreasing order.
3, s, -4, -5
Suppose -5*v + 2*v = -33. Suppose -3*i + 43 = 5*a, -i + v = a + 4. Put 5, a, -4 in ascending order.
-4, 5, a
Let h be (1 + (-10)/15)*3. Let q(c) = 5*c**2 + 3*c - 3. Let u be q(h). Let m = -6 + 9. Put m, u, -2 in decreasing order.
u, m, -2
Let o be (63/70 - 4/10)*2. Put 4, o, -7 in decreasing order.
4, o, -7
Let y = 10 + -15. Suppose 3*x + 4 = -p, -6*x = p - x + 12. Let w(v) = v**3 - 6*v**2 - 15*v - 8. Let q be w(p). Sort q, y, -0.5 in descending order.
q, -0.5, y
Let i = -92 - -87. Put 1/2, i, 0.1, 1/3 in ascending order.
i, 0.1, 1/3, 1/2
Let x = 0.2743 + -5.2743. Suppose b - 1 = -3*z, 2*z - 46 = 2*b + 3*b. Let y = -4 - b. Put x, -4, y in decreasing order.
y, -4, x
Let w = -170 + 175. Let s = -9 - -9.4. Sort s, w, 4, -0.4 in increasing order.
-0.4, s, 4, w
Let d(q) = q**3 - 4*q**2 + 3*q - 4. Let f = 11 - 8. Let p be d(f). Sort 4, 1, p in increasing order.
p, 1, 4
Let m be ((-35)/(-15))/7 + 33/9. Put m, -1, 57, 0 in descending order.
57, m, 0, -1
Let m(l) = -2*l - 5. Suppose -6*t + 14 = -8*t - 2*y, -2*y - 10 = 0. Let v be m(t). Sort 2, 1, v, 3.
v, 1, 2, 3
Let x(f) = f**3 + 3*f**2 + 2*f - 4. Let g be x(-2). Put g, 1, -5, -2 in ascending order.
-5, g, -2, 1
Let g = 10 - 0. Let x be g + -3 - 3*1. Let t(j) = 2*j**2 - 6*j. Let r be t(x). Sort -1, 2, r in decreasing order.
r, 2, -1
Suppose -c + 5*c + 2*z = 8, -3*c + 2*z - 1 = 0. Put -0.3, 54, c in increasing order.
-0.3, c, 54
Let z = 81.9 - 82. Sort 0, 4, z in descending order.
4, 0, z
Let m = 672 + -669. Put 1/2, m, -1/7, -11 in decreasing order.
m, 1/2, -1/7, -11
Let n = 2425 - 2419. Put 1, n, -2/5, -3/14 in decreasing order.
n, 1, -3/14, -2/5
Let r = 3.3 + 0.7. Put r, 0.11, -0.2 in descending order.
r, 0.11, -0.2
Let y be (2 + -3)*(-2 - -1). Suppose 2*w = -3*w + 35. Let s = -10 + w. Put -1, y, s in descending order.
y, -1, s
Suppose j + 19 = -4*v, -2*j - v - 4 = -j. Let y be 1/2*((0 - j) + 3). Let d be ((-6)/8)/((-25)/20). Sort y, 5/2, d in descending order.
5/2, y, d
Let t = 133 + -132. Suppose 0 = -2*r + r - 1. Put -4, t, r in decreasing order.
t, r, -4
Let r be (-1)/(-3) - 24/(-36). Let b be 9/(-9)*(1 + r). Let m = -181 - -1270/7. Sort 1/6, b, m in increasing order.
b, 1/6, m
Let w = 106 - 110. Sort w, -2, -70, -1 in descending order.
-1, -2, w, -70
Let u be ((-12)/(-9))/((-4)/(-6)). Let y be 2 + (68/(-10) - -4). Sort u, y, 0.4.
y, 0.4, u
Let v = -0.09 - -0.23. Let q = v + -0.34. Let r = -0.01 + -1.99. Put 0.5, q, r in descending order.
0.5, q, r
Let s be ((-40)/45)/((-512)/1344). Let b = 8 + -5. Sort s, -5, b in decreasing order.
b, s, -5
Let u(o) = -3*o**2 + 12*o - 6. Let f be u(3). Sort -2, -23, f in descending order.
f, -2, -23
Let i(n) = n + 5. Let c be -1 + -2 + 14 + -19. Let d be i(c). Suppose -4*l + l = -5*a - 40, -2*a = -4*l + 30. Put l, 2, d in descending order.
l, 2, d
Let i = 3769 + -501283/133. Let v = 188/1729 - i. Let t = 0 + -0.07. Sort 1/2, v, t in descending order.
1/2, v, t
Let s = 2014.87 + -2015. Put 2, -4, s in ascending order.
-4, s, 2
Let t = -0.3782 + 0.7782. Suppose -w = 3*h - 2 + 5, 3*w = 5*h + 5. Sort 6, t, w in increasing order.
w, t, 6
Let n be ((-36)/(-14))/(63/(-294)). Put 4, 0, n in ascending order.
n, 0, 4
Let w = 4.1 - 4.1. Let z = -183.3 + 183. Put -4, z, w, -1/5 in increasing order.
-4, z, -1/5, w
Let r be -2*((-10)/4 - 0). Let z(j) = 5*j - 42. Let s be z(10). Suppose s = 37*x - 35*x. Sort x, -2, r in descending order.
r, x, -2
Let g = 54 - 80. Let j = 21 + g. Suppose 1 = -z, -3*o + 4*o = 2*z + 7. Put 3, j, o in increasing order.
j, 3, o
Let d = 1 - 1. Suppose d = -2*c + 4*a - 30, 4*a + a = -5*c - 15. Let f = 6 + c. Put -5, 3, f in descending order.
3, f, -5
Let h be 3/2*(128/(-24) + 2). Sort 11, h, -3 in decreasing order.
11, -3, h
Let n(u) = u**3 - 6*u**2 + u - 5. Let h be n(6). Sort -1, -30, -5, h.
-30, -5, -1, h
Suppose 0*c + 2*c = -3*o - 13, -2*c - 7 = -3*o. Let a = -850 - -845. Sort 0, o, a in increasing order.
a, o, 0
Let o(j) = j**3 - 16*j**2 - 20*j + 52. Let x be o(17). Let w be 1/((-4)/(-10))*-2. Sort w, x, -1, -2 in ascending order.
w, -2, -1, x
Let a = 24758 - 24792.2352. Let k = -0.0648 + a. Let d = k - -34. Sort 2, -3, d in decreasing order.
2, d, -3
Let q be (-12)/9 + (-3)/(-9). Suppose 0 = -4*u - u + 2*p, -3*u + 5*p = 0. Sort q, u, -5 in increasing order.
-5, q, u
Suppose -122*u + 103*u = 209. Sort -6, 2, -2, u in ascending order.
u, -6, -2, 2
Suppose 65*b - 62*b = 4*v + 20, -3*b = -12. Put 1, 0, -5, v in ascending order.
-5, v, 0, 1
Let j = -0.1 - -0.1. Let i be -2 - 44/(-12) - (-165)/(-45). Sort 5, i, j, 4 in increasing order.
i, j, 4, 5
Let w = 1404 - 1409. Sort 1, w, -2, 26 in decreasing order.
26, 1, -2, w
Suppose n = -n + 2. Let b = 0 + n. Let l = b + -6. Put l, -4/9, 2/11 in decreasing order.
2/11, -4/9, l
Let h = -781/2 - -391. Put h, 0.25, 2 in increasing order.
0.25, h, 2
Let v = -1.77 - 0.23. Sort 2/7, v, 2/11 in decreasing order.
2/7, 2/11, v
Suppose 2*c + 144 = 2*l, -3*c - c - 2*l - 318 = 0. Let q = 384/5 + c. Put -0.5, q, 2/11 in descending order.
2/11, q, -0.5
Let c = 468 + -470. Put c, -0.4, -3, -3/11 in d