ending order.
1, s, b
Let i = 2 + -2. Let t(b) = -b + 3. Let d be t(-7). Suppose -8*m - d = -3*m. Sort 0.1, m, i.
m, i, 0.1
Let h be (-3)/31*(-11)/33. Let b = h + -67/155. Let k = -247/20 + 47/4. Sort 1/4, k, b in ascending order.
k, b, 1/4
Let h = 7 - 11. Put 4, 3, h in increasing order.
h, 3, 4
Let o(d) = 2*d. Let h be o(-1). Let f be 0/((-2)/(4 - 3)). Sort h, 2, f in increasing order.
h, f, 2
Let f be 3/18*(-2)/(-3). Let v = 0.03 + -0.43. Let i = v - -1.4. Sort i, -1/9, f in decreasing order.
i, f, -1/9
Let q = -0.6 + 0.2. Let y = -2 - -10. Suppose r + r = s - y, -2*s - 3*r = 12. Put q, s, 2/9 in descending order.
2/9, s, q
Let x be ((-2)/(-6))/((-7)/(-63)). Sort x, 2, 2/15, -0.4 in decreasing order.
x, 2, 2/15, -0.4
Let j = 0.9 - -0.6. Let w = 1.1 - j. Let p = -7 + 3. Sort w, 2/13, p in descending order.
2/13, w, p
Let b(q) = -4*q**2. Let v be b(1). Let n = -56/3 - -19. Sort n, -5, v in decreasing order.
n, v, -5
Let u(i) = i**3 + 4*i**2 + 3*i + 1. Let t be u(-2). Let r = 14 + -12. Sort r, t, 4.
r, t, 4
Suppose -2*k = l + 2*k + 20, 25 = l - 5*k. Sort 3, l, -3, 4 in descending order.
4, 3, l, -3
Let d = 8.12 - 0.12. Let q = -13 + d. Let j = -37.5 + 37. Put -4/7, q, j in decreasing order.
j, -4/7, q
Suppose -3*c - 4*l = l + 1, 4*c + l - 10 = 0. Put -4, -5, c in decreasing order.
c, -4, -5
Suppose -2*n - 3*j + 31 = -7*n, -19 = 3*n - 2*j. Let f be (-4)/(-14) + 52/14. Sort f, n, 3 in ascending order.
n, 3, f
Suppose 2*f + 9 - 1 = 0. Sort f, 3, -5, 1 in descending order.
3, 1, f, -5
Suppose 3*p - 3*c + 13 = 4*p, 0 = -p + 3*c - 17. Let n be ((-1)/p)/(1/(-2)). Let f be 33/12 + 1/4. Sort f, 1, n in decreasing order.
f, 1, n
Let l = -133 + 130. Sort l, 2/7, -2 in ascending order.
l, -2, 2/7
Let u = -0.2 - -0.3. Let s = -40/3 - -14. Let b = -77 + 82. Put u, s, b in descending order.
b, s, u
Let v = 0 - 1. Let x = -10 - -8. Let i be (-56)/(-21) - x/6. Sort -3, v, i in decreasing order.
i, v, -3
Let w = -2 + -5. Let z = 60 + -301/5. Sort z, -1/9, w.
w, z, -1/9
Suppose 0*h + 60 = 4*h. Suppose -2*y + h = y. Sort y, 3, -3 in descending order.
y, 3, -3
Let n = -45 - -46. Put n, -5, 5 in descending order.
5, n, -5
Let o(q) = 5*q**3 + q**2 - q. Let z be o(1). Suppose -g - z = 4*g. Let d = g - -4. Put 1, 2, d in descending order.
d, 2, 1
Let b = 5.071 + -0.071. Put -10, b, 0.1, -0.5 in descending order.
b, 0.1, -0.5, -10
Let r(p) = 7*p**3 - 1. Let i be r(1). Suppose -12 = -5*b + 2*g, g + i = 5*b - 5. Put -0.1, b, 3 in decreasing order.
3, b, -0.1
Suppose 0 = 4*x - 2*x - 4. Let u = -7 - -4. Sort 0.06, x, u in ascending order.
u, 0.06, x
Let j = -37119/31340 - -5/4701. Let l = -7/20 - j. Put -2, -1, l in ascending order.
-2, -1, l
Let o = -12 - -4. Let m = o - -13. Let s = -4 + 8. Sort s, 1/2, m in descending order.
m, s, 1/2
Suppose -10 = -5*w + 5. Suppose 0 = -x + 1 - 5. Let i be -3*(-2 - -1)*-1. Sort x, w, i.
x, i, w
Let b be -1 + -2 + 6 + -8. Put 2, b, 4 in increasing order.
b, 2, 4
Let u = 51 + -69. Put 2, -3/5, u in descending order.
2, -3/5, u
Let n be 5/((0 - -3) + -2). Suppose n*f + 7 = 2. Let q = 0.318 - 0.118. Put 2/19, f, q in ascending order.
f, 2/19, q
Suppose 4*n - 2*n = 0. Let m = 7 - 5. Suppose -a - m*a = -12. Put a, 2, n in decreasing order.
a, 2, n
Suppose 5*t + 11 + 4 = 0. Let k be (-3)/2 - t/(-6). Let c = 0.2 - -0.3. Put c, k, 0.4 in decreasing order.
c, 0.4, k
Let v = -4669/13 - -359. Let y be 4/(-3)*(-27)/24. Put y, v, 1 in ascending order.
v, 1, y
Let i(k) = k**3 + k**2 + k + 1. Let w be 2/7 + (-18)/14. Let b be i(w). Sort -2, b, -4 in ascending order.
-4, -2, b
Suppose v = 2*v, -9 = -3*m - 2*v. Suppose 0 + 15 = -m*a. Let h = 0 - -4. Put a, h, -1 in ascending order.
a, -1, h
Suppose -4*v + 2*j + 0*j = -4, -2*j = -8. Suppose -2*f - 4*a - 18 = 0, v + 9 = -3*a. Sort f, -5, -2 in ascending order.
-5, -2, f
Let f = 0.24 + 0.26. Sort f, -6, 0.2 in descending order.
f, 0.2, -6
Let j = 2/29 - -71/232. Sort 2/7, j, -3.
-3, 2/7, j
Let t = -0.8 - -1. Let f = -1 + 0.7. Let g be -2*1/2 + -2. Sort g, t, f in descending order.
t, f, g
Let q = -19 - -22. Suppose 0 = y + 5*s + 6, q*y = 4*s + 10 + 10. Sort 2, -2, y.
-2, 2, y
Let l = -5.6 - -6. Suppose -5*i = -4*i + 5. Put 0, l, i in decreasing order.
l, 0, i
Suppose -2*c = 4*v - 2, 5*c + 2*v = v - 4. Let w(n) = 6*n + 4. Let u be w(-1). Put c, u, 1 in ascending order.
u, c, 1
Let k be -3 - (17 - (-6)/(-2)). Let l = k - -14. Sort l, 3, 1 in decreasing order.
3, 1, l
Let m = -68 - -67. Let i(k) = -k - 11. Let j be i(-6). Put 1, j, m in ascending order.
j, m, 1
Let p be -3*((-5)/7)/(-5). Sort 1, 2, p in decreasing order.
2, 1, p
Let x = -3.79 - 0.21. Let q = 4.02 - -0.08. Let n = x + q. Put -2/15, n, 3 in decreasing order.
3, n, -2/15
Let a = 10 + -6. Suppose a*u + 20 = -0*u. Let f = 7 - 10. Put u, f, 0 in increasing order.
u, f, 0
Let x = 0.2 - -0.2. Let u be (-6)/(-2)*4/3. Suppose 0*a - 30 = u*z + 2*a, -z + a = 0. Sort z, -2/5, x in descending order.
x, -2/5, z
Let m = -34 - -30. Put m, 1, 9 in decreasing order.
9, 1, m
Let c be (-2)/(-3) + 20/(-3). Let p be (-2)/c*(6 - 7). Let d = 0.7 - 0.2. Sort d, 2/5, p in decreasing order.
d, 2/5, p
Suppose 4*f + 3*x = -10 - 0, 5*x - 18 = 2*f. Suppose -2 - 1 = -3*s. Let y = 0 + s. Sort f, y, 4 in descending order.
4, y, f
Let o = 4 - 10. Let c = 2 + o. Let m = 2/215 - -41/215. Put c, -1/4, m in descending order.
m, -1/4, c
Suppose 2*w = -3*w - 45. Put 1, w, 5 in increasing order.
w, 1, 5
Let z = -55 - -219/4. Let w = 34/7 - 163/35. Sort -0.4, w, z in decreasing order.
w, z, -0.4
Suppose 0 = 3*a + 3*f - 18 - 9, 10 = 2*f. Let t = -7 - -7.6. Let s = -1.4 - t. Sort s, 0.5, a in increasing order.
s, 0.5, a
Let m = -4/43 - -130/473. Sort -3, 0.06, m in increasing order.
-3, 0.06, m
Let l = -3.6 + 4. Put l, 3, -4 in ascending order.
-4, l, 3
Suppose 0 = -4*m + m + 15. Suppose r - m*r = -16. Suppose 2*w + s = 0, 0*w + r*s = -w + 14. Put -5, -3, w in ascending order.
-5, -3, w
Suppose 0 = -s - 3 - 2. Let y = s + 0. Let a = -6 - y. Sort 0, a, -3 in descending order.
0, a, -3
Suppose 3*g - 1 = 2*g. Sort g, 0.5, 0.1 in descending order.
g, 0.5, 0.1
Let k = 4.4 - 8.4. Sort -0.8, k, 0.4 in ascending order.
k, -0.8, 0.4
Let a = 0.9 - 0.7. Let u = -0.2 + 0.2. Let s = a + u. Put 1/3, 4, s in descending order.
4, 1/3, s
Suppose 4*a = -20 + 176. Let l = 4114 - 12461/3. Let q = a + l. Sort 0.2, q, 4 in decreasing order.
4, 0.2, q
Suppose -14 = 4*f + 2. Suppose 0 = 2*g + 2*g + 12. Sort f, -2, g in increasing order.
f, g, -2
Let o = 2 + 1. Let a = 7 - 6.9. Put o, a, 5 in ascending order.
a, o, 5
Let d = 16 - 28. Let m = 11.7 + d. Sort m, -0.5, 5 in decreasing order.
5, m, -0.5
Let h(i) = -i**3 - 3*i**2 + i - 2. Let s be h(-3). Suppose -3*k - 23 = 5*z, 5*z + 11 = 4*k - 5. Sort 0, k, s in ascending order.
s, k, 0
Let v = 5.529 - 0.519. Let s = v + -0.01. Let n = -9 - -5. Put s, n, 1 in descending order.
s, 1, n
Let p be (-13 - -16)/(0 + 42/8). Put p, -3, -0.9 in decreasing order.
p, -0.9, -3
Suppose 0 = 5*z - 3*x - 35, 4*x + 24 = -0*z + z. Put z, 2/3, -5, -0.4 in descending order.
z, 2/3, -0.4, -5
Let l(h) = -h**2 + 2*h + 1. Let k be l(3). Suppose 2*c - 20 = -3*c. Let n(q) = -5*q**3 + 2*q - 1. Let j be n(1). Sort k, c, j in descending order.
c, k, j
Let w(s) = -s**2 - s + 1. Let g be w(-2). Let q be 2/4*2 - 4. Let d = q - -6. Put g, 2, d in increasing order.
g, 2, d
Let s = -45 + 31. Sort -0.3, s, 0.1 in increasing order.
s, -0.3, 0.1
Suppose 20*p = 19*p - 2. Put p, 5, -1, -4 in decreasing order.
5, -1, p, -4
Let w be -1 - 4*(-6)/28. Let h = -0.42 + 0.02. Let l = 36 + -32. Put h, l, w in decreasing order.
l, w, h
Let w = 9 + -5. Sort -1, 0, w in ascending order.
-1, 0, w
Let y = 30 + -21. Let i be 8/y*3/2. Let c = 2 + 2. Sort -1/3, c, i in descending order.
c, i, -1/3
Let b = -5.7 - -5. Let z = b + 0.7. Put z, -6/5, -2 in decreasing order.
z, -6/5, -2
Let i be 3 + -2 + 2/4 + -4. Put -5, i, -10 in descending order.
i, -5, -10
Let x(p) = 13*p - 1. Let m be (-1 - 8/(-6))*3. Let c be x(m). Let g be (-1)/6 - (-26)/c. Sort 4, -5, g in increasing order.
-5, g, 4
Let u = -0.01 + 4.01. Sort 0, 1, u.
0, 1, u
Suppose 10 + 0 = -5*y. Suppose 4*v - f = 3*v, -5*f = -v - 8. Suppose 6*c = v*c. Put y, -1, c in descending order.
c, -1, y
Suppose 4*z = -3*t - t + 4, -8 = t - 2*z. Sort t, 4, 1, 0 in descendi