, 4, y
Suppose 4 - 1 = 3*j. Let w be (-26)/10*(-2)/((-6)/(-15)). Suppose -3*b - 2 = w. Put j, 0, b in descending order.
j, 0, b
Let x = 36 - 34. Suppose 4*a + 23 = 5*j, -2*a + 3*a = -x*j + 4. Put a, -16, 3 in decreasing order.
3, a, -16
Suppose 2 = -5*x + 6*x. Suppose -x*s = -8*s - 0*s. Put s, 3, 6, 4 in increasing order.
s, 3, 4, 6
Let v = 3 + -6. Suppose 729 = 7*x + 736. Sort 8, x, v.
v, x, 8
Let l be 7/(-14)*(0 + (14 - 8)). Sort -17, -50, l in increasing order.
-50, -17, l
Let o be (30/24)/((-1)/(-12)). Sort 9, o, 2 in descending order.
o, 9, 2
Let w be ((-14)/(-6))/((-1)/(-21)). Let l = 685/14 - w. Suppose 4*n = u + 3 + 3, -4*n = 5*u + 6. Sort n, 2/3, l in ascending order.
l, 2/3, n
Let j = 497.88 - 498. Let n(t) = 2*t. Let x be n(1). Put j, -3/7, x in increasing order.
-3/7, j, x
Let f = 140 + -154.5. Let o = f - -16.5. Put -5, 0.09, 2/15, o in descending order.
o, 2/15, 0.09, -5
Let w = 0.94 - 1.14. Let c = 17.7 - 17. Let n = c - 0.73. Put -2/5, n, w in increasing order.
-2/5, w, n
Let n(j) = -j + 16. Let r be n(11). Let c = r + 3. Let m = 5 - c. Put m, 2, -2 in descending order.
2, -2, m
Let i = -3 - 2. Let t = i + 5. Let y(p) = -p**3 + 11*p**2 - 22*p - 13. Let z be y(8). Sort z, 2, t in ascending order.
t, 2, z
Let i be (6 + -4 - 0) + 61. Let b = i + -69. Sort b, 5, -1, 2.
b, -1, 2, 5
Let x = 307 + -306.5. Sort 2, -5, x, 2/9 in descending order.
2, x, 2/9, -5
Let l be ((-1)/2)/(5/10). Let p be l*(2 + (-4 - -3)). Let w = 0 + 1. Sort -3, p, w in decreasing order.
w, p, -3
Let p(d) = -d + 7. Let l be p(7). Let w = l + 4. Let y be (3/2)/(1/2). Sort w, -1, y.
-1, y, w
Let b be (-1)/((5 - 1)/4). Put b, -78, 6 in descending order.
6, b, -78
Suppose 3*i = 3*u, -1 + 2 = 4*u - 3*i. Let y be 3275/(-125) + u/5. Let v be 19/(-7) - (-4)/(-14). Put 5, y, v in descending order.
5, v, y
Let i = -1.42 + 1.82. Sort 2, 0, -10, i in decreasing order.
2, i, 0, -10
Let g = 28 - 22. Let a = g + -1. Sort 12, a, -5.
-5, a, 12
Let a be (1 - -3) + -33 + 38. Sort 4, -1, a, -3 in descending order.
a, 4, -1, -3
Let v = -14 + 21. Suppose 7 = 8*n - v*n. Let k(p) = -5*p**3. Let q be k(1). Sort q, n, 0 in ascending order.
q, 0, n
Let h = 0.0289 - -0.9711. Let w = 5.8 - -0.2. Sort -2/7, w, h in ascending order.
-2/7, h, w
Let a = 2 + -4. Let g(u) = -u**3 - 9*u**2 + 10*u + 3. Let x be g(-10). Suppose 0 = 20*w - 12*w. Put x, w, a in ascending order.
a, w, x
Let b(o) = o**2 - o - 2. Let w be b(0). Let z be ((-2)/4)/((-2)/20). Let m be 4/(-12) - (-1)/3. Sort z, m, w.
w, m, z
Let a(j) = j**3 + 58*j**2 + 217*j + 3. Let u be a(-4). Let i = 1 + -1.3. Put u, i, 3 in descending order.
3, i, u
Let d(w) = w**2 - 5*w - 6. Let n be d(6). Let o(f) = f**2 + f - 5. Suppose -i - i + 10 = 3*r, -4*r = -i + 5. Let t be o(r). Sort n, -3, t in decreasing order.
n, -3, t
Suppose -4 = k - a - a, 4*a - 20 = -k. Sort k, -1, -48 in decreasing order.
k, -1, -48
Let s = -12 - -12. Suppose -j + s*j = -20. Suppose -3*t + 8*t - j = 2*l, 2*l = t - 4. Sort l, 3, -3 in descending order.
3, l, -3
Suppose -4*u = 5*r - 9, -r - 4*u + 0*u = -5. Let i be (-1 - -6)*4/10. Suppose 0 = 5*c - 10, i*k + 4*c = -0 - 2. Put k, 2, r in increasing order.
k, r, 2
Let q = -2.1 - 2.9. Let s = 271 - 270. Let w be (2/(-6))/((-3)/(-6)). Sort q, w, s in decreasing order.
s, w, q
Suppose -239*z + 4 = -237*z. Put 1, 2/7, z in increasing order.
2/7, 1, z
Let r = -0.52 - -2.74. Sort 0, r, 3 in descending order.
3, r, 0
Let q = 225 - 221. Sort q, -2, -0.07 in decreasing order.
q, -0.07, -2
Let n = -67.8 - -66. Let g = n - -1.9. Put 2/9, g, -2/11, -1 in descending order.
2/9, g, -2/11, -1
Let v = 312.3 - 313. Let i = 0.06 - 0.46. Let g = -0.3 - i. Sort g, v, -0.2.
v, -0.2, g
Let g = 1 + 2. Suppose g*l + x - 5*x - 28 = 0, -4*l = 4*x. Suppose 0 = 3*n - 3*w + 27, 0 = -2*n - 0*w + 3*w - 22. Sort n, 2, l in decreasing order.
l, 2, n
Let n = -2.9 + 3.3. Sort n, -7/2, 0, -1/6.
-7/2, -1/6, 0, n
Let n = 25.5 + -26. Put 0.16, 0.4, n, -1 in decreasing order.
0.4, 0.16, n, -1
Let x be 15048/(-1518) - 4/46. Sort 4, x, 2 in descending order.
4, 2, x
Let l be (4 + 174/(-15))*-80. Let x be (l/84)/(-8) + 1. Let u be 2 - ((-19)/(-6) + -1). Sort 0.3, x, u in ascending order.
u, x, 0.3
Let j = 19 - -10. Let c = j + -24. Sort -3/2, -0.3, c in increasing order.
-3/2, -0.3, c
Suppose -7*m - 12 = -19. Sort m, 2/9, -4, -1/7.
-4, -1/7, 2/9, m
Let p = 0.1906 + -2.1906. Let x(f) = -f**3 - 2*f**2. Let n be x(-2). Sort n, 7/3, -1, p.
p, -1, n, 7/3
Suppose -1 = -3*q + 2*q. Let w be (-20)/40 - ((-13)/2 + 2). Put q, 0, w in decreasing order.
w, q, 0
Let i = 9 - 13. Let t = -42 + 296/7. Sort i, t, 1/3 in decreasing order.
1/3, t, i
Let a = -134 + 133.6. Put -0.2, a, 3, 1/7 in descending order.
3, 1/7, -0.2, a
Let z = 11.5 + 45.5. Let g = -49 + z. Sort 0, -0.4, -0.3, g in descending order.
g, 0, -0.3, -0.4
Let j = 0.3573 - 0.0573. Let f be 1*(-1)/4*1. Put f, -1, j, -4 in ascending order.
-4, -1, f, j
Suppose 2*x + 9 = f, -2*f - 4*x - 7 = -1. Let i(u) = 2*u + 7. Let w be i(-5). Sort w, 0, f in decreasing order.
f, 0, w
Let r = -297 - -296. Sort -2/7, -1/6, r in ascending order.
r, -2/7, -1/6
Let k = 1327 + -1324. Sort k, -332, 4 in descending order.
4, k, -332
Let n = -204/143 + -31319/1001. Let k = n + 33. Let t = -39 + 584/15. Sort t, -5, k in increasing order.
-5, t, k
Let o = -6/83 + 143/830. Sort o, 2/25, -6 in decreasing order.
o, 2/25, -6
Suppose -4*l + 48 = 16. Suppose -3*v + l*v = 15. Let a(k) = 2*k + 26. Let h be a(-12). Put v, 1, h in descending order.
v, h, 1
Let m(w) = -w**3 - 19*w**2 - 37*w - 56. Let g be m(-17). Put g, 4, 14, 1 in descending order.
14, 4, 1, g
Let m = 247 - 251. Let z be -6 - -3 - 3*-1. Sort m, 9, z, -5 in decreasing order.
9, z, m, -5
Let r = 45 + -48. Put -1, r, 0.06, 0.2 in decreasing order.
0.2, 0.06, -1, r
Let m = -488 + 485. Let v = 2 - 6. Sort v, m, -5 in increasing order.
-5, v, m
Suppose 5*i + 3 - 43 = 0. Suppose i*y = 4*y. Suppose -4*q - 7 = -5*t, 4*q = -t - y*t - 13. Sort 4, -0.3, q in descending order.
4, -0.3, q
Let a(f) = -f**3 - 13*f**2 + 14*f - 2. Let t be a(-14). Let o = 14 + t. Let b be (-11)/(-9) - o/54. Put -2, b, -4 in ascending order.
-4, -2, b
Let d = 0.35 - -16.65. Let c = d + -17.06. Let v = c - -0.16. Put v, 0.3, -3 in increasing order.
-3, v, 0.3
Let p(q) = q**3 + 11*q**2 + 24*q - 32. Let t be p(-7). Sort -3, t, 67, 5 in increasing order.
t, -3, 5, 67
Let b = -8 + 7.5. Put 4, b, 1, 1/3 in decreasing order.
4, 1, 1/3, b
Let w be 12/(96/14)*4/14. Sort -4, -2/15, w, 0.8 in increasing order.
-4, -2/15, w, 0.8
Suppose 0 = -5*p + 26 - 1. Suppose p*m = 3*m + 8. Sort -1, -6, m in ascending order.
-6, -1, m
Let j be (4 + 28/(-6))*9/3. Let o be (-5)/(j*50) - 2/8. Sort -5, 4, o, 0.05.
-5, o, 0.05, 4
Let v = 14 - 12. Suppose 0 = -25*h + 26*h. Sort -2, v, h.
-2, h, v
Suppose -2*u = -18 + 10. Suppose -u*k = -2*f + 20, 5*f = 2*k + 27 - 1. Put -1, -4, k in decreasing order.
-1, k, -4
Suppose 0 = 25*x - 10*x + 45. Sort 32, x, 4, 2 in increasing order.
x, 2, 4, 32
Let l = 0.6 + -6.2. Let c = l - -6. Let u = -0.276 + -0.024. Put c, -5, u in descending order.
c, u, -5
Let x = 44 - 39. Put 1, x, 11, 4 in ascending order.
1, 4, x, 11
Let v = 2/169 + -360/1859. Put v, 3/2, -3 in ascending order.
-3, v, 3/2
Let w(i) = i**3 - 2*i - 1. Let c be w(1). Sort 1, c, -73, -5 in decreasing order.
1, c, -5, -73
Suppose 5*q + 5*s - 2 = 38, -s = -5. Let x = -32 + 12. Let b = x - -20.1. Sort 4/7, b, q in decreasing order.
q, 4/7, b
Let s(y) = -2*y**2 + 5*y - 9. Let r be s(3). Sort -0.05, r, 0.1 in decreasing order.
0.1, -0.05, r
Let k(w) = -4*w - 47. Let c be k(-12). Put 15, -5, c, -3 in descending order.
15, c, -3, -5
Suppose -5 = -0*j - j. Let d = -6 + j. Let f(t) = -t**3 - 5*t**2 + 6*t - 4. Let a be f(-6). Put d, a, -3 in descending order.
d, -3, a
Suppose 40 = 4*h + 2*t, 64 = 4*h - 4*t + 12. Let c = h + -11. Let d(k) = 2*k + 5. Let b be d(c). Sort b, -3, -4 in descending order.
b, -3, -4
Let p = 15/7 + -151/77. Let s = -1 - -2. Sort p, 3/5, s.
p, 3/5, s
Let t = 387 + -392. Sort 9, 1, -2, t.
t, -2, 1, 9
Suppose 60*o - 52*o = 832. Put 3, o, 0.5, 4 in decreasing order.
o, 4, 3, 0.5
Let i be 5/(-35)*56/48. Sort -0.5, i, 4/9 in ascending order.
-0.5, i, 4/9
Let v(x) be the third derivative of -x**6/120 + x**5/30 + x**4/24 + x**3/2 - 9*x**2. Let 