3, j, 8 in descending order.
8, j, -1/7, -1, -43
Suppose -4*s = -4*d - 12, 2*d - s - 12 = -5*s. Let i(t) = -t**2 - t - 6. Let x be i(-3). Let a = -15 - x. Sort 4, -2, a, d.
a, -2, d, 4
Let j = 2326 - 2321. Sort 4/5, -0.2, j, 3.
-0.2, 4/5, 3, j
Let w be ((-2)/104)/(17/(-4)). Let i = -184/8177 - w. Suppose -56*y + 59*y + 3*m = 15, 4*m = 8. Put i, y, 2/15 in descending order.
y, 2/15, i
Let f = -53/390 - 2/65. Let t be (-10)/(-1) + (-11790)/1224 + (-1)/4. Let x = 3.03 + -0.03. Put t, f, x in increasing order.
f, t, x
Let o = 1691 - 1691. Sort -0.4, o, -5, 1.8.
-5, -0.4, o, 1.8
Let s = -18 + 17.3. Let f = -1 - s. Let d = 0.07087 - -0.01913. Sort f, -2/5, d in increasing order.
-2/5, f, d
Let p = 1201 + -1199. Sort -4, -588, p.
-588, -4, p
Let l = 0.7676 + -0.8676. Sort 0.5, l, 1/4, 226 in ascending order.
l, 1/4, 0.5, 226
Let u = -30.045 - -0.045. Let b = 135.4 - 135.7. Put b, -0.04, u in descending order.
-0.04, b, u
Let a = 24578 - 24589. Sort -95, 5, a in descending order.
5, a, -95
Let n = -0.3 + 0.31. Let w = n - 0.81. Let l = 4529 - 27175/6. Put -1, -1/2, l, w in increasing order.
-1, w, -1/2, l
Let b = -971 - -984. Suppose 0 = -3*h + 3*q - 15, 18*q - 17*q - b = 5*h. Suppose -3*n + 2*g = -15, 4 = n + 3*g - 1. Sort -1, n, h, -4 in descending order.
n, -1, h, -4
Suppose -4*w - 59 + 23 = 0. Let o = w + 1. Suppose -2*d - 10 = -0*d - 4*r, 5*r = -2*d - 1. Sort 4, d, o in decreasing order.
4, d, o
Let p be 4 + (-21)/(-18) + 1/(-6). Suppose -82 + 22 = -5*c. Suppose -13*o + 1 = -c*o. Sort -10, -3, p, o in decreasing order.
p, o, -3, -10
Let k = -424 - -419. Put k, 1/5, 15, -10 in descending order.
15, 1/5, k, -10
Suppose 0 = -15*j - 83 + 8. Sort 8, 2, -2, j in decreasing order.
8, 2, -2, j
Let j = -13.49 + 13.99. Put j, 18, -0.4 in decreasing order.
18, j, -0.4
Let u = 15371 - 15375. Sort 12, u, 5, -2, -1 in ascending order.
u, -2, -1, 5, 12
Let q be (-5)/(-5)*(-4 + 7). Suppose 0 = 6*t + 8*t - 42. Suppose 8*s + q = t. Sort 1, 5, s, 2 in decreasing order.
5, 2, 1, s
Suppose -2*r - 16 = -22. Suppose 5*h - 4*h = -1, 0 = -r*d + 2*h - 22. Let z be (-4)/((-5)/(20/d)). Put 3, z, -3, 4 in decreasing order.
4, 3, z, -3
Let p = 107 - 62. Let i = p - 34. Suppose -w = -i*w - 30. Put 3, w, 0 in descending order.
3, 0, w
Let k be -1 + 5 - (-5 - -3). Suppose k = 5*z + 31. Let h(y) = 7*y**2 - 2. Let n be h(-1). Sort n, 0, 2, z in ascending order.
z, 0, 2, n
Let v = -254.382 + 0.382. Let k = 257 + v. Sort 0.5, 0.13, 4, k.
0.13, 0.5, k, 4
Suppose 0 = -3*k + x - 19, 0 = -3*k + 5*x - 5 - 30. Let o = -26 + 38. Let j = o + -16. Put 1, k, j in increasing order.
k, j, 1
Let b = -75 + 43. Let p be ((-39)/104)/((-4)/(b/18)). Sort 0.15, 1, p in increasing order.
p, 0.15, 1
Let f = 3 - 0. Let l = f + -1. Let j = -31/30 + 17/10. Sort 8/11, l, j.
j, 8/11, l
Let l be 27/(-42)*4*3/(-18). Let o = 653 + -8487/13. Put 4, o, 0.074, l in ascending order.
0.074, o, l, 4
Suppose 0 = -20*t + 21 + 239. Let j(y) = -22*y + 239. Let h be j(t). Put 5, h, -1 in increasing order.
h, -1, 5
Let a = -0.18 + 0.68. Let u = -972 - -970. Let x be 2/(-4) + 2/20. Sort u, a, x in descending order.
a, x, u
Suppose -5*p - 6 = -2*h, -153*p + 15 = 5*h - 151*p. Put -6, 0, 1, -3, h in ascending order.
-6, -3, 0, 1, h
Let q = -1416 - -1337. Put q, 4, 7 in increasing order.
q, 4, 7
Suppose -18 - 3 = 7*l. Let r(c) = -c**3 - 2*c**2 + c - 5. Let o be r(l). Suppose 0 = 7*a - 2*a + 20. Sort a, -3, o, 5.
a, -3, o, 5
Let j be 18/(-48)*12 + 5/((-20)/(-24)). Put j, -1/12, 37/3, 0.5, 6 in decreasing order.
37/3, 6, j, 0.5, -1/12
Let r be (87/126 - (-75)/(-90))*2/(-7). Sort -2/3, 1/3, r in increasing order.
-2/3, r, 1/3
Suppose 3*d = -h + 4, 41 = h - 3*d + 7. Suppose -h*k = -23*k + 20. Sort 1, 4, k, 3 in descending order.
k, 4, 3, 1
Let j be (3 - 1 - -10) + 320/(-64). Put -1, j, 1/2, 2/21, -2/5 in decreasing order.
j, 1/2, 2/21, -2/5, -1
Let h(j) = -j**2 + 6*j - 3. Let i be h(0). Let u(f) = -f**3 - 1. Let w be u(1). Let s be w/6 + 66/(-18). Sort s, i, -2 in descending order.
-2, i, s
Let q(f) = 363*f - 3. Let s be q(0). Sort s, 4, -273 in descending order.
4, s, -273
Let h = -206 - -212. Let n be h/(-18) - 21/(-9). Sort 74, -3, n in descending order.
74, n, -3
Suppose 0 = 11*d + 3106 - 3161. Put 42, d, 1 in decreasing order.
42, d, 1
Let i = -469 + 710. Let b = -242.038 + i. Let p = 0.038 + b. Sort 4, p, 5/2 in decreasing order.
4, 5/2, p
Let n(k) be the first derivative of k**4/4 + 8*k**3/3 + 8*k**2 + 22*k - 79. Let l be n(-6). Sort 3, -5, -1, l in increasing order.
-5, l, -1, 3
Let z = -1065/2 - -532. Put z, -4/5, 5 in decreasing order.
5, z, -4/5
Let z = 153.8 - 63.8. Let g = 0.48 - 0.38. Put g, z, 3 in decreasing order.
z, 3, g
Suppose 2*j = -3*j. Let q(r) = -22*r - 26 + r**3 + 16 - 13*r**2 - 2*r**3 + 11. Let h be q(-11). Sort h, -2, j in ascending order.
-2, j, h
Suppose 0 = 78*m - 97*m + 114. Suppose -4*f - f = 25. Sort -3, -1, f, m in descending order.
m, -1, -3, f
Let g be 106/30 + (-1630)/489. Sort -5/6, g, -1/2, 7/5 in ascending order.
-5/6, -1/2, g, 7/5
Let p = -1621/21 - -538/7. Let y(v) = v**2 - v - 3. Let q be y(3). Suppose -z + q = a + 1, -2*z + a = -19. Sort p, 0, -2, z in decreasing order.
z, 0, p, -2
Let z be ((-1)/((-1)/(-2)))/(-2). Suppose 3*i - 18 = 2*r, 100*r - 102*r - 6 = -i. Sort i, -2, z, 0 in increasing order.
-2, 0, z, i
Let t = 4697 + -4691. Sort 4, t, 403, 0.3 in ascending order.
0.3, 4, t, 403
Suppose p + 5*a = -53, -50*p - a = -46*p + 60. Sort 5, 0, p, 9.
p, 0, 5, 9
Suppose -5*h + 5*c - 25 = 0, 2*c = -5*h + 2*h. Let u = -14.22 - -5.22. Sort h, u, -2/19 in ascending order.
u, h, -2/19
Let c = -104.7 - -92. Let f = c - -12.84. Let p = 0.22 - f. Sort -1, p, 4 in increasing order.
-1, p, 4
Let l = -235 + 505. Let s = l - 266. Put 13/2, 2, s in decreasing order.
13/2, s, 2
Let x = -7.48 + 7.4. Put 0.5, x, 8/3 in ascending order.
x, 0.5, 8/3
Suppose y + 10*g + 12 = 5*g, -y + 4*g = 12. Suppose 2715*n + 7 + 37 = 2671*n. Sort y, n, 4 in decreasing order.
4, n, y
Let b be (-56)/(-1120) + (-39)/(-20). Put -43, b, 5, -2 in descending order.
5, b, -2, -43
Let r = 146.97 - 147.07. Sort 0.3, r, 5, 172, -3 in ascending order.
-3, r, 0.3, 5, 172
Let q = 753 - 755. Let l be (414/4)/(-9) - 2/(-4). Sort 1, l, q.
l, q, 1
Let t = 57.0024 + 2.7296. Let b = 60 - t. Let m = 0.068 - b. Sort m, 5, 1/3, -1/6 in descending order.
5, 1/3, -1/6, m
Suppose 31*s + 652 + 3254 = 0. Let u = 123 + s. Put 0, -12, u in ascending order.
-12, u, 0
Suppose 27*h + 133 = 46*h. Put -2, h, -12 in increasing order.
-12, -2, h
Let y(h) = 2*h**3 - h. Let l be y(1). Let g = -7018 + 7016. Put -5, -10, l, g in increasing order.
-10, -5, g, l
Let x = 12.952 - 12.963. Sort x, 4, 0, 3/8, 3.
x, 0, 3/8, 3, 4
Let c = -3 + 3.1. Let l = 22.90895 + -2.90895. Sort -0.4, l, c.
-0.4, c, l
Let a be 2/12 + 4*1067/(-264). Let n = a + 48. Sort -3, n, 4.
-3, 4, n
Let s(u) = -1697*u - 8484. Let j be s(-5). Put 2, -4, j, 4, 0 in decreasing order.
4, 2, j, 0, -4
Suppose 0 = z - 1, 5*z - 5 = -6*a + 9*a. Suppose a = -v + 2*v - 4*o + 19, -5 = -o. Sort -7, v, -1, -3.
-7, -3, -1, v
Let w = 47 - 46.6. Let p = -9460.3 + 9460. Let g be 2/(-4) - (-22)/28. Sort p, -5, g, w in increasing order.
-5, p, g, w
Suppose -3*z = -2*a - 1 - 2, 0 = 5*z + 2*a + 11. Let j be (-1)/(z*3/9). Let t be ((0 + -1)/(-1))/(-1). Put -3, t, j in increasing order.
-3, t, j
Let y = 5254 - 5253.3. Put y, 0.5, 0.1, 2/7, -0.4 in ascending order.
-0.4, 0.1, 2/7, 0.5, y
Suppose -8159*g + 4090*g + 4085*g - 112 = 0. Sort -85, g, 15 in descending order.
15, g, -85
Let o(l) = -l**3 - 11*l**2 + 19*l + 19. Let r be o(-12). Let v be (r/26)/(2 - 15/6). Let m be 0 + v + -11 + 5. Sort 20, m, 4 in decreasing order.
20, 4, m
Let u = -10 - -6. Suppose -3*q - 3 = -4*k, 2*q - 4 = -5*k - 6. Let l be (-10 + 0)/(0 + -2). Sort k, l, 4, u.
u, k, 4, l
Suppose 37*p = 42*p - 10. Let i = -39.3 + 37. Let c = i + 7.3. Sort p, 1, c in descending order.
c, p, 1
Let p be (-3 + 1)/(1/1). Suppose -6*v = -3*v - 15. Suppose 0 = 430*g - 445*g - 60. Sort p, -3, g, v.
g, -3, p, v
Let z be (186/(-155))/((((-18)/(-15))/(-2))/1). Let g(o) = -2*o + 14. Let k be g(5). Sort -5, z, k, -10 in decreasing order.
k, z, -5, -10
Let m be 46/(-14) + 4/14. Let h(s) = -s**2 + 4*s - 4. Let p be h(1). Let i = 6535 - 6529. Put p, m, i in descending order