)/(p/(-10)). Sort m, s, 5 in ascending order.
s, m, 5
Let k = -0.01 + -2.49. Let h = 0.5 - k. Let u = 0 - 0.2. Sort u, -4/5, h in descending order.
h, u, -4/5
Let x be (-6)/(-15) + 46/(-40). Let s = -0.12 - 0.88. Sort 4, s, x in decreasing order.
4, x, s
Suppose -10 = -4*p - h, p = -2*h + 4 + 2. Suppose p*d + 3*d = 20. Suppose -5*a - d = 2*u, 0 = 2*a - 2*u + 2 - 6. Put 5, 3, a in decreasing order.
5, 3, a
Let k = -318 - -1239. Let x be k/15 + 4/(-2). Let a = 59 - x. Sort 2, a, 0.1.
a, 0.1, 2
Let y(j) = j**2 + 13*j + 23. Let r be y(-11). Suppose 3*d - 3 = -0*w + 2*w, -3*w + d = -6. Let k = w + r. Put k, -1/6, 5 in descending order.
5, k, -1/6
Suppose -2*q - 3*q + 10 = 3*c, -5*c + 28 = -3*q. Suppose 0 = 4*h - 4*n - 4, -2*h = h + c*n + 29. Let i = 1.6 + -1.7. Sort h, i, 5.
h, i, 5
Suppose 49 - 9 = 4*b. Let n be (0 - 0)*b/20. Sort 5, 1, n in increasing order.
n, 1, 5
Let y = 10 - 9.2. Let u = y + -1. Let t = 3.2 + -1.2. Sort u, t, 0.2.
u, 0.2, t
Let y(l) = -5*l + 13. Let m(p) = 2*p - 4. Let r(w) = -8*m(w) - 3*y(w). Let x be r(-10). Let c be 1*(-1)/x*-1. Sort -2, c, 3/5 in descending order.
3/5, c, -2
Let n = 1 + 4. Let r = 39.6 - 45. Let u = r + n. Put 0.1, u, 0.4 in descending order.
0.4, 0.1, u
Let w(s) = -s - 3. Let y = -13 + 7. Let z be w(y). Suppose -3*a - 12 = 0, 2*a = 2*k + 4*a + 8. Sort -1, z, k in increasing order.
-1, k, z
Suppose -4 = -3*u + 2*f + 2, -5*f = 2*u + 15. Sort -2, 10, u.
-2, u, 10
Let i(o) = o**2 - 6*o + 3. Let b be i(6). Let h = 4.9 - 5. Put b, -0.5, h in descending order.
b, h, -0.5
Let a(y) = -y - 3. Let s be a(0). Put 4, 0, s in decreasing order.
4, 0, s
Suppose -4*i - s = -2, 3*s = -5*i + 7*i - 8. Put -2/11, 5, -3, i in descending order.
5, i, -2/11, -3
Suppose 3*i + 22 = 79. Put i, 4, -5 in ascending order.
-5, 4, i
Let d = -2.01 + 0.01. Let l = -0.2 + -0.3. Put d, -4, l in descending order.
l, d, -4
Suppose -15 = 3*c - 12. Let d be 0 + 2*1/(-1). Sort 1, d, c in increasing order.
d, c, 1
Suppose -5*n + 20 + 27 = z, 3*n - 3*z - 39 = 0. Let y = -14 + n. Let d = 2 - 1. Sort d, y, -3.
y, -3, d
Let x be (19 + -21)*6/(-16). Let a(f) = f**2 - 6*f + 2. Let k be a(5). Let u be (((-3)/2)/k)/(-1). Put x, u, 4/5 in decreasing order.
4/5, x, u
Let d(c) = c**2 + 5*c + 1. Let g be d(-4). Let a(j) = 5*j - 5*j + j**2 + 5 + 10*j. Let h be a(-9). Sort g, h, 2/9.
h, g, 2/9
Let o = -22841/16 - -1426. Let r = o - -229/80. Let w = r - 9/5. Put -4, -0.4, w in descending order.
-0.4, w, -4
Let t be (-57)/12 - 2/8. Let i be ((-6)/(-10))/((-2)/(-10)). Suppose 4*y + 8 = -i*z, -z - 3*y - 1 = -0. Sort t, 1, z in ascending order.
t, z, 1
Let f = 7 - 12. Let o be 1/4 - (-22)/8. Let v(y) = 3*y - 32. Let c be v(10). Sort f, c, o.
f, c, o
Let s = -2.5 + 3. Let z = s - 0.3. Let h = 0.04 - 0.54. Sort z, h, -2 in descending order.
z, h, -2
Let n = 0.61 + -0.11. Let u = -0.5 - n. Put 1/4, -4, u in descending order.
1/4, u, -4
Suppose 40 = -5*z - 0*z. Let b = 0 - z. Let k be ((-2)/b)/(12/16). Sort 0.3, 2, k.
k, 0.3, 2
Let k = 22 - 17. Put -3, k, -28, -1 in descending order.
k, -1, -3, -28
Suppose -5*n = 7 + 8. Sort 0.3, n, 1/2.
n, 0.3, 1/2
Let c = 6 + -9. Let j = 7.92 + 0.08. Let v = j - 7.7. Sort v, -1/6, c in descending order.
v, -1/6, c
Let o(g) = -g**3 - 2. Let t be o(0). Suppose -3 = -5*w + 2. Put 0, t, w in decreasing order.
w, 0, t
Let d = 0.28 - 0.3. Let y = 3.02 + d. Let t be (-4)/2 - 24/(-14). Put t, y, 0 in increasing order.
t, 0, y
Suppose -6*x = -18*x. Let v(q) = q + 1. Let h be v(-4). Suppose -f = -2 - 3. Put f, x, h in increasing order.
h, x, f
Let n(q) = q**3 + q**2 + q + 6. Let c be n(0). Let x = c - 4. Let w be 30/(-70) + (-52)/42. Put x, -1, w in increasing order.
w, -1, x
Let s(y) = -y**3 + 15*y**2 - 25*y - 9. Let d be s(13). Suppose 4 + 5 = -3*o. Put 3, o, d in decreasing order.
d, 3, o
Let k(s) be the second derivative of -s**5/20 - 2*s**4/3 - 3*s**3/2 - 5*s**2 + s. Let f be k(-7). Suppose -f*v + 2 + 6 = 0. Put -0.5, 0.3, v in ascending order.
-0.5, 0.3, v
Suppose -3*i + 294 = -4*s, 3*s + 5*i = -87 - 148. Let r be 4/6*s/(-10). Sort r, -0.3, -3/4 in increasing order.
-3/4, -0.3, r
Suppose -5*u - 4*n - 24 = -3*n, 5 = 5*n. Suppose 5*t - t + 32 = 0. Let a(p) = p**2 + 9*p + 4. Let x be a(t). Sort x, u, -2 in increasing order.
u, x, -2
Let f = 17 + -16.93. Let c = 0.23 + f. Let p = 0.5 - 4.5. Put c, -0.2, p in ascending order.
p, -0.2, c
Suppose -3*n + 0 = 2*z + 1, z = 2*n - 11. Let b be 99/44*4/3. Let t be (5/15)/(b/(-27)). Sort n, t, 0 in descending order.
n, 0, t
Suppose -3*y + 3 = -2*k, -k + 2*k = -3*y + 12. Suppose -5 - 1 = -k*d. Sort 5, d, -1 in descending order.
5, d, -1
Let l = 4 - 2. Let b = 10 - l. Sort 1, b, 3.
1, 3, b
Let u = -8.7 + 9.7. Put -8, -0.3, u in descending order.
u, -0.3, -8
Let f = -141 + 984/7. Let h be (1/3)/((25/(-5))/15). Sort h, -2, f.
-2, h, f
Let i be 1/((-6)/21)*1. Put 0, i, -0.1 in increasing order.
i, -0.1, 0
Let y be 1 - -2 - 2 - -1. Let c(o) = o**2 - 6*o + 5. Let k = 4 - 0. Let t be c(k). Sort -4, y, t in descending order.
y, t, -4
Let d = -4 + 2.9. Let m = -1 - d. Let b = 7 + -10. Put m, b, 2 in decreasing order.
2, m, b
Let g = -63.6 + 64. Sort 3, 1/5, g, -0.1 in increasing order.
-0.1, 1/5, g, 3
Let f = -0.97 - -0.27. Sort -2/3, 4, f in descending order.
4, -2/3, f
Let a be 307/1*(-7)/9. Let m = a - -239. Let u = -11/18 - -113/126. Put u, -5, m in ascending order.
-5, m, u
Let c be (8/10)/(6/(-30)) - 1. Sort c, -2, -3.
c, -3, -2
Let x = 0.39 - -0.01. Suppose 20 = 3*i + 2. Let y(s) = -s**3 + 5*s**2 + 5*s + 5. Let v be y(i). Sort -2, x, v.
-2, v, x
Let t = -30 + 28. Let u be ((-3)/(-2))/((-2)/(-4)). Put -5, t, u in decreasing order.
u, t, -5
Let n = -0.1 - -0.1. Let j = n - 0.5. Let m = -46 + 46. Put m, j, -2/5 in increasing order.
j, -2/5, m
Let d = -0.05 + -2.95. Let x = 0 + 2. Let f = -0.03 - -3.03. Sort x, d, f in descending order.
f, x, d
Let n(u) = -2*u - 1. Let t be n(-2). Let d = 3 - 1. Suppose 2*b + d*b = 3*k + 3, 0 = 3*k + 4*b + 3. Sort k, 1, t in descending order.
t, 1, k
Suppose -6*w = -3*w + 9. Let z be 3/(-2) + w/(-2). Sort -3, z, 2.
-3, z, 2
Let j = -0.11 + -0.09. Sort 1, j, 4 in increasing order.
j, 1, 4
Suppose 2*q - 27 = -3*n - q, 0 = -4*q - 4. Suppose 5*i + 0*i = n. Let r = i + -2. Sort -5, r, 4.
-5, r, 4
Suppose -4*h + s - 5 + 0 = 0, 0 = 5*h - 4*s + 9. Sort h, -4, 4 in ascending order.
-4, h, 4
Let x = -16 - -11. Let r = 17.1 - 18. Let y = r - -1.1. Sort y, 0, x in decreasing order.
y, 0, x
Let l = 239/238 + 6/17. Let s = l - 3/2. Sort 0, s, 0.4.
s, 0, 0.4
Let s(c) = -c**2 - 6*c - 3. Let v be s(-2). Sort 0, v, 3 in descending order.
v, 3, 0
Let z(h) = -h - 1. Let a be z(0). Let c = -57 + 61. Sort -4, c, a in increasing order.
-4, a, c
Let s = 97/90 - 13/10. Let z = 0.3 - 0.2. Put -0.4, z, s in increasing order.
-0.4, s, z
Suppose -3*z + 28 = 79. Put z, 5, 0 in increasing order.
z, 0, 5
Let z = -0.5 - -0.7. Let b = 0.3 + 0.2. Put z, 0, b in ascending order.
0, z, b
Let j(v) = v**2 - 3*v + 2. Let a be j(3). Suppose -s = a - 1. Let l be (-1 - -3)/1 + -4. Sort s, -4, l in decreasing order.
s, l, -4
Suppose -4*r = -5*r - 2. Let a be (-1)/(3/3 + r). Put 0, 3, a in ascending order.
0, a, 3
Let h(y) = -y**2 + 12*y - 6. Let r be h(10). Let b = 10 - r. Sort -5, 1, b in descending order.
1, b, -5
Let m = 5.9 - -0.1. Let i = 6.2 - m. Let r be 4/(0 - -1) - -1. Put i, r, -1/2 in descending order.
r, i, -1/2
Let j(u) = -u**2 - 2*u - 4. Let r be j(-2). Put r, -3, 5 in descending order.
5, -3, r
Let b be -4 + (-8)/(-4) + -2. Sort -2, b, -1 in descending order.
-1, -2, b
Suppose 7*c = c + 18. Put -3, 1, -1, c in increasing order.
-3, -1, 1, c
Let q be (-36)/45 + (3/35 - -1). Sort -13, q, 0.5 in ascending order.
-13, q, 0.5
Suppose -2*j - 28 = 2*g, g - 5*g - 51 = 3*j. Put -4, 3, g in increasing order.
g, -4, 3
Let f = 2.118 - 0.018. Let j = -2 + f. Sort -1/5, 1, j in ascending order.
-1/5, j, 1
Suppose -5*s = 4*h + 8, -5*h + s - 1 + 20 = 0. Let v(g) = -g**2 + g. Suppose 0 = -j + 5 - 3. Let c be v(j). Sort 2, c, h in increasing order.
c, 2, h
Let a(l) = l**3 - 3*l**2 - 4*l - 1. Let h = 3 + 1. Let i be a(h). Sort 0.3, 0.1, i.
i, 0.1, 0.3
Let g = -5 + 4. Let i = -22 + 1763/80. Let r = i - -197/80. Sort 0.1, r, g in increasing order.
g, 0.1, r
Suppose 2 + 2 = -4*u + o, 5*o = 0. Sort 4, 1/7, u, 0.02 in de