= 0, h + c - 4 = -3*h. Let j be h/(-5)*(-4 - 1). Let g be -1*j/(22/4). Sort 2, g, 1 in decreasing order.
2, 1, g
Let m = 0.6 - -7.4. Let x = m - 10. Put 3, x, 4/13 in descending order.
3, 4/13, x
Let q = -1 - -4. Put 2, q, 1 in ascending order.
1, 2, q
Let c(z) be the first derivative of z**3/3 - 3*z**2/2 - z + 1. Let x be c(2). Sort -2, x, 4.
x, -2, 4
Let p = 9 - 17/2. Let j = 3 - 3.5. Let n be 1 + -3 - 24/(-9). Put p, j, n in ascending order.
j, p, n
Let d be (-2 - 2) + (-9)/(-3). Let f = 0 + d. Let l(t) = t**3 - 5*t**2 + 5*t - 3. Let i be l(4). Put f, 2, i in descending order.
2, i, f
Let d = -18 - -15. Sort d, -5, -1 in descending order.
-1, d, -5
Let l = -37 + 25. Let m be 1/l*2*-4. Let r = -0.3 - -0.2. Sort r, m, 0.5 in descending order.
m, 0.5, r
Let a be (-24)/(-4)*(0 + 2/(-20)). Put -2/3, -31, a in descending order.
a, -2/3, -31
Let w(n) = n**3 + 13*n**2 + 12*n + 3. Let a be w(-12). Suppose l - a*l = 10. Suppose -o + 1 - 3 = 0. Put l, o, 1 in ascending order.
l, o, 1
Let k = -0.58 - 2.42. Sort k, 0.03, -1/10 in descending order.
0.03, -1/10, k
Let r be 4/30*(-1 + -2). Suppose x + 4*x - 30 = 0. Suppose -g - 2*g - x = -3*m, -5*m + 28 = g. Sort -1, r, m in descending order.
m, r, -1
Let o = 0 + 2. Suppose 2*v - o = -0. Let h = v - 4. Put h, 2, -4 in increasing order.
-4, h, 2
Suppose 3*k - p = 4*p + 29, 2*p + 5 = -k. Suppose -2*y - 3*l + 6 = 0, 5*l + 11 - 21 = 0. Sort y, k, -1/11.
-1/11, y, k
Let c be ((-3)/(-60))/(14/(-105)). Sort 1/7, c, 2/9 in descending order.
2/9, 1/7, c
Let o(d) = -d + 6. Let a be o(0). Sort 5, a, 0 in ascending order.
0, 5, a
Suppose w - 5 = 3*t, 5*t - 7 = -w - 2. Sort t, 2/11, -6/5, -2/5.
-6/5, -2/5, t, 2/11
Let x = 55.3 + -55. Sort x, 19, 2 in decreasing order.
19, 2, x
Let a = -85.005 - -85. Sort a, 0.1, -2.
-2, a, 0.1
Suppose -2*j - 2*f - 9 = 3*j, -4*j - 5*f - 14 = 0. Let t be (-4)/10 - 17/(-5). Sort 0, j, t in increasing order.
j, 0, t
Let g = 33 + -38. Sort 2, g, 0, 4 in increasing order.
g, 0, 2, 4
Let m be 1/((2 - 1)*-1). Let g be (m + 1)/((-4)/2). Sort 2, 5, g in increasing order.
g, 2, 5
Suppose 0 = -4*m + 3*m - 0*m. Put m, 5, 3, 4 in decreasing order.
5, 4, 3, m
Let n = 3.5 - 1.5. Let k(s) = 2*s - 7. Let g be k(-4). Sort -0.1, n, g in descending order.
n, -0.1, g
Let l = -0.2 - 0. Let n = 9 + -15. Let j = -6.5 - n. Sort j, -2, l in ascending order.
-2, j, l
Suppose 0*f - 3*f + 153 = 0. Let n be ((-1)/(-4))/(f/24). Let w be 2/(1 + (-6)/4). Sort w, n, -2/13 in ascending order.
w, -2/13, n
Suppose -3*j + 3 = -12. Let w be 4 - 3 - 3 - -1. Put j, 3, w in decreasing order.
j, 3, w
Suppose -2*x - 2*k = 6, 0 = 2*k - 2 - 0. Suppose 0*g + 56 = 14*g. Let s(q) = q**3 - 6*q**2 - 2*q + 7. Let u be s(6). Sort g, x, u in descending order.
g, x, u
Suppose l - 2*l - 1 = 0. Sort l, 5, 17 in decreasing order.
17, 5, l
Let i = 77 + -79. Sort 1, i, 5, -3 in decreasing order.
5, 1, i, -3
Let p be (2/(-2))/(1/(-3)). Let k be 112/(-165) + 72/132. Sort p, 2, k in ascending order.
k, 2, p
Suppose -o + 0*o = -3. Suppose -4*h = -o*b + 1 + 4, -4*h + 19 = 5*b. Let n be (h + -2)/((-3)/15). Sort 1, n, -4 in descending order.
n, 1, -4
Suppose 2*f - 37 + 13 = 0. Sort -3, -2, f.
-3, -2, f
Let g = -0.116 + -0.084. Sort 5, -4, -7, g.
-7, -4, g, 5
Let g be -1*1*-4 - 1. Let c = -11 - -9. Let j = c - g. Put -1, j, -2 in descending order.
-1, -2, j
Let v = 11 + -8. Suppose 3*q - 2 = 2*q - 2*r, 2*q + 5*r = 9. Let z = q + v. Sort z, 5, -4 in increasing order.
z, -4, 5
Let l = 127/154 - -2/231. Let p = -2 - 2. Sort l, 1, p in decreasing order.
1, l, p
Let i be 15/6*4/2. Let z = 3 + -7. Let u(m) = m - 1. Let t be u(0). Put i, t, z in descending order.
i, t, z
Suppose k + 4*x + 12 = -1, 8 = -2*x. Let m(c) = -c**2 + 2. Let g be m(2). Put -5, g, k in descending order.
k, g, -5
Let x(f) = -f**3 - 13*f**2 - 23*f - 14. Let j be x(-11). Sort 0, 4, j, 10 in increasing order.
j, 0, 4, 10
Let x = 18 + -16. Sort -0.1, x, 11 in decreasing order.
11, x, -0.1
Let m = -0.37 + 3.07. Let w = 0.6 - 0.3. Let k = w + m. Sort k, 0.1, 4 in increasing order.
0.1, k, 4
Let s = 16 + -15. Let v = s + -0.9. Sort 2, -0.1, v.
-0.1, v, 2
Suppose 2*a + 24 = -4*a. Sort -5, 1, 0, a.
-5, a, 0, 1
Suppose -2*v + 2*a = -2, -v - 4*a + 28 = 3*v. Suppose 11 + 9 = -v*q. Put 2, q, 5 in descending order.
5, 2, q
Let l be (-3)/18*9/(-2). Let b = -1.1 + -1.9. Sort l, b, -1 in ascending order.
b, -1, l
Let n = 0.1 + 0.3. Let i = -17.2 - -17. Let b = 0.7 + i. Sort n, b, 0 in ascending order.
0, n, b
Let d be 26/1 + (2 - 4). Suppose d = 2*r + 3*t, -r + 0*r = -2*t - 12. Suppose -3*m - r = -7*m. Put m, -5, -2 in descending order.
m, -2, -5
Let l be (-14 + 2)/(6/4). Sort -4, l, 0 in ascending order.
l, -4, 0
Let w be (1*-6)/((-9)/(-6)). Put -5, w, 0 in ascending order.
-5, w, 0
Suppose 0 = 3*a + d - 4, a + d = -1 + 3. Put -3, 0.5, a in descending order.
a, 0.5, -3
Let j = 17.9 - 2.9. Let b = -14.5 + j. Sort b, -2/13, -0.1 in decreasing order.
b, -0.1, -2/13
Let a(o) = -3*o - 34. Let g be a(-10). Sort -6, 0.2, g, -2.
-6, g, -2, 0.2
Suppose 6*y - 3*y - 6 = 0. Let o be (3/3)/1 - (5 - 1). Put 5, y, o in descending order.
5, y, o
Let f = 7/3 + -5/3. Let q(p) = p**3 - 4*p**2 - 3*p - 2. Let d be q(5). Let o = d - 13. Sort f, 5, o in increasing order.
o, f, 5
Suppose 5 + 4 = 3*l, 5*l = -5*q + 10. Sort 0, 1, q, -2 in decreasing order.
1, 0, q, -2
Let k(o) = 2*o - 16. Let c be k(7). Let q be 50/40*(c - 2). Put 0.01, q, 0.1 in descending order.
0.1, 0.01, q
Let y = 111 - 116. Sort 0.3, 0, y, 6 in ascending order.
y, 0, 0.3, 6
Let c = 1/20 - 3/10. Put -4, -0.9, c in increasing order.
-4, -0.9, c
Let x(q) = 2*q**3 + 5*q**2 - 11*q + 11. Let l(y) = y**3 + 2*y**2 - 5*y + 5. Let u(t) = -5*l(t) + 2*x(t). Let j be u(2). Sort 4, -2, j in increasing order.
j, -2, 4
Let n be 87/(-45) - -2 - (-4)/30. Sort -5, n, -0.4, 2/7.
-5, -0.4, n, 2/7
Suppose -5*u + 0*f + 5*f - 15 = 0, 2*u + 2*f = 10. Suppose 0 = -n + g - 2 + u, -4*g + 2 = -5*n. Put -2, 4, n in ascending order.
-2, n, 4
Suppose -r = -1 + 3. Sort -3, r, 5.
-3, r, 5
Let m be (-2)/(-18)*6/(-4). Let n be (-2)/(-7) - (-78)/21. Suppose -n*g = -7 - 5. Sort m, -4, g in descending order.
g, m, -4
Let g be (-2)/(64/(-132)) + 2/(-16). Let z be 2 - 1/(0 + 1). Let a = z - -1. Put -3, a, g in descending order.
g, a, -3
Let y be (-341)/(-279) - (-2)/(-9). Suppose 6*l - l = -25. Put y, -3, l in descending order.
y, -3, l
Let h = 0.03 - -0.17. Let l = h - 3.2. Let r = l + 3.1. Sort -0.5, -4/3, r in increasing order.
-4/3, -0.5, r
Let a be (45/60)/(78/(-16)). Sort a, -4/7, 2 in decreasing order.
2, a, -4/7
Suppose -2*v = -5*v - 3. Let s be (1/3)/(v/(-3)). Let t be (1*-2)/(-4)*-2. Put s, 2, t in increasing order.
t, s, 2
Let r(v) = -v - 5. Let q be r(-2). Sort -2, -25, q, 1 in decreasing order.
1, -2, q, -25
Let x be ((-18)/15)/(-3)*-5. Let d(u) = 4*u. Let s be d(1). Suppose 0*y = 4*y - n, s*y + 4*n = 0. Sort y, x, -1 in descending order.
y, -1, x
Let p = 0 - -2. Suppose 3*r = 2*r + 17. Let o = r - 19. Put 4, p, o in descending order.
4, p, o
Let c = 2.5 - 3. Let d = 65/4 - 16. Put d, 0.1, c in ascending order.
c, 0.1, d
Let r = -59 - -355/6. Let s = -6 + 2. Put r, s, 0.4 in decreasing order.
0.4, r, s
Suppose -3*a - 6*d + 5*d = -59, 2*d + 22 = a. Suppose -a + 5 = 3*p. Put -3, 4, p in decreasing order.
4, -3, p
Suppose 0 = -10*a - 14 + 54. Put -4, 1, 2/3, a in decreasing order.
a, 1, 2/3, -4
Let m(g) = -g**3 - 2*g**2 + 5*g + 4. Let n be m(-3). Sort 0, n, -4 in decreasing order.
0, n, -4
Let k(u) = -u**2 + 1. Let m be k(0). Suppose -3*d + 14 = 4*a - 0*d, 2*a - 4*d = 18. Put -2, m, a in descending order.
a, m, -2
Suppose -p - 1 = 1. Suppose w = 2*l + 3*l - 2, 4*w + l = 13. Sort -4, p, w in descending order.
w, p, -4
Let b(d) = 4*d**3 + d - 1. Let u be b(1). Let q(c) = -c**3 - 5*c**2 - c + 5. Let h be q(-5). Suppose -4*j + h = -v - 4, 4*v = 2*j - 14. Sort 0, v, u.
v, 0, u
Let v(d) = 15*d - 6. Let q be v(2). Sort q, 4, 3 in decreasing order.
q, 4, 3
Let g be ((0/(-3))/3)/2. Let s be (-1)/((3/3)/(-1)). Put g, s, -5 in ascending order.
-5, g, s
Let n = 6632/17 - 390. Let w be (972/1005 + -1)*-16. Let l = -5/67 - w. Put l, -0.4, n in decreasing order.
n, -0.4, l
Let n = 93 - 90. Sort -4, 15, n in descending order.
15, n, -4
Let f = 14.72 - -0.68. Let b = -15 + f. Put b, 2/19, -3 in incr