ort d, 0, -2 in descending order.
d, 0, -2
Suppose 5*t + 2*b + 16 = 6, 0 = 3*t + 2*b + 2. Put 5, -1, t in increasing order.
t, -1, 5
Suppose 0 = -w - 2*r - 2, -r + 0*r = 2. Sort -5, w, 14.
-5, w, 14
Let s(w) = -w**3 - 8*w**2 - 2*w - 11. Let l be s(-8). Let m be (-1)/(-1) - (-12)/4. Let c = m - 5. Sort c, -4, l in increasing order.
-4, c, l
Let a(u) = -2*u + 4. Let n be a(5). Let k(q) = -q - 3. Let v be k(n). Suppose -5*r - 10 = -v*r. Put -4, 1, r in descending order.
1, -4, r
Let p(b) be the first derivative of b**2/2 - 5*b - 1. Let m be p(7). Suppose 0 = -m*j - 2, -z - 2*j = -0*z + 1. Sort z, -3, 2.
-3, z, 2
Suppose -24 - 1 = -4*n - x, 5*n - 35 = -2*x. Sort n, 24, 0 in ascending order.
0, n, 24
Let o(a) = 2*a**2 - 19*a + 12. Let j be o(9). Sort -1, 0, j in decreasing order.
j, 0, -1
Let v be (-3850)/(-2196) - (0 + 2). Let p = v + 3/122. Sort 5, p, -0.2.
p, -0.2, 5
Suppose 0 = -m + 4*m - 3. Let o(i) = 4*i - 1. Let b be o(m). Let u be 2/2*(2 + -3). Put b, u, -5 in ascending order.
-5, u, b
Let x be -3 + (-4)/(4/(-3)). Let g = x + -2. Sort 4, 5, g in descending order.
5, 4, g
Let d be 1/(((-2)/3)/2). Sort 6, 2/13, d in ascending order.
d, 2/13, 6
Let m = -4 - -9. Put -2, m, -1/4 in ascending order.
-2, -1/4, m
Let h = 0.42 + 0.38. Sort h, -0.3, -1 in ascending order.
-1, -0.3, h
Let x = 59 + -56. Put -2, x, 0 in ascending order.
-2, 0, x
Let s = 0.17 + 1.43. Let q = s - -0.4. Let b(j) = -j**3 - j**2 + 1. Let l be b(-2). Sort -3, l, q.
-3, q, l
Let a = 1.45 + -1.49. Sort -1/3, 4, a, 1 in ascending order.
-1/3, a, 1, 4
Let o be (-2 - 1)/3 + 3. Let b = 4 - 4. Sort -5, b, o.
-5, b, o
Let t = 125 + -123. Sort 1, -2, -1, t.
-2, -1, 1, t
Let o = 0.03 - 1.03. Put 1, o, -1/2 in ascending order.
o, -1/2, 1
Let p be -1*9*2/(-3). Let s = -11 + p. Let h(v) = -v**3 - 5*v**2 - v - 6. Let d be h(s). Sort 4, d, 0.
d, 0, 4
Let n = 62 - 64. Put n, -1/3, 3 in decreasing order.
3, -1/3, n
Let h = -0.2 - 1.8. Suppose -2*j = -j - 2. Suppose 3 = -3*r - x, j*r = 7*r - 2*x + 5. Sort h, -3/4, r in decreasing order.
-3/4, r, h
Let x = 3.02 + -0.02. Let v = -1.6 - 0.4. Sort -4, x, v.
-4, v, x
Let t = -72 + 71.9. Let a = -48/55 + 3/11. Sort 0.5, a, t in increasing order.
a, t, 0.5
Let o = 4 - 2.2. Let v = o + -1.3. Sort 1/3, v, 0.3 in decreasing order.
v, 1/3, 0.3
Suppose -3*l - 17 = 4*g, 0 = 5*l - 5*g - 38 + 8. Let f = 77 + -81. Put f, l, -2 in descending order.
l, -2, f
Let l = 0.01 - 3.01. Put l, -0.08, 1/6 in decreasing order.
1/6, -0.08, l
Let h(t) = -2*t**2 - t + 1. Let k be h(1). Sort k, -4, -15, 4 in decreasing order.
4, k, -4, -15
Let u be -2 - ((-7 - -3) + 1). Sort -8, -5, u.
-8, -5, u
Let g = -3 + 3.5. Sort 2/15, 2/3, g in descending order.
2/3, g, 2/15
Suppose 10 = 2*b + o, -3*b - 4*o + 15 = -10. Put 0, b, 2 in descending order.
b, 2, 0
Let l be ((-12)/14)/(-7 - -9). Put l, -2/7, -2 in decreasing order.
-2/7, l, -2
Suppose -3*q - 2*q + 60 = 0. Suppose q + 3 = 5*y. Put -5, y, -1 in descending order.
y, -1, -5
Let b be -6 - (-3 + 3 + -2). Let a(n) = n + 1. Let m be a(b). Let l be (-2 + 7)/(3/(-3)). Sort m, 5, l in decreasing order.
5, m, l
Suppose 3*h - 24 = h + 5*a, -2*h - 5*a = 16. Suppose 5*o = 4*o - h. Sort 4, 3, o in decreasing order.
4, 3, o
Suppose -7*y = -3*y - 20. Let h = 9 - y. Suppose d + c = h, -3*d - 4*c = -7*c + 18. Put 3, 0, d in ascending order.
d, 0, 3
Let d = 1 - 4. Sort d, -0.3, -0.1 in ascending order.
d, -0.3, -0.1
Suppose 4*t - 2 = 2*t. Let b be (-20)/(-15)*(-3)/2. Sort t, 0, b in increasing order.
b, 0, t
Let s = 7 + -6. Let t = 1 - 2. Sort t, -12, s.
-12, t, s
Let b(i) = 4*i**2 - 9*i + 4. Let x be b(1). Suppose -2*l + 5*o = -1 - 4, 3*l - 2*o + 9 = 0. Sort x, 4, l in descending order.
4, x, l
Let b(u) = -u**3 - 7*u**2 + 8*u. Let r be b(-8). Sort 3, r, 1 in decreasing order.
3, 1, r
Let t = 0.02 - -0.04. Let y = t - -0.04. Let r = y + -0.2. Sort r, -4, 2/3 in decreasing order.
2/3, r, -4
Let r be 2 + -5 - 3*-1. Sort r, 4, -3 in ascending order.
-3, r, 4
Suppose 7 = 5*r - 13. Suppose 0 = 3*c + i + 3, i = -c + 6*i - 1. Sort r, 5, c in ascending order.
c, r, 5
Suppose -2*m + 0*m = 6, 67 = 5*u - 4*m. Suppose 0 = 3*b + u - 2. Put -2, -4, b in descending order.
-2, b, -4
Let o = 1.5 - 2. Let j = -6.5 + 8. Let n = o + j. Put n, 0.3, 0.1 in decreasing order.
n, 0.3, 0.1
Let l = -192/119 - -42/17. Sort 0, l, 4/3 in increasing order.
0, l, 4/3
Let o = 7 - 7.3. Let l = 26.95 + -27. Sort l, o, 4.
o, l, 4
Let h be 2/(-11) - 7/((-385)/10). Put -1/10, -5, h in ascending order.
-5, -1/10, h
Suppose -6 = 7*k - 10*k. Suppose -4*q = -2*l + 14, 4*l + 2*q - 24 = 6*q. Put l, 0, k in descending order.
l, k, 0
Let i = 1 - 3. Let o = 3 - 4. Let f = i + o. Sort 0, f, -1/2 in decreasing order.
0, -1/2, f
Let t = -49/156 + -1/52. Put t, -0.1, 1/5, 3 in increasing order.
t, -0.1, 1/5, 3
Let p = 3 + 0. Let r = p - 3.5. Let l = 6 - 8. Sort r, -0.4, l in increasing order.
l, r, -0.4
Let r = 269 + -1879/7. Let i = 33.7 + -34. Put r, i, 0.01 in decreasing order.
r, 0.01, i
Suppose -3*d + 45 = -3. Let k be ((-8)/d)/(1*2). Let a = 0.4 + -0.2. Put 5, k, a in descending order.
5, a, k
Let z be (-5)/((-5)/(-2)) - -1. Suppose 0 = 5*l, -3*l - 10 = 3*v - 5*v. Sort z, 3, v.
z, 3, v
Let n = -7 - -7. Suppose 5*z + 3*g + 14 = 0, -3*g - 9 = -n*g. Put 5, z, 2/15 in increasing order.
z, 2/15, 5
Let l be ((-12)/(-90))/(6/(-10)). Put l, -2, 0.4 in increasing order.
-2, l, 0.4
Suppose -v - 20 = -3*v - 4*u, 4*v = 2*u - 10. Let n be -3 - 1 - -2 - v. Put 0, -5, n in ascending order.
-5, n, 0
Let x be ((-4)/(-6))/(4/6). Suppose 0*o + 15 = 3*o. Sort x, o, -3 in descending order.
o, x, -3
Let w be ((-8)/6)/(16/(-24)). Sort 4, -10, w in descending order.
4, w, -10
Let r(w) = 2*w - 6. Let k be r(1). Sort -3, 0, k, 2/19.
k, -3, 0, 2/19
Let q = 2 - 5. Let z be ((-1)/(-20))/(1/14). Let w = z - 8/15. Sort -2/23, w, q.
q, -2/23, w
Let z = 6 - 4. Let i = -6 - -7.5. Let v = z - i. Sort 1, -2, v in increasing order.
-2, v, 1
Suppose 5*v + 16 = 2*j, 5*v + 22 = -0*j + 4*j. Sort j, -4, 1 in decreasing order.
j, 1, -4
Let l = -12 - -15.6. Let s = l + -4. Put -0.5, 2, s in decreasing order.
2, s, -0.5
Let p = 4 + -8. Sort 0, p, -1/3 in descending order.
0, -1/3, p
Let x be 3 - 1*(-12)/(-3). Let z = 9 + x. Let p = z + -6. Put 5, p, -5 in ascending order.
-5, p, 5
Suppose -4*k = -3*u - 56, -u = 2*k - 5*u - 38. Let j = -2 + k. Sort -5, -1, j in decreasing order.
j, -1, -5
Let y(l) = -l**3 + 3*l**2 - 2*l - 1. Let j be y(2). Let a be (6 - 13)/7 + -1*2. Suppose 3*u = -u + 4. Put a, j, u in decreasing order.
u, j, a
Let p be 112/6 + (-2)/3. Let k be p + (0 - 0/3). Let j = -13 + k. Sort -1, 0, j.
-1, 0, j
Let t = -8 - -11. Sort t, 2/9, 0.2.
0.2, 2/9, t
Let f = -1.5 - -0.3. Let q = 0.2 + f. Sort 3, q, 0 in increasing order.
q, 0, 3
Let r = -10.07 - -0.07. Sort r, 4, -1 in decreasing order.
4, -1, r
Let u = 134 + -134. Put 4, u, 13 in decreasing order.
13, 4, u
Let y = 15 + -17. Sort y, 2, -5 in ascending order.
-5, y, 2
Suppose -4*s = -x + 18, 4*x + s = 3*x - 7. Let m(u) = -8*u - 31. Let j be m(-4). Sort -3, x, j in descending order.
j, x, -3
Let h = -0.0264 - -4.0464. Let p = -1 - -1.02. Let j = p - h. Sort -0.5, j, 0.1 in increasing order.
j, -0.5, 0.1
Let d = 34 + -30. Put -2, -5, d in ascending order.
-5, -2, d
Let t be (1/(-2) + -2)/(13/(-26)). Sort 3, 4, t, -2.
-2, 3, 4, t
Suppose 6 - 22 = 2*w + o, 0 = -4*o + 8. Let n be (-1)/2*(-3)/w. Sort 3, n, -3 in descending order.
3, n, -3
Let b(y) = -6*y**3. Let a be b(-1). Let s(x) = -x**2 + 6*x + 1. Let j be s(a). Let c be j/(-2 + (-6)/(-4)). Put c, 2, -1 in decreasing order.
2, -1, c
Suppose -23 = 5*l + 2*k, -3*k = 3*l + l + 24. Let r = 2 - l. Put 3, r, -3 in ascending order.
-3, 3, r
Let i = -12 - -9. Sort i, -2, 5 in decreasing order.
5, -2, i
Suppose 3*s + 0 + 3 = 0, 0 = -t - 3*s. Suppose 0 = -5*v - 3*u - 14 + 4, 0 = 5*u. Put 4, v, t in decreasing order.
4, t, v
Let g = 2 - 16. Let t be 2/7*g/(-6). Let h be ((-9)/(-4))/((-12)/8). Sort h, -5, t in descending order.
t, h, -5
Let t = -1.84 + -0.16. Let i = 5 + -9. Sort i, -0.01, t.
i, t, -0.01
Suppose 0*g = -6*g - 24. Put -6, g, 4 in decreasing order.
4, g, -6
Let g = 1 - 0.5. Let v = 0 - g. Let c = -21.4 - -21. Sort v, 3, c in descending order.
3, c, v
Let t = 9 - 33. Let l be -1*4*t/(-32). Sort 5, -5, l in ascending o