 g = -59.5 - -59. Put n, -4, g in increasing order.
-4, g, n
Suppose 3*p + 110 = 5*l, -8*p = -2*l - 7*p + 44. Put 1, 5, l, 4 in decreasing order.
l, 5, 4, 1
Suppose -10 = 5*a - 5*s, a = 3*a - s + 3. Put 1, a, 0, 4 in decreasing order.
4, 1, 0, a
Suppose -21*r = -19*r. Put -3/11, r, -1, -0.2 in descending order.
r, -0.2, -3/11, -1
Let n(r) = -r**3 - 3. Let m(v) = -v**2 + 8*v - 7. Let h be m(7). Let x be n(h). Let a be 2/6 - (-13)/x. Sort 5, a, -5 in decreasing order.
5, a, -5
Suppose -3*h = -1 - 14. Suppose 2*c + 14 = 4*t, 22 = 5*t + c - h*c. Sort t, -5, 0.4 in decreasing order.
t, 0.4, -5
Let l = 20.7 - 21. Let s = -2 - 0. Let b be (-11)/(-7) - (-4)/s. Sort b, -3/5, l in increasing order.
-3/5, b, l
Let c = -1.01 + 0.9. Let j = -5.11 - c. Let k = j - -6. Sort -0.5, -5, k.
-5, -0.5, k
Let i = -27 + 32. Put i, -1, 3, -5 in decreasing order.
i, 3, -1, -5
Let q(c) = -2*c + 7. Let u be (6/8)/((-2)/(-16)). Let h be q(u). Let g be 1 + -1 + 0/4. Put 4, h, g in descending order.
4, g, h
Let x = -0.7 - 0.3. Let u = -3 + x. Let c = 67/130 - 3/26. Sort c, 5, u in increasing order.
u, c, 5
Suppose 120 = 5*g - 0*r + 5*r, -g + 26 = 2*r. Suppose -5*k = -2 + g. Put 4, k, 3 in ascending order.
k, 3, 4
Let o = -1 - -6. Let t = -5 + 0. Sort t, o, 0.
t, 0, o
Let a be 4/14*(-9 - -23). Sort 5, -4, a in decreasing order.
5, a, -4
Let t be (-46)/(-10) + (-10)/(-25). Suppose t*q = 4*i - 3, q + i = 2*q. Let z(w) = 2*w + 3. Let l be z(q). Sort -0.4, l, 2.
l, -0.4, 2
Suppose -4*k - 3*h + 8*h = 17, 0 = 2*k - 5*h + 11. Suppose g - 4*l + 16 = 0, 5*g - l + 0 = 15. Sort k, 1, g.
k, 1, g
Let a(j) = -j**2 + j. Let z(r) = 3*r**2 + 2*r. Let d(l) = -2*a(l) - z(l). Let u be d(-4). Let n = -8 - -4. Sort n, u, -5.
-5, n, u
Suppose 3*o + 0*o - 12 = -i, 3*o + 24 = 2*i. Suppose 3*a + 1 - 2 = u, 4*a + i = -2*u. Put -2, -4, a in ascending order.
-4, -2, a
Let p = -63 - -62. Put p, 3, -6, 1 in ascending order.
-6, p, 1, 3
Let q(v) = 10*v**2 - v - 1. Let l be q(-1). Let g be ((-18)/5)/((-4)/l). Sort -3, -4, g in descending order.
g, -3, -4
Suppose 4*c + 30 = 14*c. Suppose 0*k - 5*k - 20 = 0. Sort k, -2, c in descending order.
c, -2, k
Let v(l) be the first derivative of -l**4/2 - l**3/3 + l + 4. Let h be v(-1). Sort h, 4, 0 in descending order.
4, h, 0
Let d(t) = t**3 - 6*t**2 - 2*t + 7. Suppose -4*s + 3*s + 6 = 0. Let i be d(s). Put 0.2, -0.4, i in decreasing order.
0.2, -0.4, i
Let h = -2 + 1. Let p be (24/20)/((-2)/(-5)). Sort -2, h, p in increasing order.
-2, h, p
Let a be (-10 - -5) + -3 + 3. Let x = 3 - -2. Put a, 10, x in decreasing order.
10, x, a
Let x be (-18)/(-4)*6/18. Put x, -0.1, -5/3 in decreasing order.
x, -0.1, -5/3
Let f = 33 + -33.8. Sort -6/11, -0.3, f.
f, -6/11, -0.3
Suppose -5*g + 21 = -y, 5*y - 4*g + 16 = -5. Let r be 3 + y + (-26)/12. Let u(m) = m**2 + 9*m + 10. Let f be u(-7). Put f, 4, r in ascending order.
f, r, 4
Let i(r) = -r**2 + 11*r + 12. Let w be i(12). Sort 3, 1, w.
w, 1, 3
Let z = -2 + 4. Let l = -12 + 16. Let r be l/(-20) + 1 + -1. Sort r, 0.2, z.
r, 0.2, z
Let x(s) = -s**2 + 5*s. Let k be x(6). Let z be (-39)/(-26)*8/k. Sort -3, 0.5, z in increasing order.
-3, z, 0.5
Let h = -135 - -175. Put h, 1, 2 in decreasing order.
h, 2, 1
Suppose 4*o + o = 5*x - 25, 0 = -4*o - 4. Suppose -a + 5 - x = 0. Let c be -1 + 1 + (0 - -2). Sort a, -5, c in descending order.
c, a, -5
Let n be (-19)/(-5) - 1/(-5). Put -4, n, 5 in ascending order.
-4, n, 5
Let d be (-3)/(-5) + 34/10. Put 0, d, -2 in decreasing order.
d, 0, -2
Let x = 2 + -1. Suppose 0 = -0*d - 4*d - 5*p - 17, -10 = 2*d + 4*p. Let m(n) = -2*n + 9. Let b be m(5). Put b, d, x in increasing order.
d, b, x
Let t be 0/(-2 - (-8)/2). Let i be t + -3 + (2 - 0). Let n be (2 - 1)*4/(-6). Put 4, i, n in descending order.
4, n, i
Let f(q) = -q**2 - q + 5. Let o be f(-2). Put o, 2/17, 1/7, 1 in ascending order.
2/17, 1/7, 1, o
Let w = -44 - -46. Sort -4, 0.5, w, 2/11.
-4, 2/11, 0.5, w
Let p = -18.4 - -18. Sort p, -2, 3 in descending order.
3, p, -2
Suppose -n + 2*n = -2, 5*v + 2*n - 11 = 0. Suppose 8 = -5*j + 33. Put v, -5, j in descending order.
j, v, -5
Suppose -4*m + 9 = 25. Sort 1, 2, m in decreasing order.
2, 1, m
Suppose 5*d + 5*r - 20 = 0, 2*r + 0 = -d + 3. Suppose 80 = c + 3*c. Let j be ((-4)/c)/(6/5). Sort j, 4, d in decreasing order.
d, 4, j
Let c = -4 + 9. Let z = -6 + c. Let x = 5 - 4.6. Put -1/7, x, z in ascending order.
z, -1/7, x
Suppose 0 = a - 3*w + 3, -2*a + 2*w - 12 = -3*a. Let i = a - 7. Suppose -19 = 5*g + 1. Put i, g, 0 in decreasing order.
0, i, g
Let b = 2.1 - 2.3. Sort b, -1, 5 in ascending order.
-1, b, 5
Let m = -3 - 1. Let j = 4 + m. Sort 1, 4/3, j.
j, 1, 4/3
Let y = 17/660 - 6/55. Sort 0, y, 7 in decreasing order.
7, 0, y
Let i = 0.048 + -0.448. Sort i, -3, -0.3, 0.5.
-3, i, -0.3, 0.5
Suppose -3*s + 8*t - 3*t = 23, -6 = -2*s - 2*t. Put 2, -3, s in descending order.
2, s, -3
Let a = 56 + -390/7. Let z = 0.3 + -0.4. Put z, -4, a in decreasing order.
a, z, -4
Let n = 5.6 - 0.6. Let s = 0.2 - -1.8. Let c = -1.9 + s. Sort -0.5, c, n in descending order.
n, c, -0.5
Let k = 11 + -6. Let n = 6 - 4. Put 0, k, n in increasing order.
0, n, k
Let m = -17 - -13. Sort 7, m, -2.
m, -2, 7
Let j = 2.2 - 2. Let i = -4/25 + 62/75. Sort j, i, 0.5 in decreasing order.
i, 0.5, j
Let n = 2 - 14. Let q = -17 - n. Put q, 5, 0 in decreasing order.
5, 0, q
Let s(w) = w**2 + 2*w - 2. Let k be s(-3). Sort -5, k, 2 in decreasing order.
2, k, -5
Let i = 4 - -7. Suppose -9 = 5*n + i, 32 = -2*h - 5*n. Let y be (-2)/9 - h/27. Sort 5, y, 4 in increasing order.
y, 4, 5
Let f = -7 - -10. Sort 0, 2, f.
0, 2, f
Let j(k) = -k**2 + 3*k + 4. Let p be j(3). Suppose -1 = -s - i, 0 = -0*i + 3*i. Sort s, p, -4.
-4, s, p
Suppose 0 = -o + 5*o - 16. Let g = 0 + o. Sort 5, 1, g in descending order.
5, g, 1
Suppose 2*h + 13 = -t, t + 15 = -7*h + 4*h. Sort t, 4, 3 in decreasing order.
4, 3, t
Let s(m) be the third derivative of m**4/24 - 7*m**3/6 - 2*m**2. Let c be s(7). Put -3, 1, c in increasing order.
-3, c, 1
Suppose 3*z = 2*d + 34, 5*z + 3*d = -23 + 105. Suppose -4*u + 6 = -z. Let x(g) = 2*g**3 - g**2 - g - 1. Let j be x(-1). Sort u, 1, j in decreasing order.
u, 1, j
Let l = 11 + -16. Let s = -0.7 - -0.4. Let y = s - -0.5. Sort l, y, -3.
l, -3, y
Let a = -16 + 30. Let z be a/2 + (0 - 2). Put -3, 3, z in increasing order.
-3, 3, z
Let u = 5.3 + -5. Let l = -9.9 + 10. Let f = u + l. Sort -0.5, 2, f in increasing order.
-0.5, f, 2
Let i(g) = g. Let t = 10 - 5. Let o be i(t). Sort o, 1, -4.
-4, 1, o
Let n be 36/3*2/6. Suppose -y - 15 = -l - 4*y, -20 = -n*l - 4*y. Suppose -4*f = f - 5. Sort -5, f, l in ascending order.
-5, l, f
Let d = 3 - 2. Sort -2, -5, d.
-5, -2, d
Let c be (-4)/22 + 336/154. Sort 7, -5, c in decreasing order.
7, c, -5
Let u(y) = y**3 - 4*y**2 + 4*y - 1. Let g be u(3). Sort -1, -2, g.
-2, -1, g
Let b be ((-6)/(-15))/(7/(-5)). Let q = 31 - 22. Let g = q + -8.9. Sort b, 0.2, g in ascending order.
b, g, 0.2
Let u = -9 - -11. Suppose -3*x - u*q - 17 = 0, -3*x - q - 13 = -3*q. Sort 5, -3, x in descending order.
5, -3, x
Let y(p) = p**2 + 4*p + 5. Let l be y(-4). Suppose -5*c - 4 = 2*t + 31, l*c = -5*t - 50. Put 3, 1, c in descending order.
3, 1, c
Let q = 0.1 + -0.12. Let t = -149.7 + 150. Sort -0.1, t, q.
-0.1, q, t
Let l = -83 + 84. Sort -0.2, 2, 2/9, l in decreasing order.
2, l, 2/9, -0.2
Let m = 77 + -76.8. Sort -5, m, 2/7, -0.1 in descending order.
2/7, m, -0.1, -5
Let n = 0.25 - 3.29. Let r = 0.04 + n. Let k = 8 + r. Sort -1/4, k, -0.2.
-1/4, -0.2, k
Let h = 53 + -32. Let z = 21 - h. Sort -4, 4, z in decreasing order.
4, z, -4
Let r = -94 + 90. Sort 2, 3, -5, r in ascending order.
-5, r, 2, 3
Let u = 0.22 - 0.12. Sort u, -2/3, -0.3 in descending order.
u, -0.3, -2/3
Let t(r) = r**2 - 8*r + 8. Let c be t(2). Put -12, 2, c, 3 in descending order.
3, 2, c, -12
Let u be 15/36 - (-4)/(-6). Sort u, -2, -4 in decreasing order.
u, -2, -4
Let x = 71.4 - 71. Put -1/3, -0.01, x, 0.1 in decreasing order.
x, 0.1, -0.01, -1/3
Suppose -8*y + 4*y = -16. Sort 10, -5, y in ascending order.
-5, y, 10
Let f = 3.16 + -0.16. Put 0.1, -0.3, f in descending order.
f, 0.1, -0.3
Let p = 13 - -4. Let s = p + -19. Let w(l) = -l + 3. Let k be w(7). Sort k, -3, s in decreasing order.
s, -3, k
Let i(t) be the second derivative of t**5/20 - t**4/4 + t*