2, -4*u - 3*g = -12. Let k(v) = v - 2. Let y be k(u). Put 0.4, 2, y in descending order.
2, y, 0.4
Let b(n) = -n**3 - 5*n**2 + 8*n + 7. Let r be b(-6). Sort -1/3, -1, r.
r, -1, -1/3
Let p = -1.3 - -0.5. Let b = p + -3.2. Let w = b + 4.5. Sort w, 2/5, -4 in descending order.
w, 2/5, -4
Suppose 3*f = -176 + 167. Put 1, -4, -2, f in ascending order.
-4, f, -2, 1
Suppose -2*h = 2*p + 6, h - 3*p = -1 - 10. Let j = 8 + -11. Suppose 2*b - 6 = 4. Sort h, j, b in descending order.
b, j, h
Let k = -14 + 15. Sort -5, -1, k in ascending order.
-5, -1, k
Let z be -2*(-1 - 14/4). Suppose -z = -5*k + 2*k. Suppose -12 = -k*s - 2*f, 4*s + 2*f - 20 = -2*f. Sort s, 5, -1 in increasing order.
-1, s, 5
Let z = -5 + 9. Suppose 0 = p + 2*q - 3, -4*p + 5*q + z = 5. Let a = -0.3 + -0.2. Sort -0.4, a, p in ascending order.
a, -0.4, p
Let b(u) = 4*u**3 - 4*u**2 + 3*u - 1. Let t(q) = 5*q**3 - 5*q**2 + 4*q - 2. Let n(j) = 4*b(j) - 3*t(j). Let f be n(0). Put f, 5/4, 3 in decreasing order.
3, f, 5/4
Let b be 1*-4 + -1*70/(-18). Sort -0.1, b, -1, -2/9 in increasing order.
-1, -2/9, b, -0.1
Let w(k) = -k + 2. Let b be w(-8). Suppose -c + b = 4*c. Let j = -2 + 2. Put j, c, 1 in decreasing order.
c, 1, j
Let d = 1 + -11. Let o be 56/(-105) - 2/d. Sort o, 0.4, -3 in decreasing order.
0.4, o, -3
Suppose 0 = -2*z - 3*z + 30. Let u(c) = -c**3 + 5*c**2 + 10*c - 8. Let d be u(z). Suppose 4 = -h - 2*t - 0*t, 4*t + d = 0. Sort -4, h, -2/11.
-4, -2/11, h
Let z = 0.5 - -0.1. Let v = z + -0.1. Sort 3, v, 0.
0, v, 3
Let g be (-9)/6 + (-2)/4 + 0. Suppose b + 1 = 2. Sort g, -0.1, b.
g, -0.1, b
Let z = -1027/7 - -147. Put z, 3/5, 0 in descending order.
3/5, z, 0
Suppose 2*f - 3*f + 2*b + 6 = 0, -4*f + b + 10 = 0. Put -6, -2, f, 3 in decreasing order.
3, f, -2, -6
Let d(n) = -n**3 - 3*n**2 + 4*n + 5. Let w be d(-4). Suppose 3*m - w*x + 11 = 7*m, x - 6 = 3*m. Sort m, 4, 5 in descending order.
5, 4, m
Let d = -5 - -10. Suppose z - 6 = -s - s, -d*s = 3*z - 16. Put s, -2, -1 in descending order.
s, -1, -2
Let s = 24 - 10. Let j = s - 14.4. Let n = 0.4 - 0.2. Put n, 2, j in decreasing order.
2, n, j
Suppose 0*k - k = 2. Let d(g) = -2*g + 7. Let j be d(5). Sort 0, k, j in decreasing order.
0, k, j
Suppose 4*p = 2*l - 10, -5*p + 21 = 4*l + 66. Sort 3, l, -3/2, 0.4 in descending order.
3, 0.4, -3/2, l
Suppose 2*f = -7*b + 2*b - 40, 32 = -4*b + f. Let a(l) = l + 9. Let t be a(b). Put t, -1, 5 in ascending order.
-1, t, 5
Suppose 3 = -5*q + 2*q. Sort q, 32, 3, -5 in increasing order.
-5, q, 3, 32
Let f = 5 + -2. Let j(w) = w**3 - 5*w**2 + 7*w - 4. Let c be j(4). Let q be (-2)/c - (-3)/(-84). Put 2/5, q, f in ascending order.
q, 2/5, f
Let w = -2.03 - -0.03. Let h = w + 6. Let n = 3.9 - h. Put n, -5, 0.3 in decreasing order.
0.3, n, -5
Let n = -1.4 - -7. Let c = 0.6 - n. Put c, -3, -4 in decreasing order.
-3, -4, c
Let g = 0 + -0.5. Let r = -36 - -39.6. Let w = r - 0.6. Sort -0.1, w, g in descending order.
w, -0.1, g
Let k be ((-3)/2)/((-6)/12). Sort 1, 8, k in descending order.
8, k, 1
Let n be 1/4 - (2 - 2). Suppose 0 = -4*g + 2*m + 6, m = -g - 9 + 3. Let y be (2 + g)/(-9 - -5). Sort y, -3, n in ascending order.
-3, y, n
Suppose -1 = -4*u + 3. Let p = -1 - -1.4. Let l = p - 0.5. Sort 2/5, l, u in descending order.
u, 2/5, l
Let h = -482/3 + 159. Let u(o) = -2*o**2 - 22*o - 23. Let f be u(-10). Put h, f, 5 in increasing order.
f, h, 5
Let f = -1 - 1. Let d be 0/f - -2 - 6. Suppose 0*x - 24 = -6*x. Put x, 0, d in increasing order.
d, 0, x
Suppose h - 5*h = -16. Let y be (-38)/(-10) - (-2)/10. Suppose 2*v - x = -0 - 6, y*v - 3*x + 10 = 0. Sort v, 5, h.
v, h, 5
Let w = -1.79 + 1.99. Suppose -3*h = 6, 2*m - h = 4*m. Sort m, w, -0.5 in decreasing order.
m, w, -0.5
Let b = 17 + -15.7. Let j = b + 14.7. Let t = j + -11. Sort 0.1, t, 1 in decreasing order.
t, 1, 0.1
Let s(g) = -g**3 - 11. Let x be s(0). Let c = 8 + x. Sort c, -0.2, 3/7 in increasing order.
c, -0.2, 3/7
Let j = -64 + 66. Sort 1/11, j, -1.
-1, 1/11, j
Let c = 16 - 11. Suppose 2*k + 5 + 3 = c*b, 7 = -3*k + 5*b. Sort 3, k, 2.
k, 2, 3
Let x = 8 - 5. Let u(j) = 4*j**2 - 5*j**x - 4*j + 3*j**3 + j**3 + 3. Let y be u(2). Put y, -0.1, -5 in increasing order.
-5, -0.1, y
Let r be 4/(-10) - 405/(-75). Let j be 6/(-3)*(-1)/r. Let t = -11 - -7. Put j, -1, t in descending order.
j, -1, t
Let a(f) = -f**2 - 5*f. Let o be a(-4). Suppose -3*l - 2 = -4*l. Put 3, l, o in increasing order.
l, 3, o
Let c = 252355/5098 - 2/2549. Let h = -48 + c. Let f = 3.3 + -3. Put f, h, -2/11 in increasing order.
-2/11, f, h
Let c be (-8)/12 - 4/(-6). Put c, 4, 5 in decreasing order.
5, 4, c
Let a be 2/(-1*2) - -4. Let f = -2 + 4. Suppose -3*o + f = -4*c, -2*o - 2*c = o - 8. Sort a, -4, o.
-4, o, a
Let i = -0.05 + 0.55. Sort -3, 0.2, i, 3/4 in decreasing order.
3/4, i, 0.2, -3
Let l be ((-8)/(-4) + -35)*1. Let d be (-6)/l + (-276)/66. Sort -5, d, -2.
-5, d, -2
Let b = 63/8 - 8. Sort 5, b, 1 in decreasing order.
5, 1, b
Let c = -4 - 4. Let r = 0 + c. Let t = 7 + r. Put t, -3, -5 in decreasing order.
t, -3, -5
Let o(n) = -n**3 + 9*n**2 + 10*n + 12. Let x be o(10). Let t = x + -7. Suppose 6*v = v - 10. Sort v, -4, t.
-4, v, t
Suppose 5 = 8*g - 27. Put g, 0, 5 in decreasing order.
5, g, 0
Suppose -3*g + 3*k = -2*g - 14, 3*g + 2*k = 9. Sort g, 0.5, 0.11.
0.11, 0.5, g
Let f = -2 + 3. Let a = 1111/7 - 159. Let d = 4 - 4.3. Put d, f, a in descending order.
f, a, d
Let k be 3/(-22) + (-1 - 3/(-2)). Sort 3, k, -3.
-3, k, 3
Let l(x) = x**3 - 2*x**2 + 2*x + 3. Let n be l(-1). Put -0.4, n, 2 in decreasing order.
2, -0.4, n
Let l = -2 - -2. Suppose 2*x - 5*k - 8 = l, 3*k = -x - k + 4. Suppose 5*z - 29 = 2*s, -s + 9 = 4*z - 9. Put x, z, 0 in decreasing order.
z, x, 0
Let j = 10 + -12. Suppose -5 = 4*k + z, -5*z - 25 + 0 = -2*k. Suppose 0 = -5*b + 2*l - 3, 0*b = 5*b - l + 4. Sort j, k, b in decreasing order.
k, b, j
Let f be (-172)/6 + (-20)/15. Sort -1, -3, f in increasing order.
f, -3, -1
Let c = 17.1 + -17. Sort c, -3, -5.
-5, -3, c
Suppose 3*s + 3 = 9. Let f(w) = -s - 1 - w - w. Let z be f(-3). Sort z, -1, -3 in decreasing order.
z, -1, -3
Let z be (-2)/(2 - 1) + 8. Suppose -5*v - 52 = 5*d - 17, -3*d = -2*v + z. Put -3, d, -1 in ascending order.
d, -3, -1
Let z = 5 + -3. Let s = z - 2.3. Let o(i) = i**2 + 3*i - 4. Let h be o(-3). Put -2/15, s, h in descending order.
-2/15, s, h
Let n = -35.1 + 35. Put n, -1, 1, -0.3 in decreasing order.
1, n, -0.3, -1
Let o = -0.6 + 0.2. Let x = 0.6 - 0.8. Suppose 0 = -0*n - 3*n + r - 8, -r = 5*n. Sort o, n, x in ascending order.
n, o, x
Let t be ((-1)/(-2))/1*(5 + -5). Sort 5, t, -2, -5.
-5, -2, t, 5
Suppose 2*s = -2*h - h - 8, 2*h = -2*s - 6. Suppose 5*n + 8 = -2*o - 23, 0 = o - 5*n - 22. Put 3, o, s in decreasing order.
3, s, o
Let o be 10/(-42) - 3/9. Sort -2, o, 14, 1 in ascending order.
-2, o, 1, 14
Suppose 0 = -6*v + 8 + 16. Sort 0.5, v, -1.4 in ascending order.
-1.4, 0.5, v
Let r = -2 - -2. Let i be ((-2)/(-6))/((-3)/18). Let k be i*(70/(-4))/(-7). Put k, 2, r in descending order.
2, r, k
Let v = 0.67 - -0.03. Let p = -1 + v. Let t be (-2)/(-14) - (603/252 - 3). Sort t, p, 0 in increasing order.
p, 0, t
Suppose 0*m - 10 = -5*m. Suppose 3*d + 12 = 0, -4 = 2*z + m*d + 2. Let h be (-2)/(-3) - (-10)/(-6). Sort z, h, 3 in decreasing order.
3, z, h
Let w(b) be the second derivative of b**5/20 + b**4/4 - 11*b**3/6 - b**2 - b. Let r be w(-5). Sort 2, r, 0 in descending order.
r, 2, 0
Suppose 5*p = 5 + 5. Suppose g + j = 2*j + 3, -p*g + 8 = -j. Let h = 6.69 - 2.69. Put g, 1/4, h in decreasing order.
g, h, 1/4
Suppose -5*w - 19 = -0*w + 3*a, 0 = -w + 3*a - 11. Put -1, 4, w, 6 in descending order.
6, 4, -1, w
Let y = 11 + -12. Let w = y - 0. Put 4, 1, w in decreasing order.
4, 1, w
Suppose -n = -5*s - 2*n + 21, 0 = -5*s - 3*n + 13. Let f(x) = x**3 - 5*x**2 + x - 6. Let l be f(s). Sort 2, l, -3 in decreasing order.
2, l, -3
Let b be 154/(-231) - 1/(3/(-35)). Let c(u) = -u**3 - 2*u**2 + u - 4. Let w be c(-3). Sort 0, b, w.
0, w, b
Let s be (-8)/18*(-1)/2. Sort 1, -4, -3, s in decreasing order.
1, s, -3, -4
Suppose 4*g + 2*m = 9*g - 6, 4*g + 4*m + 12 = 0. Suppose 3*f + 4*y = f - 20, -f - 4*y - 18 = g. Let a = 0.7 + -1. Put -1/4, a, f in descending order.
-1/4, a, f
Suppose -2*q + 2 = -q. Put -1, q, 2/21, 0.3 in ascending order.
-1, 2/21, 0.3, q
Let i(t) = -t +