 Sort r, g, -2/3 in decreasing order.
r, -2/3, g
Suppose v + 5 = 10. Suppose -5 = -v*w, 2*w - 6 = -j - 0*w. Sort -2, 0.05, j.
-2, 0.05, j
Let w = -0.22 + 0.02. Sort 0, w, -1/4 in decreasing order.
0, w, -1/4
Suppose -4*d = 4*i - 32, -d - 4*i + 35 = 4*d. Suppose -1 = 4*m + d. Let o be m + (-1)/(-2)*0. Sort 3/7, o, 4 in descending order.
4, 3/7, o
Let z = -65.1 + 60. Let w = z - -0.1. Sort -0.2, w, -0.3.
w, -0.3, -0.2
Let j = -5 + 0. Let g be (-14)/21 - 17/(-21). Let y(s) = -s**2 + 5*s - 1. Let m be y(5). Sort g, j, m in decreasing order.
g, m, j
Let m(h) = -h**2 + 6*h + 3. Let x be m(6). Let a be 217/4 + (-1)/4. Let f be 9/a + (-2)/4. Sort f, 0.2, x in ascending order.
f, 0.2, x
Let k = 31 + -26. Sort k, -2, 0 in ascending order.
-2, 0, k
Let l = 4 - 1. Let k be ((-4)/6)/(28/12). Put k, -0.2, l in increasing order.
k, -0.2, l
Suppose 2*x + 6 = 16. Let n be (1 - -7) + 24/(-8). Let h be 16/n + 2/(-10). Sort 1, x, h in descending order.
x, h, 1
Let n = 10 + -14. Put -2, 4, n in decreasing order.
4, -2, n
Let y be (-1)/3*117/52. Sort -0.5, y, -3 in decreasing order.
-0.5, y, -3
Let w = 199/132 + -1/132. Put w, -4, 1, 2/9 in decreasing order.
w, 1, 2/9, -4
Let y(f) = -26*f + 158. Let n be y(6). Let l(s) = -s + 2. Let c be l(5). Put c, -1, n in decreasing order.
n, -1, c
Suppose 0 = -2*l - 3*l + 10. Let u = -0.136 + -0.064. Sort u, 1/2, l in ascending order.
u, 1/2, l
Let v = 16.2 - 15. Let g = v - 0.2. Let z = 0.9 - 0.6. Sort z, -2, g.
-2, z, g
Let y = 0.13 - -4.87. Let u = 3 + 5. Let j(s) = s**3 - 8*s**2 - 3. Let z be j(u). Sort 3, y, z in decreasing order.
y, 3, z
Suppose -60 = -6*u + 3*u. Let t be ((-6)/u)/((-9)/(-24)). Put 2/5, 0.5, t in increasing order.
t, 2/5, 0.5
Let u be -1 - (1 - (1 - 0)). Let z be (-1)/((-3 - u)/12). Suppose -2 = 4*t + z. Sort -5, t, -4 in decreasing order.
t, -4, -5
Let h = -1.95 + 2. Let r = -0.04 + h. Let p = 0.09 + r. Put -4, p, 0 in ascending order.
-4, 0, p
Suppose -9*j + 21 = -12*j. Put j, -0.2, -3/4 in decreasing order.
-0.2, -3/4, j
Let g = 1575/11 + -143. Put g, 14, -1/7 in increasing order.
-1/7, g, 14
Let q = 0.017 + -6.217. Let y = 6 + q. Put -4, y, 0 in decreasing order.
0, y, -4
Let s = -0.2 - -0.3. Let d = 0.04 + 1.96. Let z = -3.6 - -3.1. Sort s, d, z in increasing order.
z, s, d
Let z = 21 - 22. Suppose 3*f - 3 - 3 = 0. Put z, -5, f in decreasing order.
f, z, -5
Let j = -241/5 + 48. Let k = -1663/9 - -185. Put 1, j, k in increasing order.
j, k, 1
Suppose -4*q + 4 + 0 = 0, 0 = -2*s + 5*q - 13. Let j = -5 - -5.3. Let i = 1 - -4. Sort j, s, i.
s, j, i
Let z(q) = q - 5. Let y be z(9). Let m = -2 + y. Suppose 5*x + 10 = 2*s, x - 20 - 5 = -5*s. Put s, -4, m in increasing order.
-4, m, s
Let q = 421/9 + -47. Suppose -4*l - 35 = -5*c, -l + 0*c - 20 = -5*c. Put q, 5, l in increasing order.
l, q, 5
Suppose -3*h - 1 = -4. Sort -4, h, -3 in decreasing order.
h, -3, -4
Suppose -f - 15 = 4*z, -4*z = 3*f - f + 18. Let y = -1 + f. Sort y, 0, 2 in decreasing order.
2, 0, y
Let g be 13/(-5) + (-6)/15. Let u(p) = 5*p**2 - 1. Let n be u(-1). Put n, 1, g in decreasing order.
n, 1, g
Suppose 0 = -0*q + q - 3. Suppose 0 = -2*i - q*i - 25. Let r be (-1*1/5)/(2/(-10)). Sort i, r, -1 in increasing order.
i, -1, r
Let z be 1/(-6)*3*4. Sort 8, z, 5 in increasing order.
z, 5, 8
Let d be -2 - (1/2)/(1/(-6)). Let i = -6 - -11. Suppose 4*x + 0*x - 16 = 0, 4*t = i*x - 32. Put d, t, 3 in descending order.
3, d, t
Let u(t) = -t**2 + 7*t - 1. Let r be u(6). Suppose -r*o + 4*q + 0 = 5, 2*q - 7 = o. Put o, 0, 5 in decreasing order.
5, o, 0
Let k = 2/159 + 104/159. Let f = -1 + -0.1. Let c = -1 - f. Put k, c, 3/2 in increasing order.
c, k, 3/2
Let a = -1 - -3. Let v = -59.4 - -54. Let g = -5 - v. Sort a, g, 5 in decreasing order.
5, a, g
Let c = 3 + -6. Sort 2, -4, c in increasing order.
-4, c, 2
Let l = -8 - -12. Let m(d) = 3 + 0 - 5*d**3 - 6*d + l*d**3 + 5*d**2. Let y be m(4). Sort 2/5, y, -0.1 in ascending order.
y, -0.1, 2/5
Let o be (24/(-126))/((-2)/(-3)). Put 0, o, 2/5 in decreasing order.
2/5, 0, o
Suppose 5*a + 24 = 4. Let c be (-14)/a + (-1)/(-2). Suppose 4*s - f - 1 = 0, -f + 4 = -2*s - 5*f. Sort s, 5, c.
s, c, 5
Let x(b) = -b**3 - b**2 + 2*b + 2. Let u be x(-2). Let o be (-1)/3 + 23/(-3). Let d(i) = i**3 + 8*i**2 - 3. Let s be d(o). Sort u, -2, s in increasing order.
s, -2, u
Let s = 1 - -7. Suppose 7 = 5*l - s. Suppose 6*q = 2*q - 16. Sort 5, q, l.
q, l, 5
Suppose -2*c = c - 12, r = 4*c - 15. Suppose 2*o = l, -o + 4*l + r = 15. Sort 5, o, -3 in ascending order.
-3, o, 5
Suppose 23 - 3 = 4*x. Suppose -x*k - 7 + 2 = 0. Let w = -15 + 18. Put -2, w, k in increasing order.
-2, k, w
Let j = 4.6 - -0.4. Suppose -2*g = 3*h + 17, 4*g + 9 = 2*g + 5*h. Let p = -5 - g. Sort j, -2/7, p in descending order.
j, p, -2/7
Let k = -7 - -6. Let u = -6 - k. Let z = -4.8 - u. Sort z, 0.1, 5 in descending order.
5, z, 0.1
Let n(v) = -v - 7. Let q be n(-7). Sort 5, -3, q in decreasing order.
5, q, -3
Let o = 0 + 4. Suppose o*z - 5*x - 19 = 21, -3*x = 12. Sort 4, -1, z.
-1, 4, z
Let p = -37 + 35. Let o(k) = -k**3 + 4*k**2 - 4*k + 3. Let n be o(3). Let j = 1 - n. Put p, j, 5 in decreasing order.
5, j, p
Let f(k) = k - 16. Let t be f(11). Put t, -3, 4 in ascending order.
t, -3, 4
Suppose 3*y = -3*b, -5*y + 6*b - 3*b + 24 = 0. Suppose 8 = y*l + l. Suppose 4*j + 28 - 8 = 0. Sort 3, j, l in descending order.
3, l, j
Suppose -5*r = -2*x + x + 21, -x - 19 = 3*r. Put 2, x, 1 in ascending order.
x, 1, 2
Let t = 3.16 + 0.04. Let c = t - 3. Sort 0.4, -1, c in ascending order.
-1, c, 0.4
Let u = -22 + 39. Let d = u + -12. Suppose x + 4 = d*x. Put -5, x, -2 in decreasing order.
x, -2, -5
Let d = 101 - 911/9. Let q = -9 + 4. Let u = 4.7 + q. Sort 3/5, u, d in increasing order.
u, d, 3/5
Let j = 0.15 + -0.95. Let u = -5.8 - j. Sort -0.4, u, -1/7 in descending order.
-1/7, -0.4, u
Suppose 2*p - 14 + 0 = 4*r, p + 28 = -5*r. Put -0.5, 2, 0, p in ascending order.
p, -0.5, 0, 2
Let y(l) = 6*l + 5. Let b be y(5). Let d be 21/b + 17/5. Let r = 8 - 5. Sort r, 2, d in decreasing order.
d, r, 2
Suppose 2*c + 5*b = 15, -3*c - 30 = -b - 2*b. Let i(r) be the first derivative of -r**3/3 - 4*r**2 - 6*r + 1. Let p be i(-7). Sort p, c, -4 in descending order.
p, -4, c
Let r = -7 - -6.3. Suppose 14*d - 4*d + 10 = 0. Put 1/7, r, d in descending order.
1/7, r, d
Let b = 2.2 + -2. Sort b, -0.4, -5 in descending order.
b, -0.4, -5
Let h = 22 - 13.6. Let a = h - 8. Put a, 0.8, 0.3 in descending order.
0.8, a, 0.3
Suppose o = 16 + 10. Let x = 27 - o. Sort -2, x, 2 in increasing order.
-2, x, 2
Let c = 0.3 - 0. Let h = -26 + 38.6. Let i = -13 + h. Put i, -1, c in descending order.
c, i, -1
Let p = 25/3 - 73/9. Sort 0, -1, p in decreasing order.
p, 0, -1
Let f be 5 - (-4 - (-4)/2). Suppose f - 3 = -2*d. Sort d, 1/2, -4 in increasing order.
-4, d, 1/2
Suppose 0 = 5*w - 3 + 43. Let g = w - -9. Sort g, 2, -5 in increasing order.
-5, g, 2
Suppose -4*q + 9 = -3, -3*q + 14 = -5*j. Suppose 3*t = -2*c + 5, 5*t = c + c + 35. Put 5, c, j in decreasing order.
5, j, c
Let g = -13 + 10. Put 3, g, 0 in ascending order.
g, 0, 3
Suppose 0 = -3*z - z - 16. Let c(l) = -l**3 - 4*l**2 + l + 2. Let x be c(z). Sort -4, x, 0 in descending order.
0, x, -4
Let f(o) = -2*o - 13. Let m be f(-7). Put m, -2, -4 in decreasing order.
m, -2, -4
Let w(d) = d**2 - d - 1. Let p be w(4). Let v = p - 34/3. Put -5/2, v, -4 in increasing order.
-4, -5/2, v
Let s = -22 + 27. Sort s, 3, -1 in descending order.
s, 3, -1
Let b(s) = -s**2 - 4*s - 3. Suppose 2*u + 3 = -3*d + 5*u, -5*d + 4*u = 8. Let v be b(d). Put v, 2, -2 in descending order.
2, -2, v
Suppose 0 = 3*b + 5*u - 9, -5*b = 2*u - 1 + 5. Let t be (-24)/105 - 9/(-21). Put b, t, -3 in ascending order.
-3, b, t
Let p = 8 + -4. Suppose -5 = q, -3*l - l - 16 = p*q. Sort l, 3, 0 in decreasing order.
3, l, 0
Let b = 0.4 + -2.4. Suppose -5*c - 4*z = -14, -22 = -3*c - 5*z - 11. Sort -0.2, c, b in ascending order.
b, -0.2, c
Suppose 3*j = 3*q - 21, 0 = j - 0*j + 5. Let m = q - 1. Suppose -r - 6 + m = 0. Sort 5, r, -3 in descending order.
5, -3, r
Let p(x) = x**2 - 3. Let d be p(-5). Let k be 2/(-5) - d/(-5). Let i = -70 - -67. Sort k, 0, i in increasing order.
i, 0, k
Let b = 19 - 16. Let s(j) = -j**3 - j**2 + 2*j. Let n be s(-2). Let p = -12 + 8. Put b, n, p in descending order.
b,