-10*k = -17*k. Put -18, k, -3 in descending order.
k, -3, -18
Let u(d) = d**2 - d + 1. Let i be u(2). Let t be (5 - (1 + -2 + 4)) + -3. Sort t, 1, i in ascending order.
t, 1, i
Suppose 0*d - 4*d - 4 = 0. Put 0, d, -5 in descending order.
0, d, -5
Suppose -9 = t - 5*k, 0*t = 2*t - k. Let b(d) = 4*d**2 - d - 2. Let g be b(-1). Let r(p) = p**2 - p - 7. Let j be r(g). Put j, t, 2 in decreasing order.
2, t, j
Let q = -65 - -66. Put q, 4, -5, -4 in increasing order.
-5, -4, q, 4
Suppose -3*r + 28 = r - 4*p, 11 = -3*r - 5*p. Suppose 2*g + 0*l + 11 = -5*l, -r*l - 6 = g. Sort -1, g, -6.
-6, g, -1
Suppose -16 = -3*v - 7. Suppose -d + v = 3*g + 3*d, -5*g - 6 = 3*d. Let h(x) = 4*x + 63. Let c be h(-15). Put c, -5, g in descending order.
c, g, -5
Let n be 1 - 2*(-14)/(-20). Let h = -0.09 - 0. Let d = -0.09 - h. Sort 2/9, d, n in decreasing order.
2/9, d, n
Let h = 4 - 3.3. Let p = 9.3 + -10. Let a = p + h. Sort -1, 4, a.
-1, a, 4
Let l = -0.7 - -0.3. Let y = 50 - 248/5. Sort l, y, 3 in decreasing order.
3, y, l
Let o = -3 - 0. Let q = 4 + o. Suppose 3*r + r = 8. Sort q, 0, r in decreasing order.
r, q, 0
Let r(n) = n - 2. Let g be r(4). Put g, -3, -6 in decreasing order.
g, -3, -6
Let h = 22 - 45/2. Let n = -0.15 + 0.25. Sort h, -3, n in descending order.
n, h, -3
Let q = -4 + 7. Suppose 0 = -n + 5*u - 15, 3*n - u + 3 + 0 = 0. Sort 5, q, n in decreasing order.
5, q, n
Suppose 4*l + 4 = -0*l. Put -6, l, 0 in descending order.
0, l, -6
Let d = -23 + 25. Let w = 2 + 1. Suppose 2 = u - v, -d*v + 7*v + 6 = w*u. Put -1/8, -4, u in ascending order.
-4, -1/8, u
Suppose 0 = -10*p + 5*p - 25. Put 5, p, 0 in increasing order.
p, 0, 5
Let x(m) = m**2 - 12*m - 2. Let q be x(12). Let y = -6 + 6.3. Put y, 1/6, q in descending order.
y, 1/6, q
Let o = -15 - -10. Put 4, 5, o in decreasing order.
5, 4, o
Suppose 0*k = -4*k - 4. Let m be (5/15)/(k/(-6)). Sort 4, 3, m in decreasing order.
4, 3, m
Let a(j) = j - 5. Let m be a(4). Let x be (-4)/(-10) - 13/(-5). Suppose 12 = -x*q - q. Put 0, q, m in increasing order.
q, m, 0
Let x = -1 + -2. Let l = x - -2.5. Let s = -1 + 1.1. Sort 1/5, s, l in ascending order.
l, s, 1/5
Suppose -3*k + v = -4*k + 8, 2*k + v = 14. Suppose 10 = c - k*c. Let q = -0.06 + 0.46. Sort q, c, 2/7 in ascending order.
c, 2/7, q
Suppose -30 = -5*s + 2*j, -2*s + 2*j + 11 + 7 = 0. Sort -0.04, -4, s, -2 in ascending order.
-4, -2, -0.04, s
Let c = -73/15 + 31/5. Sort -1/17, c, 0.2 in descending order.
c, 0.2, -1/17
Let y(h) = -5*h**3 - 2*h**2 - h. Suppose 2*u - 3 = -5. Let b be y(u). Let m be b*(3/6)/(-1). Sort 1, m, 5 in ascending order.
m, 1, 5
Suppose -4*n = -3*p - 3 + 20, n = 2*p - 8. Suppose 3*z = 2*q + 17, -q - 3*z = 2*q + 3. Sort 5, p, q.
q, p, 5
Suppose -5*c + w = -3*w, c = -3*w. Suppose -5*k - 6*j + 35 = -j, 4*k = -2*j + 32. Suppose -3*v - k = c, -2*n = 3*v + 24 - 5. Sort 1/3, n, 0.3.
n, 0.3, 1/3
Let d = -0.41 - 0.09. Put -3, 0.1, d in decreasing order.
0.1, d, -3
Let n be (6/9)/((-1)/1). Suppose 2*o - 2 = -t, -7*o = -3*o + 4*t - 12. Put o, 0, n in increasing order.
o, n, 0
Let w(s) = s**3 + 2*s**2 + 3*s + 1. Let f be w(-2). Sort 4, 7, f in descending order.
7, 4, f
Suppose 0 = a - 3*a - 8. Let m be ((0 - 0) + 2)/(-3). Let q = -67/39 + 2/39. Put a, q, m in increasing order.
a, q, m
Suppose -3*t + 2*t - 3 = 0. Let v(l) = l**2 + l - 1. Let z be v(2). Suppose -a = -3*a + 2. Put t, a, z in decreasing order.
z, a, t
Let j = 31 + -36. Put -3, -4, j in increasing order.
j, -4, -3
Let h = -7 + 4. Let w be 3/9 - (-16)/h. Let m(v) = 3*v**2 - 4*v. Let x be m(2). Put 2, w, x in increasing order.
w, 2, x
Let d = 16.11 - 0.71. Let o = 15 - d. Sort o, -5, 4 in descending order.
4, o, -5
Suppose 3*b + 19 = 4*v, 2*b = 3*v + 2*v - 15. Suppose -2*z + 4*z = -24. Sort z, b, 2.
z, b, 2
Let m be (-4)/14 - 23/(-7). Let q(h) = h**3 + 7*h**2 - h - 6. Let l be q(-7). Sort -6, m, l in ascending order.
-6, l, m
Let k = -0.6 - -2.6. Let o be (-4 + 5)/((-1)/2). Put 0.3, k, o in decreasing order.
k, 0.3, o
Suppose 3*j + 2 = 2*j. Sort -0.3, 1, j in increasing order.
j, -0.3, 1
Let t(r) = r**2 - 5*r - 46. Let m be t(10). Let w = -0.6 + 0.54. Let x = 0.36 + w. Sort -3, x, m in decreasing order.
m, x, -3
Let i be 4/10 + 34/(-10). Let k = -2 - -14. Suppose 0*m + 3*m = k. Sort m, 2, i in ascending order.
i, 2, m
Let x = -0.9 - -1. Let f = -29.2 - -29. Let b = 53/3 + -19. Sort b, f, x in descending order.
x, f, b
Let f = 4 + -10. Let t = -2 - f. Sort -4, t, 3/5 in increasing order.
-4, 3/5, t
Suppose 5*a - 4 = 3*k + 1, -3*a - 26 = 4*k. Suppose -3*w + v - 3 = 2*v, -4*w - v = 5. Sort -1, k, w in ascending order.
k, w, -1
Let a(v) = v**3 - 17*v**2 + 16*v + 3. Let y be a(16). Put 1, 0.07, y in decreasing order.
y, 1, 0.07
Let c = 13 + -2. Let m = -9 + c. Let z = -0.4 + 0.2. Sort m, 1, z.
z, 1, m
Let z be (2/3)/(5/(-30)). Let x = z - -1. Let p be x + ((-34)/(-12) - 0). Sort 1, 0.3, p.
p, 0.3, 1
Suppose 0*t + 6 = t. Suppose n + 2*n + t = 0. Suppose -4*k - 49 = -8*i + 3*i, k = -2*i + 4. Put n, k, -1 in decreasing order.
-1, n, k
Let n be (-9)/(-6)*8/(-3). Sort 0, n, -2 in decreasing order.
0, -2, n
Let v = 8 + -4. Let p = -7 + v. Let r = 0.72 + -0.22. Sort -1/7, p, r in decreasing order.
r, -1/7, p
Let c = 4 - 3.6. Let p(y) = y**2 + 5*y + 3. Let s be p(-4). Let o be -4*s/44*-2. Put o, c, -1 in descending order.
c, o, -1
Let n = 0.01 - -4.99. Let c = 4.56 - 1.56. Sort n, c, 2 in ascending order.
2, c, n
Let c be ((-735)/70)/(1 + 2/(-8)). Sort 4, 0.4, c, 3/8.
c, 3/8, 0.4, 4
Let p be (1 + (-33)/30)*2. Sort p, 1.7, 0.1 in increasing order.
p, 0.1, 1.7
Let n(d) = d**2 - 6*d + 1. Let q be n(6). Suppose -q = 2*b - 11. Suppose 0*j + 3*j - 3*p = -3, -18 = -2*j - 3*p. Sort -5, j, b.
-5, j, b
Suppose 3*a = 6*a - 4*i + 32, -3*i + 35 = -5*a. Put -7, 4, a in decreasing order.
4, a, -7
Suppose 0*y + 3*y + 12 = 0. Let m = 16 - 7. Let l = 4 - m. Sort -3/4, l, y in ascending order.
l, y, -3/4
Let t(o) be the first derivative of 2*o**2 - 5*o - 1. Let p be t(2). Put 1, -3, p in descending order.
p, 1, -3
Let u = -5 + 10. Put -3, u, 4 in descending order.
u, 4, -3
Let i = -562 - -556.98. Let r = 0.02 + i. Put -2, r, -0.5 in increasing order.
r, -2, -0.5
Let r = -0.24 + 0.44. Sort 4, 11, r in increasing order.
r, 4, 11
Suppose 0 = 3*m - m - 8. Suppose -2*f + m = -f. Put f, -4, -2 in increasing order.
-4, -2, f
Let w = -0.24 - -2.24. Let m be ((-2)/(-12) - 0)*-1. Put m, w, -3 in decreasing order.
w, m, -3
Let f(y) = y - 6. Let j be f(2). Put j, 5, 4 in descending order.
5, 4, j
Let p be (-2 + 1)/(2/(-10)). Let x be (-6)/(-4)*16/6. Sort x, p, 2.
2, x, p
Suppose 0*q - 2*q + 10 = 0. Suppose -q*l + 1 = -4, 2*g = 2*l. Put 0, -1, g in increasing order.
-1, 0, g
Let o(l) = l**2 + 2*l - 7. Let h be o(-5). Suppose 12 = 5*m - h*m. Put 5, m, -2 in decreasing order.
5, -2, m
Let u = -21 - -24. Sort 2/5, -2, u, 0.5 in descending order.
u, 0.5, 2/5, -2
Suppose -o + 4*q = -4, -5*o + 5*q = -0*q - 35. Let m = o - 8. Sort 4, m, -1 in increasing order.
-1, m, 4
Suppose -3 = -4*h + 1. Sort 0, 2, h.
0, h, 2
Suppose 3*m = 19 + 11. Let i = -7 + m. Let l be (2/4)/((-2)/16). Sort i, l, -3 in decreasing order.
i, -3, l
Let u = 6 - 3. Let h = 0.07 + -5.07. Let k = h + u. Put -5, 4/3, k in descending order.
4/3, k, -5
Let f(r) = r**2 + r - 1. Let j be f(2). Let x be -1*4 - -3 - -2. Suppose -x - 3 = h. Sort h, 2, j in descending order.
j, 2, h
Let c be (-12)/(-9)*2/4. Let v = 0 - -2. Let o be 11/5 - v/10. Put -4, o, c in decreasing order.
o, c, -4
Let l be 4/(-6)*42/(-4). Sort -0.1, l, -2.
-2, -0.1, l
Let p = -4 + 2. Let a be (2/(-16))/(p + 3). Let k = -4 - -5. Sort -4, k, a in descending order.
k, a, -4
Let b be (-20)/6*6/5. Let y(n) = -n**2 + 21*n - 25. Let o be y(20). Put 0, o, b in increasing order.
o, b, 0
Let n be 1*-2 - (-35)/7. Suppose 2*f - 3 = 5*f. Suppose 2 = -2*r + 6. Sort r, n, f in increasing order.
f, r, n
Let m = 3 + -3. Suppose m = -i - 0 - 2. Let p be ((-1)/(-1))/(-1 - i). Sort -2, p, -5 in decreasing order.
p, -2, -5
Let w = -79.3 + 80. Put 1, -0.3, w in increasing order.
-0.3, w, 1
Let h(o) = 3*o + 11. Let q be h(-4). Put q, 2, 1 in decreasing order.
2, 1, q
Let m = -0.37 + -0.03. Let h = -10.1 + -0.9. Let p = h - -10. Sort m, 2, p in decreasing order.
2, m, p
Let c = -7 - -7.07. Let b = c + 0.33. Sort -1, 2, b.
-1, b, 2
Le