p, 0.3, -7 in descending order.
p, 0.3, -7
Let b = 32 - 18. Let g = b + -9. Put -2, -1, g in increasing order.
-2, -1, g
Let n = -3 - -3.05. Let o = n - 5.05. Let a = 3.1 + -2.9. Put 3, a, o in descending order.
3, a, o
Let a(c) = c + 12. Let g be a(-13). Put g, -3, 1 in descending order.
1, g, -3
Let i = -2.9 - -3. Let p = i - -0.4. Let l = 2.5 - p. Sort -1/3, -4/3, l.
-4/3, -1/3, l
Let x = 5 - 13. Sort -2, x, -0.2.
x, -2, -0.2
Let i = 0 - -1. Let w be (0 + 1)*-1 - 3. Let k be (-3)/6 - 2/4. Put k, i, w in descending order.
i, k, w
Let j = 0.38 - -0.02. Let k = j - 0. Let i = -3.1 + -0.9. Put k, -3, i in increasing order.
i, -3, k
Let v be (1 + 2)/(12/(-20)). Sort v, 3, -5/2, 2 in increasing order.
v, -5/2, 2, 3
Let l be 2*5/20*-2. Sort -3, l, 19 in increasing order.
-3, l, 19
Let t(p) = -p**2 - 5*p + 10. Let k be t(-6). Let o be ((-1)/(-2))/((-1)/(-2)). Put o, k, -5 in increasing order.
-5, o, k
Suppose -s - 2 + 0 = -2*m, -5*m + 5*s = -15. Suppose 2*l + 18 = -2*r, -2*l + 9 = -l - 5*r. Sort -4, m, l in descending order.
m, -4, l
Let o be 6/(-8)*4*-1. Sort -5, -1, o in decreasing order.
o, -1, -5
Let t = 0.4 + -0.2. Sort 0.4, t, 0, -1.
-1, 0, t, 0.4
Suppose 32 = 5*h + 2. Suppose 2*q + h = 5*q. Suppose -q*u + 6*u = 20. Sort 2, u, 0 in decreasing order.
u, 2, 0
Let y be 3*(-3)/18*-4. Suppose -y*r - 2*r + 20 = 0. Suppose 5 = -r*s - 2*j, -2*s = 2*s + 3*j - 3. Sort 4, -1, s.
s, -1, 4
Suppose 3*q = -9 + 3. Suppose -f + 4*f - 16 = 4*z, 1 = -z. Sort f, -4, q.
-4, q, f
Suppose 5*u = 2*x, 2*u = 3*u. Sort x, -3, 4.
-3, x, 4
Suppose -25 = -5*r, w = -r + 2 + 2. Sort w, -4, -6/5 in descending order.
w, -6/5, -4
Suppose 3*r = 2*r. Suppose x + r*l = -l + 4, -4*x + 2*l = -4. Suppose -8*c + 3*c - 25 = 0. Sort -2, c, x in ascending order.
c, -2, x
Let i be (-3)/(-3) + -3 - 18. Let k be (i/8)/((-1)/2). Let j = k + -7. Sort 0.4, j, 5.
j, 0.4, 5
Suppose 0 = 2*g + g. Suppose q - 9 = 5*p, -6*q = -q - 3*p - 23. Suppose -q*i = -21 + 1. Put 4, g, i in decreasing order.
i, 4, g
Let y = -5.972 + 0.072. Let h = y - 0.1. Sort 0, -1, h in ascending order.
h, -1, 0
Let x be (-2)/(-10) + 0 + 0. Let w = 43 + -46. Sort w, x, -0.08 in increasing order.
w, -0.08, x
Suppose -4*u + 8 + 8 = 2*w, 4*u - 20 = 0. Sort 4, w, -1 in increasing order.
w, -1, 4
Let f be (-28)/(-56)*(0 - -5 - -1). Sort f, 2, -5 in increasing order.
-5, 2, f
Let p be (-2)/6 - 11/3. Suppose 0 = 2*f + 12 - 6. Put 3, p, f in descending order.
3, f, p
Let b = 14 + -13.97. Let a be 1/2 - (-28)/8. Sort a, -0.1, b.
-0.1, b, a
Suppose 2*y - 16 = -2*y. Let x = -7 + 8. Sort -5, y, x in descending order.
y, x, -5
Suppose 0*g + 4*q = -4*g - 68, -4*q = g + 32. Let m be (-3)/g - 9/4. Put m, 0, -5 in decreasing order.
0, m, -5
Let l = -38.5 + 38. Sort -0.3, l, 0 in increasing order.
l, -0.3, 0
Let c = 3.5 + 8. Let w = c + -15. Let i = -4 - w. Put -4, i, 4 in decreasing order.
4, i, -4
Let i = 91/2 - 45. Put 8, i, 0.3 in decreasing order.
8, i, 0.3
Let m = 0 - 0. Let w(v) = -v - 1. Let h(s) = -s**2 + 12*s + 8. Let y be h(13). Let c be w(y). Put 1, m, c in decreasing order.
c, 1, m
Let n = 0.03 - 0.06. Let j = n + -2.97. Let m = 280.4 - 280. Sort j, m, 0.2 in decreasing order.
m, 0.2, j
Let t = -31 + 33. Sort -2, 0.4, t in ascending order.
-2, 0.4, t
Let w = 1167/8 + -146. Sort 3/2, 2/11, w, -2/5.
-2/5, w, 2/11, 3/2
Let l(d) = -d**2 - 3*d - 3. Let q be l(3). Sort -5, 0.2, q.
q, -5, 0.2
Let o = -36 - -177/5. Let p = -9 - -4. Sort o, -2/3, p in ascending order.
p, -2/3, o
Let b be ((-5)/6)/(4/6). Let c = 0.1 + 0.1. Sort 2/3, c, b in descending order.
2/3, c, b
Let j = 31/57 - 4/19. Let g = -766 + 765. Sort g, -5, j in ascending order.
-5, g, j
Let m be (6/(-9))/(-2 + (-11)/(-6)). Suppose -4*f + 10 = -2*f. Suppose 2 = 3*i - 7. Sort f, i, m in descending order.
f, m, i
Suppose -2*t + 20 = 2*t - 5*d, -3*t - 3*d = 12. Suppose t = -3*a - 1 - 2. Let v = a - -4. Put v, -0.1, 2 in decreasing order.
v, 2, -0.1
Let s = 0 + -17. Sort -4, 1, s in ascending order.
s, -4, 1
Suppose 3*s + 3*x = 18, -4*s + 5*x - 8 - 4 = 0. Suppose -i + 3 = -s*i. Put 3, -1, i in decreasing order.
3, -1, i
Let q(f) = 3*f**2 - f - 5. Let w be q(0). Sort -4, 2, w, 0 in decreasing order.
2, 0, -4, w
Let b be 1/(-2)*9/18. Sort 2, -1, -0.5, b.
-1, -0.5, b, 2
Let i = 10 - 6. Suppose -5*y = -3*d + 15, i*y = -d - 15 + 3. Let g = -2 - -1. Sort g, -2, d.
-2, g, d
Let r be (-7)/(-14) - 5/(-2). Sort -3/5, -5/3, r.
-5/3, -3/5, r
Suppose 15 = -6*h + 3*h. Let m = 16 - -16. Let b be ((-2)/4)/(4/m). Sort b, 3, h in descending order.
3, b, h
Let z(h) = -4*h**3 + h**2 + 2*h + 1. Let a be z(-1). Let d(w) = -w + 1. Let s be d(5). Sort a, s, 0 in decreasing order.
a, 0, s
Suppose -5*i = -2*q + 12, 2*i - 5*i - 6 = 0. Let w = 12 + -17. Suppose 2*t = -0*z - 4*z - 4, 0 = 4*t. Sort z, w, q in ascending order.
w, z, q
Let s be ((-3)/27*-3)/((-1)/(-6)). Sort -4, -1, 4, s in ascending order.
-4, -1, s, 4
Let m(u) = -u**3 + 7*u**2 - 4*u - 5. Let y be m(6). Suppose h = -4*h - 5*k - 5, k + y = 2*h. Sort 0, h, -4 in decreasing order.
h, 0, -4
Suppose 3*s - 4*s + 5*z = -1, -4*z + 22 = 3*s. Suppose 3*b - 5*m - s = -2*m, -4*b - m = 7. Put 4, -5, b in decreasing order.
4, b, -5
Let n = 0.08 + 0.42. Put -3, -0.4, 0.3, n in increasing order.
-3, -0.4, 0.3, n
Let n be -3 + (3 - (-8)/2). Let q(o) be the second derivative of -o**4/12 - o**3 + 4*o**2 + 2*o. Let c be q(-7). Put n, 3, c in descending order.
n, 3, c
Let j(l) = -l**2 + 4. Let z be j(0). Let w = 1.2 - 1. Let d = -11 + 10.7. Sort d, w, z.
d, w, z
Let z = -4.7 + 5. Let h(t) = -t**2 + 7*t - 7. Let b be h(5). Sort z, 4, b.
z, b, 4
Let g = 4.681 + 0.019. Let i = -5 + g. Let f = 0.1 + -0.2. Put i, -1, f in decreasing order.
f, i, -1
Let h = -4 - -7. Suppose 0 = -h*m + 4*o - 8*o + 3, 6 = -m + o. Let x be (-1)/m*0 - 5. Sort 0.4, x, 1/5 in decreasing order.
0.4, 1/5, x
Let y be (0 - 0)*(0 - -1). Sort 2, -5, -3, y in ascending order.
-5, -3, y, 2
Let g be (-44)/(-10) - 4/10. Let d(s) = 5*s**2 + 1. Let c(n) = -14*n**2 - 3. Let u(m) = 6*c(m) + 17*d(m). Let o be u(-1). Put 3, o, g in descending order.
g, 3, o
Let v(o) = -o**3 - o + 0*o - 91*o**2 + 86*o**2 - 9. Let a be v(-5). Put -3, 4, a in decreasing order.
4, -3, a
Let k = -42 - -41.9. Let y = -0.7 + 4.7. Sort k, -2, y in increasing order.
-2, k, y
Let h = 1.03 + -1. Let m = h - -2.97. Sort 2, m, 0.2 in increasing order.
0.2, 2, m
Let w = 5 - 9. Let a = w + 4. Sort 4, a, -3 in ascending order.
-3, a, 4
Suppose 4 + 2 = 2*a. Let l be (-54)/(-45)*(-10)/(-3). Put 7, a, l in ascending order.
a, l, 7
Let w = -1 + 6. Let a(h) = h**3 - 4*h**2 + 5*h - 4. Let l be a(4). Let q be (-4)/14 - l/(-154). Sort w, 0, q in increasing order.
q, 0, w
Let o = 2/301 + -620/2709. Let t(u) = 2*u**2 - 2. Let r be t(-2). Let z be r/(-9)*(-3)/(-13). Put o, -4, z in descending order.
z, o, -4
Let c = 1 + -5. Let o be (-27)/6 + 2/c. Let x be (-4)/(-14)*(o - -4). Sort -0.1, -4/7, x.
-4/7, x, -0.1
Let r = -6 + 4. Sort 4, r, 2.
r, 2, 4
Let d(u) = -u**2 - 4*u + 5. Let n be d(-5). Let h(i) = i + 3*i**2 + 0*i - i**3 - 2 + 4*i**2. Let c be h(7). Sort c, -5, n in decreasing order.
c, n, -5
Let a be (0 - 0)/(2*1/(-2)). Suppose 5*d + 2 = -3. Put -5, a, d in decreasing order.
a, d, -5
Let s = -9.4 - -48.4. Let r = -33.8 + s. Let p = -5 + r. Sort 1/4, -0.2, p in ascending order.
-0.2, p, 1/4
Let w = 2 - 1.9. Let n(z) = -2*z**3 + 2*z**2 - 2*z + 1. Let o be n(1). Put w, -5, o in increasing order.
-5, o, w
Let r = -2.1 - -2.09. Sort r, 1/7, -2 in descending order.
1/7, r, -2
Let u = 8 - 10. Let g = 0 + 0.1. Sort -0.4, g, u in increasing order.
u, -0.4, g
Let s(n) = 8 + 3 - 3 - n. Let m be s(9). Sort m, 4, 3 in ascending order.
m, 3, 4
Let s(u) = 4*u + 3. Let m be s(-2). Put 5, m, 2 in descending order.
5, 2, m
Let u = 0.086 + -10.086. Put 1/5, -5, u in decreasing order.
1/5, -5, u
Let c = 0.038 - 5.038. Sort c, 4/7, 2, -0.2.
c, -0.2, 4/7, 2
Let g be 11*1 + -7 + 4. Let s be ((-6)/(0 + 1))/(-1). Let b = s - g. Put -3, b, 4 in ascending order.
-3, b, 4
Let i = 7.18 - 0.18. Let z = i + -2. Sort -2, -5/3, z in decreasing order.
z, -5/3, -2
Let w(j) = -j**2 + 8*j - 5. Let b be w(6). Suppose -b = 5*x - 3*v, 5 = v + 1. Sort 2, 3, x.
x, 2, 3
Suppose 13*x + 9 + 30 = 0. Let i(y) = 4*y**2 + 4*y - 8. Let b(a) = -a**2 - a + 2. Let g(f) = -9*b(f) - 2*i(f). Let