 descending order.
a, -0.4, v, u
Suppose 3*c + 5*f + 11 = -c, c = -7*f + 3. Put 1, -215, 2, c in decreasing order.
2, 1, c, -215
Let m be ((-6)/(-21)*(-3)/2)/((-480)/320). Let p = -0.36 + 5.36. Sort m, -0.5, 0.3, p in descending order.
p, 0.3, m, -0.5
Let u = 154 - 169. Let b = -13 - u. Put 26, b, 5 in decreasing order.
26, 5, b
Suppose 0 = -3*g + 5*g - 210. Let u be (g/14)/((-1)/(-2)). Sort -2, u, -12 in decreasing order.
u, -2, -12
Let o = -0.0594 - -0.2594. Let y be (2/4)/(5/6). Let f = -0.078 - 1.722. Sort 2, o, f, y in descending order.
2, y, o, f
Let t = 180 - 714. Let f = -539 - t. Put f, 0.1, 0.9 in descending order.
0.9, 0.1, f
Let p = -4 + 6. Let d = -32418 - -32414. Sort d, p, 1/2, 0 in descending order.
p, 1/2, 0, d
Let k = 15.8576 + -17.8576. Let a be (-8)/(-6)*1/(-2). Sort a, k, -0.1, -0.9 in descending order.
-0.1, a, -0.9, k
Let k = -0.251 + 0.031. Let j = -8 + 8. Sort -0.2, j, k in descending order.
j, -0.2, k
Let t = 371.3 - 371. Let c be 4/(-2) + (-1 - 0). Let r be c + -4*(-16)/28 + 2. Sort r, t, -1/8 in ascending order.
-1/8, t, r
Suppose 2*q - c - 4 = 3*q, 5*q - 4 = c. Suppose 3*v + 29 = 5*p, 8*v - 23 = 7*v - 3*p. Sort v, -1, q, 1 in ascending order.
-1, q, 1, v
Let x = 530 - 531. Suppose 2*w - 129 = o, -2*o - 281 + 29 = -w. Let y = 1127/9 + o. Put y, 9, x, -0.3 in ascending order.
x, -0.3, y, 9
Let k = -2.92 + -0.08. Let c = 486.90537 - 0.00537. Let i = -487 + c. Sort k, 0.5, i, 0 in ascending order.
k, i, 0, 0.5
Let p = -994 + 937.1. Let l = -64.9 - p. Put -1, l, -2/5 in decreasing order.
-2/5, -1, l
Let b = -469 - -472. Suppose 10 = -5*g - b*r, 2*g + 3*g - 2*r + 10 = 0. Sort -1, -4, g in descending order.
-1, g, -4
Suppose -50*s + 62*s = 36. Sort -21, -9, s.
-21, -9, s
Let n be 10*6/4*-1. Let j be 4/(-3)*n/2. Suppose -4*q = -j + 14. Put 3, 0, q in ascending order.
q, 0, 3
Let g be ((-2)/15)/((-21)/(-35)). Let y = 1 + -3. Let s = -57259/28 - -8181/4. Sort s, y, 0.3, g in increasing order.
y, g, s, 0.3
Let s = -2098.1 - -2100.1. Put s, -3.24, -2/9 in ascending order.
-3.24, -2/9, s
Let c = -1.18 - -66.18. Let y = c - 64.41. Let n = 0.49 - y. Put n, -2/3, -2 in descending order.
n, -2/3, -2
Let p be (-1 - 2) + 15/(-5) + 7. Sort p, -22, -4, -5.
-22, -5, -4, p
Let a = 24875 - 24865. Put 1/11, a, 0.6, -3 in decreasing order.
a, 0.6, 1/11, -3
Let c = -178/169 - 36493/3380. Let q = c + 47/4. Put 1, q, -6/5, 3/2 in descending order.
3/2, 1, q, -6/5
Let h(n) = n + 9. Let s be h(9). Let c(j) be the third derivative of j**4/24 - 7*j**3/3 - 3*j**2 - 1. Let g be c(s). Sort g, -3, -1.
-3, -1, g
Suppose b + 15 = -7*q + 6*q, 4*b - 3*q = -32. Suppose 5*v - 25 = 5*k, -k + 0*k - 5 = -4*v. Suppose 4*l + 0 = 12. Put k, -2, b, l in decreasing order.
l, -2, k, b
Suppose -10 = -2*n - r, -3*n + 60 - 35 = 4*r. Sort 4, 0, -11, -2, n in increasing order.
-11, -2, 0, n, 4
Let i = -14 + 6. Suppose 11*j + 114 = -36*n + 38*n, -5*n = 4*j + 30. Put i, n, -22 in decreasing order.
n, i, -22
Let h be (391/(-92))/((2/(-8))/(-1)). Put 0, h, -5, 4 in increasing order.
h, -5, 0, 4
Let t be (-2556)/426*(-10)/(-12). Put 3, -7/5, t, -2/9, 1/8 in ascending order.
t, -7/5, -2/9, 1/8, 3
Let s(d) = -d**2 + 3*d + 29. Let x be s(-18). Sort 5, x, -4, -2 in decreasing order.
5, -2, -4, x
Let k = -47354/5 + 9471. Put 67, -2/11, 2/3, k, -2/9 in descending order.
67, 2/3, k, -2/11, -2/9
Let d = -99 - -101. Suppose -d*m + 23 - 19 = 0. Let p be (-7 + -5)*(-3)/(-9). Put 11, 0, p, m in increasing order.
p, 0, m, 11
Let o = -13.18 + 13. Let q = -937.18 - -937. Let v = o - q. Sort 1/3, -3, v, 2/9 in descending order.
1/3, 2/9, v, -3
Let y(m) = 2*m**2 + 5*m - 492. Let i be y(-17). Put -4, i, 19, 3 in ascending order.
-4, i, 3, 19
Let r = 1539 + -1539.2. Let f = -0.19 - -0.45. Sort -4, f, r.
-4, r, f
Let c = -248 - -243. Suppose 0 = 2*w - 3 - 7. Sort w, c, 2, -3 in ascending order.
c, -3, 2, w
Let y = 1763.7 - 1764. Let n = -1.46 - -1.6. Let q = n + 5.86. Sort y, 2/3, q in ascending order.
y, 2/3, q
Let z = 4/67 - -55/201. Let y = -41/68 + 6/17. Let j = -0.2 - -0.2. Sort j, y, z in increasing order.
y, j, z
Let n be 4/(-10) - (-113)/(-5). Suppose 2619*f + 331*f + 1333*f = 423*f + 19300. Sort f, -3, 0, n.
n, -3, 0, f
Let m = 220/3 + -73. Let i be (-1)/(-3) - 184/69. Sort i, -2/3, -1/2, m.
i, -2/3, -1/2, m
Let y be ((-2)/(-8))/(18/3 + 6880/(-1152)). Put 4, -5, y, 3, 5 in descending order.
y, 5, 4, 3, -5
Let j = 5514.922 + -5515. Sort 0.1, 5, j in descending order.
5, 0.1, j
Let y(c) = 2*c**2 - 5*c + 8. Let n be y(2). Suppose 0 = -16*t + n*t - 60. Sort t, -3, -2.
t, -3, -2
Suppose 3*c - 4*b = 0, 2*c + 3*b + 4 = 7*b. Suppose c*v - 2*v = 8. Suppose -5*s - h = -4*s + 6, -5*s + v*h = 3. Sort 1, s, -2 in increasing order.
s, -2, 1
Let n be 24 + 2 - (4 + -1). Let y(x) = -x + 13. Let h be y(8). Let a = h + -4. Sort n, -4, a.
-4, a, n
Suppose -3*a - 25*x + 7 = -23*x, 0 = -5*a + 4*x - 3. Put -5, -3, a, 50, -4 in descending order.
50, a, -3, -4, -5
Suppose -945 + 1613 = -h. Let f = -663 - h. Let u be 34/(-70) - (-2)/7. Put f, u, 12 in ascending order.
u, f, 12
Let x = -3.2 + 2.8. Let d = -168/59 + 154846/54339. Let m = 1796/21183 + d. Sort -3, x, m in descending order.
m, x, -3
Suppose 4*i + 286 = -5*n - 70, 2*n - 5*i = -149. Suppose 11*w = 9*w - 4*j - 34, -5*j + 1 - 51 = 0. Put n, -2, w in descending order.
w, -2, n
Suppose 0 = -2*h + 3*u + 19, h = -3*h - 5*u - 17. Suppose 20 = 6*n + 14*g - 10*g, -15 = 2*n - 3*g. Sort n, 1, h in decreasing order.
h, 1, n
Let y be 1 + -11 + (-1258)/(-952)*7. Put -3, y, -6, -7 in descending order.
y, -3, -6, -7
Suppose -33*f + 32*f = 7. Let g be (f - (1 - 3))/(-32 - -31). Sort 26, -3, g in descending order.
26, g, -3
Suppose 0*l + l - 2*x = 12, 3*l + 4 = -4*x. Suppose -l*w - w - 5 = 0. Let g(a) = 174*a + 2439. Let u be g(-14). Put -4, u, -3, w in descending order.
u, w, -3, -4
Let x(o) = o. Let j be x(0). Suppose j = 5*s - 4*s. Let c = 262778 - 262765. Put 2, c, -2, s in ascending order.
-2, s, 2, c
Let b(g) = -9*g - 6. Suppose 8 = -3*a + 5*w, -124*a - 2*w = -129*a - 7. Let m be b(a). Sort -69, m, 1 in decreasing order.
m, 1, -69
Let o be 11 - 16/80*55. Put o, 3, -27 in decreasing order.
3, o, -27
Let f be 5/15 - 12421/(-51). Let h = 244 - f. Let q = 1/727 - -723/2908. Put q, -0.1, h in increasing order.
-0.1, h, q
Let u = 3.6 - 4. Let c = -88787 + 88791. Sort 1/3, c, -144, u in increasing order.
-144, u, 1/3, c
Let g = 2 + -1. Suppose -w = -g + 2. Let u = -19.67 + 19.47. Sort w, u, 6/7 in decreasing order.
6/7, u, w
Let l(t) = -22*t - 23. Let z be l(-1). Sort 2, 16, z, -14 in decreasing order.
16, 2, z, -14
Let v(q) = q**2 + 6*q - 10. Let g be v(-7). Let i = 34.38 - 34.18. Sort g, 14, i, 3 in ascending order.
g, i, 3, 14
Let y be (-80)/44 + 2/(-11). Let j be 10 - (13 - (-50)/(-10)). Put j, 47, 1, y in decreasing order.
47, j, 1, y
Let m(h) = -h**2 + 292*h + 881. Let g be m(-3). Sort g, -51, 8, -5.
-51, -5, g, 8
Let a = 28867/11 - 2627. Sort 7/3, 0.3, a, 3/5.
a, 0.3, 3/5, 7/3
Let m(a) = 4*a - 5. Let t be m(1). Suppose 4*q + 310 = 4*s - s, 460 = 4*s + 4*q. Sort s, t, 2.
t, 2, s
Let o(q) = -2*q**2 + 69*q - 38. Let k be o(34). Let y be k/(((-14)/(-21))/((-2)/(-3))). Put 3, -73, y in descending order.
3, y, -73
Let m(d) = 3*d**3 - 54*d**2 - 57*d - 3. Let l be m(19). Let f = 1 + 2. Suppose -3*p - 3*c + 12 = 0, -p - 4 = -c - 0*c. Sort p, l, f in descending order.
f, p, l
Suppose 4*o - 2 = 7*o + 5*y, 0 = 3*o + y - 2. Let m be ((-2)/(-3))/(1 + (-48)/54). Put m, o, -1, -5 in increasing order.
-5, -1, o, m
Let s be ((-972)/2673)/((-36)/22 - 0). Let t = 0.26 + -0.23. Sort t, s, 29 in decreasing order.
29, s, t
Suppose 0 = 2*l + b + 250, 5*l - 12*b = -17*b - 625. Sort l, 9, 2.
l, 2, 9
Let c = -23244 + 23240. Sort 39, 0.5, 11, c, -1 in ascending order.
c, -1, 0.5, 11, 39
Let c = -10487 - -10485. Sort 0.1, 144, 4, c, -1 in decreasing order.
144, 4, 0.1, -1, c
Suppose -60 = 5*a + r - 59, a - 5*r - 31 = 0. Sort -30, 3, a, 4, -5 in descending order.
4, 3, a, -5, -30
Suppose -3*c + l = 2*l, -5*c - 4*l = 0. Suppose 0*b + 3*b - 30 = c. Let f be (b/8)/((-14)/56). Put f, -4, 5 in decreasing order.
5, -4, f
Let u be (-18)/(-7)*735/(-210). Suppose 0 = 3*g + 8 - 2. Sort u, g, 1 in ascending order.
u, g, 1
Let c(r) = 528*r - 5. Let j be c(0). Put 48, -2, j, 9 in ascending order.
j, -