 order.
-1, b, p, 3
Let k = 2175 - 2177. Put 3, k, 2, 40 in decreasing order.
40, 3, 2, k
Let d = -26 - -22. Let z be d + 3 + 123/3. Let c be (-10)/8 + (-30)/z. Put c, 0, -1 in decreasing order.
0, -1, c
Suppose -10*a - 30 - 10 = 0. Let k = -1 - 2. Sort a, -3/5, k in decreasing order.
-3/5, k, a
Let x = 265 - 271. Sort 0.05, x, 2, 1/5.
x, 0.05, 1/5, 2
Let i = -0.5 + 0.35. Let q = i - -0.35. Let m = 3 - 2. Sort 0.3, q, m in ascending order.
q, 0.3, m
Let l be (-32)/6*(-2 + -1). Let q = l + -18. Sort q, 7, -3.
-3, q, 7
Suppose 2*u = 4*k + 16, -2*k + 4*k = 4*u - 2. Let b = 322 - 320. Sort k, -4, b in descending order.
b, -4, k
Let v = -198 - -200. Suppose -a - 10 = a. Put v, a, -1/11 in decreasing order.
v, -1/11, a
Let x = 49/30 + -11/6. Let v = -270.53 + 266.53. Sort -0.3, v, 3, x in increasing order.
v, -0.3, x, 3
Suppose i + 4*a + 13 = -1, -6 = i + 2*a. Suppose -2*n + 16 = -5*c, 3*n + 0 = i*c + 2. Put c, -0.2, -3/13, 3/4 in descending order.
3/4, -0.2, -3/13, c
Let c(q) = 11*q - 70. Let i be c(6). Sort -2, i, 3, 5 in ascending order.
i, -2, 3, 5
Suppose 4*b + 5*w - 28 = 0, b - w = -b. Suppose -b*h = -m, 2*m = -h - 2*m - 18. Suppose 2 + 2 = o. Put o, h, 0 in descending order.
o, 0, h
Suppose 2*s - 3*x - 3 + 14 = 0, -4*s + 4*x - 12 = 0. Let z(q) = -2*q + 3. Let p be z(s). Let o be p/(((-15)/9)/(-5)). Put 1, o, 4 in descending order.
4, 1, o
Let m(l) = -4*l**2 - l + 3. Let d be m(2). Put d, 5, 0 in decreasing order.
5, 0, d
Let y(h) = -h**3 + 35*h**2 - 34*h + 41. Let b be y(34). Suppose 16*v - b - 7 = 0. Sort v, 6, 0, 1.
0, 1, v, 6
Suppose 0 = -f + v + 4, 0 = 3*v - 1 - 8. Let d(z) = z**2 - 4*z - 4. Let k be d(3). Let r = k + f. Sort 2, r, -3 in decreasing order.
2, r, -3
Let a(p) = p - 9. Let t be a(14). Suppose 2*r + 2*z = -4, -t*r - 17 = -z + 23. Put 0, 4/5, r in increasing order.
r, 0, 4/5
Let o = -0.0486 - 435.9514. Let h = 439.03 + o. Let r = h + -3. Put 1/8, r, 0.4 in decreasing order.
0.4, 1/8, r
Let s = -2.36 - -2.36. Let u = 1.1 + -0.8. Sort s, u, -3/8 in decreasing order.
u, s, -3/8
Suppose 0 = -s - 22*u + 17*u - 13, -2*s + 19 = -5*u. Suppose 5*h - 5*c = 0, 5*c = -4*h + 3*h + 18. Sort 7, h, s in decreasing order.
7, h, s
Let f = -583 - -537. Put f, 0, 3 in ascending order.
f, 0, 3
Let z = -214 + 214. Sort 4, z, 8 in descending order.
8, 4, z
Let o = -7621/1107 - -185/27. Let u = 154/2829 - o. Put -0.4, u, -4/7 in ascending order.
-4/7, -0.4, u
Let r = 496 + -501. Sort -1, 0.1, -1.5, r in increasing order.
r, -1.5, -1, 0.1
Suppose -2*m - 64 = 2*m. Put -1, m, 3 in increasing order.
m, -1, 3
Let i = 212 - 216. Let k = -1 - 2. Let q = -3/23 + 121/46. Put k, q, i in increasing order.
i, k, q
Let a = -210 - -214. Sort a, 0.3, 13, -5 in decreasing order.
13, a, 0.3, -5
Let y(g) = -g**3 + 6*g**2 - 3*g - 7. Let m be y(5). Let n be (1/(-2))/((-6)/(-12)). Let z be n/(-14)*(0 - -4). Sort m, -0.2, z in descending order.
m, z, -0.2
Suppose -2*f - 54 = -80. Suppose -5*o - f = 12. Let v be (-58)/18 + 2/9. Put v, 5, o in increasing order.
o, v, 5
Let q = -39.5 - -67. Let i = q + -28. Let y = -1 + -1. Put -0.4, i, y in decreasing order.
-0.4, i, y
Suppose 0 = 4*n - j + 4, 3*j - 2*j + 4 = 0. Let i = -13 + 8. Let f(r) = r**2 + 29*r - 25. Let v be f(-30). Sort n, i, v in decreasing order.
v, n, i
Let m = 476.5 + -477. Put 3.8, m, 3, -5 in descending order.
3.8, 3, m, -5
Let i(c) = c**3 - 20*c**2 - 46*c + 50. Let t be i(22). Sort 2, 9, t in decreasing order.
9, t, 2
Let v = -1519 - -1511. Put 6, v, -0.2, -5 in descending order.
6, -0.2, -5, v
Let v(t) = 4*t - 23. Let c be v(6). Let s be c/(-1)*(1 + 0) - 2. Put 1, -5, 0, s in increasing order.
-5, s, 0, 1
Let t(i) = -3*i**3 + 2*i - 1. Suppose 5*f = 4*j + 1, -4*f + j - 6*j + 9 = 0. Let k be t(f). Suppose -17 = -5*u + 63. Put -4, k, u in ascending order.
-4, k, u
Let p be 1*-5*(1 - 2). Suppose 15 = -3*h + 4*q, -2*h - 7*q + 10 = -9. Sort 4, 2, p, h in descending order.
p, 4, 2, h
Let t = -118 - -119. Sort 5, 20, 4/7, t in increasing order.
4/7, t, 5, 20
Let c = 3 + -3.2. Let k = -5 + 4.6. Let y be (8/14)/((-160)/224). Sort c, k, y in ascending order.
y, k, c
Let w(f) = -5*f**3 - 45*f**2 - 3. Let p be w(-9). Sort 35, -2, p in decreasing order.
35, -2, p
Let f be (3 - (10 - 8))*10/2. Sort 12, -3, -4, f in decreasing order.
12, f, -3, -4
Suppose 2*v + 5 = 3. Suppose -4*j - d + 93 = 0, 3*j + d = 2*d + 68. Suppose -62 - j = -17*n. Put -5, v, n in descending order.
n, v, -5
Suppose 5*s + 9 = -3*a, 0 = 5*a + 2*s - 3*s - 13. Let i = 12 - 17. Sort -1, i, a in descending order.
a, -1, i
Let r = 1.2 - 0.9. Sort 0.1, r, 1.5 in descending order.
1.5, r, 0.1
Let w(v) = -3*v - 48. Let k be w(-17). Suppose -q = 5*x - 15, -3*q + 0*q + 3*x = -9. Sort k, q, -7 in increasing order.
-7, k, q
Let s = 3 - 2.8. Sort -5, -9, s.
-9, -5, s
Let t(c) = -c**3 + 4*c**2 + 2*c + 6. Let b be t(5). Suppose 0 = -19*j + 14*j - 5. Sort b, 0, j in ascending order.
b, j, 0
Let i = -1855/3 - -623. Sort -0.2, -4/3, i.
-4/3, -0.2, i
Suppose 0*l + 3*a - 24 = 3*l, 5*l = -a - 34. Sort -2/7, l, 1/8 in increasing order.
l, -2/7, 1/8
Let h = -113 + 133. Suppose i + h = 2*i + 5*m, i = -4*m + 16. Put 4, i, 2 in decreasing order.
4, 2, i
Suppose 3*o + 10 = -5. Let g be (-8)/6*15/10. Let d = 3 + -6. Sort o, d, g.
o, d, g
Suppose 33*u - 10*u = -46. Put 5, 4, 2, u in increasing order.
u, 2, 4, 5
Let l(w) = 14*w - 27. Let y be l(4). Suppose -9 + y = -20*p. Sort -3, p, 2 in descending order.
2, p, -3
Let t be (1 + -9 - -8)/1. Sort -1, t, -32, 3.
-32, -1, t, 3
Suppose -1444*o = -1456*o - 24. Sort -15.1, 0, o in increasing order.
-15.1, o, 0
Suppose -16*z = -32*z - 48. Put -2, z, -4, -9 in ascending order.
-9, -4, z, -2
Suppose -v - 5 = -2*n, 5*n - 5 = 3*v + 6. Let y = -1.8 - -2. Let b = -6 - -2. Put b, v, y in decreasing order.
v, y, b
Let q = -31.7 - -30. Let v = q + 1.3. Put v, 0.2, -0.1 in ascending order.
v, -0.1, 0.2
Let k = 1 + 2. Let b = -15.73 - 6.46. Let l = -0.81 + b. Sort k, 2, l in decreasing order.
k, 2, l
Let u = -6.7 - -6. Let y = 28 - 25.7. Let t = u - y. Put 4, t, 0.3 in descending order.
4, 0.3, t
Suppose -36*a + 482 = 374. Let t(h) = -h - 10. Let l be t(-5). Put l, a, 1 in descending order.
a, 1, l
Let g(t) = -t + 39. Let i be g(17). Let c = -18 + i. Sort 5, -2, c in decreasing order.
5, c, -2
Let m be 372/(-90) - 8/(-60). Sort m, -9, -0.2 in ascending order.
-9, m, -0.2
Let h = -36 - -15. Let d be h/6 + 4 + -2. Sort 0.1, d, 1/7, 0.2.
d, 0.1, 1/7, 0.2
Let p = 20.64 - 15.647. Let u = p + 0.007. Let k = 2 - 1.5. Sort -2, k, u in ascending order.
-2, k, u
Suppose 15*n = -0*n - 330. Sort n, -1, 2 in descending order.
2, -1, n
Let c be -3*((-26)/234)/((-17)/(-6)). Sort -0.05, 5, c.
-0.05, c, 5
Let o = -30 + 36. Suppose 2 = -o*b + 7*b. Suppose b*u - 9 = -u. Sort -2, u, 5.
-2, u, 5
Suppose o + 4*o = 20. Let n = 55 + -53. Sort -2, -0.8, o, n in ascending order.
-2, -0.8, n, o
Let i(u) = -u**2 + 14*u - 20. Let f be i(12). Sort 3/5, 3/4, f.
3/5, 3/4, f
Let n = 47 - 47. Suppose -4*y + 5*s - 6 = 0, n = -2*y - 0*y + s - 6. Suppose -3*r + 3 + 3 = 0. Sort r, y, -1 in decreasing order.
r, -1, y
Suppose 6*p + 40 = 64. Suppose -2*g + o = -17 + p, 0 = g + 4*o + 16. Suppose 3*h - 4*s - 19 = -5, -3*s - 6 = 0. Put g, h, -3 in decreasing order.
g, h, -3
Let a = 0.063 + 3.507. Let i = 0.57 - a. Sort -7, i, -1 in descending order.
-1, i, -7
Let s be (9/84*-2)/(12/(-14)). Sort s, 23, -2.
-2, s, 23
Suppose -5*i + 4 = -46. Let m(w) = -4*w**3 - 3 + w**3 + 4*w**3 - 8*w**2 - i*w. Let r be m(9). Sort -0.3, r, 5 in descending order.
5, -0.3, r
Let j(h) = -h**2 + 8*h - 15. Let i be j(4). Put 3, -3, i in decreasing order.
3, i, -3
Let c be (18/54)/(10/(-6)). Suppose k = 7 - 3. Let n be (-4)/18 + (-4)/(-18). Sort n, k, c.
c, n, k
Let l = 0.583 - -0.017. Put 10, l, 2 in ascending order.
l, 2, 10
Let o be ((-11)/(-2) + -5)*2. Suppose 0*u - u = 0. Suppose u = y - 3*y. Sort -2, o, y in ascending order.
-2, y, o
Suppose 2*t + 2 = 5*d, -4*t + 0 - 4 = -5*d. Sort -16, -6, d in increasing order.
-16, -6, d
Let m(c) be the first derivative of c**2/2 - 11*c + 16. Let s be m(7). Put -5, -1, s in decreasing order.
-1, s, -5
Let z be (3/(-9))/(4*3/(-108)). Put -4, 9, z in ascending order.
-4, z, 9
Let p = 51 - 9. Let n = p + -45. Sort 5, n, 0 in decreasing order.
5, 0, n
Let k = 1.96 + -1.76. 