 order.
r, -0.5, -3
Suppose 4*k - 20 = -0*k. Suppose -k*c = -3*c. Suppose 0 = 3*h - c*h - 12. Sort h, -1, 1 in ascending order.
-1, 1, h
Let x = -4 - -9. Let d be (-1)/(-1)*-6*3/6. Let t(f) = -f. Let a be t(4). Sort a, x, d in decreasing order.
x, d, a
Let s = -0.1 - 0.4. Let a = -3 + -4. Let p = -7.3 - a. Put 5, s, p in descending order.
5, p, s
Let r = -7 - -10. Suppose -2*k = -5*h, -4*h = k + 3*k. Put -1, h, r in decreasing order.
r, h, -1
Let y = 0.223 - -1.717. Let d = y + 0.06. Sort 0, d, 2/11 in descending order.
d, 2/11, 0
Let a be (0/1 - 1)*0. Suppose -2*n - n - 9 = a. Suppose -5*q = 2*r - q - 4, -3*r + 4 = 4*q. Put n, r, -5 in decreasing order.
r, n, -5
Let y = -17 - -16.8. Sort y, 2, -1 in increasing order.
-1, y, 2
Let c = 73 - 72. Sort c, 2, 3 in decreasing order.
3, 2, c
Suppose -4*f = -2*q - 16, 2*q - 1 = 3*f - 13. Put f, 2/3, 4/3, 0.5 in descending order.
f, 4/3, 2/3, 0.5
Suppose 0 = -d + 3*m - 6, d + 5*m - 11 = -1. Let h be (-1)/(2/(-2*1)). Put -3, d, h in descending order.
h, d, -3
Let d be ((-2)/(-39))/(4/12). Suppose -1 - 3 = -4*p. Sort 2, d, p in descending order.
2, p, d
Let o be (2 - 2) + (-4)/(-1). Sort -3, -1, o.
-3, -1, o
Let l = 45 + -44. Sort -5, l, 9.
-5, l, 9
Let t = -2.9 - 1.1. Let u = 0.3 + 1.7. Let f = -32 + 33. Sort f, u, t.
t, f, u
Let i(y) be the first derivative of -y**2/2 + y - 2. Let p be i(-2). Suppose 2*n - p*n = -5. Put -0.2, n, -0.1 in descending order.
n, -0.1, -0.2
Let y = -351 - -5263/15. Let n = -0.3 - -0.2. Let c = 0 - n. Sort -0.5, y, c.
-0.5, y, c
Let f = -53 + 13. Let d = -44 - f. Suppose 0 = -0*g - 3*g + 15. Put d, 0, g in descending order.
g, 0, d
Let r = -3 - -4. Let t = r - 0. Let j = -8/15 + 17/60. Sort -4, t, j in ascending order.
-4, j, t
Let p(g) = g**3 + 6*g**2 + 2*g + 1. Let h be p(-6). Let o = h + 8. Let i = -7 + 7. Put -5, i, o in decreasing order.
i, o, -5
Suppose 0 = -r + 5*x - 17, 0*r - 2*r - 5*x + 41 = 0. Let w = 8 - r. Suppose 0 = n - w*n + 5. Sort 2, 4, n in decreasing order.
4, 2, n
Let f(a) = a**2 - 13*a + 17. Let y be f(11). Sort y, 3, 5 in descending order.
5, 3, y
Suppose 4 = -3*x + i, -13*x + 3*i = -14*x + 12. Sort 4, -15, x in ascending order.
-15, x, 4
Let z be 4 - 7 - (-1)/1. Put 10, z, 5 in descending order.
10, 5, z
Let y = -92 + 94. Sort y, -0.2, -0.11, 0.5.
-0.2, -0.11, 0.5, y
Let x = 2 - 2. Suppose -r + 3*o - 6 = 0, 4*r = -3*o + 17 + 4. Sort 5, x, r in descending order.
5, r, x
Let w be (2/8)/(((-133)/140)/(-19)). Sort 4, w, -0.14, -0.4 in descending order.
w, 4, -0.14, -0.4
Suppose 3*v = -6*t + 2*t + 1, -3*v - 27 = -3*t. Let q = -4 - 5. Let n be -1*(q/(-3) - 2). Sort 4, n, v in increasing order.
v, n, 4
Suppose -2*a + a = 8. Let b be (-84)/16 - 2/a. Suppose 0 = 2*x + 1 + 1. Sort b, x, 0 in increasing order.
b, x, 0
Suppose 0*i = 8*i. Put -4, i, -3 in increasing order.
-4, -3, i
Let o = 1 + 1. Suppose -q - 9 = -o*d, -3*d - 5*q + 25 = d. Suppose 1 = -x + 6*x + 4*n, -18 = 2*x - 3*n. Put x, d, -5 in increasing order.
-5, x, d
Suppose 0 = -4*o + 11 - 35. Let l be -7*3/(-21)*o. Put -5, 5, l in decreasing order.
5, -5, l
Let p = 6 - 4. Let c = -79 + 78. Sort c, p, 0 in increasing order.
c, 0, p
Let y = 11 - 8. Suppose 11 = 2*i - 3*i + y*z, -4*z + 11 = -5*i. Suppose 3 - 7 = -2*j. Put i, 5, j in increasing order.
i, j, 5
Let p = -0.04 + -6.96. Let y = -6.7 - p. Put -0.2, y, -4/11 in descending order.
y, -0.2, -4/11
Let k be 7/(28/(-10))*2. Put -2, 1, k in descending order.
1, -2, k
Let z(o) = -11*o**3 - 2*o**2 + 1. Let a be z(-1). Let u be a/4*(-28)/35. Let c = 0.8 - 1.1. Put u, 2/7, c in descending order.
2/7, c, u
Let t(q) = q**2 - 10*q - 10. Let y be t(11). Put y, 5, -3 in ascending order.
-3, y, 5
Let l = -23 + 24. Let h = 8 + -11. Let j = -3.3 - h. Sort l, j, -0.2.
j, -0.2, l
Let r = 21 - 21. Let k be 6/(-10) - 256/(-10). Suppose 5*o + 3*h + k = 0, o = -o + 2*h + 6. Sort -1, r, o in ascending order.
o, -1, r
Let z = 90 - 95. Suppose -5*t = 5*r - 15, 4*r - 2*r = 2. Sort -1, t, z.
z, -1, t
Let q(o) = -2*o + 6 + 0*o**3 + o + o**3 - 8*o**2. Let l be q(8). Sort l, 2, 5 in ascending order.
l, 2, 5
Let q = 1.64 - 0.04. Let p = 3.4 + q. Put 4/5, p, 1/10 in increasing order.
1/10, 4/5, p
Let l = -40892 + 608042/15. Let u = l + 356. Sort 4, u, -0.3 in ascending order.
-0.3, u, 4
Let v = -2.05 + 0.05. Suppose -92*l = -96*l - 12. Put v, l, 2/3 in increasing order.
l, v, 2/3
Suppose o - 4 = -1. Suppose 5 = o*m + 2*m. Let h be (1 - m)/(-5 + 3). Sort h, 3, 4 in decreasing order.
4, 3, h
Let b = -0.02 + 1.02. Let m = 11.06 + -0.06. Let w = m - 6. Sort 4, b, w in increasing order.
b, 4, w
Suppose -5*g = -21 + 96. Let w be 2/5*(-25)/g. Sort 0.3, 3/5, w in decreasing order.
w, 3/5, 0.3
Let h be -1 + (0 - -2) + -1. Suppose 2*w - 2*u + 12 = h, -8 = -w + 2*u - 18. Let b(j) = -j**3 - j**2 + 2*j + 3. Let q be b(w). Sort -1, q, 4.
-1, q, 4
Suppose 19*l = w + 16*l + 5, -5*w = 4*l - 13. Put 0, w, -12 in ascending order.
-12, 0, w
Suppose 3*u = -6 - 0. Let t = -11 - -15. Put u, t, -0.5 in ascending order.
u, -0.5, t
Suppose 2*t = 4*a - 2*a, t = 2*a. Suppose 0*k + 2*k + 8 = a. Let m = -7 - k. Sort m, -1/8, -2 in increasing order.
m, -2, -1/8
Let w(d) = -d**3 - 3*d**2 + d - 9. Let p be w(-4). Sort p, -0.11, -2/5.
-2/5, -0.11, p
Let k(s) = -s**2 + 4*s - 3. Let u be k(2). Suppose 5*z + 2*d + 5 = -9, 4*d - 8 = -z. Put -2, u, z in decreasing order.
u, -2, z
Let k(c) = 6*c + 5. Let l be k(-1). Let u(h) = h**2 + h. Let d be u(1). Sort d, 3, l.
l, d, 3
Let j = -3.5 - -1.5. Let k = -0.2 + 0.1. Sort j, 4, k in decreasing order.
4, k, j
Let p = 2 + -1. Let w = 19 + -9. Suppose 3*g = -4*n - w, 0*g + 2 = -5*g - 3*n. Put 3, p, g in ascending order.
p, g, 3
Let n be 2/4 + 27/2. Let s = n - 15. Sort 4, -5, s.
-5, s, 4
Let l = -1 + -7. Let d(g) = 4 + 7 + g**2 - 7*g - 2*g**2. Let f be d(l). Put -5, f, 1 in decreasing order.
f, 1, -5
Let f = 11 + -7. Let a be (-1)/(1 - 5/4). Suppose 4*k - 2*w + 8 = 0, a*k - 2*k = -w - 4. Sort k, 0, f in decreasing order.
f, 0, k
Let x = 2 - 1. Let q be (-1 - 1)*(-1 - x). Let r(y) = y**3 + 6*y**2 + 5*y - 1. Let t be r(-5). Sort -2, t, q.
-2, t, q
Let r = -2 - -10. Let n be (-3)/9 - r/3. Sort 4, -5, n in ascending order.
-5, n, 4
Suppose 2*h - 5*h + 4 = -4*o, -5*o + 4*h = 4. Let m = 12 - 8. Sort -2, m, o in decreasing order.
m, -2, o
Let v = 9 + -7. Let u(t) = t**2 + 7*t - 3. Let j be u(-8). Sort j, v, 4 in increasing order.
v, 4, j
Suppose 5 = -77*a + 76*a. Put -1/5, a, 1/29 in ascending order.
a, -1/5, 1/29
Let s = -1 - -4. Let r = 1 + 6. Suppose 2*b = -r - 1. Sort s, 0, b in decreasing order.
s, 0, b
Let r be (-1 - 1/(-2)) + 15/34. Put r, 2/5, 3, 2 in descending order.
3, 2, 2/5, r
Let b = -34 + 103/3. Let z = -449 + 448.7. Put 0.1, b, z in descending order.
b, 0.1, z
Let t(n) = 2*n**2 + 5*n - 3. Let i(o) = -3*o**2 - 7*o + 5. Let h(p) = -5*i(p) - 7*t(p). Let b be h(0). Let m be b + 4 + 2/5. Sort 5, m, 1.
m, 1, 5
Suppose i + q = 2 - 0, 0 = -2*q - 6. Let b be 1/i*(1 - 3). Sort 0.4, 2, b in ascending order.
b, 0.4, 2
Let o(c) = c - 1. Let n be o(-4). Let l(v) = v**2 + 4*v. Let f be l(n). Sort 3, -4, f in descending order.
f, 3, -4
Let c(t) = 3*t**3 - t**2 + t - 1. Let a be c(1). Let o be (-7 + 2)*(a - 1). Suppose i + 5*k = 2*k + 9, 3*k - 9 = 0. Sort 1, i, o in ascending order.
o, i, 1
Let g = -51 - -51. Sort -0.5, g, 5 in descending order.
5, g, -0.5
Let q = 0.05 + -0.05. Sort q, -2/7, 0.2, 0.4 in decreasing order.
0.4, 0.2, q, -2/7
Suppose c = -0*c - 1. Suppose 3*z - m + 0*m = 2, -z + 6 = m. Put c, -4, z in increasing order.
-4, c, z
Let k be 78/63*117/6. Let x = 53 + -29. Let c = x - k. Sort c, 1/4, -0.2 in decreasing order.
1/4, c, -0.2
Suppose 4*q + q + 4*p - 97 = 0, 3*q - 60 = -3*p. Suppose -2*a = -2*d + 14, a + 3*d + 2*d = 23. Put a, q, 3 in descending order.
q, 3, a
Let h(k) = -k + 7 + 1 - 2. Let s be h(6). Put 3, s, -0.9 in decreasing order.
3, s, -0.9
Let o = -16/3 + 5. Suppose t - 3*l + 2*l + 27 = 0, 4*t + 78 = -2*l. Let q be (-1)/1 - 26/t. Put -2/7, q, o in descending order.
q, -2/7, o
Let m(b) = -2*b - 2. Let n be m(-3). Let j(v) = -7 - v**2 - n - 4 + 4*v + 8*v. Let l be j(11). Sort 1/11, l, 5 in decreasing order.
5, 1/11, l
Let t be -1 - (3 + 1780/(-9)). Let w = t + -194. Sort -1/4, -1, w in decreasing order.
w, -1/4, -1
Let c be 0/1*2/(-6). Suppose -5*x + 3 + 2 