= q + 9. Put -2, t, 3 in ascending order.
-2, t, 3
Let b = -3 + 9/4. Sort -4, 0, b in decreasing order.
0, b, -4
Let g = -2 + -3. Let n = 7 + g. Suppose -n*h - 20 = 2*h. Put 4, 5, h in decreasing order.
5, 4, h
Let a be 2/(-4) - (-34)/84. Suppose 3*l - 8 = 4. Suppose -11*w = -9*w + l. Sort 4, w, a in ascending order.
w, a, 4
Let x = 10 - 5. Let z = 6863 - 47584/7. Let l = -65 + z. Sort -1, l, x.
-1, l, x
Let t be (-2)/(-3)*-3 + -7. Let r be (-1)/3 - (-42)/t. Let v = 87 + -91. Sort r, v, 5.
r, v, 5
Suppose 0 = -5*v - 5, -1 = 4*l + 4*v - 7*v. Suppose -3*i + 0*d - d = -7, 2*i - 2*d + 6 = 0. Let m be l + (1/1 - i). Sort m, -5, -3 in ascending order.
-5, -3, m
Let s = 348/7 - 50. Sort -2/11, -5, 4, s in descending order.
4, -2/11, s, -5
Let d = -19.9 - -20. Let n(h) = 5*h - 1. Let k be n(1). Put d, k, 5 in ascending order.
d, k, 5
Let w(b) = 2*b**2 + 12*b + 1. Let m be w(-6). Put -5, 13, -2, m in ascending order.
-5, -2, m, 13
Let x be (2 - (-4)/(-5))/((-60)/200). Sort 3, -7, x in decreasing order.
3, x, -7
Let n(f) = 4 - f - 4*f**2 + 3*f**2 + 0*f**2. Let k be n(-3). Suppose 3*w - 4 = 4*z, 0*z + 5*w = z + 1. Put z, 2, k in decreasing order.
2, z, k
Let d(c) = c**3 - 5*c**2 + 4*c + 1. Let k be d(3). Suppose 7 - 19 = -3*s. Put k, -4, s in decreasing order.
s, -4, k
Let q = -3 + 1. Suppose 0 = -3*t + t + 2. Let h = -4 - -8. Sort t, h, q in decreasing order.
h, t, q
Suppose -5*q - w + 104 = 0, 4*w = 3*q + 3*w - 56. Suppose v + q = 3*v. Let u be (1/2)/(v/(-4)). Sort 2/7, u, -3/7 in descending order.
2/7, u, -3/7
Suppose 0 = 4*p + 2*p + 54. Suppose -4*x = 17 + 3. Let s = p - x. Sort -2, s, 3.
s, -2, 3
Let m = -8 + 8.1. Let t = -14 + 13. Sort 5, t, m in descending order.
5, m, t
Suppose w = 6*w. Put 4, w, 3 in descending order.
4, 3, w
Suppose a + 3 = -v - v, 4*v = -4*a - 4. Let o(z) = -z**3 + z + 5. Let s be o(0). Put a, -4, s in ascending order.
-4, a, s
Let l = 0.5 + -0.3. Let c = 0.1 + l. Let k = 5.6 + -6. Sort k, c, -2 in descending order.
c, k, -2
Suppose -r + 12*r - 44 = 0. Let g be ((-2)/(-2) + 2)/(-1). Put -2, g, r in increasing order.
g, -2, r
Let v(q) = -q**3 + 7*q**2 + 2*q - 15. Let m be v(7). Let u be (1/(-1))/(-2 - -1). Put m, u, 0 in ascending order.
m, 0, u
Let s = -17/12 + 5/3. Put -0.5, -3, s, -4 in decreasing order.
s, -0.5, -3, -4
Let n(h) = -3*h**2 - h + 1. Let x be n(1). Let s be 1/(-3) + 1/x. Let r be (-11 - -14)/(7 - (-8)/(-4)). Sort 0.2, s, r.
s, 0.2, r
Suppose 2*k - 42 = -g, 0*g - 30 = -2*k + 5*g. Let d = k - 20. Sort -11, -3, d in descending order.
d, -3, -11
Let n be 0/((2 - 1) + -3). Suppose 5*i = d + 18, 4*d - 2*i + 18 = -0*d. Let r = -18 + 13. Sort r, d, n in increasing order.
r, d, n
Let x(v) = v**3 + v + 1. Let g(l) = 3*l**3 + l + 2. Let y be 2/(4 - 3) + -3. Let u(t) = y*g(t) + 2*x(t). Let d be u(0). Sort -0.5, d, 2 in descending order.
2, d, -0.5
Let d = 124 - 622/5. Let o = 6 + -3. Put o, d, 0.2 in ascending order.
d, 0.2, o
Let c = 0.2 - -4.8. Let n = 2.5 - 3.5. Put c, 1/4, n in descending order.
c, 1/4, n
Let t be (2/(-6))/((-7)/84). Sort t, -6, 3.
-6, 3, t
Let j be ((-18)/621)/((-4)/6). Let q = -59/299 + j. Sort 6, q, 0 in descending order.
6, 0, q
Let w = -1 - 4. Let h = -74/3 - -26. Sort 0.1, w, h in ascending order.
w, 0.1, h
Let s = -59/55 + 14/11. Let i(d) = 2*d**3 - 1. Let g be i(-1). Sort g, -0.3, s in decreasing order.
s, -0.3, g
Let r = -75 + 62. Sort r, -0.1, 0.1, 3.
r, -0.1, 0.1, 3
Let n(u) = 9*u - 34. Let w be n(4). Sort w, -2/7, 5 in descending order.
5, w, -2/7
Let m be (1 + (-3 - -4))*1/(-2). Sort -5, 0, m, -2 in descending order.
0, m, -2, -5
Suppose -j - 1 = -2. Let h(s) = -s**3 + 2*s**2 + s + 1. Let t be h(2). Suppose 0 = 3*n - 10 - 2. Put t, j, n in decreasing order.
n, t, j
Let s = -6.8 - -7.3. Sort -4, 0, -0.14, s in decreasing order.
s, 0, -0.14, -4
Let s(h) be the second derivative of -h**4/12 + 7*h**3/6 - 3*h**2 + 3*h. Let p be s(5). Sort 1, p, -1 in decreasing order.
p, 1, -1
Suppose z - 3*o = -5, o = 5*z + 2*o + 25. Let v be 3/z*(-2)/(-2). Let i = 0.4 + -0.5. Sort i, v, -4 in ascending order.
-4, v, i
Let g = 6 + -35/6. Put -2/7, 0.4, 0.1, g in ascending order.
-2/7, 0.1, g, 0.4
Let i(l) be the second derivative of -l**5/20 + 5*l**4/12 - 2*l**3/3 + 2*l**2 + 2*l. Let x be i(4). Put -4, x, -1 in increasing order.
-4, -1, x
Let z(q) = q**3 - 5*q**2 - q + 4. Let i be z(5). Sort 4, 5, i.
i, 4, 5
Let o = 692 - 691. Let w be (-1 - -3)/(2/5). Put o, 3, w in descending order.
w, 3, o
Let m = 59 + -64. Sort -5/3, -2, m, 0.4 in decreasing order.
0.4, -5/3, -2, m
Suppose -n + 0*n + 10 = 0. Suppose n*a - 5*a - 20 = 0. Sort a, -0.3, -5 in ascending order.
-5, -0.3, a
Let f = -0.5 + 0.5. Put -4, 5, f, 2/7 in descending order.
5, 2/7, f, -4
Let v(y) = -y**3 - 6*y**2 - 7*y - 7. Let f be v(-5). Suppose -4 = r - f. Suppose -2*b - 2 + 4 = 0. Put -5, b, r in descending order.
b, r, -5
Let k = 3 + 0. Let y(d) = -2*d**2 + 27*d + 18. Let b be y(14). Put b, k, -1 in descending order.
b, k, -1
Let n(d) = -d**2 + 3*d + 41. Let s be n(8). Let q = 12 + -8. Suppose 2*f + 26 = -q*m, 3*m - 10 = -4*f - 42. Put m, 5, s in descending order.
5, s, m
Let d be (4/(-24))/((-2)/(-9)). Sort d, 2/11, -5 in descending order.
2/11, d, -5
Let a = 14 - 9. Let d = -17.9 + 13.9. Put d, a, 0 in decreasing order.
a, 0, d
Let n = -0.33 - -6.83. Let t = n - 3. Let m = t - 4. Sort m, -2/3, -0.4 in ascending order.
-2/3, m, -0.4
Let w be ((4 - -2) + -2)/(-1). Let a be ((-10)/(-6))/(w/12). Let g be (-6)/(-30) - 4/a. Sort g, 3, 0 in decreasing order.
3, g, 0
Let g(x) = x**3 + 4*x**2 - 5*x + 1. Let l be g(-5). Let y = 0 + l. Let z = 48 + -241/5. Sort z, 2, y in descending order.
2, y, z
Let v be 3/(-6) - (-95)/(-10). Let r = v - -11. Sort -2, 0, r in increasing order.
-2, 0, r
Let o = -18 + 13. Put -0.4, -0.1, o in descending order.
-0.1, -0.4, o
Suppose 5*z = -2*g - 8, -2*z = -g - 0*g + 5. Sort 2, -4, z in increasing order.
-4, z, 2
Let n = -40 - -39. Let u(b) = -b**2 + 4*b + 6. Let f be u(6). Sort 2, f, n in decreasing order.
2, n, f
Let n = -0.062 - -0.162. Let v be -1 + 3 - (1 - 3). Put v, n, -0.2 in decreasing order.
v, n, -0.2
Let x = -5 - -1. Sort 3, x, 4, -1.
x, -1, 3, 4
Let n be (0 - (-2)/4)*10. Put 1/7, -0.1, n in increasing order.
-0.1, 1/7, n
Suppose -u + 1 = 2. Suppose 0*d + 4*d = -16. Put d, u, 5 in increasing order.
d, u, 5
Let b = -155/1368 - 2/171. Sort 0.5, b, -4, 8 in increasing order.
-4, b, 0.5, 8
Suppose -3*p + 0*p = -12*p. Suppose 0*y - 9 = 3*y. Put p, 3, y in decreasing order.
3, p, y
Let p = -12 + 11. Let v = 0.38 - -0.02. Put 2/17, v, p in increasing order.
p, 2/17, v
Let h = 0 - 0.01. Let z = h + 0.01. Let j = 4 + -3. Put j, -0.2, z in decreasing order.
j, z, -0.2
Let v = 14071 - 10002. Let s = -8315/2 + v. Let o = 87 + s. Put 5, 3, o in increasing order.
o, 3, 5
Let z = 23 - 26. Sort -1, -2, z, 4.
z, -2, -1, 4
Let q = 5.5 - 3. Let a = -3 + q. Put a, -0.1, 4 in decreasing order.
4, -0.1, a
Let r = -1/165 - 103/1155. Put 4, -5/2, r, -1/6 in decreasing order.
4, r, -1/6, -5/2
Let m be (-3)/9 - 70/15. Let t(q) = -q**3 - 4*q**2 + 5*q - 1. Let v be t(m). Sort v, 2/3, -2.
-2, v, 2/3
Suppose 4*o = 6*o - 8. Suppose 3*b = 3*n - 12, -o*n - n + 15 = 0. Suppose 3 + 38 = 4*m + 5*v, 2*v - 18 = -2*m. Sort m, b, 1 in increasing order.
b, 1, m
Let k = 90.7 - 91. Sort k, 1/10, 2, 5 in increasing order.
k, 1/10, 2, 5
Let s = -0.81 - -8.81. Let x = 0.2 - 0.7. Sort -0.1, s, x in decreasing order.
s, -0.1, x
Suppose -8*h = -7*h - 2. Let d = -2 + 6. Sort h, 0, d in descending order.
d, h, 0
Let o be 1 + 2*3/3. Let m be o/((-1)/((-6)/3)). Let r be (m/(-4))/(15/20). Put 5, -3, r in increasing order.
-3, r, 5
Suppose -5*m + 5 = -0. Sort 3, -1, m.
-1, m, 3
Let m = 8 + -7.8. Put m, -0.05, 0.4 in increasing order.
-0.05, m, 0.4
Let c = -13/4 + 177/52. Let q(n) = -n**2 - 10*n + 4. Let w be q(-10). Suppose 2*l = 2*x - 6, 2*x + 5 = w*x - 3*l. Sort x, c, -5 in decreasing order.
x, c, -5
Suppose -2 = -5*s + 8. Let d be 9*(10/(-6) + s). Suppose d*r + 4*q - 13 = 0, -5*r + 3*q - 21 = -4. Put 4, r, 0.4 in decreasing order.
4, 0.4, r
Suppose 2*y + 17 + 1 = 0. Let v = y - -7. Sort -1, v, -0.5.
v, -1, -0.5
Let j = 0.5 + 2.5. Let d = 0 + j. Let l = d - 4. Sort -0.4, l, 1 in descending order.
1, -0.4, l
Suppose 2*n - 35 = -27. Let t be (-6)/3*(-2)/4. Sort n, 