 - 3. Let h(k) = -11*k**2 - 183*k + 67. Let s be h(-17). Sort -3, u, -11, s.
-11, u, -3, s
Suppose -3*x - 5*v + 15 + 21 = -9, -3*v = -18. Suppose d = -4*o + 11, -7*o + 6 = -4*o. Suppose -2*w = -d*s + 15, 4*s + 5*w + 6 = 3. Sort -2, -7, s, x.
-7, -2, s, x
Let b be 3 - (7 + -2) - -5. Let a be (-4)/5 + b*99/(-135). Sort 3, a, -7 in descending order.
3, a, -7
Suppose -4*t + 32*p - 9 = 33*p, -10*t - 5*p - 5 = 0. Suppose 102 = -2*w + 2*h, 3*w - 5*h + 167 - 6 = 0. Sort 0.2, w, t.
w, t, 0.2
Let j be (-21 - 1092/(-24)) + (-2)/(-4). Put j, -2, 3, 4 in descending order.
j, 4, 3, -2
Let n = 17/154 + -61/154. Put 0.3, 238, -0.1, n in descending order.
238, 0.3, -0.1, n
Let h = -708 + 704. Let l(n) = n**3 - 6*n**2 + n - 6. Let r be l(6). Put 1, r, h, -1/10 in increasing order.
h, -1/10, r, 1
Let q = -2405 + 2387. Sort 4, q, 8 in descending order.
8, 4, q
Let t = -215 - -215.09. Sort t, 0, 18 in descending order.
18, t, 0
Let i be (-7)/(-3)*(2/12)/((-224)/(-192)). Put -1/3, -7, 0.5, i, -1/4 in decreasing order.
0.5, i, -1/4, -1/3, -7
Let j = 0.011 + 0.289. Let u = 117/4 - 803/28. Put 2, j, 5, u in decreasing order.
5, 2, u, j
Let d be -34 + 1050/33 - (-2 + 0). Sort 0.18, -0.2, 0.5, d, 0.08.
-0.2, d, 0.08, 0.18, 0.5
Let o = -0.05965 - -314.05965. Sort -0.1, -3, o in descending order.
o, -0.1, -3
Let o = 246 + -41. Let f be 0 + (-1)/8 - o/(-40). Let c be (-2)/7 + (-115)/(-35). Put f, -2, c in decreasing order.
f, c, -2
Let x = 7630.1 - 7630. Sort 9, 1, 38, x, -3.
-3, x, 1, 9, 38
Suppose -14 = -3*y - 2. Suppose -11*a = -y - 51. Sort 1, -1, a, 15 in decreasing order.
15, a, 1, -1
Suppose 0 = 5*p - 5*d - 15, -4*d - 35 = 4*p - 7. Let b be 0/(-1)*2*p/16. Sort -6, 5, b in ascending order.
-6, b, 5
Let c(j) = 5*j + 93. Let p be c(-19). Let q = 351/5 + -353/5. Suppose -4 = 4*r - 8. Put r, q, -1, p in decreasing order.
r, q, -1, p
Suppose -13 = -4*s + 5*n, -s = n - 0 - 1. Suppose s*r + 0 = 8. Let t be 0*-3*(-4)/(-24) + r. Sort 1, t, 5 in decreasing order.
5, t, 1
Let m = 10 - 7. Let k(y) = 2*y**3 + 9*y**2 - 6*y - 1. Let j be k(-5). Let z be (1 - 2) + (12 - j) + -2. Sort m, -5, z.
-5, m, z
Let n = 51.98 + -52. Suppose -3*v = 3*k + 6, -2*k = -2*v - k + 8. Suppose -8*g - u = -3*g, -v*g + 2*u = 0. Sort n, -1/3, -3, g.
-3, -1/3, n, g
Let c = 7306 - 7299. Let y be (-4)/(-14) - 122/(-14). Sort y, c, 3 in decreasing order.
y, c, 3
Suppose v = 10 - 3. Let a(o) = 7*o - 19. Let i be a(v). Let n = i + -61/2. Sort -4, 1/3, n in increasing order.
-4, n, 1/3
Let z = 4645.25 - 4647. Put z, 0.08, 3 in decreasing order.
3, 0.08, z
Suppose 38*x + 2 = 19*x + 20*x. Sort -3, x, 0, -1, 18.
-3, -1, 0, x, 18
Let h = 133.66559 + 0.30441. Let t = h - 134. Put -2, t, 3/2, 0 in descending order.
3/2, 0, t, -2
Let m = 14.07 + -20.87. Sort -2, 0.2, -2/5, m in ascending order.
m, -2, -2/5, 0.2
Suppose 4438*y - 4428*y = 0. Sort y, 373, 4 in ascending order.
y, 4, 373
Let s = 26420 + -26415.0258. Let q = s + 0.0258. Sort 8/3, 0.4, q in descending order.
q, 8/3, 0.4
Let s = -2832 + 2905.48. Let l = s + -74. Let g = l - -0.02. Put 18, -2/3, g in descending order.
18, g, -2/3
Let k = 2 - 11. Let r = -10 - k. Let g be ((-6)/6)/((-82)/420 - (-24)/144). Sort g, r, 4 in increasing order.
r, 4, g
Let c be ((-125)/10)/(2/(-4)). Suppose 0 = 27*i - 110 - c. Put -4, i, 4, -16 in descending order.
i, 4, -4, -16
Suppose -35*n + 31*n = 2*j - 54, 12 = 2*n + 4*j. Sort 1, 0, -5, n.
-5, 0, 1, n
Suppose -11*o - 120 = -14*o - 21*o. Sort o, -1, -3, 29.
-3, -1, o, 29
Let j be (-600)/180*12/(-10). Let h(s) = s**2 + 25*s + 53. Let z be h(-23). Sort -3, 3, z, j in decreasing order.
z, j, 3, -3
Suppose -2*n - 66 = -3*q, -3*q - 1918*n + 1922*n = -66. Sort 3, q, -5 in ascending order.
-5, 3, q
Let w = 2089 - 1407. Let n = 678 - w. Sort -0.3, n, 26 in ascending order.
n, -0.3, 26
Let z be (-4*(-100)/48)/((-60)/(-36)). Let f = 6 + 9. Sort z, f, -3 in decreasing order.
f, z, -3
Suppose 0*h + 4 = h. Let w be (2/9)/((-6)/(-54)) + 0. Suppose -5*i = 12 - 57. Sort i, h, w in decreasing order.
i, h, w
Suppose 0 = 199*u - 87*u. Sort u, -3, -56 in increasing order.
-56, -3, u
Let l(u) = 2*u**2 - 18*u + 16. Let g be l(8). Let a be (g - (-4)/10) + 27/(-180). Let j be (-50)/20*(-4)/15. Put j, a, -1, -2/13 in increasing order.
-1, -2/13, a, j
Let b = 1128 - 1123. Put b, 13, 71 in ascending order.
b, 13, 71
Let n(s) = -s**2 - 6*s + 11. Let i be n(-8). Let m = 0.054 - 0.454. Let z = -3193/15 + 213. Sort i, m, z.
i, m, z
Let d be (-5)/(-2)*((-1002)/150 + 7). Sort d, 0.3, 226, -0.4, 0.1 in decreasing order.
226, d, 0.3, 0.1, -0.4
Suppose -3*k + 6*d - 2*d = -63, 0 = -4*d - 12. Suppose -k = 3*b + r, 2*b + 2*b + 21 = -r. Put 3, -1, b, 4 in decreasing order.
4, 3, -1, b
Suppose 0 = 57*f - 209 - 35 - 41. Sort f, 8, 197, 1 in increasing order.
1, f, 8, 197
Let r = -385/598 + 19/26. Let s(o) = o + 2 + 0 + 0 + 1. Let y be s(-6). Sort -2/3, r, y in decreasing order.
r, -2/3, y
Let h = 19.044 + -18.944. Put h, 5, 671, 4/3 in increasing order.
h, 4/3, 5, 671
Let w = -270 + 489. Let b = -214 + w. Put b, 0.5, 2/31 in descending order.
b, 0.5, 2/31
Let z = 4 - 11. Let r(s) = s**2 + 6*s. Let x be r(0). Suppose -3*i - 4 = q, -i = 3*q - 2*q. Put 1, i, x, z in increasing order.
z, i, x, 1
Suppose -y - 4*y = 25. Let p(k) = -k + 10. Let d be p(y). Suppose -2*o + d + 9 = 0. Sort -2, 0, o in increasing order.
-2, 0, o
Let y = -48.8 - -48.8063. Let a = y - 0.0063. Put a, -43, -0.1 in descending order.
a, -0.1, -43
Let d = -11531 + 11528. Put 40, 1, d, -2 in descending order.
40, 1, -2, d
Let z = -0.84 - -0.7. Let a(u) = -2*u**2 - 380*u - 11319. Let t be a(-153). Sort -0.4, 0.4, z, t.
-0.4, z, 0.4, t
Let a = 5467.2 - 5468. Put a, -0.6, 0.1, -0.2, 3 in decreasing order.
3, 0.1, -0.2, -0.6, a
Let o = -9 - -6. Let i = -124 + 129. Suppose -4*f - z = -5*z - 52, 0 = -3*f - i*z + 31. Sort f, o, 5 in ascending order.
o, 5, f
Let y = -0.02 - -1.02. Let q = 3 + y. Let l = -21386 + 21386.3. Put 0, 0.02, l, q in decreasing order.
q, l, 0.02, 0
Let f = 0.236 - 0.136. Sort -3/59, 5, f.
-3/59, f, 5
Suppose g = 2*g + 4. Let h(m) = -4*m - 4. Let t be h(g). Let k be 8/t*-6 - -3. Sort 5, -4, k.
-4, k, 5
Let a = -32.81 + 32.51. Put -14, a, -5/14, 0.3 in descending order.
0.3, a, -5/14, -14
Suppose -5*h - 50 = -5*q, 5*h = -2*q + h - 4. Suppose -q + 14 = -2*k. Sort -5, k, 10 in decreasing order.
10, k, -5
Let o = 15502 - 15546. Sort -10, o, -2.
o, -10, -2
Suppose 16*m - 2491 = -31*m. Put m, 0.2, 9 in increasing order.
0.2, 9, m
Let y = 181 + -179. Suppose 0 = -9*z - 79 - y. Put z, 4, -6 in ascending order.
z, -6, 4
Let c = -0.04 + -2.96. Let g = 960.96 - 961.06. Sort g, c, -0.8, 3/8 in descending order.
3/8, g, -0.8, c
Suppose 4*l - 4*s = l + 10, -l + 5*s = -18. Suppose -5*c = 4*m + 40, 2*m + 2*c = -23 + 5. Put l, m, 5, 8 in increasing order.
m, l, 5, 8
Let c = 18673 - 18673.5. Sort 5, -38, c in increasing order.
-38, c, 5
Let g = -7232 + 7234. Let o(h) be the first derivative of -h**2 - 5*h + 2. Let l be o(-4). Sort l, g, 8 in descending order.
8, l, g
Let c be 3 + (-443)/9 + 228/1026. Put -6, 4, c, -5 in descending order.
4, -5, -6, c
Let h = -1781 - -906. Let f = h + 876. Put -2, 5, -7, f in decreasing order.
5, f, -2, -7
Let m be (33/6 + -5)*(-7 + 5). Put -3/44, -3/5, m in ascending order.
m, -3/5, -3/44
Suppose 0 = 3*s - 3*b + 24, 0 = 3*s - b + 23 - 5. Put 2, -1, -13, -3, s in increasing order.
-13, s, -3, -1, 2
Let t(q) = q**3 + 13*q**2 + 37*q - 35. Let v be t(-7). Let x = 5 + -3. Suppose -4*c = -8*c + 16. Put x, c, v, -4 in descending order.
c, x, v, -4
Let h = -111 + 202. Suppose 5*d + 4*j = -23 - 454, 4*d + j = -375. Let u = d + h. Sort 3, u, 0, -3 in ascending order.
-3, u, 0, 3
Suppose 2*g - 7*g - 2*l - 666 = 0, -2*l - 6 = 0. Let p be (-4)/6 + g/18. Let i = p + 7. Put i, -2, -4 in decreasing order.
i, -2, -4
Let r = -190 - -191.963. Let v = 0.037 + r. Suppose -b = b. Put b, v, 3 in descending order.
3, v, b
Let z be (-2)/(-4)*470/(-141). Let m = -18 - -9. Let w = -9 - m. Sort w, z, 3/4 in decreasing order.
3/4, w, z
Let m = 846 + -846. Put m, 1, -651 in descending order.
1, m, -651
Let a = -2214 - -2165. Sort a, -0.3, 0.2 in ascending order.
a, -0.3, 0.2
Let g be -8 - -11 - 4 - -5. Suppose 5*i = g*i - 4*x + 11, 2*i = 3*x - 11. Put -15, i, 0, 2 in ascending order.
-15, i, 0, 2
Le