 order.
5, m, -0.5
Let m(r) be the first derivative of -r**2/2 + 2*r - 4. Let a be m(-3). Put a, 1, -3 in increasing order.
-3, 1, a
Let w = -0.01 - -2.01. Sort -4, w, -2 in ascending order.
-4, -2, w
Let l = -119 - -110.7. Let d = -35 + 43. Let h = d + l. Sort 0.2, 3, h in increasing order.
h, 0.2, 3
Let m = -5 - -2. Let j = m + 6. Put j, -2/13, -1 in descending order.
j, -2/13, -1
Let l = 183 + -121. Let s be (2 - 3)*-4*7. Let y be l/s + (-2)/(-7). Sort y, -2, 5 in descending order.
5, y, -2
Let n = 22 - 23. Sort 3, 1, n in descending order.
3, 1, n
Let h = -16 - -14. Sort 4, 5, h in decreasing order.
5, 4, h
Let p(y) = -y + 6. Let o be p(7). Let w be ((-3)/(-2))/(2/4). Suppose 0 = 3*x - w*f - 9, -f = -2*x + 7*x + 15. Sort x, 3, o in descending order.
3, o, x
Let c be ((-1)/(-2))/((-2)/4). Let w = -1/23 - 19/92. Put c, 2, w in descending order.
2, w, c
Let c = -0.52 + 0.02. Let w = -5.2 - 0.8. Put c, w, 0.3 in increasing order.
w, c, 0.3
Suppose -8 + 0 = -4*g. Suppose 0 = -2*p - g*p + 16. Let q = p + -1. Put 1, 4, q in increasing order.
1, q, 4
Let i(h) = 2*h - 6. Let r be i(3). Put -4, -1, -3, r in descending order.
r, -1, -3, -4
Let i(s) = -s**3 + 5*s**2 + 4*s + 7. Suppose -6*n + n = -30. Let z be i(n). Sort z, 4, 3 in increasing order.
z, 3, 4
Let f be (-31)/(-6) - (-7)/(-42). Sort -4, -2, f in descending order.
f, -2, -4
Let b = -109 + 114. Put -0.1, 0.2, b in ascending order.
-0.1, 0.2, b
Let l = 0.09 - 0.25. Let g = l - -0.06. Sort 1, 5, g.
g, 1, 5
Let l = -69 - -74. Sort 3, l, 0, -3 in descending order.
l, 3, 0, -3
Let q(t) = t**3 - 6*t**2 + 3*t + 15. Let y be q(5). Let p(k) = -2*k**3 + k**2 - 1. Let s be p(1). Put s, 3, y in ascending order.
s, 3, y
Let n(l) = -l**2 + 4*l + 3. Suppose -4*t - 4 = 5*i, -2*i + 8 = -4*i. Let m be n(t). Suppose 0*d = 5*d + 20. Sort d, m, 4 in increasing order.
d, m, 4
Let j = -13 + 13.7. Let s = j + -0.6. Let q = 0.6 - s. Put -2/3, q, -0.4 in descending order.
q, -0.4, -2/3
Let f = 2.3 + -0.5. Let d = -2 + f. Let v = 0.7 + d. Sort 5, v, 5/4.
v, 5/4, 5
Suppose -3*z + 5*d - 10 = -2*z, 4*z + 2*d = -18. Let v be (z/10)/((-11)/4). Let f = 0.2 + 0. Sort 1, f, v in ascending order.
v, f, 1
Suppose 0 = -q - 8*s + 3*s + 2, 4*q - 27 = -s. Let w(i) = i - 12. Let x be w(q). Sort 5, x, 0.3 in descending order.
5, 0.3, x
Suppose b + 9 = 2*z, -5*b = -z - 3*b + 3. Suppose 48 = z*u - u. Suppose -4*a = -3*g - 18, -2*g + 5*g + u = 2*a. Put -5, a, -1 in increasing order.
-5, -1, a
Let g = -4 + -0.96. Let m = g - 0.04. Let h = -0.04 + -1.96. Sort h, -0.1, m.
m, h, -0.1
Let k = -0.05 - -0.75. Let z = 0.7 - k. Put z, 0.5, 1/3 in descending order.
0.5, 1/3, z
Let w be 0 - (-4)/(-6) - (-32)/30. Sort 1/4, w, -0.4 in decreasing order.
w, 1/4, -0.4
Let i = 50.93 - 53. Let z = 0.07 + i. Sort z, 0.3, -1/3 in descending order.
0.3, -1/3, z
Let s = 8 + -3. Let o = -17 + 21. Sort o, s, -1 in descending order.
s, o, -1
Let j = 280 - 277.99. Let b = j - 0.01. Let g = b + 1. Sort 2/9, -0.3, g in increasing order.
-0.3, 2/9, g
Suppose -5*i + 5 = -0. Let y be (-24)/60 + 2/(-10). Put y, 3, i in decreasing order.
3, i, y
Let w = -5 + 6. Let u be (-2)/(w - (-3)/(-6)). Let a(h) = h**2 + 6*h + 4. Let l be a(u). Sort -1, l, 5 in descending order.
5, -1, l
Suppose 5*y + 6*m - m - 35 = 0, 4*y + 2*m - 24 = 0. Suppose -2 = y*f + i - 0, i = -2. Let o be -2 + (0 + f)/(-2). Put o, 1, -5 in ascending order.
-5, o, 1
Let h = 4.75 + -5. Let n = h + -0.05. Let w = 0.2 + n. Put w, 1/5, -0.3 in descending order.
1/5, w, -0.3
Suppose 3*c + 10 = z - 2*c, -4*c = -3*z + 19. Sort 9, z, -1 in descending order.
9, z, -1
Let o = 136 + -131. Suppose 18 = 2*k + 2*n, 5*k - 12 = -2*n + 18. Sort 1/6, k, o in ascending order.
1/6, k, o
Let n(m) = -m**2 - 1. Let s be n(0). Let u = 3 - 3. Sort 5, u, s in increasing order.
s, u, 5
Let o = 2/349 - 712/2443. Suppose -8*s + 3*s = -25. Suppose 2*h = s*p + 14, -h + 6 = -p - p. Put o, p, -2/11 in increasing order.
p, o, -2/11
Suppose -4*d - 12 - 4 = 0. Let j = 16 - 18. Let y = 4 - 7. Put y, d, j in increasing order.
d, y, j
Let z = 179 - 161. Sort z, 5, 4 in descending order.
z, 5, 4
Let x = -1 + 1.25. Let c = -0.05 + x. Sort 1, -5, c.
-5, c, 1
Let o(c) = -7 + 2*c**3 + 6*c**3 - 3*c + 0*c**2 - 4*c**2 - 7*c**3. Let z be o(5). Put z, -5, -1 in increasing order.
-5, -1, z
Let a = 1 + 0. Put a, 8, -1 in increasing order.
-1, a, 8
Suppose 0 = -r - 1 + 3. Sort -9, r, 4 in ascending order.
-9, r, 4
Suppose 0 - 9 = -3*k. Suppose -k*j + 5 = 2*j. Let g = j - 3. Put 4, g, 0 in descending order.
4, 0, g
Suppose -2*h + h = -2*f, 0 = 3*h + 3*f. Suppose 2*v - 7*v - 45 = 0. Let d be (-3)/((-1)/(6/v)). Put -5, d, h in decreasing order.
h, d, -5
Let l = -132 - -140.9. Let m = -9 + l. Put 0.2, m, 1 in increasing order.
m, 0.2, 1
Suppose 0 = -2*g - 0*y + y + 7, 5*g - 5*y = 30. Put -1, 13, g in descending order.
13, g, -1
Suppose 3*r - 20 = -5*y - r, -3*r + 15 = -y. Sort -3, y, 2 in descending order.
2, y, -3
Let y(f) = -f**2 + 6*f + 4. Let u be y(6). Put -4, 1, u in decreasing order.
u, 1, -4
Let d be (-58)/18 - (-6)/27. Let a be (-4)/(-12) - (-1)/(-3). Sort a, -1, d in ascending order.
d, -1, a
Let c = -28 - -24. Sort c, -0.2, 0.
c, -0.2, 0
Let q = -8 + 7. Sort -4, -0.4, q.
-4, q, -0.4
Let p = -103 - -98. Put -1, 2, 3, p in decreasing order.
3, 2, -1, p
Let h be (-4)/(-1) + (0 - 0). Let k be (-222)/78 - h/26. Let b be (-6)/(-8) - 2/(-8). Sort k, 3, b in decreasing order.
3, b, k
Let q = 15 - 9. Suppose i - q = -2*i. Let v be 9/(-2) - i/(-4). Sort v, -0.4, 4 in increasing order.
v, -0.4, 4
Suppose 18 = b - 4*l, 2*l + 6 = b + b. Sort -3, b, -5 in ascending order.
-5, -3, b
Suppose 3*n - 2 - 1 = 0, 5*n = -i + 5. Suppose i = -4*f + 25 - 1. Sort f, 3, -3 in decreasing order.
f, 3, -3
Let j be 16/24*(-9)/30. Sort 3, 0.1, j.
j, 0.1, 3
Let f be 2/(-5) + (-72)/(-130). Let r = 0.5 - 1. Sort f, r, -4 in increasing order.
-4, r, f
Let c = 5 + -6. Let d be 4/(-6) + (352/24)/4. Sort d, c, 2 in ascending order.
c, 2, d
Let q = 14.5 - 14. Put -1/3, q, 2, 4 in increasing order.
-1/3, q, 2, 4
Let q = -2 - -3. Let b = 12 - 4. Let s be (-34)/(-10) - b/20. Sort q, s, -1/7 in ascending order.
-1/7, q, s
Let h = -8 + 4. Let w = 11 - 16. Put 2, w, h in descending order.
2, h, w
Let j be 54/(-4)*(-4)/3. Put 2, j, 4 in descending order.
j, 4, 2
Let t = 67 + -66. Sort -4, t, -1, -13 in decreasing order.
t, -1, -4, -13
Suppose 0 = 2*f + n - 7, -4*n + 3*n = 3*f - 8. Let o = 9 - 13. Let p = -4.4 - o. Sort f, p, 0.5 in increasing order.
p, 0.5, f
Let h = -22 - -24. Sort h, 2/15, 1.7 in ascending order.
2/15, 1.7, h
Let t = 29 - 37. Sort 0, t, -0.2.
t, -0.2, 0
Let k be 2 + 2 - 124/(-90)*-3. Let z be ((-1)/(-4))/(6/(-16)). Sort z, k, 0.3 in decreasing order.
0.3, k, z
Let r = -6 - -6. Suppose 3*g + 23 = -5*d - 0*d, -2*g - d - 6 = 0. Put g, r, -5 in descending order.
r, g, -5
Let o = 0 - -0.7. Sort -2, -1/8, o in descending order.
o, -1/8, -2
Suppose 2*v - 5 = 5*w, -7*v + 4*v - w = -16. Suppose -4*f = 4*c - 4 + 20, 5*f = v*c - 10. Put 2, f, -4 in increasing order.
-4, f, 2
Let r = -114 + 114. Sort r, 0.3, -0.16 in increasing order.
-0.16, r, 0.3
Let w = 0.01 + -1.01. Let m = -0.5 - w. Put m, 2, -2/13 in increasing order.
-2/13, m, 2
Suppose c - 36 = 5*c. Let k = c - -6. Sort k, 2, 3 in increasing order.
k, 2, 3
Let z(y) = y**2. Suppose 8*h = 3*h + 10. Let f be z(h). Let w = -6 + f. Put w, -3, -4 in increasing order.
-4, -3, w
Let f = 41/39 - 18/13. Let z = -13/9 - -11/9. Put -1/12, f, z in decreasing order.
-1/12, z, f
Let o = 20 + -23. Let c = 0.07 - -4.93. Sort c, o, -1/2.
o, -1/2, c
Let y = 3 + -3.5. Let k(x) = -2*x**3 - 18*x**2 + 4. Let p be k(-9). Let i = 160 + -2078/13. Put p, i, y in decreasing order.
p, i, y
Let f = -26 - -127/5. Let o = 22/15 + -212/165. Sort f, -2, o in decreasing order.
o, f, -2
Let o be (7 - -1)/4 - 5. Put o, -0.01, -3/2 in decreasing order.
-0.01, -3/2, o
Let t = -27 + 12. Let m = 13 + t. Let u be (-1)/((-2)/(-6)*-1). Sort m, -4, u in decreasing order.
u, m, -4
Let g = -24 + 25. Let s = -1 + g. Let w = 2 + -2/3. Put -1/9, w, s in descending order.
w, s, -1/9
Let z be 8/(-9)*(-2)/8. Let w = 35.3 + -35. Sort z, -3, w in increasing order.
-3, z, w
Let n(u) = 3*u + 1. Let g be n(3). Suppose 7*x + g = 2*x. Put 1, 4, x in decreasing order.
4, 1, x
Suppose -3