. Sort 2/7, -0.01, f in decreasing order.
2/7, f, -0.01
Suppose 3*g = 2*g + 3. Suppose 1 + g = a. Let v(o) = -o + 14. Let h be v(11). Put -2, a, h in increasing order.
-2, h, a
Let i = 156 + -151. Put i, -1/2, 4 in decreasing order.
i, 4, -1/2
Let m be 10*((-88)/16)/(-11). Sort -4, m, -5, 0 in descending order.
m, 0, -4, -5
Suppose 9 = 2*a - a. Suppose -8*k - a = -5*k. Suppose -7*y = -2*y - 20. Sort -1, y, k in decreasing order.
y, -1, k
Suppose -4*j + 1 + 13 = 2*x, -3*j = -2*x - 21. Put 0, x, -17 in descending order.
0, x, -17
Let g = 283 - 282.5. Put -1, g, -1/7 in ascending order.
-1, -1/7, g
Let m = -0.04943 + 0.14943. Let w = -5.7 + 6. Sort w, m, -13 in ascending order.
-13, m, w
Suppose 4*i + 2*u = -11 + 33, 28 = i + 5*u. Suppose -84*y + 86*y - 10 = -d, 0 = -y - 26*d + 158. Put y, 4, i, -3 in descending order.
4, i, y, -3
Let m be 6 + 3*(-3)/18*2. Sort 2, m, -1, 1.
-1, 1, 2, m
Let o = 2 + 1. Let m = 4.1 - 4. Put m, o, 1, -2 in descending order.
o, 1, m, -2
Suppose 4*p = 11 + 9. Let k = -25 - -28. Suppose 6 = -0*u - k*u. Sort 4, p, u in descending order.
p, 4, u
Suppose -7*d - d = 4*d. Put -3, -5, d, 5 in descending order.
5, d, -3, -5
Suppose -2*l + 6 = -4. Let h(j) = -j**2 + 7*j - 8. Let c be h(7). Let p be (c/6)/(6/18). Put 4, l, p in increasing order.
p, 4, l
Suppose -7*a - 6 = 2*l - 11*a, 3*l = -3*a - 9. Let j = -2 - -2. Let p = -0.07 + -0.13. Sort l, p, j in decreasing order.
j, p, l
Let a = -5.62 - -10.62. Put a, 0.1, -4/7 in increasing order.
-4/7, 0.1, a
Let o(c) = -c**3 - 6*c**2 + 37. Let p be o(-4). Put -1, p, 8, -4 in increasing order.
-4, -1, p, 8
Let q = -119/3 - -485/12. Let u = 4.57 - 6.57. Put q, -0.5, u in increasing order.
u, -0.5, q
Let k = -95 + 94.2. Put 4, k, -2, 1 in ascending order.
-2, k, 1, 4
Let b = -1.1 + -0.9. Let s = -7 + b. Let v = -360/7 - -51. Put v, s, -3 in ascending order.
s, -3, v
Let v(f) = f**3 - f**2. Let s(d) = -d**2 - 9*d + 1. Let g be s(-8). Let n be 1 + 0 - g/9. Let a be v(n). Sort -1, a, -5.
-5, -1, a
Suppose 48*j + 7*j = 0. Sort -1, j, 30, 4 in decreasing order.
30, 4, j, -1
Let m(v) be the third derivative of -v**4/8 - 2*v**3 + 5*v**2. Let l be m(-5). Suppose -4*h = 2*i + 10, 3*i + l = 3*h - 12. Sort i, -1, 3 in increasing order.
i, -1, 3
Let l = -6 + 9. Suppose 6*i + 69 = 561. Let q = i - 84. Sort q, 0, l in decreasing order.
l, 0, q
Let u be (-10)/15 - (-34)/6. Suppose 2*m - u*m = 0. Sort m, 3, 2.
m, 2, 3
Suppose v + 2*g = g + 7, -3*v - g + 17 = 0. Suppose 4*p - 7 = 5. Let f(k) = -6*k + 62. Let h be f(10). Put h, v, p in decreasing order.
v, p, h
Let q = -35 + 41. Let v be (-26)/(-12)*(36/q)/2. Sort -1/2, -5, v in decreasing order.
v, -1/2, -5
Let x be (-57)/(-2)*20/(-30). Let b = x - -9. Let c = b - -10. Put -1, -0.5, c in decreasing order.
c, -0.5, -1
Suppose -79*i - 16*i - 635 = 32*i. Suppose -2*u = -3 - 5, 4*g - 5*u + 16 = 0. Let h(v) = v**2 - 2*v + 5. Let p be h(4). Sort g, i, p in descending order.
p, g, i
Let n = 2.673 - 2.573. Let r = -7.4 - -7.11. Put r, -1, n, 1 in increasing order.
-1, r, n, 1
Let j = -313 - -317. Sort 1, -121, j in ascending order.
-121, 1, j
Let t = 243 + -228. Put -5, 2, t in increasing order.
-5, 2, t
Suppose 0 = 8*x - 38 + 14. Let q be (2 - 0) + (-2)/(-1). Suppose f = -q*f + 5. Put f, x, -2 in ascending order.
-2, f, x
Let q = -0.9 - -0.4. Suppose t - 5*t = -76. Suppose -3*g - t = -25. Sort g, 2/15, q in increasing order.
q, 2/15, g
Let x = -61/4 - -15. Let h = 91 + -95. Sort h, x, 5 in ascending order.
h, x, 5
Let n be 465/1550*8/(-6). Sort 0.1, -0.1, n, -1/5.
n, -1/5, -0.1, 0.1
Suppose -34*r = -318 - 226. Sort r, 3, 0, -3 in ascending order.
-3, 0, 3, r
Suppose -4*w - 5*r = -r - 60, 5*r - 62 = -4*w. Suppose -3*q = -q + 76. Let z = q - -33. Put z, -2, w in descending order.
w, -2, z
Let c = -8.7 + -1.28. Let n = c + -0.02. Let m = 15 + n. Sort -1/2, 0.08, m.
-1/2, 0.08, m
Suppose 29 - 9 = 4*v. Suppose -v*w = 5*c + 10, -3*c + 0*c = -2*w - 19. Suppose 0 = -7*r + 15*r - 16. Put 5, w, r in decreasing order.
5, r, w
Let t be (-16)/28 - (-6)/(-14). Let p(m) = m + 9. Let q be p(-7). Let h be (-1)/t*q/2. Sort 0, h, -5 in increasing order.
-5, 0, h
Suppose -4*t - 4 = -2*z - 0, t + 28 = 5*z. Let r(b) be the third derivative of -b**4/24 + b**3 + 33*b**2. Let y be r(z). Put y, -5, -6 in decreasing order.
y, -5, -6
Let m = 16.6 - 16.2. Sort -2/11, -0.2, m in decreasing order.
m, -2/11, -0.2
Let q be 3/(-14) - (-2)/(-7). Let j(n) = -n**2 + 4. Let x be j(-6). Let i = -37 - x. Put q, 4, i in increasing order.
i, q, 4
Suppose 0 = -9*m - 59 + 14. Sort -1, m, 18, 1 in descending order.
18, 1, -1, m
Let j = -1 + 1. Let a = -11 + 10. Let c = a + 1.5. Put c, j, 5 in increasing order.
j, c, 5
Let z(g) be the third derivative of 0*g**3 - 1/60*g**5 + 0 + 0*g**4 - g**2 + 0*g. Let c be z(-2). Sort c, -3, -1 in increasing order.
c, -3, -1
Let g = -174 - -173.6. Put -0.023, 4, g in ascending order.
g, -0.023, 4
Suppose 5*t = 3*i - 11 - 23, 0 = i + 5*t + 22. Sort 6, 1, i.
1, i, 6
Let a = 18 - 16. Let f = -4578/13 - -352. Let j be ((-9)/(-6))/((-75)/20). Put f, j, a in ascending order.
j, f, a
Suppose -5*d - 3*w - 6 = 0, -5*d = -39*w + 40*w + 2. Put d, -4, 2, -34 in decreasing order.
2, d, -4, -34
Suppose -i = 2*y - 2 - 5, 7 = 5*i - 4*y. Suppose u + 13 = -5*p + 2*u, -u + 9 = -i*p. Let j be 1 + 2 + 2/1. Put j, -5, p in ascending order.
-5, p, j
Suppose 2*b - 7 - 5 = 4*l, -4*l = -3*b + 10. Let m = -22 + 26. Suppose -m*w - 38 = -50. Sort -3, w, b.
-3, b, w
Let y = 103 - 106. Sort 2, y, 12 in descending order.
12, 2, y
Let z(a) = 5*a**2. Let p be z(-1). Let j = 5 - p. Suppose j = 5*l - 4 + 9. Put 0, l, 0.4 in ascending order.
l, 0, 0.4
Let p = 214 + -214.2. Sort -1/56, p, 5 in decreasing order.
5, -1/56, p
Let b = -3 + 2. Let w = -9867 - -9871. Sort b, -4/9, w.
b, -4/9, w
Let f = -449 - -448. Put 3, -0.1, f in descending order.
3, -0.1, f
Let g be 7/21 - 44/(-12). Sort 23, g, 3, -1.
-1, 3, g, 23
Let p(c) = -c**2 - 8*c - 5. Let b = 4 + -11. Let a be p(b). Suppose r + r = 2*y - a, -3*r = -4*y. Sort 2, 1, r.
r, 1, 2
Suppose 10 = -8*u + 34. Suppose -2*i - 5*t = 26, -u*t - 65 = 5*i - 0*i. Let d = -14 - i. Put d, 5, 3 in decreasing order.
5, 3, d
Let n = 349 + -368. Sort 1, 2, n, -4.
n, -4, 1, 2
Let h(c) = c**2 - 8*c + 20. Let g be h(4). Sort 1, -1, -3, g in descending order.
g, 1, -1, -3
Suppose -2*k + 5*p - 3 = -31, -2*k = -p - 12. Let f(s) = -3*s - 14. Let l be f(-6). Suppose l*q + 5*b = 0, q + 3*b + 17 = 6*b. Sort k, q, -4.
q, -4, k
Let n = 8 - 6. Suppose -n*o - o + 3 = 0. Let t = -1.4 - -5.4. Put -3, t, o in decreasing order.
t, o, -3
Let n = 84 - 503/6. Suppose -4 - 1 = -5*u. Let b(h) = 3*h**3 + h**2 - 2*h + 1. Let y be b(u). Sort -5, n, y in increasing order.
-5, n, y
Let a = 249.055 - 249. Put -1/7, 0, a in increasing order.
-1/7, 0, a
Let c = -18 - -6. Let f = -2395 + 2397. Sort -2, f, c in increasing order.
c, -2, f
Let w be (302/34 - 4) + -5. Sort 1, w, -9, 0.06.
-9, w, 0.06, 1
Let x = -34 - -37.8. Let h = x + -7.8. Let l(a) = a**3 - a**2. Let o be l(-1). Sort o, h, -0.2 in ascending order.
h, o, -0.2
Let r = 53 - 77. Let j be 11/44 - 2/r. Let m be (-2 + (-15)/(-3))/1. Sort j, -7, m.
-7, j, m
Let z = 592 + -590. Let s be (-2)/(-8) + 27/4. Let r = s + -12. Sort r, z, 5.
r, z, 5
Suppose 416 = -8*k - 0*k. Let d = k + 46. Sort 1, -4, d in increasing order.
d, -4, 1
Let t(q) = q**2 - 6*q + 2. Let n be t(4). Let g(o) = o**3 + 22*o**2 + 117*o - 1. Let p be g(-13). Sort n, 3, p, -5 in descending order.
3, p, -5, n
Let n be ((-16)/72)/((-1)/9) - -3. Sort -2, -300, n.
-300, -2, n
Let v(d) = 3*d - 17. Let c be v(6). Suppose 3*a = 2*p + 2, 5*a + 4 + c = 5*p. Sort 20, p, -2 in descending order.
20, p, -2
Suppose 0 = 11*k - 43 + 439. Sort 1, k, 0 in increasing order.
k, 0, 1
Let o be (7 + -1)*(-4)/6. Let p = 1 + -1. Suppose -m + 2*m = p. Sort 5, m, o.
o, m, 5
Let d = -32 - -61. Suppose 2*m = 3*y - 0 + 11, 5*y + d = -2*m. Put m, -9, 3 in descending order.
3, m, -9
Suppose -4*x - 5*i = -46, -12 = -5*x + 2*i + 29. Suppose 15 = -h + 6*h. Sort h, x, 1.
1, h, x
Let z = -2056/7 + 294. Sort -15, 0.1, 0.2, z.
-15, 0.1, 0.2, z
Let h be (306/(-12))/((-3)/8). Let x = h + -614/9. Suppose -2*g + y + 8 = 3*y, 5*g + 3*y - 12 = 0. Put x, -4, g in descending order.
g, x, -4
Suppose -2*a + 1 - 3 = 0. Let f(h) = h