 q = -288 - -1442/5. Sort 1, o, q.
q, 1, o
Let y(v) = -4*v**2 + 3*v - 7. Let t be y(2). Sort 2, -5, t, -3 in descending order.
2, -3, -5, t
Suppose 5*k - 8*k = 3. Sort -5, 2, k, 1 in decreasing order.
2, 1, k, -5
Let v be (8/(-6))/(-4)*(3 + -1). Sort -0.4, -0.1, 1, v in descending order.
1, v, -0.1, -0.4
Let j = 0.8 + -1.8. Sort -0.1, j, 2 in descending order.
2, -0.1, j
Suppose -14 = 9*p - 2*p. Put 0.5, p, 0.42, -0.1 in ascending order.
p, -0.1, 0.42, 0.5
Let q = 16 + -16. Suppose 3*b = 9, q = g - b + 2 + 2. Put g, -4, -2 in increasing order.
-4, -2, g
Let d(a) = -2*a + 30. Let h be d(15). Put h, 13, -3 in increasing order.
-3, h, 13
Suppose 2 = -3*d + 2*d. Put 0, d, -3 in increasing order.
-3, d, 0
Let i = -260 + 259. Suppose -8 + 0 = -z. Put z, 0, i in descending order.
z, 0, i
Let p = -0.124 - -0.424. Sort p, -0.5, 1, -3 in ascending order.
-3, -0.5, p, 1
Let l = -6 + 5.9. Suppose -5 = 3*f - 2*p - 0, 0 = f - 4*p + 15. Let i = 1 - f. Sort i, l, -1 in increasing order.
-1, l, i
Let h = 52 - 45. Sort 4, h, -2 in descending order.
h, 4, -2
Let l = 29 - 28. Let p = -2.4 - -2. Sort l, 2/5, p.
p, 2/5, l
Suppose 68 = 2*x + 52. Put -3, x, 1 in ascending order.
-3, 1, x
Let r = 12 + -6. Let a(t) = -t**3 + 6*t**2 + 2*t - 9. Let u be a(r). Suppose -5 = -3*h + 2*v, 5*h + 2*v + 0 = u. Sort -1, -5, h in ascending order.
-5, -1, h
Let w = 1 - 0.7. Let c = -233/3 - -77. Let m = -1/31 - -71/279. Put c, m, w in ascending order.
c, m, w
Let k be (0 - 0)/(6 + -4). Sort -2, 28, k in increasing order.
-2, k, 28
Let v = 56 + -50. Let q be 1/(-1) - (-1 - -1). Sort 0, q, v in ascending order.
q, 0, v
Suppose -5*i + 10 = -15. Suppose 7 = 3*l + 2*a, 4*a = -i + 1. Let p(v) = v**3 - 5*v**2 - 7*v + 5. Let z be p(6). Sort 1, z, l.
z, 1, l
Let d = -2.2 - 0.8. Let k = 711/40 - 87/5. Sort -0.4, k, d.
d, -0.4, k
Suppose -4*v + 255 = -5*c, 0 = -3*v + c - 6*c + 165. Let h be v/18*6/(-5). Put 5, h, 0 in descending order.
5, 0, h
Let o = -18 - -23. Suppose 0 = -2*h - 3*h. Put h, 4, o in decreasing order.
o, 4, h
Let g = 0.23 - 16.23. Let c = g - -15. Let s be ((-1)/14)/(2/8). Put 1/4, s, c in descending order.
1/4, s, c
Let q = 2208/13 + -170. Sort q, -4, 0.2.
-4, q, 0.2
Let v be (-1 - 11) + (-9)/(-3). Let c(o) = -2*o**2 + 2*o - 1. Let h be c(-2). Let j = v - h. Sort 0.3, -2, j in descending order.
j, 0.3, -2
Let v be (1/3)/(1/(-15)). Suppose h + 8 = 4*t, -t - 3*h + 0 = -2. Let j = t + 1. Put j, -3, v in decreasing order.
j, -3, v
Let l = -94 - -95. Put l, 2, -3 in ascending order.
-3, l, 2
Let r be (-1)/((-38)/90 + (-12)/(-54)). Suppose -2 = -5*h + 3. Put r, h, -2/7 in decreasing order.
r, h, -2/7
Let s(y) = -y**3 - 9*y**2 - 9*y - 10. Let b be s(-8). Sort 4, b, 0.5 in decreasing order.
4, 0.5, b
Let j = 15 + -15.07. Let v = 0.33 - j. Let d be 4/(-6)*(-4)/(-6). Sort v, d, 3/4 in ascending order.
d, v, 3/4
Let q be (2 + 2 + -3)*1. Suppose -5*j + 4*c = 2*c + q, -4*c - 8 = 0. Sort 4, 0, j in decreasing order.
4, 0, j
Suppose -8 = -4*j + 2*g - 7*g, j - g = -7. Put 16, j, -4 in decreasing order.
16, j, -4
Let s(g) be the second derivative of g**4/12 - g**3 + 5*g**2/2 + 3*g. Let r be s(6). Put 3, r, -1 in decreasing order.
r, 3, -1
Let w(l) = -l**3 + l**2 - l + 3. Let j be w(0). Let n = -90 - -89. Sort 5, j, n in decreasing order.
5, j, n
Suppose 3*c - d = -10, -5*c + 1 = 2*d + 3. Let o = -9 + 11. Suppose 8 = -o*q + 3*i + 3, 2*i + 5 = 3*q. Put q, c, 0 in increasing order.
c, 0, q
Let x(o) = 3*o**2 - 10*o - 1. Let k(a) = -8*a**2 + 29*a + 3. Let m(d) = -4*k(d) - 11*x(d). Let i be m(-6). Put -3, 3, i in ascending order.
-3, i, 3
Let g = 0.1 + 0.4. Let u = -0.04 - 0.06. Sort 1, u, g in ascending order.
u, g, 1
Let l = 8/39 - -2/117. Let w = -4.7 + 5. Sort w, -1, l in descending order.
w, l, -1
Let j(b) = -b**3 + 4*b**2 - 4*b + 3. Let y be j(3). Suppose 0*m = -5*m - 20. Put 5, y, m in ascending order.
m, y, 5
Let j(k) = k - 8. Let i be j(8). Let a(p) = -p**3 + 2*p**2 - 1. Suppose 3 = 4*s - 5. Let o be a(s). Put i, o, 0.2 in ascending order.
o, i, 0.2
Suppose -j = -3*w + 21, -30 = -4*w - 4*j + 14. Let v be (3/42)/((-2)/w). Suppose 0 = -2*t + 3*t + 2. Sort v, t, 2/5 in decreasing order.
2/5, v, t
Let w = -20 + 2. Put 1, 5, w in descending order.
5, 1, w
Let i = 73 + -68.3. Let j = -5 + i. Let w(s) = -s**3 + 6*s**2 - s + 7. Let o be w(6). Sort j, o, -4 in increasing order.
-4, j, o
Let j = -12 + 9. Put 2, j, -4 in decreasing order.
2, j, -4
Let t = -64 - -60. Sort 3, 0.01, t in descending order.
3, 0.01, t
Let i be 1/2*400/10. Put 2, i, -5 in decreasing order.
i, 2, -5
Let r = -8 - -6. Put 21, -1, r in decreasing order.
21, -1, r
Suppose -5*t + 25 = -5*h, -t + 15 = -2*h + 2*t. Suppose l = h, 2*j = -j - 3*l - 18. Let v be 1 - -1*(-2 - j). Sort -0.3, 2/7, v in decreasing order.
v, 2/7, -0.3
Let u(n) = -n + 8. Suppose -3*y - 22 = -p, 2*p + 3*y - 6 = 2. Let j = -2 + p. Let g be u(j). Sort 2, g, 1 in decreasing order.
2, 1, g
Let t = -4.457 + -0.483. Let k = t + -0.06. Let n be 21/(-36) + (-2)/(-6). Put k, n, 5 in descending order.
5, n, k
Let h = -48 - -44. Sort 3, h, 0.4, -5.
-5, h, 0.4, 3
Let l(m) = 2*m**2 - m. Let o be l(1). Let j be (o*-1)/((-3)/(-15)). Let r = -6 + 11. Sort -2, j, r.
j, -2, r
Suppose 2*r + 3 = 15. Suppose 0 = -4*a - 6 - r. Let o be a/90*-4*6. Put o, 4/9, -4 in descending order.
o, 4/9, -4
Let l = 8/3 + -53/21. Put 3, l, -3 in descending order.
3, l, -3
Let t be 111/(-66) - (-2)/11. Let a = 3 + -5. Let l be 3/10 + (-3)/(-6). Sort t, l, a in descending order.
l, t, a
Let j(t) be the second derivative of t**3/6 + 6*t**2 + t. Let x be j(-9). Sort 0, -4, x in descending order.
x, 0, -4
Let r = -3/55490 - -70222607/221960. Let u = 316 - r. Let w = 0.1 - 0.3. Sort w, u, 1 in ascending order.
u, w, 1
Suppose -4*d = 4 - 48. Put d, 1, 5 in decreasing order.
d, 5, 1
Let n be 33/154*((-1)/(-3) + 1). Sort 6, -12, n in decreasing order.
6, n, -12
Let w = 0.09 - 2.09. Let t = 8.2 - 7. Sort 2/7, t, w in increasing order.
w, 2/7, t
Let n be 4/(-22) - 396/(-847). Let q = -0.8 - -4.8. Put n, 3, q in descending order.
q, 3, n
Let k = 8.02 + -8. Let b = 7.98 + k. Let r = 7.6 - b. Sort 0.3, 1, r.
r, 0.3, 1
Let m = 0.07 + -0.11. Let u = -3.04 - m. Sort 0.3, u, 0.4 in descending order.
0.4, 0.3, u
Let f be 6*1*(-15)/(-225). Sort -1, f, -2 in ascending order.
-2, -1, f
Let o = 0.427 - 3.427. Let q = -0.1 - -0.1. Put 3, o, q in decreasing order.
3, q, o
Let x = 30.3 - 29.3. Let v = -57/448 - 1/64. Put x, v, 3/5 in decreasing order.
x, 3/5, v
Let a(i) = -i**2 + 4. Let f be a(0). Put f, 3, 0 in descending order.
f, 3, 0
Let p be (-4)/(-14) - (-12)/(-42). Suppose p = -3*d - 0 - 15. Sort d, 1/4, 2 in ascending order.
d, 1/4, 2
Let v be -282*((-1)/9)/((-9)/(-27)). Sort -5, v, 3 in decreasing order.
v, 3, -5
Let v = -3 - -5. Let w be -6*((-40)/105 + (-4)/14). Put w, v, 3 in decreasing order.
w, 3, v
Let n be (-1)/((-3)/(-2))*6. Let l be 0/(n + 3 - 1). Put l, -4, -3 in decreasing order.
l, -3, -4
Let q = -0.4 - -0.3. Let u = -30.6 - -30.8. Sort 0.5, u, q in ascending order.
q, u, 0.5
Let h = 10/9 + -61/63. Sort -1/6, 2/13, h, -1 in descending order.
2/13, h, -1/6, -1
Suppose 7*o = -17 - 4. Put -5, 0, o, -1 in increasing order.
-5, o, -1, 0
Suppose -6 = -5*p + x + 2, 5*p - 6 = 2*x. Suppose 0 = 5*l + 25 - 10, 2*l + 5 = z. Put p, z, -2 in descending order.
p, z, -2
Let h = -3 - -6. Let r = -5 + h. Let n = r + 1. Sort 4/7, n, 2/7.
n, 2/7, 4/7
Let i be (-7)/(-4) + 2/8. Let z be (-15)/i*14/21. Sort 3, -1, z in decreasing order.
3, -1, z
Suppose 0 = -5*i - 5*b, -6*i + 3*b - 14 = -2*i. Let w be i/8 - (-45)/(-12). Suppose 3*j - 2*m = -j, 5*j + 3*m = -11. Sort w, j, 1.
w, j, 1
Suppose -4 = i + 2. Sort i, 2, -2.
i, -2, 2
Suppose h + 5 - 2 = 0. Suppose -19 = -4*w - 7. Suppose 2*j = 3 + w. Put j, h, 7 in ascending order.
h, j, 7
Let w be ((-7)/98)/((-1)/4). Let n be ((-3)/(-5))/(72/(-16)). Let d be 1 - -3*1/1. Sort d, n, w in decreasing order.
d, w, n
Let m = 2 + -1.7. Sort 0.4, 5, -0.3, m in descending order.
5, 0.4, m, -0.3
Suppose -5*c - 3*d + 7*d = 0, -5*c = d. Let u = 2 + -4. Sort u, c, -2/3.
u, -2/3, c
Suppose 4*n - u = 27, 2*n = 5*n + 5*u - 49. Let i = -38/5 + n. Put 0.5, 2, i in descending order.
2, 0.5, i
Suppose -d + 15 = -4*d. Let n be (-6)/(-15) - (-2)/(-5). Suppose r - 5*r = n. Put -4, r, d in decreasi