/60. Put q, -2, -3 in increasing order.
-3, -2, q
Let y be (2 - 0)*(-3)/3. Let z be -2 - -6*(-1 - y). Sort 3, -2, z.
-2, 3, z
Let r = 5 - 10. Let u = -2 - 2. Sort r, u, -1 in descending order.
-1, u, r
Suppose 0 = -5*p + 20, 5*b - 20 = b - 3*p. Let y = -2 + b. Suppose -2 = -y*i + i. Put 0.4, i, -4 in descending order.
0.4, i, -4
Let p be (-6)/21 + (-16)/(-7). Suppose -18*o + 100 + 26 = 0. Put p, 4, o in increasing order.
p, 4, o
Suppose 0*c + 4 = 2*c. Let a be ((-4)/(-6))/((-4)/(-30)). Put 0, a, c in increasing order.
0, c, a
Let h(j) = j**3 + 2*j**2 - 3*j + 2. Let n be h(-3). Suppose -t + 3 + 2 = 0. Let b(z) = z**3 - 4*z**2 - 7*z + 5. Let v be b(5). Put v, n, t in decreasing order.
t, n, v
Suppose -2*f - 2*j = -j + 7, f = 5*j + 2. Let y be ((-4)/(-3))/((-2)/f). Let r be 3/(-6)*1*y. Sort r, 2, -3 in ascending order.
-3, r, 2
Let i = 11.8 - 5.6. Let u = i - 6. Sort -5, -1, u in decreasing order.
u, -1, -5
Suppose -4*z - 10 = -6*z. Sort z, -3, 4 in descending order.
z, 4, -3
Suppose -3*g = -3*u - 5*g + 7, -u - 2*g = -5. Suppose -n = n - 4. Suppose n = -0*v + v. Put u, v, 5 in descending order.
5, v, u
Let x = -0.14 - -0.14. Let u = 0.4 + x. Sort 0.1, -0.11, u.
-0.11, 0.1, u
Let n(m) = -m**2 + 5*m - 6. Let w be n(5). Sort w, 1, 5 in descending order.
5, 1, w
Let a be (15/(-6) + 0)*-2. Let p = -0.149 + 0.109. Sort -1/6, a, p in decreasing order.
a, p, -1/6
Suppose 5*t - 4*d + 10 = -3*d, -2*d + 12 = -2*t. Sort -5, 0, t.
-5, t, 0
Let i = 24 - 26. Sort i, -5, 2 in descending order.
2, i, -5
Suppose 0 = -0*k + 3*k. Let n = -3 + k. Sort 7, n, -4 in decreasing order.
7, n, -4
Let v = 0.34 - -0.06. Let n = -0.8 + v. Let u = -1.1 - -1. Sort u, n, -1/4 in ascending order.
n, -1/4, u
Let g be 2/(-11) - 4/(-22). Suppose g = 5*z - z - 4. Let k(p) = -p**2 - 4*p + 9. Let s be k(-5). Sort z, s, 2 in decreasing order.
s, 2, z
Let k(l) = l - 4. Let h be k(6). Let y(d) = -d**2 + 5*d - 1. Let j be y(3). Sort 0, j, h in decreasing order.
j, h, 0
Let w = 113/9 + -1189/99. Sort -4, -8, w in descending order.
w, -4, -8
Let a = -85 + 339/4. Sort -3/8, 5, a in decreasing order.
5, a, -3/8
Suppose 1 - 3 = -i. Let s be (-3)/6*2*-5. Let q = 27 - 23. Sort s, q, i in increasing order.
i, q, s
Suppose -y + 18 = -7*y. Sort -4, 3, y in increasing order.
-4, y, 3
Suppose -t - 3 = -2*t. Suppose 5*h + t*z - 5 = 0, -2*z + 2 = h + 1. Sort h, -1, 0.
-1, 0, h
Let t be 2/(-10) + 26/5. Let m be (-2)/8 - (-3)/(-4). Sort -3, m, t in descending order.
t, m, -3
Let k(o) = -2*o - 2. Let s be k(-4). Let z = s - 1. Suppose -l - 5*n - 8 = 0, -2*n + z = -3*l + 2*n. Sort -2, -5, l in decreasing order.
-2, l, -5
Let f = -0.39 + -0.11. Sort -0.1, 21, f in descending order.
21, -0.1, f
Let p = 40/133 + -2/133. Put 1, p, 0.4 in decreasing order.
1, 0.4, p
Let d be 9/3*2/9. Let t(x) = -15*x - 6. Let r be t(6). Let f be r/(-165) + (-6)/15. Put -1, d, f in descending order.
d, f, -1
Let y be 3*((-164)/(-84) + -2). Sort -2/19, y, 2 in decreasing order.
2, -2/19, y
Let y = -1.6 + 1.9. Put y, 1/9, 3 in descending order.
3, y, 1/9
Let q = -9 - -10. Let l be q/(-1)*(1 - 2). Put -1, 3, l in ascending order.
-1, l, 3
Suppose 0 = 2*s + 2*s - 2*r + 18, 0 = 3*s - 3*r + 21. Sort s, 5, 2, 4 in increasing order.
s, 2, 4, 5
Let f = -5.8 - -5.5. Let m be 6/3*(-1)/(-9). Sort m, -5, f in decreasing order.
m, f, -5
Let u = -2 + 4. Suppose 4*l - 6 = -u*w, 0*w = -4*l + 3*w - 9. Suppose l = -2*i + i - 3. Sort 5, i, -2.
i, -2, 5
Suppose x = 6*x + 45. Let g = x - -5. Let v = 13 - 13. Sort 5, v, g.
g, v, 5
Suppose 2*p - 1 = 5*q + 4, -3*p = 15. Let a = 96.1 + -96. Put a, q, -1 in ascending order.
q, -1, a
Suppose -b - 3 + 2 = 0. Suppose -2*c = -5*c + 15. Put b, c, -5 in decreasing order.
c, b, -5
Suppose 0*v = -v - 3, 2*g - 4*v - 84 = 0. Suppose 3*d + g = 7*d. Let t = 7 - d. Sort t, 1, 2 in decreasing order.
2, 1, t
Let y be (2 + -2)*(-2)/2. Let h be (44/33)/((-2)/3). Put y, -3, h in ascending order.
-3, h, y
Let o = 169 - 187. Put o, 2, 0.1, 2/17 in decreasing order.
2, 2/17, 0.1, o
Let z be (8 - (-1)/1)*-1. Let f be z/(-2)*5/15. Sort 0.2, f, -5 in descending order.
f, 0.2, -5
Let y(x) = x. Let k be y(5). Let h = 17 - 13. Put 1, h, k in descending order.
k, h, 1
Let q = 2 + -6. Let d = -0.022 + 4.022. Let a = 3 + 2. Sort d, q, a.
q, d, a
Let x = -10 + 5. Let l = 11 - 9. Suppose 3*b + 12 = 3*z - 0*z, z - l*b - 9 = 0. Sort z, 4, x in ascending order.
x, z, 4
Let u = 10 + -26/3. Let f = -1 + 0. Let b be ((-5)/10)/(7/2). Sort f, u, b in decreasing order.
u, b, f
Let h = 65 - 62. Sort -5, h, 2, 0 in increasing order.
-5, 0, 2, h
Let g be 1/(1 - (-2)/(-1)). Let z(p) = p**2 + 22*p + 25. Let s be z(-21). Sort 2, g, s.
g, 2, s
Let p(l) = 2*l - 16. Let n be p(10). Sort -0.2, -2, n in ascending order.
-2, -0.2, n
Let j(d) = d - 3. Let g be j(0). Sort -5, 3, g in ascending order.
-5, g, 3
Let p(h) = 2*h**3 + h**2 - 1. Let d be p(1). Let g = 7 + -4. Suppose l + 0*l = -g. Sort l, d, -2.
l, -2, d
Let i = 10 - 4. Let b(r) = -3 + i + 6 - 2*r. Let j be b(6). Put 2, 0, j in increasing order.
j, 0, 2
Let r = -8 - -15. Let p = -6 + r. Let a = -4 + 7. Sort 4, a, p.
p, a, 4
Let i(x) = x**3 - 5*x**2 - 5*x - 8. Let k(y) = -y - 2. Let z be k(-8). Let r be i(z). Let o = -1 - r. Put o, 4, 3 in decreasing order.
4, 3, o
Let q = -8 + 9. Let f = -3.3 - -0.3. Let w = f + 3. Sort 5, w, q in increasing order.
w, q, 5
Let z(j) = -j**2 + 7*j - 5. Let s = 2 + 4. Let a be z(s). Suppose 3*f - 5*t + 9 = 0, -3*t = 3*f - 7 - 8. Sort 5, f, a in increasing order.
a, f, 5
Let u(v) = -v**2 + v + 21. Let q be u(5). Sort -1, q, 4, 0 in descending order.
4, q, 0, -1
Suppose 3*x - 81 = 3*k, -7*k - 82 = -2*x - 12*k. Sort -1, 0, x.
-1, 0, x
Let f be ((-9)/45)/((-2)/4). Let r = -3 + 2.7. Sort f, -5, r.
-5, r, f
Suppose -z + 8 = 3*z. Put 3, 4, z in decreasing order.
4, 3, z
Let s(f) = 9 + 6*f - 6*f + f. Let z be s(-7). Sort 5, -3, z.
-3, z, 5
Let q = -26 + 27. Sort q, 3, -4, -19 in descending order.
3, q, -4, -19
Let h = 1 + 2. Sort -5, 1, h in increasing order.
-5, 1, h
Let o = 0.06 - 5.06. Let p = o + 2. Let s = 131/90 - -2/45. Sort -1, s, p in decreasing order.
s, -1, p
Let w be -1 + 1 + 1 + 2. Put 4/5, w, -4 in descending order.
w, 4/5, -4
Suppose -2*b - 20 = 3*b. Suppose 0 = 3*d - 5*k - 16, -4*d + 2*k + 5 = -7. Sort -1, d, b in descending order.
d, -1, b
Suppose -5 = -6*a + a. Sort a, 3, 5 in decreasing order.
5, 3, a
Let q = -5002/55 + 452/5. Let k = -71/40 - -7/5. Let c = -3 + 2.8. Sort q, k, c in increasing order.
q, k, c
Let q(w) be the first derivative of -w**2 + 9*w + 4. Let d be q(6). Sort d, 2, -5 in descending order.
2, d, -5
Let n be 12/(-16) - (-4 - -3). Put -2, n, -1/3 in descending order.
n, -1/3, -2
Let z = 20 + -25. Let u = 0.2 + -0.2. Let b = 1 + u. Sort b, -1/3, z in descending order.
b, -1/3, z
Let w = 7/10 + -19/70. Sort w, 2, 3 in descending order.
3, 2, w
Let p(r) = r**2 + 2*r + 1. Let t be p(-3). Sort t, 1, -2 in ascending order.
-2, 1, t
Let o be -1 - -4 - (2 + 6). Suppose 0 = 3*l - 29 - 7. Suppose -a + l = -5*w, -w + 3*a = -a + 10. Put -3, o, w in increasing order.
o, -3, w
Suppose -5*c - t = -0*t - 32, -c = -4*t + 2. Suppose -3*w - 5*o = -17, c - 5 = o. Let z = 1 + w. Put 0, -2, z in ascending order.
-2, 0, z
Suppose 15 = 3*y + 3*v, 2*v - 2 = 4*y - 10. Let x = -160 + 162. Put x, -1, y in ascending order.
-1, x, y
Let p = 12.8 - -0.2. Let r = -13 - -5. Let j = p + r. Put j, 2, -0.5 in ascending order.
-0.5, 2, j
Suppose c - 2*p - 1 = 0, 4*p = 4*c - 0*c - 12. Let j(a) = a**2 - 3*a. Let o be j(4). Let s = o - 0. Sort -5, c, s in ascending order.
-5, s, c
Let h be 3 - 6 - (-202)/70. Let w = h + -2/7. Put 5, w, -0.5 in increasing order.
-0.5, w, 5
Suppose 0 = f + 2*w - 0 - 1, 0 = f - w - 1. Let x be 3/3 + (-22)/14. Let v = 183 - 2377/13. Sort v, x, f in ascending order.
x, v, f
Suppose -2*d = -13 + 3. Suppose m - 5*h + 9 = 0, -2*m = m - d*h + 7. Suppose 0 = -3*l - 4*z + 32, -4*z + 21 = -l + z. Put m, -5, l in descending order.
l, m, -5
Suppose -i - 3*i + 8 = 3*n, -i - 3*n = -2. Let c be i/(-7) + (-132)/28. Sort -2, c, -3 in increasing order.
c, -3, -2
Let z be (0 - 1)*(0 - -1). Put 3, 5, 2, z in descending order.
5, 3, 2, z
Let i be (-1)/(((-4)/(-12))/1). Put 2, 0, i in descending order.
2, 0, i
Suppose -2*r = 5*k + 19, -2*k + 7 = -5*r + 32. Suppose -2