der.
4, t, u
Suppose 0 = -2*s - 52 + 48. Let x be s/44*(1 + -2 + 9). Let u = -142 + 991/7. Put -5, x, u, -0.4 in descending order.
x, -0.4, u, -5
Suppose -t - 3*t + 5*g - 2458 = 0, 2*g = 4. Let c = 615 + t. Sort 4, -1, 22, c in descending order.
22, 4, c, -1
Let g = 2570.7 + -2571. Let a = 3 - 2.6. Let s = 0.8 + -1. Sort s, 1, a, g.
g, s, a, 1
Suppose 0 = f + 5*j - 20, -4*f = -2*j + 8 - 0. Suppose -3*b + 44 = 5*a, a + 1451*b + 20 = 1454*b. Put a, 15, 5, f in decreasing order.
15, 5, a, f
Let l = 1.4599 + -1.3599. Let o = 5 - 3. Sort o, l, 0 in ascending order.
0, l, o
Let u(g) = g**2 - 41*g + 391. Let z be u(15). Let s be 56/(-10) - (42/10)/(-7). Sort s, z, -4.
s, -4, z
Let q = 0.3 + -0.6. Let d = 11054316/17 + -649956. Let x = d - 298. Sort q, 0.5, x in descending order.
0.5, x, q
Suppose -11 = -4*m + 157. Suppose -2*i = -6*i - 8. Put m, i, -1/6 in decreasing order.
m, -1/6, i
Let v = 9143 + -6845. Sort v, 0, -5.
-5, 0, v
Suppose 426*r = 140*r + 27742. Sort r, 5, 4, -4.
-4, 4, 5, r
Suppose -40 = 34*d - 44*d. Sort 2, -17, -7, d.
-17, -7, 2, d
Suppose 4*y + 5 = 25. Let b = -50150 - -50142. Sort y, -1, b, -3 in descending order.
y, -1, -3, b
Suppose 3*w + 221 = 20*w. Put w, 0.4, -35 in increasing order.
-35, 0.4, w
Let a be (1/(-19))/((-1)/2). Let k = -0.64 + 0.14. Let t = k - -0.8. Put t, a, -4 in decreasing order.
t, a, -4
Suppose -3*c + 0*c + 1084 = 2*s, 3*c - s - 1069 = 0. Let b = c + -355. Let v = 5 - -1. Put 2, v, b, -2 in descending order.
v, b, 2, -2
Let l = -6607 - -6608. Put -4/3, -584, 4, l, -1/6 in decreasing order.
4, l, -1/6, -4/3, -584
Let o = 0.13 - -0.27. Let n = 5.0082 + -0.0082. Sort -0.04, o, -1/3, n in descending order.
n, o, -0.04, -1/3
Suppose -5*i - 1480 = -4*y, -2*i - y = -5*i - 881. Let u = i - -2337/8. Put 3, 2/69, u in ascending order.
2/69, u, 3
Suppose -7*g + 6240 = -1213 - 4202. Put -1, g, -3 in descending order.
g, -1, -3
Let n = -122 + 207. Let o = n + -96. Put o, 5, 3 in ascending order.
o, 3, 5
Suppose -10 = -3*q - 1. Suppose -q*x = 4*p + 14, -5*x - p = 3*p + 18. Suppose -519*t + 173 = -483*t - 7. Sort t, 18, x in descending order.
18, t, x
Let v = 7 - 10. Suppose -3*m + 17*m = -28. Sort -1, m, v, -4 in decreasing order.
-1, m, v, -4
Let m be (583/33 - 15)*(63/6)/7. Sort m, 2/11, -4, -2/19, 0.3 in increasing order.
-4, -2/19, 2/11, 0.3, m
Let l = 49 - 47. Let o be (-22)/(-4) + 1 - 9/18. Let u be (-15)/(-9)*1*-3. Put u, l, o in ascending order.
u, l, o
Let j = -4 + 9. Let w(b) = 357*b**3 + b**2 + b - 1. Let n be w(1). Let r = n + -358. Sort j, 7, r in descending order.
7, j, r
Let k = 8777 - 8775. Let c = -5.2 - -4.97. Let i = c - 0.07. Put k, 3/7, i, -1/3 in descending order.
k, 3/7, i, -1/3
Let u = 591 + -578. Suppose 0 = u*s - 62 + 127. Sort s, 0, -39.
-39, s, 0
Suppose -2*u - 1 = 5*f, 2*u - 17 = -5*f + 6*u. Let y = 6.9209 + -22.9209. Put 0.1, -3, y, f in increasing order.
y, -3, 0.1, f
Let t = 28332.3 - 28330. Let q be 2 + -1 + (-18)/14. Put 3, q, 1, t in descending order.
3, t, 1, q
Let q = -49/88 - 17/88. Let y = 0.2 + -0.7. Let u = -5 + 5.2. Sort y, q, u in decreasing order.
u, y, q
Suppose -13*i - 23*i + 25*i = -11. Put 16, 4, i, -0.2 in increasing order.
-0.2, i, 4, 16
Let t = 0.07 + -0.15. Let f = -769.6 + 774.6. Put 4, t, f in decreasing order.
f, 4, t
Let h = -2242 + 2170. Sort h, -3, 0.
h, -3, 0
Let t(j) = -32*j + 85. Let o be t(13). Let h = 1651/5 + o. Suppose 0 - 6 = 4*v - 3*b, -2 = v - b. Sort 1, v, h in descending order.
1, v, h
Let l = 6219 + -6228. Sort l, -18, -15 in descending order.
l, -15, -18
Suppose -38*l - 24*l + 1055 - 8867 = 0. Sort l, -11, 0, 4, -3 in decreasing order.
4, 0, -3, -11, l
Let z be 4/(-14) + (-45)/14 - 89285/(-5102). Put -5, -2, 4, z in decreasing order.
z, 4, -2, -5
Let l(u) = u**3 + 4*u**2 - 28*u - 98. Let g be l(-6). Put -1.62, g, 2/5 in decreasing order.
2/5, -1.62, g
Let j = -1112 + 1107.39. Let h = -5.01 - j. Sort h, -5, 2.4, 3 in decreasing order.
3, 2.4, h, -5
Let z = 0.434 + 0.566. Put -1/8, z, -0.04, -3/2 in descending order.
z, -0.04, -1/8, -3/2
Let h = 0 - 4. Let k = 7711 - 7559. Sort h, k, -5 in descending order.
k, h, -5
Suppose 0 = 2*g - 28 - 0. Suppose 4*t = -g - 2, -2*p + 4*t = -8. Let b be (28/(-2))/2 + 5. Sort 0, b, p in descending order.
0, b, p
Let c = 136.1 - -19.9. Let v = c + -161. Sort -43, 3, v in decreasing order.
3, v, -43
Let i = -2.0407 - -0.0587. Let z = i + -0.018. Sort -3, 2/5, 0.3, z in descending order.
2/5, 0.3, z, -3
Let z be 2/(3 + 7) + 162/15. Let r be 12/10*(-100)/40. Sort z, -13, r in decreasing order.
z, r, -13
Let o be -2*2/((-8)/(-6)). Let a(q) = -3*q - 1. Let c(d) = 6*d + 14. Let t(v) = -4*a(v) - c(v). Let p be t(2). Put 13, p, o, 4 in increasing order.
o, p, 4, 13
Let j = -49870 + 49869.8. Let q = 2 + -3. Let k = 4 + -4. Put k, -2/7, q, j in decreasing order.
k, j, -2/7, q
Let h = 5.98173 + 0.01827. Put 4, 0.1, h, 5/44 in decreasing order.
h, 4, 5/44, 0.1
Let r be (-6)/(-8)*(-11)/(77/(-28)). Suppose 12*z - 5 = 11*z. Sort r, 32, 1, z in increasing order.
1, r, z, 32
Suppose 4*u - 7 - 1 = 0. Suppose 0 = 5*y + 3*l + 2 + 60, -2*y - l = 24. Let m be y - 8/(-16)*10. Put m, -1, u in decreasing order.
u, -1, m
Let h be -4 - (-1 - (0 + 0)). Suppose 4*c + 18 = 2*j, -4*j + 2309*c = 2308*c - 8. Put h, j, -2 in ascending order.
h, -2, j
Let d = 79/67 + 32837/335. Let u = d - 99. Let v(b) = b**3 + 4*b**2 - 7*b - 11. Let m be v(-5). Sort u, 0.3, 0.5, m.
m, u, 0.3, 0.5
Let y be (-2)/(((-8)/50)/2). Suppose 174*o - 826 = 380*o + 207*o. Put -4, o, y, 2 in ascending order.
-4, o, 2, y
Suppose -5*b + 1243*a - 29 = 1240*a, b + 2*a - 15 = 0. Put 1, 4, -18, b, 0 in ascending order.
-18, b, 0, 1, 4
Let a = -95781/10 + 9578. Sort a, -5, 0.5 in decreasing order.
0.5, a, -5
Let g = -0.26652 - 0.03348. Sort g, -8, -18.
-18, -8, g
Let x = 8 - 5. Let s = 73 + -72.5. Suppose l = -4*f + 1, l - 6*f + 4 = -5*f. Put x, s, l in decreasing order.
x, s, l
Let o = -47.4 - -53. Let g = o - 6. Suppose 0 = 41*s - 3*s - 608. Sort -0.5, 3/5, s, g in increasing order.
-0.5, g, 3/5, s
Let o = 452 + -1080. Let u = o - -631. Put -335, 0.1, u in descending order.
u, 0.1, -335
Let u = -84 + 97. Suppose 0 = -3*r + 3*z + u + 14, -26 = -4*r + 2*z. Let j = 2 - 5. Put j, 5, r in ascending order.
j, r, 5
Suppose 0 = r - 13*r - 36. Suppose -17 = o + 3*x, -28*x - 12 = -25*x. Put o, r, -6, 6 in descending order.
6, r, o, -6
Suppose 318*b + 3 = 317*b. Suppose -2*m + 513 = -11*m. Sort b, -2, m in increasing order.
m, b, -2
Let r = -3.174 + 0.404. Let h = 272.7 - 270. Let f = r + h. Put f, 4, -0.1 in ascending order.
-0.1, f, 4
Let k(z) = z**2 + 6*z + 5. Let g be k(-6). Let b(x) = -x + 6. Let i be b(4). Suppose 0 = -g*c + 13 + i. Sort 0, -3, c, -2 in descending order.
c, 0, -2, -3
Let r = 1086.1 - 1079.1. Sort -145, 0, 3, r in ascending order.
-145, 0, 3, r
Let a = 10 - 10.072. Let m = 0.072 + a. Let s be ((-24)/(-16))/(66/8). Put 0.3, m, s, -0.2 in decreasing order.
0.3, s, m, -0.2
Suppose -715 - 185 = 6*a. Put a, -1, 1 in descending order.
1, -1, a
Let b = 14447 + -14450. Put -1/18, -1/5, -1.3, b in descending order.
-1/18, -1/5, -1.3, b
Let h = 3571 + -3570.97. Put -1/5, -0.03, 2, 1, h in ascending order.
-1/5, -0.03, h, 1, 2
Let c = 19.333 - 19.2. Let q = c - 0.033. Put 2/21, 50, q in increasing order.
2/21, q, 50
Let a = 13 - 9. Let l be -23 - 53/(318/(-84)). Put l, a, -2, 1 in descending order.
a, 1, -2, l
Suppose -19*f = -17*f - 5*h + 30, -3*h + 18 = -4*f. Sort 5, -3, -1, f.
-3, -1, f, 5
Suppose -19 = -3*m + 5*j + 36, -92 = -12*m + 4*j. Let r = -160 - -51. Put r, -4, -3, m in decreasing order.
m, -3, -4, r
Let v = -15 - -31. Suppose 23*o = 83*o - 120. Put v, 4, -1, o in ascending order.
-1, o, 4, v
Let h = -0.4 - 7.4. Let d = h - -7.9. Let k be (5/(-25))/(2/(-4)). Sort -0.5, 8, k, d in increasing order.
-0.5, d, k, 8
Let k(h) = 18*h**3 - h - 4 - 4*h**2 - 19*h**3 + 0*h. Let i be k(-4). Let z(y) = -y**2 - 2*y + 580. Let c be z(-25). Sort 8, -2, c, i in increasing order.
-2, i, c, 8
Suppose 3*x - 2*z + 26 = 0, 22 - 8 = -x - 2*z. Let j be 5*(-4)/x*3. Let f be j/9 - 50/(-15). Sort f, 1, -2.
-2, 1, f
Let s be 6/4*2/(-3). Let y = -62729.3 + 62729. Put s, y, 2/19, -4 in descending order.
2/19, y, s, -4
Let i = 67 - 64. Suppose -2*q + 4*p = -6, 2*q - 2 = q + i*p. Suppose 0 = -4*n + 6*