rt -5, t, c in decreasing order.
c, t, -5
Let f be (0 + 2)*(-8)/((-80)/(-5)). Sort 3, 6, f in increasing order.
f, 3, 6
Let f(u) = -2*u**3 + u**2 + 4*u**3 - 6*u**3. Let b be f(1). Let m = 8 + b. Sort m, 0, -4 in increasing order.
-4, 0, m
Let k = 15 + -14.7. Put 7, k, 0.2, -1/2 in ascending order.
-1/2, 0.2, k, 7
Let x = -0.5 + -7.5. Sort -1, x, -1/5 in decreasing order.
-1/5, -1, x
Let w be 0/(-1) + (-3 - -1). Let t = w + 1. Put 0, -3, t in increasing order.
-3, t, 0
Let q be (-2435)/30 + (-2)/3. Let w = -162 + 80. Let r = q - w. Put 0, -0.4, r in increasing order.
-0.4, 0, r
Suppose -q - 3*n + n + 13 = 0, 2*q = -n + 14. Let o = 1.6 + -1.1. Put q, 0.3, o in decreasing order.
q, o, 0.3
Let a = 241 - 245. Suppose -u - 2 = -4. Sort u, a, -2/9.
a, -2/9, u
Suppose -2*c - 2*c = -4*s, -35 = -4*c - 3*s. Sort c, 4, 3 in ascending order.
3, 4, c
Let s = 0.5 - -0.5. Let d be (-2 + 1)*-3 - 0. Let x = -5 + 3. Sort x, d, s in decreasing order.
d, s, x
Let r(q) = 0*q**2 - 4*q**2 + q**3 - 1 + 6*q - 2*q + 0*q. Let o be r(3). Put -3, o, 4 in decreasing order.
4, o, -3
Let h(m) = -2*m + 13. Let o be h(8). Sort o, 1, -2 in ascending order.
o, -2, 1
Let p(x) = 4*x - 19. Let z be p(6). Sort 0, z, -2, 4 in increasing order.
-2, 0, 4, z
Let v = 1.3 - -0.7. Sort -4/7, -1/10, v.
-4/7, -1/10, v
Let u = -11 - -7. Suppose -2 = -2*w + 3*w. Put -1, u, w in decreasing order.
-1, w, u
Suppose -2*n = -0*n + 4. Let d be n/((12/(-15))/2). Suppose -4*g + 27 = d*z, 3*z = 5*g + 5*z - 21. Put g, -3, 5 in descending order.
5, g, -3
Let j = -4.56 + -0.44. Let q = -3.8 - -0.8. Let p = j - q. Sort -0.06, p, -3/2.
p, -3/2, -0.06
Let n be -2 + (-13)/(-5) - (-335)/(-475). Let q be (18/(-44))/((-6)/8). Sort 2, q, n in decreasing order.
2, q, n
Suppose -50 - 28 = 13*r. Sort 3, r, 1, -4 in decreasing order.
3, 1, -4, r
Suppose 5*d - 35 + 10 = -5*r, 0 = 2*r - 5*d - 3. Suppose -6 = 4*q - q. Sort r, q, -5 in increasing order.
-5, q, r
Let g = -1.36 + 1.6. Let c = g - -0.06. Let o = -18 - -20. Put c, -0.2, o in decreasing order.
o, c, -0.2
Let h(u) = -u + 4. Let v be h(3). Suppose 2*g - v - 3 = 0. Put 0.5, 3, g in descending order.
3, g, 0.5
Suppose -4*x = 0, 3*r - 5*r + 4 = 3*x. Suppose 3*p - r = -2*o - 1, 5*p = 2*o + 7. Put 4, -4, p in increasing order.
-4, p, 4
Suppose -6*g - 9 + 3 = 0. Sort 1, 9, g, 0 in decreasing order.
9, 1, 0, g
Let y = 31 - 32. Sort y, 2/15, -2/17 in decreasing order.
2/15, -2/17, y
Let u be 6/(-39) - (-95)/195. Put -1, -3, u in ascending order.
-3, -1, u
Suppose -1 = 5*s + 4*p + 9, s - 3*p = 17. Put -2, 5, -6, s in decreasing order.
5, s, -2, -6
Let a(x) = -2*x**2 - 15*x + 10. Let p be a(-8). Sort 0, 3, -4, p in descending order.
3, p, 0, -4
Let n be 4/(-63) + 2/7. Sort n, 0.5, -2, -3/5 in decreasing order.
0.5, n, -3/5, -2
Let s(n) = -n + 8. Let k(d) = -d + 10. Let c be k(7). Let o be s(c). Put 4, o, -5 in descending order.
o, 4, -5
Let c = 4 + -4.1. Let d = -0.15 + 5.15. Put -4, d, c in ascending order.
-4, c, d
Let y = 111 + -106. Suppose -5*f = -2*n + 10, 3*n = 4*f + 20 - 5. Put f, 1, y in decreasing order.
y, 1, f
Suppose 3*d - 6 = -0*d + 3*n, -2*n - 2 = 0. Let p = 11 - 16. Sort -2, d, p in ascending order.
p, -2, d
Let x = 7 + -11. Let u(d) = -d**3 + 2*d**2 - 2*d - 2. Let a be u(0). Suppose 40 = -5*o - 5*f + 2*f, -o + 3*f + 10 = 0. Put o, a, x in descending order.
a, x, o
Let j = -12 - -13.4. Let o = -0.9 + j. Sort -0.5, o, 0.1.
-0.5, 0.1, o
Let r = -15 + -51. Let d(x) = -3*x. Let a be d(-5). Let f be 2/5 + r/a. Sort 1/7, f, -0.4 in decreasing order.
1/7, -0.4, f
Let t(i) be the second derivative of i**5/20 + i**4/3 + i**3/3 + i**2/2 + 3*i. Let r be t(-3). Sort 3, r, 0.1 in decreasing order.
r, 3, 0.1
Suppose -c = -2*l - 5*c - 10, 2*c - 15 = 3*l. Sort l, -19, 1.
-19, l, 1
Suppose 7*w = 4*w. Suppose 0 = 4*d + 12 - w. Sort 3, -5, d in descending order.
3, d, -5
Suppose -3*r - 2*h = 22, -4*h = r + h + 29. Suppose -2*g - 7*c + 5*c = -8, -5*g + 5*c = -30. Sort 2, r, g.
r, 2, g
Let c be (-1)/3*3/3. Let p be (-7)/14*(-4)/6. Let f = p - c. Sort f, -0.5, 3/2.
-0.5, f, 3/2
Suppose 0 = 6*g - 9*g + 9. Sort 7, 0, g, -0.4.
-0.4, 0, g, 7
Let w(i) = 2*i**2 + 8*i + 5. Let q be w(-5). Suppose 4*g - g = q. Let b be -10*(2 + g/(-2)). Sort -4, b, 4 in decreasing order.
b, 4, -4
Let d = -15 + 14. Let x = -6 - d. Put -1, 5, x in descending order.
5, -1, x
Let w = -2.5 - -2.2. Sort -0.4, -6/5, w in descending order.
w, -0.4, -6/5
Let j be (1 + 0)/(3 + 14/(-5)). Put 2/3, -3, j in ascending order.
-3, 2/3, j
Let u = 1/176 + -4403/528. Let y = 9 + u. Put y, -1/4, -1/3 in ascending order.
-1/3, -1/4, y
Suppose 14 = k - 3*g + g, -4*k + 26 = -2*g. Suppose 2*d + k*s = 0, -d + 4*s = -s + 7. Suppose 4*w - 2 = r, 4*w + r + 2 = 3*w. Sort w, d, 1.
d, w, 1
Let x = 2 - 1.7. Suppose 13 = -3*i + 3*z - 2*z, 0 = -2*i - 2*z + 2. Let b be (-1)/i - (-15)/9. Sort x, -1, b in ascending order.
-1, x, b
Let f be ((-2)/(-3))/(-2)*-6. Put f, 0, -7 in descending order.
f, 0, -7
Suppose u = -3, 3*v = 5*u + 25 + 17. Let z = v - 6. Let h be 1/(-3) - (-8)/(-3). Sort z, 2, h in decreasing order.
z, 2, h
Let i = 20 - 16. Let k = 3 + -6. Sort i, 0.3, k in descending order.
i, 0.3, k
Let h(z) = -z**3 + 4*z**2 - 3*z + 2. Let s be h(3). Let v be (6 + -2)*(-1)/s. Put v, -5, 3 in increasing order.
-5, v, 3
Suppose -2*k - 1 = -53. Suppose 5*m + 5*o - 9 = -29, -k = 5*m - o. Sort 2, m, -2.
m, -2, 2
Suppose 3*t - 2*x = 2*x + 29, 0 = 5*t - 2*x - 25. Suppose 3*p + 7 = 4*r, -4*p = -2*p - t*r + 5. Sort p, -2, 1 in decreasing order.
1, p, -2
Let g(b) = b**3 + 6*b**2 + 3*b - 4. Let j be g(-4). Suppose -3*x - 2 = r + j, 0 = 5*x - 5*r + 30. Put -3, 2, x in increasing order.
x, -3, 2
Suppose 5*p = 14 + 6. Let w = 1.2 + 8.8. Let v = 8 - w. Put v, p, 1 in decreasing order.
p, 1, v
Let h(m) = 2*m**2 + 3*m + 1. Let c be h(-2). Let r = c - 5. Put 5, -5, r in decreasing order.
5, r, -5
Let d = -215.02 - -215. Sort 0, d, 1 in ascending order.
d, 0, 1
Let f = -3 + 2. Let z be f/(((-2)/(-1))/(-4)). Let b = 271 - 275. Sort z, b, -4/5 in decreasing order.
z, -4/5, b
Let h = -947/5 - -190. Sort h, -1, 0.2 in descending order.
h, 0.2, -1
Let d be (-1 + (-5)/(-2))*-2. Let c = -3 + 5.1. Let y = 2 - c. Sort 3, d, y in descending order.
3, y, d
Let h = -8 + 7. Sort -0.4, h, 4/3 in increasing order.
h, -0.4, 4/3
Let n = -28 + 199/7. Let t = -0.2 + 0.17. Let q = t - 2.97. Sort 4, q, n in increasing order.
q, n, 4
Let x be ((-10)/(-8))/(-1) - -1. Let w = 1.6 - 2. Sort -5, x, w in decreasing order.
x, w, -5
Let w = 2 - 1. Sort w, -6, -4/5 in descending order.
w, -4/5, -6
Suppose -19*j = -23*j - 32. Sort j, -2, 2/3.
j, -2, 2/3
Let n = 44 - 43. Sort 4, 1/6, n in decreasing order.
4, n, 1/6
Let n = 0.4 + -0.7. Suppose 0*s = -4*s. Let c be (3/25)/(5/25). Sort n, s, c in ascending order.
n, s, c
Let f = -0.2 + 0.2. Let i = -4.05 + 0.05. Let d = 0.2 - -0.3. Put d, i, f in increasing order.
i, f, d
Let a = 0.29 + 0.01. Let t = 38 + -36. Let m = 1 - 2. Sort t, m, a in decreasing order.
t, a, m
Suppose 0 = -t + 5*t - 2*v - 18, 0 = -4*v - 4. Let c = -151 + 156. Sort 1, c, t.
1, t, c
Let x = -432/5 - -9906/115. Let b = x + -16/115. Sort -0.5, -4/5, b in ascending order.
-4/5, -0.5, b
Let r be 28/8 - (-6)/4. Suppose 0*g = r*g + 25. Let w(y) = y**2 - 6*y + 6. Let l be w(4). Sort 2, g, l.
g, l, 2
Let s = -1318/7 + 188. Let g be (1/(-3))/(((-25)/(-10))/(-5)). Put s, -1/12, g in increasing order.
s, -1/12, g
Let y = -33 + 21. Let t be 3*(-2)/y*2. Sort 2, -1, t in descending order.
2, t, -1
Let f = -113/7 - -16. Sort f, -4, 4/9 in decreasing order.
4/9, f, -4
Let q(n) = n**2 - n + 1. Let g be q(2). Suppose 4*p = g*p - 5. Suppose x - 8 = 3*x. Put x, p, 2 in descending order.
2, x, p
Let p be (-6)/(-21) + (-32)/56. Put 1/4, p, 5 in ascending order.
p, 1/4, 5
Let k = 38.1 - 38. Sort k, 2/3, -3/2 in descending order.
2/3, k, -3/2
Let t(c) = c**2 - 6*c - 11. Let g be t(8). Suppose -3*s = -3*n + 2*n - 5, -g*s - 4*n = -31. Let v be s - ((-18)/(-3) - 2). Sort v, 0.05, 5 in decreasing order.
5, 0.05, v
Suppose -4 = -4*c, -6*c = 2*h - c + 35. Let d = 20 + h. Put d, -5/6, 0.2 in increasing order.
-5/6, d, 0.2
Suppose -4*w = y - 0*y - 24, 5*w = 25. Let t be 6/(-10) + (-68)/20. Put 2, y, t in descending order.
y, 2, t
Suppose 4*o - x + 40 = -6*x, 0 = -4*o - 2*x - 28. Sort -3, 5, o.
o