). Put 5, r, -1 in ascending order.
-1, r, 5
Suppose -4*u + 3*p + 6 = u, -5*u - 6 = 3*p. Suppose 2*m + x = 21, -3*m = -x + 1 - 40. Let f be m/(-15)*(5 + u). Put 0, -3, f in decreasing order.
0, -3, f
Suppose -5*b + 2*z - 4*z = -12, 4*b - 9 = -z. Suppose -i - b*c - c = 0, 3*i = -3*c. Put i, -4, -9 in decreasing order.
i, -4, -9
Let i(m) = -m + 6. Suppose 4*y + 10 - 38 = 0. Let l be i(y). Sort l, 4, -4 in decreasing order.
4, l, -4
Let k be (-2)/(2/4 + -1). Let l = -13 - -23. Suppose 3*y - m - 6 = 0, y + m - 4*m = l. Sort 0, y, k in descending order.
k, y, 0
Let c(k) = k + 1. Let v be c(-6). Let i = 0 - -1. Let l(z) = -5*z**2 + 1. Let r be l(i). Sort 4, r, v in descending order.
4, r, v
Let f = 2 - -4. Let t = 6 - f. Let n be (-2)/(-4) + -4 + 4. Sort t, n, -1/2 in increasing order.
-1/2, t, n
Let b = 114 - 116. Sort b, -4, 0, 5 in descending order.
5, 0, b, -4
Let y(m) = -12*m. Let r be y(-1). Suppose 4 = 4*j + r. Put -4, -5, j in ascending order.
-5, -4, j
Let d(l) = -l. Let g be d(-10). Let x = g + -11. Put 3/5, x, -4/3 in decreasing order.
3/5, x, -4/3
Let x = 127 - 126. Sort x, -5, -4, 4 in decreasing order.
4, x, -4, -5
Let d = -1 + -2. Let b = 31 - 30.6. Sort d, 5, b in increasing order.
d, b, 5
Let q = 4.101 + -0.101. Let w = -0.5 + 0.3. Sort -2, q, w in ascending order.
-2, w, q
Let u(o) = o + 1. Let s be u(7). Let p be (0 - 0)*s/(-16). Let i(q) = -q**3 + 5*q**2 + 3. Let k be i(5). Sort k, p, -2 in ascending order.
-2, p, k
Let s = -17.03 + 17. Sort s, -4/3, -2/9 in decreasing order.
s, -2/9, -4/3
Let g = 22.1 - 23. Sort 0.4, g, -0.2.
g, -0.2, 0.4
Let d = 0.05 + 0.35. Let v(h) = h**3 + h**2 - 14. Let x be v(0). Let a = 18 + x. Sort a, d, -1 in decreasing order.
a, d, -1
Let t(h) = h**3 + 4*h**2 - h - 4. Let m be t(-3). Let u be -2 - 3/((-12)/m). Sort 3, u, 1 in descending order.
3, 1, u
Let z = 1 - -1. Suppose 0 = -2*b - 10, -h - 5*b = 42 - 15. Suppose 0 = -2*r + 4*r. Put h, r, z in ascending order.
h, r, z
Suppose 3*w - 58 = -61. Put 2/9, w, -0.3 in decreasing order.
2/9, -0.3, w
Let c be 6/9 - 26/12. Let d = 105/2 + -519/10. Put -2/3, c, d in descending order.
d, -2/3, c
Let j be (-6)/9*3 - 4. Let w = j - -8. Suppose 4*a + w = -2. Put 3, 5, a in ascending order.
a, 3, 5
Let w be (7/(-2))/(5/10). Sort w, -5, 0 in descending order.
0, -5, w
Let k(w) = 11*w - 31. Let u be k(3). Put 3, -5, u in decreasing order.
3, u, -5
Let w(p) = p**2 + 3*p + 1. Let f be w(-4). Let m be 2/f + (-22)/5. Let v be 3*(0 - -1)*-1. Sort v, 0, m in ascending order.
m, v, 0
Suppose 0 = -5*t + 3*q + 5, -5*t - q + 5 = 2*q. Sort 2/15, t, -4/3 in descending order.
t, 2/15, -4/3
Let r(g) = -g - 2. Let l be r(-7). Put 0, 2, l in ascending order.
0, 2, l
Let f be -4*(12/(-16) - (-1)/1). Sort -3, f, -5, -4 in decreasing order.
f, -3, -4, -5
Let r be ((-3)/6)/((-2)/12). Suppose -5 + 14 = r*s. Sort -4, s, 0 in decreasing order.
s, 0, -4
Let l = -52 - -49. Let f be 2/7*7/15. Put 2, l, f in ascending order.
l, f, 2
Let o = -1.7 + 0.7. Sort o, 2/9, -2 in increasing order.
-2, o, 2/9
Let w = 6.2 - -1.8. Let q = w - 6. Let n = 2 + -1. Sort 3, q, n in ascending order.
n, q, 3
Let s = 67 - 199/3. Sort 1, s, -3 in descending order.
1, s, -3
Let h(n) = -6*n - 1. Let m be h(-1). Let p = 1 - m. Suppose 0 = -5*x + y - 20, 0 = -4*x - 5*y + y - 40. Put 1, p, x in decreasing order.
1, p, x
Suppose -4*v - 2 = -6. Sort 2, -4, v.
-4, v, 2
Let k(b) = b + 3. Let x be k(-3). Let j be (-15)/75 + (-16)/(-5). Sort j, x, 5.
x, j, 5
Let f(v) = v - 6. Let m be f(6). Let q be 7*(-3 - 19/(-7)). Sort -3, q, m in increasing order.
-3, q, m
Let p = -154 - -156.96. Let l = p + 0.04. Let u be 6/21 + 32/(-210). Sort l, u, -2/7.
-2/7, u, l
Let p = 1.3 + -1.8. Let v = -14 - -41/3. Put v, -0.1, p in ascending order.
p, v, -0.1
Suppose 0 = -17*d - d. Sort 1, 5, d.
d, 1, 5
Suppose -4*m - n = 15, 2*n = 3*m + 10 + 4. Suppose 1 + 3 = -2*j. Sort j, m, -2/5.
m, j, -2/5
Suppose -5*b = -4*a - 64, -2*b - 2*b + 27 = -a. Let m = a + 7. Sort -2, m, -5.
-5, m, -2
Let f be -1 - -1 - (4 - 6). Sort -4, -11, f in descending order.
f, -4, -11
Suppose 4*c = -0*c + 20. Let s = c + 0. Let l = 0 + 3. Put s, -2, l in descending order.
s, l, -2
Let j = -6.05 - -0.05. Sort 3/4, j, 4 in increasing order.
j, 3/4, 4
Let v = -10/3 + 29/6. Put v, -0.5, 3, -1/5 in decreasing order.
3, v, -1/5, -0.5
Let i = 15 - 12. Suppose i*s + 11 = 5. Sort -1/6, s, 2 in decreasing order.
2, -1/6, s
Let s be (-5)/10 - (-27)/6. Let i = 2 - 0. Sort 5, i, s in increasing order.
i, s, 5
Suppose -20 = -5*h - 3*a, -5*a = -3*h + 5 + 7. Let c be (1/(-3))/((-8)/24). Let i(v) = -v**2. Let q be i(c). Sort q, h, 3 in increasing order.
q, 3, h
Let r be 29/(-9) + 3 - (-140)/(-18). Sort r, 4, 1 in descending order.
4, 1, r
Suppose -4*s - 3*h = -43, 0 = s + 4*h - 2 + 1. Let q = -13 + s. Put q, -4, 2 in ascending order.
-4, q, 2
Let o be ((-8)/10)/((-4)/(-10)). Let j(d) be the first derivative of -d**4/4 + 4*d**3/3 - d**2/2 - d + 1. Let g be j(4). Sort g, -4, o in increasing order.
g, -4, o
Let m be (-4)/6 + (-152)/24. Let z be (-1)/3*(13 + m). Let p be z/28*(-4 + 0). Sort -1/2, p, 1 in descending order.
1, p, -1/2
Suppose -32 = 2*n - 36. Put 5, -2, -4, n in descending order.
5, n, -2, -4
Suppose 5*v - 10 = 0, j - 5*v + 12 + 3 = 0. Put j, -0.08, -4 in ascending order.
j, -4, -0.08
Let q = -32 - -37. Put q, -3, -1, 2 in descending order.
q, 2, -1, -3
Let s be 0 - (-7)/((-28)/8). Let w = -297/5 - -60. Let f be 13/6 + -1 + -1. Put w, s, f in decreasing order.
w, f, s
Let f(z) = -z + 12. Suppose 4*w = 3*c + 39, 0*c + 33 = 2*w + 3*c. Let v = w - 0. Let p be f(v). Sort 3, 4, p in ascending order.
p, 3, 4
Let z be 2/(-9) + (-152)/(-198). Sort 1, z, -3 in descending order.
1, z, -3
Let c = 1.6 + 0.4. Let v = -10 - -5. Sort 0.1, v, c in descending order.
c, 0.1, v
Let b(k) be the first derivative of k**4/24 + k**3/6 + 2*k**2 - 2. Let n(g) be the second derivative of b(g). Let y be n(-6). Sort -4, y, 3 in increasing order.
y, -4, 3
Let k be 11/((-297)/(-18)) - (-2)/24. Let p be ((-4)/(-6))/((-17)/3). Suppose -5*t + 5 = 10. Sort p, k, t in decreasing order.
k, p, t
Suppose a - 8 = 5*a. Put a, -1, -3 in decreasing order.
-1, a, -3
Let h = 5.5 + -5. Let q = 21 - 25. Sort 5, h, q in decreasing order.
5, h, q
Suppose -2*o - 2*g = 10, 5*g - 1 = 5*o + 4. Sort -4, 5, 0, o in decreasing order.
5, 0, o, -4
Let j = -22 + 21.9. Sort 4/7, j, -2/15 in decreasing order.
4/7, j, -2/15
Let s = -0.2 + 0.4. Suppose 0 = -5*b + 146 - 26. Let c be (-1)/(-6) + (-7)/b. Put s, 1, c in increasing order.
c, s, 1
Let n be ((-834)/10)/(-1) + -1. Let f = -83 + n. Suppose -4*z + 5*d = -2*z - 1, 2*d = -3*z - 8. Sort 0.2, f, z in decreasing order.
0.2, f, z
Suppose -11 = 2*s - 21. Suppose r - s*r + 20 = 0. Let x = 0.1 - 0.2. Sort r, 4, x in decreasing order.
r, 4, x
Let p = 7 - 6.68. Let o = 3.18 - 3.2. Let l = p + o. Sort -5, l, 5 in ascending order.
-5, l, 5
Let b = -125/4 - -1633/52. Put 3/5, b, 3, -1 in descending order.
3, 3/5, b, -1
Let l = 0.15 + -0.05. Put 3, -3, l in descending order.
3, l, -3
Let a = 3.3 - 3. Sort a, -4, 4 in descending order.
4, a, -4
Suppose -5*l - 7 = 3*s, -l + 9 = -2*s - 0*s. Let o be -1*(s/2 - -3). Let y = 0.2 + -0.6. Put 3, y, o in descending order.
3, y, o
Suppose -2*w - 1 = -3*w. Suppose -j - w = 3. Let p be (j/(4/(-3)))/1. Sort -0.4, -1/2, p.
-1/2, -0.4, p
Suppose 0 = -j + l - 4*l - 4, 5*j + 5*l + 10 = 0. Let p = j - 0. Suppose 2*f + 2*m - 18 = 0, -3 = -m + 2. Sort f, p, 3.
p, 3, f
Let d be 1/(1/5)*-1. Let u(q) = -q**3 - 5*q**2 - 5*q - 5. Let o be u(-5). Suppose 2*c = 4*n + 20, 4*c - o = 3*n - 0*c. Sort n, d, -2 in increasing order.
d, n, -2
Let b = 15.76 - 16. Let g = b + 0.04. Let l = -7 - -4. Sort 0, g, l.
l, g, 0
Suppose -d = -2*d - 1. Put d, -2, 0, 3 in decreasing order.
3, 0, d, -2
Suppose 0*p - 2*p + 10 = 0. Put p, 0, -4 in decreasing order.
p, 0, -4
Suppose 0 = -0*j + 6*j + 12. Sort j, 1, 5, -3 in decreasing order.
5, 1, j, -3
Let c be 1 - 0 - 0 - 0. Suppose 0 = 24*k - 27*k. Sort c, k, 3.
k, c, 3
Let j be 1*2/4*4. Let o(l) = l - 4. Let u be o(7). Suppose -u*c = -0*c - 3. Sort c, j, 4 in increasing order.
c, j, 4
Let f = 5.15 + -0.15. Let k be (-2)/8 - 2/(-40). Put f, k, -2 in descending order.
f, k, -2
Suppose 4*c + 1 = 17. Let i(n) = -n**2 - 7*n + 43. Let h be i(-11)