5 + 0. Sort u, 4, 2 in increasing order.
u, 2, 4
Let r = -108 + -134. Let q = 1691/7 + r. Let b = -3/4 - 0. Sort 0.2, q, b in decreasing order.
0.2, q, b
Suppose 4*q = 4*s, 5*q + s = 5*s + 3. Suppose -4*o = -0*o + 16. Let f be 13 + -19 + -1 + 4. Sort q, o, f in decreasing order.
q, f, o
Let g(p) = 6*p + 3. Let l be g(-3). Let r be 5/4*(-3)/l. Let m = -37/5 - -269/35. Put -1, r, m in descending order.
m, r, -1
Let j be 2 - (2 + -2) - -3. Suppose 3*g + j = -1. Let c be (0 - 16/(-6))*(-27)/18. Sort g, -0.3, c in decreasing order.
-0.3, g, c
Let z be (-2 - -3) + (-10)/6. Suppose -1 = v + 4. Sort v, 0.2, z in descending order.
0.2, z, v
Suppose -d - s - 8 = -4*s, 2*s = -3*d - 13. Let g be 4*(0/(-2) - 1). Sort g, -0.1, d in decreasing order.
-0.1, g, d
Let o be (18/15)/(4/10). Let j(u) = 14*u**3 + u**2. Let v be j(1). Let y be v/9*o*-1. Sort 0, y, -1 in ascending order.
y, -1, 0
Suppose -40 = -2*q - 4*i, 2*q - 4*i - 10 = -2*i. Suppose 4*v = 2*v - q. Let n = -1 - -6. Put n, 4, v in increasing order.
v, 4, n
Let l = 20 + -19. Put 0, l, 5/3, 5 in descending order.
5, 5/3, l, 0
Let o = -2 + 3. Let b be ((-4)/6)/((-2)/(-3)). Sort 5, b, o in ascending order.
b, o, 5
Let a = -31.6 + 32. Sort -5, -2, 1, a in descending order.
1, a, -2, -5
Let z be -2*(65/(-10) - -3). Sort z, 5, 2 in ascending order.
2, 5, z
Suppose 4 = 15*d - 17*d. Suppose 18 = -4*m + m. Let y = m + 3. Sort y, -5, d in ascending order.
-5, y, d
Suppose 2*t + 4*o = 2, -3*t + 5*t = o - 8. Let i be t - ((-25)/5 - 3). Let z = 2.5 + -2. Sort z, -4, i in decreasing order.
i, z, -4
Suppose -5*o - 2*n - 2*n = 8, -n + 15 = -3*o. Suppose 0 = q - 3*q. Suppose 0 = -3*p + 3*d + 18, -p + 1 = -2*d - 8. Put p, q, o in decreasing order.
p, q, o
Let l = -4 - -2.6. Let i = l + 0.8. Sort 4, i, -2/7.
i, -2/7, 4
Let i be (2/(-6))/((-2)/30). Let g be i/15 + 8/(-6). Let u be (2 - 6/2)/g. Sort -5, -4, u.
-5, -4, u
Let c = 16 + -15. Put c, 15, 4 in decreasing order.
15, 4, c
Let o be 2/(-11) + (-1 - -1). Let y = -123 - -863/7. Let s = -1/11 - 6/55. Sort y, s, o.
s, o, y
Let f be ((-2)/18)/((-2)/(-3)). Put 3/5, -1/8, f in ascending order.
f, -1/8, 3/5
Let i = 0.01 - 1.21. Let k = -0.8 - i. Put -5, 2/7, k in ascending order.
-5, 2/7, k
Suppose -s + i - 8 = 5*i, -21 = 4*s + 5*i. Let c = -577/5 + 116. Put c, s, -1/2 in descending order.
c, -1/2, s
Let u = -94.76 - 0.24. Let t = u + 98.92. Let n = 0.08 + t. Put 0.2, n, -0.2 in descending order.
n, 0.2, -0.2
Let q(p) = -p**2 - p - 2. Let d be q(-2). Let g be (-1)/2*(-102)/3. Let b = 17 - g. Sort b, d, 3 in descending order.
3, b, d
Let d = 3.5 - -0.5. Let u be ((-4)/(-10))/((-3)/15). Put d, u, 0.4 in increasing order.
u, 0.4, d
Let p be ((-3)/12)/((-2)/(-8)). Sort 5, 1, p in decreasing order.
5, 1, p
Let h(l) = l**3 - 4*l**2 + 3*l + 4. Let i be h(3). Suppose 2*k = -b - 2*k - 12, 2 = -2*k. Put -5, b, i in descending order.
i, -5, b
Let l be (-3)/9 + 2 + -2. Let i = 0.74 + 0.16. Let q = i - 0.4. Put 2/3, q, l in ascending order.
l, q, 2/3
Suppose 2*t + 4 = 2*p, -2*t + 2 = -p + t. Sort -5, p, 5.
-5, p, 5
Let m = -1403/13 - -108. Sort 1, 4, m in increasing order.
m, 1, 4
Let o be -2 + -94*(-3)/150. Let y = o + 71/175. Let t = -0.9 + 4.9. Put t, -5, y in increasing order.
-5, y, t
Let u = -0.35 - -0.05. Let g = -0.1 + u. Let l = -5 - -3. Put g, 0.3, l in ascending order.
l, g, 0.3
Suppose m = -2*p - 3, 0*p = -3*m + p + 19. Sort -4, m, 15 in descending order.
15, m, -4
Let s = 2 + -5. Sort s, 1, -4 in increasing order.
-4, s, 1
Suppose 3*n = 0, 0 = -2*m + 5*n + 42 - 0. Suppose 3*b + 1 = 2*y, 3*y = -2*b - 0*b + m. Put b, 2, 4 in descending order.
4, b, 2
Suppose 0*j + 5*j = -2*v - 11, -17 = -4*v + 3*j. Suppose 4*h - 4*k = -2*k + 26, 2*k - 28 = -5*h. Let b be (h - 0)*-1 - -2. Put 4, b, v in decreasing order.
4, v, b
Let c = -0.4 + -1.6. Suppose 1 = -i + 2*i. Let k be (1 + -5)*-1 - -1. Sort c, k, i in descending order.
k, i, c
Let u(r) be the second derivative of -r**3/3 + 11*r**2/2 - 4*r. Let n be u(5). Put n, 4, 2 in ascending order.
n, 2, 4
Let c = 46 - 51. Sort -2, -0.2, c, 0.2 in increasing order.
c, -2, -0.2, 0.2
Let u = -0.1 + 0.2. Put 5, u, 0.9 in decreasing order.
5, 0.9, u
Suppose s = 2*s - 1. Let x be (-6)/(-8)*6/(-9). Sort s, x, -0.11.
x, -0.11, s
Let k = -0.8 + 1. Let d = -4078/15 + 272. Put k, d, -3 in increasing order.
-3, d, k
Let u(w) = w**2 + 5*w + 1. Let r be u(-3). Suppose -x + 2*x = 4. Suppose -x = -4*v + 4. Sort -2, v, r in increasing order.
r, -2, v
Suppose 3*g = 5*f - 2 + 3, -4*g - 18 = 3*f. Sort -2/15, 4, f, 0.4 in decreasing order.
4, 0.4, -2/15, f
Let d = -4 + 3. Sort -2, -4, d in ascending order.
-4, -2, d
Suppose 9 - 34 = -5*m. Put m, 6, -2 in increasing order.
-2, m, 6
Let s = -9 + 12. Suppose 5*p - 13 = -s*t, -t - 2*p + 6*p = 7. Let g = -3.5 + 3. Sort g, -2/7, t in decreasing order.
t, -2/7, g
Let z be (133/57)/(2 - 4 - -3). Let j = -6 - -4. Put z, 1/6, j in descending order.
z, 1/6, j
Let d(l) = 2*l - 1. Let x be d(1). Suppose -5*u + u - 4 = 0, -8 = 2*w - 4*u. Let h be 22/w - 14/(-21). Sort h, x, 4 in descending order.
4, x, h
Let b = -43 + 44. Put b, -4, -2 in descending order.
b, -2, -4
Let z(m) = -m - 7. Let c(b) = b**2 + 8*b + 2. Let d be c(-7). Let s be z(d). Let h be s/(16/6) - 0. Put 0.1, h, 2/5 in decreasing order.
2/5, 0.1, h
Let z = -16.82 + -0.18. Let a = 17.4 + z. Sort 3, a, -1 in increasing order.
-1, a, 3
Suppose -h - 86 = -3*d, 4*d - h = 3*h + 120. Let w = d + -29. Put -5, w, 4 in increasing order.
-5, w, 4
Let p = -19 - -20. Sort -2, p, 1/2.
-2, 1/2, p
Let a = -8.8 - -4.9. Let k = a - 1.2. Let r = k + 1.1. Sort r, -0.2, 2/23 in ascending order.
r, -0.2, 2/23
Suppose 4*b - 4 = 36. Let a be (-4)/b - (-6)/15. Put a, 3, -5 in descending order.
3, a, -5
Suppose 0 = -3*s - 4*f, -2*f = -4*s - 10 - 12. Let m be 2 + (3 - 0)*-1. Let g = m - -1. Put g, -1, s in descending order.
g, -1, s
Let i = -15.6 - -10.6. Put 3.8, -1/5, i in decreasing order.
3.8, -1/5, i
Let o = 2.78 + -3. Sort o, 0, 5, -4.
-4, o, 0, 5
Let y = -0.008 - -11.408. Let h = y + -11. Let u(o) = o**2 - 7*o + 3. Let a be u(6). Sort h, a, 0.5.
a, h, 0.5
Suppose 2*i - 2*z + 2 - 10 = 0, -2*z - 10 = -4*i. Suppose 16 = -2*o + 2*c, 7 = -4*o - 0*c - c. Sort o, -5, i in increasing order.
-5, o, i
Suppose 8 = -6*v + 2. Suppose -5*s + 2*s = 15. Suppose -2*p + 11 = 4*b - 3*b, -20 = -4*p. Sort s, v, b in increasing order.
s, v, b
Let j = 1.1 + -1. Let t(f) = f**3 - 10*f**2 - 11*f - 3. Let u be t(11). Put -0.2, j, u in decreasing order.
j, -0.2, u
Let u = -1 + 1.02. Let w = u - -0.38. Put 2/7, w, 4 in decreasing order.
4, w, 2/7
Let y be (-2)/(-3)*6 - 1. Suppose j + 23 = -5*c, y*c - j + 24 = -5*j. Sort -5, 1, c in decreasing order.
1, c, -5
Suppose 5*q + 2*l - 4*l = 25, q - 5 = -5*l. Let d = 8 + -5. Sort 4, d, q.
d, 4, q
Let y = -46/7 - -1136/175. Sort -1, y, 0.2.
-1, y, 0.2
Let j = -1.3 + 1. Let l = 0 - -4. Suppose 0 = -2*g + 3*z - 13, g + 2 = -2*z - z. Sort l, g, j.
g, j, l
Let t be (-1 - 0)/(13/52). Let w = -1429/116 - 85/29. Let x = 679/44 + w. Put x, 3/4, t in descending order.
3/4, x, t
Suppose 6*i = 10*i - 28. Put 0, i, 2 in increasing order.
0, 2, i
Suppose -2 = 2*y, -2*q - 5 + 0 = -5*y. Let b be -5 - (-2)/3*3. Let z(u) = -u**2 - 5*u - 2. Let a be z(b). Put q, -1, a in increasing order.
q, -1, a
Suppose 3*c + 30 = 8*c. Let k be 6/(4 + c/(-3)). Sort k, 4, -2 in ascending order.
-2, k, 4
Suppose 5*m + 13 = -4*j - 3, 0 = 5*j + 3*m + 20. Sort -1, -9, 3, j.
-9, j, -1, 3
Let g = -58.1 - -64. Let o = g + -6. Put -5, o, 1/5 in descending order.
1/5, o, -5
Let s be 10/6 + 4/12. Suppose -30 + 11 = 5*l + s*q, 0 = -l - 3*q + 4. Suppose 0 = 5*t - 4*t - 3. Sort t, l, -4.
l, -4, t
Let b = -32 - -27. Sort 4, b, -9 in descending order.
4, b, -9
Suppose z + 3 = -5*k, 2*z + 2*k + 4 = 3*z. Put z, 6, 3 in decreasing order.
6, 3, z
Suppose 2 = 5*i + 2*w - 4*w, 4*i + 4*w = 24. Suppose 4 = -3*k + i*k. Let o be k/10 + (-2 - -2). Sort -3, o, -2/3.
-3, -2/3, o
Suppose -5*a = -a - 8. Let g be ((-3)/(-9))/(2/30). Let r be (g - 0)/(-1 - 0). Put r, 5, a in increasing order.
r, a, 5
Suppose -13 = -5*n - 3*l, 0 = 2*n - 4*n + 3*l + 22. Put -2, n, -7, -5 in ascending order.
-7, -5, -2, n
Let v = -9 + 9.1. Let t = v - 4.1. Put -1, t, 0 in decreasing order.
0, -1, t
Let q = 34 - 34.4. Let d be ((-2)/2 + 0)*-5. Put q