 order.
r, o, b
Suppose 3*t + t = 12. Suppose y + 27 = 3*y + 5*j, 5*y + t*j = 20. Sort y, 0.1, -1/10 in decreasing order.
y, 0.1, -1/10
Let a(n) = -n**2 + 5*n - 3. Let u be a(5). Let q = -2 + 3. Let y = 2 - q. Put -1, u, y in decreasing order.
y, -1, u
Suppose -4*p - 7 = -19. Put p, -3, -1 in decreasing order.
p, -1, -3
Let l = -75 + 74.6. Let x = 3.04 + -3. Put l, x, 0.4 in descending order.
0.4, x, l
Suppose -22 = y - 0*y. Let c = 20 + y. Put -2/13, c, -3 in decreasing order.
-2/13, c, -3
Let s = -87 - -88. Put -4, -2, 9, s in descending order.
9, s, -2, -4
Let h(n) = -2*n**2 - 4*n + 4 + n + 0*n. Let m be (15/(-10))/((-2)/(-4)). Let v be h(m). Sort 0.3, v, -0.5 in descending order.
0.3, -0.5, v
Let o = 613/9 + -68. Put o, 0.058, -5 in decreasing order.
o, 0.058, -5
Suppose g = 2*g - k + 10, 5*g = -k - 20. Sort 2, 5, g.
g, 2, 5
Let z be (-14)/(-18) + (-1 - 0). Let k be (-2 - -10)/2 - (-25)/(-7). Let m be -5*(-1 - 2/(-5)). Sort z, k, m in decreasing order.
m, k, z
Let d = -198 + 1388/7. Put 1.1, d, -3 in ascending order.
-3, d, 1.1
Let s be -2 - ((-4)/((-12)/(-9)) - -3). Let z be (-3)/20 - (-6)/15. Put z, -6, s in ascending order.
-6, s, z
Let o(a) = -4*a - 20. Let z be o(-6). Put z, 5, 2 in increasing order.
2, z, 5
Let i = 151 + -152. Let c be (-4)/14 + 4/14. Suppose 2*d = -2*d - 20. Sort i, d, c.
d, i, c
Let l = 0.7 + 0.3. Let t = -18 - -1. Let u = t + 16.6. Put l, u, -2/15 in ascending order.
u, -2/15, l
Let k(z) = -z + 10. Let c be k(6). Let u(b) = -4*b**3 + 2*b + 1. Suppose -5 + 3 = 2*m. Let q be u(m). Sort q, 0, c in increasing order.
0, q, c
Let v = 1.43 + 1.58. Let i = -4 - -3.99. Let z = v + i. Sort -1, z, -2/7 in increasing order.
-1, -2/7, z
Let i = -47 - -46. Sort 11, 2, i in increasing order.
i, 2, 11
Let q(a) be the third derivative of -1/24*a**4 + 0 - 2*a**2 - 2*a**3 + 0*a. Let n be q(-11). Put n, 1, -2 in decreasing order.
1, n, -2
Let y be 4*(3 + 5/(-2)). Let g be -3 - (-6 + y) - 3. Sort -1, g, 2 in descending order.
2, -1, g
Let o = -1.95 - 0.05. Let w be -4 + (3 - (3 - 1)). Let t be (-7)/3 - (w + 1). Put t, o, -3/2 in decreasing order.
t, -3/2, o
Suppose -8 = 5*y + 12. Let m be 1/(((-4)/(-3))/y). Put 2, 5, m in descending order.
5, 2, m
Let w = 0.03 - -2.97. Let i = 0.068 - 5.068. Sort w, 0, i.
i, 0, w
Suppose -9 = -11*k + 8*k. Put k, 0, 5, -4 in increasing order.
-4, 0, k, 5
Let h(x) = -x**2 + 5*x + 8. Let k be h(6). Let j(u) = u**2 + 8*u + 10 + 0*u**k - 2*u**2. Let r be j(9). Sort -1, 0, r in decreasing order.
r, 0, -1
Suppose 0 = -5*f - 0*f. Sort 4, f, -4 in descending order.
4, f, -4
Let a be (-6)/(-24) - 6/(-8). Sort -2, -1/4, a in ascending order.
-2, -1/4, a
Let o = 15 + -19. Let x = 5 - 3. Put o, 7, x in ascending order.
o, x, 7
Let p(x) = -x**3 + 2*x**2 + x + 1. Let u = 0 + 2. Let l be p(u). Sort l, 0, -4 in increasing order.
-4, 0, l
Let r = -26 + 22. Put -3, 5, 0, r in descending order.
5, 0, -3, r
Suppose 0 = m - 5*w - 15, 6*m - 3*m + 12 = -4*w. Suppose 5*s + 18 + 22 = m. Sort s, -3, 3 in descending order.
3, -3, s
Let d = -2 - -1. Let k = 0.08 - -2.92. Let s = k - d. Sort s, 0.3, 1 in descending order.
s, 1, 0.3
Suppose 14 - 5 = 3*o. Sort -2, -2/7, o in descending order.
o, -2/7, -2
Let g(r) = r**3 - 2*r**2 + r. Let i be g(2). Let c(o) = 5*o - 27. Let h be c(6). Sort h, -1, i in ascending order.
-1, i, h
Let q(l) = -2*l - 5. Let g be q(-4). Let c(i) = i**2 - 5*i + 1. Let f be c(5). Put g, f, -3 in ascending order.
-3, f, g
Let v = 0 - 0.1. Let i = -57 + 54.1. Let f = v + i. Sort f, -0.5, 1/10 in decreasing order.
1/10, -0.5, f
Let l(i) = -i**3 + 7*i**2 - 8*i + 9. Suppose -68 - 18 = -5*d - t, 2*t + 15 = d. Let h = -11 + d. Let m be l(h). Sort m, 1, 2 in increasing order.
m, 1, 2
Let f(v) = v - 13. Let l be f(8). Sort -4, l, -3 in descending order.
-3, -4, l
Let z = 0.1 + 0.1. Let t = 31 + -26. Sort z, t, 0.5 in decreasing order.
t, 0.5, z
Let p be (1/(-4))/((-14)/(-8)). Suppose -6*s + 2*s - 8 = 4*g, 2*s + 4 = 3*g. Put -0.5, p, g in descending order.
g, p, -0.5
Suppose 7*o - 2*o - 80 = 0. Suppose 2*x + 3*q = -13, 0*q - 4*q = -4*x - o. Sort x, -1, 2.
x, -1, 2
Let k(m) = -3*m - 4. Let z be k(-9). Suppose 4*b + 30 = 5*c, -c + 3*b - 8*b = z. Let u be -2*1/c*-3. Sort 5, 4, u in increasing order.
u, 4, 5
Let m = -9.5 + 9. Let d = 0.9 + m. Let a = -2.95 + -0.05. Put d, a, -2/15 in increasing order.
a, -2/15, d
Let h = 5 + 16. Let p = h + -18. Put 1/5, -5, p in increasing order.
-5, 1/5, p
Let p = 0.45 - 0.05. Sort 1/8, p, -2 in ascending order.
-2, 1/8, p
Let d = -19 - -137/7. Let f = 1.03 - 0.03. Let k = -1.2 + f. Put k, 0.1, d in increasing order.
k, 0.1, d
Let s = 86/11 - 8. Let u(i) = i + 15. Let d be u(-10). Let o(q) = q**3 - 5*q**2 - 2*q + 7. Let l be o(d). Sort -0.1, l, s in descending order.
-0.1, s, l
Let y = 23 + -39. Let r be ((-4)/30)/(y/20). Sort r, 5, -0.5.
-0.5, r, 5
Suppose 2*j - 19 = -5*d, -4*j - 3*d - 7 = -8*d. Let i = 27 + -24. Put j, i, -4 in descending order.
i, j, -4
Let k be (3/3 - -1)*4. Let s(h) = -h**3 + 9*h**2 - 9*h + 12. Let t be s(k). Sort t, 2/13, -5 in descending order.
t, 2/13, -5
Let i be (0/3)/((-6)/(-2)). Suppose -7*g + 12*g + 100 = i. Sort -3/2, g, 0.1 in descending order.
0.1, -3/2, g
Suppose 6 = 2*m - m. Let x be (-30)/7 + m/21. Put 0, -3, x in decreasing order.
0, -3, x
Let m(h) = -h + 3. Let t(q) = -q + 2. Let i(o) = 4*m(o) - 5*t(o). Let p be i(-6). Sort 3, -1, p in decreasing order.
3, -1, p
Let t(o) = -3*o + 9. Let b be t(4). Sort -1, -4, b in decreasing order.
-1, b, -4
Let y = 22 - 29. Let f = y - -2. Sort f, 5, 0 in increasing order.
f, 0, 5
Suppose -8*u + 0*u = -8. Let l(o) = o**3 - o**2 - 2*o + 2. Let y be l(2). Put u, -2, y in decreasing order.
y, u, -2
Suppose 6*w + 3 + 15 = 0. Suppose 0 = f - 2. Sort f, w, 4 in ascending order.
w, f, 4
Suppose p + 4 = -3*p + 2*g, -4*g - 4 = -4*p. Let w be (2 + p)/1*2. Sort 1, 2, w in ascending order.
w, 1, 2
Let q = -452/4599 - -2/657. Sort -1, q, 0.5.
-1, q, 0.5
Let n = 109/3 - 36. Put 3, n, -5 in descending order.
3, n, -5
Let b be (-88)/20 - 4/(-10). Let r be (-6)/(-33) + 62/22. Let l(o) = o**3 - 5*o**2 - 5*o - 8. Let g be l(6). Put b, g, r in decreasing order.
r, g, b
Let x = 66/5 - 13. Sort x, -3, 4, -5.
-5, -3, x, 4
Let j = -5 + 5. Sort 4, -5, j in descending order.
4, j, -5
Let t = 1 - 2. Let g be 5/(t + 0) + 2. Suppose 5*z = q + 4, 5*z + 2*q + 4 = q. Sort 3, z, g.
g, z, 3
Let s(y) = -2*y + 3. Let z be s(3). Suppose 5*a + 13 = -o - 10, 7 = -a + o. Let l = 2 - -3. Sort z, a, l in descending order.
l, z, a
Suppose 2*n = -4*w - n - 8, 0 = -2*n - 8. Suppose -w = -k - 4. Sort k, -2, 4 in ascending order.
k, -2, 4
Let z(i) = 3*i. Let a be z(-4). Let d be 12/63*a/8. Sort d, 0.3, 1.
d, 0.3, 1
Let a(r) = r - 5. Suppose 0 = u + m, 0 = 2*u - 6*u + 2*m + 30. Let q be a(u). Sort 2, q, 3 in decreasing order.
3, 2, q
Let n = -12 + 9. Sort 2, 5, n in decreasing order.
5, 2, n
Let z(a) = -a**3 - 3*a**2 + 2. Let r be z(-3). Let k be (1/(-2))/((-12)/(-8)). Put 0.1, r, k in descending order.
r, 0.1, k
Suppose -2*z - 20 = -2*u, -z - 2*u - 2*u - 20 = 0. Let a be 12/7 + z/(-42). Sort -4, a, 4.
-4, a, 4
Let u = 1 + -3. Let r(v) = -v + 5. Let b be r(13). Let a = b - -5. Sort 3, u, a in decreasing order.
3, u, a
Let p = -0.01 + -0.49. Let s = 11 - 7. Sort p, 2/19, s in decreasing order.
s, 2/19, p
Let h = -4 + 6. Suppose -f + 3 = h*f. Suppose 16 = d + 3*d. Put d, 0, f in decreasing order.
d, f, 0
Suppose -2*g - 3 = 5. Sort -2/17, g, 1/2.
g, -2/17, 1/2
Let l = 23 + -7. Suppose 0 = 5*t - 9 - l. Put -2, t, -3 in increasing order.
-3, -2, t
Suppose 0 = 3*c - 8*c - 3*o + 24, -4*o = -2*c + 20. Suppose -4*y = -h + 3, 2*y = c*h - h - 15. Put -1, h, 5 in descending order.
5, h, -1
Let m be 8/(4 + 0) - 0. Put -15, m, -4 in increasing order.
-15, -4, m
Suppose -4*r = -0*r. Put 1, r, -2 in descending order.
1, r, -2
Let a = -2.29 + 4.29. Let k = 1 + -3. Sort 3, k, a in descending order.
3, a, k
Suppose -4*k + 5 = k. Let u = 2 - -1. Let i be (u/(-6))/(1/4). Sort k, i, 3.
i, k, 3
Let l(f) = -f**3 + 13*f**2 - 11*f - 16. Let i be l(12). Suppose -3*u = 7 - 19. Sort u, i, 2 in descending order.
u, 2, i
Let d = -3.78 + -0.22. Sort 3/4, d, -1.
d, -1, 3/4
Let j be 1*((-21)/(-12))/7. Let x = -7 - -6.7. Sort 4, j, x in decreasing order.
4, j, x
Suppose -3*t - 9 = -0*t. Let 