et d = 1115 + -3343/3. Sort 2, -1/16, d in ascending order.
-1/16, d, 2
Let f(d) = d**2 - 3*d - 3. Let u be f(3). Suppose 11*t - 5*t - 24 = 0. Put t, -5, u in decreasing order.
t, u, -5
Let o = 45 - 41. Sort o, -5, -6/29 in descending order.
o, -6/29, -5
Let w be 1*(10 - (-2)/(-2)). Suppose 0*m + 3*m = -w. Suppose -3*o - 4*f + 3 = 0, -4*o + 4*f + 4 = -0*f. Sort m, 0, o.
m, 0, o
Suppose -2 - 6 = -h. Let n = -16345 + 16348. Sort 1, h, n, -1.
-1, 1, n, h
Suppose -5*w + 2*o = -26, 11*o = 5*w + 15*o - 8. Let u = -1/709 + 1437/13471. Sort 2, w, u.
u, 2, w
Let d(r) = -6*r + 93. Let n be d(15). Sort n, 5, -7 in descending order.
5, n, -7
Let h = -4/15 - -3/5. Put h, -3, -0.5, 1/2 in descending order.
1/2, h, -0.5, -3
Let d = 2 + -1. Let t = 0.6 - d. Let u = -1318 + 1318.9. Put u, 5, t in ascending order.
t, u, 5
Let s(m) = -m**2 + 19*m + 36. Let g be s(21). Put -1, -12, g in decreasing order.
-1, g, -12
Suppose -27*c - 12 = -28*c. Suppose 0 = -0*r + 3*r + c. Sort 6, 3, -1, r in descending order.
6, 3, -1, r
Let n(s) = -2*s + 34. Let f be n(18). Sort 1, -4, f, 0 in decreasing order.
1, 0, f, -4
Suppose 4*q - 3*q = 5*i - 10, -5*i - 5 = 2*q. Let p = 41.6 + -42. Put p, -2/19, i in decreasing order.
i, -2/19, p
Let u(y) = -y**2 + y + 1. Let b be u(0). Suppose -2*n - 2*f + 85 = 65, 76 = 4*n + 10*f. Sort -6, n, b.
-6, b, n
Suppose -2*m - n + 3 = 0, -15 = -4*m - n - 8. Put -6, m, 44 in descending order.
44, m, -6
Let v be 1 - (-2 - (-140)/44). Let h(m) = -m - 2. Suppose -p + 1 = 6. Let l be h(p). Put v, -1/5, l in increasing order.
-1/5, v, l
Suppose 2*u = -u. Let w = 65 - 59. Suppose -w = -y + 4*y. Sort u, y, 5 in descending order.
5, u, y
Let y = 20 + -18. Suppose -3*u - 20 = y*u. Sort -2, 1, u.
u, -2, 1
Let n = -27.2 - -27. Let b = -1.2 - n. Put 2, b, -0.3 in descending order.
2, -0.3, b
Let r = -493 - -501. Put r, 2, -4/7, 4 in ascending order.
-4/7, 2, 4, r
Let s(n) = 5*n. Let o be s(-1). Let r(z) = 13*z**2 + 31*z + 6. Let k be r(-2). Sort o, 2, k.
o, k, 2
Let y = 219 - 221. Put 48, 0.3, y, 0.4 in descending order.
48, 0.4, 0.3, y
Let i be (-1 + -3 + 4)/((-3)/3). Suppose x - 2 + i = -2*q, -3*q + x = -3. Sort q, 7, 3.
q, 3, 7
Let i = -8 + 8. Let v be i/(-2 + 2 + -1). Let a(u) = u**3 - 2*u**2 - 2*u + 5. Let f be a(v). Sort 2, f, 0 in increasing order.
0, 2, f
Let n be ((-14)/(-1))/(-1*(0 - -9)). Put -1/2, 1, n in ascending order.
n, -1/2, 1
Let n = -4 + 6. Let l be n - (-1 + 2 + -1). Let i be (-434)/70 - 1/(-5). Put 1, i, l in ascending order.
i, 1, l
Let z = 85 - 50. Let k = 223 - 213. Let y be (k/z)/(2/14). Sort 1, -3, y.
-3, 1, y
Suppose 0 = i - 3 - 0. Suppose -3*s + 0*m = -m - 11, -12 = -i*m. Put s, -5, -4, 3 in descending order.
s, 3, -4, -5
Let r be ((-2)/(-12))/(-11 - (-3704)/336). Sort r, 79, 4 in descending order.
79, r, 4
Let k(m) = m**3 - 8*m**2 + m - 7. Let d be k(8). Suppose -3*j - d = -10. Suppose -5 = -j*w - 17. Sort w, -5, 5 in decreasing order.
5, w, -5
Let r = -3.06 + 2.06. Sort -3, 0.4, -74, r.
-74, -3, r, 0.4
Let n(l) = -l**2 + l + 25. Let k be n(0). Suppose -4*s + 4*r = 28, -4*s + 3*r - 25 = 1. Let w be s/k + (-19)/(-45). Sort 4, 2, w.
w, 2, 4
Let a(i) = -4*i + 53. Let h be a(12). Suppose -h*z - 14 = 4*g, -3 - 2 = z + 3*g. Sort -9, 0, -4, z.
-9, -4, z, 0
Suppose -13*o + 75 = 2194. Sort 3, -3, o.
o, -3, 3
Let t = 816.4 - 816. Sort t, -3, 0, 4 in decreasing order.
4, t, 0, -3
Let y = -20.4 + 20. Let r = 16 + -3. Let t = r + -12.98. Sort y, t, -0.5 in increasing order.
-0.5, y, t
Suppose -3*v = -v + 4*j - 12, -j = 1. Suppose -2*x = -v*x - 48. Sort -1, x, 2.
x, -1, 2
Let m be -22 + (-144)/66 + 2/11. Suppose 2*d - 3*r - 17 = 0, 2*d - d - 3*r - 16 = 0. Let k be ((-32)/m)/(d/3). Put 3, k, -5 in descending order.
k, 3, -5
Let u = -0.2 + -0.1. Let z be (-330)/475 - 4/38. Let q = 173/220 - 2/55. Sort z, q, u in decreasing order.
q, u, z
Let m = 390 + -389. Suppose -6*t - 5 = 5*a - t, -a + 11 = -3*t. Suppose 3*r - 18 = 3*n - 2*r, a*n + 4*r - 10 = 0. Put -5, n, m in descending order.
m, n, -5
Let c(q) = -q**3 - 6*q**2 + 2*q + 3. Let b be c(-4). Suppose 0 = 39*x - 32*x + 28. Sort b, -1, x.
b, x, -1
Let i = 2.6 + -1.5. Let r = -0.7 - 0.1. Let k = r + i. Sort -0.5, -0.3, k in descending order.
k, -0.3, -0.5
Let i = 258 - 267. Let w(b) = -b**3 - 8*b**2 + 9*b + 5. Let m be w(-9). Sort -5, i, 3, m in ascending order.
i, -5, 3, m
Let y = -26 + 31. Suppose 0 = -y*q + 6*q. Put 4, q, -7 in ascending order.
-7, q, 4
Let n = 837 + -877. Sort n, -2, -4 in decreasing order.
-2, -4, n
Suppose -4*z - 4*r = -272, 129 = 2*z - 10*r + 5*r. Sort 0, z, -2, -3 in decreasing order.
z, 0, -2, -3
Let x = 2.06 - 0.06. Let k = 1728 + -60474/35. Sort 0, x, k in ascending order.
0, k, x
Let g = -26.3 + 30. Let a = -3.87 + g. Let m = -0.33 + a. Sort -2/5, 4, m in descending order.
4, -2/5, m
Let k = 1100 + -1101. Sort 1.6, 4, k, -2/5 in descending order.
4, 1.6, -2/5, k
Let j = 7.729 - 0.729. Let z = -2 + 2.3. Sort 0, z, j.
0, z, j
Let y be 2/4*(-20)/(-5). Let m be -7 + -1 + 3 + y. Let h(s) = s**3 + 3*s**2 - 6*s - 1. Let r be h(-4). Put m, r, -1 in decreasing order.
r, -1, m
Suppose 90 = o + 4*o. Suppose 5*u + u + o = 0. Suppose 0 = 4*s - g + 3*g + 6, 0 = -5*s - g. Put -4, u, s in descending order.
s, u, -4
Suppose 4*z + 1625 = 5*r, -88 = -2*r - 2*z + 562. Sort r, 3, -4 in descending order.
r, 3, -4
Let s = 0.0063 + -0.0363. Sort -2/17, s, -0.22 in increasing order.
-0.22, -2/17, s
Let j = -9.1 + 10.1. Sort j, 2, -0.04, 2.5 in increasing order.
-0.04, j, 2, 2.5
Let w be 5/(1 + -1 - -1). Suppose 4*t - w*t - 5 = 0. Sort t, 4, 5.
t, 4, 5
Let l = -101 - -101. Let o = -31 + 29. Suppose -2 - 2 = -2*j. Sort l, o, j.
o, l, j
Let k(q) = -5*q + 74. Suppose 0 = -5*n - 5*h + 90, -1 = -n + 3*h + 1. Let j be k(n). Sort j, 2, -0.1, 0.2 in decreasing order.
j, 2, 0.2, -0.1
Suppose 0 = -2*i - y + 1 - 6, 4*i = -3*y - 5. Let o be (-2)/2*(-7 + 8). Sort i, 2, o in decreasing order.
2, o, i
Let k = 19 - 9. Let l = -5.091 + 0.091. Sort 0, l, k.
l, 0, k
Let u(l) = -l + 3. Let a be u(-9). Suppose 2*d = 5*d + a, 0 = -5*g - 2*d + 167. Let r be (4/(-8))/(g/(-10)). Sort -2, r, 0 in descending order.
r, 0, -2
Suppose w - 5*w + 8 = 0. Let s be (22 + -24)*3/(-2). Put s, w, 4 in descending order.
4, s, w
Let w = 2 + 0. Let v = 5 - w. Let r = 38.6 + -33.6. Put r, 0.3, v in ascending order.
0.3, v, r
Suppose 8 = -5*a - 4*z, 22*a + 10 = 17*a - 5*z. Let j = -4 + 4.1. Put a, j, 6 in increasing order.
a, j, 6
Suppose 3*l - 5*l + 4 = 0, -5*m = 5*l. Let v be (-5)/((-80)/(-18))*36/(-27). Put v, m, 1, 4 in decreasing order.
4, v, 1, m
Let c = -567.95 - -542. Let l = c - -26. Put l, 0.4, -0.2 in descending order.
0.4, l, -0.2
Suppose 2*o + 3*o = 0. Suppose 3*c = 2*i + i + 12, 5*i + c = -2. Let z be i/((1/4)/(3/(-4))). Put o, z, -4 in increasing order.
-4, o, z
Let v(g) = 5*g - 4. Let x(l) = -l. Let n(j) = -v(j) - 4*x(j). Let r be n(4). Suppose 5*k = -r*k - 5. Sort k, -1/4, -5 in increasing order.
-5, k, -1/4
Let m = 12083/282 + -17/94. Suppose -7*f = 3*c - 12*f - 119, 223 = 5*c + 4*f. Let p = c - m. Put -3, -3/5, p in descending order.
p, -3/5, -3
Let a be ((-8)/(-6))/((-14)/42). Sort 21, a, 2.
a, 2, 21
Let c be (10/(-275))/(1/(-10)). Let k = -0.27 + 0.47. Sort c, 1, k in increasing order.
k, c, 1
Let z = 1.42 + -1.72. Put 0.1, 22, z in descending order.
22, 0.1, z
Let f(m) = m**2 - m - 59. Let w be f(8). Sort -4, w, 18 in increasing order.
-4, w, 18
Let d be ((-10)/18)/((-1501)/114 + 13). Put -1/5, 3, d in decreasing order.
d, 3, -1/5
Suppose 5*p = -2*d + 1 - 2, 2*p = -2*d - 4. Put 6, -17, p in descending order.
6, p, -17
Let r = 7 - 2. Suppose -8 = -3*a - 2*f + 2, -25 = -4*a - r*f. Put -3, a, -4 in increasing order.
-4, -3, a
Let a = 1 - 31. Let c be 6/a*2 + 22/5. Put c, 3, 0 in decreasing order.
c, 3, 0
Let c be 2 + -1 + 1*-3. Let u = -325 + 328. Sort c, -3, u.
-3, c, u
Suppose -2*x = -2*s + 4, 0*x = -2*x - 4*s - 16. Sort 3, x, -64.
-64, x, 3
Let h(l) = 3*l**2 + 6*l - 67. Let c be h(-6). Put 23, -7, c in decreasing order.
23, c, -7
Suppose -4*y - 2 = -3*y. Let z(v) = 26*v + 989. Let i be z(-38). Suppose 2*a = 6*a + 20. Sort y, a, i.
a, y, i
Let v = -57 - -47. Let g be (15/6)/(-1)*(-12)/v. Let m(d) = -3*d**3 + 2*d**2 - 1. Let f be m(-1). Sort g, f, 0 in descending order.
f, 0, g
Let q = 2.22 - 0.22. Let z(s) = -s*