q - -0.37. Put z, 0.2, -5 in increasing order.
-5, z, 0.2
Let b = 1091.09 - 1086. Let c = -0.08 + -0.01. Let r = b + c. Put 0.3, -3, r in decreasing order.
r, 0.3, -3
Let q = 5 - 4.9. Let z = 8 + -20. Let h be ((-6)/z)/((-1)/(-3)). Put h, q, -3 in decreasing order.
h, q, -3
Let b = -57/20 + 8/5. Suppose 0 = -8*x + x + 21. Put -2/3, x, b, 4 in descending order.
4, x, -2/3, b
Suppose -7*b - 10 = -12*b. Put b, 3, -8, -4 in descending order.
3, b, -4, -8
Let f = 0.33 + 0.07. Let r = -0.31 + 1.01. Put 3, f, r in increasing order.
f, r, 3
Let z = 1 + -8. Let u = 4931 + -14788/3. Sort 0.04, z, u in ascending order.
z, 0.04, u
Let p = 222 - 219. Let o be (-39)/9 - (-2)/(-3). Put -2, o, p, 0 in decreasing order.
p, 0, -2, o
Let b = -112218 - -1460431/13. Let a = -123 + b. Let x = -12/77 - -26/1155. Put x, -0.3, a in descending order.
x, a, -0.3
Suppose 3*o = -4*o + 455. Suppose -o = -5*q - 45. Sort q, -16, -3.
-16, -3, q
Suppose 0 = 4*u + 3 - 11. Suppose u*t = -0 + 8. Put t, 0, 7, -3 in descending order.
7, t, 0, -3
Suppose -4 = -2*s - 8. Suppose 12*c + 30 = 7*c. Sort s, c, -5.
c, -5, s
Let z be (-9)/(-6 + 7) + 7. Sort -10, z, -4, 4.
-10, -4, z, 4
Let a = 8 + -3. Let h be a + -5 + (-12)/(-4). Suppose -m = 5*o + h - 1, 5*m + 30 = -5*o. Sort m, 0, -2 in descending order.
0, -2, m
Suppose 0 = s - 0 + 3. Suppose -2*d + 4*d = -8. Suppose -4*j - 5*x = -2 - 27, 25 = 5*x. Put d, j, s in increasing order.
d, s, j
Let p(f) = f**3 + 7*f**2 + 6*f - 1. Let x be p(-6). Let k = -45 + 60. Suppose -19*n + 16*n = k. Put n, 4, x in descending order.
4, x, n
Let i = -16 + 6. Let m = 5 + i. Let a = 6 + m. Sort a, -5, 1/3.
-5, 1/3, a
Let p be 18/(-4) + (-1)/2. Let l(y) be the first derivative of y**3/3 + 3*y**2/2 - 7*y + 8. Let z be l(p). Sort z, -2, 5 in increasing order.
-2, z, 5
Let g = 44 + -44. Suppose -5*i - 6 - 24 = g. Sort i, -1, 5 in ascending order.
i, -1, 5
Let i(p) = p**3 - 3*p**2 - 2*p + 3. Let v be i(2). Sort -2, 5, -3, v in increasing order.
v, -3, -2, 5
Let r = -40 - -44. Let s be (-23)/92 - (33/28)/(-3). Put r, -1, -5/4, s in increasing order.
-5/4, -1, s, r
Let x(s) = s**2 - s + 3. Let d be x(2). Suppose -13*v = -14*v - 9. Sort d, v, 4 in decreasing order.
d, 4, v
Let m be 2 + -1 + 17 + -15. Let o be m + -2 + 2/2. Suppose 0*d + d = -o. Sort -1, d, 5 in decreasing order.
5, -1, d
Let x = -95/4 - -24. Sort 0, 3, x, 3.2 in decreasing order.
3.2, 3, x, 0
Let o = 3.54 - 34.54. Let a = 1320 - 1351.04. Let r = a - o. Put r, -0.3, -0.2 in decreasing order.
r, -0.2, -0.3
Suppose 3*j - 1 = -4. Let k(r) = -2*r**2. Let d be k(j). Let a be 1140/152*(4 - 2). Sort -1, a, d.
d, -1, a
Let p = 0.158 + -0.158. Sort p, -2/43, -0.08, -2 in increasing order.
-2, -0.08, -2/43, p
Let m be 3/(9/(-3) + 2). Put 0.3, -9, m in increasing order.
-9, m, 0.3
Let h(m) = -m**2 + 14*m - 45. Let u be h(14). Sort 2/9, u, -0.4 in descending order.
2/9, -0.4, u
Let n = 3078 + -3076. Sort n, -3, -332 in descending order.
n, -3, -332
Suppose 0 = -2*w - 7*w - 18. Let m be (-2)/6 - (-62)/6. Suppose -i + 11 = 4*z - 11, 4*z = 5*i + m. Sort z, 2, w in ascending order.
w, 2, z
Let l(t) = -t + t - t + 0. Let m be l(-3). Suppose 0 = 2*w - 5*w + 6. Sort w, m, 0 in decreasing order.
m, w, 0
Let s(o) = -4*o + 29. Let x be s(7). Let n be (-1 - (1 - 3))*x. Sort 16, 5, 0.1, n.
0.1, n, 5, 16
Let j = -135 + 221. Let x = j - 85. Sort x, -3/8, 0.5.
-3/8, 0.5, x
Let i = 39665 - 39660. Suppose -8 = -4*g + 4. Suppose -3*f + g = -0. Put f, 2/5, i in increasing order.
2/5, f, i
Let x = -168 - -198. Suppose 0 = -3*c - 7*c - x. Put 3, 8, c in increasing order.
c, 3, 8
Let t = 0.76 + -0.66. Let u = -0.4 + t. Let w = -1 + 0.92. Put -2/7, w, u in ascending order.
u, -2/7, w
Let d = -247 + 247.08. Sort -0.4, -0.5, -5, d in decreasing order.
d, -0.4, -0.5, -5
Let b = -0.15 + 0.14. Let w = b + -2.99. Let i = w + 6. Sort i, -0.1, -3 in increasing order.
-3, -0.1, i
Let b(a) = -a**3 + a**2 + 5. Let x be b(0). Suppose 0 = d - 4*c - 3, -2*d - 4*c + 48 - 6 = 0. Put -1, x, d in decreasing order.
d, x, -1
Let p = 77 + -79. Let y = -59 + 64. Put -5, y, 3, p in decreasing order.
y, 3, p, -5
Let i be -2*(0 + -2)/4. Let p = 10 - 7. Let f = 451 + -449. Put p, f, i in increasing order.
i, f, p
Suppose 2*s = 7*s. Suppose 89 - 23 = -6*g. Let v(r) = -r**2 - 12*r - 10. Let b be v(g). Sort b, 5, s in descending order.
5, b, s
Let p be ((-12)/14)/((-12)/84). Let g be ((-3)/(-6) - 2)/p. Sort 3, 0.4, g in descending order.
3, 0.4, g
Let n(z) = z**2 + 9*z - 19. Let s be (-39)/3 + (-3)/9*-6. Let d be n(s). Suppose -5*m + 22 = 2. Put m, 2, d in decreasing order.
m, d, 2
Let y = -428/9 + 8497/180. Let o = y + 1/10. Sort 2/11, -1/6, 1/2, o in decreasing order.
1/2, 2/11, -1/6, o
Let x = -98.5 + 76.5. Sort x, 11, -3/8 in ascending order.
x, -3/8, 11
Let a = -1 - -4. Suppose 5*i - 3*p - 4 - 5 = 0, -9 = -3*i + a*p. Put -3/4, i, 1, -0.4 in decreasing order.
1, i, -0.4, -3/4
Let s(h) = h + 19. Let x be s(-8). Let o be (-2)/(-13) + (-1060)/130. Let m = x + o. Sort -2, -5, m.
-5, -2, m
Let r be 759/(-713) - 6/(-93). Let o = 18 - 27. Let t = 4 + o. Put t, r, 4 in ascending order.
t, r, 4
Suppose -4*w + 2*w - g - 7 = 0, -5*w = 2*g + 19. Suppose 4*q - 3*q = 5. Suppose m + 16 = q*m. Put m, w, 3 in descending order.
m, 3, w
Let h = -4 + -3. Let x(c) = -c**3 - 9*c**2 - 15*c - 10. Let a be x(h). Sort a, 5, 0, -14 in descending order.
5, 0, a, -14
Let x be 203/12 - (1 + 4/4). Let z = 53/4 - x. Let n be 0/(-2) + (-1)/4. Sort z, n, 0.3 in increasing order.
z, n, 0.3
Suppose 0 = 11*s + 6*s + 34. Sort s, 4, 9, 5 in increasing order.
s, 4, 5, 9
Let b = 0.47 + 27.53. Let m = 27 - b. Sort 0.3, -0.5, m in descending order.
0.3, -0.5, m
Let i = 8.5 - 8.441. Let o = i - -0.941. Let q = -0.13 - -5.13. Sort q, o, -2/5 in decreasing order.
q, o, -2/5
Let g = -73 - -366/5. Let z = 4175 - 4166.933. Let w = -0.067 + z. Sort g, 3/4, w.
g, 3/4, w
Let c = -0.406 + 12.406. Sort c, 3, -4, 2.
-4, 2, 3, c
Let u = -381 + 379.1. Sort 5, -5, -2/9, u in increasing order.
-5, u, -2/9, 5
Let p = 37.637 + -2.637. Sort p, 4/9, 4, -2 in decreasing order.
p, 4, 4/9, -2
Let d(q) = -6*q - 138. Let c be d(-23). Put c, -5, -4, -3 in decreasing order.
c, -3, -4, -5
Let h(x) = x**3 - 11*x**2 + 12*x - 18. Let l be h(10). Suppose -1 = l*m - 5. Sort m, 1, 3, -2 in descending order.
3, m, 1, -2
Let o be 8/20 - 124/10. Let x be (3/(27/o))/((-4)/(-6)). Sort x, -4, 2 in decreasing order.
2, x, -4
Let z = -7.336 - -7.736. Let w be 9/4 - (-1 - -3). Sort 1/8, z, 0.3, w.
1/8, w, 0.3, z
Suppose -5*s + 5*l + 91 = 4*l, 4*l + 4 = 0. Let j = 88/5 - s. Put -2, 1, 3, j in descending order.
3, 1, j, -2
Suppose -2*f + 2 = -a - 1, 9 = 5*a + 2*f. Put -3, a, 4 in decreasing order.
4, a, -3
Suppose 0 = -2*x - 3*i - 18, -4*i = 4*x - 3*i + 16. Put 17, -0.8, x in descending order.
17, -0.8, x
Suppose -137*o + 60 = -122*o. Suppose -d - a = 2*a + 15, 2*d + 20 = -4*a. Put d, 1, o, -5 in descending order.
o, 1, d, -5
Let o = 21 + -26. Let l(g) = g**2 + 11*g - 4. Let w be l(-11). Sort w, 0, o in decreasing order.
0, w, o
Let x = 178 + -174. Let v(g) = -g**3 - 6*g**2 + 7*g. Let t be v(-7). Suppose t = -0*p - 4*p - 12. Sort p, x, -1/4 in decreasing order.
x, -1/4, p
Suppose 0 = 5*p + 29 + 16. Let m(z) = z**3 + 9*z**2 - z - 11. Let c be m(p). Let t = 0.26 + -0.17. Sort t, 5, c in descending order.
5, t, c
Let v = -9 + 9. Let m = v - 0. Let j = -5 - m. Put 5, j, -0.3 in descending order.
5, -0.3, j
Let l = -115 + 167. Suppose 0 = -3*p - 40 + l. Let v be (-2)/7 + (-2)/(-7). Sort -4, v, p in descending order.
p, v, -4
Let p = 284 + -280. Sort -2, p, -4, -3/4 in increasing order.
-4, -2, -3/4, p
Let j be (42/28)/((-3)/(-4)). Sort j, -18, 5, 1 in decreasing order.
5, j, 1, -18
Let k(p) = 11*p**2 - 6 + 4 - 15*p**2 + p**3 + 1. Let c be k(4). Sort 1, c, -2 in ascending order.
-2, c, 1
Let n = -2.8 + 10.8. Let h = -1/200 - -411/2200. Sort 1, h, n in decreasing order.
n, 1, h
Suppose 0 = -5*l + q - 100, -q - 4 - 10 = l. Put l, -2, 1 in ascending order.
l, -2, 1
Let v(z) = -10. Let h(i) = -i + 9. Let x(j) = -3*h(j) - 4*v(j). Let w be x(-3). Sort 0, w, 2, 5 in descending order.
5, w, 2, 0
Suppose -3*s + 287 = 365. Let t = s - -24. Suppose f = -g - 4*f + 25, 9 = 3*f. Sort 4, g, t in ascending order.
t, 4, g
Let k = -105 + 111. Sort k, -0.4, 5.
-0.