 4. Let g be x(6). Sort g, m, -1 in decreasing order.
g, m, -1
Let x = -2.04 - -0.1. Let o = -0.06 + x. Let m = -3.602 - -0.602. Sort -1/3, o, m in ascending order.
m, o, -1/3
Suppose 0 = -q + z - 7, z = -q - 0*q + 1. Sort 2, -449, q, -2 in descending order.
2, -2, q, -449
Suppose -33 = 3*y - 3*o, -11*y + 3*o - 13 = -12*y. Put -4, -7, y in decreasing order.
-4, y, -7
Let f = 173 - 175. Let k be (3/f)/(1/2). Put -2, 3, k, 12 in decreasing order.
12, 3, -2, k
Let a be -3 + (-6)/(2*(-4)/(-12)). Let z = -8 - a. Suppose z*w - 14 = -34. Sort 5, -1, w in increasing order.
w, -1, 5
Suppose -5*k + 3*f - 9 = 0, -13 = k + 7*f - 2*f. Let a be ((-4)/(-180)*k)/(3/6). Sort 2/9, 6, a.
a, 2/9, 6
Let c = 2.26 - 13.96. Let o = c - -57.7. Let i = o - 49. Sort -4, i, -0.007.
-4, i, -0.007
Let h = -0.24 - -0.24. Let t = -25.91 + 25.95. Sort t, -3, h.
-3, h, t
Let z be -17 + -19 + 45 + (6 - 1). Let h = -16 + 14. Sort -5, z, h, -1 in descending order.
z, -1, h, -5
Let l be 25/45*3 - 60/90. Put -0.03, l, 12, 4 in decreasing order.
12, 4, l, -0.03
Suppose 2*q - 125 = -d, -18*q + 14*q + 3*d + 235 = 0. Sort q, -4, -2 in decreasing order.
q, -2, -4
Suppose -3127 = -21*k + 7772. Let n = 515 - k. Sort 3, n, -18, -5 in decreasing order.
3, n, -5, -18
Let l = 155 - 1087/7. Let k = 61.804 - 60.804. Put -0.2, -3, k, l in ascending order.
-3, l, -0.2, k
Suppose q - 4 = 0, 3*f - 177*q - 1 = -172*q. Suppose -3 = 2*t + 1. Put t, f, -3, -4 in descending order.
f, t, -3, -4
Let x be 3 - (-28)/16 - (-22)/(-99)*18. Let b = 0.04 + 0.02. Sort 1, x, b.
b, x, 1
Let l be ((-8)/1120)/((-1)/282*-3). Let u = 93/77 + -7/11. Let c = u + l. Sort -2/11, c, -4 in descending order.
c, -2/11, -4
Let g = 56/67 - 594/871. Let u(p) = -4*p**2 - 2*p + 2. Let j be u(-2). Let z = 6 + j. Put 3/4, z, g in decreasing order.
3/4, g, z
Let o = 1530 + -1526. Let q = -31 + 30.66. Let b = -0.16 + q. Sort b, o, -0.09 in decreasing order.
o, -0.09, b
Let i = -15934 + 15919. Put 0.2, -0.015, i in descending order.
0.2, -0.015, i
Let l = -19.163 - -23.163. Sort -0.2, 5, 1.2, l, -2/47.
-0.2, -2/47, 1.2, l, 5
Suppose 3*l - 5*q - 52 = 0, 27*q - 25*q = 2*l - 28. Suppose 0 = 2*z + l*z + 22. Put z, -4, 15 in ascending order.
-4, z, 15
Let b be ((-5)/((-5)/3))/(81/(-108)). Let f = 60 - 60. Put b, -10, 1, f in increasing order.
-10, b, f, 1
Let n be (-46398)/231 + 1*1/(-7). Let d = n + 207. Let w(o) = -o**3 - 4*o**2 + 5*o - 2. Let h be w(-5). Sort d, -5, h in increasing order.
-5, h, d
Suppose 0 = 4*r - 12, 2*n + 2*r + 404 = 6*r. Let w be 6/(-21) + (-350)/n. Put w, -0.4, 1.3 in descending order.
w, 1.3, -0.4
Let v = 252 - 515. Let j = 161 + v. Put 0, -2, j in descending order.
0, -2, j
Let p = -102.1 - -65.26. Let k = p + -0.16. Let m = -37.3 - k. Sort m, -4, 0.4.
-4, m, 0.4
Let j = -3 - -3.3. Let s = -0.1369 + -16.8631. Let v = 13/3 - 4. Sort v, j, 2, s in descending order.
2, v, j, s
Let i = -1839/10054 + 1/914. Sort i, 2/59, -1, -4, 2/7 in decreasing order.
2/7, 2/59, i, -1, -4
Let i = 176 - 392. Let s = i - -214. Sort s, 2/23, -0.3, -3/4 in descending order.
2/23, -0.3, -3/4, s
Let i be (0 - -3)/(1/2). Suppose -3*b + i = -5*b. Let o be (66/(-12) - 0)/((-3)/(-6)). Put o, b, -2, 2 in descending order.
2, -2, b, o
Let q(x) = -3*x - 49. Let y be q(0). Let t = y + 48. Let j = 598 + -595. Put t, -5, j, 1 in descending order.
j, 1, t, -5
Let n be (-403)/(-104) - (-14)/112. Put -2, -4, n, -3, 2 in increasing order.
-4, -3, -2, 2, n
Let l = -100.84 - -1024.26. Let j = l + -924. Sort 1, j, 4, -1.
-1, j, 1, 4
Let o = 5033 - 5136. Sort o, -1/3, -1.4 in decreasing order.
-1/3, -1.4, o
Let d be (3*(-5)/9)/(8/(-336)). Let j = -62 + d. Suppose -5*c + 0*c - 4*a = 27, -4*a - 9 = -c. Sort -4, c, j in decreasing order.
j, c, -4
Let t = 559.1 + -96.1. Let u = 468 - t. Let y = 6 + -8. Put y, 1/9, u in ascending order.
y, 1/9, u
Let l = 42 - 39. Suppose -2*z = 3*s - 0*s - 16, -3*s = -4*z + 14. Suppose 4*h + 6*m = m - 17, 4*h - z*m - 33 = 0. Sort 4, -1, l, h in ascending order.
-1, h, l, 4
Suppose -157 = -7*o - 136. Suppose 43 = -4*j - o*p, -2*p = -j - 4*p - 17. Put -3, -14, 0, j in decreasing order.
0, -3, j, -14
Let b = -1098 - -204. Let m = 892 + b. Sort 586/5, 0.4, m in decreasing order.
586/5, 0.4, m
Let b(u) = -24*u - 230. Let d be b(-20). Let v = d - 246. Sort 40, 5, -4, v in descending order.
40, 5, v, -4
Suppose 5*c - 3*w + 25 = 0, 21*w = 23*w. Let b = -3 + -5. Let y be 0 + 3/(-3) + 1. Sort b, y, c.
b, c, y
Let h = -2.2286 + 2.0286. Put 0.03, -4, -0.07, 16, h in increasing order.
-4, h, -0.07, 0.03, 16
Let j be ((-48)/(-28))/(4/14). Suppose -6*v + j = -6. Suppose 219*h - 221*h = -2. Sort h, -4, v in descending order.
v, h, -4
Let l = -178 + 122. Let h = l - -63. Let z be (0 + h - 0) + -3. Put z, -2, -5, -4 in increasing order.
-5, -4, -2, z
Let x = 0.00705 - -3.99295. Put x, 1, -0.1, 3/5, -5 in decreasing order.
x, 1, 3/5, -0.1, -5
Let b(y) be the first derivative of y**3/3 - 13*y**2 + 65*y - 111. Let x be b(23). Sort 0, -6, x, 8 in decreasing order.
8, 0, x, -6
Let y be 1 + 6/2 - -1. Suppose q - 15 = -5*j, j + y*q + 21 = -0*q. Let t be (-1)/((7/12)/(-7)*-3). Put t, 8, j in ascending order.
t, j, 8
Let v = 538 + -540. Sort 5, -4, v, -1 in ascending order.
-4, v, -1, 5
Suppose 11*l = -13*l + 18*l. Put 5, -39, l in ascending order.
-39, l, 5
Suppose -212*d = -210*d - 4*i - 562, -d = 3*i - 296. Sort -0.1, 1, d in increasing order.
-0.1, 1, d
Let y(m) = m**2 + 167*m - 2555. Let h be y(14). Put 75/2, -0.4, h in decreasing order.
75/2, -0.4, h
Let i(j) = -87*j**2 - 169*j + 10. Let o be i(-2). Let h(b) = -b + 1. Let l be h(0). Put l, o, 4 in increasing order.
o, l, 4
Let g(x) = x**3 + 142*x**2 + 129*x - 1691. Let s be g(-141). Put -1, 6, -2, 4, s in ascending order.
-2, -1, s, 4, 6
Let n(h) = -h**2 + 12*h - 28. Suppose 3*u + 3 - 27 = 0. Let z be n(u). Suppose 1 = z*d - d + t, -2*t = -5*d - 13. Put -5, d, 3 in increasing order.
-5, d, 3
Let i = -1.11 + -0.09. Let j = 6 - 2. Suppose -124*o - 44 = -80*o. Put o, j, i in decreasing order.
j, o, i
Let q be -3 + (1 - 7)*9/3. Let h be 1/1 - (-1 - 1). Suppose -4*m - 8 = -2*o, h*m - 23 + 3 = -5*o. Put 4, m, q in increasing order.
q, m, 4
Suppose -108*d + 175 = -58*d - 45*d. Sort -0.02, 5, 2, d, 1/2 in increasing order.
-0.02, 1/2, 2, 5, d
Let z = 0.2 + -0.2. Let r = 0.3 + z. Let k be 2747/246 + -11*1 - 62/12. Sort -0.1, k, r, 2/11 in descending order.
r, 2/11, -0.1, k
Suppose m + 3*i = -4*m + 21, -5*i = -10. Let q be (0 + (6 - 7))*m. Sort q, 3, -2 in ascending order.
q, -2, 3
Let j(b) = -4*b + 31. Let y be j(8). Let w be (-51)/51 + (6/2 - -1). Sort -3, w, -2, y in descending order.
w, y, -2, -3
Let t = 2 - 0. Suppose -2*j - t = 4. Suppose -2*k + 3*o + 15 = 0, 5*o - 9 = 3*k - 34. Put k, -1, j, -4 in descending order.
k, -1, j, -4
Suppose 66*q - 25 = 91*q. Let l = -19 - -23. Sort 2, l, -4, q.
-4, q, 2, l
Let o be ((-4)/13)/((-1448)/(-9412)). Let m be (0 - -2) + (1 - 2). Suppose 0 = g - 2*u - m, -5*u = g + g - 11. Sort o, g, 1 in increasing order.
o, 1, g
Let t = 316 + -618. Let f = t - -260. Sort -4, 0, f in descending order.
0, -4, f
Let s = -130.4 + 130. Let k = -39 + 41. Suppose -t - 1 = k*v, 5*t = 5*v - 54 - 26. Put 3, s, t in ascending order.
t, s, 3
Let w be 2/(-24)*(-40)/(-25). Let y = 2.094 - -0.006. Let p = -2.03 + y. Put p, 2, 3/2, w in descending order.
2, 3/2, p, w
Let n = 10/57 + 4/627. Suppose 3*j - 55 = -109*v + 111*v, 10 + 22 = -4*v. Put n, 2, j in descending order.
j, 2, n
Let m = -2484 + 2470. Suppose -2*d - 3*d = 0. Put m, 4, 3, d in decreasing order.
4, 3, d, m
Let x be (170/(-40) - -5) + (-4)/8. Sort -3, 0, -109, x.
-109, -3, 0, x
Let m = -5 + 3. Let r = 32496806/79 + -411352. Sort m, r, -0.1, 4/5.
m, -0.1, r, 4/5
Let r = 1889 - 1888. Put 0.5, -1.3, 0.4, r, -3 in increasing order.
-3, -1.3, 0.4, 0.5, r
Let a = 17337 + -17299. Put a, -2, -4, 6 in descending order.
a, 6, -2, -4
Let d = -8579 - -8572. Sort -1, 1, d, -7/2 in increasing order.
d, -7/2, -1, 1
Suppose 3*a = -5*v - 4, -2*v = -3*a + v + 12. Suppose 0 = a*x - 7*x - j + 21, 5*j - 1 = x. Sort -20, x, -3 in descending order.
x, -3, -20
Let g be 3 + (-10)/(-35)*7. Suppose g*b = -8 + 3. Put b, -18, 1, -5 in descending order.
1, b, -5, -18
Suppose -1180*u = -1245*u + 130. Suppose -2*j = j. Suppose 3*h + h = j. Sort -47, u, -1, h 