 = -a*g - 12. Put 0.3, z, g in decreasing order.
0.3, z, g
Let o = 2359 - 2358.7. Let z = -191/18 + 65/6. Put 0.1, z, o, -5 in decreasing order.
o, z, 0.1, -5
Suppose 4*w = -2*y - 26, 5*w = 5*y + 2*w. Suppose -27*b - 92 = -4*b. Sort 7, y, b in decreasing order.
7, y, b
Let c = 280 - 279.9. Sort 34, c, -3.
-3, c, 34
Suppose 5 - 25 = 5*s. Let y = -30 - -36. Suppose -2*t + y*t + 4 = 0. Sort t, -2, s in decreasing order.
t, -2, s
Let m be (8/(-5))/((-6)/15). Let j = 661 + -658. Sort m, -21, 5, j in decreasing order.
5, m, j, -21
Suppose 15 = 3*m, 4*c - 18 - 3 = -m. Let o be -8*(-9)/288 - 10/8. Put c, -4, o in ascending order.
-4, o, c
Let s be (3 - 1)*106/(-4). Suppose 0 = 5*d + 4*g - 39, 39*d - 43*d + g + 6 = 0. Sort s, 1, -4, d.
s, -4, 1, d
Suppose o - 1 = -5, 3*r = -o - 7. Let b(y) = y**3 - y**2 + 1. Let i be b(1). Sort 5, i, r, 4 in decreasing order.
5, 4, i, r
Let s = 2049 - 2048.5. Let z = -3 - -3.1. Sort z, s, 0.034 in descending order.
s, z, 0.034
Suppose -3*b - 6 - 34 = -5*g, -2*g + 3*b = -25. Put -3, -1, g, 4 in increasing order.
-3, -1, 4, g
Suppose 43 = 4*w - 9. Let y = -10 + w. Suppose y*s + 2*s = 5. Put 0, s, 3 in increasing order.
0, s, 3
Let r = -176 + 175.6. Sort 0.5, 0.2, -0.04, r.
r, -0.04, 0.2, 0.5
Let f = 6.8 + -7.2. Let a = 3.104 - 0.104. Sort 5, f, -3, a in increasing order.
-3, f, a, 5
Let c = -0.86 + 5.86. Put c, -2.8, 2 in descending order.
c, 2, -2.8
Let i be (-3)/(-3) + 3 + -5. Let g = -7 + -5. Let t be (-1)/((8/g)/(-2)). Sort t, i, 6 in decreasing order.
6, i, t
Let m(s) = s**2 + 6*s - 4. Let f be m(-7). Suppose 4*c = 9*c. Suppose c*i + 2*i = -14. Put -4, f, i in descending order.
f, -4, i
Let h = -242 + 2180/9. Sort 2/5, h, -38 in ascending order.
-38, h, 2/5
Let s be 4/34 - 1782/(-459). Sort -5, 0, 2, s in ascending order.
-5, 0, 2, s
Let v be ((-4)/(-42))/((-6)/14). Let b = v + -1/36. Put -0.8, b, 2/13 in increasing order.
-0.8, b, 2/13
Suppose 15*d = 24*d + 9. Sort d, 1, -8 in ascending order.
-8, d, 1
Let b = 594 + -6540/11. Sort -3, 2, -1, b in increasing order.
-3, -1, b, 2
Let r(x) = 3*x + 46. Let t be r(-15). Let v = 22 - 17. Sort t, v, 7, -5 in decreasing order.
7, v, t, -5
Suppose -5*u = -s - 8 - 0, -2*s = 4*u - 12. Sort s, -1, 3, -2 in increasing order.
-2, -1, s, 3
Let v be 2*(-27)/(-18) + -4. Sort v, 25, 5, 3 in descending order.
25, 5, 3, v
Let z(t) = -2*t - 6. Let m be z(-6). Let v(q) = 10 - 6 + 0*q + 4 - q. Let l be v(m). Put 4, 5, l in decreasing order.
5, 4, l
Suppose -16*r + 12*r = 12. Sort 0, r, -6 in decreasing order.
0, r, -6
Let r(s) be the second derivative of -s**4/6 - s**3 - 3*s**2 - 16*s. Let q be r(-3). Put q, 5, -5 in descending order.
5, -5, q
Let p = 0.484 - 5.064. Let u = -4.4 - p. Sort u, -3, 0 in descending order.
u, 0, -3
Suppose -51 = l - 46. Sort l, 0, -8, -1.
-8, l, -1, 0
Let q be (-24)/15 - (-2)/(-5). Let n(u) = u**3 + 4*u**2 - 5*u + 2. Let i be n(-5). Put 0, q, i in descending order.
i, 0, q
Let k = 251 + -263. Sort 1, -1/3, k in increasing order.
k, -1/3, 1
Let c be 198/10 - (-4)/20. Suppose 4*n + n = -c. Sort -2, n, 0 in ascending order.
n, -2, 0
Let f(j) = j**2. Let t be f(-4). Let w = -114 - -110. Sort t, 5, w in ascending order.
w, 5, t
Let w = -25 + 24.85. Let p = -4.15 - w. Sort -5, p, 0.16 in decreasing order.
0.16, p, -5
Let d = 5.04 - 0.04. Let h = -54.9 + 61. Let z = h + -10.1. Put d, -1, z in ascending order.
z, -1, d
Let w(h) = -h**2 + 9*h - 15. Let a be w(7). Let t be (30/(-3))/(-2 - 0/a). Suppose 2*i = -1 - 1. Put t, 0, i in descending order.
t, 0, i
Let l = 66 + -97. Let g = 31.3 + l. Put -3/2, g, -0.01 in ascending order.
-3/2, -0.01, g
Let n = -258 + 286. Sort -1/3, 0, n in decreasing order.
n, 0, -1/3
Let i(x) = -x**2 - 3*x - 5. Suppose -10 = 2*l - d, d + 0*d = 4. Let p be i(l). Sort p, 5, 8 in decreasing order.
8, 5, p
Let k be (9 - 6)*(2 + -1). Suppose 27*u - 30*u - k = 0. Sort -6, u, -4 in ascending order.
-6, -4, u
Let r = 43 + -43. Suppose 2*m = 0, -3*s - 6 = -r*m + 4*m. Sort -4, 3, s in decreasing order.
3, s, -4
Let s = -1.214 + -2.13. Let a = s + 0.044. Let j = a + 1.3. Put 0.09, 0.5, j in decreasing order.
0.5, 0.09, j
Suppose -142*g = -138*g. Sort g, -4, -12, -2 in decreasing order.
g, -2, -4, -12
Let q = -77.66 + 3.76. Let t = -74 - q. Sort t, -0.06, 0.08 in decreasing order.
0.08, -0.06, t
Let k(b) = b**2 + 17 - 12 + 4*b - 6. Let p be k(-4). Put -2, p, 0 in descending order.
0, p, -2
Let x(m) = 2*m**2 - 8*m. Suppose 11*y = 16*y - 20. Let j be x(y). Put j, 1, -4, -1 in decreasing order.
1, j, -1, -4
Let d be (-4)/(-14) + 544/(-238). Let u be 1/3 + (-26)/6. Sort 0, d, -5, u.
-5, u, d, 0
Suppose 0 = 2*u - 1 + 19. Let l be (-6)/u + (-3)/((-234)/(-64)). Let d = 0.03 - 0.33. Sort l, d, -5 in decreasing order.
l, d, -5
Let p be (4*9/(-54))/(4/(-6)). Let d be (-1)/4 - (-39)/12. Sort 2, p, 5, d.
p, 2, d, 5
Let j = 5.1189 + -0.1189. Put 3/4, j, 5/4, -0.4 in decreasing order.
j, 5/4, 3/4, -0.4
Suppose -78*f - 103*f - 5 + 5 = 0. Suppose -4*u = -5 + 21. Sort f, -5, u.
-5, u, f
Let n = 2.61 - -0.39. Let l = -7.8 + 7.9. Sort l, n, -0.1.
-0.1, l, n
Suppose 28 + 7 = -7*h. Let c(m) = m**2 + 3*m - 8. Let l be c(h). Sort -0.3, 3, l.
-0.3, l, 3
Let m = -554 + 553. Let r be 5*((-18)/10)/3. Sort m, -23, r in ascending order.
-23, r, m
Suppose 56 + 24 = 8*o. Suppose -z + 91 = 5*q - 5*z, 44 = 4*q + 4*z. Let v be (6/(-1))/(q/o). Sort v, 2, 5 in ascending order.
v, 2, 5
Suppose 0 = -34*v + 9*v - 75. Put v, -19, -1 in descending order.
-1, v, -19
Let f be -2*(2 + 5/(-2))*1/4. Let p be (-2)/3 - (-4)/(-3). Put p, f, 3/2, -0.5 in descending order.
3/2, f, -0.5, p
Let n = -5794 - -5793. Let u = 0.8 - 0.5. Put -0.2, 0.2, n, u in increasing order.
n, -0.2, 0.2, u
Let i = -1518 - -1510. Put -11, 0, 1, i in ascending order.
-11, i, 0, 1
Suppose -13 = 2*r + 3*r + 2*h, -3*r - 5*h - 4 = 0. Let k be (-5)/5*6*(-2)/3. Sort r, -1, k, 0 in increasing order.
r, -1, 0, k
Suppose 2*n = 2*y + 4, 5*y - 3 = 4*n - 13. Suppose -2*t = -n*t + 4*c + 14, -5*c - 16 = 4*t. Put 5, t, -2, -4 in decreasing order.
5, t, -2, -4
Let x = 4 - 6. Let n = -1.6 - x. Let p = 38 - 41. Sort p, -1, n in descending order.
n, -1, p
Let x = 0 + 0.5. Let f = 8.5 + x. Let k = 8.7 - f. Sort 0.07, k, -3/4 in ascending order.
-3/4, k, 0.07
Let u be 20*1/190 + (-80)/38. Let a be (-9)/6*16/(-6). Sort -5, -4, u, a.
-5, -4, u, a
Suppose a + 2*u = 8, 6 = 4*a + 5*u - 20. Let b = -8 - -14. Let k(x) = -x**2 + 6*x. Let s be k(b). Sort a, s, 3 in descending order.
a, 3, s
Let h = 1631 + -1641. Sort -0.2, h, -2/7 in ascending order.
h, -2/7, -0.2
Suppose -5*t - z = -11 - 69, -5*z - 42 = -t. Sort t, 5, -7, 1 in increasing order.
-7, 1, 5, t
Let y = -10133/24 - -422. Let r be ((-9)/(-48))/((-3)/2). Let g = r + y. Sort g, -2, -5 in descending order.
g, -2, -5
Suppose 0 = 3*u + 5*i + 37, -5*u - 4*i - 21 - 19 = 0. Let z be 0*(-1 + (-4 - u)). Sort -8, 3, z in decreasing order.
3, z, -8
Let o = -4.32 + -62.78. Let g = o - -67. Put -0.4, 0, -5, g in descending order.
0, g, -0.4, -5
Suppose 314 = -t + 254. Put t, -3, 0 in decreasing order.
0, -3, t
Let q = -13 - -16. Let p be q + (-3)/(84/88). Sort p, 2/5, -4 in decreasing order.
2/5, p, -4
Suppose 3*u + 67 = 3*b - 47, b = 3*u + 42. Let d = b + -39. Put 4, d, -1 in decreasing order.
4, -1, d
Let d = -29.7 - 2.3. Let l = d + 33. Put 1/5, l, 2/3 in decreasing order.
l, 2/3, 1/5
Let b be (-312)/(-224)*(-2)/3. Let y = b + -4/7. Sort y, -1, -18.
-18, y, -1
Let j = -190 + 185. Let k = 6 - 3. Sort j, 1, k.
j, 1, k
Let f be ((-168)/39)/2 + 2 + 0. Let o = 0.11 - 3.61. Let m = o + 3. Put f, m, 1/3 in increasing order.
m, f, 1/3
Let f = 0.059 + -1.059. Let o = 1.2 - 1.4. Put o, f, 2/3 in descending order.
2/3, o, f
Suppose 6 = 3*x + r, -4*x - r + 8 + 1 = 0. Suppose 15 = x*j, 3*a - 7*j + 2*j = -4. Suppose 2*v - v + 5 = 0. Sort a, 1, v.
v, 1, a
Let m(k) = -k**2 + 17*k - 50. Let v be m(13). Let a be 2 - (-9)/(-6)*8. Sort v, a, -1.
a, -1, v
Let d = -4.965 + -0.035. Sort d, -3, -6, 1 in increasing order.
-6, d, -3, 1
Let m(s) = -s**2 + 6*s - 4. Let j be m(4). Suppose 4*n - 8*n = j. Let t be ((-15)/(-5))/(0 + n). Put t, 4, 1 in descending order.
4, 1, t
Let u = 440.17 + -436. Let c = u + -0.17. Let d = 1 - 0.9. Sort -1/4, d, c in descending order.
c, d, -1/4
Suppose -7*c - 159 + 166 = 0. Put c, -2/9, -17, 0.1