18 = 0, 4*c + 0*b + 4*b = 0. Let q be (3 + 13/(-5))*-5. Sort 1, c, q in decreasing order.
1, q, c
Let h = 0.432 + 0.068. Put -2/3, h, 5, -0.7 in decreasing order.
5, h, -2/3, -0.7
Let t(s) = s**2 + 3*s - 2. Let l be t(0). Put l, 1, 2 in descending order.
2, 1, l
Suppose 2*u = 3*u + 2. Let s = -1.44 - 0.06. Let n = s + -1.5. Sort u, n, 3 in descending order.
3, u, n
Let f = 3.41 - 3.31. Let v = -2 - -1. Put f, v, 3 in decreasing order.
3, f, v
Let m = 3 + -7. Let k(a) = 2*a + 55. Let f be k(-28). Put m, 2, f in ascending order.
m, f, 2
Let o = 158.74278 + 0.19722. Let s = 155 - o. Let j = s - 0.06. Put 4/5, j, -5 in descending order.
4/5, j, -5
Let x(i) = -i**3 + 7*i**2 - 10*i + 6. Suppose -28 = -5*c + 2. Let k be x(c). Let t be (-3)/k - (-62)/(-12). Sort 3, -3, t.
t, -3, 3
Let l(k) = k**2 + 7*k + 3. Let n be l(-6). Let t(x) = 5*x + 10. Let r be t(-2). Put 1, n, r in descending order.
1, r, n
Suppose 5*q = -8*c + 3*c, 5*c = 3*q - 32. Put c, -5, 2 in descending order.
2, c, -5
Suppose -1 = -4*t + 3. Let m = 0.4 - -4.6. Let c = -4.6 + m. Put -1, c, t in descending order.
t, c, -1
Let d = 7 - 7. Suppose 0 = b - 3. Suppose b = -m - d. Sort 4, 3, m.
m, 3, 4
Suppose 3*n = 2*j + 5, -2*n = -4*j - 6*n. Let s = -2 - -6. Sort s, j, -3.
-3, j, s
Let t = 34 + -36. Sort 0.1, 0.7, t in descending order.
0.7, 0.1, t
Let w = -102 + 107. Sort w, 3, 1, -30 in increasing order.
-30, 1, 3, w
Let t = 8 - 9. Sort t, 0, 1 in ascending order.
t, 0, 1
Let c = -7 + 19. Sort 4, -1/2, c in decreasing order.
c, 4, -1/2
Let m(y) = -y**2 + 8*y + 11. Let v be m(11). Let b = -68/3 - v. Put 2, b, 2/9 in decreasing order.
2, 2/9, b
Let k = -4 + 3. Let s = k - -1. Put 2/25, 5, s in increasing order.
s, 2/25, 5
Let n be (-28)/(-175)*5/(-2). Sort -5, 5/4, n in ascending order.
-5, n, 5/4
Let z be (-2 - (2 - 2)) + 1. Let b be (1 + 0)*(-2 - -3). Sort z, -2, b in decreasing order.
b, z, -2
Let t be (-4)/(-8)*6*1. Sort -6, t, 4 in descending order.
4, t, -6
Suppose 258 = -3*u + 12. Let v = u + 244/3. Sort -4, v, 4 in decreasing order.
4, v, -4
Suppose -4*z - 5*f + 3*f + 10 = 0, 5*z = 4*f + 19. Put -2, 5, 2, z in decreasing order.
5, z, 2, -2
Let o = -1.09 + 0.09. Let z be 4/6 + (-170)/210. Sort 1, z, o in ascending order.
o, z, 1
Let g = -0.9 + -0.1. Let k = 12 - 11.8. Put k, 0.1, g in decreasing order.
k, 0.1, g
Let j(h) = -h**2 + 5*h + 15. Let c be j(7). Put c, 36, 4 in decreasing order.
36, 4, c
Suppose 0 = -q + 4*q + 2*s - 11, 13 = q - 4*s. Sort -4, q, -5, 3 in descending order.
q, 3, -4, -5
Suppose -5 - 1 = -2*a. Suppose -5*c + 3*c - 2 = -4*i, -a = 3*c. Put -3, i, -7 in ascending order.
-7, -3, i
Suppose -2*z = -4*z - 10. Let y = z - -5. Put -2, 5, y in increasing order.
-2, y, 5
Let r = 0.2 + -0.3. Let o = 19.1 - 19. Put o, -4, r in decreasing order.
o, r, -4
Let o(p) = -p**3 + 4*p**2 - 5*p + 3. Let s be o(3). Let w = 432 + -436. Sort w, s, -1 in descending order.
-1, s, w
Let v = 0.01 - -4.99. Sort -4, -0.1, 4, v in descending order.
v, 4, -0.1, -4
Let r = 25 + -20. Let a(c) = -3*c - 4 + 4 - 1. Let z be a(1). Put -5, z, r in ascending order.
-5, z, r
Let y be (3/2)/((-33)/308). Let u be 1/(-3) - y/(-21). Put -5, 5, u in ascending order.
-5, u, 5
Let c = -43 + 42.9. Sort -4, 4/5, c in descending order.
4/5, c, -4
Let x be (-4)/(-10) - (-7)/(-5). Let o be (-6 + 5)*(5 + -1). Sort -5, x, o in ascending order.
-5, o, x
Let r be (-3)/(-15) - 2 - -1. Let x be (14/(-105))/((-2)/(-20)). Sort -0.4, x, r in increasing order.
x, r, -0.4
Let c be 6/8 + 3/(-12). Sort -4, -0.3, c.
-4, -0.3, c
Let w = 2 + -3. Suppose 0*c = -3*c + 15. Sort c, -2, w in increasing order.
-2, w, c
Let p = 18 + -17.8. Put 5, p, -6 in descending order.
5, p, -6
Let v be (1 - -2)*(1 - 0). Let z = 26.5 + -26. Sort v, z, 5 in descending order.
5, v, z
Let h = 2 - 3. Let f be 2*(16/40 + (-11)/40). Sort h, -0.2, f in decreasing order.
f, -0.2, h
Suppose -5 - 19 = -4*f. Let n = -4 + f. Sort 0, n, 1 in descending order.
n, 1, 0
Let t = -0.4 + 0.5. Let w(v) = -v**2 + 4*v + 3. Let s be w(4). Suppose 5*r = -12 - s. Sort t, r, 1 in decreasing order.
1, t, r
Let c(w) = w**2 - 21. Let y be c(-5). Sort y, -5, 0, 1.
-5, 0, 1, y
Let l = -5 + 5. Let j = 0 - l. Sort j, 3, 5.
j, 3, 5
Suppose -5*g - 2*t - 24 = 0, -2*g + 3 = t + 4*t. Let j = -3 - g. Sort j, -5, 0 in ascending order.
-5, 0, j
Let q be 2/(1 + 5/(-4)). Put 5, q, -2 in ascending order.
q, -2, 5
Let o = 14 - 8. Suppose 0 = -u - 1 + o. Suppose 0 = u*a + 3*r + 12, 0 = -2*r - 5 - 3. Put 2, -2/11, a in descending order.
2, a, -2/11
Suppose -2*j - 35 = -5*s - 7*j, j - 5 = 0. Suppose 22 = 4*a - s*p, -2*p + 6 = -a + 13. Sort 4, 0, a in decreasing order.
a, 4, 0
Suppose 0 = k - 7*k + 6. Sort 4, k, -8.
-8, k, 4
Let x = 28 + -15. Suppose -17*a - 8 = -x*a. Put a, 2, -5 in increasing order.
-5, a, 2
Let a = 18 - 17.68. Let l = -0.18 - a. Sort -1, l, 0.1.
-1, l, 0.1
Let u = 0.09 + -0.19. Put u, -4, -4/3 in decreasing order.
u, -4/3, -4
Let y = 2 + -2.06. Let r = -0.26 - y. Put 0.5, r, 2/9 in descending order.
0.5, 2/9, r
Suppose 0*c + 30 = -6*c. Let r(h) = h - 2. Let m be r(8). Let l be -2 + (2 - m - -2). Put c, -2, l in increasing order.
c, l, -2
Suppose -24*h = -21*h - p + 2, -5*p + 29 = 4*h. Sort 6, h, -2 in decreasing order.
6, h, -2
Let l = 0.5 + -0.5. Let p = 2.8 + 0.2. Sort 0.4, p, l in increasing order.
l, 0.4, p
Let n(a) = -2*a + 16. Let l be n(10). Sort l, -15, 4 in decreasing order.
4, l, -15
Let g be 1/(-6)*(2 + 25/10). Sort g, -2, -0.9 in descending order.
g, -0.9, -2
Suppose h = -2*h + 3. Put 4, h, 5, -2 in decreasing order.
5, 4, h, -2
Let t(m) = -m**2 - 6*m + 5. Let y be t(-7). Let b be y/4 - 9/6. Sort b, -5, 1 in increasing order.
-5, b, 1
Let w be (12/7)/(12/42). Put -2, 3, w in increasing order.
-2, 3, w
Let s = 46081 - 231474/5. Let l = -213 - s. Sort -5, -1/4, l in decreasing order.
l, -1/4, -5
Suppose 2*y + 3*s - 1 = 0, 2*y = -4*s - s - 5. Suppose 9*n + 12 = 3. Sort -5, n, y in ascending order.
-5, n, y
Suppose 0 = -2*t - 2 + 4. Put 0, -1, 3/7, t in decreasing order.
t, 3/7, 0, -1
Let o = -3/44 - -71/396. Sort -1, -2/5, -0.5, o in descending order.
o, -2/5, -0.5, -1
Let d = 4 - 4. Sort -2, d, -7 in descending order.
d, -2, -7
Let j = 3.03 - 0.03. Suppose t + 10 = 3*t. Sort j, t, 0.4 in decreasing order.
t, j, 0.4
Let h be -5*(4 + (-174)/45). Let y be (-14)/(-6) + (-2)/1. Sort y, 0, h in increasing order.
h, 0, y
Let l(u) = -6*u**2 + 4*u + 3. Let j be l(4). Let c = j - -382/5. Let o = 0.1 + -1.1. Sort 2/7, o, c in ascending order.
o, c, 2/7
Suppose 4*l = -c - 14, 0 = -2*c - 2*l - 7 - 9. Let b be (15/6)/((-3)/c). Sort -3, b, 6 in ascending order.
-3, b, 6
Let l be 2/2 - 45/25. Sort -1, -3, l in descending order.
l, -1, -3
Let q be 1526/2331*1/2. Let r = q - 8/37. Sort r, 3, -2/7 in descending order.
3, r, -2/7
Suppose -22 = t - 4*t + 4*p, -2*t + 5*p + 24 = 0. Sort t, -3, -1 in decreasing order.
t, -1, -3
Suppose -5*h - 3*y + 3 = -4, 5*h - 5 = -5*y. Suppose -3*a + 4 = -h*a. Let q(x) = -x + 1. Let r be q(-4). Sort r, 0, a in decreasing order.
r, a, 0
Let v = 8 - 8. Suppose -2*r + v + 4 = 0. Put r, -2, 0.3 in decreasing order.
r, 0.3, -2
Suppose -3*s - t + 1 = 15, 0 = 2*s - 5*t - 2. Put s, 1, -5 in descending order.
1, s, -5
Suppose -o = 4*i - 0*o - 4, o = -2*i. Sort 0, i, -18 in decreasing order.
i, 0, -18
Let x = -70 - -68. Put -14, 3, x in descending order.
3, x, -14
Let j be ((-20)/2)/(-12 - -10). Let g be j - 2/(-8)*-4. Sort g, -2, 3 in descending order.
g, 3, -2
Suppose 0 = -3*u + 5 - 20. Suppose -5*b + 26 = 2*x, x + 4*b + b = 23. Sort 2, x, u in decreasing order.
x, 2, u
Suppose 9*g = 11*g. Put 5, -3, g in decreasing order.
5, g, -3
Let j = -0.07 - -0.37. Sort -8/7, -1/7, 2/13, j in decreasing order.
j, 2/13, -1/7, -8/7
Suppose 5*b - 70 = 10*b. Sort -5, b, -1, -3 in decreasing order.
-1, -3, -5, b
Suppose i + 3*t = 17, -5*i + 4*t + 9 + 0 = 0. Put 3, i, -1 in ascending order.
-1, 3, i
Let z = 45.6 + -46. Put -0.1, z, 11 in descending order.
11, -0.1, z
Let i be (-5)/15 + 40/15. Put -3, i, -5/3 in ascending order.
-3, -5/3, i
Suppose f + 3*f - 4*r = 28, -5*f = 5*r + 5. Sort f, -4, 9 in increasing order.
-4, f, 9
Let m be -4 + -3*8/(-12). Suppose 4*q - 5*p - 5 = 0, -3*q = -p - p - 2. Sort -9, q, m in decreasing order.
q, m, -9
Let j = 136 + -86. Let o be ((-20)/j)