-2) + 0. Put 0, 5, q in decreasing order.
5, 0, q
Let n = -108 - -60. Let t = -52 - n. Sort 2, t, 3 in increasing order.
t, 2, 3
Let p = -213 + 213.4. Put p, 6/5, -4 in decreasing order.
6/5, p, -4
Let r = -39 - -46. Suppose 4 - r = -3*g - 3*p, g - 2*p = -11. Suppose -c = c + 8. Put g, c, -2 in decreasing order.
-2, g, c
Let v = -1.9 + 2. Let l = -179 + 67. Let k = l - -117. Sort -0.1, v, k in descending order.
k, v, -0.1
Suppose -3*c = 2*k - 7, 0 = 2*k - 4*k + 2*c + 2. Suppose -36*a = -34*a - k. Put a, 2, -3 in decreasing order.
2, a, -3
Suppose -4*i + 15 = -3*b - i, 3*b + 5 = -2*i. Let f(h) = 4*h**2 - h - 7. Let k be f(b). Let q = 29 - k. Sort q, 2/5, -0.4.
q, -0.4, 2/5
Let l = 2.762 + -2.762. Let x = 2 + -1.7. Put x, -6/7, -5, l in decreasing order.
x, l, -6/7, -5
Let i = 338 - 338. Put 6, 17, i, 5 in decreasing order.
17, 6, 5, i
Let z be -2*1 + 6 + -4. Suppose z = 12*v - 15*v - 63. Let a = v + 25. Sort 2, 1, a in increasing order.
1, 2, a
Let d = 23.94 - 29.7. Let q = d - 0.24. Put -3/5, -1/5, q in descending order.
-1/5, -3/5, q
Suppose 9*q - 5 = 4. Let r be (-21)/(-5) - 1/5. Put 3, r, q in decreasing order.
r, 3, q
Suppose 12 = 4*j - 4*y, -y - 2*y - 3 = 0. Suppose 2 = j*m - 2. Suppose m*o - o = 0. Sort o, -5, -3.
-5, -3, o
Suppose 621*p - 26 = 620*p + 4*b, 5*p = b + 92. Sort 2, -1, p.
-1, 2, p
Suppose -72 = -4*x + 4*k, 5*x + 3*k = 58 + 48. Let p = 17 - x. Let c be 1/(0 + -4)*2. Put 0, p, c in descending order.
0, c, p
Suppose 3*c - 3*s = 6, 5*c - 11 = 4*c - 2*s. Let a = -13 - -5. Let q = a - -7.6. Sort c, 0, q.
q, 0, c
Suppose 0 = s + 1 - 11. Let m = s - 8. Suppose w - 12 = -3*w. Sort -5, m, w.
-5, m, w
Suppose 5*x = -2*b + 6, -12 = -4*b - 0*b - 2*x. Sort -11, b, 5 in descending order.
5, b, -11
Let y be (-1)/5 - 30/(-150). Put -338, y, 3 in descending order.
3, y, -338
Suppose -7 = 5*b - n, -b + 6 = 5*n + 23. Sort 3, -4, 0, b.
-4, b, 0, 3
Let u be (3 + -13)/(3/(-1) - -4). Let h = 0.2 + -0.5. Let t be 3/(-2 + 65/10). Sort h, u, t in descending order.
t, h, u
Let o(i) be the second derivative of i**5/20 - i**3/6 + 2*i**2 + i. Let u be o(0). Suppose 0 = m, 4*x - 2*m = 7*x - 6. Sort 1, u, x in increasing order.
1, x, u
Suppose -76*t + 72*t - 4 = 0. Suppose 2*w = 10, 0 = -5*q - 6*w + w. Sort 2, t, q in ascending order.
q, t, 2
Suppose 0 = 9*y + 115 - 52. Sort -2, -5, y in decreasing order.
-2, -5, y
Let v = 0.0964 - -31.9036. Sort v, 1/5, 0, -0.2 in decreasing order.
v, 1/5, 0, -0.2
Let t = -0.04 + -1.96. Let p = 516 + -460.2. Let f = p - 56. Sort t, 1, f in increasing order.
t, f, 1
Let k = -7 + 11. Suppose -j + 1 = -k. Suppose -3*b - 1 = j. Sort 3, b, 5.
b, 3, 5
Let j = 5 + -2. Let q be 4*j/(-9)*3. Put -1/5, q, 3/7 in descending order.
3/7, -1/5, q
Suppose -171 = 14*z - 143. Sort z, 4, 9, 5 in descending order.
9, 5, 4, z
Let r = -0.32 + 0.19. Let z = r - -0.08. Sort -4/5, 2, z in descending order.
2, z, -4/5
Suppose -3*k = h - 11, -5*h - 7 + 5 = -4*k. Let o = 23 + -23. Sort o, h, 3 in decreasing order.
3, h, o
Let m = 318/35 + -65/7. Put 1/9, 0.1, m, -2/7 in ascending order.
-2/7, m, 0.1, 1/9
Let a = -12.29 - -14.29. Put 10, a, -1, 0.1 in descending order.
10, a, 0.1, -1
Let p(f) = -3*f + 9. Let s be p(4). Let c = s + -2. Let q be (-1)/(-20) + (-1)/4. Put q, -4, c in decreasing order.
q, -4, c
Let o = 49476 - 495479/10. Let k = 72 + o. Put k, 0.4, 5 in decreasing order.
5, 0.4, k
Suppose x = -4*v - 13, -4*v = -v + 9. Suppose 2*j - 4*g = -14, -1093*j + 3*g + 12 = -1096*j. Sort x, -1/6, 2/3, j in decreasing order.
2/3, -1/6, x, j
Let d be (-845)/91 - -8 - (-4)/14. Sort -33, d, -4 in descending order.
d, -4, -33
Let y = -619 + 614. Sort 4, y, 0.3, -2.
y, -2, 0.3, 4
Suppose -o + 22 = 4*x, 4*x - 1 = o + 17. Suppose h + a = -2*a + 5, 10 = 4*h + o*a. Suppose l - 2 + 8 = 0. Sort 5, h, l in decreasing order.
5, h, l
Let y = -599/8 - -75. Let z = 18 + -14. Sort 5/6, y, 0.5, z in decreasing order.
z, 5/6, 0.5, y
Let c = -193 - -195. Sort -5, c, -3 in ascending order.
-5, -3, c
Let p be -1 + 2 + 1 + 2. Suppose -p*b = -0 - 20. Suppose 0 = r - 10 + 7. Sort b, r, -3 in increasing order.
-3, r, b
Let a = -840 - -748.7. Let h = -91 - a. Put -4, h, 5/4 in decreasing order.
5/4, h, -4
Let i = 0.0106 - -0.4894. Sort i, -2, -2/3, 0.4.
-2, -2/3, 0.4, i
Let q be (-1 + -1)*1*2. Let f(r) = -32*r - 158. Let o be f(-5). Put q, o, 4 in descending order.
4, o, q
Let i = -631 + 634. Put 30, i, -5/3, 0 in decreasing order.
30, i, 0, -5/3
Let u(c) = -2*c + 7. Let s be u(3). Let d be 3 + (-5)/(6 - s). Sort -7/4, -0.2, d in descending order.
d, -0.2, -7/4
Let l = 6091 - 6088. Suppose 0 = -o - 4*o - 15. Put -2, o, l in increasing order.
o, -2, l
Let m be (-3)/(-2) + 520/(-80). Put m, 0, 5, 4 in decreasing order.
5, 4, 0, m
Let m = 46 - 47.9. Let r = -2 - m. Let u = 9.6 - 10. Sort 0, u, r in descending order.
0, r, u
Let j = -3638/13 + 280. Let i = 211 - 213. Sort j, i, 1/21, -2/3 in decreasing order.
j, 1/21, -2/3, i
Suppose 4*x + 3*i + 6 = 15, 0 = 5*x - 3*i - 18. Suppose 0 = x*b + 3*h - 18, -5 = 3*b - 3*h + 1. Let p = -71 - -70. Sort b, p, 5 in decreasing order.
5, b, p
Let p be 6*4/(-32)*2/6. Put p, 0.03, 1/4 in descending order.
1/4, 0.03, p
Let t = 1394 + -1395.2. Suppose 3*w + 2 = f + 3, -2*w - 2 = 0. Put -0.3, f, t in decreasing order.
-0.3, t, f
Let y = 72 + -43. Let g = y - 23. Sort -1/3, g, -1/7 in descending order.
g, -1/7, -1/3
Let j = 112 - 106. Suppose -20 = -j*q + 10. Sort 2, 1, q in descending order.
q, 2, 1
Let h be 6/(-5)*(-40)/12. Suppose -5*s = -4*a + 13, 4*a - s + 27 = -h*s. Suppose 5*d - 5*x - 16 = -7*x, -5*d = 5*x - 10. Sort d, a, 1.
a, 1, d
Let r = -1.7 - 0.3. Let p = r - 3. Let h = -27/10 + 7/2. Put h, p, 1 in ascending order.
p, h, 1
Let j = 284 + -298. Sort j, -4, -2, 1/8 in descending order.
1/8, -2, -4, j
Suppose -5*d + 5 = -5. Suppose 5*q - 2*q = 3*g - 18, -d*q - g - 6 = 0. Let z be (-3)/(-9) - (-4)/(-12). Sort q, z, 2 in increasing order.
q, z, 2
Let u = 5.63 - -2.37. Sort 1/2, 2, u in descending order.
u, 2, 1/2
Let g be 66/(-18) + 2/3. Let u be g/(-15) - (-82)/(-10). Let y = -5 + 0. Sort y, 0, u.
u, y, 0
Let y be -1 - (-27)/6*(-2)/3. Let i be ((-1)/2)/(2/4). Sort i, -2, 1, y in decreasing order.
1, i, -2, y
Let z = -0.28 + -28.72. Sort z, 0.3, 3/4 in increasing order.
z, 0.3, 3/4
Let j(z) = z**3 - 3*z**2 + 3*z - 7. Let c be j(3). Let g be (-4*(-4)/36)/(20/(-6)). Sort c, 4, g in descending order.
4, c, g
Let z(u) = u**3 - 7*u**2 + u - 9. Let l be z(7). Suppose x + s + 3 = -5, 0 = 4*x + 5*s + 35. Let a be (-4 + 138/30)*x. Put l, -1, a in increasing order.
a, l, -1
Suppose -55*l - 85 = 135. Sort -1, 7, l, 1.
l, -1, 1, 7
Suppose -2*h = -4*t - 28, -5*h + 55 = 4*t - 29. Suppose 0 = -4*u + h, 2*c - 2*u + 6 = -0*u. Sort c, 3, 5.
c, 3, 5
Let j be (-7)/14 - 22/4. Let w be j/4*(-92)/6. Suppose -i + 14 = -4*v + i, 2*v + 5*i = w. Sort -10, v, 2.
-10, v, 2
Let m(v) = v + 4. Let q be m(-4). Suppose 0 = -5*i - y - 0*y + 5, 5*i + 3*y - 5 = 0. Put i, 13, q in ascending order.
q, i, 13
Let a(f) = f**2 - f - 8. Let x be a(-4). Let j be (x + -10)*(-6)/4. Sort j, 2, -2 in increasing order.
j, -2, 2
Let v = -41 - -40. Put -10, -5, v in decreasing order.
v, -5, -10
Let k = 6 - 11. Suppose 0 = 2*a - 53*s + 58*s - 9, 3*a - 42 = 2*s. Sort -1/6, a, k in increasing order.
k, -1/6, a
Let m = -5 - -5.42. Let i = 0.92 - m. Put -2, 1, i in ascending order.
-2, i, 1
Let w = -1852 + 1852.3. Put 5, 77, w, -1/6 in ascending order.
-1/6, w, 5, 77
Let c = 2 + 1. Let h = 737 + -738. Put h, -6, c in decreasing order.
c, h, -6
Let g = -37.022 - -0.022. Let d = -41 - g. Sort d, -2.2, 2/9 in descending order.
2/9, -2.2, d
Let n = -1.9 - 0.1. Let z(d) be the third derivative of -d**5/60 - d**4/8 + d**3/6 + 16*d**2. Let h be z(1). Sort 0, h, n in ascending order.
h, n, 0
Suppose 4*f = 4*q - 40, -4*f - 5*q - 21 = 1. Put -3/10, f, -0.2 in ascending order.
f, -3/10, -0.2
Let o = 28 + -21. Suppose d + o = -10. Sort d, 4, -4 in decreasing order.
4, -4, d
Suppose -7 + 0 = -3*b - k, 2*b - k - 13 = 0. Put -3, b, 2, 6 in descending order.
6, b, 2, -3
Let p(l) = -20*l + 128. Let v be p(7). Sort v, -3, 5.
v, -3, 5
Let u = 25 + -39. Let p = 26 + u. Suppose 0 = -2*a - 0*a + 4. Sort a, -3, p in decreasing order.
p, a, -3
Let f = 1886 + -1887. Sort 5, 2/21, f, -0.96 in increasing order.
f, -0.96