creasing order.
k, 2, 1, -3/2
Suppose 5*v = -o - 1, v = -2 + 1. Let x be (-84)/(-30) + (-1)/(-5). Sort -2, x, o in descending order.
o, x, -2
Let t(b) = -b**3 - 8*b**2 - 14*b + 3. Let q be t(-5). Sort 0, 3, q in ascending order.
q, 0, 3
Let n be 4/(-10) + (-16)/10. Let a(g) = -4*g + 16. Let w be a(4). Sort w, -4, n.
-4, n, w
Suppose -2*v - 15 = 3*v. Suppose 0 = -3*n + 2*n - 4. Sort v, n, -1.
n, v, -1
Suppose 8 = -2*p + 18. Sort -3, p, -14, -1 in descending order.
p, -1, -3, -14
Let a(r) = r**3 - 2*r. Let l be a(2). Sort 3, l, 5 in decreasing order.
5, l, 3
Suppose 1 = 5*t - 19. Suppose -3*q + o + 16 = -1, -t*q - 3*o + 14 = 0. Let r be 20/(-175) - (-2)/5. Put -0.1, q, r in increasing order.
-0.1, r, q
Let t = -3/98 + 229/1078. Sort -7, t, 4 in descending order.
4, t, -7
Let p = -7.45 + 0.05. Let d = 11 + -18. Let q = p - d. Put 3/4, q, -5 in decreasing order.
3/4, q, -5
Suppose o = 1 - 0. Let m be (o + 3)/(2/(-2)). Suppose -11 = s + d + 2*d, 0 = -2*s - 5*d - 18. Sort s, m, -2 in decreasing order.
s, -2, m
Let n = -14 + 11. Let x = -0.4 + 0. Sort n, -5, x in descending order.
x, n, -5
Let k(h) = -h**2 - 8*h - 3. Let j be k(-9). Let r be j/105 + 6/(-21). Sort 0, 1, r in increasing order.
r, 0, 1
Let h(f) = f**3 + 7*f**2 + 6*f + 2. Let i be h(-6). Let o(v) = -v**2 - 5*v + 4. Let q be o(-5). Suppose q*d = i*a + 5*d + 13, -3*a + 8 = -4*d. Sort 1, a, 2.
a, 1, 2
Let q be ((-8)/(-10))/(6/(-15)). Let c = 2 - q. Let r = c + -3. Sort -1, 0, r.
-1, 0, r
Let s(y) = -2*y. Let m be s(-2). Suppose -h + m = 1. Suppose 4*j + f - h = 0, -4*f = -5*j - 9*f - 15. Sort -1, j, -5 in increasing order.
-5, -1, j
Let y = 6 + -1. Let i = -4 - -1. Sort y, 2, i in descending order.
y, 2, i
Let g = -0.918 - -0.918. Let y = 0.3 + -0.1. Let d = y - 0.5. Sort d, -1, g in decreasing order.
g, d, -1
Let b be -1*1 + -3 + (-6)/(-1). Let h = -42/61 + 5456/305. Let u = h - 17. Put 1, u, b in increasing order.
u, 1, b
Let l be 1*-2 + (11 - 8). Sort l, -4, 2 in descending order.
2, l, -4
Let s be (-5)/4*(-2)/(-5). Sort 0.03, s, 0.2 in increasing order.
s, 0.03, 0.2
Suppose 5*i - 12 = -2. Suppose 0 = -i*b - 3*b + 10. Let l be (-2)/(-6) + b/(-6). Sort l, 4, 3 in decreasing order.
4, 3, l
Let c = -10 + 7. Let u be 31/217*5/(5/(-2)). Let x be (-3)/13*4/6. Put c, x, u in descending order.
x, u, c
Suppose -3*u = -2*p + 5, -2*u = p + 5 - 4. Let m = -2 - 3. Sort m, u, 4 in decreasing order.
4, u, m
Suppose 0 = -5*j - 3 - 2. Let s(f) = -f - 4. Let y be s(-5). Sort j, 3, y in ascending order.
j, y, 3
Let h = -0.4 - 0.1. Let f = 4 - 2. Put f, 3, h in increasing order.
h, f, 3
Let g = 0.48 - -0.52. Put g, 16, 5 in increasing order.
g, 5, 16
Let h(o) = -3*o**3 + o**2 + o. Suppose 4 = -v - 3*v. Let c be h(v). Put 5, 2, c in descending order.
5, c, 2
Suppose 2*r = 4*r - 6. Put r, -3, -1 in decreasing order.
r, -1, -3
Suppose -3*s - 26 = -h + 14, -2*s - 4*h = 50. Sort -1, 2, -4, s in descending order.
2, -1, -4, s
Let d = 6 - 4. Suppose -5*y = v + 2, -18 = 3*v - d*y + 5*y. Let t be (-37)/56 - 2/v. Sort t, 0.2, -3.
-3, t, 0.2
Let b be (3/(-9))/(1/(3/1)). Sort b, 3, 4.
b, 3, 4
Let a be (3/(-18))/(6/(-4)). Sort a, 2/5, -4 in descending order.
2/5, a, -4
Let l = 0.08 - 1.48. Let g = -0.6 + l. Sort -0.4, g, 3 in ascending order.
g, -0.4, 3
Let g = 11.8 + -5.8. Sort 2, -0.3, g, 0.3 in decreasing order.
g, 2, 0.3, -0.3
Let n = 1.3 + 4.7. Let d be 36/(-162) + ((-35)/(-36))/1. Sort 5, d, n in increasing order.
d, 5, n
Let q = 3/26 - 93/130. Put 1, q, -3 in descending order.
1, q, -3
Let t be (9/6)/((-3)/(-8)). Put -7, -5, t in decreasing order.
t, -5, -7
Let v(q) = 4*q - 44. Let a be v(11). Put -2, a, 2 in descending order.
2, a, -2
Suppose -2*x - 2 = -4. Put -5, -3, x in descending order.
x, -3, -5
Let j(l) = 2*l + 13. Suppose 1 - 10 = -d. Suppose r - 2*r = d. Let g be j(r). Put 2, -4, g in decreasing order.
2, -4, g
Let x be (-198)/(-55) - (-2)/5. Sort 3, 1, 2, x.
1, 2, 3, x
Let o = 98 + -491/5. Let w = -1.2 - -0.2. Let p = w - -1.3. Put 2, o, p in ascending order.
o, p, 2
Suppose -8 = 2*q - 4*c, -2*q = -c + 2*c - 12. Suppose -2*j - 4 = q*l, j - 3*l = 3*j + 2. Let z be (-6)/9 + 4/6. Sort j, z, -3 in descending order.
j, z, -3
Let a(y) = 13*y**2 + 3*y - 29. Let h(v) = -3*v**2 - v + 7. Let q(r) = 2*a(r) + 9*h(r). Let k be q(-5). Put 5, -1, k in decreasing order.
5, -1, k
Let r be (180/(-8))/(-15)*4/(-6). Sort 4/9, r, -0.3 in ascending order.
r, -0.3, 4/9
Let k = -38 + 39. Sort 2, k, 2/19, 1/4 in ascending order.
2/19, 1/4, k, 2
Let d(c) = c**3 + c - 4. Let a be d(0). Suppose -2 = -4*m + 2*m. Suppose 3 = -p + m. Sort 2, a, p in decreasing order.
2, p, a
Let j be (-12)/2*12/9. Let s = 6 + j. Sort s, 0, -5.
-5, s, 0
Let h = 20 + -38. Put h, -2, -1/4, -0.2 in increasing order.
h, -2, -1/4, -0.2
Let d(q) = -q**3 - 2*q**2 + 4*q - 1. Let i be d(-3). Let u be (-13 - -13) + (-2)/(-2). Put 3, u, i in increasing order.
i, u, 3
Suppose -3*p - 4*l + 9*l + 12 = 0, -5*p - 17 = 4*l. Suppose t = -4*u + 12 + 10, -3*t + 21 = 3*u. Sort -4, p, u.
-4, p, u
Suppose g + 2*v - 17 + 5 = 0, -2*v + 6 = 0. Suppose a = g*a - 25. Put a, 3, -4 in increasing order.
-4, 3, a
Let j = 26 - 26. Sort 7, -4, j in increasing order.
-4, j, 7
Let x(t) = t**2 + 7*t + 1. Let o be x(-6). Let q = o + 1. Put -0.1, -0.2, q in decreasing order.
-0.1, -0.2, q
Let w = -4 - 1. Let t(j) = -j**3 - 8*j**2 - 7*j - 1. Let c be t(-7). Let m be 1/(((-4)/6)/2). Sort c, w, m in descending order.
c, m, w
Suppose 1 = y + 5*v, 0 = y + y + 4*v - 2. Sort 3, y, -3 in decreasing order.
3, y, -3
Let q = 13 - 6. Suppose -5*a = -4*r + 9 + q, -4 = -a - r. Put a, -5, -2 in ascending order.
-5, -2, a
Let n = 23 + -3. Suppose 3*x + n = -0*m - 5*m, 2*x = 0. Sort 1, m, -3 in descending order.
1, -3, m
Let x(r) = -2*r - r + 5 - r. Let p be x(5). Let g be (-1)/(-4) - p/(-36). Sort g, 4, 5 in increasing order.
g, 4, 5
Suppose 0 = 6*b + 5 + 7. Sort b, 4, -5.
-5, b, 4
Let c = -9 - 2. Let v = 11.3 + c. Sort v, 2, -0.1 in decreasing order.
2, v, -0.1
Let n(f) = -f**3 - 5*f**2 - 3*f + 6. Let j be n(-3). Put -5, -4, j in decreasing order.
j, -4, -5
Let o = 2 + -1. Let r(b) = b**2 - 9*b - 8. Let c be r(10). Let y be (c + 1 - 2)*0. Sort o, y, 3 in decreasing order.
3, o, y
Suppose 3*u = 6, -4*z + 4 = -9*z - 3*u. Let o = -2 + 6. Suppose 10 = 5*f - 4*j - 1, -j - o = 0. Sort -4, z, f in descending order.
f, z, -4
Suppose -h = -1 - 2. Suppose -3*v + 5 = -h*q + 2, v = 4*q + 19. Let b = q - -10. Sort b, 1, -2 in increasing order.
-2, 1, b
Let i = -0.89 + -0.11. Sort 1/4, 0.3, i in ascending order.
i, 1/4, 0.3
Let m be ((-2)/(-10))/(-3 + 10). Let o = -32/105 - m. Let h = -4 - -2. Put -1, o, h in descending order.
o, -1, h
Let d be (-24)/9*6/(-4). Let y(b) be the first derivative of -b**2/2 + 3*b + 2. Let i be y(5). Sort -5, d, i.
-5, i, d
Let x = -76 - -72. Sort 5, -7, x.
-7, x, 5
Let u = -0.02 + -2.98. Let a be ((-6)/45)/(4/6). Sort a, -0.3, u in decreasing order.
a, -0.3, u
Let s(c) = 2*c - 1. Let q be s(3). Sort q, 1, -5 in descending order.
q, 1, -5
Let h = 2.8 + 2.2. Sort 0.6, 0.3, h.
0.3, 0.6, h
Let o(l) = l + 6. Let m be o(-5). Suppose 66*u + 12 = 70*u. Sort -4, m, u in increasing order.
-4, m, u
Let f = 33 + -32. Put 4, 5, f in ascending order.
f, 4, 5
Let w = -90 - -91.2. Sort -0.3, -0.5, w in ascending order.
-0.5, -0.3, w
Let z(s) = -2*s - 47. Let i be z(-21). Let q be (-30)/(-3)*(-2)/(-2). Let o = q - 7. Sort o, 5, i in decreasing order.
5, o, i
Let v = 1.12 + -1.02. Sort -1/8, -14, v in decreasing order.
v, -1/8, -14
Let i = -3 + 5. Let v be 2/(-8) - 165/44. Sort i, 4, v in decreasing order.
4, i, v
Let a = 281/3 + -94. Sort -2/7, a, -1/2, 1 in decreasing order.
1, -2/7, a, -1/2
Let g = 4.9 + -4.9. Let d(n) = -n + 9. Let h be d(4). Sort h, -1, g in decreasing order.
h, g, -1
Let u be (4/(-10) + 1)/1. Let z be 3*(0 + 3 + -2). Put 1, z, u in descending order.
z, 1, u
Let r be (6/(-15) - 3) + 4/10. Sort -10, r, 4, 2 in decreasing order.
4, 2, r, -10
Let m(b) = 3*b - 6. Let a be m(4). Let w = 10 - a. Suppose r = w*r. Sort 1, -1, r in decreasing order.
1, r, -1
Let i = 14 + -9. Let t = 76/187 - 10/17. Sort t, i, -0.5.
-0.5, t, i
Let u(l) = -l**3 + 9*l**2 - 7*l - 5. Let z be u(8). Suppose 25 = z*m + 4*c, -2*c + 8 = -0*c. Sort 1, -3, m in decreasing order.
m, 1, -3
Suppose -3*h - 3*d + 30 = 0