 = -9 + k. Sort 1, b, -4 in increasing order.
-4, 1, b
Suppose 0 = 7*z - 28. Put -5, -1, z in decreasing order.
z, -1, -5
Let i be (-1)/(-4)*(-18)/21. Let t be ((-5)/(-42))/((-3)/(-9)). Let s = t + i. Put -2, s, -5 in ascending order.
-5, -2, s
Suppose 0 = z - 5*d + 15, 0*d - 18 = 4*z + d. Suppose 3*a = 3 - 6. Sort 1, a, z in increasing order.
z, a, 1
Let d be -2 - -3 - (-10 + 7). Put 0, -4, d in decreasing order.
d, 0, -4
Let u(a) = -a**3 + 8*a**2 - 5*a - 17. Let b be u(7). Put b, 5, -47 in decreasing order.
5, b, -47
Let w = -90 + 95. Sort w, -0.05, -4.
-4, -0.05, w
Let j = -0.2 + 0.4. Sort -3, -2, j in descending order.
j, -2, -3
Suppose 8*d - 5*d = -3. Put -4, 1, d in increasing order.
-4, d, 1
Let k be 4/8*(-1 - -3). Suppose 0 = 7*x - 3*x + 16. Sort 2, k, x.
x, k, 2
Let o = 41 - 40.93. Sort o, -4/3, 1.
-4/3, o, 1
Let b(j) = -j**2 + 3*j - 3. Let g be b(2). Sort g, 7, 1.
g, 1, 7
Suppose -12 = -4*w + 10*w. Sort w, 3, -1.
w, -1, 3
Let f(n) = -2*n + 12. Let d be f(8). Sort 3, d, -1 in ascending order.
d, -1, 3
Let h(b) = 5*b**3 - 20*b**2 - 6*b - 25. Let f(a) = -a**3 + 4*a**2 + a + 5. Let o(u) = 11*f(u) + 2*h(u). Let j be o(4). Sort 0, j, -5 in increasing order.
-5, 0, j
Suppose -8 = 3*t + 1. Let y = t - -7. Sort y, -0.5, 0 in descending order.
y, 0, -0.5
Let y be (-91)/35 - (-4)/2. Let x = 4 + -4.4. Put x, -3, y in decreasing order.
x, y, -3
Let a = 2 - -1. Let u = a + -3.5. Let v = 38 - 36. Sort v, -1, u in decreasing order.
v, u, -1
Let v = -25 - -24.8. Sort 2/41, 0.3, v in ascending order.
v, 2/41, 0.3
Let f = 7 - 9. Let s be (-3 + 2)*(f - -1). Sort -5, -3, s.
-5, -3, s
Suppose 3*f + 6 + 0 = 0. Sort f, 3, -5, 2.
-5, f, 2, 3
Let c(j) = -j**3 - 15*j**2 + 3*j + 37. Let q be c(-15). Sort -3, 3, 5, q.
q, -3, 3, 5
Let l(n) = -10*n**2 + 1. Let h be l(-1). Let m = h - -8. Sort 0, -3, m.
-3, m, 0
Suppose -3*w + w - 5*a - 31 = 0, 0 = -w - 3*a - 18. Suppose 0 = 7*d - 10*d - 12. Sort 17, w, d in decreasing order.
17, w, d
Let p = -8.5 - -8.8. Sort p, -2, 2.8.
-2, p, 2.8
Let l(z) = 3*z**2 + 2*z + 1. Let o be l(-1). Sort o, 3, 0 in increasing order.
0, o, 3
Let l = 9 + -9.4. Let g = -0.7 - l. Sort 2/5, g, -0.4 in descending order.
2/5, g, -0.4
Let f be 2/5 + (-108)/(-30). Suppose k - 3*m + 14 = 0, -k + m - 14 = f*k. Let t = 5 + -8. Sort 1, t, k.
t, k, 1
Let h = 0.21 + 0.09. Suppose 0 = 3*a - 9, -m = -3*a - 2*a + 10. Put 2, h, m in ascending order.
h, 2, m
Let i be 3/(9/2)*-3. Let c = 1 + -0.9. Let z = 350 - 4548/13. Put i, z, c in descending order.
z, c, i
Let g be (2/3)/(2/9). Let u be (-56)/(-12) - 1/(-3). Put u, -0.1, g in decreasing order.
u, g, -0.1
Let q(h) = -3*h - 2. Let j be q(-3). Let a be (-5)/(-140) - 2/j. Sort -1/9, a, 2/3 in decreasing order.
2/3, -1/9, a
Suppose 3*d + 16 = -d. Let c = -17.1 + 16.9. Sort c, d, -2/7.
d, -2/7, c
Let g = -5.13 + 0.13. Suppose -3*p + 2*p + 5 = 0. Sort g, p, 3/2 in decreasing order.
p, 3/2, g
Let q(w) = 3*w - 22. Let j = 45 + -37. Let y be q(j). Let m = -10 + 7. Put y, m, 6 in ascending order.
m, y, 6
Let j be (-24)/(-20)*(-30)/9. Sort j, 3, -2 in decreasing order.
3, -2, j
Let n be -2*(0 - (0 - -1)). Let d = -265 - -260. Sort n, 5, d in descending order.
5, n, d
Let u be -14 - (-6)/3 - 0. Let r = 10 + u. Put 0.3, r, 0.4 in ascending order.
r, 0.3, 0.4
Suppose h + k + 5 = -2*k, 5*k = -4*h + 1. Suppose -2*l = -6*l - h. Let o = -8 - -12. Sort o, 2, l in decreasing order.
o, 2, l
Let l(i) = -i**2 - 3*i - 2. Let f be l(-2). Put f, -3, 3 in descending order.
3, f, -3
Suppose 3*f = f + 10. Suppose 7 = 3*u - 5. Put u, f, 3 in ascending order.
3, u, f
Suppose -k + 0*k - 6 = 0. Suppose 0 = -s - s + 2. Put -4, s, k in increasing order.
k, -4, s
Let s = 0.246 + 0.154. Put -0.6, s, -2 in decreasing order.
s, -0.6, -2
Let o = 2 - 0. Let l = 0 + -0.1. Let b = 25.7 - 26. Sort o, b, l in ascending order.
b, l, o
Let h = 5/7 - 13/28. Let d = 0.3 - 1. Let f = d - -0.2. Put f, h, 2/7 in descending order.
2/7, h, f
Let i be (-8)/6*(-18)/156. Let n(s) = -s**3 - 3*s**2 - s + 1. Let g be n(-3). Put g, i, -1/8 in descending order.
g, i, -1/8
Suppose -5*q + 0*q - 105 = 0. Let g be 1 + q/12 + 1. Let o = 1.5 + -2. Sort -5, g, o in descending order.
g, o, -5
Let g = -0.119 - -0.119. Let v = -2/3 - -1. Put g, v, -4 in descending order.
v, g, -4
Let o be (-1)/(-3) + 11/21. Let i = -0.11 - 0.19. Put -5, o, i in decreasing order.
o, i, -5
Let h(o) = -6*o + 1. Let d be h(1). Let a be (2/2)/(1 - 2). Let t = 8 - 3. Put t, d, a in decreasing order.
t, a, d
Let d = -44 + 43.8. Let j = -0.1 - 1.9. Sort d, j, 0.3 in increasing order.
j, d, 0.3
Let r(z) = 2*z + z - 3 - 4*z + z**2. Suppose 0 = -0*t - t. Let n be r(t). Put n, 4, -1 in increasing order.
n, -1, 4
Suppose k = 3 - 7. Let j be 40/15 + (-1)/(-3). Let u be (-6)/(-3) - j - -11. Sort k, -2, u in increasing order.
k, -2, u
Suppose -9*c = -6*c. Suppose c = -3*w + w. Suppose w*f + 3*f = -9. Sort 1, -2, f in ascending order.
f, -2, 1
Suppose 6 = 2*g + 7*t - 3*t, -t + 6 = -g. Sort -5, g, 0 in ascending order.
-5, g, 0
Let l = 4 + -8. Let v be 13/l + 12/(-16). Put 4, 3, v in decreasing order.
4, 3, v
Let g = -58.4 + 58. Sort -5, g, -0.3, -4 in ascending order.
-5, -4, g, -0.3
Let q = -0.97 + 1.97. Sort -0.3, 3, -4/3, q in increasing order.
-4/3, -0.3, q, 3
Let s be -2*1*(0 - -2). Let x be (-174)/(-152) + 4/38. Let z be -2 + 4 - (-48)/(-22). Sort x, s, z.
s, z, x
Suppose -5*t + 3 = -62. Sort 3, t, -3 in ascending order.
-3, 3, t
Let z be 2/(-10) - 32/(-10). Suppose 2*w - z*w = 4. Let b = 53 - 55. Put w, b, -1 in descending order.
-1, b, w
Let t = -0.143 + 6.443. Let f = -6 + t. Let o = 0.5 - f. Sort -1/4, o, -2 in increasing order.
-2, -1/4, o
Let g = 109 - 104. Sort 4, -3, g, 2/13 in descending order.
g, 4, 2/13, -3
Suppose 2*r - 14 + 6 = 0. Sort 2, r, -5, -3 in descending order.
r, 2, -3, -5
Let w(j) = -j. Let d be w(2). Let k be d/30*51/(-9). Let m = -2/45 + k. Sort 1, 1/4, m in ascending order.
1/4, m, 1
Let w = -2.1 + 3. Let k = 0.6 - w. Put k, 1, -1 in decreasing order.
1, k, -1
Let n = 30 + -32. Let t = -2 - 3. Let j = t - -8. Sort 0, n, j in descending order.
j, 0, n
Let y = -205/6 - -34. Let t be 3/9 + (-4)/(-6). Put t, y, -0.3 in increasing order.
-0.3, y, t
Let x(z) = -z**2 + 2. Let n be x(2). Put -4, 0, n in decreasing order.
0, n, -4
Suppose 0 = -5*f - 0*f. Sort 6, 5, f in increasing order.
f, 5, 6
Suppose 0 = -0*k + 2*k + 2*y + 12, 3*k - 14 = 5*y. Let t be (-6)/4*1*-2. Let c = k + t. Put c, 2, 4 in descending order.
4, 2, c
Let s = 1.4 + -1. Let b = -6 - -5.5. Let u = b + 0.3. Put -1, s, u in descending order.
s, u, -1
Let w be 1/(1 + 2/(-1)). Suppose -z + 5 - 9 = 0. Sort z, -3, w in descending order.
w, -3, z
Let d = -1 + -2. Let r = d + 3. Let v(k) = -k**2 + 4*k + 7. Let l be v(6). Sort r, l, 5 in descending order.
5, r, l
Let q(l) = l - 9. Let g be q(6). Let h = -10 - -8. Put g, 3, h in increasing order.
g, h, 3
Suppose -5*k - f + 21 = 0, 0*f + 19 = 3*k - f. Put 3, k, -2 in decreasing order.
k, 3, -2
Let y be (-5)/7*(-16 + -6). Let m = 108/7 - y. Let u(p) = -p**2 + 3*p + 4. Let z be u(4). Sort z, m, 2/11 in decreasing order.
2/11, z, m
Let m(g) = 2*g**2 - 2*g - 3. Let a be m(-2). Suppose -4*l + l = -a. Let x(z) = -z**2 - 3*z - 2. Let b be x(0). Put l, b, 1 in descending order.
l, 1, b
Let w be (-5 - 0)*4/5. Let d be (-175)/(-35) - 16/3. Sort d, 3/8, w in ascending order.
w, d, 3/8
Suppose 2 = -k + 4. Put -3/7, -2, k in increasing order.
-2, -3/7, k
Let g = -6 + 7. Let z = 2.6 + -0.6. Let x = z - 2.1. Sort g, x, 5 in ascending order.
x, g, 5
Suppose 4*s + 1 = -27. Sort 7, -3, s.
s, -3, 7
Suppose 0 = w + w + 8. Let g(c) = -c**3 - 24*c**2 - 22*c + 28. Let s be g(-23). Sort s, w, 4 in increasing order.
w, 4, s
Suppose 0*y - y = 0. Put 5, -2, y in decreasing order.
5, y, -2
Suppose -a = 4*a - 2*n + 25, -5*a = -4*n + 25. Put 5, 12, a in descending order.
12, 5, a
Let f = -2 - -2. Let z = f + -2.2. Let h = z + -0.8. Put -0.4, 0.2, h in increasing order.
h, -0.4, 0.2
Let o(i) = -i**3 + 7*i**2 + i - 6. Let d be o(7). Let a = 3/16 + 1/80. Sort a, 0.5, d in increasing order.
a, 0.5, d
Let z be (5/6)/((-25)/(-20)). Let b = -0.5 - -1. Sort 2, z, b in decreasing order.
2, z, b
Let z = -3.8 + -0.2. Let h = -0.03 + 0.43. Put z, h, -5 in increasing order.
-5, z, h
Let c = -12 + 7. Let f(q) = q**3 