 in descending order.
z, f, -2/3
Suppose -4*d = -d - 2*i, -13 = d - 5*i. Let x(h) = h**3 - 4*h**2 - 2*h - 1. Let k be x(4). Let w = k + 4. Put w, 4, d in descending order.
4, d, w
Let n = 0.2559 + 2.7441. Put -3/4, 33, n in decreasing order.
33, n, -3/4
Suppose 0 = -2*c - 3*k + 15, c = -c + 2*k - 10. Suppose -3*z = 4*a + 28, -z + 6*z - 5*a = 0. Sort c, z, 4 in increasing order.
z, c, 4
Let n = 5 + -3. Let y(t) = 3*t**2 - 13*t + 4. Let h be y(5). Suppose 0 = -17*p + h*p. Sort n, -5, p in descending order.
n, p, -5
Let w = 15.8 + -15.5. Sort -1/2, w, 13.
-1/2, w, 13
Let k be (1410/4)/(14/4). Let g = k + -101. Put -5, g, 2/5 in descending order.
2/5, g, -5
Let m = 782 + -787. Put -0.66, 5, m, 0.1 in descending order.
5, 0.1, -0.66, m
Let q = 99/115 - 6/23. Let w be (281/(-1405))/((2/(-4))/(-1)). Sort q, 12, w in decreasing order.
12, q, w
Let v be ((-24)/(-64))/(18/8). Put -5, -1/2, v in ascending order.
-5, -1/2, v
Let q be (-3)/2 + (-1)/(-2). Let k be ((-18)/(-54))/(q/9). Put -4, k, 2, 3 in increasing order.
-4, k, 2, 3
Let x be (-120)/(-104) - 3*(-2)/(-6). Let r = 7 - 22. Put -4, x, r in descending order.
x, -4, r
Let o(k) = -13*k**2 + 454*k + 31. Let m be o(35). Let h(u) = u**2 + 2*u - 5. Let l be h(-4). Put m, -8, l in decreasing order.
l, m, -8
Let x be 252/27 - (-135)/(-15). Put 2/5, -0.05, x, -1 in decreasing order.
2/5, x, -0.05, -1
Let a = -60 + 56. Let s = -27.2 - -27. Sort -6, s, a in increasing order.
-6, a, s
Let x(p) = 2*p**2 - 19*p + 13. Let w(m) = -2*m**2 - 23*m - 21. Let a be w(-10). Let f be x(a). Suppose o + 5 = 6. Put 6, o, f in descending order.
6, f, o
Let f = -90334 - -34778537/385. Let h = -11971/9471 + 52/41. Let v = h + f. Sort 1, v, -4/3 in decreasing order.
1, v, -4/3
Let v = 72.67 + -73. Let r = -53.73 - -53. Let u = r - v. Put -0.5, u, 0.3 in decreasing order.
0.3, u, -0.5
Let d be (-7)/(-4 - -3 - -2). Let g = 0.07 - 2.97. Let m = -2.9 - g. Sort -3, m, d in decreasing order.
m, -3, d
Suppose -2*x + 0*d = -3*d - 4, 4*d + 17 = 5*x. Let y be (18/21)/((-1)/(-14)). Suppose y - 37 = -x*p. Sort 0, p, -5 in increasing order.
-5, 0, p
Let x = -120 + 125. Let w(n) = n**3 - 4*n**2 - 5*n + 5. Let y be w(x). Put y, 20, -1 in increasing order.
-1, y, 20
Let q be ((-3)/(-40))/(-16 - 1580/(-100)). Let g = 0.26 - 0.2. Put 1/14, q, g in increasing order.
q, g, 1/14
Suppose 2*k = 8 - 0. Sort 1, -1, k in descending order.
k, 1, -1
Suppose 32 - 7 = 5*x. Let p = -25 + 24.7. Let y = 3 - 0. Sort p, y, x in decreasing order.
x, y, p
Let u be 4/3 + (-320)/60. Sort -6, u, -2.
-6, u, -2
Let v = -86 - -96. Suppose 0 = -6*k - v - 8. Put 2, k, -25, -2 in ascending order.
-25, k, -2, 2
Let n = -1348 + 1351. Sort n, -111, 2/11.
-111, 2/11, n
Let l = -5916/11 - -538. Sort 7, l, -2/5, -2 in decreasing order.
7, l, -2/5, -2
Let m be (2 - -4) + -2 + -1. Let t = -3/2 - -25/18. Sort m, 1/2, t.
t, 1/2, m
Suppose 0 = -2*l + 2*n - 20, -l - n = -4 + 10. Let s be l/(-52) + (-67)/13. Put 5, -22, s in increasing order.
-22, s, 5
Let p(w) = 9*w**2 + 48*w + 14. Let a be p(-5). Sort 13, a, 14.
a, 13, 14
Suppose 0 = b + 8*b + 342. Let k = -40 - b. Sort k, 5, -5, 9.
-5, k, 5, 9
Let o(a) = a**3 - a**2 - a + 2. Let y be o(2). Let b(v) = -v**2 + 40*v + 80. Let x be b(42). Let g be (-2)/(-3) - (-22)/(-6). Sort g, y, x in descending order.
y, g, x
Suppose 0 = 7*m + 17 + 25. Let v be (1/10)/(m/(-12)). Sort 5, 1, v in descending order.
5, 1, v
Suppose 3 = -v + 2*v. Let q = 0 + v. Suppose -5*c - 50 = 5*i, -2*c = i + 3*c + 30. Sort i, -12, q in descending order.
q, i, -12
Suppose 0 = -2*z - 0 - 6, 0 = 5*f - 4*z + 3. Let s be (6/4)/((-12)/(-40)). Sort f, 4, s in decreasing order.
s, 4, f
Let a = 2.9 - 3. Let g be 9/(-15)*(15 - 260/18). Sort a, -3, g, 2/7 in decreasing order.
2/7, a, g, -3
Suppose -4*g = g. Suppose -8 = 2*s, 0*a + a - 3*s - 16 = 0. Let n(d) = -d**3 + 10*d**2 + 10*d + 16. Let w be n(11). Put g, w, a in decreasing order.
w, a, g
Suppose -3*h + 6*p - 20 = 5*p, -4*h - 2*p - 30 = 0. Let x = h + 4. Suppose 3*f + 2 = -4. Sort 5, x, f in ascending order.
x, f, 5
Let r be (1 - 2)*((-4)/(-4) - -3). Let j = -22 - -20. Put j, 1, r in decreasing order.
1, j, r
Let d = -12 + 18. Let b = 9 - d. Let g = -5 + b. Sort 2, 2/13, g in increasing order.
g, 2/13, 2
Suppose g = -a - 4*a + 24, -3*g - 4*a + 39 = 0. Let x = g - 8. Suppose -5*c = -l + 8, 0*c - 3*c - 2*l = -3. Sort x, -2, c in ascending order.
-2, c, x
Let j(n) = -21*n + 250. Let w(o) = -5*o + 62. Let d(a) = 2*j(a) - 9*w(a). Let b be d(20). Suppose -4 + 6 = 2*r. Put 7, b, r in increasing order.
r, b, 7
Let h(d) = -1. Let r(f) = -f - 16. Let s(o) = 6*h(o) + r(o). Let l be s(-21). Sort 4, 1, l in decreasing order.
4, 1, l
Suppose 0 = -5*t - d + 6, 2*d - 2 = -0. Sort -3, t, -168, 5 in descending order.
5, t, -3, -168
Let k = 1017 + -1017.5. Sort -2/13, 0.6, k, -3 in decreasing order.
0.6, -2/13, k, -3
Let z be (-1)/((-6 + 4)/(-4)). Suppose 0 = -4*o - c + 19, 3*c + 1 = 3*o - 2. Suppose 2*a - 3*i = -9, o*a - i = -6*i + 37. Sort z, a, 1 in increasing order.
z, 1, a
Suppose 5*c - 2*f + f - 29 = 0, c - 2*f = 13. Suppose -5*v - 3*i - 15 = 2*i, -i = -c*v - 3. Suppose -2*o + 0*o - 4 = 0. Put 4, v, o in decreasing order.
4, v, o
Suppose -4*g = 5*g + 36. Sort g, 0.5, -478 in descending order.
0.5, g, -478
Let k = 5391 - 5390.7. Let o = -6 - -4. Sort o, k, 1 in decreasing order.
1, k, o
Let m(j) = 334*j + 3. Let f be m(0). Suppose -d = -2*d - 2*y - 13, 0 = -3*d + 2*y + 1. Let o be 2/(-6) + 1/3. Sort o, f, d in increasing order.
d, o, f
Let i = -86 - -89.5. Let h = -3.52 + i. Let n be (-2)/(-6)*(-4)/(-6). Sort -0.3, h, n in increasing order.
-0.3, h, n
Let x be 60/9*(-3)/(-4). Put -3, x, 49, 3 in decreasing order.
49, x, 3, -3
Suppose 4*g = -5*r - 1 - 1, -5*g + 4*r + 18 = 0. Let m = -2.2 + 7.2. Put g, 0.2, m in ascending order.
0.2, g, m
Let c = -612 + 617. Sort 1, c, 66 in descending order.
66, c, 1
Let p(g) = 5*g. Suppose -4*x = x + 5. Let n be p(x). Let f = -8 + 16. Put 4, f, n in ascending order.
n, 4, f
Let y = -153 + 153.7. Put -5, -1, 0.1, y in decreasing order.
y, 0.1, -1, -5
Let v = -234 - -235. Sort 2, v, 150 in ascending order.
v, 2, 150
Let u be (-32)/18 + 10/45*9. Put u, 2/23, -20 in increasing order.
-20, 2/23, u
Let u = -0.2699 + -0.1301. Sort -0.0286, -5, 2/9, u in decreasing order.
2/9, -0.0286, u, -5
Let j be 4 + 6/(0 + -2). Let d = 2/17 + -44/85. Let w = 8 - 5. Sort w, d, j.
d, j, w
Let c(x) = -3*x + 81. Let m be c(24). Sort m, 3, 2 in ascending order.
2, 3, m
Let t = 106/15 + -20/3. Let s = -361/14 - -51/2. Sort 3, -2/3, t, s.
-2/3, s, t, 3
Let b be 6/(7 + -4) - (-24)/(-15). Let u = 179 + -898/5. Put b, u, 1 in increasing order.
u, b, 1
Suppose -3*i + 57 = -3*o, 3*o - 5*i = 30 - 93. Sort 0, 3, o, -5 in descending order.
3, 0, -5, o
Let u = 20 - 20. Suppose 5*k + 5*z - 3*z + 7 = 0, -5*k + 5*z = u. Suppose -c - 4*c = -20. Put k, c, 0 in increasing order.
k, 0, c
Let k(w) = w + 11. Let l be k(-6). Let a(n) = n**3 + 4*n**2 - n - 7. Let r = -61 - -57. Let j be a(r). Sort j, -4, l.
-4, j, l
Suppose g = -p + 7, 5*g - 4*p = 3 - 4. Suppose 12 = -f - g*f. Let i be -2*-2*20/16. Sort f, 0, i in ascending order.
f, 0, i
Let b be (15/3*4/30)/(-1). Let n be 4/26*1/1. Sort b, n, 4/7.
b, n, 4/7
Let u(x) = 2*x**3 + 118*x**2 + 117*x + 62. Let r be u(-58). Put 0, 2, r, 9 in decreasing order.
9, r, 2, 0
Let g = 181 - 177. Let f(s) be the second derivative of -s**4/12 - 5*s**3/6 - 3*s**2 + 3*s. Let h be f(-4). Sort h, g, 2 in descending order.
g, 2, h
Suppose 0 = -2*u + 190 - 186. Let t = 10 - 14. Sort 8, t, u in descending order.
8, u, t
Let r(a) be the third derivative of -a**6/120 - a**5/6 - 5*a**4/12 - 5*a**3/6 + 4*a**2. Let w be r(-9). Sort -11, -3, w in increasing order.
-11, -3, w
Let y be ((-65)/(-35) + -1)*(-70)/(-100). Sort -0.4, y, 0, -2/13.
-0.4, -2/13, 0, y
Let a = 255/4 + -64. Let n be 20/150 - 16/(-105). Sort a, -3, n.
-3, a, n
Suppose 0 = -13*p + 7*p - 12. Sort -9, 3, p, -4 in descending order.
3, p, -4, -9
Suppose 31*s - 22*s = -18. Put s, -4, 9 in ascending order.
-4, s, 9
Let k(h) = -12*h**3 - 4*h**2 + 7*h - 8. Let t be k(2). Put 2, 5, t, 4 in descending order.
5, 4, 2, t
Let t = -39 - -25. Let l = 18 + t. Put -2, l, 5, 2 in ascending order.
-2, 2, l, 5
Let t = 8/521 + -1082/2605. Sort 23, 0.5, t in ascending order