creasing order.
m, -2, -1, 2/7
Let u = 145 + -145. Put 47, u, 1, -4 in descending order.
47, 1, u, -4
Let z = 126 + -128. Let c = -18 + 17. Let o be c + (2 - (-9)/(-12)). Put z, o, 0.2 in increasing order.
z, 0.2, o
Suppose 3*f + 35 = 4*h, h - f + 7 = 16. Let z be (-6 + 5)/((6/h)/1). Put z, -1/5, 0.1, -14/3 in descending order.
0.1, -1/5, z, -14/3
Let t(q) = -3*q**3 + 14*q**2 - 17*q + 18. Let j be t(5). Put j, -4, 4, 2 in ascending order.
j, -4, 2, 4
Let h = 1962 + -1969. Sort h, -1, -21 in decreasing order.
-1, h, -21
Suppose 0 = 3*q + 2*i - 116, -2*q - 2*i + 104 - 28 = 0. Let w = q - 38. Put 1, 3, w in ascending order.
1, w, 3
Suppose -5185 = -10*b - 5235. Let j(k) = -k**3 + 4*k**2 + k + 1. Let o be j(4). Sort 2, o, b in decreasing order.
o, 2, b
Let r = -0.4057 - -0.0057. Put 21, -1/8, r in ascending order.
r, -1/8, 21
Let k = 0.72 - -8.68. Let s = k - -1.6. Let w = 10.5 - s. Put w, -0.2, 3 in descending order.
3, -0.2, w
Let v = -1.3 - -2.2. Let m = 0.7 - v. Let q = 0.8 + -0.6. Put 0, q, m in decreasing order.
q, 0, m
Let i = -1.11 + 0.17. Let r = -0.44 - i. Put 2/15, -2, r in decreasing order.
r, 2/15, -2
Let o = -12 - -8. Suppose 24*v - 3933 + 3813 = 0. Put -5, o, v, -2 in decreasing order.
v, -2, o, -5
Suppose -5*q + w + 20 = 0, 2*q + 5*w - 14 = 21. Sort q, -2.5, -3/2 in increasing order.
-2.5, -3/2, q
Let z = -5 + 6. Let k(y) = -y**2 + 19*y - 48. Let i be k(16). Sort z, i, -5, 5.
-5, i, z, 5
Let i(y) be the second derivative of y**4/12 - 7*y**3/6 + 7*y**2/2 - y. Let c be i(6). Let g = 230004 + -230006. Sort c, 5, g.
g, c, 5
Let u(t) = 14*t - 460. Let f be u(33). Put -3, 0.03, f, 0.5 in increasing order.
-3, 0.03, 0.5, f
Let o = -860 + 855. Let q = -1 - 1. Let h be (2/4)/(q/8). Sort h, o, 4 in descending order.
4, h, o
Suppose o = 29 - 27. Let v = -12 + 10. Let n = -106 - -741/7. Put n, o, v in increasing order.
v, n, o
Let m(x) = x**3 - x**2 + 3*x. Let d = -21 - -21. Let w be m(d). Let i be 5 - (-2 + 2 + 2). Sort w, -7, i in increasing order.
-7, w, i
Let z = -267.7 + 268. Let y = 0.22 - -1.77. Let n = 2 - y. Put n, 1, z in descending order.
1, z, n
Let p be (((-340)/8)/17)/(-2). Sort -0.6, p, 2/15.
-0.6, 2/15, p
Suppose -67*c - 4 = -66*c. Put 14, c, 0 in descending order.
14, 0, c
Let j be (18/(-5))/(15/2). Let l = -0.32785 - -0.02785. Put j, 0.1, l in decreasing order.
0.1, l, j
Let b = 0.45 - -0.05. Let y = 1 - b. Let d be 285/(-42) + 6/21. Sort d, -5, y.
d, -5, y
Let m = -30 - -27. Let i be (2/(-8))/((-28)/(-224)). Put m, -4, -1, i in descending order.
-1, i, m, -4
Let j = -19 - -7. Suppose -5*v - 16 = 3*s - 9*v, -3*s = -2*v + 20. Let d be (-45)/j + 6/s. Put -5, -4, d in descending order.
d, -4, -5
Let s = 163/2 - 245/3. Sort 6, 2, s, -0.3.
-0.3, s, 2, 6
Let d(f) = 3*f - 126. Let i be d(42). Sort 2/17, i, -61.
-61, i, 2/17
Let a = -265.5 + 265. Let y = 47/378 + 1/54. Let o = -2 - -2.5. Put a, y, o in increasing order.
a, y, o
Let q = 6 - -2. Let n = q + -8. Suppose -2*k + 3*w + 7 = 0, n = 4*k - 3*w - 7 - 10. Sort -0.5, k, -3 in ascending order.
-3, -0.5, k
Let i be (-4)/14 - 33/7. Suppose -16 = 2*h + 4*k - 10, 3*h + 5*k = -11. Let a(q) = q**2 - 7*q. Let w be a(7). Sort w, h, i.
h, i, w
Let v = -21.7 - -27. Let t = v - 5. Let l = -423 - -427. Sort t, l, 0.
0, t, l
Suppose -7*b = -21*b - 14. Put 10, -2, b in ascending order.
-2, b, 10
Let r be (-140)/(-3)*4*(-9)/(-30). Let c = r - 506/9. Put -0.7, 5, c in descending order.
5, c, -0.7
Let r be (-8)/2534*13/((-572)/154). Sort 4, r, -1.
-1, r, 4
Let h = 432 + -434. Put 5, -6/7, h, 0 in increasing order.
h, -6/7, 0, 5
Let d(q) = -q**2 - 40*q + 133. Let z be d(-43). Put z, 2, -3, -2 in descending order.
z, 2, -2, -3
Let a = 0.1 + 0.2. Let v = -7.57 - -7.59. Sort v, a, 0, -5.
-5, 0, v, a
Suppose 4*w + 256 = 88. Let z = w + 44. Sort -4, -1, 0, z in descending order.
z, 0, -1, -4
Let y(n) = n**2 + 38*n + 236. Let x be y(-8). Put x, 296, 5 in descending order.
296, 5, x
Let p be 40/10 - (5 + -4). Sort -3, 2, -16, p.
-16, -3, 2, p
Let b = -8548 + 8548. Let c be (9 - 0 - -1)/2. Let l = 0 - c. Put b, -9, l in decreasing order.
b, l, -9
Let p(s) = -s + 4. Let t be p(9). Let f be (-4)/10*4/(-11 + 3). Put f, 1/3, t in decreasing order.
1/3, f, t
Let n = 1 + -2. Let q be n/((-2)/(-2)) - -1. Let g = 17 - 18. Sort q, g, -2 in decreasing order.
q, g, -2
Let l be (-1 + 3)*5/(-2). Let a be ((-209)/(-7) - 2) + (-26)/(-182). Suppose -3*c = w + 16, w + a = -3*w - 3*c. Sort w, -8, l in increasing order.
-8, l, w
Let a be -5*(-5 + -43) + -2 + -3. Sort a, -1, 0 in descending order.
a, 0, -1
Suppose 3*l + 5 = -4*n - 25, -3*n - 22 = 2*l. Let u be (-44)/(-6) - n/9. Let j(d) = -d**3 + 8*d**2 + 2*d - 12. Let s be j(u). Put 6, -4, s in increasing order.
-4, s, 6
Let k = 90 + -209. Let g = 117 + k. Sort 0.7, g, 0 in descending order.
0.7, 0, g
Suppose n + 9 = 3*t + 5, n = 2*t + 1. Suppose 5*x = n*x - 24. Sort x, -3, 17, -2 in ascending order.
-3, -2, x, 17
Suppose 2*y - 4*k = -162 + 22, -3*y - 2*k = 202. Sort y, 4, -4.
y, -4, 4
Let t(f) = f**2 - 9*f - 6. Let o be t(10). Let c = 4 - 2. Put c, o, 1, 0 in decreasing order.
o, c, 1, 0
Let a = 70.963 - 71. Let y = a + -0.163. Sort y, -3, 2/5 in ascending order.
-3, y, 2/5
Let u = -15.227 - 0.023. Let l = u - -15. Let m = 0.25 - l. Sort m, -3, 6.
-3, m, 6
Suppose 4 = -5*q + 2*c, -4*q + 8 = -2*q - 4*c. Let d be 2/(-8)*10*q. Let w(s) = -s**2 + 6*s - 3. Let y be w(d). Sort -5, y, -4 in descending order.
y, -4, -5
Suppose 0 = -6*o - 6*o + 12. Let r = -1 + 1. Sort o, r, -2/5, -3 in increasing order.
-3, -2/5, r, o
Let g = -316 + 306. Let i = -16.7 + 17. Put i, g, -3/7 in increasing order.
g, -3/7, i
Let v be (-2 - -1)*3/3. Let l be (-1)/4 - v/(-28). Suppose -6*q + 2*q = 4. Sort 2, q, l in ascending order.
q, l, 2
Let a = -109/2 + 55. Let h = -71086/4255 + 384/23. Let z = -146/185 + h. Sort -0.1, z, a.
z, -0.1, a
Suppose -74 + 80 = 2*z. Sort -0.3, -1.8, z, 2 in descending order.
z, 2, -0.3, -1.8
Let n = -70 - -72. Let c be (3 + -3)/3 - 4. Sort c, -5, n, -1 in descending order.
n, -1, c, -5
Let w = 634 + -633. Put -3, -8, w, 2 in decreasing order.
2, w, -3, -8
Let h = 184 + -177.1. Sort 4/9, -2/5, h, 0.2 in increasing order.
-2/5, 0.2, 4/9, h
Let p = 0.11 - -0.79. Let q = -1338.7 + 1340. Let y = q - p. Put 10, y, -1 in increasing order.
-1, y, 10
Suppose 36*z - 42*z = -36. Put -3/2, -0.7, z, -2/7 in increasing order.
-3/2, -0.7, -2/7, z
Suppose -5*f = 5*s - 30, 23 + 3 = f + 5*s. Sort 4, -107, f in decreasing order.
4, f, -107
Suppose -3*v = -r + 5, 0 = v - 6*r + 11*r + 23. Put 4, 0, -2, v in descending order.
4, 0, -2, v
Let x(w) = w**2 - 3*w + 3. Let p be x(1). Let b be p/(-20) - 24/32. Let m be 1 + 1/(2/2). Put b, -5, m in decreasing order.
m, b, -5
Let i = -15.647 - -0.647. Put 0.5, 7, i in increasing order.
i, 0.5, 7
Let m = -57 - -1. Let b be m/12*(-6)/4. Suppose 0 = -4*n + b*n - 2*l - 9, 3*n + 4*l = -9. Put -5, -4, n in descending order.
n, -4, -5
Let a = -0.1 - -0.3. Let x = -28.7 - -29. Sort 5, x, a in descending order.
5, x, a
Suppose -26*k + 32 = -10*k. Sort 1, k, -3, -5.
-5, -3, 1, k
Let f be ((-45)/75)/(12/(-25)). Put 1, f, 4/5, 5 in increasing order.
4/5, 1, f, 5
Let c be 0 + -3 + 0 - 2. Let p = 8 + c. Suppose p*i + 1 = -2. Put i, 3, 2 in decreasing order.
3, 2, i
Suppose -2*v + 36 = v. Suppose n + 2*p = p - 2, 3*p = -v. Suppose -2*o = -0*o + 8. Put o, n, -1 in decreasing order.
n, -1, o
Let t = -2 + 3. Let f = -3.1 + 1.1. Let y be (-2)/(2/6*-2). Put t, f, y in decreasing order.
y, t, f
Let i be 7 - 1/(1 - 2). Let o = 6 - i. Let r be 3*o/42*-3. Put 2/5, r, -1 in decreasing order.
r, 2/5, -1
Let w = 17.39 - 17.4. Sort -5, 4, -0.1, w in descending order.
4, w, -0.1, -5
Let h = -5.129 + 0.129. Let a = -9 + 11. Sort a, -4, h.
h, -4, a
Let d = -6.2 - 18.8. Let g = d - -27. Let r = -20/333 - 6/37. Sort g, r, -0.5 in descending order.
g, r, -0.5
Let i be ((-3)/(-85))/(-15 + (-1008)/(-60)). Sort -2, i, 3, 3/8 in ascending order.
-2, i, 3/8, 3
Let r = -737 - -742. Sort 3, 2/9, -0.1, r.
-0.1, 2/9, 3, r
Let p = 801 + -801. Let z = -0.1 + 5.1. Let t = -31/7 - -4. Put p, z, t in increasing order.
t, p, z
Let d be (1/(3/1))/(6/18). Sort d, 0, 3 in descending order.
3, d, 0
Suppose 0 = p - 7 + 10. Sort 2, p, -11 in decreasing order.
2, p, -11
Let s = -2 - 3. Let l be 20/2*(-5)