 - 3*f + 12. Sort x, -4, -5.
-5, -4, x
Let s be 2/1*(-5)/(-2). Suppose 4*q = q + 12. Sort -4, s, q in increasing order.
-4, q, s
Let n be ((-3)/(-1) - 5)/1. Let x be 38/(-8) + (-3)/(-4). Put 4, n, x in descending order.
4, n, x
Let y be (-3)/(9/6 - 0). Suppose 15 = 4*l + 3. Suppose 4*t = 6*t + 3*x + 2, -2*x = t + 2. Sort y, t, l in decreasing order.
l, t, y
Let u be 1/2*2*-5. Suppose 5*m - 6 = 4. Suppose -13 = -h + 3*h + 3*s, -h + 2*s = -11. Put h, m, u in ascending order.
u, h, m
Let g(b) = b**3 - 4*b**2. Let r be g(4). Put r, -2, -11 in increasing order.
-11, -2, r
Let d be (-42)/9 + 1/(-3). Suppose -4*o + 13 - 1 = 0. Suppose 4*t + 9 = 1. Sort t, d, o in decreasing order.
o, t, d
Suppose 3*k = 4*j + 3, -j - 3*k - 18 + 6 = 0. Let i(b) = -b**2 + 6*b - 5. Let p be i(6). Suppose 3 = -3*v - 0*v. Put p, j, v in ascending order.
p, j, v
Let j be ((-1)/2)/((-7)/(-112)). Let i = j - -8. Sort -1, -3, i in ascending order.
-3, -1, i
Let w = 0.14 + -0.14. Sort 1, -0.1, w in decreasing order.
1, w, -0.1
Suppose -13*x + 16 = -9*x. Sort -2, x, -3, -5.
-5, -3, -2, x
Let j be (-8)/3*3/(-2). Let o(w) = w**2 - 6*w + 5. Let v be o(j). Sort v, -2, -1 in descending order.
-1, -2, v
Let i be (12/18)/(2/(-6)). Suppose 4*d + 0*z - 13 = -z, -d - 3*z = 5. Sort 1, i, d in decreasing order.
d, 1, i
Let v be (-1 - -3)*3/(-6). Let q = 4 + v. Sort q, -1, -5 in decreasing order.
q, -1, -5
Let g = -0.1 + -0.1. Sort 2/13, g, 2/11 in ascending order.
g, 2/13, 2/11
Suppose -4*i - 2*q - 3 - 7 = 0, 3*i - 5*q + 40 = 0. Sort i, 4, 5 in decreasing order.
5, 4, i
Let n(q) = -q**2 - 7*q - 2. Let j be n(-6). Suppose 2*m + 16 = -4*v, -2*m - v = 3 + j. Let s be 7/3 - 4/(-6). Sort m, -1, s.
m, -1, s
Suppose f + 1 = -1. Sort 5, 2, f, 3.
f, 2, 3, 5
Let u(d) = -d**2 - 31*d - 5. Let r be u(-31). Suppose -3*l + 0*l - 7 = -4*c, 4*c = 4*l + 4. Sort r, c, 3 in decreasing order.
c, 3, r
Let w = 0.052 - 9.052. Sort 0.4, 4, w in ascending order.
w, 0.4, 4
Let d = 0.06 + -0.36. Let a = d - 0.7. Let h = -1.5 - -1. Sort a, 0, h in increasing order.
a, h, 0
Let z be (4/6)/(6/(-144)). Sort z, 5, -3 in increasing order.
z, -3, 5
Let t(j) = j + 4. Let b be t(-6). Let w be 4/28 + 24/(-21). Sort 1, w, b in descending order.
1, w, b
Let j be (-24)/(-14) - 2/(-7). Suppose -s - j = -2*c + 5, -2*s - 2*c = 8. Put 6, s, 4 in decreasing order.
6, 4, s
Suppose -3*o + o + 4 = 0. Put o, 10, -5 in decreasing order.
10, o, -5
Let z = 0.28 - -0.02. Sort -2/7, z, -0.08 in descending order.
z, -0.08, -2/7
Let v be ((-3)/(-9))/((-3)/18). Let n be (3 + -1)*3/(-2). Let w = n - -4. Sort -5, v, w in increasing order.
-5, v, w
Let k = -0.01 - 0. Let t = k - 0.69. Let n = t - -0.5. Put -0.5, n, 2/3 in decreasing order.
2/3, n, -0.5
Let a be 22/42 - (-4)/(-6). Let u = 3591 + -75428/21. Let s = u - a. Put 3/5, 0.3, s in decreasing order.
3/5, 0.3, s
Let x be -3 + (1 - 0 - 2). Suppose -3*g = -2*g + 6. Let c be ((-9)/g)/((-3)/x). Put 1, c, 4 in ascending order.
1, c, 4
Let u(n) = 2*n**2 - 2*n - 1. Let d be u(-1). Suppose -d + 13 = -5*v, -v = 2*m + 6. Sort 2, -4, m in increasing order.
-4, m, 2
Let f = 37.6 + -38. Put -26, f, 0 in increasing order.
-26, f, 0
Let w = -9 - -14. Let n(g) = g**2 + 2*g - 1. Let t be n(1). Suppose 3*m - 6*m = -3, 7 = t*l - m. Sort -1, l, w in decreasing order.
w, l, -1
Let q = 0.1 - 0.5. Let a = q + 1.5. Let d = a - 1. Put -0.4, -3, d in decreasing order.
d, -0.4, -3
Let k = -76 + 80. Sort -1, k, -5 in ascending order.
-5, -1, k
Let x(p) = p**2 + 10*p + 11. Let z be x(-9). Let k be 8/12*1/z. Suppose -4*f = 2*n - 0*f - 18, 2*n + f = 9. Put k, 0, n in increasing order.
0, k, n
Let k = -159 - -266. Let u = k + -859/8. Let g = -4 + 3. Sort -3, g, u in decreasing order.
u, g, -3
Suppose -4*y = -5*y - 2*o - 13, 5*y = -5*o - 40. Let h be -3*(-2 - -4) - -2. Suppose 3*d + d + 4 = 0. Put y, h, d in ascending order.
h, y, d
Let g = 10 - 10. Put g, -1, -5 in increasing order.
-5, -1, g
Suppose g - 5*g = 0. Suppose -3*f + 5*f + 16 = g. Sort f, -3, 1 in decreasing order.
1, -3, f
Suppose 5*u = 5*n + 3*u - 30, -12 = -2*n - 5*u. Suppose n*x = -7 - 5. Sort 0.3, x, -10 in decreasing order.
0.3, x, -10
Let i(y) = y**3 - 4*y**2 + 4*y + 3. Let d be i(4). Suppose -5*o = 2*h + 22, 3*h + 0*o = -4*o - d. Let m = 1 + -0.5. Sort m, h, -2 in decreasing order.
m, h, -2
Let w = 3/4 - -3/4. Sort -0.4, -4, 4, w in descending order.
4, w, -0.4, -4
Let b = -10 + 16. Suppose -4*x - b = -2*x. Sort x, -2, -5 in descending order.
-2, x, -5
Let f = -1 + -2. Suppose -36 = 3*n + 3*y, -y = 4*n + 13 + 23. Let z(u) = u**2 + 8*u + 4. Let c be z(n). Put c, -2, f in decreasing order.
c, -2, f
Let g be 2 + 34/(-8) - -3. Let q = 0.2 + 2.8. Sort -0.4, q, g in descending order.
q, g, -0.4
Let d(f) = f + 3. Let j be d(-3). Let t = 0.2 + 0.8. Sort t, j, -2 in ascending order.
-2, j, t
Let i = -20.58 - -21. Let w = 0.08 + i. Put 5, 3, w in descending order.
5, 3, w
Suppose 0 = -j - 0*t + 2*t - 1, -30 = 2*j + 3*t. Let u = -4 - j. Put -3, 0, u in ascending order.
-3, 0, u
Let a = 0.13 - 10.13. Let m = a - -14. Let g be 1/(1*(-2)/(-6)). Sort g, m, -0.2 in decreasing order.
m, g, -0.2
Suppose 3*m = -m - 4. Let u = 0.1 + 0.1. Let n be 2/(-9) + 75/(-27). Put n, m, u in decreasing order.
u, m, n
Suppose -2*c = -b - 4, -2*b - 3*b + 10 = 5*c. Suppose -s - c = -0. Sort s, -3, -5 in increasing order.
-5, -3, s
Let c = 30 + -30.3. Suppose -h + 2*h - 2 = 0. Sort h, c, -5 in increasing order.
-5, c, h
Suppose 24 = 7*n - 4*n. Let f = n - 11. Let r be 2/(-3) - (-33)/9. Sort f, 0, r in descending order.
r, 0, f
Suppose -5*d = -d. Let g be 2*-1 - (-1 + -1). Let i = g + -3. Sort d, i, 3 in decreasing order.
3, d, i
Let n = 15 - 13. Sort n, -2/15, -2/5 in descending order.
n, -2/15, -2/5
Let g = -3.94 + 4. Put 0.3, g, 2 in ascending order.
g, 0.3, 2
Let o(r) = -r**2 - 6*r + 12. Let p be o(-7). Let w(k) = -k**3 + 5*k**2 - k. Let z be w(p). Sort 2, z, 5 in increasing order.
z, 2, 5
Let n = -17 + 16.9. Put -3, n, 5 in increasing order.
-3, n, 5
Suppose -2*v - z + 6 = 0, 0*v - v + 5*z = -3. Let g = v - 0. Suppose -2*y - 5 = -3*y. Sort -4, y, g in increasing order.
-4, g, y
Let a = -0.006 - -0.336. Let h = -0.13 + a. Let r = 1.97 + 0.03. Put r, h, -2/5 in decreasing order.
r, h, -2/5
Suppose 7 = -2*b - 3. Let v(i) = 3*i - 3. Let d be v(2). Sort d, b, 2 in descending order.
d, 2, b
Let p = 12.6 + -12.9. Put 1/42, -1/2, p in descending order.
1/42, p, -1/2
Let d = 0 + -1. Let y = -1.65 - -2.15. Sort y, d, 0.3 in descending order.
y, 0.3, d
Let o(r) = 2*r - 3. Let c be o(4). Suppose c*j = j - 3*t - 11, -3*t = 3. Let k = j + 0. Put k, -1, 0 in descending order.
0, -1, k
Let b = 0 - -2. Suppose d + 1 = -x, -5*d = -33 + 13. Sort x, -3, b in increasing order.
x, -3, b
Suppose 5*x - 14 = 6. Suppose 8 = x*j - 12. Put 1, j, -2 in increasing order.
-2, 1, j
Let a = 5 - 8. Let f = -1.5 - -2. Let k = -63 - -66. Sort k, f, a in decreasing order.
k, f, a
Let a = 3.08 + -0.08. Let t = 1 + a. Let b be (2 - 1)*1/4. Put -1/2, b, t in decreasing order.
t, b, -1/2
Let c = 74 + -445/6. Put c, 0.3, -1, -3 in decreasing order.
0.3, c, -1, -3
Let j be ((-6)/(-4) - 1)/1. Let c = -10 + 10.32. Let q = c + 0.08. Sort -2/19, j, q in decreasing order.
j, q, -2/19
Let d = 7 + -6.4. Let h = 0.4 - d. Let a = 3 + -2.7. Put h, 5, a in decreasing order.
5, a, h
Suppose -3*o - 15 = -3. Let n be (-14)/8 + 1/o. Sort 1, n, -5 in descending order.
1, n, -5
Suppose 5*c + 11 + 4 = 0. Sort -2, -4, 2, c.
-4, c, -2, 2
Let v = 8.5 + -7. Let w = 2 - v. Let l = 4 - 9. Put w, l, -4 in increasing order.
l, -4, w
Let z be (-3)/(-18)*3*0. Let p = 6 - 3. Suppose p*h = -5*x + 1 - 14, -3*x - 27 = -3*h. Sort h, z, -2 in descending order.
h, z, -2
Let h be -3 - (1 + 15/8)/(-1). Sort h, -1, -3 in descending order.
h, -1, -3
Let s(f) = f**3 + 4*f**2 + f - 2. Let k be s(-3). Put -7, -2, k in decreasing order.
k, -2, -7
Let y = 10.9 - 1.9. Let v = y + -5. Sort v, 5, -0.4 in decreasing order.
5, v, -0.4
Let g = 0.14 - -0.06. Let j = g + -0.3. Sort 0.5, 2, j in ascending order.
j, 0.5, 2
Let k = 0 - -1. Let l = 3.74 - -0.26. Let g = 0.7 - 0.4. Sort g, k, l in increasing order.
g, k, l
Let t = 6 - 10. Sort t, -5, -2 in descending order.
-2, t, -5
Let p = 26 - 388/15. Let q = 1.2 + -1.2. Let v be (-6)/21 + (-5)/7. Sort q, v, p in ascending order