.
7, f, s
Let b = 10 + -2. Suppose 4*q + 0*q = -b. Let w = 1145.8 - 1145.82. Put w, 0.2, q in decreasing order.
0.2, w, q
Let t = 116/5 - 338/15. Put -0.2, t, 67, 1 in descending order.
67, 1, t, -0.2
Let u(r) = -5*r**3 + r**2 + 3*r - 4. Let s be u(1). Sort s, 12, 25 in ascending order.
s, 12, 25
Let y(p) = p - 1. Let r be y(-5). Let m be (9 - 2) + (-16)/2. Sort 0, r, -4, m in decreasing order.
0, m, -4, r
Let f = -0.7 - 0.3. Let s = -18.19 + 21.19. Let k be ((-16)/(-9) + -2)/1. Sort k, f, s.
f, k, s
Suppose 3187*r + 14 = 3185*r. Sort -1, 1, -12, r.
-12, r, -1, 1
Suppose -6*k + 47 - 11 = 0. Let o be -2*k/((-12)/(-35)). Sort o, 2, -5 in descending order.
2, -5, o
Suppose 0 = 7*w + 15*w + 1034. Let f(l) = l + 6. Let m be f(-10). Put m, -5, w in increasing order.
w, -5, m
Let o = 543 + -518. Sort 0, o, -1/3 in decreasing order.
o, 0, -1/3
Let p = 7 + -23. Let f = -14 - p. Put f, -2, 17 in decreasing order.
17, f, -2
Let o = -306 + 305.9. Sort -4, o, -2, 3 in increasing order.
-4, -2, o, 3
Suppose -26 = 15*g - 28*g. Suppose 6*r - 5*r - 10 = 0. Sort 4, r, 1, g in increasing order.
1, g, 4, r
Suppose 19*u = 46*u - 5373. Put u, 2, 1 in descending order.
u, 2, 1
Let n = -293 + 289. Put 0.05, 0, 2/7, n in decreasing order.
2/7, 0.05, 0, n
Suppose 0 = 7*n - 3*n. Let u = -27 + 24. Put 1, -1, n, u in ascending order.
u, -1, n, 1
Let m = 22 + -16. Let c be -10*(m/(-15))/(-1). Let y be (-5)/c + (-12)/(-16). Sort y, -5, -2.
-5, -2, y
Let m(o) = -o**3 - 9*o**2 - 10*o - 12. Let w be m(-8). Let k = 14 - 13.5. Let j = 0 - k. Put j, 5, w in descending order.
5, w, j
Suppose 16*r + 102 = 22. Put 3, r, -3 in decreasing order.
3, -3, r
Let g = -38.3 - -13.3. Put -2/3, g, -2/9, -1/3 in ascending order.
g, -2/3, -1/3, -2/9
Suppose 5*p - 25 + 45 = 0, 2*l = -4*p - 14. Put 7, l, 5, -5 in decreasing order.
7, 5, l, -5
Suppose -3*t + 22 = -2*p, 5 = -33*p + 32*p. Sort 61, -3, -1, t.
-3, -1, t, 61
Let p(a) = 2*a - 3. Let k be p(5). Let o = k + -6. Suppose 0 = -3*b + o - 4. Put -2, b, 3 in descending order.
3, b, -2
Let o(x) = 4*x + 3. Let y be o(3). Suppose 3*f = -0*f + y. Let m = 104 - 108. Sort m, -1, f in decreasing order.
f, -1, m
Let t = 32.2 + -32. Suppose 0*m + 2 = -5*m - 2*h, 0 = -5*m + 4*h + 4. Put -2, t, m, -0.4 in decreasing order.
t, m, -0.4, -2
Let x be 4*-5*(-3)/20. Put -2, x, 7 in decreasing order.
7, x, -2
Let t(v) = -22*v - 15. Let a be t(-1). Suppose 0 = -20*r + 23*r - 3. Sort -5, r, a in descending order.
a, r, -5
Suppose 7*n - 44 = -16. Let w = -31 + 32. Sort n, -5, -1, w in decreasing order.
n, w, -1, -5
Let n = 991.9 - 992. Suppose -v = 2*v + 9. Sort 2/11, n, v, 3/2 in decreasing order.
3/2, 2/11, n, v
Let v = -132 + 132. Sort v, -6, -2 in increasing order.
-6, -2, v
Let a be (-6)/4*(-4)/(-9). Let w = -4 - -2.2. Let f = w - -2. Sort -0.2, f, a in ascending order.
a, -0.2, f
Suppose 5*m - 10*m + 25 = 0. Suppose m*v - 2*v = 0. Suppose -4*u - 8 - 12 = v. Sort -3, u, 0.
u, -3, 0
Suppose -9 = 3*b + 3*a, 0*b + a = 2*b - 9. Let w = -13 - -9. Put 1, b, -5, w in decreasing order.
b, 1, w, -5
Suppose 4*l + x = -3, -2*l + 0*x = 3*x + 9. Suppose -2*f + n - 4 - 3 = l, n - 17 = 4*f. Put f, 5, 1 in decreasing order.
5, 1, f
Let w be 10 + (3 - (-4 - -4)). Suppose 4*p - 2*p + 3*c = w, -p - 5*c + 24 = 0. Put p, 2, -3 in decreasing order.
2, p, -3
Let g = 0.39 + 0.11. Let u = -25 - -24.5. Let h = -27 - -353/13. Put h, u, g in descending order.
g, h, u
Let r = 40/9 - 101/18. Let s = -0.0906 - 0.9354. Let l = s + 0.026. Put l, r, 1 in decreasing order.
1, l, r
Let b = 0.601 - 0.031. Let i = -0.97 + b. Sort i, -3/5, -2 in descending order.
i, -3/5, -2
Let n be 3*3*(-6)/27. Let p = -12 + 12. Sort 3, n, p.
n, p, 3
Suppose -5*n + 2*i = 12, -3*i = -7*n + 4*n - 9. Let k = 60 + -66. Sort 0.2, n, k in descending order.
0.2, n, k
Let x(u) = -u**3 + 10*u**2 - u + 14. Let y be x(10). Let r = 145 - 150. Sort y, r, -1/5 in decreasing order.
y, -1/5, r
Suppose 5*i = -6 + 1. Suppose u + 0*u - 5 = 0. Suppose u*a = -2*t + 28, -2*a - 3*a = 5*t - 40. Sort 5, i, t in increasing order.
i, t, 5
Let z be (184/(-13) - -9) + 2/13. Sort -1/4, z, 0.3 in descending order.
0.3, -1/4, z
Suppose -1005 + 935 = -14*i. Sort 4, i, 10, 0 in increasing order.
0, 4, i, 10
Let y = 6 + -9. Let x be (2 - 9/y)/(-1). Put -1, 4, x in descending order.
4, -1, x
Let w = -8.8 + 10. Let x = 2.8 + w. Let q = -3 + 1. Sort x, 5, q in decreasing order.
5, x, q
Let c be -1*2 - (153 + -157). Suppose 0 = 5*d - p - p - 4, 2*d - 3*p = -5. Let j be -5*d*(-2)/5. Sort c, -2, j.
-2, c, j
Suppose -4*a + 0*a + 16 = 0. Suppose -a*i + 13 = i + t, -i - 3*t = 3. Put 1.6, i, 1 in ascending order.
1, 1.6, i
Let m(d) = -20*d + 55. Let z be m(3). Put -3/23, z, -0.2 in decreasing order.
-3/23, -0.2, z
Let t = 7.8 - 8.1. Put 3, -1/13, t in ascending order.
t, -1/13, 3
Let m = 2.5 + 12.5. Let q = m + -18. Sort 2/19, 0.4, q in descending order.
0.4, 2/19, q
Let c = -747 - -742. Sort 11, 2, 1, c in ascending order.
c, 1, 2, 11
Suppose -3*p = -5*f - 34 - 6, -20 = p + 5*f. Let r be (3/p)/1 + 154/35. Put 2, r, 1, -3 in increasing order.
-3, 1, 2, r
Let g = 5 - 4.5. Let b = -1 - 51. Let j = b + 56. Put -5, j, g in decreasing order.
j, g, -5
Suppose 3*n - 20 = 5*n. Let h = n + 7. Suppose 7 = -t + 4*o, 4*t + 3*o = 7*t + 21. Sort 4, t, h.
t, h, 4
Suppose 4 = -c, c = -q + 3*c + 3. Let v be ((-2)/(-6))/(q/(-45)). Sort v, -3, 0 in increasing order.
-3, 0, v
Let r = -24.7 + 20.7. Let a be (-11)/33 + 14/(-30). Sort -11, r, 2, a.
-11, r, a, 2
Let a = 0.0196 + -1.0196. Put a, 3, 17, 0 in descending order.
17, 3, 0, a
Let l = 0.0124 + 0.3876. Sort 4, l, 3, -1/21 in descending order.
4, 3, l, -1/21
Suppose -4*g + x = -3*x - 28, -20 = -2*g + 4*x. Let p(m) = 3 - m**2 + 3 - 4 - 3 - 7*m. Let u be p(-7). Sort u, -4, g in descending order.
g, u, -4
Let h be (-201)/105 - (0 + -2). Let m = -17/35 + h. Suppose -3 = -2*y - 7. Put -1/7, m, y in decreasing order.
-1/7, m, y
Let w = -5.5 + 0.5. Let r(s) = -s**2 - 4*s. Let b be r(-3). Suppose -f + 5 = b. Put w, f, -4 in decreasing order.
f, -4, w
Let f(c) = -c**3 - 9*c**2 - 10*c - 11. Let u be f(-8). Suppose 0*a + u*x - 25 = 2*a, -35 = 4*a - 5*x. Sort a, 10, 0 in decreasing order.
10, 0, a
Let t(a) = 3*a - 10. Let r be t(4). Sort 49, r, -4.
-4, r, 49
Let z = -183 + 178. Sort -3, z, -2, 4.
z, -3, -2, 4
Suppose 6*m = -7*m - 65. Sort -13/2, 5, m, -2 in ascending order.
-13/2, m, -2, 5
Let u = 3.6 - 3.97. Let i = u + -0.13. Let o = 2/47 - -84/235. Sort -2, o, i in descending order.
o, i, -2
Let h = 0.45 + -0.3. Let z = 118/3 - 40. Let k = 2.75 - 2.75. Sort k, h, z in descending order.
h, k, z
Let j = 2178 + -2332. Sort 1, j, -0.4 in decreasing order.
1, -0.4, j
Suppose -27*v = v. Sort -1, v, 8.
-1, v, 8
Let s = -0.101 - 12.999. Let r = 13 + s. Let n be 1 + (-1)/5 + -1. Put n, 1/3, r in increasing order.
n, r, 1/3
Let n(k) = -3*k**3 + 5*k**2 - 2*k - 4. Let h be n(2). Put -2, 0, h in descending order.
0, -2, h
Let z be 3/(-2)*(-4)/(-24). Let v = -22 + 22.6. Sort z, -3/4, 1, v in ascending order.
-3/4, z, v, 1
Suppose 3*j - 3 - 22 = -5*p, 0 = -2*j. Suppose -23*c - 8 = -24*c. Let w be (-5 + 4)*(-1 - 1). Put c, p, w in decreasing order.
c, p, w
Let k = 5873/4 - 1468. Sort -2, k, 58 in decreasing order.
58, k, -2
Let p = 57.6 + -58. Sort p, -22/7, 1/4 in descending order.
1/4, p, -22/7
Suppose 2*m - 5*w + 14 = 0, 3*w - 6 = 3*m - 3. Let g = -26/177 + 4/295. Sort g, m, -2/17 in descending order.
m, -2/17, g
Let m(a) = -a**3 + 6*a**2 - 5*a - 4. Let x be m(2). Sort -7, -1, x, 0.
-7, -1, 0, x
Let s(t) = 2*t + 3. Let a be s(-2). Let m be (-46)/299 + 63/(-13). Sort -3, m, a in descending order.
a, -3, m
Let b = -316 + 319. Sort -2/9, b, -2/5, -2 in increasing order.
-2, -2/5, -2/9, b
Let n = 7 + 0. Suppose 0 = -66*i - 50*i + 22*i - 188. Put n, -5, i in decreasing order.
n, i, -5
Let y(a) = a + 58. Let d be y(18). Put -4, -3, 1, d in descending order.
d, 1, -3, -4
Let p = 11 - 2. Suppose -4*l = -p*l - 30. Let j be (1/3)/(l/72). Sort -5, 0, j.
-5, j, 0
Let q = 7/41 + -201/697. Let s(p) = -14*p - 15. Let h be s(-1). Sort 0.5, q, h in ascending order.
h, q, 0.5
Let q = -0.07 + 4.07. Let j = -85.94 - -87. Let u = j - 0.06. Sort q, u, -2/11 in increasing order.
-2/11, u, q
Let q(f) = -2*f**3 + 29*f**2 - 14*f + 10. Let p be 184/138*21/2. Let c be