Sort 5, -5, c, 1 in decreasing order.
5, c, 1, -5
Let i be (-14)/(-32)*(-17)/((-833)/42). Put i, 0.06, -11 in descending order.
i, 0.06, -11
Let d be 7/((-7)/(-4)) + (-10)/5. Sort -4, d, -116, 3 in descending order.
3, d, -4, -116
Let o(x) = -x**2 + 7*x - 12. Let i be o(4). Suppose i = m + 44 - 45. Let v = 3 + -1. Put v, m, 3 in descending order.
3, v, m
Let m be (16/(-64)*-9)/(3/4). Put m, -2, 4, 38 in decreasing order.
38, 4, m, -2
Let z be 36/(-16)*(-128)/(-6). Let q be (z/32)/((-3)/2). Sort q, -5, 3 in increasing order.
-5, q, 3
Let i(y) = -3*y - 2. Let n be i(-3). Let a be (4/n)/(12/42). Suppose -a*b = -10, -2*w - 3*w + 3*b = 25. Put -5, w, -8 in ascending order.
-8, -5, w
Suppose -b - 36 = -5*b. Let p(s) = -s + 12. Let q be p(b). Sort 1, q, 2 in decreasing order.
q, 2, 1
Suppose 10*c = 31*c. Sort 2, -252, c in increasing order.
-252, c, 2
Let w = 1/23467 - 3402733/422406. Let m = 47/6 + w. Suppose 0 = -7*i - i - 24. Sort i, -0.2, m.
i, m, -0.2
Suppose -4*w = 28 - 20. Let y = 18 + -17.3. Sort 3, w, y in increasing order.
w, y, 3
Let o = -1923/2 + 963. Put o, 328, -0.5 in ascending order.
-0.5, o, 328
Let x = 7 - 8. Suppose -4*p - 3*m = -8*p - 11, -p - 4*m - 17 = 0. Sort x, p, 1.
p, x, 1
Let w(l) = -l**3 + 8*l**2 + 3*l - 42. Let a be w(8). Sort -4, a, -0.1, 0.1.
a, -4, -0.1, 0.1
Let t = 1.7 + -15.7. Let j = -1576 + 1576.3. Put 4, 2/9, t, j in ascending order.
t, 2/9, j, 4
Suppose 9 = 3*o + i, 2*o - 2 = -5*i + 4. Put 8, 6, 4, o in descending order.
8, 6, 4, o
Let b = 297 - 296.8. Put b, 26, 3 in descending order.
26, 3, b
Let n = -197 + 193. Let s = -4 + 7. Suppose -y = s*y. Sort 4, y, n in decreasing order.
4, y, n
Suppose 64 = -2*r + 4. Let z = -25 - r. Put 3, 2/13, z in descending order.
z, 3, 2/13
Let u = 11.04 + -0.04. Let z = u + -12. Let d = 0.05 - 2.05. Put 1/7, d, z in decreasing order.
1/7, z, d
Let r = 1586 + -1588. Sort -5, r, 388 in increasing order.
-5, r, 388
Suppose 0 = 4*s - 8 - 8, -5*k = 3*s - 37. Let b be ((-4)/2)/(k/10). Sort 2, -7, b.
-7, b, 2
Let v = -0.72 + 1.72. Sort -0.4, -4, 14, v.
-4, -0.4, v, 14
Let u(c) = 2*c - 14. Let r be (15/4)/((-15)/(-40)). Let i be u(r). Let q be (-4)/i - (-39)/(-9). Put q, 5, -4 in descending order.
5, -4, q
Let n = 0.053 - 6.253. Let k = -3.2 - n. Put k, -0.1, -4 in descending order.
k, -0.1, -4
Let w(k) = -7*k - 49. Let u be w(-7). Let f = 2 - 3. Put u, -3, f in decreasing order.
u, f, -3
Suppose -2*a + 8 = -2*s - 6, 0 = 5*s + 20. Let b = 744.4 + -744. Sort b, 0, a.
0, b, a
Suppose 0*b = -5*b - 150. Let l be 0 + -2 + b/6. Let p(d) = d**2 + 9*d + 7. Let m be p(l). Sort m, -2, 5 in ascending order.
m, -2, 5
Let g = 0.082 + -7.882. Let t = g + 8. Sort -2, 0.5, t in ascending order.
-2, t, 0.5
Let u = 0.1 + -0.5. Let l = -8 - -8.16. Let q = 0.36 - l. Sort -0.2, q, u in increasing order.
u, -0.2, q
Let n be ((-17)/3)/((-2)/(-30)). Let c = -90 - n. Put -3, c, -46 in ascending order.
-46, c, -3
Suppose 2*p - 6 = 2*q + p, -8 = -2*p. Suppose -487*g + 40 = -483*g - 5*m, -m - 29 = -5*g. Put 2, 1, q, g in decreasing order.
g, 2, 1, q
Let x(w) = 119*w - 597. Let l be x(5). Let v(y) = -y**3 + 6*y**2 - 3*y - 5. Let p be v(5). Sort 2, p, l, 3 in increasing order.
l, 2, 3, p
Let j = -194 + 198. Put -5, j, 1/5, -0.02 in decreasing order.
j, 1/5, -0.02, -5
Let j be ((-544)/12)/(-2) - 2/(-6). Suppose 26*t + 6 = j*t. Sort t, 0, 2, -3.
-3, t, 0, 2
Let i = 128291/15624 + 7/2232. Let s = -54/7 + i. Put s, -5, -2 in decreasing order.
s, -2, -5
Let d = -0.77 - -1.27. Let h(c) = 2*c**2 - c. Let p be h(1). Put p, d, -1/6 in increasing order.
-1/6, d, p
Let l = -0.68 + 0.98. Put 0.2, l, -3, 0.045 in decreasing order.
l, 0.2, 0.045, -3
Let y = -526/7 + 75. Let z = 714.2 + -714. Put 0.4, z, y in decreasing order.
0.4, z, y
Suppose -5*r + 69 - 44 = 0. Sort -4, -7, r, 1 in decreasing order.
r, 1, -4, -7
Suppose -5*y + 4*b = -149, 0 = -3*y + 2*b + 57 + 32. Let s = -20 + y. Sort s, -5, 4 in descending order.
s, 4, -5
Let l = 46 - 42. Suppose 0 = l*z + 2*f - 4, z = 7*f - 4*f + 15. Sort -2, 4, z, -3 in increasing order.
-3, -2, z, 4
Suppose 3*j = 2*j - 17. Sort -4, -2, j in descending order.
-2, -4, j
Let k(o) = -4*o - 43. Let p be k(-10). Suppose -3*b = -11 + 5. Sort 26, b, p, 4.
p, b, 4, 26
Suppose -10*r = 20 + 20. Put -2, 5, r, 2 in descending order.
5, 2, -2, r
Let j = 106 - 104. Suppose 0 = -q - 4*a - 24, j*a - 10 = 6*q - q. Let k be (-4)/10 + (-26)/10. Put k, -2, q in decreasing order.
-2, k, q
Let b = 4 + -4.2. Let i = 2.2 + -1.7. Put i, 0, b in ascending order.
b, 0, i
Let d = 8 + 4. Let t be ((-2)/3)/(d/(-72)). Let z be ((-2)/t)/((-3)/(-102)). Sort -1, z, -5.
z, -5, -1
Let h(t) = -2*t + 13. Let i be h(7). Let q be (-3 - -1)/(-2)*i. Suppose -2*m - 12 = -6*m. Put m, 4, q in increasing order.
q, m, 4
Let u = 2.6 + -2.6. Let t = 107 - 94. Sort t, u, -1.
-1, u, t
Let s = -0.1 + 0.06. Let f = 3.04 + s. Let l = f + -2.7. Put l, 1, 9 in decreasing order.
9, 1, l
Let q = -409 + 408. Sort 0, -16, q.
-16, q, 0
Let l(b) = -3*b**2 + 13*b - 16. Let m be l(3). Sort 3, -14, -2, m in increasing order.
-14, m, -2, 3
Suppose 3*j - 7 = -4*r + 7, -5*r = -4*j - 33. Suppose v = 6*v - 5*q + 10, -5*v + 4 = 2*q. Put v, 6, r in decreasing order.
6, r, v
Let y = 32 + -28. Suppose 0 = 7*k - 3*k + 4. Let o(t) = t**3 - t - 1. Let u be o(k). Sort -2, u, y in ascending order.
-2, u, y
Let r be ((-1)/(-1))/((-2)/(-6)). Let j(d) be the third derivative of -d**4/24 + 4*d**3 + 17*d**2. Let m be j(19). Put m, r, 4 in descending order.
m, 4, r
Let x = 6.3 + -6. Let g = 0.6 + -0.7. Suppose 0 + 1 = -k - 3*l, 3*l = 3*k - 21. Sort k, x, g in increasing order.
g, x, k
Let v(h) be the first derivative of -2*h - 1/3*h**3 + 3*h**2 + 6. Let f be v(6). Put -1, f, 4/7 in increasing order.
f, -1, 4/7
Let m(l) = l - 3. Let k be m(7). Let s(d) = -6*d**2 + 30*d + 3. Let b be s(0). Let t be (-1)/2*(0 + 0). Put k, t, b in decreasing order.
k, b, t
Suppose -4*c - 201 = 5*l, 4*l = 7*c - 3*c + 156. Let z be 38/10 - c/(-55). Put -5, 4, -3, z in decreasing order.
4, z, -3, -5
Suppose 5*b - 14 = -4*n + 1, -4 = -n - b. Suppose 2*h - 3*h + n*m - 21 = 0, 0 = 5*m - 20. Let i = 3.6 + 0.4. Put 1/8, h, i in descending order.
i, 1/8, h
Let w = 0.171 + 77.829. Let x = w + -77.9. Put 4/3, x, -0.5, 0.2 in decreasing order.
4/3, 0.2, x, -0.5
Let j = -0.79 - -0.62. Let v = 1.17 + j. Sort 5, 3, -0.2, v in ascending order.
-0.2, v, 3, 5
Let u be -2*17/(-2) + 0. Suppose -4*t + 2*d = -2*t - 10, -5*d - u = -t. Sort 0, -3, t.
-3, 0, t
Let j be 135/(-23) + (1 - 55/(-11)). Sort 3, -7, j.
-7, j, 3
Suppose -2*k + 3 = 3*x + 8, -5*x - 3*k = 8. Let r = 0 - 0. Put -16, x, r in increasing order.
-16, x, r
Suppose 11*p = 1 + 32. Sort p, 1, 0.5, -4/5.
-4/5, 0.5, 1, p
Let x = 29 - 29. Suppose -2*n + x*n = -5*q + 369, 3*q + 501 = -3*n. Let z = n + 863/5. Put -3, z, 3 in increasing order.
-3, z, 3
Let w be (-162)/8 + (-1)/(-4). Let g = 12 + w. Let m = -2796 - -2800. Sort 2, m, g.
g, 2, m
Suppose -16 = 4*d - 8*d. Sort -7, 0, -2, d in descending order.
d, 0, -2, -7
Let f = 3094 - 2603. Put 1/4, f, 1, -2/11 in ascending order.
-2/11, 1/4, 1, f
Let i = -0.51 + 0.46. Let k = -162/11 + 2452/165. Put k, -4, i in descending order.
k, i, -4
Let j = -0.2 + 0.2. Let p = 134.4 + -244.3. Let a = -110 - p. Sort j, a, -2/3 in decreasing order.
j, a, -2/3
Let r = 53 - 58. Suppose -c + a - 2*a - 13 = 0, -5*a = 25. Let i(p) = -p**2 - 7*p + 9. Let u be i(c). Sort u, r, -6 in decreasing order.
u, r, -6
Suppose -26 = -4*y - 5*j, j - 14 = 2*y - 5*y. Suppose 0 = 4*s - 6*s + 8. Let u be 4/2 + -3 + s. Sort u, y, -3 in ascending order.
-3, u, y
Let h = -42 - -47. Sort 98, -3, h in descending order.
98, h, -3
Let n = -0.11 + -33.89. Let m = 33 + n. Put -1/7, m, 16 in decreasing order.
16, -1/7, m
Let b(x) = x**2 + 2*x + 4. Let m be b(-2). Suppose -6*r + 12 = -2*r. Put 1, m, r in decreasing order.
m, r, 1
Let h be 3 + (20/15)/((-8)/84). Put 0, -2, h in increasing order.
h, -2, 0
Let j = 55.71 + 7.69. Let f = 63 - j. Let v = -8 - -6. Put -5, v, f in descending order.
f, v, -5
Suppose 4*h + 61 = -5*j - 46, 4*h - 3*j = -83. Let g = -163/7 - h. Let r be (1 + (-5 - -1))/(-5). Put r, g, -3 in decreasing order.
r, g, -3
Suppose 4*n + 36 = 4*c, 4*n + c = 8*n + 24. Put 4, n, 3, -221 in ascending order.
-221, n, 3, 4
Let o(p) be the third 