rt 0, -0.1, o in increasing order.
-0.1, 0, o
Let h be 0 - (-40)/19 - 2. Suppose -3*k + 4*k - c = -3, -4*c + 11 = -5*k. Let f be (k/(-2))/(45/10). Sort h, 7, f.
f, h, 7
Let s = -5 - -8. Let a be ((-24)/(-9))/(-2)*s. Sort 5, 4, a in decreasing order.
5, 4, a
Let p = -8 + 8. Let s(f) = f**3 - 4*f**2 - 5*f - 3. Let a be s(5). Suppose y - 2*y = -1. Put p, y, a in increasing order.
a, p, y
Let a(x) = x**3 + 6*x**2 + 5*x - 1. Let g be (2/(-4))/(4/40). Let j be a(g). Let r(f) = f**2 + 3*f + 1. Let k be r(-3). Put j, k, -4 in increasing order.
-4, j, k
Let q = 2/213 - 440/1491. Let o = -0.3 - -0.3. Let u = o - 0.4. Sort u, -1/7, q.
u, q, -1/7
Let y be 6/(-51) + 36/17. Sort y, 21, 0 in descending order.
21, y, 0
Let r(f) = f - 2. Let p be r(4). Let h be 36/30*(-10)/(-4). Sort h, 5, p in descending order.
5, h, p
Let k = -37 - -37.03. Sort 0.02, k, -1 in descending order.
k, 0.02, -1
Suppose 0 = -5*m - m - 18. Put 4, m, -1, 0 in descending order.
4, 0, -1, m
Let s = 6 - 10. Suppose 10*w + 25 = 5*w, -2*c = 5*w + 15. Sort s, c, 3/4 in decreasing order.
c, 3/4, s
Suppose -4*a = p, -6*a + 4*p = -2*a. Suppose 5*v = -a*v. Let u be (-323)/289 - 2*2/(-34). Sort -4, u, v.
-4, u, v
Let c be 3/9*3*-4. Let k = c + 9/2. Sort -1/9, k, -3 in decreasing order.
k, -1/9, -3
Let y = -7.7 - -8. Let p = y - 0.7. Sort -5, p, -1/7.
-5, p, -1/7
Let p(x) = -x**2 - 2*x + 3. Suppose -3 = g - i, 2*i - 6*i = g + 3. Let b be p(g). Suppose b = 3*t + t + 16. Put 2, t, 1 in decreasing order.
2, 1, t
Let c be ((-1 - -4 - -4) + 1)/(-2). Sort c, -1, 2 in ascending order.
c, -1, 2
Let m = 43 - 46. Sort 1, 3, m, -2 in ascending order.
m, -2, 1, 3
Let b(d) = d + 10. Let g be b(-9). Let j be 4*g/2*-1. Let r be (-2 - 2)/(2/j). Sort r, 1, -2 in increasing order.
-2, 1, r
Suppose -2*x - 20 = 3*x. Put 0, 2, x in increasing order.
x, 0, 2
Let s = -3/2 - -3. Suppose 0 = 3*h - 0*h. Suppose -2*i - 5 = -1. Sort h, i, s in decreasing order.
s, h, i
Let o be -13*(-4 - -4 - -1). Sort -2, 5, o in increasing order.
o, -2, 5
Let o(u) = u**2 - 6*u - 3. Let f be o(7). Put f, -3, 0 in ascending order.
-3, 0, f
Let k(y) = y**3 + 3. Let x be k(0). Suppose x*o + 4 = -o. Let p be o/4*(-8)/11. Sort 0.3, 3, p in increasing order.
p, 0.3, 3
Let j be -8*(3 + 14/(-4)). Sort 5, j, -9 in ascending order.
-9, j, 5
Let o be (32/(-8))/((-2)/3). Suppose 2*n = -z - z, n = 5*z - o. Let q = -0.96 + -0.04. Sort -0.4, q, z in decreasing order.
z, -0.4, q
Let z = -7 - -10. Suppose -z*p - 4*t = 23, -p - 2*t - 6 = 3. Sort 5, -2, p in descending order.
5, -2, p
Let b = 7 - 3. Suppose 3*l + 9 = -2*v, l + b*l - 4*v = -15. Put -2, l, -7 in increasing order.
-7, l, -2
Let y be 4/30 - 928/(-240). Put y, -3/2, -1/2 in ascending order.
-3/2, -1/2, y
Let y = -31 + 33. Sort 1, 0.5, y.
0.5, 1, y
Suppose 0 = c + 3*m - 12, 2*c - 4*m - 12 = -7*m. Put c, -4, 3 in decreasing order.
3, c, -4
Suppose 0 = 3*r + 5*j, -r + 6*j = 2*j - 17. Suppose 0 = -3*g - 3, m + 3*g - 2*g + 1 = 0. Let b be (-38)/(-285) + m/(-1). Sort 2, b, r.
b, 2, r
Let f(s) = s**2 - 6*s - 3. Let o be f(6). Let t = o - -7. Suppose t*u = 2 + 18. Sort -4, u, -3 in increasing order.
-4, -3, u
Suppose 3*q + 0*q - 2*d = -13, -2*d - 15 = q. Let i be (-440)/(-56) + (-1)/q. Sort 1, 2, i in descending order.
i, 2, 1
Let h = -170/79 - -22609/1659. Let t = h + -34/3. Let f = 5 + -10. Sort 5, f, t in ascending order.
f, t, 5
Let l(i) = i**2 + 4*i + 3. Let m be l(-3). Suppose j - 7 = -2*a, 2*a - 5 = j + a. Suppose -2*u = -5*q + 2*q - 16, 3*q + 4*u - 14 = 0. Sort m, j, q.
q, j, m
Let f = 23.3 + -23. Put -5, 0.5, f in descending order.
0.5, f, -5
Let k = -25 - -29. Let u be (3/(-1))/(3/2). Let o = 1 - u. Put o, 0, k in decreasing order.
k, o, 0
Let r = 67 - 66. Put r, -1/2, 5 in descending order.
5, r, -1/2
Suppose 0 = 3*r + r - 16. Suppose v + 3*y = -y + 11, 4*v - 4 = r*y. Suppose 0 = 2*k - 4*j + 12, -v*j + j = 4*k - 16. Put k, -2/5, -1/5 in ascending order.
-2/5, -1/5, k
Let w = 14 + -13. Let k be (3/(-27))/(w/(-3)). Let s = -0.1 - -0.1. Sort -2, s, k in increasing order.
-2, s, k
Suppose k + 6 = 2. Suppose -14 = -2*j - 3*o, 7*j - 22 = 4*j - 5*o. Let s be 3 - j - (0 + -1). Sort 3, k, s in decreasing order.
3, s, k
Let t = -5 - -5. Sort t, -9, -5 in descending order.
t, -5, -9
Let f = 176 + -260. Let z be 2/(-7) + 24/f. Let i = 1 - 0.8. Sort -1/2, z, i in decreasing order.
i, -1/2, z
Let g = -0.027 + -0.973. Sort 0, 3/5, g in ascending order.
g, 0, 3/5
Let o(t) = -t**3 - 14*t**2 - t - 19. Let d be o(-14). Let n be 0*(-1 - (-6)/4). Sort d, -2, n in ascending order.
d, -2, n
Suppose -2 + 14 = -4*b + 4*i, -3*i = -5*b - 19. Let n = 0 - 3. Put n, 3, b in increasing order.
b, n, 3
Let o(f) = 3*f + 3. Let w be o(-2). Let t = w - 0. Let l(k) = 3*k + 4. Let s be l(t). Sort -1, 3, s in ascending order.
s, -1, 3
Suppose 6 = q + 5. Sort 4, q, 5 in decreasing order.
5, 4, q
Suppose 0 = -2*l - l + 84. Suppose m + 19 = 2*s - 2*m, -5*s + m = -l. Sort s, 2, -3 in decreasing order.
s, 2, -3
Suppose l + 4 = -0*l + b, -5*b - 8 = 2*l. Suppose 2*y - 4*u + 10 = 0, -7 = 3*y - 3*u - u. Sort y, l, 1.
l, 1, y
Suppose 5*a + 5 = -4*y + 30, a = -4*y + 5. Let n(v) = v**3 + 6*v**2 - 5. Let l be n(-6). Sort 3, y, l in increasing order.
l, y, 3
Let z be 5/(-2)*(-14)/(-70). Sort -6, -2, z.
-6, -2, z
Let q be 4/(-18)*(-15)/(-20). Put -4/7, 2, q in increasing order.
-4/7, q, 2
Let x = -713929/28 - -25494. Let f = 26/7 + x. Let n = 0 - -0.3. Sort n, -0.2, f in decreasing order.
n, f, -0.2
Let k(q) = -q**3 + 11*q**2 - 19*q + 11. Let u be k(9). Sort u, 1, -3.
-3, 1, u
Let m = 0.11 + 2.29. Let j = m + 0.6. Let l be 1 + (2 - 20/6). Sort 0, j, l in decreasing order.
j, 0, l
Suppose 0 = -2*x - 1 - 5. Let v be (0 - -3)*2/(-57). Let t = -0.4 - -0.8. Sort x, t, v in descending order.
t, v, x
Let a = -4 + 5. Let b be -2 + (-1)/a*5. Put 2, b, 3 in ascending order.
b, 2, 3
Let i be (0 - 0)*(-4 - -5). Suppose m + i = -1. Let o(c) = -c**2 - c. Let b be o(m). Sort -4, -2, b in descending order.
b, -2, -4
Let l = 0.8 + -0.86. Let c = 6.06 + l. Suppose -n = 0, 2*k + 5*n - 3 = k. Sort k, 2/7, c.
2/7, k, c
Let n = 0.02 - -0.48. Let y = 22/15 - 9/5. Sort -0.1, n, y.
y, -0.1, n
Let u = -1.6 - 4. Let g = u + 6. Sort 0, g, -0.3 in increasing order.
-0.3, 0, g
Let l be 6/(-8) - (-455)/(-140). Put l, 15, -5 in descending order.
15, l, -5
Let y = -37 + 35. Let b be ((-4)/(-5))/(1/5). Sort b, -5, y in increasing order.
-5, y, b
Suppose -8*w = -13*w - 5. Suppose 1 = -2*y - 5. Sort w, -5, y in decreasing order.
w, y, -5
Suppose -5*n + 17 + 13 = 0. Sort 5, n, 0.
0, 5, n
Let f = -3.022 - -0.022. Put -6, 0.4, f in ascending order.
-6, f, 0.4
Let l be 1 + 4/((-12)/3). Let s = 0.6 + -6.6. Let w = s + 11. Put -1/4, w, l in descending order.
w, l, -1/4
Suppose -f = -0*f + 1. Suppose 0 = y + 3 + 5. Let t(q) = q**3 + 8*q**2 - q - 5. Let o be t(y). Sort -2, f, o in descending order.
o, f, -2
Let a be (2*(-3)/(-5))/((-3)/10). Suppose 5 = -2*z + 1. Let d be -10*z*2/(-8). Sort a, d, 0 in descending order.
0, a, d
Let f be (-33)/45 + (-8)/(-20). Put f, -5, 2/9 in descending order.
2/9, f, -5
Suppose -6 = -4*d + 6. Suppose -d*t + 7 - 1 = 0. Let s = 9 + -4. Put -5, s, t in ascending order.
-5, t, s
Let w = -0.41 - -0.61. Put -2/3, 5, w in increasing order.
-2/3, w, 5
Let r = 2415 - 4029. Let i be 18/(-6) - r/14. Let w = i - 112. Sort -0.5, w, 1 in descending order.
1, w, -0.5
Let n = -8 + 23. Let w = n - 21. Sort w, -2, 0.
w, -2, 0
Let y = -1.6 + 2.6. Put y, 0.4, 0.2 in descending order.
y, 0.4, 0.2
Suppose 5*y = 6 + 94. Let i be (-6)/(-10) + (-27)/y. Put i, 1/7, -1/6 in increasing order.
i, -1/6, 1/7
Suppose -12 + 32 = -2*c. Let i = 7 - c. Suppose -n = -5*p - i, -5*p - 11 = -0*p - 3*n. Put p, 0, -5 in decreasing order.
0, p, -5
Let p be -1 - (0 - 3) - -2. Let t be (10/4 + -3)*-6. Sort t, p, 0 in decreasing order.
p, t, 0
Let m = 0.04 + 11.96. Let l = m - 10. Let a = 0.7 + 3.3. Sort l, -4, a in descending order.
a, l, -4
Let s(t) = -6*t**3 + 2*t**2 - 1. Let g be s(-1). Suppose -4*q - 15 = -g*q. Sort q, 2, -2 in descending order.
q, 2, -2
Let a be 1/4 - (-1)/(-4). Let f = 21 - 15. Suppose -2*x + 20 = -f*x. Put -2, a, x in decreasing order.
a, -2, x
Suppose 0 = 3*o - 4*o + 19. Let l = o - 13. Suppose -2*f - 5*z = -9, 4*f + 2*z - 4 = l*z. Sort 5, -4, f in decreasing order.
5, 