5, l
Let v = -0.8 - 11.2. Let m = v - -11. Let k = 0.8 - 0.3. Sort 4, m, k in decreasing order.
4, k, m
Suppose 0 = -4*s + 3*s + 3. Let t = 7 + -12. Put s, t, 0 in increasing order.
t, 0, s
Let k = 61 - 61. Sort -2/3, -0.3, k, 6 in ascending order.
-2/3, -0.3, k, 6
Let m = -9 + 17/2. Sort m, 0, -0.4.
m, -0.4, 0
Let r = 1.13 - 1.33. Sort 6, r, -2/7.
-2/7, r, 6
Let v = -1 - 7. Let k = -7.9 - v. Put -0.1, k, -3 in increasing order.
-3, -0.1, k
Let y be 34*((-9)/(-2) + -4). Let x = y + -15. Sort -1/4, x, 3 in increasing order.
-1/4, x, 3
Let u = -11 - -8. Let b = -66 - -65.9. Sort b, u, -5 in decreasing order.
b, u, -5
Let a = 8 - 10. Sort a, -5, 3.
-5, a, 3
Let f = -4 + -1. Suppose 0 = a + 2*r, 2*r - 4*r - 16 = -3*a. Suppose 14 = a*s + p, s + p = -5 + 7. Sort s, f, 3 in descending order.
s, 3, f
Let v = 11 - 12. Sort -5, 4, v in ascending order.
-5, v, 4
Suppose 0 = t - 9 + 4. Sort 6, t, -5 in descending order.
6, t, -5
Let j = -0.6 + 0.3. Let z = j + 0.1. Let n be 5/(-2)*1/5. Sort n, z, 1/4 in ascending order.
n, z, 1/4
Let d(q) = q + 10. Let z be d(-9). Sort -33, z, 3 in decreasing order.
3, z, -33
Suppose t - 3*a - 4 = -8*a, 3*t - a - 12 = 0. Let o be ((-2)/(-4))/((-4)/(-8)). Let b(k) = k + 5. Let p be b(0). Sort t, o, p.
o, t, p
Let s(o) = -4*o**2 + 2*o - 1. Let m be s(1). Let a be 102/14 - 10/35. Suppose 0 = 3*w - y - 5, -3*w + 4*y + a = 5*y. Sort m, w, 5 in decreasing order.
5, w, m
Let w(a) = -a + 1. Let n(u) = -u + 1. Let r(y) = 6*n(y) - 3*w(y). Let c be r(2). Let z = -6 + 4. Put c, 5, z in decreasing order.
5, z, c
Let l(s) = s**3 + 2*s**2 - 5*s - 4. Let o be l(-3). Let b be (-24)/(-11) + -11 + 9. Sort -0.1, b, o in increasing order.
-0.1, b, o
Let i(h) = h**3 + 4*h**2 + 2*h + 6. Let g be (6 - 9) + 3/1. Suppose g = 4*l + 4*x + 10 + 26, l = -3*x - 19. Let y be i(l). Put -5, y, 2 in descending order.
2, y, -5
Let z(i) = -2*i - 3. Let w be z(0). Sort 5, 3, w.
w, 3, 5
Let s(k) = -k**3 - 10*k**2 + 9*k - 15. Let g be s(-11). Suppose -5*d - 18 = g. Sort 3, 0, d in descending order.
3, 0, d
Suppose t - 7 = 4*d - 0*t, 0 = -3*d - 3*t - 9. Sort d, 1, 0 in increasing order.
d, 0, 1
Let h = 5.6 + -5. Let k = h - 0.4. Put -3, 5, k in descending order.
5, k, -3
Suppose -3*t - 42 = 4*t. Let a = 0.3 + -0.6. Sort a, t, -4 in ascending order.
t, -4, a
Let x = 0 + -0.02. Let g = 5.02 + x. Let j = 17/3 + -122/21. Sort j, 0.5, g.
j, 0.5, g
Let a = -2 - 0. Sort 0, a, -5 in increasing order.
-5, a, 0
Let g be (8/2 + -5)/3. Sort -4, g, -2/11.
-4, g, -2/11
Let a(d) = -d**3 + 5*d**2 + 6*d. Let y be (-1)/(-2)*(11 + 1). Let f be a(y). Put 4, -4, f in descending order.
4, f, -4
Let l be (6 - 3)/(3*(-1)/2). Sort -0.52, l, -3.
-3, l, -0.52
Let y = 143/4 - 36. Sort 1/2, y, 2.
y, 1/2, 2
Let y = 0.03 - 0.13. Put -4, y, -1 in increasing order.
-4, -1, y
Let r be 14/8 - (-5 - 76/(-16)). Sort 6, r, -3.
-3, r, 6
Suppose -5*x + 5 = 65. Put 3, x, -1 in decreasing order.
3, -1, x
Let t = -0.05 - -3.05. Let a = t - 8. Let b = 1 - -2. Put a, b, 4 in descending order.
4, b, a
Let g be ((-3)/(-2))/(3/(-4)). Let i = -4 + 10. Let z be (-3)/i*2 + 2. Put -3, z, g in descending order.
z, g, -3
Let m be (-2)/4 - 22/(-4). Let g be 5 + 1 + (m - 6). Sort -1, g, -3.
-3, -1, g
Let w = 0.1 - 0.2. Let x = -13 + 15. Sort x, w, -1.
-1, w, x
Let c(g) = -2*g**2 + 2*g + 13. Let r be c(3). Put -5, -2, -4, r in decreasing order.
r, -2, -4, -5
Suppose h = 4 - 5. Put h, -2, 5 in descending order.
5, h, -2
Suppose -2 - 8 = -5*w. Suppose -7*g + 2*g + 20 = 0. Suppose -7*l - g*x + 3 = -w*l, -8 = -2*l - 5*x. Sort l, 2, -3 in decreasing order.
2, l, -3
Suppose 0 = 4*m - d, m + d = 2*m - 3. Let l = -163/2 - -83. Sort l, 1/4, m in decreasing order.
l, 1/4, m
Let k = -0.22 - 10.78. Let q = -1.3 - 5.7. Let p = q - k. Put -3, -4, p in ascending order.
-4, -3, p
Let b(v) = -v**2 - 7*v + 2. Let k be b(-6). Suppose 1 + k = 3*y. Suppose -l - 3*o + 5 = -0*l, -5*o - y = -4*l. Put l, 0, 5 in descending order.
5, l, 0
Let q(f) = -f - 7. Let l be q(-3). Let t = -19 - -16.4. Let h = t + -0.4. Sort h, l, -2/7 in ascending order.
l, h, -2/7
Suppose 16 - 4 = 3*i. Sort 5, -1, i in increasing order.
-1, i, 5
Let i(a) = a**3 - 5*a**2 + 2*a + 4. Let u be i(4). Sort 0, -8, u, 5 in ascending order.
-8, u, 0, 5
Let r be 3/(12/(-4))*0. Sort -2, r, 1 in increasing order.
-2, r, 1
Let d = 65 + -61. Sort 3, d, 5, 0 in descending order.
5, d, 3, 0
Let s = 104 + -102. Sort 1, s, -7, -1 in descending order.
s, 1, -1, -7
Suppose 5*p = 8 + 12. Put 0.5, p, 5 in ascending order.
0.5, p, 5
Let h be (2*-19)/(-2*(8 - 7)). Put 0, -4, h in increasing order.
-4, 0, h
Suppose -4 = 4*z - 5*g, 2*z + 2 = 4*g + g. Sort -2, 5, z, -5.
-5, -2, z, 5
Let p be (24/20)/((-4)/10). Sort p, -5, 3 in descending order.
3, p, -5
Let l = -6 - -4. Let v be (3 - 8/2) + -3. Suppose 0*i - 20 = -5*i. Sort l, v, i.
v, l, i
Let a be 1/(3/(-18)*-2). Suppose 0 = 4*b - 0*v + v, a*v = 3*b + 15. Let c = -1 + 3. Put b, 5, c in ascending order.
b, c, 5
Suppose -s + 2*f + 8 = -1, 5*s - 9 = -2*f. Sort 0, -2, s.
-2, 0, s
Let h(l) = -l**3 + 15*l**2 - 16*l + 26. Let x be h(14). Let d be (3/2)/((-6)/16). Suppose -6*c + c = -25. Put c, x, d in descending order.
c, x, d
Suppose 3*v = 5*v + 4. Put v, -5, 2/7, -4 in increasing order.
-5, -4, v, 2/7
Let i = -1 - -9. Put -4, i, -5 in increasing order.
-5, -4, i
Let d = 194.1 - 194. Put -25, d, -0.1 in increasing order.
-25, -0.1, d
Suppose -a + 5 = 4*a. Sort 2, -8, a, -5 in increasing order.
-8, -5, a, 2
Let g(v) = 2*v + 7. Let k be g(-5). Put k, -2, 19 in decreasing order.
19, -2, k
Let z(f) = 6*f**2 + 2*f + 1. Let w(p) = p - 10. Let a be w(8). Let c be z(a). Suppose c = v - 5*d, 2*v - 5*d - 29 = -7. Sort -1, 5, v in decreasing order.
5, v, -1
Let p = -7 + 10. Suppose 0 = 7*s - 2*s. Sort s, p, -4 in descending order.
p, s, -4
Let j be (-4)/6 + (-2)/6. Sort 5, -3, j.
-3, j, 5
Let t = 5/8 - 3/4. Put 5, 0.5, -3/2, t in descending order.
5, 0.5, t, -3/2
Let o be (4/(-6))/(3/18). Let m be (-5)/((0 - -3) + o). Let k = m + -9. Put k, 3, -2 in increasing order.
k, -2, 3
Suppose 2 = 4*p - 10. Suppose 0*f = n - 4*f - 18, -4*n + 5*f + 17 = 0. Put n, -4, p in ascending order.
-4, n, p
Let s = 1.8 + -2. Let o be (-2)/(-3) - 51/9. Let l = -0.2 + 0.6. Sort o, s, l.
o, s, l
Let x = 181/118 + -2/59. Let y = -34 - -32. Sort -3, x, y.
-3, y, x
Suppose -9*c = 1 + 8. Let a(y) = y - 8. Let m be a(4). Put -2, m, c in increasing order.
m, -2, c
Let y = -37 - -36. Sort y, 5, 1.
y, 1, 5
Suppose -6*t = -t + 25. Suppose 3*a = -3*j - 2*a - 27, -17 = 5*j - a. Put j, 0, t in ascending order.
t, j, 0
Let m = 0.26 - 0.06. Let z = 0.06 + 1.94. Sort z, -5, m in descending order.
z, m, -5
Suppose 5*j + 2*i - 70 = 0, 5*i = -5*j + 56 + 29. Suppose 0*f = 3*f + j. Sort -5, f, -1.
-5, f, -1
Let f be (-44)/(-7) - (-4)/(-14). Suppose 2*h - f*h - 8 = 0. Let a be h - (24/(-14))/1. Sort a, -3/5, 3/7 in descending order.
3/7, a, -3/5
Suppose 4*c - 3*c - 5 = 0. Suppose -2 = d - 3*i, -d = -c*d - 3*i - 8. Suppose 4*o + 0*k + 15 = -k, 0 = -3*o + 3*k. Put o, d, 4 in ascending order.
o, d, 4
Let t = -2 - -4. Suppose -8*l + 2 = 42. Put l, t, -1 in ascending order.
l, -1, t
Let w be (-4)/(-6)*(-6 - (-111)/18). Let k = 0.3 + -0.8. Sort -1/7, w, k in descending order.
w, -1/7, k
Let v be (-14)/(-63) - 25/(-9). Sort v, -1, 0.
-1, 0, v
Let t = -122 - -121. Let l be 206/10 + 4/10. Suppose 4*q - 5*p = 2*q + l, -9 = 2*q + p. Put t, q, 1 in descending order.
1, t, q
Suppose b = 4*s - 9, -3*s + b + b + 3 = 0. Suppose -2*h + 2*i = 6, -4 + s = 3*h + 5*i. Let c = 6 + -3. Put 1, h, c in ascending order.
h, 1, c
Suppose l - 5*i - 24 = 0, l - 3*i + 4*i = -6. Let p = -6 - -11. Suppose -p*v - 2*b + 5 - 24 = 0, 4*b - 7 = -v. Sort 4, l, v in descending order.
4, l, v
Let a = 32 + -27. Put a, 0, -6 in descending order.
a, 0, -6
Suppose 2*g - 3*f + 4 = 0, -2*g + 8 = 2*g + 2*f. Put g, -1, 3 in increasing order.
-1, g, 3
Let m = 213.5 + -213. Sort -3, -5/6, -2/7, m in ascending order.
-3, -5/6, -2/7, m
Let t = -0.02 - -7.02. Let g = t - 7.07. Sort g, -1/6, -0.1.
-1/6, -0.1, g
Suppose 3*a - 8 = a + 5*b, 0 = -2*b - 4. Let c = 6 + a. Put -5, c, -1 in ascending order.
-5, -1, c
Let g = -8.3 + 8. Sort 0, g, 4 in ascending order.
g, 0, 4
Suppose 5*w + f = 13, 5*f - 9 = 3*w - 0*w. Suppose -8*z - w*k + 14 = -4*z, 3*k = -3*z