12, 4*c = -y + c - 4. Let d = y + -11. Let g = 0 - 0.3. Put d, g, -5 in increasing order.
-5, d, g
Let t = 0.339 - 0.139. Sort 2, 1, t.
t, 1, 2
Suppose -3*k = 3*i - 36, i - 3*k = 2*k - 6. Suppose -q + 4 = i. Sort -4, 2, q.
q, -4, 2
Suppose -4 - 1 = 5*j - 5*g, 0 = -5*g + 20. Let s be 1/(j/57) + 2. Let u be 4/(-14)*s/(-27). Sort 2/3, -3, u in decreasing order.
2/3, u, -3
Let v = 8 + -4. Let z = -28 + 19. Let g be (15/z)/((-2)/(-6)). Put g, -0.1, v in decreasing order.
v, -0.1, g
Suppose 2*q - 3*w = -3*q - 41, w = 2. Put 1, 3, q, 0 in descending order.
3, 1, 0, q
Let t = -65 + 324/5. Let i(c) = -c**3 - 5*c**2 - 2*c - 5. Let u be i(-5). Let v = -0.2 - -0.3. Put t, v, u in descending order.
u, v, t
Let s = -9 - -12. Sort 5, -3, s in descending order.
5, s, -3
Let j(k) = k**3 + 17*k**2 - k - 17. Let m be j(-17). Sort 5, m, 2, 1 in ascending order.
m, 1, 2, 5
Suppose 3*h - 20 = 2*d, -2*h + 3*d + 24 = -d. Let l(f) = -f**2 - 8*f - 7. Let u be l(-6). Put -7, u, h in descending order.
u, h, -7
Suppose 0*o = -4*o - 2*y - 14, 5*o + 5*y + 25 = 0. Suppose -4*b - 1 - 7 = 0. Let g = b + o. Put g, -2, -3 in ascending order.
g, -3, -2
Suppose -3*i + 7*i - 16 = 0. Suppose i*z = -2 + 6. Sort -4, 2, z in descending order.
2, z, -4
Let r be (-207)/6 - 9/(-6). Let u be (-2)/(-7) - r/(-42). Put -1/6, u, -2/3 in decreasing order.
-1/6, u, -2/3
Let w = -6 + 9. Suppose w*r = -4*n + 11, -2*r - r = -n - 16. Let v be 1/(2 + -1) + 5. Put 3, v, n in descending order.
v, 3, n
Let w be (0/2 - -1) + -3. Let u(v) = -v**2 - v + 2. Let h be u(w). Let b = 108/7 - 1850/119. Sort b, h, -0.4.
-0.4, b, h
Let i(n) = -n**3 - 2*n**2 - 3*n - 2. Let j be i(-2). Let m(k) = -5*k**2 - k + 1. Let p be m(1). Sort 5, p, j.
p, j, 5
Let r(u) = u**3 + 8*u**2 + u + 10. Let k be r(-8). Sort k, 0.1, -0.3 in ascending order.
-0.3, 0.1, k
Let z(x) = 4*x - 8 + 0 + x**2 + 1. Let h be z(-5). Let f = 14 + -13. Sort h, f, -5 in descending order.
f, h, -5
Let h = -1 + 1. Let b = 2 + 2. Let m = 0.09 + -0.29. Put m, h, b in descending order.
b, h, m
Let v(p) = -p - 5. Let k be v(-6). Let t = 20 + -14. Suppose t + 0 = -2*a. Put -1, k, a in ascending order.
a, -1, k
Let p = 6 - 5.5. Sort 5, -0.5, p.
-0.5, p, 5
Let q(o) = 2*o**3 + 3*o**2 - 1. Let z be q(-1). Let b be (1*5)/(z + -1). Sort 2, b, 1 in decreasing order.
2, 1, b
Suppose -2*o + 1 = -5*t, -t = 5*o + 18 + 20. Put o, 0, -1, -5 in decreasing order.
0, -1, -5, o
Let s = -0.07 + -0.13. Let y = -2 + 2.4. Put 0, s, y in ascending order.
s, 0, y
Suppose 2*x + 5*c - 9 = 0, 5*c = -7*x + 3*x + 23. Sort 0, 3, x in increasing order.
0, 3, x
Let f = -72 - -144. Let u be 18/f - (-18)/(-8). Sort 0.1, u, 0.4.
u, 0.1, 0.4
Let n = -8 - -8. Suppose n = -0*r - r. Suppose r*i - 10 = 2*i. Sort 0, i, -4 in ascending order.
i, -4, 0
Let j = 6 - 6. Let r = -0.5 - j. Put 4, 0, r in decreasing order.
4, 0, r
Suppose -w + 15 = 4*w. Sort 0, w, -4.
-4, 0, w
Let b = -59 + 81. Put -4, b, 2/7 in decreasing order.
b, 2/7, -4
Let t(h) = -h - 1. Let g be t(-1). Put 1, g, -2 in increasing order.
-2, g, 1
Let w(d) = 2*d**2 - 5*d + 2. Let h be w(3). Put -3, h, -4 in decreasing order.
h, -3, -4
Let d = 7.3 - 7. Let o = 0.1 + 0.1. Let x = 0.3 - o. Sort x, d, -5.
-5, x, d
Let u = 57 - 52. Sort u, 0, 0.3, 1/8 in descending order.
u, 0.3, 1/8, 0
Let c be (-2)/(-3) + 6/489. Let p = c - 2/163. Let s = -2.1 + 2. Sort -0.5, p, s in ascending order.
-0.5, s, p
Suppose -3*x + 11 = 5. Suppose 5*j + 0 = 3*s - x, -2*j - 8 = 0. Let m = -7 - s. Put -3, 4, m in descending order.
4, m, -3
Let f = -0.122 - -1.122. Sort 0.4, 0.06, f, 5 in decreasing order.
5, f, 0.4, 0.06
Let d be (1/(-3) + 1)*-6. Let u(f) = -2*f - 10. Let l be u(-6). Sort 5, l, d in ascending order.
d, l, 5
Suppose -t = 5*p + 22, 2*t - 16 = p + p. Sort -1, -6, t.
-6, -1, t
Suppose -2 = 3*g + 13. Let z = g - -7. Let r be 4 - (z + 0 - 2). Put -5, r, -1 in increasing order.
-5, -1, r
Suppose -2*v + 1 - 5 = 0, v = 3*r - 38. Let w be r + -5 - (1 - 0). Suppose m = u - 2, 3 = w*m - 5*m + 4*u. Sort 4, 3, m in increasing order.
m, 3, 4
Let z be (-2)/11 + (-204)/(-33). Let o be -2*(3 + (-15)/z). Let y be (1 - -3)*(1 - 0). Put o, y, 3 in descending order.
y, 3, o
Let q(d) = d**3 - 5*d**2 + 3*d + 4. Suppose 0 = -10*t + 7*t + 9. Let c be q(t). Sort 1, c, 3 in decreasing order.
3, 1, c
Let c be 1 - 0/2 - 0. Let v be (2 - 1)/(0 - c). Let k be 2*(0 - 5/(-55)). Put -2, k, v in decreasing order.
k, v, -2
Let i = -7 - -5. Suppose 2*r - r = 3. Put i, r, 5 in descending order.
5, r, i
Let n = 9 + -14. Let k = -3 - n. Suppose -k*y = 3*y - 25. Sort -3, -2, y in descending order.
y, -2, -3
Let y = 2.1 - 1.8. Put y, 2/9, 4 in ascending order.
2/9, y, 4
Let g(q) = -q + 8. Let x be g(8). Suppose x*v - 10 = 2*v. Sort v, -2, -1 in decreasing order.
-1, -2, v
Suppose 5 + 1 = 4*m - 2*f, -4*m = 3*f - 1. Put 5, m, -1 in descending order.
5, m, -1
Let w = 1.09 - 5.09. Let l = 6 - 8. Let k = 1.8 + l. Put -3/5, k, w in decreasing order.
k, -3/5, w
Let p(m) = -m**2 - 6*m + 4. Let x be p(-9). Sort -2, -3, x in increasing order.
x, -3, -2
Let b be 7/2 - 2/(-4). Suppose -b*x - 4 - 4 = 0. Let p = 3 + -1. Sort 0.5, p, x in increasing order.
x, 0.5, p
Let n be 4/(-10) - (-4)/10. Let c = -3.99 + -0.01. Sort -5, n, c in descending order.
n, c, -5
Let t be 4 - (-9)/(-1 + -2). Sort 2, t, -4 in descending order.
2, t, -4
Let t(d) = -d**2 - 2*d + 3*d + 3 + 0*d**2. Let o be t(3). Let k be 0/(-1) + (-9)/o. Put k, 5, -5 in increasing order.
-5, k, 5
Let h be (1 + -6)*(0 - -1). Suppose 4*s = -2*o + 5*o - 16, 0 = 2*o. Let t be 10/s*(-12)/15. Sort t, h, -2/7 in decreasing order.
t, -2/7, h
Let b(k) = k**3 - 8*k**2 + 7*k - 2. Let w be b(7). Put -2/5, w, -3 in decreasing order.
-2/5, w, -3
Let h = -12 + 11. Let g be -2 - h/3*3. Sort -9, g, -3 in decreasing order.
g, -3, -9
Suppose 0*x = -3*x - 9. Let h be (-19)/(-7) + (-2)/(-7). Put h, -4, x in increasing order.
-4, x, h
Let g(p) = p**2 - p + 1. Let l(y) = -4*y**2 + 10*y + 1. Let f(a) = -5*g(a) - l(a). Let u be f(-4). Put -5, -4, u in descending order.
u, -4, -5
Let m be 1*(2 + (0 - -4)). Let v = m + -9. Put 1, v, 3 in descending order.
3, 1, v
Let z = 13.7 + -14. Let d be -3*(-1 + 3/6). Put 0, d, z in descending order.
d, 0, z
Let f be (-8)/18 + (-154)/99. Suppose g = 3*g. Let r = g + -3. Sort 2, r, f in decreasing order.
2, f, r
Let p(r) be the first derivative of -2*r**3/3 + 2*r - 1. Let c be p(2). Let v be (c - -6)/((-2)/(-1)). Sort -2, v, 3 in increasing order.
-2, v, 3
Let b be ((-2)/6)/(5/(-15)). Sort -1, b, 5.
-1, b, 5
Let q(z) = z**3 - 6*z**2 + z - 6. Let s be q(6). Suppose -c - 7 = 4*c + 4*a, 4*c + 3*a = -6. Sort s, c, 4.
c, s, 4
Let z(c) = -c**3 + 2*c**2 + 1. Let m(k) = -k - 5. Let r be m(-8). Let b = r + -1. Let q be z(b). Sort q, -4, 5 in decreasing order.
5, q, -4
Suppose -c = -2*n + 3*c - 18, -4*n = -2*c + 24. Put n, 1, 0 in descending order.
1, 0, n
Suppose 0 = 4*n - 0 + 16. Put -1, n, 28 in increasing order.
n, -1, 28
Suppose -22*w = -17*w - 20. Let a = -3 + w. Sort -4, a, 3.
-4, a, 3
Suppose 4 - 1 = 3*t. Let k(m) = -3*m**2 - 1. Let z be k(-1). Suppose 4*h - 31 = -3*p, p - 3*h + 5*h - 13 = 0. Sort t, p, z in descending order.
p, t, z
Let h(f) = -2*f - 9. Let d be h(-7). Put 1, d, -3 in decreasing order.
d, 1, -3
Let h(u) = -u**3 + 5*u**2 + 2. Suppose 0 = -5*p + 11 + 14. Let x be h(p). Put -2, -5, x in decreasing order.
x, -2, -5
Suppose -4*h - h - 2*b = 3, 0 = h - b - 5. Sort -2, -4, h.
-4, -2, h
Let u = 3 + -1. Sort u, -1, 4 in descending order.
4, u, -1
Let p = -52 + -18. Let q be ((-7)/p)/((-2)/(-8)). Sort q, -2/11, 5/3 in descending order.
5/3, q, -2/11
Let p = -0.118 + 6.418. Let u = -1.3 + p. Sort u, 2/3, 0.2.
0.2, 2/3, u
Let o = 97 - 93. Sort o, -2, 5 in decreasing order.
5, o, -2
Suppose -8 + 4 = -a. Sort a, -4, -9 in increasing order.
-9, -4, a
Let g = -0.1 + 0.6. Let o = -1/8 - -13/8. Let d = 1.03 - 0.03. Sort g, d, o in ascending order.
g, d, o
Suppose y = -3*t - 11, -3*t + 5*y - 10 = 25. Suppose w = 4*v + 3, -4 + 10 = 2*w - 5*v. Put 4, w, t in ascending order.
t, w, 4
Let u = 5 - 4. Let l = -2 - 3. Put l, u, 8 in ascending order.
l, u, 8
Suppose -5*t - 4*v - 2 = 0, 0 = 5*t - 2*v - 0 + 14. Let m be t/4*(-9 + -5). Let h = m - 9. Sort 1, h, -6 in ascending order.
-6, h, 1
Let m = -14 + 19. Suppose 2*f + 6 = 3*a - f, 0 = m*