t = -3357 - -3364. Suppose t*b - j - 139 = 0. Put -5, b, 4 in increasing order.
-5, 4, b
Suppose -1019 = -10*j - 1069. Let z be (16/(-20))/(0 + 1/15). Sort z, 0, j.
z, j, 0
Suppose 0 = 3*t - q + 13, 2*t + 6 = 4*q - 6*q. Sort 2, 1, 10, t in ascending order.
t, 1, 2, 10
Let o(h) = 2*h. Let u be o(3). Suppose -9 = 2*p + 1. Let f(c) = -15*c**2 - 317*c - 1587. Let b be f(-13). Put u, b, p in ascending order.
p, b, u
Let t = 4929 + -4896. Sort -3, t, 1, 1/2.
-3, 1/2, 1, t
Suppose 0 = -p - 5*k + 13, -5*k = -2*p - 12 - 7. Let q(y) = -y**3 - 7*y**2 + 9*y + 13. Let w be q(-8). Sort w, 46, p in descending order.
46, w, p
Let y = -19.512 + 22.512. Suppose -5 = -5*b - 5*t, -b - 4*t = -0 - 1. Put 25, b, 4, y in ascending order.
b, y, 4, 25
Let g = 0.96794 + -0.76794. Let q = -3 + 0. Sort q, 10, g in decreasing order.
10, g, q
Let j(p) = p**2 - p - 10. Let q be j(0). Suppose 150*u = 189*u - 117. Put q, u, -1 in descending order.
u, -1, q
Let b(s) = s**3 - 9*s**2 - 12*s + 23. Let n be b(10). Let g be (6 + 60/(-10))*2/4. Sort n, 1, -4, g in ascending order.
-4, g, 1, n
Suppose 0 = -13*n + 74 - 61. Put -662, -5, n, -3 in increasing order.
-662, -5, -3, n
Suppose 0 = -4*x + 3*r - 36, 3*x + 4*r + 0 = -2. Let t be -2 + ((-2)/x - 140/(-15)). Let s = -22/3 + t. Put -11, s, 2/9 in increasing order.
-11, 2/9, s
Suppose -2*h - 20 = 3*h. Suppose 2 = -3*f + 17. Let y be ((-6)/10)/((-39)/(-5) - 8). Put h, 2, y, f in increasing order.
h, 2, y, f
Suppose -27 - 17 = -26*i - 18. Put i, -2, 4, 44, 2 in ascending order.
-2, i, 2, 4, 44
Let h = -28 - -28. Suppose h = -b + 3*t - 14, 2*b = t + 4 - 12. Let x = 95 + -92. Put -4, -5, x, b in descending order.
x, b, -4, -5
Let x = -341/90 + 39/10. Let s = -2.82 + 6.82. Sort 20/13, s, x in increasing order.
x, 20/13, s
Suppose 10*y + j - 149 = 58, 3*y = 3*j + 72. Put -4, -7, y, 1 in decreasing order.
y, 1, -4, -7
Let z = 3999 + -3998.15. Put z, -1, 2/3, -0.4 in decreasing order.
z, 2/3, -0.4, -1
Let p = -462 + 645. Let r = -1279/7 + p. Put r, -60, -3, -0.2 in descending order.
r, -0.2, -3, -60
Let q = -4.7 - -34.7. Let a = q + -63. Let n = a - -50. Put 1, n, -3/2, -2 in increasing order.
-2, -3/2, 1, n
Let u(j) = -2*j**3 + 5*j**2 - 2*j + 7. Let o be u(4). Let v = 46 + o. Let t be (v/(-2))/(3/22). Sort -2, -1, t in descending order.
t, -1, -2
Let j = -334.28 + 329.28. Put 0, -0.6, 2/5, -1.9, j in descending order.
2/5, 0, -0.6, -1.9, j
Let l = -559/4536 + -1/567. Sort -1, 165, l in decreasing order.
165, l, -1
Let c = -521 + 520. Let f = 17 - 17.4. Sort c, 7, f in increasing order.
c, f, 7
Let v be 8 + -17 + 13 + 7. Sort -10, v, -2, -1 in decreasing order.
v, -1, -2, -10
Let f(h) = -3*h**2 - 55*h - 88. Let a be f(-28). Let j be (-6)/(a/(-195)) + 8/10. Put 0.8, j, -6 in ascending order.
-6, j, 0.8
Let g = -4500 - -4496.1616. Let x = -0.0284 - g. Let d = x - 3.9. Sort d, -0.2, -2 in ascending order.
-2, -0.2, d
Let a be -6*(-534)/(-1935)*20/(-323). Let i = a - -2/731. Sort i, 1/5, -3 in descending order.
1/5, i, -3
Let q = -211 + 225.1. Let g = -14.2 + q. Put -5, 3, -2/9, g in ascending order.
-5, -2/9, g, 3
Suppose s + q - 8 = 0, -3*q + 0 = -4*s - 3. Let c = 2.77 + -2.27. Put c, -4, s, 2 in increasing order.
-4, c, 2, s
Let s be (-88)/(-16) + 1/2 - -9. Sort 1/3, -18, 1/4, s, -1/7 in ascending order.
-18, -1/7, 1/4, 1/3, s
Let u = -0.0753 - 0.3207. Put u, 1/2, 2 in increasing order.
u, 1/2, 2
Let v = -1030 + 1033. Let j = 0.004 + -9.104. Let n = 9 + j. Put -2/3, n, v, 5 in increasing order.
-2/3, n, v, 5
Suppose -1706 + 1701 = z. Put -19, z, 0, 5, -2 in decreasing order.
5, 0, -2, z, -19
Let m = -10 + 14. Let l be -3*(-8)/9*-3. Let v = l + 7. Sort 0.4, m, v in ascending order.
v, 0.4, m
Let k(z) = -z**2 - 81*z - 1432. Let l be k(-26). Let o = 6 + -15. Sort 30, -4, l, o.
o, -4, l, 30
Suppose 5*g + 29 = 3*b, -2*b - 14 = g + 4*g. Suppose -3*z + 3*a - 12 = -2*a, b*a = 2*z + 7. Let o = 3 - z. Sort o, 0, 7 in increasing order.
0, o, 7
Let s be (14/(-56))/((-1)/8). Suppose -3*j = -3*p + 12, -3*j + 2*p + 0 = 8. Sort -5, s, j.
-5, j, s
Let q = -47 - -49.1. Let n = q + -2.2. Let f = 1172.3 + -1172. Sort -1/6, -2, n, f in decreasing order.
f, n, -1/6, -2
Let d = 8.1 - -2.9. Let z = 248.2 + -248. Sort d, z, -4.
-4, z, d
Suppose -5*h - 6 = -8*h. Suppose 2*k = -h*a - 0*a, -2*k + 3 = -a. Let f(l) = 2*l**3 + 22*l**2 + 35*l - 7. Let r be f(-9). Sort -4, r, a.
-4, a, r
Suppose -62*v - 5*k = -65*v - 32, -3*v + 4*k = 28. Put 5, -4/5, v in decreasing order.
5, -4/5, v
Let g(a) = -a - 9. Let v be g(-8). Let l be (1 - -2) + -3 + 3. Suppose -52*u - 41 = 59 - 152. Sort 5, l, u, v in decreasing order.
5, l, u, v
Let g(f) = 2*f**2 - 12*f + 8. Let o be g(6). Let t = -107.011 + 0.011. Let b = -107.5 - t. Put 2/7, 1/2, o, b in descending order.
o, 1/2, 2/7, b
Let c = 0.3 - 0.4. Let d = -1049 - -1049.1. Sort d, c, -1/4, -0.2 in increasing order.
-1/4, -0.2, c, d
Let b = -292.5 + 57.5. Let s = -248 - b. Put s, 4, 5 in ascending order.
s, 4, 5
Suppose 5*p - 83 - 2 = 0. Suppose 0 = 23*b - p*b + 6. Sort b, 6, 4, 27 in descending order.
27, 6, 4, b
Let i(b) = 3*b**3 + b - 1. Let q be i(1). Suppose -l - 2 = -q*l. Let u = -48 + 47.6. Sort l, u, 2/13.
u, 2/13, l
Let w = 116 - 117.07. Let m = -4.23 + w. Let c = 5.8 + m. Sort 2/11, c, 41 in ascending order.
2/11, c, 41
Let l = -836.119 - -6.219. Let t = l + 830. Sort -1, 3, 2/25, t in increasing order.
-1, 2/25, t, 3
Let a = -37 + 35. Let f = -87 - -82. Let x be ((-46)/(-9) + f)*3. Put -1/8, x, -0.11, a in ascending order.
a, -1/8, -0.11, x
Suppose 4*v - 27*c = -31*c - 8, -3*v - 4 = 2*c. Suppose 4*g + 0*t = -2*t - 22, -4*g - 4*t = 24. Let h be 273/52 - (-2)/(-8). Sort h, g, v in descending order.
h, v, g
Let i = -33659/714 + 801/17. Sort i, -3/4, -1.4.
-1.4, -3/4, i
Suppose 0 = -w + 2*f - 7, -5*f + 16 + 5 = w. Let d(i) be the first derivative of -3*i**2/2 - 32*i + 54. Let u be d(-10). Put u, 8, -5, w in ascending order.
-5, u, w, 8
Let p = 2.21 - 0.61. Let y = 1.6 - p. Sort -11, -5, y in decreasing order.
y, -5, -11
Suppose -4 - 10 = 7*b. Let c = -42 - -34.4. Let u = -7.4 - c. Sort u, 3, b in ascending order.
b, u, 3
Let s = 25089/10034 + -2/5017. Put s, 1/3, 5, 7 in decreasing order.
7, 5, s, 1/3
Suppose 9*z - 444 = 117*z + 204. Suppose -2*w + w = -5*c + 7, 4*c - 14 = 5*w. Sort w, 3, z in descending order.
3, w, z
Let v = -1093.2 - -1093. Sort -1, v, 2, -15/7.
-15/7, -1, v, 2
Suppose -3*x - 5*z - 2 = 0, -2*x + 0 = z - 1. Let m be ((-1)/(-1))/(1 - 2). Let f(a) = -2*a**2 + 10*a - 12. Let q be f(4). Sort m, 2, q, x in descending order.
2, x, m, q
Let f = -751 - -753. Let g = 75 + -70. Let a = 15 + -19. Sort a, f, g.
a, f, g
Let h be 1/6 + -14*5/60. Let w be (-1111)/(-308) - (5 + h). Let b = 1/4 + w. Sort -1/9, 3/5, -2, b in descending order.
3/5, -1/9, b, -2
Let i = -1 - -0.7. Let k = -289 + 838. Let f = 549.2 - k. Sort -1/78, i, f in descending order.
f, -1/78, i
Let k = 239 + -349. Let b be (44/k)/((-2)/40). Put -4, 2, b, 5 in decreasing order.
b, 5, 2, -4
Let a = 659 + -656. Suppose 0 = 31*u - 34*u - 5*l - 7, 5*l = u + 9. Sort a, u, 2, -11.
-11, u, 2, a
Suppose -6 = -3*s - 4*a - 41, -173 = 9*s - 5*a. Put -0.2, 1/6, -0.1, s in descending order.
1/6, -0.1, -0.2, s
Let g = 65 + -2.6. Let s = g - 66.4. Put s, 0.4, 4 in decreasing order.
4, 0.4, s
Let v = 145 - 926. Let k = 777 + v. Sort -3/2, 2/11, 13, k in descending order.
13, 2/11, -3/2, k
Let b be ((378/(-1575))/(6/(-45)))/((-1)/(-5)). Suppose 3*u = 2 + 1. Put b, 3, -1, u in ascending order.
-1, u, 3, b
Let a be 40/(-50)*1/(-30) + 0. Put -1/15, -0.1, a in increasing order.
-0.1, -1/15, a
Let m(c) = 11*c + 43. Let g be m(-4). Let h = -1620 - -1627. Put -5, h, g, 4 in decreasing order.
h, 4, g, -5
Let l(q) = -q**3 - 10*q**2 + 10*q - 11. Let d be l(-11). Put 5, -490, d in descending order.
5, d, -490
Suppose 4*j + 35 = 4*a + 7, -31 = -5*a + 4*j. Put a, -1, -4, 17, 5 in descending order.
17, 5, a, -1, -4
Let t = 9 + 16. Let h = 23 - t. Let n be 1/(-1 - 12/(-9)). Sort n, -5, 1, h in decreasing order.
n, 1, h, -5
Let k = 253 - 250. Let x = -26.6 + 27. Sort k, x, -3 in descending order.
k, x, -3
Let x(h) = -62*h - 1491. Let b be x(-24). Sort 52, -1, 2, b in decreasing order.
52, 2, -1, b
Let w = -0.5226 + 2.5226. Let n = 1.1 + -1. Put -3, -11, n, w in increasing order.
-11, -3, n