*h - 5*p - 3 = -33. Sort 1, h, o in decreasing order.
h, 1, o
Let d(f) be the third derivative of -f**4/24 - 5*f**3/6 - f**2. Let z be d(-4). Sort z, 0, 5 in increasing order.
z, 0, 5
Suppose 0*s = 5*s. Suppose 3*l = -5*h + 2, 3*l + 6*h = 3*h. Put -2, l, s in descending order.
s, l, -2
Let r(y) = -y**3 + y**2 + 34. Let d be r(0). Let k(p) = p**3 + 15*p**2 - p - 7. Let v be k(-15). Let b be (-2)/v - d/(-8). Sort b, -3, 5.
-3, b, 5
Let n = -13 - -15. Suppose c + 5*f = n*c - 11, f = -5*c - 23. Let t = 21/4 + -31/4. Sort 0.2, t, c.
c, t, 0.2
Let z(h) = -h**2 + h + 2. Let f(a) = 3*a - 1. Let w be f(1). Let g be z(w). Let c(b) = -b**2 + 2. Let o be c(2). Put o, g, -0.3 in ascending order.
o, -0.3, g
Let m = 0.2 - 0.3. Let o = 0.3 + m. Let p = -0.41 - -0.21. Sort o, p, -0.3 in descending order.
o, p, -0.3
Suppose -3*q - 13 + 1 = 0, 0 = -m - 3*q - 22. Let s = m + 20. Suppose -15 = -5*u + s. Sort -4, u, 2 in decreasing order.
u, 2, -4
Let b(o) = -o**3 - 7*o**2 - 5*o + 7. Let k be b(-6). Let a be (2/(-3))/(8/(-12)). Let w be 52/24 + a/(-6). Put w, 5, k in descending order.
5, w, k
Let y = 6 - -3. Suppose y = 4*o + 1. Let h(q) = 5*q**3 + q + 1. Let b be h(-1). Put o, b, 3 in increasing order.
b, o, 3
Let k = -41.6 - -41. Put k, 3, -3 in ascending order.
-3, k, 3
Suppose 0 = -4*r + 1 - 9. Let t(l) be the second derivative of -2*l**3/3 + l**2/2 + 3*l. Let g be t(1). Put g, r, 0 in increasing order.
g, r, 0
Let h = -56 + 225/4. Let y be 4/26 - 10206/(-78). Let i = y - 521/4. Sort h, -1/2, i in decreasing order.
i, h, -1/2
Let m = 4521533/60 - 75357. Let p = m + -13/12. Sort -3/8, p, -1 in descending order.
p, -3/8, -1
Suppose -2*f - 2 = 8. Put 3, f, 1/4 in increasing order.
f, 1/4, 3
Let s(k) = k**3 + 6*k**2 - 40*k - 3. Let u be s(-10). Suppose 5*h - 21 = -4*x, 4*h = 3*x + 10 + 13. Sort h, -4, u in increasing order.
-4, u, h
Let z be 22/8 - (-5)/20. Suppose -z*m + 21 = 3*t, -m = -5*m + 16. Put -3, t, 4 in descending order.
4, t, -3
Let k = -3.56 + -0.04. Let u = k + 4. Let x = u + -0.7. Sort -3, x, 3.
-3, x, 3
Let s = -67 + 72. Put -4, 4, s in decreasing order.
s, 4, -4
Suppose -3*q = m + 1, -3*q + 1 + 0 = -m. Let u = 14 + m. Suppose -u = 5*o + 12. Sort o, 4, 2 in ascending order.
o, 2, 4
Let s = 102.2 - 117. Let c = -15 - s. Sort -3/8, 3, c in ascending order.
-3/8, c, 3
Let u = -3.4 + -0.6. Let k be ((-9)/(-12))/((-21)/12). Sort u, -3, k.
u, -3, k
Let v be ((-20)/25)/(-1 - (-14)/10). Let g = -8 - -4. Put 1, v, g in increasing order.
g, v, 1
Let q(x) = -x**2 + 4*x + 1. Let p be q(4). Let l = -2.959 + 0.059. Let v = -3 - l. Sort p, -4/3, v in decreasing order.
p, v, -4/3
Let p be ((-50)/(-2))/(-6 - -2). Let r = 6 + p. Let w = 3 + 2. Sort r, w, -4.
-4, r, w
Suppose 2*d - 10 = -0. Sort -2, d, -10/9 in descending order.
d, -10/9, -2
Suppose -s = -6*s + 20. Let u be s/(-22) - 4/(-22). Suppose 5*k = -4*h + 21, -k + 0 + 7 = -2*h. Sort 3, k, u in descending order.
k, 3, u
Suppose 37*r = 33*r + 164. Suppose 5*k + 5*t + 9 = t, -4*t + r = -5*k. Sort -2, 2, k in descending order.
2, -2, k
Let w = -139.6 - -140. Let l = 0.3 + 2.7. Put l, 2/3, w in descending order.
l, 2/3, w
Suppose -3*q + 16 = 2*q - 3*i, 0 = 5*q + 5*i. Suppose 0 = -5*s + 12 - 2. Suppose q*o = f + 2, -4*f = f + s*o + 10. Sort 0, -3, f in descending order.
0, f, -3
Let q be 1/(-6)*(-4)/5. Suppose 10 = 9*z - 7*z. Sort -1/6, z, q in ascending order.
-1/6, q, z
Let a = -79 - -80. Let q(z) = -z**3 + 6*z**2 + 6*z + 2. Let n be q(7). Sort n, a, -6 in descending order.
a, n, -6
Let q = 0.99 + -1.39. Sort 5, q, 3, 10 in descending order.
10, 5, 3, q
Let i be (16/(-56))/(6/(-14)). Put i, 2, -4 in decreasing order.
2, i, -4
Suppose 11 = -3*s + 44. Suppose -z = z + 4, 3*j = -5*z - 22. Sort j, 4, s in decreasing order.
s, 4, j
Let g = -0.27 + -0.23. Sort g, -0.07, -3/4.
-3/4, g, -0.07
Let l = 1 - 0.8. Let r = 0.1 + -0.2. Let k = r + l. Sort k, -1, 0.4 in decreasing order.
0.4, k, -1
Let h = -3 - -2.5. Let l = -3.68 + -0.32. Sort -5, h, l in descending order.
h, l, -5
Let l(w) = w**2 + w - 1. Let f be l(-3). Let u(k) = -k - 9. Let i be u(-8). Let s be 1 + (3/3 - i). Put f, s, -2 in increasing order.
-2, s, f
Suppose 2*z + 4*s + 24 = 0, s - 16 = 3*z + 2*z. Sort z, 0, -1, 2 in decreasing order.
2, 0, -1, z
Let n = 7 + -6. Let f = n + 3. Sort -5, 0.5, f.
-5, 0.5, f
Suppose 5*t - 25 = 0, -21 = -3*o - 5*t + 2*t. Suppose -4*f - 2*x - 18 = 0, o*x + 7 = f - 1. Let m = 3 + -3. Put 5, m, f in decreasing order.
5, m, f
Let g(w) = -w**3 - 7*w**2 - 5*w + 8. Let h be g(-6). Let l = -7 + 4. Put l, h, 4 in ascending order.
l, h, 4
Let a be (1 - 0)*(2 + 1). Let p = 0.01 + 4.99. Put -2/7, p, a in decreasing order.
p, a, -2/7
Suppose -3*q + 6 = -0, -2*q = m - 9. Suppose -2*r - 2*w = 10, m*r - 5 = 2*w - 2. Put r, -3, -2 in descending order.
r, -2, -3
Let r = 177 - 179. Sort r, -1, 8 in descending order.
8, -1, r
Suppose a = -q - 4, -20 = 4*a - 8. Put 0, 5, q in increasing order.
q, 0, 5
Let d = 5/11 - 46/77. Suppose -10*l + 3 = -11*l. Sort d, l, 1.
l, d, 1
Let v(p) = p - 3. Let z be v(-3). Sort 1, z, -4 in ascending order.
z, -4, 1
Let n(a) = -a**2 - 10*a - 6. Let l be n(-9). Put l, 1, -5 in descending order.
l, 1, -5
Let a be 5 - (0/2)/(-2). Let g be (2/6)/((-12)/108). Sort 0, g, a in increasing order.
g, 0, a
Let a(u) = -u**2 + 7*u - 6. Let t be a(6). Suppose 3*j - 8 = -j. Let m(o) = o + 6. Let c be m(-8). Sort t, c, j in ascending order.
c, t, j
Let n = 24.8 + -25. Sort -0.3, n, -0.1 in descending order.
-0.1, n, -0.3
Suppose -3*v = 2 - 11. Let c = 1 - -5. Suppose c + 0 = v*x, 5*x = -s + 12. Put 5, -1/5, s in increasing order.
-1/5, s, 5
Let d(p) = 1 + 2*p - 16 + 0*p. Let s be d(10). Put 4, s, -4 in increasing order.
-4, 4, s
Suppose -7 = -3*i - 1. Suppose -5*r + 2 = 3*c, 2*c - 2*r = i*r + 16. Suppose -2 = -3*q + 7. Sort 2, q, c in decreasing order.
c, q, 2
Suppose -2*n - 5*p = -3*n + 5, -n + 5 = 2*p. Suppose 0*b = -2*b + 26. Suppose q + 6 + 1 = -2*y, -3*q = 4*y + b. Put n, q, 0.4 in ascending order.
0.4, q, n
Suppose 16 = -2*k - 2*k. Sort 2, -6, -2, k in increasing order.
-6, k, -2, 2
Suppose 2*y - 21 = -25. Sort 4, -6, y, 2 in increasing order.
-6, y, 2, 4
Suppose 0 = 3*q + 2*u - 16, 2*q - 4*u + 3 = 19. Let z = -1 + q. Suppose -m + 1 = 4. Sort -4, m, z in decreasing order.
z, m, -4
Let d be -2*62/(-32) + -4. Sort -3/4, 4, d, -2/13 in ascending order.
-3/4, -2/13, d, 4
Let i = 7.03 + -7. Put 1, 1/2, i in descending order.
1, 1/2, i
Let d(z) = z**3 + 5*z**2 + 4*z + 2. Let c be d(-4). Suppose -a = c*a - 105. Suppose -a + 10 = -5*t. Put 0, t, 2 in increasing order.
0, 2, t
Let c = -5 - -2. Let s be (3/(-9))/(2/(-12)). Suppose -2*p + 1 = 3*o, 0*o = 5*p - o + 23. Put s, c, p in ascending order.
p, c, s
Suppose -7*v - 28 = 7. Sort -1, 18, v.
v, -1, 18
Suppose 2*g - 2 = 4*k, -4*g - 2 = -g - k. Put -6, 0.06, g in increasing order.
-6, g, 0.06
Let z be (-8)/(((-12)/(-7))/(-2)). Let w = -26/3 + z. Put 3/5, w, -3/2 in ascending order.
-3/2, 3/5, w
Let i = -0.6 + -0.9. Let p = 1 + i. Let h = -3/26 + 93/130. Sort h, -5/6, p.
-5/6, p, h
Let l = 4.29 - 0.29. Put 3/2, -2, l in descending order.
l, 3/2, -2
Let d be (-4)/1*(-3)/4. Let s = 3 - d. Let m = 22 - 17. Sort m, -4, s.
-4, s, m
Let l = -69/4 + 17. Sort 0.4, l, -2/19, 4.
l, -2/19, 0.4, 4
Let i = 6 - -2. Let k = i - 7. Sort 2/3, k, -2/11 in descending order.
k, 2/3, -2/11
Let f(u) = u**3 - 8*u**2 - 6*u - 5. Let l be f(9). Suppose -2 = 5*m - l. Sort 0.1, -3/2, m in descending order.
m, 0.1, -3/2
Let m = -1168/1295 - -1/518. Let v = -3/2 - m. Put 0.5, 1, v in decreasing order.
1, 0.5, v
Let j be 2 + -1 - 5 - -3. Let w be j/((-9)/(-6) + 1). Sort 0.4, -4, w in descending order.
0.4, w, -4
Let h = -51 + 23. Let b be (-22)/14 - (-12)/h. Let u = 8 - 4. Put u, 5, b in increasing order.
b, u, 5
Suppose -o + 3*t = -13, -t + 23 = 5*o + 6. Sort o, 0, 3 in decreasing order.
o, 3, 0
Suppose -8*o + 3*o = -15. Put o, 0.1, -5 in descending order.
o, 0.1, -5
Let q(j) = j**3 + 2*j**2 - 3*j + 4. Let u be q(-3). Suppose -c + 0*b - u*b = 7, 0 = 2*c + 3*b - 1. Sort -4, 2, c in increasing order.
-4, 2, c
Suppose 0 = -3*d + 2*m + 10, -25 = -5*d + 5*m - 0*m. Put d, 3, -2, 14 in increasing order.
-2, d, 3, 14
Let x = 0.09 - 3.09. Let d = -3.3 - x. Put d, 4, 0.4 in increasing order.
d, 0.4, 4
Suppose -11 = n - 9. So