et m be h(-8). Sort -4, m, 4.
-4, 4, m
Suppose -9 - 7 = -4*n. Put -2, n, -5, 1 in descending order.
n, 1, -2, -5
Let s(n) = -1 + n + 6 + 4*n**2 - 4. Let x be s(-1). Suppose 0 = -f + 1 - 3. Put 2, x, f in descending order.
x, 2, f
Let t be 57/9 + (-2)/6. Suppose 5*u - 9 = t. Sort -2, 0, u.
-2, 0, u
Let v(z) = 3*z - 1. Let g be v(2). Suppose -2*l = -4*n + 10, -2*l + g*n = l + 10. Put 0, 4, l in descending order.
l, 4, 0
Let q = -8 - -6. Let k be 30/(-75)*(10 - 0). Sort -1, q, k in descending order.
-1, q, k
Let k = 10 - 6. Suppose 2*o = -6 - 6. Let t = k + o. Sort 4, t, 3 in ascending order.
t, 3, 4
Let r be 27/6 + 2/(-4). Let a = 64 - 38. Let w be a/(-6) - 1/(-3). Sort r, 2, w in decreasing order.
r, 2, w
Let b = -114 + 112. Let f(k) = 5*k + 4*k**2 + 0*k - k**3 + k**2 + 1. Let y be f(6). Sort -1, b, y in decreasing order.
-1, b, y
Suppose -15 = 5*o, 4*o - o + 25 = 4*l. Put l, 1, 2 in descending order.
l, 2, 1
Let v be 1 + ((-8)/3)/4. Let z be -2 - 2*3/(-2). Let w be z/36 + 4/18. Sort v, w, 0.3 in descending order.
v, 0.3, w
Let w = -5 - -4.8. Let s = -0.04 - -0.04. Sort w, -1/3, s in descending order.
s, w, -1/3
Let s = -0.33 - -0.13. Put 3/7, 2, s in descending order.
2, 3/7, s
Let t = 5 + -7. Let f be 0/(t + 2 + -2). Put f, 2/9, 1 in descending order.
1, 2/9, f
Suppose 1 = -2*p + 7. Suppose 3*u = p - 15. Let w(x) = -x - 1. Let n be w(-3). Put n, 3, u in ascending order.
u, n, 3
Suppose -t = -2*v + 15, -2*v + 10 = -5*t - 5*v. Let g(b) = -3*b - 12. Let h be g(t). Suppose -20 = -0*s - 4*s. Put s, -5, h in decreasing order.
s, h, -5
Suppose -26*t = -22*t - 20. Put -3, 4, t, -5 in ascending order.
-5, -3, 4, t
Let k = 1.1 + -0.1. Let f = 0.4 - 0.9. Let l = -0.33 + -0.67. Sort f, l, k in ascending order.
l, f, k
Suppose 0 = -4*k + 9*k + 15. Let z(d) = 2*d - 5. Let v be z(5). Sort k, v, -4 in decreasing order.
v, k, -4
Suppose 5 = 3*i - 1. Let o be 2*(1 - 6/4). Let w(r) = r**3 + 6*r**2 - 8*r - 7. Let f be w(-7). Put f, i, o in increasing order.
o, f, i
Let t be (8 + -9)*0/1. Put 3, t, 2 in decreasing order.
3, 2, t
Let x(v) = -2*v**3 - 2*v**2 - 2*v - 1. Let j be x(-1). Sort -2, 3, j in ascending order.
-2, j, 3
Let u = 22 - 21. Put u, -4/3, 3 in decreasing order.
3, u, -4/3
Let v = -22 + 27. Sort 4, 9, v.
4, v, 9
Let o be (-1 - -1)*(-11)/(-22). Let f = -7 - -10. Put f, -1, o in descending order.
f, o, -1
Suppose -2*p + l = -1, 0*p - 2 = -p - l. Let r be (-19)/4 - (-2)/(-8). Sort -1, p, r in decreasing order.
p, -1, r
Suppose -5*i = 2*v + 14, -3*v + 10 = -4*i - 4*v. Let h = 108 + -536/5. Sort -3, i, h in descending order.
h, i, -3
Let v = -0.62 + -4.78. Let g = v - -5. Let x = -0.4 + -0.1. Put -2, g, x in decreasing order.
g, x, -2
Let h = 0.5 + -5.5. Let b = h + 8. Let s = b - -1. Put 0.4, s, 0.3 in descending order.
s, 0.4, 0.3
Let y be 1*(8 - 2)*6. Let s be 8/y + 4/(-9). Sort s, 1/4, -1/7 in decreasing order.
1/4, -1/7, s
Let v = 4529/3 - 1524. Let k = v + 15. Let c be 34/(-9) - (-6)/(-27). Put 0.5, c, k in descending order.
k, 0.5, c
Let m = 0.08 + -0.38. Let q = m + 0.1. Let d = -0.8 + q. Sort 1, d, -3 in descending order.
1, d, -3
Let k(l) = l**3 - 5*l**2 + l + 5. Let q be k(4). Let g = -11 - q. Sort -2, 5, g in descending order.
5, -2, g
Let f = -20 + 20.2. Put 0.1, -3, f in increasing order.
-3, 0.1, f
Let t(p) = 0*p**2 - p - 4*p**2 + 3*p**2 + 2. Let b be t(2). Put -3, b, 2 in increasing order.
b, -3, 2
Let l = 133 + -934/7. Sort 2, -3/8, l.
l, -3/8, 2
Let d(i) = -2*i**2 - 4*i + 1. Let w be d(-2). Let r be ((-1)/3 + 1)*3. Suppose u = 1 + r. Sort w, u, -0.2 in descending order.
u, w, -0.2
Suppose 3*y - 1 + 7 = 0. Let v(s) = s + 5. Let r be v(-10). Put y, r, -3 in descending order.
y, -3, r
Let i = -2 - -4. Suppose 11 = -l - 2*h + 3, 2*h + 8 = -3*l. Sort -8, l, i in ascending order.
-8, l, i
Let s be (-8)/6*(-1)/(-8). Let m = 0.3 + 0. Let o = -0.5 + m. Sort -1, s, o in descending order.
s, o, -1
Suppose 0 = 5*b - 4*b. Let j be 2/4*(-32)/(-4). Put b, j, 5 in decreasing order.
5, j, b
Let w(g) = -2*g - 11. Let q be w(-5). Put 3, 5, q in descending order.
5, 3, q
Let n be (-1)/(((-2)/6)/(-1)). Suppose 5*v + 0*r - 10 = 4*r, -20 = -4*r. Let o = v + -5. Sort n, 0, o in descending order.
o, 0, n
Suppose -96 = -5*i + 4*s, s + 0*s = -4*i + 81. Put 3, -3, i in descending order.
i, 3, -3
Suppose 17 = 13*u + 277. Put 1, 0, u in descending order.
1, 0, u
Let p be 3 - -5*(-10)/18. Put -0.9, p, -0.4 in ascending order.
-0.9, -0.4, p
Let w = -10 + 12. Let y be w*(2 + 6/(-4)). Suppose -2*u = 2*u - 12. Sort y, u, 5 in increasing order.
y, u, 5
Suppose 3*l - 33 + 3 = 0. Let m be ((-6)/15)/(2/l). Let w be (-2)/2 + m/2. Put -1, w, -0.2 in decreasing order.
-0.2, -1, w
Let t(q) = -q**3 - 3*q**2 + q + 1. Let d be t(-2). Let n be (-2)/(4/(-2))*-1. Put 0, n, d in descending order.
0, n, d
Let x = 54.5 - 57. Sort 0, -5/3, x in decreasing order.
0, -5/3, x
Let b be 4*(-6)/8*-1. Let w be (3 + 3)/(-3)*-1. Let p be 2/10 - w/10. Sort p, 1, b in ascending order.
p, 1, b
Let j = 39/4 + -10. Put -2/3, 5, j in descending order.
5, j, -2/3
Let t = -6 + 2. Put -6, t, 3 in decreasing order.
3, t, -6
Let q = -4 - -4.2. Let i = 0.5 - 0.3. Let x = i + -0.7. Sort x, q, -2/3.
-2/3, x, q
Let y = -18 + 25. Let g = -4 + y. Sort g, 2/11, -0.2 in descending order.
g, 2/11, -0.2
Suppose -3*a = -2*a + 2. Put -1, a, 2, 8 in descending order.
8, 2, -1, a
Let n be (-4)/(-14) + (-6)/21. Suppose -3*f + 5*f + 9 = q, -3*q - f + 13 = 0. Let i be q*-2*(-4)/(-8). Put n, 2, i in decreasing order.
2, n, i
Let d be 3*((-2)/(-5))/(12/(-10)). Suppose 0*a + 5*a = -15. Sort a, 4, d in ascending order.
a, d, 4
Let d = 2.2 - 0.2. Sort -5/6, 1, d in decreasing order.
d, 1, -5/6
Let v = 6 - 10. Suppose 0*o + 12 = -o - 3*g, 0 = 2*o - 5*g - 31. Let w = 2 + o. Sort w, -1, v in decreasing order.
w, -1, v
Let c be ((-24)/60)/((-14)/(-10)). Put -1, c, 0 in increasing order.
-1, c, 0
Let j(u) = -u**2 + 2. Suppose x = -5 - 1. Let d = x - -6. Let a be j(d). Put 5, 0, a in descending order.
5, a, 0
Let p(a) = -a**2 - 2*a + 1. Let b be p(1). Sort 2/5, -1, b in decreasing order.
2/5, -1, b
Suppose k + 5*x = 8, x = -4*k - x - 4. Let c = k + 3. Let t(a) = -2*a - 1. Let v be t(c). Put v, -4, -2 in decreasing order.
-2, v, -4
Let t(k) = k**2 + 5*k - 4. Let y be t(-6). Sort y, 1, -5 in descending order.
y, 1, -5
Let c(x) = -x**2 + 4*x. Let m be c(4). Let w = 344 - 343. Put m, -1, w in ascending order.
-1, m, w
Let w be 3*3/(-54)*2. Sort 1/5, 0.1, -0.3, w in descending order.
1/5, 0.1, -0.3, w
Let o = 27 - 57/2. Put o, 2, -0.3, 0 in descending order.
2, 0, -0.3, o
Let v = 10 - 7. Suppose 21 + 24 = v*h. Put 5, -1, h in descending order.
h, 5, -1
Let z(w) = -5*w**3 + w**2 + w. Suppose -16 = -5*r + r. Suppose -5*t - 5 = -r*i, -i + 2*i = t + 1. Let c be z(t). Sort -1, c, -4.
-4, -1, c
Suppose -t - 3*a + 4 = -0*a, t = 3*a - 8. Put -3, -1, t in ascending order.
-3, t, -1
Let n = -0.892 - 0.108. Put 2, n, 2/3, -0.4 in increasing order.
n, -0.4, 2/3, 2
Let j = 3 + -1. Let y be 14/(-6) - (-10)/(-15). Sort y, j, -2 in ascending order.
y, -2, j
Let m be 149/(-2)*(-2)/3. Let a = m + -49. Let t be 8/(-50)*30/36. Sort 0.2, a, t in increasing order.
t, 0.2, a
Let n be ((-184)/(-161))/(4/14). Sort n, -5, 2, 5 in decreasing order.
5, n, 2, -5
Let j = 7 + -4. Let p = 7 - j. Sort -2, p, 0.5.
-2, 0.5, p
Suppose 5 = 3*y - 1. Suppose -3 = -y*r + 1. Suppose 4*i = g + r*g, -5*i = 2*g. Sort 3, -3, i in increasing order.
-3, i, 3
Let t be (-2)/(-8) + (-13)/4. Sort -0.2, 4, t, 4/7 in ascending order.
t, -0.2, 4/7, 4
Suppose s + 4 = 5. Put 2, s, -9 in ascending order.
-9, s, 2
Let d be (((-12)/(-9))/(-4))/((-11)/99). Sort 25, 5, 4, d.
d, 4, 5, 25
Let n = 83 - 247/3. Let t = -59 - -60. Put t, -1, n in decreasing order.
t, n, -1
Let t be (-26)/2*20/(-130). Suppose -5*k = 2*p + 5, -k + 1 = -0*k. Put t, p, 5 in decreasing order.
5, t, p
Let x be (49/21 + -5)*6/(-4). Put -0.5, x, 0.3, 5/4 in increasing order.
-0.5, 0.3, 5/4, x
Let n = -10.7 - -10. Sort 1/9, n, 2/23 in descending order.
1/9, 2/23, n
Let q(r) = -r - 8. Let x be q(-4). Let l = 2 + x. Let j be -1 + 2 + (-2)/l. Sort 4, 0, j in ascending order.
0, j, 4
Suppose -2*s = -1 + 11. Put 1, s, -2 in descending order.
1, -2, s
Suppose -5*a + 2*v + 5 = 0, -5*v + 20 + 17 = 4*a. Let k = -2 - -2. Put k, a, 0.5 