 -4*y - 16. Sort h, -3, z.
-3, z, h
Let c(u) = u**2 - 4. Let r be c(-5). Let p be 1/3*r/(-14). Let z = -11 + 7. Put z, -3, p in ascending order.
z, -3, p
Let b = 19 - 18. Put -4, 2, b in descending order.
2, b, -4
Suppose 0 = -3*j + 4*m - 9*m + 8, 4*j - 2*m + 24 = 0. Suppose l - g = 4 - 1, -l + 3 = -2*g. Suppose 0 = 5*b - l + 8. Put j, b, 3 in decreasing order.
3, b, j
Suppose 3*x = 4*x - t, 3*x - 5*t = 10. Sort 2, x, 5, 1 in ascending order.
x, 1, 2, 5
Let v(x) = -x**2 + 3*x. Let j be v(3). Let a be (2 + j)/(-6)*1. Sort 4, a, -0.2 in descending order.
4, -0.2, a
Let p(y) = y**2 + 8*y + 9. Let r be p(-7). Sort -2, -15, r.
-15, -2, r
Suppose v = -1 - 4. Let f = -36 - -35. Let i = -7 - -4. Sort f, i, v.
v, i, f
Suppose -5*x + 15 = -4*x - 5*i, 4*i + 12 = -x. Suppose -l + 6 = -0. Let f be 3/l + (-22)/4. Sort f, 5, x in decreasing order.
5, x, f
Let k be (-3)/(-39)*(58 + -8) + -4. Put k, 1/3, -0.8 in descending order.
1/3, k, -0.8
Let k = -0.31 - -19.31. Let g = k - 28. Let q = -5 - g. Put 1/8, q, -3 in descending order.
q, 1/8, -3
Suppose 0 = n - 0*n - 3. Suppose -2*l = -4*g + 100, n*g + 0*g = -2*l + 75. Suppose -g + 9 = 4*z. Put z, 3, 1 in descending order.
3, 1, z
Let z(x) = 2*x**2 - 58*x - 3. Let r be z(29). Sort -7, 0, r, 2 in decreasing order.
2, 0, r, -7
Let m = -0.5 + 15.5. Let x = 10 - m. Put x, -4/5, 1 in descending order.
1, -4/5, x
Let z be (6/(-9))/(4/18). Let p be 0/z + 1/(-3). Sort -5, -0.5, p.
-5, -0.5, p
Let a be -4 - (3 + 2 + -4). Sort -3, -6, a in ascending order.
-6, a, -3
Suppose -5*z - 2*c = 21 + 1, -c = -3*z - 11. Let h be -2 - 2*(-2)/4. Put z, h, 2 in decreasing order.
2, h, z
Let y = -2 - -2.4. Sort y, -0.3, 2 in ascending order.
-0.3, y, 2
Let b(v) = -v**2 + 5*v + 9. Let x be b(7). Sort -29, x, -1 in descending order.
-1, x, -29
Suppose 5*f - 35 = -2*n, 2*n + 2*f - 17 = 3. Sort n, -1, -3 in increasing order.
-3, -1, n
Let f(p) be the third derivative of p**6/120 - p**5/20 + p**4/12 + p**3/3 + 3*p**2. Let u be f(2). Put 3, -2, u in descending order.
3, u, -2
Let z = 2 - -2. Let w = z + -9. Put 4, w, 0 in decreasing order.
4, 0, w
Let x be (-5)/(-35)*1*2/1. Let i be (4/36)/(2/4). Sort i, -0.1, x in decreasing order.
x, i, -0.1
Suppose -8*i + 7*i - 3 = 0. Sort -5, i, 0, 3 in decreasing order.
3, 0, i, -5
Let m = -0.02 - -0.92. Put 0.4, 3/7, m in descending order.
m, 3/7, 0.4
Let n = -15/4 + 21/4. Sort -3/5, -2/5, n.
-3/5, -2/5, n
Let n be 5/(-15)*(-21)/1. Suppose -4*v + 4*u = -v - n, -u - 3 = -v. Suppose 4*l - 8 = -5*c, -8 = 3*c - v*l + 2. Sort c, 4, -4 in decreasing order.
4, c, -4
Suppose -4*o = 6*c - 3*c - 8, -8 = -4*o + c. Let q = 5 - 1. Put 0.1, q, o in decreasing order.
q, o, 0.1
Let f be 2/6 - (-5)/3. Sort 3, 1, f in ascending order.
1, f, 3
Let a be 3/(-9)*(-9)/(-6). Let g = 2.5 - -0.5. Put g, 1, a in increasing order.
a, 1, g
Suppose -7*s - 12 = -s. Put 0.5, 3, s in decreasing order.
3, 0.5, s
Let m = 1.5 + -1. Let y = m - 0.2. Let p = -1 + 0.6. Sort y, 0.2, p in increasing order.
p, 0.2, y
Let o be 40/(-96)*27/(-15). Sort o, 3/5, 5.
3/5, o, 5
Let z be -1*(-12 + 10 - (0 - 1)). Put -1, 6, z in descending order.
6, z, -1
Let j = -40/111 + 1/37. Sort 0.2, 2, j.
j, 0.2, 2
Suppose 0*k + 5*k + 31 = 3*z, -3*z - 4*k - 14 = 0. Suppose -5*o + 14 + 11 = 0. Sort z, o, -6.
-6, z, o
Suppose -19 = -3*c - 7. Put c, -2, -4/7 in increasing order.
-2, -4/7, c
Let q = -15 - -10. Let l(b) = -b**2 + 16*b - 19. Let p be l(15). Put q, p, 4 in descending order.
4, p, q
Let d = -31 - -34. Sort d, -7, -5 in increasing order.
-7, -5, d
Let p = -13 - -16. Put 5, p, 0 in descending order.
5, p, 0
Let a = -12 + 6. Sort 1, -1, a in descending order.
1, -1, a
Let x = 189/5 - 38. Let o = -11 + 15. Let n = o - 9. Put n, -0.3, x in descending order.
x, -0.3, n
Let t = 0.8 - 0.8. Sort -4, t, -0.3 in increasing order.
-4, -0.3, t
Let t(m) = m**2 - 8*m - 2. Let i be t(7). Let h = -18 + 12. Let o = i - h. Put -2, 2, o in ascending order.
o, -2, 2
Let t = -41 - -35. Sort 0, -2/13, t in decreasing order.
0, -2/13, t
Let n = 0.1 - 5.1. Let r = 8 + n. Put r, 0.5, 1/5 in ascending order.
1/5, 0.5, r
Suppose 0 = 5*x + 24 - 9. Suppose -2*w + 8 = -0*w. Put x, w, 0 in increasing order.
x, 0, w
Let s(j) = -j + 1. Let g be s(-4). Put 0.06, -5, g in decreasing order.
g, 0.06, -5
Suppose 5*g = 4*p + p - 25, 0 = -5*g - 5. Sort -4, p, -3 in descending order.
p, -3, -4
Let o = 0.05 + -0.55. Sort 0.3, o, -8.
-8, o, 0.3
Let k be (-2)/(-2)*15/(-3). Let m(c) = c + 1. Let v be m(k). Put -3, v, 3 in descending order.
3, -3, v
Let a(z) = 3*z - 28. Let b(c) = -c + 9. Let d(y) = -2*a(y) - 7*b(y). Let s be d(3). Suppose 5 = -3*p - 10. Sort p, s, 5 in descending order.
5, s, p
Let f = -58 + 70. Sort f, 3, 4, -3.
-3, 3, 4, f
Let b(x) = x - 13. Let a be b(9). Let u(o) = o**3 + 5*o**2 + o + 2. Let f be u(-5). Sort 1, a, f in increasing order.
a, f, 1
Let w be 15 + 1 - 3*-1. Suppose -w = -5*i + 16. Sort i, 3, 2 in decreasing order.
i, 3, 2
Suppose 5*g = -11 - 9. Suppose c - 2*n = 5, 2*c - 4*c - n = -10. Sort 0, g, c.
g, 0, c
Suppose -1 + 4 = g. Suppose 0*c = -g*c. Let t = -6 - -2. Sort c, -1, t in decreasing order.
c, -1, t
Let d = 21 + -18. Sort d, -3, -4 in decreasing order.
d, -3, -4
Let s = 14 + -13. Suppose c - s = -5. Let u = -0.4 - 1.6. Put c, u, 3 in descending order.
3, u, c
Let y(b) = b**2 - 7*b + 3. Let x be y(7). Let k be 9/(-3)*-1 - -1. Let m = k - x. Put m, 4, -4 in decreasing order.
4, m, -4
Let q be (2/8)/(4/(-8)). Sort q, -0.3, 3 in increasing order.
q, -0.3, 3
Let h(d) = d**3 + 2*d**2 - d + 3. Let j be h(-3). Sort 3, -5, j.
-5, j, 3
Let z = 3.94 - -0.06. Put -5, z, 0.2 in descending order.
z, 0.2, -5
Suppose -10*u + 6*u - 4 = 0. Put u, 3, 9 in ascending order.
u, 3, 9
Let u be (-21)/(-18)*3/14. Sort -4, 2, u in descending order.
2, u, -4
Let m(w) = -2*w**2 - 4 - 3*w**3 - 2*w**3 - 3*w**2 + 6*w**3 + 6*w. Let u be m(4). Put u, 1, -3 in decreasing order.
u, 1, -3
Let g be (-4)/(-6)*27/51. Sort 2, -0.3, g in increasing order.
-0.3, g, 2
Let p = -1.8 - -2.1. Sort 2/9, p, -0.3.
-0.3, 2/9, p
Let h = 1 - -1. Let s be (-28)/(-20)*h/7. Sort s, -0.5, -1/6 in decreasing order.
s, -1/6, -0.5
Suppose 3*d + 1 + 0 = 4*l, 4*d + 2 = 5*l. Let r be (l/5)/(39/15). Let b = 0.103 - -3.897. Sort 5, b, r in increasing order.
r, b, 5
Let a be (2 + -5)/(6/(-4)). Let r be (-3)/2*8/(-3). Sort r, -13, a.
-13, a, r
Suppose -10 = -4*x - 2. Suppose 3*s = -x*s + 30. Put s, 1, -2 in decreasing order.
s, 1, -2
Suppose -c + 1 = 3. Let q = -0.06 - -0.46. Let r = 0.2 + 0. Sort r, c, q in increasing order.
c, r, q
Let j = 0.94 + 0.06. Let o(l) = -l**2 - 7*l - 6. Let h be o(-5). Put h, j, -0.2 in decreasing order.
h, j, -0.2
Let k = 0.946 - 0.046. Sort k, 5, -4/3.
-4/3, k, 5
Let b = -12 - -20. Let u be 22/152 + (-2)/b. Let r = 3.4 - 3. Put u, r, 3 in decreasing order.
3, r, u
Let u = -2.7 - -3.2. Put 2, u, 0.7 in increasing order.
u, 0.7, 2
Let u be 0/(-2) + 3 - 2. Suppose 0 = -v - 5 + u. Sort v, -5, 5 in increasing order.
-5, v, 5
Let q = -14 + 10. Suppose 0 = 3*c - 1 + 10. Sort c, 2, q in decreasing order.
2, c, q
Let p = -16 + 14.4. Let h = -1.74 - p. Let i = h - 0.06. Put i, -0.4, 1 in decreasing order.
1, i, -0.4
Let d = -7.9 + 8.4. Let s = -4/21 - -11/21. Sort d, s, 0.
0, s, d
Let u(i) = i**3 - 7*i**2 + 2*i - 16. Let n be u(7). Sort 5, -5, n in descending order.
5, n, -5
Suppose -1 = 5*i - 6. Let v be (-20)/(-5) - 3/i. Let d = 0 - -2. Put d, 5, v in ascending order.
v, d, 5
Let t = -2.9 - -3. Sort 3, t, -6.
-6, t, 3
Let f be (-1)/(4/(-8))*-2. Let b = 0 - 0. Let i be (1 - 2)/(-2 + 1). Put b, f, i in ascending order.
f, b, i
Suppose 3*h = 2*h + 6. Let p = h - 3. Let m = 24 - 23. Sort m, -0.3, p.
-0.3, m, p
Let n = -183334/35 - -26937/5. Let m = 149 - n. Sort m, 2, -0.1 in descending order.
2, -0.1, m
Let v = -0.1 - -1.1. Let o = -1.42 + 0.92. Let h = 2 - 1.8. Sort v, o, h in ascending order.
o, h, v
Suppose 2*q + 15 = 7*q. Suppose 0 = -q*l + 4*t + 7, 4*l + 3 = t - 5. Put 1/2, l, -2/5 in descending order.
1/2, -2/5, l
Let x = -3 - 5. Let d = x + 7.6. Put -4, d, -2/9 in decreasing order.
-2/9, d, -4
Suppose -3*g + 5*z = -22, -g + 5*z = 2 - 6. Let i = -12 + g. Sort 5, i, -4 in descending order.
5, i, -4
Let k = 1 - 6. Suppose -20 - 5 = -5*n. Sort 1, k, n in ascending order.
k, 1, n
Let y = 68 - 69. Sort 