2/19 in decreasing order.
l, 3, 2/19
Let h = -0.343 - -3.283. Let v = -0.66 + 0.6. Let o = v - h. Sort -0.1, o, 3 in ascending order.
o, -0.1, 3
Let s be (-4)/18 + 16/(-9). Let x = -12 + 0. Sort s, -3, x.
x, -3, s
Let u = 0.37 - 0.57. Put -2, u, -10 in ascending order.
-10, -2, u
Let w(a) = -a - 12. Let s be w(-7). Let k = -1.99 + 2. Let h = k + 1.99. Sort 5, h, s in decreasing order.
5, h, s
Let y(h) = h + 13. Let l be y(-11). Suppose -l*o - 3*o + 3*s = -15, 2*s = -5*o + 15. Sort 5, 0, o in descending order.
5, o, 0
Let i be (-1*(-4)/10)/(-3). Let x = 0 + -0.2. Let f = -1.8 + x. Put i, 3, f in decreasing order.
3, i, f
Let x be 2/12 + 10/(-60). Put -110, x, -4 in descending order.
x, -4, -110
Let v(i) = i**2 - 4*i - 2. Let c be v(5). Let w be ((-1)/c)/((-5)/(-45)). Sort 3, 4, w.
w, 3, 4
Suppose 6 = n - 0. Suppose -t - n = 2*t. Let j be (-27)/(-78) + 1/t. Sort -0.4, j, 2/3 in decreasing order.
2/3, j, -0.4
Let b(l) = l - 4. Let k be b(-4). Let g be (-11)/(-6) + k/(-48). Put -4, 0, g in decreasing order.
g, 0, -4
Let o(d) = d**3 + 10*d**2 + 10*d + 13. Let k be o(-9). Suppose 0 = t - k*t. Sort t, 3, -0.3.
-0.3, t, 3
Let o(r) = -r**2 + 5*r - 4. Let u be o(4). Let f be ((-4)/(-2) - -1) + u. Sort 4, f, -2 in decreasing order.
4, f, -2
Let m = 0.3 - 0.2. Let z = 0.14 + 0.86. Let t(q) = -q**3 + 7*q**2 - 5*q - 7. Let f be t(6). Sort z, m, f in decreasing order.
z, m, f
Let c be (1 + -2)*(-2)/6. Let o be ((-26)/(-14))/((-36)/42). Let r = 5/3 + o. Sort 4, r, c in ascending order.
r, c, 4
Let o = 42 - 37. Sort o, -5, -6 in decreasing order.
o, -5, -6
Let o = 13 + -16. Let c = -11 + 5. Let g be 3/c + 9/10. Sort -0.4, g, o in increasing order.
o, -0.4, g
Let l = 0.15 - 0.05. Suppose -4*k - 340 = k. Let j = 407/6 + k. Sort -4, l, j.
-4, j, l
Let j = -0.3 + 0.5. Let p be ((-594)/(-4))/(4354/4). Let s = p - -2/311. Put -4, s, j in increasing order.
-4, s, j
Let o = 2.2 + -2. Let k(a) = -a**3 + 2*a**2 + a - 4. Let f be k(-2). Let d = 41/4 - f. Sort -5, o, d in decreasing order.
d, o, -5
Let t = -4 - -2. Let l(w) = 3*w - 2. Let u be l(2). Suppose u - 16 = 3*r. Put t, 1, r in descending order.
1, t, r
Let z = 35 - 35.5. Put 0.5, z, 1/3, 0.4 in descending order.
0.5, 0.4, 1/3, z
Suppose g - 4*m + 0*m - 10 = 0, -40 = -4*g + 4*m. Suppose -2*u = -5*u + p + g, 0 = 4*u - 5*p - 17. Sort u, 3/8, 2 in decreasing order.
u, 2, 3/8
Let m = 0.149 + 0.251. Sort 2, m, -0.5, 1/4 in increasing order.
-0.5, 1/4, m, 2
Suppose 3*z + 2*x = -5, 5*z - 3*x + 2 + 0 = 0. Let t = 3 - z. Put 5, t, -3 in ascending order.
-3, t, 5
Suppose 6 = 3*d - 3*i, 2*d + d = 2*i + 4. Sort -0.5, d, 2 in descending order.
2, d, -0.5
Let k(t) = 3*t**2 + 2*t + 1. Let b be k(-1). Sort 1, b, -2 in decreasing order.
b, 1, -2
Suppose 3*m + m + 12 = 0. Let r be (-2 - -3)/((-2)/2). Put 3, r, m in increasing order.
m, r, 3
Let h = -7 - -7. Suppose -k - k = h. Suppose -3*m + f - 8 = k, -4*m + 0*f = 2*f + 14. Sort 5, -4, m.
-4, m, 5
Let q = 2 - 1.9. Put 1/2, q, -1/4 in increasing order.
-1/4, q, 1/2
Let i be 6/4 + (-3)/(-6). Suppose -3*r - 21 = 5*n, n + 1 = r - 0. Sort r, i, -1 in descending order.
i, -1, r
Suppose s - 5 - 8 = -4*i, 4*i = 5*s + 31. Sort -5, i, -2 in decreasing order.
i, -2, -5
Let b = 1 + -0.5. Let f = b + 2.5. Put f, -0.1, 2/15 in decreasing order.
f, 2/15, -0.1
Let p = 21 + -21. Let l be (2*(-2)/(-8))/2. Sort l, -5, p in descending order.
l, p, -5
Let f be (2 - 4)/2 + 7. Let q be ((-8)/12)/((-2)/f). Sort q, -1, 3 in ascending order.
-1, q, 3
Suppose 4*c + 7 = -n, n + c = 3*n - 4. Sort n, 2, -2 in increasing order.
-2, n, 2
Suppose -1 = 2*n - n. Sort 0, -2, n.
-2, n, 0
Let t be (1/5)/((-18)/(-270)). Let f be (-16)/6 + 4/6. Suppose 0 = q - 0 - 1. Put t, q, f in decreasing order.
t, q, f
Let g = 0.7 - 0.72. Let l = g - -0.12. Sort 1, -1, l in ascending order.
-1, l, 1
Let z = 6 + -10. Let r = -0.6 + 0.2. Let u = r - -0.2. Sort z, 2, u in decreasing order.
2, u, z
Let p = -77/340 + -2/85. Let k = 0.06 + 2.34. Let l = k - 2. Put -0.5, l, p in ascending order.
-0.5, p, l
Let r = 55 + -50.2. Let m = r + -5. Put m, -4, 1 in increasing order.
-4, m, 1
Let f be 1/3 + 1/(-3). Let o = -80 + 83. Let w(c) = c**3 + 5*c**2 - 1. Let s be w(-5). Put o, f, s in increasing order.
s, f, o
Let k(v) be the first derivative of v**2/2 - 5*v + 2. Let q be k(0). Sort q, 4, -1.
q, -1, 4
Suppose -5 = -3*r - d, 4*d - 9*d = 2*r + 1. Sort 5, 3, r, -1 in increasing order.
-1, r, 3, 5
Suppose 0 = -4*j - 26 + 10. Let f be (-6)/j*(-16)/(-6). Sort -1, f, -5 in descending order.
f, -1, -5
Suppose 20 = 26*s - 31*s. Suppose 3*y = 9 + 3. Sort y, -3, s.
s, -3, y
Let z be 15/(-12)*699/(-15). Let c = -58 + z. Let v = -1.95 + -0.05. Put v, 4, c in descending order.
4, c, v
Let a = 3 + -6. Suppose -4*g + 34 = -2*d + 118, 2*g + 4*d = -32. Let h be 10/4*(-24)/g. Sort 5, h, a in decreasing order.
5, h, a
Suppose -6 = -3*g + g. Suppose 3*c = 2*c. Suppose c = 5*y + g + 2. Sort 5, y, -3.
-3, y, 5
Let h(c) = 39*c - 14. Let y be h(6). Let f = y - 2422/11. Sort 4, f, 0.5 in decreasing order.
4, 0.5, f
Let t be 4/(-16) - 29/(-84). Sort -5, 1/2, -3, t in increasing order.
-5, -3, t, 1/2
Let p = 2 + -1. Let x be -1 + -6 + p + 2. Put x, 4, -5 in descending order.
4, x, -5
Let k(t) = 2*t - 9. Let f be k(6). Let l be (-5)/3 - (-2)/f. Let y be (1 + -1)/(8 + (-4 - 1)). Sort y, -2, l in decreasing order.
y, l, -2
Let h = -23/14 - -1/7. Let o be (2/14)/(1/(-2)). Put o, 2/3, h in ascending order.
h, o, 2/3
Let r be (2/(-3))/((-1)/(-3)). Suppose 5*w = 2 - 22. Put r, 5, w in decreasing order.
5, r, w
Let l = 3.649 + 0.051. Let w = -17.7 + 19. Let g = w + l. Sort 0.3, 0.5, g.
0.3, 0.5, g
Let y be (4/(-10))/(32/60). Let w = -11 - -16. Sort 0, y, w in decreasing order.
w, 0, y
Suppose 4*f - 35 = -7. Let j(g) = g**2 - 6*g - 4. Let l be j(f). Sort l, -2, 1.
-2, 1, l
Suppose -q + 4 = t, -5*q + 11 = 4*t - 10. Put -5, t, -4, 4 in ascending order.
-5, -4, t, 4
Let m = -144 + 143. Sort m, 22, 1 in descending order.
22, 1, m
Suppose -7*l + 9 = -10*l. Let c(z) = z**3 - 6*z**2 + 4*z + 3. Let u be c(5). Put l, 0, u in descending order.
0, u, l
Let s = -0.3 - -0.4. Let r be (-2 - 0)*3/(-27). Sort 4, r, s.
s, r, 4
Let x be 0/3 + 2/(2/3). Sort x, -14, -4 in increasing order.
-14, -4, x
Let w = 0.17 - 4.17. Let q(y) = -y**3 - 5. Let b be q(0). Let a = 6 - 5.9. Sort b, w, a in ascending order.
b, w, a
Let a(g) = g**2 - 7*g + 2. Let j be 4/(-10) + 128/20. Let b be a(j). Let y be -1 + b - (-2)/2. Put y, -3, -1 in increasing order.
y, -3, -1
Let j be (-2 + 7 + -10)/(1/(-1)). Put 0, j, -5, -1 in descending order.
j, 0, -1, -5
Let c = -4 - -3.5. Let x = -0.4 - c. Suppose 0 = k + 5*z - 20, -2*k + 2*z = -4*k + 16. Put k, -1/7, x in increasing order.
-1/7, x, k
Suppose 8*a = -29 - 11. Suppose -5*z - 9 = -2*z. Put -1, z, a in descending order.
-1, z, a
Let t = 0.01 + -1.01. Let w = 6 + t. Sort -0.1, -0.4, w.
-0.4, -0.1, w
Suppose -5*i + 6*i - 3 = 0. Put i, 2/3, -5/6, 0.1 in descending order.
i, 2/3, 0.1, -5/6
Let w = -5.12 - -0.12. Let f = 3.93 - -0.07. Sort 3, w, f.
w, 3, f
Let n = 1.2 - -0.8. Let a = -1.6 + n. Sort 2, a, -3/4 in increasing order.
-3/4, a, 2
Let m be 2/4 - (-11)/(-2). Let c = m + 3. Let a = 13 + -8. Sort c, a, 1 in decreasing order.
a, 1, c
Let n = 116 + -111. Sort 4, -1/6, n, -0.5 in ascending order.
-0.5, -1/6, 4, n
Let b = 2 - 1. Let l = 106 - 100. Put 3, l, b in ascending order.
b, 3, l
Let h = 13 + -9. Let o = 1.6 - 1. Let m = o + -1.1. Sort h, m, 0.5.
m, 0.5, h
Suppose 0*q + 2*q + 8 = 0. Put 5, q, -1 in ascending order.
q, -1, 5
Let a = 3.909 + 0.091. Put -0.02, -4/3, a, -3 in increasing order.
-3, -4/3, -0.02, a
Let i = -6.7 + 7. Sort i, 0.5, -3/4 in decreasing order.
0.5, i, -3/4
Let m = 3 - 2. Let n(b) = -b**3 + b**2 + b. Let y be n(m). Let h(q) = -q**3 - 4*q**2 + 6*q + 1. Let j be h(-5). Put j, y, 4 in decreasing order.
4, y, j
Let g = -10 - -5. Suppose 4*x = -5*n - 12 - 4, 4*x = n - 16. Sort 0, g, x in ascending order.
g, x, 0
Suppose -f = -3*s + 4*f - 14, 5*f - 24 = -2*s. Let d be 6/10*(-1 + -4). Let y = 7 + d. Sort -3, s, y in ascending order.
-3, s, y
Let c = -2 - 0. Let i be -1*(4/c)/2. Suppose -6 = -6*m - 6. Sort m, i, 2 in descending order.
2, i, m
Let y = 12 + -8. Sort y, -5/4, 5.
-5/4, y, 5
Suppose -2*u + 0*u - 4 = t, 0 = -3*u - 3*t - 3. Let a(o) = -