 Sort b, t, -1 in descending order.
t, -1, b
Let h = 4 - 16. Let a = h + 16. Sort 2, 0, a.
0, 2, a
Suppose 0 = -5*r + 15*r + 50. Put 58, r, 2 in increasing order.
r, 2, 58
Let z(p) = p**3 - 2*p**2 - 2*p + 3. Let j be z(3). Let s(v) = -v**2 + 6*v. Let k be s(j). Sort -4, k, -3.
-4, -3, k
Suppose 2*h - 19 = -2*v - v, -2*h + 3*v + 1 = 0. Suppose -5*t = 4*y + 8, -h*t = -4*y - 3*t + 20. Sort y, -3, 2 in increasing order.
-3, 2, y
Let v = -13 - -15. Put 1, v, 5 in increasing order.
1, v, 5
Let q(s) = s + 4. Let t be q(-8). Let b = t + 7. Let h = -0.1 + 0.2. Put b, h, -1 in decreasing order.
b, h, -1
Let h = 43/70 + -3/14. Put h, 2/13, -1 in decreasing order.
h, 2/13, -1
Let g(n) = 2*n**2 + 5*n + 1. Let j be g(0). Put 0, 2, 10, j in descending order.
10, 2, j, 0
Let g = -15 - -13. Sort g, 0.4, 4/7 in decreasing order.
4/7, 0.4, g
Let h be 5*4/(3 - 2). Suppose a - h = -3*a. Suppose 0 = -0*k + k + 4. Put 3, k, a in decreasing order.
a, 3, k
Let m = 3 + 6. Suppose -7 = 3*y - 2*b + 2, 0 = -5*y + 3*b - 16. Let o = m + y. Sort 0, 2, o in decreasing order.
o, 2, 0
Let n = 0 - -1. Let o = n - 3. Let y = -0.3 - -0.4. Sort o, -0.4, y.
o, -0.4, y
Let j = -93/2 - -461/10. Let w = 689.97 + -693. Let u = w + 0.03. Sort u, j, 2.
u, j, 2
Let s = -0.6 + 0.2. Put -1, -3, s in decreasing order.
s, -1, -3
Let b = -42 - -43. Let l = -0.3 + 1.3. Let n = 0.9 - l. Sort n, b, -2 in decreasing order.
b, n, -2
Let s(q) = q**3 + 7*q**2 + 6*q + 5. Let m be s(-6). Let b be (-1)/1*(-4 + 0). Let n = 6 - 5.6. Sort b, n, m in decreasing order.
m, b, n
Suppose 4*h + 5*r - 28 = 0, -2*h + 2*r - 1 = 3. Let j be 4*(2 - (-10)/(-8)). Put -4, j, h in increasing order.
-4, h, j
Let b = -1 + 1. Suppose -18 = 3*q + 2*l - 0*l, 5*q + 5*l = -35. Let x be -3 + 0*2/q. Put x, -2, b in ascending order.
x, -2, b
Suppose 5 = 4*i - 11. Let s be (6/24)/((-1)/i). Sort s, -5, 4 in descending order.
4, s, -5
Let l be (-1)/3 + (-280)/15. Let g = -12 - l. Suppose 4*u + 20 = -4*q, -g*u + 2*q = -2*u + 11. Put -4, u, 3 in increasing order.
-4, u, 3
Let f = -6.3 + 6. Let l = 3.3 + f. Let y = -0.09 + 4.09. Sort y, l, 2 in increasing order.
2, l, y
Let p = 13 - 7. Sort p, -5, 0.5.
-5, 0.5, p
Let u = -3 - 0. Let z = -0.32 - -0.02. Sort z, -5, u in decreasing order.
z, u, -5
Let f(o) = o + 11. Let k be f(-11). Let u = k - 1/3. Sort u, 3, -0.3 in decreasing order.
3, -0.3, u
Let u(j) = -j**2 + 11*j - 13. Let n be u(10). Suppose -5*l = -0*l + 10. Let v be l + (-3)/(-3) + 0. Sort n, 1, v.
n, v, 1
Let a = 3 + 0. Suppose -r = 7*j - 5*j - 10, -12 = -j - 4*r. Put 0, j, a in decreasing order.
j, a, 0
Suppose 3*o - 7*o - c + 20 = 0, 3*o = 3*c. Let t = o - 6. Let j = 4 + -8. Sort j, t, -5 in descending order.
t, j, -5
Let l = 101/5 + -904/45. Sort -1/8, 5, l, 4 in decreasing order.
5, 4, l, -1/8
Let f(q) = -q**3 - 5*q**2 + 4. Let g = -2 - -6. Suppose 1 = -r - g. Let b be f(r). Sort 0, 1, b in descending order.
b, 1, 0
Let t = 3.5 + -3. Let f be (-8)/(-3) - (-3)/9. Let l be (f - 138/33) + 1. Put l, t, -0.2 in decreasing order.
t, l, -0.2
Suppose 2*h - 2 = -0. Let n(w) = w**2 - 2*w - 5. Let p be n(4). Suppose -5*d - p = 2*j + 14, -3*j - 3 = 0. Put 0, h, d in decreasing order.
h, 0, d
Suppose 10 = -2*h, 3*l - 3*h - 25 = l. Let a be 18/(-30) - (-3)/5. Sort l, -1, a in ascending order.
-1, a, l
Let x be (-1491)/(-27) + 18/6. Let d = 58 - x. Put -3, d, 4 in descending order.
4, d, -3
Let a = 9.92 + 0.08. Let i = 6 - a. Let z = -4 + 8. Put i, z, 3/7 in ascending order.
i, 3/7, z
Let k = -5 + 2. Let p(g) = g**3 + 2*g + 4*g**2 + 3*g + 4 + 0*g. Let j be p(k). Sort -1, 4, j.
j, -1, 4
Let g = 843/5 + -2879/15. Let j = g - -25. Let q = 2 - j. Sort -5, 5, q in decreasing order.
5, q, -5
Let g = 2 + -3. Suppose 5*a = 4*a. Suppose -2*d + 19 = -4*d + 3*i, a = -i + 3. Sort g, d, 5.
d, g, 5
Let o be (-2)/20 + 87/(-30). Sort o, -1, 3 in descending order.
3, -1, o
Let y be 27/21 - 4/14. Put 6, y, -1 in ascending order.
-1, y, 6
Let y = -0.037 + -0.463. Put y, 5, 6/11 in ascending order.
y, 6/11, 5
Let d = 29 + -26. Sort 0.5, -2/33, d in decreasing order.
d, 0.5, -2/33
Let y = -21 + 29. Suppose 6*n - 4 - y = 0. Let z(j) = -j**2 - 3*j - 2. Let w be z(-2). Sort 4, w, n in decreasing order.
4, n, w
Let s = 7 + -5. Suppose s*y - 21 = -y. Sort y, 4, -0.2 in descending order.
y, 4, -0.2
Let q = 0.007 - 4.407. Let u = q + 4. Sort -5, u, -1/5 in decreasing order.
-1/5, u, -5
Let h = 4.3 + -0.3. Put -0.4, h, -4 in decreasing order.
h, -0.4, -4
Let u = -16/11 + 65/22. Put u, -1/32, 0.4 in decreasing order.
u, 0.4, -1/32
Suppose -2*l = 4, 3 = -h + l - 4*l. Suppose 10*n = -2*j + 9*n - 2, 2 = -2*j + 2*n. Sort j, h, 1 in increasing order.
j, 1, h
Let h = -18.9 + 18.7. Put h, 5, -0.3 in descending order.
5, h, -0.3
Let g = -2 - -3. Let x = -142 - -137. Sort g, 4, x in decreasing order.
4, g, x
Suppose 2*a + 2*c = 0, 0*a + c = -4*a - 15. Sort 7, -3, a in descending order.
7, -3, a
Let l be -3 - -6 - 28/2. Let k = 10 + l. Sort k, 3, 5 in decreasing order.
5, 3, k
Let m be (-8)/6*3/9. Let g be (3*-2)/((-6)/4). Sort 3, g, m in decreasing order.
g, 3, m
Let s be -2*(-1 - 6/4). Suppose -2*y = -s*y. Let i(b) = -3*b**3 - b**2 - 2*b - 1. Let u be i(-1). Sort y, 1, u in decreasing order.
u, 1, y
Let u = 0.66 - -1.24. Suppose -5*b + 4 + 1 = 0. Sort 3/7, b, u in ascending order.
3/7, b, u
Suppose 4 = -2*i + 2*v - 0, -2*v + 19 = 3*i. Suppose 3*c + 31 = -4*m, -10 + 5 = 5*c. Let j be 0/2 - (-1)/m. Sort -3, i, j in descending order.
i, j, -3
Let r = -5/4 - -3/4. Let i(f) = -4*f. Let d(y) = 7*y - 1. Let u(q) = -3*d(q) - 5*i(q). Let o be u(7). Sort o, r, 0.2.
o, r, 0.2
Let x be (-4)/(-5)*(-30)/(-4). Let z be (-3)/x - (-22)/4. Put z, 4, -1 in descending order.
z, 4, -1
Let z = 0.05 - -0.35. Put -5, -1, z in ascending order.
-5, -1, z
Let s(g) = -g - 2. Let x be s(5). Let y be 3 + (x - (-2)/2). Let z be 1 - ((-1)/(-1))/(-1). Sort 5, y, z.
y, z, 5
Let o = -16 + 15.5. Put o, 1/2, 3/5 in descending order.
3/5, 1/2, o
Let h(x) = -x**3 + 5*x**2 + 8*x + 1. Let p be h(6). Let u = -9 + p. Suppose -1 = -j, 2*b = 6*b - 4*j + 8. Sort b, -5, u in decreasing order.
u, b, -5
Suppose -6 = 5*p + 4. Let d be (-8)/(-6)*(-15)/(-10). Suppose 3*y + 10 = -d*f, -f = -5*y - 6*f - 25. Put y, p, -3 in descending order.
y, p, -3
Let q be ((-3 - -5) + -4)/(0 + 2). Put -2, q, -10 in ascending order.
-10, -2, q
Let i(n) = 4*n + 3. Let l be i(-2). Let v be (-5)/2*(3 + -1). Let s = l - v. Put 3, -5, s in ascending order.
-5, s, 3
Suppose -3*o + 3*z + 6 = -0*o, -o + 5*z = -2. Suppose -3*p + 8*p + 19 = o*l, 0 = -3*l - p + 3. Put 5, l, 0.1 in descending order.
5, l, 0.1
Let m = -56 + 52. Sort m, 32, -2 in increasing order.
m, -2, 32
Let u = -0.26 - -0.16. Sort -2/7, u, 0.4 in increasing order.
-2/7, u, 0.4
Let l = -2.92 - 0.08. Let n = 27/110 + -6/11. Let m = 3/40 - n. Sort l, 2/15, m in descending order.
m, 2/15, l
Let h = -6 + 15. Put -2, 1, h in increasing order.
-2, 1, h
Suppose 8 = 2*m, 0 = -4*f - 5*m + 3*m - 40. Put -1, -2, f in decreasing order.
-1, -2, f
Let u = 19 - 15. Put -19, u, 2 in descending order.
u, 2, -19
Let z = 46.4 - 51.37. Let r = z + -0.03. Let t = -6 - -11. Put -3, t, r in decreasing order.
t, -3, r
Suppose 0*d = 2*d. Let j = -4 - -7. Suppose 5*q = j*k - 4*k - 4, -1 = -4*q - 5*k. Sort -2, d, q in decreasing order.
d, q, -2
Suppose 1 = -5*x + 21. Let t = x - 8. Let v = t - -1. Sort 3, v, 0.1.
v, 0.1, 3
Let g = 1 + -4. Sort g, 6, 0.
g, 0, 6
Suppose 0 = 12*i - 8*i. Suppose -4*y = 9 + 11. Sort i, -2, y in increasing order.
y, -2, i
Let d = 17 + -12. Let l be (-4 + -6)*(-2)/5. Let x be (-2 - l)*2/(-9). Put -2, x, d in decreasing order.
d, x, -2
Let o = 1.9 + -2.1. Let v = -0.02 + 0.32. Sort v, 0, o.
o, 0, v
Let j = -18 + 13. Let q = 549/65 + -43/5. Put 1/4, q, j in ascending order.
j, q, 1/4
Let a = 0.6 - 0.9. Put a, 1, -0.4 in ascending order.
-0.4, a, 1
Let p be (2 + -3)*(-1)/1. Let q be (-2)/(-5)*p/(-2). Let f = -0.2 + 0.2. Put f, 1/4, q in decreasing order.
1/4, f, q
Let p = -4388/17 + 258. Let f = -0.5 - -2.5. Put -4, f, p in ascending order.
-4, p, f
Let d = -1 - 2. Put 0.1, d, 0.2 in increasing order.
d, 0.1, 0.2
Let y be (57/(-21) - -3)/(39/21). Sort -1, 15, -2/3, y in descending order.
15, y, -2/3, -1
Let j = -39 + 39.1. Put 1/2, j, -0.3, -1/8 in descending order.
1/2, j, -1/8, -0.3
Le