t b = -284 + 283. Put -5, b, 13, 1 in decreasing order.
13, 1, b, -5
Let t(b) = 2*b**2 - 4*b - 12 + 6*b - b**2 - 8*b. Let u be t(7). Put 4, u, -0.5 in ascending order.
u, -0.5, 4
Suppose -37*f + 34*f = -237. Let h = f - 235/3. Put -0.5, 4, h in ascending order.
-0.5, h, 4
Suppose -3*y + 4*y - 35 = 0. Suppose -y = 13*d + 17. Sort 3, d, 5, 24 in decreasing order.
24, 5, 3, d
Let s = -643 - -641. Put -4, -13, s, 3 in decreasing order.
3, s, -4, -13
Suppose -y = 4*y - 20. Let i be (4 - (-143)/(-22))*-2. Put i, 8, y in descending order.
8, i, y
Suppose 45*q - 3*o - 4 = 49*q, -q - 2*o = 1. Let p = 1 - 0. Sort q, p, -4, -5 in increasing order.
-5, -4, q, p
Let n(t) be the second derivative of -t**4/12 + t**3/2 + 2*t**2 + 6*t. Let w be n(5). Let c = w - -10. Sort 5, -4, c in descending order.
5, c, -4
Let r(c) = 2*c**2 - 6*c - c - 2 - 5*c**2 + 2*c**2. Let i be r(-6). Let x be ((-2)/3)/(i/18). Put 6, x, 4 in ascending order.
x, 4, 6
Let h be 6/(144/88) + -3*1. Sort h, 7, -1/5 in increasing order.
-1/5, h, 7
Suppose c - 3*c - 16 = 0. Let t be c/12*6/(-4). Let x be (-4)/6*3/t. Sort x, 5, -5 in decreasing order.
5, x, -5
Let u = 354.7 + -355. Sort -0.1, u, -61 in descending order.
-0.1, u, -61
Suppose 0 = 19*u + 91 + 4. Put u, 18, -2, 4 in descending order.
18, 4, -2, u
Let n = 0.014 - 44.014. Let i = -44 - n. Put -6, -2, -1/7, i in ascending order.
-6, -2, -1/7, i
Let g = -0.01 + 0.01. Let c be (45/(-40))/((-29)/4). Let q = -109/1450 + c. Put -0.1, g, q in ascending order.
-0.1, g, q
Let s(u) = -u**3 + 6*u**2 - u + 4. Let z be s(6). Suppose 3*g - 1 = -3*y + 2, 5*g - 1 = -4*y. Sort 4, -5, z, g in ascending order.
-5, g, z, 4
Suppose -c - 99 = -12. Let p = c + 82. Sort p, 11, 0 in descending order.
11, 0, p
Suppose -4*f + 42 = -f. Let d = 16 - f. Suppose 4*i + d*j - 58 = 0, -4*i + 3*j = -0*i - 53. Sort i, 2, 5 in ascending order.
2, 5, i
Let w(n) = -n**3 + 11*n**2 - 22*n - 11. Let r be w(8). Put 0, r, -1, 1 in ascending order.
-1, 0, 1, r
Let v = 11 - 7. Let z = 5.0417 + -0.0417. Sort -2/7, z, v, -0.4.
-0.4, -2/7, v, z
Let s = 0.6 - 3.6. Let m be (-97)/(-5) + 4/(-10). Suppose m = 4*d + 3. Sort s, -2/3, d.
s, -2/3, d
Let z = 332 - 333. Suppose f - 1 + 0 = 0. Sort -5, z, f in increasing order.
-5, z, f
Let t = 273 - 274. Sort t, 0.31, -2/5 in increasing order.
t, -2/5, 0.31
Let p = -24 + 19. Let v = 1 + p. Put -3, v, -6 in decreasing order.
-3, v, -6
Let h = 955293188/2465 - 387543. Let v = h - -1/145. Let u(c) = -c + 8. Let z be u(10). Sort -6/11, z, v in descending order.
v, -6/11, z
Let s(f) = -2*f + 24. Let o be s(10). Suppose 3*a = r + o*r - 6, 24 = 4*r + 4*a. Put 10, -3, r in increasing order.
-3, r, 10
Let i(u) = u**3 + 6*u**2 + 2*u - 10. Let a be i(-5). Let q = 1.1 + 1.4. Sort a, 3, q in descending order.
a, 3, q
Suppose 5*d = -3*h + 20, -6*h - 4 = -d - 2*h. Let g = -1.2 - -0.2. Sort 0.3, g, d in increasing order.
g, 0.3, d
Let j = 4 + -9. Suppose 0 = -0*w + 6*w - 18. Suppose -14 = -w*y + 1. Sort j, 2, y in ascending order.
j, 2, y
Suppose -4*l - 16 = 140. Let k be l/(-4) + 16/64. Suppose -u - 4*u = 5*c - k, u - 2*c = 11. Sort u, -4, 3.
-4, 3, u
Let i be (-225)/30*(-1 - 1). Suppose 9*w - 6*w = -i. Let a = -8 + 4. Sort 4, a, w in descending order.
4, a, w
Let w(h) = -h**2 - 7*h + 7. Let t be w(-8). Let k be (t - -5) + 4*-1. Sort 1, 6, k in descending order.
6, 1, k
Let f = -4.6 + 2.7. Let w = f + 2.1. Sort -1, w, -1/2.
-1, -1/2, w
Let w = 0.128 + 0.072. Put -0.5, 2/9, 48, w in ascending order.
-0.5, w, 2/9, 48
Let h = -1.931 - 0.069. Let t(d) = d**3 - 13*d**2 + 11*d + 12. Let i be t(12). Sort -10, i, h, 4 in ascending order.
-10, h, i, 4
Let i(m) = -m**2 - 4*m - 5. Let p be i(-4). Let n = 30 + -29. Let j be n/(-4) - 21/(-4). Sort -3, j, p in ascending order.
p, -3, j
Let n = -2 + 5. Suppose -12 = -3*k - 2*o - 0*o, 0 = -k + 2*o + 4. Suppose -d + k*d = 0. Sort d, n, -1/4.
-1/4, d, n
Let c = -0.011 - 0.021. Let n = c - -0.002. Put 2, -2/11, -3, n in increasing order.
-3, -2/11, n, 2
Let k(f) = 15*f - 704. Let y be k(49). Sort 1/8, y, -2, 5 in descending order.
y, 5, 1/8, -2
Suppose 0 = -4*u - 0*u + 8. Let r be 3/(-3)*(-4)/u. Suppose r*x = -4*j - 8, -5*x + 0 = j + 2. Put 0, j, -5 in increasing order.
-5, j, 0
Let f be 186/(-24) + (-1)/4. Let u be (-2 - 20/f)*0. Let z = -17 - -16.8. Put u, z, 5 in ascending order.
z, u, 5
Suppose 0 = 3*z - 3*s - 24, -3*z - 5*s + 9*s + 29 = 0. Sort -20, 5, z, -2 in increasing order.
-20, -2, z, 5
Suppose 16*w = -242 + 162. Put w, -62, -4, -1 in decreasing order.
-1, -4, w, -62
Let j(t) = -t**3 - 8*t**2 + t + 2. Let v be j(-8). Let g be (-5)/(-2)*4/v. Let q = -0.1 + 0.3. Sort q, 2/7, g.
g, q, 2/7
Let m(h) = 4*h**3 - 2*h**2 - 15*h + 17. Let s be m(1). Sort s, 0.013, 4/3 in descending order.
s, 4/3, 0.013
Let k = 5 - 5. Let s = k - -1. Let g = -117 + 119. Sort s, g, -5 in ascending order.
-5, s, g
Let o = 876 + -877. Sort 1/4, o, -3/2, -0.3.
-3/2, o, -0.3, 1/4
Let x = -6 + 11. Let w = 2829 + -2829.5. Sort 2/19, -4, x, w.
-4, w, 2/19, x
Let m(g) = -g**3 + 6*g**2 + 2*g - 7. Let q be m(6). Suppose 3*c - 12 = 0, 5*w = -5*c + c + 141. Let p = w - 21. Put -1, q, p in descending order.
q, p, -1
Let b = 7 - 3. Let h = -0.14 - 0. Let t = -7.14 - h. Put 0, t, b in decreasing order.
b, 0, t
Let q = 14 - 10. Let x(b) = 28*b - 158. Let l be x(6). Sort q, l, 3 in descending order.
l, q, 3
Let j = 62 + -92. Suppose 5*y - y + 15 = -5*q, 5*y + 2*q = -40. Let d be (y/25)/(3/j). Sort d, 1/6, 8.
1/6, d, 8
Suppose 2*r = -0*r + 10. Let l(u) = u**3 - 2*u**2 + 1. Let b be l(0). Sort b, 3, r.
b, 3, r
Let z = 0.03 + 1.97. Let j = -5 + z. Let i = 50 - 42. Sort 1, j, i in increasing order.
j, 1, i
Let x(i) = -3*i**2 - 1. Let t(m) = -m**2 + m - 3. Let z be t(3). Let q = -8 - z. Let n be x(q). Sort -1, 3, n in increasing order.
n, -1, 3
Let w = -1135.9 + 1136. Put w, -3, -2, -1/5 in descending order.
w, -1/5, -2, -3
Let h(l) = l**3 + l**2 - l - 1. Let p be h(-1). Let t(k) = -4*k - 137. Let g be t(-33). Put p, g, 2 in descending order.
2, p, g
Let y be (3/2 - -1)*2. Let r = 10 - y. Put r, 3, 8 in ascending order.
3, r, 8
Let k = -163 - -163.2. Let a(s) = -s - 5. Let l be a(-5). Let p = l - 0. Put 0.1, p, k in ascending order.
p, 0.1, k
Let f(i) = -2*i**2 - 14*i - 13. Let b be f(-6). Put -5, -1/7, 0.3, b in descending order.
0.3, -1/7, b, -5
Let p be 1 + -8 - 4 - -1. Let d be (12/(-15))/(2/p). Suppose -6*s - 5 = 1. Put -0.3, s, d in decreasing order.
d, -0.3, s
Suppose -4*u - 6 = 14. Let b(n) = -3*n**3 + 35*n**2 - 25*n + 32. Let m be b(11). Put m, u, 5, 1 in ascending order.
u, m, 1, 5
Let t = -2 + 1. Let c be 152/(-6) - 8/12. Let p = -30 - c. Sort 4, t, p in descending order.
4, t, p
Let l = 5 + -20. Let k = -17 - l. Put 17, -3, k in increasing order.
-3, k, 17
Let a be 2 + (-59)/22 + (-10)/(-20). Let u = 2.62 - 0.62. Sort a, -2, u.
-2, a, u
Suppose -g - t = -6, -t - 348 + 363 = 4*g. Let k be (6/(-9))/(2/12). Put k, g, 1 in decreasing order.
g, 1, k
Suppose 5*z = -z + 8*z. Let l be -1 + (7 - (-1 + 1)). Suppose 4*i = l*i + 14. Sort z, 2, i.
i, z, 2
Let l = 14 - 11. Let q = -11 + l. Let k = q - -12. Put k, 3/7, 0.1 in ascending order.
0.1, 3/7, k
Let u = 21 + -15. Let j = -1 + u. Let n = 2696 - 2697. Sort j, 4, n.
n, 4, j
Let u(l) = -l**3 - 16*l**2 - 56*l - 13. Let k be u(-11). Sort 3, k, -16, 4.
-16, k, 3, 4
Let p(k) = -6*k + 60. Let t(j) = -2*j + 20. Let u(b) = 6*p(b) - 20*t(b). Let d be u(11). Sort d, 2, 0, 1.
0, 1, 2, d
Let x(m) = -3*m**3 + 3*m**2 - 7*m + 4. Let a be x(2). Put a, 2, 0, -4 in ascending order.
a, -4, 0, 2
Suppose 2 = -8*o + 26. Put o, -3, 1, 5 in ascending order.
-3, 1, o, 5
Suppose 5*k = 4*k - 6. Let m be 32/k + (-2)/(-6). Put -4, 0, m, -2 in decreasing order.
0, -2, -4, m
Let x = -0.136 + 0.076. Let j = 139/6 + -23. Sort x, 6/7, j, -5 in ascending order.
-5, x, j, 6/7
Let o be (-2 + (-5)/(-2))*2. Let i be (0/(-2) + 2)*2. Put 3, o, i in ascending order.
o, 3, i
Let o = -112.971 + -0.029. Sort -1/2, o, 0.1.
o, -1/2, 0.1
Suppose -5*n + 4*u + 161 = 0, -4*u - 74 = -2*n - 0*u. Let q = -28 + n. Let w = 0 - 5. Sort q, -0.5, w in increasing order.
w, -0.5, q
Suppose 43*r - 75*r + 480 = 0. Put 2, -2, r, 4 in ascending order.
-2, 2, 4, r
Let h = -4.3 - -3.36. Let f = -0.61 - h. Let z = f - -0.07. Sort 2, z, 1/3 in increasing order.
1/3, z, 2
Le