et s = -4 - -2. Put n, -0.5, s in decreasing order.
-0.5, s, n
Let g(j) = -j + 2. Let v be g(6). Sort v, 5, -23 in descending order.
5, v, -23
Let h be -3*(-2)/6*-3. Suppose -2*g = g + 6. Sort g, h, 5 in descending order.
5, g, h
Suppose -2*w = q + 3*q + 112, -2*w - 85 = -5*q. Let p = w - -148/3. Let x be 1*-3*2/(-10). Put x, 1/4, p in ascending order.
p, 1/4, x
Let z be 8/36 + (-2)/9. Let b be 3/3*6/15*-5. Sort -1, z, b in descending order.
z, -1, b
Let y(h) = -h**2 - 4*h + 6. Let k be y(-5). Let u(o) = 3*o**2 + o + 1. Let l be u(-1). Put l, -3, k in descending order.
l, k, -3
Let u(k) = -k**2 - 10*k - 1. Let c be u(-10). Put c, -3, 4 in descending order.
4, c, -3
Suppose 0 = m + 3*m. Suppose -g - 2*p - 8 = m, g - 3*p - 12 = 5*g. Let a(d) = d**3 + 2*d**2 - 2*d - 2. Let j be a(-3). Put -4, j, g in decreasing order.
g, -4, j
Suppose 0 = -2*d + 3*d. Let a = 14 + -20. Let y = a - -5. Put d, y, -5 in descending order.
d, y, -5
Let d = 76 + -76.41. Let u = 0.01 + d. Suppose 0 = 3*c + 9, 3 = -a - 2*c - 0. Sort a, -3, u in descending order.
a, u, -3
Let c(m) = m - 12. Let y be c(17). Sort 14, y, -2.
-2, y, 14
Let g = -0.4 - 4.6. Let w = g - -5. Sort -0.5, 2, w in descending order.
2, w, -0.5
Let g = -5 + 6. Put -4, -1, g in decreasing order.
g, -1, -4
Let o(q) = -2*q**3 - 23*q**2 - 18*q - 22. Let f(n) = -n**3 - 11*n**2 - 9*n - 11. Let s(a) = 5*f(a) - 2*o(a). Let i be s(-8). Put i, 0, -4 in descending order.
0, i, -4
Let p(z) = z**3 - z**2 + 2*z - 1. Let k be p(1). Let j be (-10 + 5)/(0 - k). Suppose 4 = -j*g + 3*g. Sort 4, 2, g in descending order.
4, 2, g
Let o = -26/7 - -248/63. Let w = 4.88 + 0.12. Put o, w, 1 in descending order.
w, 1, o
Let h = 209 - 219.3. Let x = -10 - h. Put x, 0.2, -2 in ascending order.
-2, 0.2, x
Let w = -222 - -220. Let u be (4 + -2)*(-5)/(-2). Sort u, 7, w.
w, u, 7
Suppose 0*m = 4*m + 16. Let f = 0.1 + -0.2. Let v = -3.23 + 0.23. Sort m, f, v.
m, v, f
Suppose -3*d - 2 = -2*d. Let c be 2*(-1 - 5/d). Suppose -2*r = -3*p + 2, c*p - p + 4 = -4*r. Put r, -3, -5 in descending order.
r, -3, -5
Suppose 0 = -4*d - 2*h - 12, 7 + 1 = -5*d + h. Put 3, d, 6 in decreasing order.
6, 3, d
Let z(p) = -p**3 - 7*p**2 - 8*p - 8. Let f be z(-6). Sort f, -1, 3 in descending order.
f, 3, -1
Let c be 4/5 + (-2)/2. Let q be (0 + -6)*71/(-9). Let v = q + -47. Put c, -0.3, v in descending order.
v, c, -0.3
Let p = -11 - -6. Let q(o) = 5*o**2 - 2*o - 3. Let h be q(-1). Sort 0, h, p in descending order.
h, 0, p
Let f(t) = 10*t**3 - 2*t**2 - 2*t + 1. Let h be f(-1). Sort -4, 5, -5, h in increasing order.
h, -5, -4, 5
Let h be 1/(2 + (-7)/(-1)). Put -1, h, -3 in decreasing order.
h, -1, -3
Let z(x) = 6*x**3 - 2*x + 1. Let c = 12 - 11. Let f be z(c). Sort f, 0, -2 in descending order.
f, 0, -2
Suppose -q + 10 - 30 = 5*u, 2*u - 3*q = -8. Let g(k) = k**3 + 2. Let m be g(0). Let t = 7 - 12. Put t, u, m in descending order.
m, u, t
Let t be (-5)/(-1)*(-16)/(-20). Sort -5, t, 1 in ascending order.
-5, 1, t
Let p(i) = -i**2 - 3*i + 1. Let h be p(-3). Let y = 13 - 17. Let f = h + y. Sort -2, 2, f in descending order.
2, -2, f
Let l = 1.1 - -10.9. Let z = l + -9.5. Let g = z + -2. Put -3, -1, g in ascending order.
-3, -1, g
Let v(i) = i + 1. Let r be v(4). Let x be (-6)/(-9)*21/14. Suppose f - 4 = -0*f. Sort x, r, f in increasing order.
x, f, r
Let i(r) = 5*r - 1. Let g be i(-1). Let n = g + 0. Let p = n + 4. Sort 1, 2, p in decreasing order.
2, 1, p
Let n(i) = -4*i + 4. Let u be n(-5). Let g be u/10 - (-4)/(-10). Suppose 3*o + 30 = 5*r, -g*o = 5*r - 3*r + 4. Sort 1, o, 0.5 in ascending order.
o, 0.5, 1
Let x = -29.3 + 29. Sort x, 0.4, 1/4 in increasing order.
x, 1/4, 0.4
Let c = -0.6 - -0.3. Let d = -0.2 - 0.3. Let b = d + 1. Sort b, -3/4, c in decreasing order.
b, c, -3/4
Let z = 0.045 + -0.045. Sort 5, -0.3, z in decreasing order.
5, z, -0.3
Let s(k) = -k**3 + 7*k**2 + 8*k - 4. Suppose -9*o + 32 = -5*o. Let h be s(o). Put 4, 1, h in decreasing order.
4, 1, h
Let k = -263.98 + 267. Let w = -9.02 + 9. Let a = k + w. Put -5, -0.4, a in descending order.
a, -0.4, -5
Suppose -b - 4*g = -15, -b - 21 = -0*g - 5*g. Sort -0.1, -3/8, b in ascending order.
b, -3/8, -0.1
Suppose 4*f = 8, -f + 4*f = l + 5. Let x = l + -4. Sort -4, -5, x in descending order.
x, -4, -5
Suppose 1 = 3*m + 13. Put -1, m, -3 in decreasing order.
-1, -3, m
Let k = -15.4 - -0.6. Let s = -11 - k. Let v = -4 + s. Put v, 1, -4 in ascending order.
-4, v, 1
Suppose -3*c + 8*c = 10. Suppose x + 10 = 11. Sort x, c, 3 in ascending order.
x, c, 3
Let p = 0.2 + -0.7. Sort p, 2/21, 0.3.
p, 2/21, 0.3
Suppose 0*j = -j - 3. Sort j, 1, -2 in descending order.
1, -2, j
Let h(z) = z**2 - 4*z - 6. Let p be h(7). Suppose 5*j = -10 - p. Suppose -5*i + t = 16, -3*i - 2 = -2*i + t. Put j, 5, i in increasing order.
j, i, 5
Let y be ((-4)/(-6))/(4/(-12)). Let j be 3*-1 - (-7)/(-7). Sort y, 2, j.
j, y, 2
Let t = 57432 + -156003. Let y = t - -22769849/231. Let d = -2/33 + y. Sort d, -3, -2/3 in decreasing order.
d, -2/3, -3
Suppose -2*y + 3 - 1 = 0. Let c = y - -1/2. Sort 2/9, c, -5 in ascending order.
-5, 2/9, c
Suppose 0*o = 4*z - o + 15, 3*o + 35 = -4*z. Suppose -4*c + 24 = -r + 5*r, 3*c = 2*r - 2. Put r, 1, z in decreasing order.
r, 1, z
Let y be (-6)/2 - -3 - -5. Let r be (8/(-10))/((-2)/10). Suppose r*b - 11 - 8 = -5*c, -b - 11 = -4*c. Sort b, -3, y.
-3, b, y
Suppose -2*g + 21 = 13. Put 3, g, 5, -4 in descending order.
5, g, 3, -4
Let d = 11 - 4. Let t = -12 + d. Let i = 2 - 1.9. Put t, -4, i in ascending order.
t, -4, i
Let h = 0 - 0.3. Let r = 1.92 + -2. Let s = r + -4.92. Put h, s, -4 in increasing order.
s, -4, h
Let h = -1.75 + 3.8. Let j = h - 0.05. Put -3, j, -0.5 in decreasing order.
j, -0.5, -3
Let d be -4 + 3/(-4 + 1). Let a = 3 + -5. Sort d, 3, a in increasing order.
d, a, 3
Let y(m) = -3 + 0 + 6 - m. Let x be y(2). Suppose 0 = t + 5*q + x, q = 2*t - 11 + 2. Sort t, 0, 5 in ascending order.
0, t, 5
Let b(v) = -v**3 + 9*v**2 + v - 8. Let t be b(9). Let d be -1 - 10/(1*-2). Sort 3, d, t.
t, 3, d
Suppose 4*s = 4*f + 24, s + 3*f = 8*f + 14. Sort s, 0, -0.1.
-0.1, 0, s
Suppose 0 = p + 1 + 2. Sort p, -5, -1, 3 in decreasing order.
3, -1, p, -5
Suppose 5*z + 20 = -3*q, -4*z = q + q + 14. Sort 5, 8, q in descending order.
8, 5, q
Suppose -2*i = -2 + 14. Let q be (-22)/28 + i/(-21). Let y = 8 - 8.3. Sort q, y, 2/19 in ascending order.
q, y, 2/19
Suppose -4*r - 25 = -3*m + 2*m, -5*r = 2*m + 15. Sort 3, r, -1.
r, -1, 3
Let q = 1 + -4/3. Let l = 0.1 + 0.9. Suppose -3*x + x + 6 = 0. Sort x, l, q.
q, l, x
Let r = 49 - 53. Put -3, 2, r, -13 in descending order.
2, -3, r, -13
Let y = -5.8 - -5.4. Let i = 11 - 6. Put i, y, -3 in increasing order.
-3, y, i
Let c = -0.41 + 0.01. Put 1, 0, c in decreasing order.
1, 0, c
Let v = -14 + 13.89. Let l = v - 4.89. Let t = -131 - -651/5. Sort 1, t, l.
l, t, 1
Let q be 1*3/(6/(-4)). Let p = q + 2. Let o = 5 + -1. Sort p, o, 3 in increasing order.
p, 3, o
Let q = -33.2 - -33. Let u be (4/(-14))/(6/28). Sort q, 4, u in ascending order.
u, q, 4
Let c = -47/7 + 7. Put 0, 0.3, c in descending order.
0.3, c, 0
Let q = -20 + 21. Put 9, -3, q in ascending order.
-3, q, 9
Let k(a) be the first derivative of -a**2/2 - 6*a - 1. Let l be (-30)/(-45) + (-26)/3. Let j be k(l). Put j, 5, 0 in decreasing order.
5, j, 0
Suppose 0*c + 33 = -3*c. Let r = -16 - c. Put r, 0, 2 in decreasing order.
2, 0, r
Suppose -7 = 4*m - 15. Sort -3, m, -5 in ascending order.
-5, -3, m
Let g = -0.038 - 2.962. Let x = -3 + 3.6. Put 0.3, g, x in increasing order.
g, 0.3, x
Let n = -2.1 - -5.1. Sort -1/2, 0.3, n.
-1/2, 0.3, n
Let m = 1.23 - 1.14. Let l = -4 + 2. Sort l, m, 1 in decreasing order.
1, m, l
Let q be 2 + -8*(-2)/(-4). Let r = -2 - -2. Sort q, r, -2/9 in decreasing order.
r, -2/9, q
Suppose -m - 2 = -2*m. Let y = 4/33 + -94/231. Sort y, -0.5, m.
-0.5, y, m
Let i = 0.2 - -0.1. Let o = 251 - 253. Put 0.1, o, i in increasing order.
o, 0.1, i
Let i = 1.3 + -1.37. Let n = 0.93 - i. Let y = 0.1 + -1.1. Put 0.3, n, y in ascending order.
y, 0.3, n
Let x be 12/(-2)*14/(-21). Sort 0, x, 10 in descending order.
10, x, 0
Suppose 8*y - 15 = 3*y. Let z be 78/9 + (-2)/(-6). Suppose -2*v + 5*v + z = 0. Sort v, y, -1 in descending order.
y, -1, v
Suppose -3*m - 7 = 5*z + 9, -2*z = 10. Suppose -m*t + 5*t = -6. Sort -5, 