er.
4, x, -1/7
Let m = -24/7 + 247/70. Put -0.02, m, -0.2 in decreasing order.
m, -0.02, -0.2
Let l be (-1*(-2 + 4))/(-6). Let c = -0.67 + 0.17. Sort l, c, 0 in ascending order.
c, 0, l
Let q = 0 + -1. Let z = 0.32 - 0.3. Let o = z + -2.02. Put q, -6/11, o in increasing order.
o, q, -6/11
Suppose -5*t + 5*h = 5, h - 5 = -4*t + 16. Suppose 4*m = 0, -5 = -2*d + 2*m + 1. Suppose t*a = 7*a + d. Sort -2, 1, a.
-2, a, 1
Let m = 5 + -1. Let x = -2 + 4. Suppose 2*d - 3*q - 37 = -15, -x*d + 4*q = -26. Sort d, -3, m in descending order.
d, m, -3
Let y be 6/5 + -1 - (-2 - -2). Sort -0.2, 0.1, y, -0.3 in decreasing order.
y, 0.1, -0.2, -0.3
Let p be (5 + -2)*3/63. Put 0.3, p, 0.9 in ascending order.
p, 0.3, 0.9
Let p = 51 + -30. Let l = -17 + p. Let h be (-1)/(-10)*(3 - 1). Put l, -4, h in descending order.
l, h, -4
Let p = -20 - -21. Let f = -6.3 + -1.7. Let b = 7.7 + f. Put -1, p, b in descending order.
p, b, -1
Let y = 0.46 - 0.06. Let a = y + 0. Sort -2, 0, a in descending order.
a, 0, -2
Let v = -4 - 18. Let m = v - -19. Sort m, -0.1, -2.
m, -2, -0.1
Suppose i + 3*i + 4*t = 16, 0 = -3*i + t - 4. Sort 1, i, -5.
-5, i, 1
Let h = 3 + -6. Let u = h - -2. Let b be 16/(-9) + (2 - 0). Put 1/4, u, b in decreasing order.
1/4, b, u
Let l be 4 - (8/(-4) + 0). Put l, -2, 4 in ascending order.
-2, 4, l
Suppose 5 = 15*u - 16*u. Sort u, -1, -3, -2 in decreasing order.
-1, -2, -3, u
Let a = -0.1 - 0.4. Let d = -5.27 - -5.2. Sort 5, d, a in decreasing order.
5, d, a
Let d = -0.21 - 9.79. Let i = d - -9.6. Sort i, 5, 4 in descending order.
5, 4, i
Suppose 3*q - 29 = 5*u, -4*q + 9*q - 23 = 2*u. Let m = -12 + 10. Suppose 0 = -3*c + d - 2*d + 6, 4*d = -2*c + 4. Sort q, c, m in decreasing order.
q, c, m
Let j = 16 - 16.1. Let x be (-16)/3*(-3)/2. Let q be -2 + 1 - x/(-5). Sort q, j, 0.5 in descending order.
q, 0.5, j
Let r = -17/3 + 116/21. Sort -4, 4/3, r in descending order.
4/3, r, -4
Let c = -7 + 8. Let l(g) = -4*g**2 - g + 1. Let i be l(c). Put 4, i, 7 in descending order.
7, 4, i
Let m(r) = 2*r - 10. Let l be m(7). Suppose 5*c + 8 = 3*c. Put l, -2, c in descending order.
l, -2, c
Let l = -12 + 17. Suppose -2 = -2*q - 2*j, -11 = 5*q - l*j + 34. Sort -1, -7, q.
-7, q, -1
Suppose -12*z = -11*z + 24. Let p = 30 + z. Sort 4, p, -2 in descending order.
p, 4, -2
Let i = 4 + -8. Let r = -101/57 + 5/3. Put r, 0.5, i in increasing order.
i, r, 0.5
Let k = 3.6 + -0.6. Let a = -1.8 + 4.6. Let y = -3 + a. Sort -0.5, k, y.
-0.5, y, k
Let g be (-5)/10 + 9/2. Suppose 2*w - 3 + 11 = 0. Let a(u) = u**3 - 3*u**2 + u + 1. Let z be a(2). Sort w, g, z.
w, z, g
Suppose 5*c - 9 = 41. Let k = -27 - -32. Let h be 2*4*k/c. Put 3, 0.5, h in ascending order.
0.5, 3, h
Let m = 55/6 - 173/18. Sort 2, 0.4, m in ascending order.
m, 0.4, 2
Let v = 23 + -24. Sort 4, 2, v in descending order.
4, 2, v
Suppose -3*o - 19 = -p, 6*p - 3*o = p + 59. Put p, -5, 5 in increasing order.
-5, 5, p
Let u be (-4)/(-4)*(-1 - 0). Sort u, -4, 0 in increasing order.
-4, u, 0
Let p be ((-9)/(-3) - 2)*-4. Sort -5, -2, p in ascending order.
-5, p, -2
Suppose -3*s = s. Let u = s + 5. Suppose -10 = a + a. Sort -1, u, a in descending order.
u, -1, a
Let u = 1.16 - 1.2. Sort 0, -1, u in ascending order.
-1, u, 0
Let w = -20 - -25. Put 0, w, -2 in descending order.
w, 0, -2
Let s(x) = x**2 - 3*x + 3. Suppose -2*b + 3 = -3*b + 5*d, -b = 3*d - 5. Let p be s(b). Suppose -2*u = -p + 5. Put u, -1, 1 in decreasing order.
1, -1, u
Let l = 5 + -1. Let u = 52 + -52. Put 0.2, l, u in descending order.
l, 0.2, u
Let r be 14/(-1 + 2) - -1. Suppose r + 0 = -3*m. Sort m, -1, 0 in decreasing order.
0, -1, m
Suppose 20 = -2*w - 2*r + 6, -8 = 5*w - 4*r. Sort 8, w, -2 in ascending order.
w, -2, 8
Let n = 11 - 10.9. Let x be (41/(-3))/((-2)/(-6)). Let h = x - -122/3. Put h, n, -2 in ascending order.
-2, h, n
Let j = -0.4 + -0.5. Let d = -0.6 - j. Let i = 0.5 - d. Sort -4, i, 2.
-4, i, 2
Let c = -2 + 3. Let n = 6 - c. Let t = -41 + 40.8. Sort -2, n, t in ascending order.
-2, t, n
Let r be -1 + -4 + -2 - -4. Put r, -4, 3/2 in increasing order.
-4, r, 3/2
Suppose -3*v = -v + 4. Sort v, 4, -4 in descending order.
4, v, -4
Let f(m) = 7*m**3 - 3*m**2 + 6*m - 9. Let l(s) = -11*s**3 + 4*s**2 - 9*s + 14. Let u(q) = 8*f(q) + 5*l(q). Let g be u(3). Sort -1, 3, g in decreasing order.
3, -1, g
Suppose -3*j - 16 - 2 = 0. Put 2, -2, j in ascending order.
j, -2, 2
Let d = 2.07 - 2.96. Let m = -0.8 - d. Let v = m - 4.09. Put v, 6/11, -5 in ascending order.
-5, v, 6/11
Let f(y) = y**2 + 2*y + 1. Let s be f(-9). Suppose -18 = 2*p - 3*c, -2*p + 7*p + s = -2*c. Let h be (-45)/p + 2/8. Put h, -1/2, -0.1 in descending order.
h, -0.1, -1/2
Let x be (-12)/(2 + -9 - -4). Let l = -1 - -1. Suppose 8 = -l*w - 4*w. Sort 0, x, w in descending order.
x, 0, w
Let a(y) = 8*y - 2 - 2*y**2 - 3*y + 3*y**2 + 4. Let n be 1*1/(-1)*3. Let j be a(n). Put -2, j, 0 in decreasing order.
0, -2, j
Let v(p) = 10*p - 6. Let l be v(1). Put -17, 3, l in descending order.
l, 3, -17
Let z be 54/(-12) + 1/2. Put 5, z, 3 in descending order.
5, 3, z
Suppose 37*f + 15 = 42*f. Put f, -6, -1 in decreasing order.
f, -1, -6
Let j = -29 - -35. Put -2, -1, -5, j in decreasing order.
j, -1, -2, -5
Let w(i) = 2*i + 13. Let k be w(-4). Sort k, 4, -6 in descending order.
k, 4, -6
Let v = 0.7 - 1.5. Let j = 0.02 + -0.42. Let a = j - v. Sort 4, a, 4/5 in descending order.
4, 4/5, a
Let z be 26/(-48) - 4/(-6). Let c = 1 - -3. Let j = -4.08 + 0.08. Put c, z, j in descending order.
c, z, j
Let w = -0.2 + 0. Let v = 1.29 + -0.09. Let o = w + v. Sort o, -2/11, -5 in descending order.
o, -2/11, -5
Suppose b - 13 = -2*t, 3*t - 24 = -b - 6. Let q(c) = 5*c**2 - c. Let s be q(1). Sort b, s, -3 in descending order.
s, b, -3
Suppose 0 = -5*m + 3*p + p + 5, -m + 3*p - 10 = 0. Put m, 0, 3, 4 in ascending order.
0, 3, 4, m
Let p be (3 + (-46)/6)*(-6)/(-8). Put -1/5, p, -2/9 in descending order.
-1/5, -2/9, p
Suppose 0 = -h - 0 + 2. Suppose 3*n - 25 = n - 5*c, h*c - 10 = 3*n. Suppose l = -n*l + 4. Sort l, -2, 2 in ascending order.
-2, 2, l
Let w be 16/(-24)*3/2. Sort 5, w, -2/19 in increasing order.
w, -2/19, 5
Let b = -19.5 + 20. Let g = -3 + 2.7. Sort g, 5, b.
g, b, 5
Let l(g) = g**3 + 4*g**2 + g + 4. Let w(p) = p - 9. Let f be w(7). Let m = f + -2. Let y be l(m). Put 5, y, -2 in ascending order.
-2, y, 5
Let p = 73 - 73. Sort p, -6, 1 in increasing order.
-6, p, 1
Suppose -5*j = -3*y + 10 - 2, 0 = -3*j + 3*y. Let c be (-1 - j) + -1 + 1. Suppose -w + 3*q - 14 = -2*q, -w = -c*q + 10. Put 1/2, -1, w in decreasing order.
1/2, -1, w
Let q = 6 + -3. Suppose 3*i = 3*x + 24, x + 2*x = -4*i + 32. Suppose 3*l + i = l. Put -1, l, q in increasing order.
l, -1, q
Let v = 14 + -37. Sort v, 0.4, -0.5, 5.
v, -0.5, 0.4, 5
Let n(x) = x**2 + x - 2. Let l be n(-4). Sort -1, -5, l in increasing order.
-5, -1, l
Suppose 24 = -2*m + 8*m. Let x(r) = r**3 - r**2 - r + 2. Let p be x(0). Put m, p, 6 in descending order.
6, m, p
Let o be 4*2/16 - (-6)/(-4). Put 4, o, -2, -5 in decreasing order.
4, o, -2, -5
Let j(d) = 2*d**3 + 16*d**2 + 11*d + 28. Let f be j(-7). Put f, 5, -3 in increasing order.
-3, 5, f
Let v = -52/15 + 14/5. Let a be (-3)/(-2)*(-1)/(-6). Let c = 160/3 - 53. Sort v, a, c in descending order.
c, a, v
Let r = 10 + -4.8. Let h = r - -0.8. Put h, 0, 2 in decreasing order.
h, 2, 0
Let a = 24.6 + -27. Let x = a + -1. Let s = x + 0.4. Sort 5, s, 0.2.
s, 0.2, 5
Let c be -4 - -3 - (-2 + 2). Sort c, -2, 0.5, 2/3 in decreasing order.
2/3, 0.5, c, -2
Let f be 2/(-5) + (-12)/(-5). Let h = -8.07 - -0.07. Let c = h + 6. Sort c, -1/6, f in increasing order.
c, -1/6, f
Let v be 15/8 - (205/(-40) - -5). Sort -1, v, -7, -4 in ascending order.
-7, -4, -1, v
Suppose 0*p - 4*p = -24. Suppose 8 = 2*u - p*u. Sort u, 1, 5 in decreasing order.
5, 1, u
Let n = 0.6 + 0.8. Let r = n - -0.6. Sort 3/7, r, 5/3.
3/7, 5/3, r
Let h(k) = -k - 3. Let l be h(-4). Put 2/7, -1/5, l, -2/17 in decreasing order.
l, 2/7, -2/17, -1/5
Let w = 35 + -35.3. Sort w, 2/9, -0.5.
-0.5, w, 2/9
Let s = -14 - -9. Let q be (2/(-2))/((-2)/10). Suppose -q*t = -3*t - 2. Put t, -3, s in increasing order.
s, -3, t
Suppose -3*z + 8*z = -25. Let y = -8.3 + 8. Put y, z, -2 in descending order.
y, -2, z
Suppose 0 = 3*z - 0*z. Let b be z/(-4 + 6/1). Put -4, b, 5 in ascending order.
-4, b, 5
Let