= -2.5 + k. Put 0.4, q, u in ascending order.
q, u, 0.4
Let w = 1.003 - 0.003. Sort 20, w, -4 in descending order.
20, w, -4
Suppose 0 = 3*f - 6 + 12. Sort f, 5, -15 in descending order.
5, f, -15
Let d be (1 + -2)*2 - -1. Let f = -1 + d. Sort f, 0.5, -2/11 in descending order.
0.5, -2/11, f
Suppose -3*q + 12 = 3*q. Put q, 4, 5 in decreasing order.
5, 4, q
Let i = -1576/13685 - 2/805. Sort 4, -1.3, 0.5, i in decreasing order.
4, 0.5, i, -1.3
Let u = 0.9 - 1. Let t be (4/(-6))/((-14)/(-21)). Let c = 1.2 + -1. Sort c, t, u in decreasing order.
c, u, t
Suppose a - 3 = 5. Suppose 3*m = -d + a + 8, -5*d = 5*m - 40. Suppose 3*b = 8 + 7. Sort -1, m, b in ascending order.
-1, m, b
Let q(y) = 8*y - 1. Let f be q(1). Let w = -5 + f. Let h(l) = -l**3 + 7*l**2. Let g be h(7). Put g, -3, w in increasing order.
-3, g, w
Let g = 0.3 + -0.8. Let f = 6 - 6.04. Let r = 4.96 - f. Put g, r, 3 in ascending order.
g, 3, r
Let i = -57/4 + 14. Let u = 919/7 + -131. Sort u, -2, i in descending order.
u, i, -2
Let i(c) = -c**2 + 9*c - 6. Let w be i(8). Suppose 3*p - w*b - 23 = -4*b, -2*p - 2*b = -18. Let g(r) = -r - 3. Let l be g(-7). Sort p, 3, l.
3, l, p
Let z be 5/(-150)*146 + 5. Sort -4, z, -2/5.
-4, -2/5, z
Let h(s) = 3*s**2 - s - 1. Let g be h(-1). Suppose 2*x = 5*n + 11, 1 = -4*x + 3*n + 2. Let q = 4 + -3. Sort q, g, x in ascending order.
x, q, g
Let k be (-10)/(-11)*(-3 + 1). Let s = 47/44 + k. Put 1, -1, s in increasing order.
-1, s, 1
Suppose -3*b + 3 = -5*q - b, b - 3 = 4*q. Let j be 2 + q/(-7)*-13. Suppose 5*c + 10 = v - 4*v, c = 3*v - 20. Put c, 0.1, j in increasing order.
c, 0.1, j
Let z be 3 - 7 - (-1 + -1). Put 0.2, z, 4 in decreasing order.
4, 0.2, z
Let p = 396 + -401. Let t = 3 + -3.1. Put t, -13, p in ascending order.
-13, p, t
Let d(g) = 2*g + 3. Let t be d(1). Put -0.4, 0, t in ascending order.
-0.4, 0, t
Suppose -4*p + 25 = p - 4*t, 0 = 4*p - 4*t - 20. Let w = 9 - p. Let s be (-14)/(-18) - 2/(-9). Sort 0, s, w in increasing order.
0, s, w
Let l be 2/((1 - 3)/(-6)*-15). Sort -35, 0.5, 0, l.
-35, l, 0, 0.5
Let o = -79 - -84. Let b = -3 - -5. Sort b, -3, o in decreasing order.
o, b, -3
Let u = -0.05 + -0.01. Let k = 0.34 - u. Put k, -3, 4 in ascending order.
-3, k, 4
Let z(a) = a**2 + 8*a + 10. Let f be z(-7). Suppose -5*q = -o - 16, f*o + q - 3 = -q. Let x be 0/(1 - 1 - o). Sort x, -0.5, -1/5 in descending order.
x, -1/5, -0.5
Suppose -1 = -2*p - 3. Let d be p*(4/3 - 1). Put d, 1, -2/5 in ascending order.
-2/5, d, 1
Let g be -3 - (-101)/(-10) - -2. Let k = g - -11. Let m be (-3 + 100/36)/(-2). Sort k, -0.5, m in increasing order.
-0.5, k, m
Let m = 5 + 2. Sort m, -4, 0, -2 in ascending order.
-4, -2, 0, m
Let c = -17.2 - -14. Let z = -16 - -13. Let f = c - z. Sort 4, -1, f in ascending order.
-1, f, 4
Suppose 2*g = 6, p = 5*p - g + 3. Suppose 0 = -2*f - 4, p = -a - 0*f + 2*f - 1. Sort a, 0, -3 in decreasing order.
0, -3, a
Let c = -2616 - -7918/3. Let u = c + -23. Let x = -0.3 - 0.2. Sort 0.5, u, x in descending order.
0.5, u, x
Let k = 2 - 1.8. Let l = 536/7 - 76. Let v = -6.5 + 6. Put v, k, l in ascending order.
v, k, l
Let r(a) = -2*a - 10. Let x(m) = -m - 15. Let v be x(-8). Let j be r(v). Put j, -4, -1 in decreasing order.
j, -1, -4
Suppose 5*c - 2*y - 10 = 0, 4*c - 2*y + y = 8. Suppose 0*m - n - 3 = 2*m, -3*n - 9 = 4*m. Sort -5, m, c.
-5, m, c
Suppose 2*v = 5*v + 15. Sort v, -2, -4 in increasing order.
v, -4, -2
Suppose 4 = -5*x + 49. Let m be (-15)/x*4/(-10). Put 2, 4, m in increasing order.
m, 2, 4
Let n = -24 + 26. Let a(r) = -2*r + 1. Let z be a(n). Put -1, 0, z in descending order.
0, -1, z
Suppose w = -3*a - 22, 3*w = 4*a + 6*w + 36. Sort a, 1, -1.
a, -1, 1
Let j = -1.4 - -1.5. Put -1, -0.07, j in decreasing order.
j, -0.07, -1
Let o = 19 + -21. Sort o, 0.8, -0.1.
o, -0.1, 0.8
Suppose p - 6*h + 2*h = 17, -3*h - 17 = -5*p. Sort -2, p, -11, 0 in decreasing order.
p, 0, -2, -11
Let c = -1 + 1.1. Let q(p) = p**2 - 11*p - 9. Let z be q(12). Sort 0.5, z, c in decreasing order.
z, 0.5, c
Let j = -1.9 - -1.5. Put j, 4, -4, -3 in increasing order.
-4, -3, j, 4
Let w = -5.02 - -0.02. Sort 0.3, 2, w in descending order.
2, 0.3, w
Let d = -39.2 - -39. Sort 1/10, -1, d in increasing order.
-1, d, 1/10
Let b = -23.5 - -23.5. Suppose 2*h - h + 4 = 2*i, 4*h = i + 5. Put -1/7, b, i in descending order.
i, b, -1/7
Let u = -14 - -14.1. Let b be 30/9 + (-2)/(-3). Sort u, 3, b in decreasing order.
b, 3, u
Let a = 0 + 0.5. Sort a, 0, 3.
0, a, 3
Let s(v) = -2*v - 1. Let f be s(0). Sort -9, -3, f.
-9, -3, f
Let v = -11.4 - -12. Let y = 1 - v. Let r = 0.8 + -1. Put -3, r, y in descending order.
y, r, -3
Let q = 0.041 + -0.501. Let u = -0.06 - q. Sort u, -1/3, 1/4 in increasing order.
-1/3, 1/4, u
Suppose -4*v - 3*f - 9 = 0, -8 = 3*v - 2*v - 5*f. Put -18, 1, v in increasing order.
-18, v, 1
Suppose -83*c + 85*c = 18. Sort 3/7, -2, c, 4.
-2, 3/7, 4, c
Let b = 4 - 4.02. Let i = -3.98 + b. Let d = 3.9 + i. Sort 5, d, 0 in ascending order.
d, 0, 5
Let l = 487 - 488. Suppose i = -5*u - 16, -i + 0 = 2*u + 4. Put u, l, 1 in increasing order.
u, l, 1
Let l = 36 - 18. Let i = 18 - l. Put i, -3, 11 in descending order.
11, i, -3
Suppose -6*k - 24 = -9*k. Let q be (k/(-10))/((-12)/(-30)). Let p be 2 - (3 + q) - -1. Put -5, -1, p in decreasing order.
p, -1, -5
Suppose 10 = -5*r - 0. Let n be 3/6 - (-3)/r. Put -5, n, 4 in ascending order.
-5, n, 4
Let y(r) = -r**3 - 2*r**2 - r. Let c be y(-1). Let n be (-22)/5 - 4/(-10). Sort n, c, -3.
n, -3, c
Let b be (-26)/13 + 0 + 0. Let s(m) = -m**3 - 3*m**2 - 2*m - 1. Let y be s(-2). Sort b, 2, y in decreasing order.
2, y, b
Let m(w) = -w + 4. Let l be m(6). Suppose 5*g + 5*i + 24 = g, 5*i = 20. Let z = g + 13. Put l, z, -3 in decreasing order.
z, l, -3
Let j = 13 - 13.5. Let h = -7 - -6.6. Sort 0.5, h, j.
j, h, 0.5
Suppose -2*p + 9 = 7. Suppose -4*y = 5*j - 22, p = -j + 3. Put -2, y, 5 in decreasing order.
5, y, -2
Let o = -13 - -15. Let m be (-14)/(-21) - 34/6. Put 0, m, o in increasing order.
m, 0, o
Let v = -72 + 77. Let u = 17/15 + 1/5. Put u, -1/2, v in decreasing order.
v, u, -1/2
Let y = 8 - 6. Suppose 0 = -5*s - 3 - y. Let f be s/(-5) + 36/(-105). Sort -3/5, 0.4, f.
-3/5, f, 0.4
Let m be 0 + 2 + (-5 - -8). Let w = 3 + -1. Put m, w, -1 in ascending order.
-1, w, m
Let d = 34 - 36.9. Let t = 0.9 + d. Sort t, 4, 3/7 in decreasing order.
4, 3/7, t
Let g be 2 + -3 + 15/12. Put 0.4, g, 2, -0.3 in decreasing order.
2, 0.4, g, -0.3
Let m = 16.9 + -16. Let i = -1.1 + m. Put i, 3, 0.3 in decreasing order.
3, 0.3, i
Suppose 0 = -6*u + 9 + 3. Put u, -2, 1, -8 in decreasing order.
u, 1, -2, -8
Suppose -3*t = 2*t. Suppose -5*p = -t*p - 10. Sort -2, 5, p in increasing order.
-2, p, 5
Let o be (-1 + -1 - -4)/1. Suppose 5 = -3*p - 7. Sort -2, p, o in increasing order.
p, -2, o
Let a = -0.3 - -0.29. Let w = -88 + 88.39. Let v = a - w. Sort v, -0.1, -5 in increasing order.
-5, v, -0.1
Let t = 0.18 - -0.22. Let c = 27/76 - 2/19. Sort 0, c, t in decreasing order.
t, c, 0
Suppose 2*b = -b - 6. Let u be (-1)/((-1)/4)*6/(-24). Put u, -5, b in decreasing order.
u, b, -5
Suppose 0 = 5*s - 8*s + 21. Let w = s + -2. Suppose 3*d + w = -4. Sort -0.1, -0.4, d in decreasing order.
-0.1, -0.4, d
Suppose -2*d = -8*d + 30. Sort 2/7, d, 1/5, 2/11.
2/11, 1/5, 2/7, d
Suppose 2*q - 68 = 5*r - 23, 2*r = -q - 9. Let u = r - -4. Let c be 3*4/(-8) + (-10)/4. Put u, 2, c in decreasing order.
2, u, c
Let z = -4.88 + -0.12. Let x = 16/31 - 302/465. Put x, z, 3/4 in ascending order.
z, x, 3/4
Let b = -33.7 + 35.7. Let x = 3 + -3.1. Put -5, x, b in descending order.
b, x, -5
Let w = 1 + -4. Suppose -3*o - 5*a = -0*a - 26, -5*a + 12 = -4*o. Suppose -c + o = -4*n + 5, -2*n + c + 1 = 0. Put n, w, 4 in descending order.
4, n, w
Let h be (-6)/(-1 + 3) + 0. Suppose 9 = 3*a, -4*q + 4*a = -5*q + 19. Let f = q + h. Sort -1, f, 0.
-1, 0, f
Suppose 0*m - 4*m - 32 = 5*s, 4*s - 2*m + 10 = 0. Let z(g) = -3*g + 1. Let x be z(1). Let d be 2*(6/4 - 0). Put d, x, s in descending order.
d, x, s
Let j(b) = b**2 - b - 5. Let m be j(0). Let n = -1 - -2. Suppose -8*w + 5*x = -12*w, -5*x - 20 = 0. Sort m, w, n in descending order.
w, n, m
Let z = 2.2 - -7.8. Let h = -5 + z. Put h, 1/7, 0.2 in decreasing order.
h, 0.2, 1/7
Let b = -0.37 + 0.56. Let o = -0.59 + b. Let j = -6 - -3. Put j, o, -2/