= x - 12. Let m be c(8). Let k(a) = -6*a + 1. Let g be k(1). Let f = 0 + 2. Sort m, f, g in ascending order.
g, m, f
Let z = -1.2 + 1.22. Suppose 2*h + 14 = 3*w + h, 4*w = -3*h + 10. Sort w, z, -4 in decreasing order.
w, z, -4
Let s = -0.13 + 0.13. Let x = -0.4 - -0.9. Sort -1/6, x, s in decreasing order.
x, s, -1/6
Let f = 35 + -141/4. Sort 2, f, -0.5 in decreasing order.
2, f, -0.5
Let u(f) = -f**2 + 6*f + 1. Suppose -z + 4 + 2 = 0. Let w be u(z). Suppose 11 = 5*y + w. Put 5, y, -4 in decreasing order.
5, y, -4
Suppose -6*j = -0*j + 18. Put -1, -2, 1, j in decreasing order.
1, -1, -2, j
Suppose 2*i = -2*w + 5*w - 1, i - 16 = -4*w. Let d = 5 - 3. Suppose 0 = i*u - 10 - d. Sort u, 1, 2 in increasing order.
1, 2, u
Suppose -4*j + 24 = -2*j. Let i be -1 - (2/2 - 5). Suppose -k - i*k = -j. Put -1, k, 4 in descending order.
4, k, -1
Let u = 1.14 + -0.74. Let o = 1228 + -6369/5. Let w = o + 46. Sort w, u, 1/4.
w, 1/4, u
Let q = 0.13 + -0.63. Put -1/5, 2/5, q in decreasing order.
2/5, -1/5, q
Suppose 5 = p + 2*m, -3*p - 2*p - 3*m + 25 = 0. Sort 6, 3, -4, p.
-4, 3, p, 6
Let w = 5.5 + -6. Let v be 6/4 - -2 - 2. Let k = -8.3 + 8. Sort v, k, w.
w, k, v
Let k = 3.5 - 3.8. Let f = 2.3 - 3.4. Let u = 0.1 + f. Put k, 0.2, u in descending order.
0.2, k, u
Let v = 20 - 23. Sort v, -0.2, 4/7.
v, -0.2, 4/7
Let h(z) = z + 11. Let v be h(-8). Sort v, -2, 5 in increasing order.
-2, v, 5
Let a = -1024/7 - -146. Sort a, 3, 0.2.
a, 0.2, 3
Let z(c) = -4*c + 3. Let x be z(0). Sort x, -4, 10 in ascending order.
-4, x, 10
Let a be (-10)/14*(-8)/10. Put -4, -2/9, a in descending order.
a, -2/9, -4
Let v = -1.9 + 1.5. Sort -0.1, v, -0.2 in decreasing order.
-0.1, -0.2, v
Let d = -25 - -20. Put 0.13, -2, d in descending order.
0.13, -2, d
Suppose x - 2*x + 1 = 0. Let w be (6/4)/((-3)/8). Sort w, 0, x.
w, 0, x
Suppose h - 4*h - 16 = -5*k, k + 4 = -3*h. Sort 1, -6, k in ascending order.
-6, 1, k
Let p be ((-4)/10)/(7788/40). Let n = p + -344599/9735. Let t = 35 + n. Put -4, 0.5, t in increasing order.
-4, t, 0.5
Let f be (-50)/6 + (-4)/6. Sort -4, f, -1, 3 in decreasing order.
3, -1, -4, f
Let h(k) = -k**3 + 8*k**2 + k - 10. Let j be h(8). Sort -4, j, 4 in ascending order.
-4, j, 4
Suppose -2*l - t - 6 = -0*l, 3*t - 22 = 4*l. Let d(u) = 10*u + 5. Let v be d(-1). Sort 2, v, l in decreasing order.
2, l, v
Let x = -0.415 - -0.015. Put -2, -5, 2, x in ascending order.
-5, -2, x, 2
Let n = 7.9 + -8. Sort n, 2/7, 1 in decreasing order.
1, 2/7, n
Let s be 2/12 + (-8)/(-24). Let k = 1/6 + s. Sort 0.2, -3, k in decreasing order.
k, 0.2, -3
Let y be ((-21)/14)/(3/8). Sort y, 8, 4.
y, 4, 8
Let h(z) = z - 1. Let o be h(-4). Suppose -4 = 8*k - 20. Let c be (-1)/2 - 11/(-2). Sort o, k, c in ascending order.
o, k, c
Let v(q) = -q**2 - 7*q + 7. Let m be v(-8). Put -2/11, m, 1/3, -5 in ascending order.
-5, m, -2/11, 1/3
Suppose f - 5*l + 3 = -3, 0 = 4*f + 2*l + 2. Put -3, 3, f in ascending order.
-3, f, 3
Let y be 33/(-9) - 1/3. Suppose -9*r + 12 = -5*r, 3*r - 9 = -2*g. Put 3, g, y in decreasing order.
3, g, y
Let b = 0.03 + 0.07. Let q = -5 - -8. Put q, -0.2, b in decreasing order.
q, b, -0.2
Let n(g) be the second derivative of -g**3/3 + 5*g**2 + 4*g. Let r be n(6). Sort -6, 5, r.
-6, r, 5
Let o = -4.371 - -0.071. Let g = -4 - o. Let s = -9/10 + -8/5. Put s, 0.5, g in decreasing order.
0.5, g, s
Let u(s) = 2*s - 3 - 3*s**2 - s**3 + 1 - 3*s + 2*s**3. Let a be u(4). Let k = -10 + a. Put k, 3, 4 in increasing order.
k, 3, 4
Suppose 2*g - 4*g - 2 = -2*j, -12 = -3*j. Suppose 4*q + o - 17 = 0, 5*q + g*o = -o + 24. Sort q, -2, 5 in decreasing order.
5, q, -2
Let s = 6 + -1. Let n be 2/(-5) + 17/s. Let v be (-2 + -1)*(-8)/(-6). Put n, -3, v in decreasing order.
n, -3, v
Suppose 2*u - 19 = 21*u. Put -3, u, 8 in decreasing order.
8, u, -3
Suppose 0 = -3*x + 5*f - 34, 0 = x + f + 2 - 4. Put x, -1, 0 in increasing order.
x, -1, 0
Let t = -19 - -18.5. Let b be 4/(-6)*(-6)/5. Sort -3, b, t in decreasing order.
b, t, -3
Let y(m) = m**3 + 6*m**2. Let p be y(-6). Suppose -f - f + 2 = p. Suppose -o = 4*q - 13, 0 = 5*o - 5*q + 3*q + f. Put -4, -5, o in increasing order.
-5, -4, o
Suppose -2*w + 20 = 2*w. Suppose -w*v + 0 + 15 = 0. Suppose 2*n + 3*u - 12 = 0, -3*n + 4*u + 4 = v. Put -5, n, 1 in ascending order.
-5, 1, n
Let a be (-7)/(-5) - (-4)/(-10). Suppose 6*b - 5 = -11. Sort -4, b, a in increasing order.
-4, b, a
Let d = 0 - 0.5. Let c = -0.3 - d. Let m = c + -2.2. Sort m, 0, -3 in increasing order.
-3, m, 0
Let s be (4/(-6))/((-2)/(-18)). Let x = s + 2. Suppose 3*q = 6*q - 4*d - 26, 0 = -2*q + 3*d + 19. Sort x, 3, q.
x, q, 3
Suppose 3*u = 8*u - 15. Let n = -14 + 10. Suppose -2 + 14 = -4*a. Sort u, a, n.
n, a, u
Let t be (-3)/12 - (-7)/(-4). Let s be (t - -2 - 6)*-1. Suppose -3*m = -s*m + 3. Sort -2, -1, m in ascending order.
-2, -1, m
Let n = 11.8 - 12. Sort -4, -2, n in ascending order.
-4, -2, n
Let i = 6 + -4. Suppose 2*s = v - 5 - 2, -4*s - 2*v - i = 0. Let d(w) = -5*w**2 - w - 1. Let h be d(-1). Sort s, h, -3 in decreasing order.
s, -3, h
Let l = 1 + -3. Suppose -3*o - 3*x = -0*x, 3*o - 8 = x. Put o, -5, l in ascending order.
-5, l, o
Let u(g) = -g**2 - 12*g - 31. Let a be u(-8). Sort -5, a, 2 in increasing order.
-5, a, 2
Let b be (-6)/10 - 6/15. Let l(n) = -3*n - 26. Let d be l(-8). Put d, b, 0.5 in increasing order.
d, b, 0.5
Let s(n) = 4*n + 23. Let r be s(-7). Sort r, 1, -4.
r, -4, 1
Let x = -5.6 - -6. Put -0.1, -5/2, x, 1 in descending order.
1, x, -0.1, -5/2
Let k = -0.1 - 0. Let s = k - 0.3. Let h be (-6)/27 + (-32)/18. Put h, 0.2, s in decreasing order.
0.2, s, h
Suppose -5*h + 20 = b - 0*h, -5*h = -b - 30. Let t be -3*(3 + -2 - 0). Sort t, b, 3 in increasing order.
b, t, 3
Let f = -20.2 + 20. Put f, -2, 0 in descending order.
0, f, -2
Let o = -7.3 - -7. Let s = -0.2 - o. Let h = 15 + -11. Put 2, s, h in ascending order.
s, 2, h
Let j = 6 - 0. Suppose g + 5 = j. Let u(y) = y**3 - 1. Let r be u(g). Put r, -4, -2 in descending order.
r, -2, -4
Let t = 1.8 + -2. Let k = 1.3 + -1.8. Sort k, -3, t.
-3, k, t
Let k = -1.94 - 0.06. Let g = 1.9 + k. Let l = g - 0.4. Sort -4, l, 0.3 in increasing order.
-4, l, 0.3
Let j = -0.4 + -0.1. Let m = 1/5 - 0. Put j, -5, m in descending order.
m, j, -5
Let o be (-10 + 5)*(0 + -1). Sort o, -11, 3, 0.
-11, 0, 3, o
Let t(j) = -j**3 - 4*j**2 - 3*j - 4. Let l be t(-4). Let q be (-14)/l - 1/4. Put 2, q, 4 in increasing order.
q, 2, 4
Let o = -22.4 - -26. Let y = -1.1 + o. Let t = y + -0.5. Sort -3, t, 0.5 in increasing order.
-3, 0.5, t
Let w be 3 - (3 + -4 + 2). Suppose -5*q + d - 11 = 0, -5*d + 16 - 1 = -5*q. Put w, q, -5 in increasing order.
-5, q, w
Let f be (-14)/6 - (-4)/(-6). Let p = -1 - -1.4. Let b = p + -0.8. Sort f, b, 6.
f, b, 6
Suppose 8 + 0 = 2*z. Suppose -q - 10 = -z. Put -0.2, q, 0.3 in descending order.
0.3, -0.2, q
Let w(h) = 2*h - 4. Let u be w(0). Sort 6, u, -2 in increasing order.
u, -2, 6
Let u be ((-1)/(-6) + (-4)/6)*0. Suppose 0*c + c = 5. Sort u, c, 2 in descending order.
c, 2, u
Let w be (-2)/(1/8*-2). Suppose w*s - 5*s - 3*t + 15 = 0, -4*t - 8 = 3*s. Sort 2, s, 1 in decreasing order.
2, 1, s
Let z(g) = g**2 - 6*g + 5. Let t be z(4). Let i be -12*((-10)/3 - (2 + -5)). Put t, i, 3 in decreasing order.
i, 3, t
Let y = 0.49 + -0.19. Let k be (2/60)/(6/18). Sort 0, y, k in increasing order.
0, k, y
Suppose 2*y + 3*g - 3 = 0, 4*g - 9*g - 14 = -3*y. Sort 5, y, 32 in descending order.
32, 5, y
Let w = 202 + -204. Sort -3, -0.07, w in descending order.
-0.07, w, -3
Let c = 2.4 + -0.4. Let v = -24 - -24.56. Let r = 0.06 - v. Put c, 5/2, r in increasing order.
r, c, 5/2
Suppose -5*v = -4*l + 4, -3*v + v - 16 = 2*l. Put -4/5, 1/6, v in increasing order.
v, -4/5, 1/6
Let r(k) = -k**2 - 12*k - 12. Let n be r(-11). Put 1, -4, n in decreasing order.
1, n, -4
Suppose -o = 5*n - 38, -5*o + 2*n + 61 = 6. Sort o, 5, -1 in ascending order.
-1, 5, o
Suppose t + 4*b + 2 = -12, -2*b = -5*t + 40. Suppose 0 = 3*v - t. Put -3, 6, v in decreasing order.
6, v, -3
Let p(g) = g**3 - 7*g**2 + 7*g - 8. Let v be p(6). Put v, 1, 0 in decreasing order.
1, 0, v
Suppose 2*k = 8*v - 5*v, -5*k + 4*v = 7. Put k, 5, 4 in ascending order.
k, 4, 5
Let r be -2*2*5/(-20) - -5. Put r, 0, -4 in descending order.
r, 0, -4
Let b = 433/6 - 72. Let h = -0.16 + 3.16. Put 5, b, h in dec