.
h, -0.1, p
Suppose 3 = -4*w + w. Put 5, -4, -5, w in decreasing order.
5, w, -4, -5
Let d = -215 - -219. Let i be (-11)/2 - (-1)/2. Sort d, -4, i in increasing order.
i, -4, d
Let y = -1/16 - -5/16. Sort 2, y, 4 in descending order.
4, 2, y
Let r(u) = u**3 - 5*u**2 - u + 7. Let d be r(5). Suppose -d + 0 = -2*v. Let z = 70 + -135/2. Put -0.3, v, z in decreasing order.
z, v, -0.3
Let q = 0.1 - -0.3. Let h = 144163/105 + -1373. Let j = h - 68/105. Put 0, q, j in decreasing order.
q, 0, j
Let k = 0.11 - 0.14. Sort -0.4, 0.2, k, -4.
-4, -0.4, k, 0.2
Let w = 6 + -3. Suppose w - 6 = -d. Let n(h) = h**2 - 2*h - 1. Let u be n(3). Sort d, u, 1.
1, u, d
Let u = -15469/35 - -442. Let b = 22/35 - u. Put b, -0.1, 0.1 in decreasing order.
b, 0.1, -0.1
Let i = 28 + -32. Sort 3, i, 0.4 in increasing order.
i, 0.4, 3
Let d be -1 + 36/(-4) + 0. Let r be d/5 - (0 + 2). Sort r, -5, 11.
-5, r, 11
Let m(q) = -q**3 - 19*q**2 + 19*q - 25. Let f be m(-20). Sort 4, -1, f in increasing order.
f, -1, 4
Suppose -z + 5*z - 17 = f, 0 = z + 5*f + 1. Suppose -2*y + 4*d + d - 8 = 0, -5*y - 4*d - 20 = 0. Put -2, y, z in increasing order.
y, -2, z
Let l(d) = 4*d**2 + d + 1. Let p be l(-1). Suppose 12 = 2*z + 2*z, 2*y = -z + 13. Put -5, p, y in ascending order.
-5, p, y
Let t(z) = z**3 - 5*z**2 - 1. Let g be t(5). Let n(k) = k**3 + 2*k**2 - 1. Let q be n(1). Put q, g, -4 in increasing order.
-4, g, q
Suppose -h + 0*h = -4*j, -h + 2*j = 0. Suppose -5*k + 1 = 2*s, 3*k + 5*s = -k + 11. Sort h, k, -2 in increasing order.
-2, k, h
Let w = -2 + -2. Let m be 0 + (w - 88/(-20)). Let r = 3 - 1. Put m, -4, r in increasing order.
-4, m, r
Let u = 0.1 - 0. Put u, 2/19, 0.4, -6/5 in decreasing order.
0.4, 2/19, u, -6/5
Suppose -y - 15 = -2*l + 28, -3*l + 82 = 2*y. Let h be (l/(-84))/((-3)/(-7)). Put h, 1, -3 in ascending order.
-3, h, 1
Let o(d) = d**3 + 2*d**2 - 1. Let h be o(-2). Let g be ((h - 2) + 2)/8. Let x = -41 + 38. Put x, g, -1 in decreasing order.
g, -1, x
Suppose -i = 3*i - o + 20, -i + 4*o - 20 = 0. Let h = 9 - 11. Let n be -1 + 2 - 2 - h. Sort n, -1, i in ascending order.
i, -1, n
Let n = 8 + -6. Suppose 2 + n = 4*a. Put a, 2, -0.4 in increasing order.
-0.4, a, 2
Suppose 9 = t + 13. Sort -1, 3, 0, t in descending order.
3, 0, -1, t
Suppose -5*n = 2*z - 4*n - 6, 2 = 2*z + 3*n. Let k = -7 + 1. Let y = 9 + k. Sort y, 5, z in increasing order.
y, z, 5
Let x = -9 + 15. Let d(f) = f**3 - 7*f**2 + 8*f - 9. Let n be d(x). Sort 5, -0.1, n in descending order.
5, n, -0.1
Let o = 0.16 + -5.76. Let c = o - -6. Let r = c + 0. Put -2/11, -4, r in increasing order.
-4, -2/11, r
Let k = -0.003 - -0.303. Let s = -0.6 + -0.1. Let f = k - s. Sort 0, f, 5 in increasing order.
0, f, 5
Let d = 0.3 - 0.4. Let r = d - 0. Let q = -31 - -31. Sort r, 0.5, q in decreasing order.
0.5, q, r
Let i be 20/(-70) + (-23)/(-7). Sort i, -1, -3.
-3, -1, i
Let o = -1/583 - -1189/13409. Put o, 1, 4/7 in descending order.
1, 4/7, o
Let s = -27 - -83/3. Let m = -1.29 - -0.29. Sort 3, s, m.
m, s, 3
Suppose t = -3*j - 1, -3*t + 19 = -2*j - 0*t. Sort 1/5, j, 1.2.
j, 1/5, 1.2
Let w be -2*1*(-3)/6. Let u be 0/4 + (-2 - w). Let s(t) = t**3 - 7*t**2 + t - 7. Let r be s(7). Sort r, u, -4.
-4, u, r
Suppose 0 = 2*c + 5*n + 14, -c - 3 = 2*n + 3. Let d = 1 + c. Let q(o) = o**3 - 5*o**2 + 2*o - 5. Let u be q(5). Put d, 2, u in decreasing order.
u, 2, d
Suppose 5*r - 24 = -4*c, r + 5*c = 6*r - 15. Suppose 3*u + 11 = -r*v, -u - 4*v = 2 + 7. Sort -1/3, u, -0.3.
u, -1/3, -0.3
Let w be 2/6*3*-2. Let d = 1 + w. Let o be -1*1*((-9)/5 + 2). Sort o, d, -0.3.
d, -0.3, o
Let l = 1 + 2. Let p = l + -2. Let i = 30 + -30. Sort p, -5, i in decreasing order.
p, i, -5
Let w = -0.24 + 0.1. Let v = w - 0.06. Let z = 6 + -5.7. Sort v, -1, z in ascending order.
-1, v, z
Let r = 7/5487 - 10332098/60357. Let w = -171 - r. Put 0.1, w, -2 in increasing order.
-2, 0.1, w
Let g be (2/(-6) + 1)*3. Suppose 6*d - g*d + 7 = -t, 3 = -5*t - 4*d. Let o be (t*(2 + -7))/(-1). Sort o, -3, 0 in increasing order.
-3, 0, o
Suppose 71 = 5*w - t, -4*w - t = w - 79. Suppose -5*m + z = -9, 4*m - 3*z - w = m. Let g = m + 3. Put -0.5, -4, g in decreasing order.
g, -0.5, -4
Let g be 1/3 - (112/12 - 8). Sort g, 7, 4, 2.
g, 2, 4, 7
Suppose 0 = -4*r - 15 - 9. Let s be ((-4)/r)/(42/18). Sort 5, 2/5, s in increasing order.
s, 2/5, 5
Let v = -6.5 + 7.54. Let d = v - 0.04. Put -4, d, -1 in decreasing order.
d, -1, -4
Let k = 9.8 + -10. Let z = -0.7 - 0.3. Let g = z + -2. Put k, -2, g in decreasing order.
k, -2, g
Let k be (-4)/10*(-20)/(-32). Put k, -2, -5 in decreasing order.
k, -2, -5
Let d be 6/(-18) - (-14)/18. Let w be (-9)/(-15)*10/4. Sort w, d, 2 in decreasing order.
2, w, d
Let f = 46 - 41. Put -4, f, 15 in decreasing order.
15, f, -4
Let c be 949/104 - (-2)/(-16). Sort 0, 4, c in ascending order.
0, 4, c
Let v = 0 + 8. Suppose 2*b = -0 - v. Put 5, b, -3 in ascending order.
b, -3, 5
Let w = 53 - 50. Sort -2/9, 0.4, 1, w.
-2/9, 0.4, 1, w
Let v be (0 - -6) + -3 + 0. Let d be 1*3*(-2)/v. Let o = d + -1. Put o, 2, 0 in increasing order.
o, 0, 2
Let n = 6 - 9. Sort 5, n, -4 in decreasing order.
5, n, -4
Suppose 0 = 4*v - 0*v. Suppose 3 = -3*a - 6. Let t = a - -5. Put v, -3, t in descending order.
t, v, -3
Let h(n) = 4*n + 6. Let p be h(-6). Let i = p + 19. Sort 0, 3, i in increasing order.
0, i, 3
Let x = -1 - -2. Let q be -2 + (120/33)/2. Sort q, x, -2/3 in descending order.
x, q, -2/3
Let f = 1 - -2. Let x = f + -4. Sort x, 0.5, 0.
x, 0, 0.5
Let s = 16 + -16.03. Let g = 2.03 + s. Sort -0.2, -2/11, g in increasing order.
-0.2, -2/11, g
Let y = 9 + -8.5. Sort -2/11, 5, y in decreasing order.
5, y, -2/11
Let m = -4.75 - 0.25. Let k = 0.03 + -3.03. Put m, -4, k in descending order.
k, -4, m
Suppose -6*n = -n + 2*h + 3, 2 = 2*h. Suppose 2*l - 28 = 3*k - 7*k, -3*l + 12 = k. Suppose 2*s = -y - 1 - 0, -3*s = -3*y + k. Sort n, 4, y in increasing order.
n, y, 4
Let d be (-3)/14*8/18. Let m = -74 - -71. Sort d, -2/5, m in ascending order.
m, -2/5, d
Suppose 3*f + 20 = -5*m + 2*f, -4*m - 3*f - 5 = 0. Put 0, m, 46 in descending order.
46, 0, m
Let y(j) = -j + 3. Let p be y(0). Suppose 3*s - 3 = -2*w, -5*w - 3 = 2*s - 16. Sort p, -2, s.
-2, s, p
Suppose -2 = -4*c + n, 4*c + 0*c = 2*n + 4. Put 11, 2, 4, c in decreasing order.
11, 4, 2, c
Let l(t) be the third derivative of -t**4/24 + t**3/6 - t**2. Let j = 6 - 7. Let d be l(j). Sort -1, 0, d in descending order.
d, 0, -1
Suppose -3*a = a. Suppose -3*l + l = 2*t + 6, l + 4 = a. Suppose 2*m - 2*w = -2*m + 2, -4*m + 4*w + 4 = 0. Sort t, 5, m in ascending order.
m, t, 5
Let v(s) = -s**2 - 4*s + 5. Let r be v(-4). Let z(h) = -h**3 + h**2 - 2*h + 3. Let w be z(2). Put -3, w, r in descending order.
r, -3, w
Let i(y) = y + 1. Let d be i(4). Suppose 2*t + d = 3*t. Sort -1, -4, t in decreasing order.
t, -1, -4
Let b be (-2)/6 - (-500)/33. Let v be (-1 + -2)/(2/10). Let s = v + b. Sort s, 0.2, 1 in descending order.
1, 0.2, s
Let d = -3 + 0. Let k = d - -1. Let s be (2 - 2 - -2)/(-7). Sort k, s, -5.
-5, k, s
Let n be 2/(-8) + (-42)/(-8). Let p = n + -2. Let v = -17 + 12. Sort v, 2, p in descending order.
p, 2, v
Suppose -9 = 3*c + 2*j, 0 = -4*c - 3*j - 9 - 3. Suppose 2*a = 7*a - 20. Sort a, c, -2.
c, -2, a
Let k = 2814/11 + -256. Put -4, k, 2 in increasing order.
-4, k, 2
Let b = 5 + 0. Let w be (1 - (-8)/b) + -3. Put -0.2, 0.4, w in decreasing order.
0.4, -0.2, w
Let c be (-96)/10 + (-4)/10. Suppose -2*t - j - 4 + 10 = 0, -4*t = -3*j - 32. Let f = c + t. Sort 2, f, 4.
f, 2, 4
Let i be (2/4)/(3/6). Let m be (2 - 0)/(-2*i). Sort 0, m, 3 in increasing order.
m, 0, 3
Suppose 5*c + 3 + 17 = 0. Put c, 11, 5 in descending order.
11, 5, c
Suppose -2*g - 8 + 0 = 0. Let n(u) = u**3 + 3*u**2 - 3*u - 3. Let v be n(-4). Let t be (-4 - v)/(3/2). Sort g, 5, t in decreasing order.
5, t, g
Let i = 80 + -84. Sort -3, 3, i in decreasing order.
3, -3, i
Let y = 2 + -2.1. Let q be 2*9*(-1)/(-6). Put -4, y, q in increasing order.
-4, y, q
Let p(d) = -2*d**2 - 2*d. Let s be p(-2). Let v = 7 + -2. Put s, -5, v in decreasing order.
v, s, -5
Let s be -2*(1 + 10/(-12)). Sort s, 0.4, -2/5, 0.3 in decreasing order.
0.4, 0.3, s, -2/5
Let p = 0.3 - -0.2. Let v = 0.3 - p. Sort -4, -5, v in decreasing order.
v, -4, -5
Let d = -0.05 + 1.05. Let c = -0.7 + d. Let t = -0.01 - 2.99. So