i = -16 + 13. Sort i, 1, j.
j, i, 1
Suppose -5*p + 2*w + 13 = -0*p, -4*p + w + 8 = 0. Sort -1/5, -1, p in decreasing order.
p, -1/5, -1
Let o = 9 + -5. Let i = 230 - 225. Sort o, 0, i.
0, o, i
Let n = 11 - 177/16. Let o = -807403/80 + 10093. Let c = o + n. Put c, 3, 0 in descending order.
3, c, 0
Let f = -0.24 - 0.36. Let y = -0.01 + 4.01. Sort y, -4, f in decreasing order.
y, f, -4
Suppose 5*v = -0*v. Suppose v*n = w - 4*n + 16, -2*w - 2*n = -18. Suppose -3*o + 2*o = 0. Put -2, w, o in descending order.
w, o, -2
Let t be (-148)/(-111)*3/2. Put 0, t, 3 in descending order.
3, t, 0
Let g be 12/18 - 8/14. Sort 0.1, -2/5, g in descending order.
0.1, g, -2/5
Let j = 8 - 5. Suppose 0 = j*l - 0 + 3. Put l, 5, 3 in increasing order.
l, 3, 5
Suppose a + 12 + 5 = -3*f, 0 = -f - 4*a - 24. Put 4, 2, f, -1 in descending order.
4, 2, -1, f
Let r = -25 + 23. Sort r, -3, -5, 0.
-5, -3, r, 0
Suppose -5*l + i - 23 - 2 = 0, -2*i = -l - 14. Suppose -21 = -5*k + a, -2*a - 5 = -5*k + 3*a. Put l, k, 1 in increasing order.
l, 1, k
Let n be (-2)/(-5) - (-4)/(-10). Suppose 1 = -2*i - 5*t - 4, 3*i + 2*t = -2. Let k be (1/1)/(1 + i). Sort k, -1, n in descending order.
k, n, -1
Suppose 5*g + v - 19 = -0, 4*v + 20 = 4*g. Let y = 29 - 31. Let j = -3 + y. Sort g, j, 5 in increasing order.
j, g, 5
Suppose 16*j - 12*j + 8 = 0. Let a = 4 + -2. Sort a, j, 5 in decreasing order.
5, a, j
Let b = 0 + -5. Let n = b + 3. Sort 4, 4/3, n.
n, 4/3, 4
Let v be (-1)/4 + 17/4. Suppose -5*n + n - 4 = 0. Sort n, v, -2.
-2, n, v
Let y = 372.06 + -372. Let k = 0.1 + -0.1. Sort y, -2, k.
-2, k, y
Let v(n) = n + 4. Let i be v(-4). Sort 2, -3, i in decreasing order.
2, i, -3
Let f = 12 + -9. Put f, -2, -5 in decreasing order.
f, -2, -5
Suppose -11 + 16 = n. Put 3, -5, n, -6 in decreasing order.
n, 3, -5, -6
Suppose 0 = g + 2, g - 2*g = 4*l + 34. Sort l, -1, 1.
l, -1, 1
Let x = 12 + -13.5. Let q = -1.6 - x. Sort 0, 2/9, q in descending order.
2/9, 0, q
Suppose -4*h + 4 = -2*k, -2*h + 3 = -k + h. Let p be 27*(1 + 20/(-12)). Let n = p - -23. Sort -3, n, k in increasing order.
-3, k, n
Let i = 70 + -70.1. Put i, -1/7, 0.5, 5/4 in descending order.
5/4, 0.5, i, -1/7
Let x = -1 - -1. Suppose x = 2*n - 1 - 1. Let c = 0 - n. Sort 5, 0, c in decreasing order.
5, 0, c
Let w be (-15)/406*600/45. Let z = 6/29 + w. Let j = 88/3 + -29. Sort -3, j, z in decreasing order.
j, z, -3
Let f be 2 + 4 + 1 + -2. Suppose -22 = -4*y + 10. Let u = 5 - y. Sort -1, f, u in descending order.
f, -1, u
Let o(h) = -2*h - 1. Let m be o(3). Let j be 3/(-4) + m/(-20). Put j, -1/5, 0 in decreasing order.
0, -1/5, j
Let a = -2/49 - -57/196. Let k = 8 - 4. Suppose -6*y + k = -7*y. Put a, -0.5, y in descending order.
a, -0.5, y
Suppose -z + 8 = -m + 4*z, -5*m = -5*z. Sort 4, m, -1 in descending order.
4, m, -1
Let b be (10/(-40))/((-2)/(-4)). Let a = 11 + -15. Put a, b, 4 in increasing order.
a, b, 4
Let m = 0.142 + -0.142. Let g(n) = -6*n**3 - 2*n**2 - n. Let h be g(-1). Sort m, h, 0.1.
m, 0.1, h
Let f = 55 + -50. Sort 1, -0.3, -4/5, f in decreasing order.
f, 1, -0.3, -4/5
Suppose -5*t = -3*x + 1 + 16, 10 = 5*t. Suppose -4*f - 5*l - 118 = 0, -3*l - 114 = 4*f - 0*l. Let p be 22/(-6) + x/f. Put p, 3, 4 in decreasing order.
4, 3, p
Let b = -40 + 36. Put b, -1, 9 in increasing order.
b, -1, 9
Let v = 4 + 8. Let h = v + -21. Let z = 4 + h. Sort 5, 0, z.
z, 0, 5
Let s(y) = y**2 - 3*y. Let j be s(4). Let h(i) = i**3 - 4*i**2 + i - 5. Let d be h(j). Let q = 22 + -22.2. Sort q, d, -2/13 in decreasing order.
-2/13, q, d
Let k = 0 - -2. Suppose 0 = 4*z - 12 - 8. Put z, 3, k in increasing order.
k, 3, z
Let v = 38.02 + -38. Sort -1, v, 4 in ascending order.
-1, v, 4
Let i(g) be the second derivative of -g**5/20 + g**4/3 - g**3/2 - g**2/2 - g. Let n be i(3). Suppose -21 = u + 5*d, 3*d + 13 = -2. Sort u, 1, n.
n, 1, u
Suppose b = -5*c + 17, 0 = -4*c - 5*b + 1. Let n = -3.2 + -0.8. Sort 0, c, n.
n, 0, c
Let k be 12/42 - (-27)/(-21). Let a = -29/3 - -209/21. Sort a, 0.1, k.
k, 0.1, a
Let s = -1 + 0. Let p = 1 + -1.2. Put p, s, 2 in increasing order.
s, p, 2
Suppose y = 4*z - 5, -3*z + 3*y = 6*y - 15. Let u(m) = m**3 - 3*m**2 + 3*m - 4. Let g be u(3). Sort g, -2, z.
-2, z, g
Let o be 4*-1*3/(-2). Suppose h = o*h - 15. Let u be (-3)/12 + 15/44. Sort u, 2, h.
u, 2, h
Let n(v) = -v**2 - 4*v + 3. Let i be n(-4). Suppose u = -2*u - 4*q - 40, -3*q - 52 = 5*u. Let k = u + 8. Put -4, i, k in decreasing order.
i, k, -4
Let z be (-2)/(-4) - (-15)/(-54). Let x = -0.01 + 4.01. Let s = -11/14 - 5/7. Put s, z, x in decreasing order.
x, z, s
Let u = -186 + 188.96. Let y = -0.04 - u. Sort 2/13, y, 1/2 in increasing order.
y, 2/13, 1/2
Let s = 4 - 11. Let c = s + 12. Suppose 0*a = -3*a - 15. Sort a, c, 0 in increasing order.
a, 0, c
Let n = 11 - 7. Put n, 3, -4 in decreasing order.
n, 3, -4
Let s = -0.1 + 0. Let f be (-1 - -2)/(1/2). Let a be 1 + ((-5)/(-3) - f). Sort s, 3/2, a in descending order.
3/2, a, s
Let t be (-8)/(-4) - 0/(-2). Suppose -t*r - 1 - 3 = 0. Let w be 1/1 - (0 - 3). Put r, -3, w in decreasing order.
w, r, -3
Let t = -53 - -50. Let a be 6*(1 - -1)/6. Let f be (-3)/(-5) + a/5. Sort f, -5, t in ascending order.
-5, t, f
Let j = 1 - 37. Sort 4, j, -5/4 in ascending order.
j, -5/4, 4
Let p = 10 + -5. Suppose p*b = -4*s - 21, -4*b - 16 = -3*s + 7. Put 2, -1, b in descending order.
2, -1, b
Let h = 13 + -13.2. Sort h, 4, -5 in decreasing order.
4, h, -5
Let a(k) = -k**3 - 10*k**2 - 9*k. Let h be a(-9). Suppose 5*l = -h*l. Sort -5, -4, l.
-5, -4, l
Suppose o - 9 = -4*m, 0*m - 2*m = -4*o. Let n be ((-2)/(-6))/(2/30). Sort 4, n, m in decreasing order.
n, 4, m
Suppose -3 - 12 = 5*n. Let d be (-26)/8 + n/(-12). Let u be (-1 + 0)*1 + 6. Sort d, u, 4.
d, 4, u
Let y = -2.4 - -4.4. Put -4, y, -2, -1 in ascending order.
-4, -2, -1, y
Let g(p) = -4*p - 44. Let t be g(-12). Sort 3/4, -1/12, t, -2/3 in decreasing order.
t, 3/4, -1/12, -2/3
Let x be 4/((-2)/(-2) + 1). Let k(d) = -d**2 - 5*d + 9. Let z be k(-6). Sort -4, z, x in decreasing order.
z, x, -4
Let w be (-20)/110 + 0/(-2). Sort -0.4, w, 1/5 in descending order.
1/5, w, -0.4
Let u = -3 + 13. Let j = u + -15. Sort j, 1/6, 1/7 in decreasing order.
1/6, 1/7, j
Let k(m) = m**3 + 8*m**2 + 7*m - 2. Let b be k(-7). Put 1, b, -6 in decreasing order.
1, b, -6
Let c be (2 - 30/9)*-9. Suppose -d - d = 2*y - c, 0 = -4*y + 20. Sort -5, -4, d.
-5, -4, d
Let k = -5 - -3. Let q = -0.38 - -0.18. Put -2/9, k, q in decreasing order.
q, -2/9, k
Let i = -0.1 + 0.4. Let r = -9 - -14. Let s = -56/3 + 227/12. Sort r, i, s.
s, i, r
Let q = 5.03 + -0.03. Let d(f) = -f**2 + 4*f - 4. Let l be d(4). Sort -3, l, q.
l, -3, q
Let s = 3 + -4. Suppose 3*x + 9 = -0. Sort s, x, -5 in ascending order.
-5, x, s
Let k be (1 - 0/2)*3. Let w(o) = -2*o - 6. Let n be w(5). Let m be 38/(-8) + 4/n. Sort 0, m, k in ascending order.
m, 0, k
Let l = 1 + -2. Let u = l + 0. Suppose -5*o - 40 = -15. Sort 2, o, u in descending order.
2, u, o
Let i = 153 + -157. Put i, -1/4, 7 in increasing order.
i, -1/4, 7
Let a = -2 + 4. Let t = 89/3 - 29. Sort -2, t, a in decreasing order.
a, t, -2
Suppose a = 2 + 1. Let w(k) be the second derivative of k**5/20 + k**4/3 + 2*k**3/3 + k. Let l be w(-3). Put -4, a, l in ascending order.
-4, l, a
Let q = 53 - 49. Sort 5, q, -5.
-5, q, 5
Suppose 0 = 4*c - 5*s - 20, 0 = 5*c - c - 3*s - 12. Put c, 1, 3 in decreasing order.
3, 1, c
Suppose 8*i + 9 = 5*i. Let l(p) = p**3 - 7*p**2 + 5*p + 6. Let v be l(6). Suppose 3*m - m = v. Sort 3, m, i in decreasing order.
3, m, i
Let i(z) = z + 9. Let w be i(-6). Let l(s) = -2*s - 17. Let d be l(-7). Put 4, w, d in ascending order.
d, w, 4
Let p = -12 - -14. Suppose 6 = 3*h - 6, p*f = -h - 2. Let n = 0.3 + -0.5. Sort -2/7, f, n.
f, -2/7, n
Let z = -48 + 48.3. Sort 2/21, -1, -2/17, z in increasing order.
-1, -2/17, 2/21, z
Let q = -89 - -89.5. Let x = 0.5 - 0.1. Sort -1/4, q, x in descending order.
q, x, -1/4
Let n = -0.023 - -3.023. Sort 5, n, -4, -5 in descending order.
5, n, -4, -5
Let z be (-5)/(10/4) + 17. Let h = -10 + z. Suppose 0 = -5*n - 5*m - h, 4*n + 2 - 7 = -m. Sort -5, -4, n in increasing order.
-5, -4, n
Let c be (-4)/(-12) - (-21)/(-9). Put c, -4, 5 in decreasing order.
5, c, -4
Let f(w) = -w**3 + 3*w**2. Let t be f(3). Suppose -b - 4*b = t. Sort b, -1, -3.
-3, -1, b
Let w = -