r.
5, c, -2, -5
Suppose 3*b - 6 + 18 = 0. Sort 0, -2, b in decreasing order.
0, -2, b
Suppose 3*p + 2*k - 56 = 0, -69 = -4*p + 3*k - 0*k. Let v be (-3)/p - (-92)/264. Let i = 10 + -5. Sort 4, v, i in descending order.
i, 4, v
Let g = 2.2 + -1.2. Sort -1, -0.1, 4, g in decreasing order.
4, g, -0.1, -1
Let n be ((-8)/(-6))/(2/6). Let b = 11 + -7. Suppose 9*u = b*u. Sort u, 5, n in descending order.
5, n, u
Let m = 134 + -137. Sort 10, m, -4, 3.
-4, m, 3, 10
Let m = 6.6 + -7. Sort -4, m, -1/7, 0 in decreasing order.
0, -1/7, m, -4
Suppose 2*d - q = -3, -4*d + 5 = -q + 6. Sort d, -3, -2.
-3, -2, d
Let p be ((-21)/(-2))/(((-9)/4)/3). Sort p, -1, -2 in descending order.
-1, -2, p
Let h(v) = -v**3 + 11*v**2 - 11*v + 13. Let p be h(10). Suppose -3*y = -3*t + 15, 7*t = -5*y + 2*t - 15. Let r = 18 + -13. Sort p, y, r.
y, p, r
Let y(v) = -v + 7. Let h be y(7). Let j = 28 + -31. Sort h, j, -5 in ascending order.
-5, j, h
Let c = -17 + 16. Put -2, c, 4 in descending order.
4, c, -2
Let d be (-28)/5 - 39/(-65). Put 15, d, -1 in decreasing order.
15, -1, d
Let o = 0 - 0. Let i = 0.161 + -0.061. Sort o, -1, i.
-1, o, i
Suppose 1 = -3*b + 4, -2*b = 5*h - 47. Put 4, h, -5, 5 in ascending order.
-5, 4, 5, h
Let h(s) = -2*s**2. Let y be h(1). Let w(j) = j**2 + 2*j - 4. Suppose -3*r - 2*m = 2, 14 = -8*r + 3*r + 2*m. Let a be w(r). Sort -3, a, y in decreasing order.
y, -3, a
Let u = -1 + -4. Let z = -9 + 6. Sort u, 0, z in descending order.
0, z, u
Suppose -3*w = 2*h - 13 - 3, 0 = -5*w + 10. Suppose 2*y = -2*v - 18 + 2, -h*v = 2*y + 31. Sort -4, -2, y in descending order.
-2, y, -4
Let r(i) = -i + 12. Let t be r(10). Sort -1, t, 3 in increasing order.
-1, t, 3
Suppose -15 - 13 = 2*y. Let x be -1 - -2*y/(-20). Put x, -1/7, 0.2 in descending order.
x, 0.2, -1/7
Suppose 5*w = -j + 11 - 29, -3*w - 3*j = 6. Put w, 5, 1 in ascending order.
w, 1, 5
Let s = -9 + 10.2. Let v = 0.2 - s. Sort v, -2/7, 0.3 in decreasing order.
0.3, -2/7, v
Let l be (1 + 0)*(-2)/2. Let u(o) = -o**3 + o**2 - o - 4. Let m be u(0). Sort -5, l, m.
-5, m, l
Let g be -1 + 2*12/8. Put g, 4, -2 in descending order.
4, g, -2
Let p(h) = -h**3 - 5*h**2 + 1. Let u be p(-5). Suppose -5*z + 0*z = -m + 25, -5*m + z + 5 = 0. Sort u, -5, m in ascending order.
-5, m, u
Let p = -58 + 53. Put p, 0.3, -0.03, 4/3 in decreasing order.
4/3, 0.3, -0.03, p
Let q = 79 + -80. Sort q, -9, 2, 4.
-9, q, 2, 4
Let o be (-23)/7 - 2 - 6/(-21). Put -9, o, 3/5 in increasing order.
-9, o, 3/5
Let u be 1/(6/(-4))*-3. Let i(o) = 2*o + 4. Let h be i(-3). Let c be (-2)/(1 - (-9)/(-15)). Sort h, u, c in descending order.
u, h, c
Suppose 0 = a - 3*a - 2*j - 2, -2*a - j - 4 = 0. Sort 4, -2, a, 2.
a, -2, 2, 4
Suppose -6 + 0 = -g. Let s be 2/3*g/2. Suppose 5*o + n + n = 7, -n = 4. Put o, s, 1 in ascending order.
1, s, o
Let y = -12 + 10. Suppose -5 = -h - 0*h. Suppose -h*a + 3*a = 10. Put a, y, 1 in decreasing order.
1, y, a
Let u = -2 - -4. Suppose u*p + 15 = 5*a, 5*p - a + 3*a - 6 = 0. Put -0.3, p, -5 in decreasing order.
p, -0.3, -5
Let a = -1142.6 + 1143. Suppose 2*p + v + 2 = -v, 5*v = 20. Let c = 303/5 + -60. Sort c, p, a in ascending order.
p, a, c
Let r = 395 + -217. Let n = 3384/19 - r. Sort n, 2, -0.1.
-0.1, n, 2
Let z = -10 + 7. Sort 1, -2, z.
z, -2, 1
Let f(v) = -3*v**2 + v - 6. Let p be f(0). Sort p, 4, -5 in decreasing order.
4, -5, p
Suppose -2*r - 3*l - 6 = 9, -5*r - 5*l - 30 = 0. Let z = 1.02 + -0.12. Let y = 0.4 - z. Sort r, y, -1/3 in increasing order.
r, y, -1/3
Let g = 1.1 + -0.8. Let a(h) be the first derivative of h**2/2 + 3*h + 2. Let x be a(0). Sort 2/17, g, x in increasing order.
2/17, g, x
Let x = -0.8 + 1.1. Let h = 0.18 + 0.02. Put 2, h, x in ascending order.
h, x, 2
Let r = -47 + 41. Sort -0.5, 0, 2/7, r in descending order.
2/7, 0, -0.5, r
Let n(i) = -3*i**2 + 23*i + 2. Let p be n(7). Put 5, p, -3 in increasing order.
-3, 5, p
Let k be ((-2)/(-4))/((-21)/(-18)). Let a = -5 + 3. Let q = -41 + 124/3. Put k, a, q in ascending order.
a, q, k
Let h = 10 - 16. Let a be h/8 + (-3)/12. Put -4, a, 2 in decreasing order.
2, a, -4
Let j = -17/5 - -49/10. Let p(l) = -l**3 + l**2 + l - 1. Let w be p(2). Put w, 0.2, j in descending order.
j, 0.2, w
Let w(m) = -m**2 - 4*m - 6. Let x be w(-3). Sort 0.2, x, -2/7, 4.
x, -2/7, 0.2, 4
Let k = 19 - 18.91. Let l = k + 4.91. Put 0.1, l, 0.2 in descending order.
l, 0.2, 0.1
Let d = -20.02 + 20. Put 3, d, 0.4 in ascending order.
d, 0.4, 3
Let x = 0.9 - 2.9. Put -1/4, -0.3, x, 1 in descending order.
1, -1/4, -0.3, x
Let b be (28/(-16))/((-2)/(-8)). Let m be 2/b + (-32)/(-14). Suppose 2*d = -3*d + 15. Sort m, -5, d in decreasing order.
d, m, -5
Let d(i) = i. Let q be d(3). Suppose -20 = -g + q*g + 4*o, -g - o = 6. Put g, 0, -3 in ascending order.
-3, g, 0
Let z = -26 + 21. Sort -1, 17, z.
z, -1, 17
Suppose 2*z - 5*h - 50 = -3*z, 62 = 5*z - 2*h. Let f be ((-6)/z)/((-3)/2). Sort -2, f, 0.4 in descending order.
0.4, f, -2
Let t = -17.8 - -18. Put t, -0.3, -0.4 in decreasing order.
t, -0.3, -0.4
Suppose 4*w + 0*w = -28. Let f be (-11)/2 + w/(-14). Let j = 8 + f. Sort -2, j, 1.
-2, 1, j
Let u(d) = -2*d - 3. Let o be u(-2). Sort 3, -2, o.
-2, o, 3
Let c = -1.7 - -2. Let v = c + -0.1. Suppose 0 = 5*a + 25, 0 = -2*b + b + 4*a + 23. Put b, v, -3 in ascending order.
-3, v, b
Let b = 1 - 6. Put 5, -2, b in decreasing order.
5, -2, b
Let l be (-2 - 2)/(-2) + -4. Let o = -29 - -85/3. Put -3, o, l in ascending order.
-3, l, o
Suppose 0 = -o + 2*o. Put -5, -2, o in descending order.
o, -2, -5
Let b = -94 - -92. Let n(g) = -3*g + 8*g**2 + g**3 + 8*g - 2*g**2 + 2. Let j be n(-5). Sort 1/3, j, b in increasing order.
b, 1/3, j
Let p = 21 + -11. Let d = -9.6 + p. Let y be (-3 + 3)*2/2. Sort y, d, -3 in decreasing order.
d, y, -3
Let a = -20 + 28. Let j = a - 11. Let b = -0.02 - -2.02. Put b, -1/7, j in increasing order.
j, -1/7, b
Let y = -16.2 + 16. Put 6/7, 7, y in ascending order.
y, 6/7, 7
Let v = 0.09 + -0.39. Let j = -0.7 - v. Sort j, 0.3, 0.4 in descending order.
0.4, 0.3, j
Let h(g) = 2*g**2 - 7*g - 17. Let x be h(5). Let m = -9 - -13. Put x, m, 2 in descending order.
m, 2, x
Let p be 39/4 - (-2)/8. Suppose -2*j + 4 = p. Let a = 6 + -3. Sort j, a, 5 in increasing order.
j, a, 5
Let j = -483/13 - -37. Let d = 1 + -1.2. Let a = -0.1 - d. Sort j, a, 1 in ascending order.
j, a, 1
Let l = -0.06 - 0.34. Let r = -0.01 - -3.01. Sort r, 5, l.
l, r, 5
Suppose 0 = 3*v - v. Put 14, 3, v in ascending order.
v, 3, 14
Let a(m) = -m + 1. Let w be a(-6). Suppose w = -4*g + 27. Put 7, g, 0 in ascending order.
0, g, 7
Let u = -9 - -10. Suppose 10 = -7*d - 11. Put u, 2, d in ascending order.
d, u, 2
Suppose -26 = -6*j + j - t, 4*t + 1 = j. Suppose 0 = -0*o + j*o. Put o, 4, 5 in ascending order.
o, 4, 5
Let v = 37 + -37. Sort 7, v, 1, 4.
v, 1, 4, 7
Suppose 5*k - 9 + 29 = 0. Suppose 5*z + 25 = -5*j, 0 = -2*z + z + 4*j + 15. Sort z, k, -6 in ascending order.
-6, k, z
Let i be (6/(-9))/(2/(-21)). Let q = -4 + i. Let a = 5 - q. Put -4, 0, a in decreasing order.
a, 0, -4
Let k = -11 - -26. Suppose -6*w + 11*w = -k. Put 4, 0, w in ascending order.
w, 0, 4
Suppose 2*h - 9 = -3. Let r = 46 + -26. Suppose -3*s - r = -s - 5*f, s = -4*f + 16. Sort -3, s, h.
-3, s, h
Let t(j) = -j - 6. Let f be t(-3). Put -5, f, 5 in decreasing order.
5, f, -5
Let f = 1 - 1. Let i be 2 - (f + 0)/(-1). Let u = i + 1. Sort u, -0.5, -5.
-5, -0.5, u
Let v be 14/(-15) + (-1)/(-3). Let n = -4 - -3.5. Let w = 2.5 - n. Put w, v, -0.3 in descending order.
w, -0.3, v
Let n = 78 - 83. Sort n, 3, 0 in descending order.
3, 0, n
Let i(h) = h**3 - h + 9. Let l be i(0). Let j = l - 13. Put j, 0, -3 in ascending order.
j, -3, 0
Let c be 99/22*(-2)/(-3). Suppose 0 = u + 2 + 2. Let d = 0 - -5. Sort d, u, c in decreasing order.
d, c, u
Let g be (1/4)/((-3)/20). Let c be 1/(-2) - (-6)/20. Let u = c - -9/20. Put g, 2/7, u in increasing order.
g, u, 2/7
Let v(g) = -g - 2. Let y be v(2). Let i(t) = t**2 + 2*t + 2. Let b be i(-2). Suppose -m = -0*m + s - 8, -m = b*s - 13. Put y, 0, m in decreasing order.
m, 0, y
Suppose 3*g = -2*g + o - 25, 4*g = -o - 20. Let k = 9 - 7. Sort k, -2, g in increasing order.
g, -2, k
Let c = 122 + -858/7. Put c, -2/5, 0.4, -4/5 in descending order.
0.4, -2/5, c, -4/5
Let u = 2 - 1. Let i(a) = -5*a**2 - 2*a + 2. Let b be i(1). Sort b, u, 