 x = -428 + 425. Put -0.3, x, 1/84 in decreasing order.
1/84, -0.3, x
Suppose -2*a + 12 = 4*s, -a + 4*s = 3*s. Let r = -40 - -83/2. Let m = 5.7 + -0.7. Sort a, r, m.
r, a, m
Suppose -485 + 21 = 2*w. Let g be (1/(-6))/(-1) - w/48. Sort -31, g, -5 in descending order.
g, -5, -31
Let z = -2014.1 - -2014. Sort 31, -0.5, z, -0.01.
-0.5, z, -0.01, 31
Let u be (38 - 5)/(3/2). Let b = 10 - 10.1. Sort -4, u, b in ascending order.
-4, b, u
Let y = 0.06 + 0.74. Sort y, 0, -1, 2/5.
-1, 0, 2/5, y
Suppose 4*l = -4*f + l + 31, f + 1 = l. Suppose 0 = 4*a - 3*a + 4, -4*r = 2*a - f. Sort r, -4, 1 in decreasing order.
r, 1, -4
Let a = 417.73 + -416. Let f = a + -1.63. Put -8, f, 1/9, -5/2 in descending order.
1/9, f, -5/2, -8
Suppose 0*h + 2*h = 4*j - 22, 3*h = -2*j + 7. Suppose j*m = 3*m. Let s = 11057 + -11062. Put s, 4, m in ascending order.
s, m, 4
Let j = 77 + -80. Let s = -11.2 + 16. Let z = -5 + s. Put -1, z, j in decreasing order.
z, -1, j
Let o = 2.9 - 3.2. Let c be 80/(-15) + 2 + (1 - -2). Sort 0.4, c, o, 2/9 in descending order.
0.4, 2/9, o, c
Suppose 0 = -40*b - 24 - 50 + 34. Let q(t) = t - 3. Let n be q(0). Let m = -4/13 + -40/39. Sort n, b, m in decreasing order.
b, m, n
Let x = 3.222 + -0.222. Sort 0.3, x, -5, -1/25 in decreasing order.
x, 0.3, -1/25, -5
Suppose -5*u + 5 = -4*l, 0 = -2*l - 5*u + 7 + 28. Put -8, -4, -7, l in descending order.
l, -4, -7, -8
Let z(j) = 3*j. Let m be z(-4). Let f be (-1 + -1 + -1)/1. Sort -2, m, f in descending order.
-2, f, m
Let q = 1 + -1. Let p be 16*1 + 520/(-52). Put p, 3, q in ascending order.
q, 3, p
Let y(v) = v**3 - 6*v**2 - 2. Let a be y(6). Let m be (3/(-6))/(2/(-32)). Suppose 4*s + 4*s = m. Put a, s, 0 in decreasing order.
s, 0, a
Let i = 6 + 3. Let v = 31 + -22. Let p = v - i. Put 5, -4, p in descending order.
5, p, -4
Let k = 1023.22 + -1023. Sort k, -3, -5, -3/7.
-5, -3, -3/7, k
Let p = -145 - -147. Sort p, 11, 1, 4 in decreasing order.
11, 4, p, 1
Suppose 24*i = 90 - 66. Sort -9, -2, 2, i.
-9, -2, i, 2
Let q be -1 + 2 - (2 + 16). Let m = 18 + q. Sort m, -1, 2.
-1, m, 2
Let d = 42 + -47. Sort -1, d, -4 in increasing order.
d, -4, -1
Let m be 4 + (283/(-65) - 12/(-78)). Let j = -1.03 + 0.03. Sort j, m, 1 in ascending order.
j, m, 1
Let b = -13 + 9. Let u(o) be the first derivative of o**2/2 + o - 1. Let v be u(-4). Sort v, b, -5.
-5, b, v
Let n be (-1 + -1)*27/(-18). Put -3, n, -58, 1 in ascending order.
-58, -3, 1, n
Let o be (-2)/(-5) - 22/(-20). Let i = 1 + -0.5. Let t = 621.7 + -622. Sort t, o, i in increasing order.
t, i, o
Let k = -69 + 72. Sort k, 2, -5, -3.
-5, -3, 2, k
Let t = -1.12 + 0.12. Let w = t - -3. Let i = 0.2 - 0.4. Put w, -5, i in decreasing order.
w, i, -5
Let z be (-6)/(-5)*(436/(-114) + 4). Let t = -7/57 - z. Let r = 0.2 + -0.3. Sort r, -2, t in increasing order.
-2, t, r
Suppose -4*x + 7*x = 12. Let t(u) = 7*u**2 - 132*u - 23. Let j be t(19). Sort -5, -2, j, x.
-5, j, -2, x
Let o = -13.1 - -13. Let a = -0.2 + o. Let d = 0.1 + -0.5. Sort d, 1/8, a in descending order.
1/8, a, d
Let j = -0.0436 - 4.9564. Let l be 6/(-12) + 1/2. Let h = 3.7 - 4. Sort h, j, l in increasing order.
j, h, l
Suppose 2*z + 22 = 14. Suppose -3*n + 1 + 7 = -2*t, -5 = -3*t - 4*n. Let h = z + t. Sort h, 4, 0 in increasing order.
h, 0, 4
Let z = 261 - 263. Let l = 2.8 + -2.9. Sort z, -1/4, l, -0.3 in increasing order.
z, -0.3, -1/4, l
Let o = 0.969 - 0.869. Sort 21, -2/7, o in ascending order.
-2/7, o, 21
Suppose -2*n - 3*q = 3*n - 70, -2*n - q = -27. Let a = -17 - -4. Let d = a + n. Sort -3, d, -1 in increasing order.
-3, d, -1
Let x be (-8)/(4/10 - 104/160). Let h = x - 31. Let d be ((-25)/(-15))/(2/6). Sort h, -3, d.
-3, h, d
Let p be ((16/10)/(-4))/((-1)/10). Let x = 7 + -10. Sort -1, p, x in decreasing order.
p, -1, x
Suppose -413*q + 91 = -406*q. Put 2, -7, q in increasing order.
-7, 2, q
Suppose -131 + 101 = 10*v. Sort 148, 1, v.
v, 1, 148
Suppose -5 = 2*z + 3. Let k(u) = -u**2 - 4*u - 3. Let b be k(-3). Suppose -l + 3*m = -b + 8, 0 = l - 5*m + 16. Put -5, l, z in decreasing order.
l, z, -5
Let c = -266.2 - -266. Sort c, -2/3, -11.
-11, -2/3, c
Let x be ((-18)/(-8) - 2)*4. Let v = -7 - -11. Let g(p) = 9*p + 72. Let w be g(-8). Sort x, w, v in ascending order.
w, x, v
Let h = 0 - -5. Let y = h + -9. Let p be (-4)/32 + (-2)/y. Sort p, -5, 4 in decreasing order.
4, p, -5
Let o = 71.5 - 49.5. Sort -1/6, o, -2/7 in increasing order.
-2/7, -1/6, o
Suppose -s = -294 + 289. Put s, -9, -3, 0 in descending order.
s, 0, -3, -9
Suppose 0 = -7*v + 4*v. Suppose d + v*d = 10. Suppose -d*p = -14*p + 16. Put 5, p, 2 in descending order.
5, p, 2
Let w be (-137 - -137) + (-2)/7. Put -0.05, w, 4 in decreasing order.
4, -0.05, w
Suppose -q + 9 = -y, 2*y = -3*y + 4*q - 41. Suppose -4*l + 4*s - 68 = 0, 55 = 4*l - 9*l - s. Sort l, y, -3 in decreasing order.
-3, y, l
Let y be 6/(-21) + 66/(-14). Suppose u = -4*d - 15, 0*u - 5*d = -2*u + 22. Suppose 2 = -2*c + 4*j, 7*c - 5*c - j - 7 = 0. Put c, u, y in descending order.
c, u, y
Let c be (-3)/(-2) - 364/56. Sort c, 1.2, 2, 4.
c, 1.2, 2, 4
Suppose -3*w = 5*x, -2*w = -2*x - 0*x + 16. Suppose -45*t = -42*t + 6. Sort 2, x, t in increasing order.
t, 2, x
Let j = 3 + -1. Let r(c) = c**2 - 36*c + 67. Let v be r(34). Sort 3, v, j in descending order.
3, j, v
Suppose 29*v = -6*v - 70. Suppose x = -x + 8. Suppose 0 = -x*r - 5*j + 28, -3*r + 2*j + 2*j - 10 = 0. Sort v, r, 0 in ascending order.
v, 0, r
Let g = -226 + 231. Sort -2, 1, g, 0 in increasing order.
-2, 0, 1, g
Let g(x) = x**2 - 26*x - 2. Let c be g(0). Put 5, 0.3, c in decreasing order.
5, 0.3, c
Let m = -7/27 - 2/27. Let f = -130 + 131. Sort m, 3/8, f in ascending order.
m, 3/8, f
Let o = -8 + 5. Sort 6, 2, 0, o in increasing order.
o, 0, 2, 6
Let r(y) = -91*y + 2. Let c be r(2). Let t be 3 - (-387)/(-54)*74/(-3). Let s = t + c. Put s, -5, -4 in decreasing order.
s, -4, -5
Let w = -3 + -2. Let l be 60/(-14) - 20/(-70). Suppose -5*h + h + 16 = -2*t, -2*h = -2*t - 10. Sort w, l, t in descending order.
t, l, w
Let p be 4/6*(-21)/238. Let i = -21/68 - p. Put 0.3, 2, -0.2, i in increasing order.
i, -0.2, 0.3, 2
Suppose -15 = 3*r, 0 = h - 5*r - 16 - 10. Put -29, -2, h in increasing order.
-29, -2, h
Let m = 6 - 3. Suppose -b - 4*b - 4 = -t, -m*t + b = -12. Let y be (-7)/(3 - (5 - 3)). Sort 0, y, t.
y, 0, t
Suppose 467 = -14*w + 467. Sort 2, -53, -1, w.
-53, -1, w, 2
Let p(m) = 6*m**2 - 86*m + 32. Let t be p(14). Sort 2, 6, t in ascending order.
2, t, 6
Let g(s) = s**3 - 27*s**2 - 2*s + 52. Let b be g(27). Put -1, b, 151 in descending order.
151, -1, b
Let f = -2263/9 + 251. Let d = 57.3 + -61. Let p = 3.62 + d. Sort f, -1/3, p.
f, -1/3, p
Let s = -3982 - -3978. Let c(b) = 3*b. Let m be ((-1)/(-2))/(2/(-4)). Let y be c(m). Put -1, s, y in decreasing order.
-1, y, s
Let c be -1 + (-2 - -7) + -2. Let t be -8 - 0*(1 + -2). Let q = -9 - t. Sort 4, q, c in ascending order.
q, c, 4
Suppose 0 = -3*c + 5*x + 32, x + 12 = 2*c - 0. Suppose -1 + 52 = 51*p. Put c, p, -3 in decreasing order.
c, p, -3
Suppose 8*s + 32 = 112. Let p be 216/(-10) - ((-16)/s + 2). Let l = 10 - 12. Put p, l, 3 in decreasing order.
3, l, p
Let b = 35 + -34.36. Let u = 0.34 - b. Let d(r) = -r**3 + 6*r**2 - 5*r - 4. Let p be d(5). Put u, -2/13, p in descending order.
-2/13, u, p
Let b(n) = -2*n**3 - 5*n**2 + n - 24. Let l be b(-5). Let a = -290/3 + l. Put a, 3/8, -0.3 in decreasing order.
3/8, -0.3, a
Let r = 98.919 + 0.081. Let v = 99 - r. Sort 0.3, -0.2, -0.11, v in ascending order.
-0.2, -0.11, v, 0.3
Let z(p) = p - p**3 + 1 + p - p**2 - p**2. Let v be (3 - 3)/(-5) - (-1 - -3). Let g be z(v). Sort 4, g, -2.
g, -2, 4
Let n be (-2 - -1)*(10 - 1). Let y(k) = k**2 - 8*k - 8. Let p be y(9). Sort 4, 3, p, n in increasing order.
n, p, 3, 4
Let z = -999 + 1002. Let c = -22 - -22.23. Sort c, 1/3, z in increasing order.
c, 1/3, z
Suppose 3*f - 4*h + 26 = 18, 3*h + 7 = -f. Put -21, 2, f in descending order.
2, f, -21
Let d = 746 - 471. Let u = d - 262.7. Let q = 12 - u. Put q, 5, 1 in descending order.
5, 1, q
Suppose 4*p = p - 12. Let k(c) = 5 - 8 - 6*c**3 + 2 + 0*c**3. Let a be k(-1). Put p, a, -0.3 in decreasing order.
a, -0.3, p
Suppose -4*i = -s + 55 + 12, -3*i - 4*s - 74 = 0. Let l = -16 - i. Let v = 2 + l. Put 3, v, 0 in ascending order.
0, 3, v
Let b(v) = 2*v - 1. Let t 