creasing order.
r, -4, -1
Let b = 50 + -34. Let d(j) = j - 6. Let y be d(-4). Let p = y + b. Sort p, -2, 0.
-2, 0, p
Let t = 3.726 - -0.274. Sort t, 0.5, 2/5.
2/5, 0.5, t
Let p(c) = -c**2 - 25*c - 141. Let h be p(-16). Sort h, 9, -4, -5.
-5, -4, h, 9
Suppose 4*d - 6*d = -10. Let y be d*((-146)/50 - -3). Let g(a) = a**3 + 6*a**2 - 8*a - 7. Let m be g(-7). Sort y, -5, m.
-5, m, y
Suppose -11*u - 6*u + 85 = 0. Sort -88, u, -5 in decreasing order.
u, -5, -88
Let v = 2 - -56. Let l = v + -57.7. Put -1, -0.8, l in increasing order.
-1, -0.8, l
Suppose -5 = -i + 2*i. Let h be 4 - -15 - (0 - 2 - 1). Suppose 0 = -h*f + 27*f - 25. Put 4, i, f in decreasing order.
f, 4, i
Suppose 0*z = z - 4*l + 5, -5*l + 15 = -3*z. Let g = 3 + z. Put g, -4, 12 in increasing order.
-4, g, 12
Let p = -0.28 + 0.48. Suppose -2*s = -8 + 2. Let f be 2/(-6) - 5/(-9). Put s, p, f in decreasing order.
s, f, p
Suppose 5*k - v = -2*v + 2, 5*v - 10 = 0. Let j = 1 + k. Let b = 43 - 48. Sort j, 4, b.
b, j, 4
Suppose 0 = -r - 2*r + 5*a + 55, 5*a = 5*r - 85. Suppose -9*y + r = -4*y. Suppose 0*n - n + 15 = -y*s, -3*s = 4*n. Put s, 13, -3 in descending order.
13, -3, s
Let h = -949 - -945. Sort 44, h, -1/7.
h, -1/7, 44
Let k = -2.6 + 2.7. Let a = 13 + -27. Let n be (12/(-56))/(4/a). Sort k, -7, n in descending order.
n, k, -7
Let h be (4 + -56)*(2 - 5/2). Put 0, h, 4 in descending order.
h, 4, 0
Let b = -37 + 50. Suppose 20 = -m - 3*y - 2*y, 2*m + y + b = 0. Sort -3, 17, m in increasing order.
m, -3, 17
Let i be (9 + (-17)/2)/(1/6). Suppose -2*x = 3*s + 50, 6 = -2*x + 4. Sort 1, -1, i, s in increasing order.
s, -1, 1, i
Let t be ((-4)/16)/((-6)/8). Suppose 0*i + 2*i - 4*s = -8, 4*i + 10 = 5*s. Let b be 24/(-35) - 4/(-14). Sort i, t, b in descending order.
t, i, b
Let g(n) = -5*n**2 - 19*n - 6. Let l(x) = -3*x**2 - 13*x - 4. Let a(t) = 5*g(t) - 8*l(t). Let c be a(7). Let i = -18 + c. Sort 0, 4, i in decreasing order.
4, 0, i
Suppose b - 5*m + 0*m = 43, -5*b = 4*m - 128. Let g be b/(-49) + (-118)/14. Sort g, -3, -2 in ascending order.
g, -3, -2
Suppose 0 = 34*j + 87 + 15. Put j, 1, -31 in ascending order.
-31, j, 1
Let c = -3.9 + 4.54. Let u = c - 0.24. Put -2, -0.4, u in descending order.
u, -0.4, -2
Let g = -4 - -7. Let c(f) = 42*f - 894. Let h be c(21). Sort h, -2, g in descending order.
g, -2, h
Suppose -7*z - 77 = -70. Put -2/9, z, 0.6 in descending order.
0.6, -2/9, z
Let b be (1/33)/(103/6 - 17). Sort b, 1/4, -2/5.
-2/5, b, 1/4
Let k(l) = l. Let a be k(-1). Let z = a + 2. Sort -2, -2/3, 0, z in increasing order.
-2, -2/3, 0, z
Let p = -106 + 128. Suppose 9*g - 4*g = -c - p, 18 = c - 3*g. Sort -1/3, -6/5, c in decreasing order.
c, -1/3, -6/5
Let r = -114.4 + 113.5. Sort 0.3, r, 3, 0.5 in increasing order.
r, 0.3, 0.5, 3
Let w = -944 - -907. Put 5, w, 0 in descending order.
5, 0, w
Let t(x) = -3*x + 2. Let b be t(-2). Suppose -2*k + b = -0*k. Let o(p) = p**2 - 5*p + 4. Let l be o(k). Sort l, 4, 3 in increasing order.
l, 3, 4
Suppose u = 4*y + 3*u - 4, -4*u + 3 = 3*y. Let l(d) = 3*d - 2. Let r be l(y). Sort -2/3, 4, r in increasing order.
-2/3, r, 4
Let l = -2.23 - 0.17. Let n = -2 - l. Let b = -1116 - -1120. Sort -5, b, n in increasing order.
-5, n, b
Suppose -4*a - 5*m = -312, 0 = 3*a + m - 275 + 30. Put a, -3, -5, 1 in descending order.
a, 1, -3, -5
Let l = 14.04 - 0.04. Let m = l - 2. Let j = 16 - m. Sort 4/7, j, 3 in decreasing order.
j, 3, 4/7
Let j(z) = -3*z**3 - 6*z**2 + 9*z - 21. Let w(h) = -7*h**3 - 11*h**2 + 19*h - 43. Let c(r) = 5*j(r) - 2*w(r). Let q be c(-9). Put -3, q, -2 in ascending order.
-3, -2, q
Let u be 2/5 + (-3)/20. Let g = -1.42 + -2.58. Sort g, 3/5, u in decreasing order.
3/5, u, g
Let y = 0.42 + -0.6. Let i = y + 0.08. Put 0.3, -5, i in decreasing order.
0.3, i, -5
Let o be (8/10)/((-2)/(-25)). Suppose o + 25 = -5*i. Let g = -12 - i. Put 0, g, -4 in decreasing order.
0, -4, g
Suppose 2*c + 2 = -4. Let d = -9.947 + 9.9. Let f = -4.953 + d. Sort c, f, -2/5 in ascending order.
f, c, -2/5
Let b(c) = 22*c - 195. Let w be b(0). Sort 2, 0, w in decreasing order.
2, 0, w
Suppose 12 = -2*f - 2*f. Suppose -q = -4*s + q - 10, 2*s + q = 1. Let n = -262 + 260. Put f, n, s in ascending order.
f, n, s
Let q = 1 - 0. Suppose k - 2*b + 3 = -2, 3*k - 20 = -b. Sort q, k, 6 in descending order.
6, k, q
Let f be (210/(-49) + 4)/8. Put f, -0.5, 3, 4 in ascending order.
-0.5, f, 3, 4
Let x(r) = r**2 - 5*r - 8. Let h be x(7). Suppose -h = -m - 2. Suppose -2*b = 2*l, -m*l + 2*l = b - 1. Sort -2, l, 4 in increasing order.
-2, l, 4
Suppose -2*r = -10, -3*n + 3*r + 2*r + 245 = 0. Suppose -5*c + n = -0*c. Suppose 0 = -3*k + 4*z + 11, 4*k - z - z = c. Sort 0, -1, k in decreasing order.
k, 0, -1
Let d = 2.8986 + 0.1014. Let i = -19 - -135/7. Sort i, 5, d in decreasing order.
5, d, i
Let w be ((-2)/(-3))/1 - -1. Let g = -230 + 229. Sort 4, w, g.
g, w, 4
Let t = 3 - 8. Let d be (-501)/150 - (-42)/12. Sort 2/11, d, t.
t, d, 2/11
Let a = -820 + 819. Sort -3, 25, 0, a in decreasing order.
25, 0, a, -3
Let b = 0.09 - -4.91. Let k = -5.7 + b. Let z = k - -0.6. Sort z, 0.3, -8 in descending order.
0.3, z, -8
Suppose s + 14 = 3*i, i + 0*i = 5. Sort -1, -15, -2, s in decreasing order.
s, -1, -2, -15
Let i be 6/2*(-60)/(-15). Let q be ((-4)/12)/(i/(-27)). Sort 2/13, -0.1, q, -0.2 in descending order.
q, 2/13, -0.1, -0.2
Suppose -9 = 3*j + 3*m, -9*j + 4*m = -7*j - 12. Let y = 11/76 + 2/19. Sort y, 10, j in increasing order.
j, y, 10
Let a = 7 + -3. Let o be a/6 + 7/3. Suppose -4*p + 14 = y, -o*y + 5*p - 43 = -0*p. Sort 3, y, 5.
y, 3, 5
Let l = 782 - 783. Sort 1/5, 0.1, 10, l in descending order.
10, 1/5, 0.1, l
Let x(t) = -t**3 + 46*t**2 - 41*t - 179. Let n be x(45). Sort -8, n, 4, 0.
-8, 0, n, 4
Let u = 192.0128 - 0.0128. Put 2, -2, u in ascending order.
-2, 2, u
Let b = -77.7 - -4.5. Let r = b - -72. Let c(f) = -f + 1. Let d be c(3). Sort d, 1/5, r in descending order.
1/5, r, d
Let t = -8 - -4. Let u = 8 + t. Suppose -5*l + 10 = -10*l. Put l, 1, u in decreasing order.
u, 1, l
Let c = -195 + 196. Sort 3, -20, c, -4 in ascending order.
-20, -4, c, 3
Suppose -3*p = -5*p - 3*a - 4, p + 3*a - 4 = 0. Sort p, -2, -3/5 in descending order.
-3/5, -2, p
Suppose -3*o = -3*a, 0 = -o + 2 - 5. Let x be (-9)/108 - (-1)/12. Sort -5, x, 2, a in descending order.
2, x, a, -5
Let t = 213 + -214. Let d = -7 - -3. Sort t, -5, d.
-5, d, t
Let s = 100 - 95. Put 1, 30, s in ascending order.
1, s, 30
Let k be (3/2)/((-3)/4). Let y be (-2 - -3) + 6/6. Sort k, y, 0 in descending order.
y, 0, k
Suppose 6*i + 5*z + 23 = 8*i, -2*z = -i + 10. Suppose 7 = i*t + 27. Let m(g) = -g**3 - 4*g**2 + 3. Let d be m(-4). Put 9, d, t in descending order.
9, d, t
Let v = -0.06 + -0.34. Let h = -606 + 610. Sort -0.9, v, h, 0.1.
-0.9, v, 0.1, h
Suppose -4*l + 31 = -3*x, 5*l - 7*x = -5*x + 30. Suppose -2*m + 29 = -l*w + 9, -3*m - 3*w = 6. Sort -5, m, -3, 5.
-5, -3, m, 5
Let m = 26.6 - 30.6. Put m, 1/4, 8, 1/3 in ascending order.
m, 1/4, 1/3, 8
Let c = -2/2361 + -41185/1574. Let a = 26 + c. Sort a, -2.3, -0.5.
-2.3, -0.5, a
Let m = 787 + -787. Put m, -158, 3 in ascending order.
-158, m, 3
Let u = -1/9 + -5/9. Let z = -3.829 - 0.071. Let k = z - -4. Sort u, -2, k in decreasing order.
k, u, -2
Let f = -0.0459 + -0.2541. Let k = 6 - 4. Put 1/2, k, -3, f in ascending order.
-3, f, 1/2, k
Suppose 5*i - 644 = -154. Let q = 125 - i. Sort 4, 5, q in decreasing order.
q, 5, 4
Let s(b) = b + 7. Let l be s(-7). Let c be (-3)/15*(-175)/7. Put -2, c, l in decreasing order.
c, l, -2
Let s = -3256 + 3260. Suppose 0*r + 4*r = -20. Put -4, s, -1, r in ascending order.
r, -4, -1, s
Let l = -0.8 + 1. Let a = -0.26 + -2.74. Let j = 7 + a. Sort 6, l, j in ascending order.
l, j, 6
Suppose 2*a + 4*l - 110 - 62 = 0, -4*a + 326 = 2*l. Sort a, -4, 3 in ascending order.
-4, 3, a
Let m = 139 + -138.6. Put m, 0.5, -3 in decreasing order.
0.5, m, -3
Suppose -4*r + r - 3 = 0. Let l = 0.437 + -3.437. Sort l, 1, 5, r in decreasing order.
5, 1, r, l
Let s be (1 - 4/(-3))*(-18 - 34). Let p = s - -6910/57. Let b = 3.7 - -0.3. Sort 0.1, p, b in descending order.
b, 0.1, p
Let o = -136.4 - -139.4. Sort o, -14, -34 in descending order.
o, -14, -34
Let c = 81 - 88. Let i(b) = b**3 + 6*b**2 - 6*b + 10. Let r be i(c). Sort 5, -3, -5, r in descending order.
5, r, -3, -5
Let d = -20/