e of -x**4/24 - x**3/3 + 2*x**2. Let w be h(-6). Put w, 1, -5 in increasing order.
-5, 1, w
Suppose 0 = -m - 2 + 6. Suppose -f + 0 = -3*k - 5, m*k + 28 = -4*f. Let w = -4 + 8. Sort w, -5, f in decreasing order.
w, f, -5
Let z = 2 - 2.42. Let i = z + 0.02. Let s = -8 + 13. Put s, i, -3 in ascending order.
-3, i, s
Let r(w) = -w**3 - 8*w**2 + 16*w + 58. Let q be r(-9). Let n = -3 + 7. Sort n, q, 1.
q, 1, n
Let i = -9 - -12. Suppose -g = -4*d - 13, -5*d - g - 16 = -2*g. Put -1, i, d in decreasing order.
i, -1, d
Let g = -6 + 9. Let s = -4.1 + 3.1. Put -3, g, s in descending order.
g, s, -3
Suppose 3*s - 20 = -2*s. Suppose i - s*i - 12 = 0. Sort -3, 2, i in descending order.
2, -3, i
Suppose -2*f - 3 = f. Let o = -7 + 5. Let k(y) = y**2 + 3*y. Let w be k(o). Sort w, 1, f.
w, f, 1
Let t(s) = -s**2 - 4*s - 3. Let v be t(-2). Let l be 1/2*(v - -1). Sort 5, 3, l.
l, 3, 5
Let p = -5 + 10. Suppose 5*o - p*c = -0*c + 30, -8 = -o + 3*c. Suppose 4*m + 18 - 2 = 0. Put m, -5, o in descending order.
o, m, -5
Let d = 19.5 - 20. Sort d, 3, -5.
-5, d, 3
Suppose 0 = 3*b - 7 + 1. Sort 0, -5, b in ascending order.
-5, 0, b
Let j = -7 + 5. Let y = 4 - 3. Put y, j, -5 in decreasing order.
y, j, -5
Suppose h = 3*m + 4, 8*h - 4*h - 16 = 0. Let f be 30/(-2)*(-7)/21. Suppose 8 = -f*s - 2. Put m, -0.4, s in descending order.
m, -0.4, s
Suppose -v - 3 = -1. Let f = 2 - 1. Put v, f, -3 in ascending order.
-3, v, f
Suppose -4*g + 4 = -2*g. Suppose -4*r = 3*a - 17, -4*r + 5*a - g*a + 23 = 0. Let j = -0.5 + 0.1. Sort r, 3/7, j in increasing order.
j, 3/7, r
Let r be 0 + (4 - -2) + 1. Suppose -r = -5*v + 3. Sort v, -1, -2 in ascending order.
-2, -1, v
Let y = -11 + 7. Sort -5, 0, y in increasing order.
-5, y, 0
Let p = -3.5 + 4. Let a = 49/2 + -23. Sort 0.3, a, p in ascending order.
0.3, p, a
Let i = -0.8 - 0.2. Let q = i - -1.2. Let o = -119/99 - -12/11. Put o, q, 2/3 in decreasing order.
2/3, q, o
Suppose 3*z + 6 + 15 = 0. Let v = 3 + z. Sort v, 2, -3 in decreasing order.
2, -3, v
Suppose -2*l - 5*i = -10, 3*l + 2*i - 5*i - 15 = 0. Suppose 2*f - 3 = 5*b, 3*b + 2 = f + 1. Sort b, -4, l in ascending order.
-4, b, l
Let t(x) = -3*x - 5. Let n be t(-5). Sort 2, n, -6.
-6, 2, n
Let b = 55 + -50.7. Let q = b + -4. Let i = q + 0.1. Sort i, 2, 0.1 in descending order.
2, i, 0.1
Let a = 19 - 24. Suppose -4*t - 2 = -2*t. Sort -0.5, a, t in decreasing order.
-0.5, t, a
Let c = -0.053 - 3.947. Put c, -1/5, 4 in descending order.
4, -1/5, c
Let c = 18 + -17.93. Let z = c + -0.27. Put z, 0, 1 in descending order.
1, 0, z
Let d = -15 + 19. Let c = 7.7 + -8. Sort 2/7, d, c in increasing order.
c, 2/7, d
Suppose -r = r - 5*u, 0 = 5*r + 3*u. Suppose 2*y + 12 = 2*h, -5*y + 3*h - 70 = -50. Sort y, 3, r.
y, r, 3
Let c be (-3)/(-1)*(1 - 0). Let n = c + -5. Sort -4, n, -0.1 in ascending order.
-4, n, -0.1
Let t = -27/124 + -1/31. Let l = -19.9 + 20. Sort t, l, -0.5 in ascending order.
-0.5, t, l
Let v(y) = -y**3 + 4*y**2 - 2*y - 2. Let d be v(2). Suppose 0*j = -d*j + 12. Sort -5, j, -3 in descending order.
j, -3, -5
Let m = 13 - 8. Suppose -n - 5*f = -23, 5*n - f + 35 = 4*f. Suppose 6*g - 18 + 36 = 0. Put n, m, g in decreasing order.
m, n, g
Let h = 19.9 - -5.1. Let s = h + -23. Sort s, 0.4, -0.1 in descending order.
s, 0.4, -0.1
Let f = -33 + 30. Put 31, f, -2 in descending order.
31, -2, f
Suppose 69*l - 77*l = 8. Put 7, -3, 3, l in ascending order.
-3, l, 3, 7
Let g(a) = a**2 - 4*a - 2. Let d be g(5). Let r(i) = i. Let x be r(-3). Let u = 14 + -10. Sort u, x, d.
x, d, u
Let c = 0.38 - -0.02. Let h = -322.8 + 323. Put -2, c, h in decreasing order.
c, h, -2
Let n = -114/11 - -603/55. Let r be (2/(-6))/((-2)/6). Let y = r + -3/2. Sort n, y, 3 in descending order.
3, n, y
Let n = -173 - -1381/8. Let p = 32 - 37. Put 0.1, p, n in increasing order.
p, n, 0.1
Let w = 31.98 - 32. Sort w, 0, 0.4 in decreasing order.
0.4, 0, w
Let k = -0.02 + -0.38. Let u = k - -0.5. Sort -0.1, u, 0 in descending order.
u, 0, -0.1
Suppose 0 = -4*u + 7*u - 9. Let q = -2.06 + 0.06. Let y = 0 - q. Put y, -2, u in ascending order.
-2, y, u
Let o = -3.8 - 1.2. Let i = 21.9 + -23. Let l = i + 0.8. Put o, l, 4 in decreasing order.
4, l, o
Let m be (-1 + 3 + 0)*1. Let l = -5 + m. Sort 3, l, -4 in decreasing order.
3, l, -4
Let u be 6 - 4 - 3 - -2. Sort -3, -1, u.
-3, -1, u
Suppose q - 4*q = 15. Let m(x) = x**3 - 6*x**2 - x - 43. Let w be m(7). Sort w, q, 0.
q, w, 0
Suppose 3*o - o + 2 = -3*w, 0 = 3*w + 4*o + 10. Suppose -10*f - 25 + 75 = 0. Put w, -4, f in descending order.
f, w, -4
Let n be -2*(0 - 6/4). Let u be ((-1)/1)/1 + -5. Let d be 10/(-12) + 1/u. Sort -2, d, n.
-2, d, n
Let u be 1/3*0 - 2. Suppose -1 = 2*f + 5. Sort u, f, 5.
f, u, 5
Suppose h = -3*a - 11, 0 = 2*a + h - 2*h + 9. Put 4, a, 0 in increasing order.
a, 0, 4
Let w(a) = -a**3 + 4*a**2 - 3*a + 2. Let b(q) be the first derivative of q**2/2 - 3*q - 3. Let r be b(6). Let s be w(r). Put -3, s, 0 in decreasing order.
s, 0, -3
Let t(a) = a + 14. Suppose -3*y + 3*p + 18 = 0, -7*y + 2*y - p = -6. Let d be 2/y - (11 - -3). Let c be t(d). Sort 5, c, 2 in descending order.
5, 2, c
Let x = 12 - 6. Suppose x*g - 10 = g. Suppose g*n + 4 + 2 = 0. Put 1/2, 1/5, n in descending order.
1/2, 1/5, n
Let q(j) = 4*j**3 - j - 1. Let c be q(-1). Let v be (-40)/(-15)*(-3)/(-2). Suppose 0 = -v*s + 3*o - 18, 0*s - 2*s = o + 4. Sort s, c, -5 in decreasing order.
s, c, -5
Let j(z) = -z**3 - 3*z**2 + 4*z + 6. Let l be j(-4). Put 2, l, -2 in descending order.
l, 2, -2
Suppose -3*n - 12 = n - 4*i, -4*n + 2*i - 2 = 0. Suppose -n*f + 8 = -0*f. Let m be 1 + (-1 + 2 - -3). Sort f, -4, m.
-4, f, m
Suppose 5*n = -3*n + 16. Put 3, n, -5 in increasing order.
-5, n, 3
Suppose 3*f = 5*w + 20, 3*w + w + 22 = 3*f. Let a be (-2)/3 - f/3. Sort a, -1, -5 in decreasing order.
-1, a, -5
Suppose 0 = -19*q + 18*q - 2. Sort -1, 6, q in decreasing order.
6, -1, q
Let a = -1 + 1.5. Let t = a + -1.5. Sort 3, t, 0.5 in descending order.
3, 0.5, t
Let g be (0 - -1)*2*-9. Let b be ((-3)/(g/(-4)))/(-2). Put 1/2, -1/2, b in increasing order.
-1/2, b, 1/2
Let f(r) = r - 14. Let m be f(9). Sort 7, m, 0 in descending order.
7, 0, m
Let k be (-2)/(-3) + 21/9. Suppose -t = -k*o - 10, -4*o - 17 = -2*t + o. Sort t, 3, 2 in decreasing order.
3, 2, t
Suppose -4*f - 3*c = -7, -4*c = 5*f - 5 - 4. Sort -3, f, -28 in ascending order.
-28, -3, f
Let x be (2*1)/((-12)/(-24)). Sort -2, x, 0 in increasing order.
-2, 0, x
Let f = -0.7 + 0.5. Let o = 7/23 + -54/253. Sort f, o, 0.
f, 0, o
Let l be (2/(-3))/((-16)/(-24)). Let r be l*-2*4/8. Sort r, -6, 5 in decreasing order.
5, r, -6
Suppose -16 = 5*p - 11. Put 2, 4, p in decreasing order.
4, 2, p
Let m = -24.54 - -25. Let p = 8 - 8.06. Let l = p + m. Sort -0.3, l, -0.4 in descending order.
l, -0.3, -0.4
Let s be (4/1 + 1)/1. Suppose -s*i + 4 = -1. Suppose -4*u - 8 = -2*k, 3*u = -6*k + k - 6. Put 3, u, i in increasing order.
u, i, 3
Suppose 3*m = -7 - 8. Suppose 37*r - 36*r = 6. Suppose 3*x + y = r*y - 1, 3*y = 2*x. Put x, 7, m in descending order.
7, x, m
Let n be ((-2)/4)/((-2)/4). Let m = 2 - n. Let o = -3 + 8. Sort m, -5, o in increasing order.
-5, m, o
Let q(m) = 2*m - 12. Let j be q(7). Sort j, 17, -2 in increasing order.
-2, j, 17
Let p = 0 + 0.1. Put p, -1, 0, 4 in increasing order.
-1, 0, p, 4
Let s(k) = -k**2 - k + 5. Let m be s(0). Let q be (-2)/8 - (-120)/(-32). Let d = q + 6. Put m, d, -4 in ascending order.
-4, d, m
Let v(p) = -p**2 - 8*p - 7. Let i be v(-6). Let g be 2/i + (-51)/15. Let a be 5/(-10)*10 + 4. Put 5, a, g in descending order.
5, a, g
Suppose -2 - 3 = 3*s - 2*z, 2*z + 19 = -5*s. Let v(w) = -w**2 - 5*w + 8. Let o be v(-6). Let y be 7/2 - (-1)/o. Put -2, y, s in ascending order.
s, -2, y
Suppose 7*r + 30 = 9. Sort r, 5, -5, -2 in ascending order.
-5, r, -2, 5
Let y = -14 + 13. Sort -11, y, 2/17.
-11, y, 2/17
Let h = 3 + -13. Let w = h - -12. Sort w, -3, 1/3 in decreasing order.
w, 1/3, -3
Let a = 0.1 - -0.1. Let y = -0.17 + -0.13. Put a, 0.3, y in ascending order.
y, a, 0.3
Let c(r) = 3*r - 1. Let m be c(1). Suppose 2*v + 3*k - 20 = 0, 0 = 2*v + 3*v + m*k - 28. Sort v, 1, -5 in descending order.
v, 1, -5
Let q(o) = -o + 6. Let i be q(3). Suppose 0*g - i*g + 14 = -2*c, c = 3*g - 10. Sort g, 0, 5 in descending order.
5, g, 0
Suppose 0 = -0*m + 17*m - 17. Let l(j) 