h in decreasing order.
j, l, h
Let v be -2 - (-6)/2 - (-204)/12. Suppose -3*u - v + 171 = 0. Let j = -56 + u. Sort 4, j, -4.
j, -4, 4
Let f be 42/(-4) + 3/6. Let q be (-5)/(-5) + 2/f. Let m be 56/18 + 2 + 2/(-18). Put m, q, 0.3 in increasing order.
0.3, q, m
Let f = -368 + 372. Put f, -0.2, 8, 1/7 in ascending order.
-0.2, 1/7, f, 8
Suppose 6*p - 3*p + 3*j = 42, 8 = 2*p - 2*j. Let q be (-15)/p*36/(-30). Put 5, q, -1 in increasing order.
-1, q, 5
Let d = 165 + -162. Suppose -3*p + 32 - 10 = 5*t, -5*p = -d*t + 20. Put 152, -4, p in decreasing order.
152, p, -4
Let o(f) = 15*f**2 + 5*f - 5. Let s be o(-2). Suppose -3*n + s = -5*i + 84, -2*i = -n - 12. Put n, -1, 0.3 in decreasing order.
0.3, -1, n
Suppose -135*n + 62*n - 140*n = -213. Sort 397, 2, n, 0.4 in increasing order.
0.4, n, 2, 397
Let r = 39.94 + -39.74. Sort r, -4, 94, -2, 5/4 in decreasing order.
94, 5/4, r, -2, -4
Let z(p) = -440*p + 882. Let b be z(2). Put b, 3, 2/65, 0.5 in decreasing order.
3, b, 0.5, 2/65
Suppose 8*i + 2 = 7*i. Let f be -149*(-25)/(-1860) - i. Let a = 709/13020 - f. Put a, -0.1, 3/7 in ascending order.
-0.1, a, 3/7
Let o = -16 - -16. Suppose g + o*g - 5*c = -26, -3*c = 3*g + 114. Let t = g - -32. Sort -5, 0, t in increasing order.
-5, t, 0
Let w = 45.2 + -77. Let k = 32.2 + w. Put -2, -3/10, -2/17, k in decreasing order.
k, -2/17, -3/10, -2
Let h be 2*(-2 - -157) + (-8)/2. Let w = 3368/11 - h. Sort -5, -0.2, w in increasing order.
-5, -0.2, w
Suppose 0 = -35*v - 911 + 771. Sort v, 1, -121, 4 in descending order.
4, 1, v, -121
Suppose -5*k - 15 - 60 = 0. Let z be 9*(-2 - k/9). Sort -2, -7, z.
-7, z, -2
Suppose 3*q = 7*q + 3*v - 6, -3*q - 2*v + 5 = 0. Suppose 0 = -q*r - r + 12. Suppose -4 - 4 = r*w - 5*h, 4*h = -3*w - 26. Sort 0, 1, w.
w, 0, 1
Let u(x) = x**2 - x - 2. Let w be u(2). Let v be (-3)/(w/1 - 1). Suppose 415 = 16*m + 67*m. Sort -3, v, m, 21 in decreasing order.
21, m, v, -3
Let u = 0.0079 + -0.0169. Let y = -0.04 + -0.96. Sort u, 1/2, y.
y, u, 1/2
Let a = -33004 - -33008. Sort 1, -4, -230, a, -5.
-230, -5, -4, 1, a
Let p(r) = 3*r**3 - 4*r**2 - 96*r + 260. Let x be p(3). Sort -4, -3, 41, x in descending order.
41, x, -3, -4
Let q = -0.02 + 2.02. Let m = -1 - q. Suppose -2*i + 5 + 1 = 4*a, -3*i = 2*a + 7. Sort 2/7, -2, i, m in decreasing order.
2/7, -2, m, i
Let v = 54.12929 - 0.12929. Sort -1/4, v, 3/5, 3 in increasing order.
-1/4, 3/5, 3, v
Let s = 21090.5 + -21094.4. Let q = -0.5 + -0.5. Sort s, -2, q.
s, -2, q
Let k = -43.4 + -1.6. Let f = k - -45. Let t = -159 + 158.7. Sort 1, -4, f, t in increasing order.
-4, t, f, 1
Let f be 119/(-175) + (-46)/(-575) + 44/(-10). Let q = 0 - 0. Suppose -3*d + d - 2 = 0. Put q, 1, f, d in descending order.
1, q, d, f
Let g be (-5494)/(-2756)*1 - (-27)/(-18). Let u = -18/53 + g. Sort 0.21, u, -4 in decreasing order.
0.21, u, -4
Let j = 28987/27 + -1074. Put -2, 2/5, j in increasing order.
-2, j, 2/5
Let k = -1.237 - -1.637. Put -1/4, -0.3, -5/6, 0.3, k in descending order.
k, 0.3, -1/4, -0.3, -5/6
Let y = -7421 - -7423. Let i be 2/(364/366) - 2. Put y, 3, i in decreasing order.
3, y, i
Let u = 60.8 - 61. Let l = -7.0782 - -0.0782. Let t = -0.2 - -1. Put l, t, u in descending order.
t, u, l
Suppose 0 = 5*u - 25, -3*g - u = -1 + 17. Let x(r) = 17*r + 123. Let w be x(g). Sort 0, w, 3, 1.
0, 1, 3, w
Let t(x) = -2*x**3 + 5*x**2 - 2*x + 2. Let m be t(4). Let p = -111 - m. Let u = 52 + p. Put u, 2, -1, 4 in descending order.
4, 2, -1, u
Let i = -4275 - -4275.5. Put -2/17, -5, -0.4, i in descending order.
i, -2/17, -0.4, -5
Let q be -5 + 2 + (7 - 0). Suppose 4*b - q*r - 28 = 0, r = -3*b - 0*b + 1. Let o be 8/68 - b - -2. Sort -0.2, o, 15/7.
-0.2, o, 15/7
Let m be (2795/1118)/(((-15)/6)/(-5)). Sort 4, m, 0 in descending order.
m, 4, 0
Suppose 13*l - 4*j = 17*l + 24, -2*l - 4*j - 20 = 0. Let n(g) = -g**3 - 10*g**2 + 10*g - 7. Let z be n(-11). Put -67, l, z in increasing order.
-67, l, z
Suppose -21 = -5*o - 22*v + 8, -10 = 2*o - 2*v. Sort 2048, 0, 2, o in decreasing order.
2048, 2, 0, o
Let y = 0.2 - 0. Let z = 40.406 - 40.806. Put y, 161, z in decreasing order.
161, y, z
Let c(g) = 24*g**2 - 11*g. Let x be c(1). Suppose 0 = 4*t + x - 21, -4*p - 3*t + 6 = 0. Sort 1, p, -1 in decreasing order.
1, p, -1
Let g = 1.5538 - -0.4462. Put -4, -0.5, -6, g, 0.1 in decreasing order.
g, 0.1, -0.5, -4, -6
Let l = 76 - 56. Let d = -12 + l. Put d, -5, -4 in ascending order.
-5, -4, d
Let g = -367 - -365. Let s = -36 - -70. Let d(r) = r**3 - 8*r**2 + 6*r + 4. Let v be d(7). Put g, s, v in descending order.
s, g, v
Suppose -13*r - 3197 = -2703. Put 6, 2, r in decreasing order.
6, 2, r
Let c = -2268185/3 - -756062. Let r = -0.31 - -15.31. Suppose -1 = 2*h - 5. Sort r, c, h.
c, h, r
Let y = 1910 + -1908. Sort -5, y, 0.3, 0.5.
-5, 0.3, 0.5, y
Let h = -5160 - -5165. Put -5, h, 2, 0.25, 7/8 in decreasing order.
h, 2, 7/8, 0.25, -5
Let v be (-39)/4 + (-1)/4. Suppose -5*l - 193 = -42*i, 45 = -5*l + 15*i - 10*i. Sort 0, 3, l, v in descending order.
3, 0, l, v
Let m be (-13)/156 - (-6)/(-9). Sort -2, 28, m in ascending order.
-2, m, 28
Let t = 4 + -11. Let m(c) = -11*c + 100. Let l be m(6). Suppose -26 + l = -4*y. Sort -4, t, -1, y in ascending order.
t, -4, y, -1
Suppose 5*s + 3*i = 8, 9*i = 3*s + 5*i + 1. Sort 0, s, -1568 in increasing order.
-1568, 0, s
Suppose 20 = k + 5*y, 8 = -k + 60*y - 58*y. Sort -4, k, 4, -3, -16 in decreasing order.
4, k, -3, -4, -16
Let r = 416 - 419. Let q(a) = 3*a**3 + 3*a**2 - a - 1. Let p be q(1). Put 0.3, -6, p, r in descending order.
p, 0.3, r, -6
Suppose -14 = -3*t + t. Suppose 2*w - 7 = 105*d - 102*d, 5*d + 13 = 2*w. Sort -3, 2, t, w in increasing order.
-3, w, 2, t
Suppose -2*j = 4*s - 68, -3*s + 4*j + 77 = -j. Let l = s - 15. Suppose -3*a = l*z - a - 10, 2*z = -5*a + 17. Sort z, -2, 2 in decreasing order.
2, z, -2
Suppose 1756 = 117*r - 1403. Sort r, -5, -3, -4 in decreasing order.
r, -3, -4, -5
Let s = -5366 - -5366. Put s, 5, -4/53 in descending order.
5, s, -4/53
Suppose -r + 0 = -2. Suppose t - 4*z = -13, -7 = 3*z - 13. Let g = 23 + -22. Sort -4, t, r, g in increasing order.
t, -4, g, r
Let t(m) = 212*m**2 - 625*m. Let p be t(3). Sort 0, -3, p, 5, 4.
-3, 0, 4, 5, p
Let u(g) = g**3 + 34*g**2 - 27*g + 298. Let c be u(-35). Put 10, 1, c in decreasing order.
c, 10, 1
Let t = -308 + 444. Let a = 136.076 - t. Let u = -3.924 - a. Put 1.9, u, -2/5 in decreasing order.
1.9, -2/5, u
Let c = -7.06 + -1532.94. Let w = c + 1541.061. Let m = 0.061 - w. Put -6, m, -5 in ascending order.
-6, -5, m
Suppose -4*z = -13*z - 43 + 25. Put -5, 4, -236, z in ascending order.
-236, -5, z, 4
Let y = 19.68 + -1.28. Let h = y - 19.4. Put 1/8, h, -12 in increasing order.
-12, h, 1/8
Let r be (1*9 - (70/(-5) + 22))*5. Sort 726, -6, r in descending order.
726, r, -6
Let b(w) = -w**3 + w**2 + 2*w. Let s be b(-3). Let y = 520 - 555. Let g = y + 35.2. Put s, g, 1 in ascending order.
g, 1, s
Let d = 317 - 563. Let g = d + 241. Suppose 6 = -l - 2*l. Sort -0.1, 10, g, l in increasing order.
g, l, -0.1, 10
Suppose -53*t + 48*t = 150. Let k = t + 149/5. Sort 1/3, -3/4, -1, k in decreasing order.
1/3, k, -3/4, -1
Let b = -43113 - -43109. Put b, -1, -1287 in increasing order.
-1287, b, -1
Let h = 11.2 + -11. Let v = 0.033 + -15.533. Let q = 15 + v. Sort -2, h, q in descending order.
h, q, -2
Let m be 8 - (-1 + -3 - -15). Let s be ((-54)/6)/m*-3. Sort s, 5, 3, 1 in increasing order.
s, 1, 3, 5
Let y = 18694 + -18667. Sort 5, 4, 1/4, -2/5, y.
-2/5, 1/4, 4, 5, y
Let i(n) = -5*n**3 - 34*n**2 + 460*n + 9. Let s be i(8). Put s, 3, 2 in decreasing order.
3, 2, s
Let d be 4/((20/(-78))/(-5)*87/(-464)). Sort -2, d, -15 in increasing order.
d, -15, -2
Suppose b - 29 = 352*j - 357*j, -j + 1 = 5*b. Sort 5, 159, -5, b.
-5, b, 5, 159
Suppose 6*f + 768 = -696. Let p = f + 247. Let g = -2.2 + 1.3. Sort g, 0.4, p in decreasing order.
p, 0.4, g
Let d = 4424 - 4350. Sort -3, 3, d, 0 in decreasing order.
d, 3, 0, -3
Let j be ((-4)/(-6))/((8/12)/2). Suppose -4*f + j*x + 8 = -2*x, 0 = 3*f - 4*x - 11. Let i be (-3)/1 + f + 3. Sort -1, 0, i, -5 in decreasing order.
0, -1, i, -5
Let g = 78 - 1168/15. Let c = 4.5787 + -4.9787. Put g, -0.3, c, 0.4 in increasing order.
c, -0.3, g, 0.4
Let q be (-2525)/(-100) - 19 - 10*(-1)/(-8). Put q, -4, -2383 in ascending order.
-2383, -4, 