 decreasing order.
1/4, g, -5, -46
Let i(p) = -p - 2. Let w be i(3). Let z = 2.45 - 1.95. Put w, 0.2, z in increasing order.
w, 0.2, z
Let d be (4 - 85/15)*144. Let p be (-2)/(-5) - 324/d. Let k = -13/4 + p. Sort 3/4, k, -0.5.
k, -0.5, 3/4
Suppose 190*s - 25 = 195*s. Put 8, -3, -1, s in descending order.
8, -1, -3, s
Let o = -374.5 - -374. Sort -70/3, 3, o.
-70/3, o, 3
Let q = 176 - 1586/9. Let j = 1.07 + 0.93. Put 2/5, q, j in decreasing order.
j, 2/5, q
Suppose p = -2*w + 23, -4*w + 4*p = -35 + 7. Let i = 9 - w. Let l be ((-2)/(-4))/i*-10. Put -5, l, 3 in descending order.
l, 3, -5
Let y(h) = -54*h + 53. Let g be y(5). Sort 5, g, -0.1 in increasing order.
g, -0.1, 5
Let s = -253 + 507/2. Sort -42, -1, -2, s in increasing order.
-42, -2, -1, s
Let q = -15842 - -886937/56. Let p = q + 33/8. Let d = 5/24 - 1/24. Sort 1, p, d in increasing order.
d, p, 1
Suppose -25 = -9*j + 4*j. Let k be (0*((-21)/(-6))/7)/2. Sort j, 2, k in decreasing order.
j, 2, k
Suppose 0 = 4*d - 2*g - 24, -4*d - 6*g + g + 10 = 0. Put -6, -4, d in decreasing order.
d, -4, -6
Suppose -3*u = -5*u + 6. Sort -3, 18, u, 0 in increasing order.
-3, 0, u, 18
Let b = 7 + -3. Suppose 0 = b*m - m - 15. Let a be (21/(-14))/((-45)/6 + 3). Put a, 1, m in descending order.
m, 1, a
Let j = -90.234 + -0.766. Sort j, 0.3, -4 in decreasing order.
0.3, -4, j
Suppose 5*y = -5*i - 10, 2*i - 11 = 3*y + 10. Suppose 0 = 3*g - g - 14. Suppose m = -2*z + 5, -5*m - z - 27 + g = 0. Put i, m, -1 in ascending order.
m, -1, i
Let q = 19649/156 - 503/4. Let f = q + -181/312. Put -4, f, -0.2, -0.1 in descending order.
-0.1, -0.2, f, -4
Let d(h) = h**2 + 19*h + 20. Let n be d(-18). Let x = 1 + -0.58. Let p = x + -0.42. Sort -2/3, n, p in decreasing order.
n, p, -2/3
Suppose -17 = -14*a + 39. Sort a, -2, -11, 1 in decreasing order.
a, 1, -2, -11
Let b be (-3)/(-17)*(-2)/3. Let m be 6/(-4)*80/(-24). Let o be 28/(-35)*(-2)/8. Sort m, b, o in decreasing order.
m, o, b
Let a be (-3)/2*8/(-6). Suppose 4*l - h - 42 = 0, 5*l - 3*h - 11 - 45 = 0. Let b = l - 6. Put a, -1, b in decreasing order.
b, a, -1
Let i be -2*1 + -2 - (-58 - 11). Suppose 0 = -12*v - v - i. Put -2, 6, v in decreasing order.
6, -2, v
Let g = 1.74 - 1.6. Let r = -0.7 - -0.16. Let k = g + r. Sort -6, 3, k.
-6, k, 3
Let v = 137 + -684/5. Let k = 88/5 + -92/5. Sort k, -6, v.
-6, k, v
Let s be -5*2/4 - (-14)/(-28). Suppose 21 - 9 = -2*l - 2*p, -3*l + 2*p - 13 = 0. Sort -40, l, s in decreasing order.
s, l, -40
Let r(j) = 33*j**3 + 1 + 9 - 34*j**3 + 4 + 13*j**2 + 7*j. Let q be r(14). Let l be (-4)/(-14) + 276/q. Sort -2, l, 5 in increasing order.
l, -2, 5
Let c be (-220)/18 - (-56)/252. Let f(t) = -t**2 - 10*t + 27. Let l be f(c). Sort -1, l, -2/9 in decreasing order.
l, -2/9, -1
Suppose -2*s + 2*r + 6 = 0, -r - 2 + 1 = 0. Sort s, -3/13, 2/13 in descending order.
s, 2/13, -3/13
Suppose 45*u + 7 = -3*d + 49*u, -3*d = 2*u - 17. Sort 0.07, d, -1/7, 1/2 in descending order.
d, 1/2, 0.07, -1/7
Suppose 2*g = 5*a - 2*g - 28, 5*a = 2*g + 24. Sort -8, a, 1 in decreasing order.
a, 1, -8
Let r = -166/5 - -33. Let g be 149/220 + (-2)/10. Let b = g + 3/11. Sort b, r, 4.
r, b, 4
Suppose d - 5*d = -4*w + 24, 2*d + 4*w = -12. Let h = -4 - d. Suppose -4*a = -5*c + 9, 0 = -2*c + 2. Sort a, 5, h in decreasing order.
5, h, a
Let q be (6*1/24)/(10/(-8)). Let g = -0.1 + -0.7. Let c = -2.2 + g. Put c, 0.2, q in ascending order.
c, q, 0.2
Suppose g + 16 = 5*g + d, 2 = 2*g - d. Suppose 0 = -3*k - g*i - 0 - 3, 4*i - 11 = -k. Sort k, -1/2, 13.
k, -1/2, 13
Let s be 18/(-4)*16/12. Put 5, -11, s, -3 in ascending order.
-11, s, -3, 5
Let y be 310/280 + (-30)/24. Sort -0.5, y, -0.19 in descending order.
y, -0.19, -0.5
Suppose -2*v + 4*x = -6*v + 36, 25 = v + 5*x. Suppose 6 = 5*f - 4, -3*w - 22 = -v*f. Sort -3, w, 11, 1 in descending order.
11, 1, -3, w
Let y = -20 - -22. Suppose -y*z = -7 + 1. Sort z, -0.5, 1 in ascending order.
-0.5, 1, z
Let n = -1.175 + 0.975. Sort 6, -12/11, n, -2 in descending order.
6, n, -12/11, -2
Let c = -4194 + 29429/7. Let p = c - 10. Put p, -4, -0.2, -1 in descending order.
p, -0.2, -1, -4
Let s(t) = -t**3 - 5*t**2 + 6*t - 1. Let j be s(-5). Let d = j + 30. Sort 17, -2, d in increasing order.
-2, d, 17
Let b be 1/(-4) - 25/20*3. Suppose 0 = -3*w - 2*w - 5. Put b, w, -5, 3 in descending order.
3, w, b, -5
Let n = -0.129 - 0.015. Let c = n - -0.094. Sort -5, -2, c in descending order.
c, -2, -5
Let o = -0.04077 + -1.95923. Let q = -49/2 - -24. Put -5, q, o, -4/5 in decreasing order.
q, -4/5, o, -5
Let n = -163 + 337. Sort -1, n, 0, -2 in descending order.
n, 0, -1, -2
Suppose -2*u = -k + 10, 0 = -3*u - k - 3 - 7. Put -5, -2, u, 1 in decreasing order.
1, -2, u, -5
Let p = -1752 - -1646.7. Let a = -105 - p. Sort 1/3, -1, a in descending order.
1/3, a, -1
Let n be -3*2/(8/2). Suppose 3 = 3*g - 6, 5*h - 2*g - 134 = 0. Let s be (h/(-10) + 2)*5. Sort 2/5, s, n in ascending order.
s, n, 2/5
Suppose 17 = h - 5*c, 0 = -4*h + 3*c - 8*c - 7. Suppose 2*f = 2*d - 80, -3*d + h*d + 184 = -5*f. Let s = 32 + f. Put 2/5, -1/2, s in decreasing order.
2/5, -1/2, s
Let w = -291 - -294. Suppose -7 = -2*y + 5. Let p be 1 + 2 - y/w. Sort -1, 8, p in ascending order.
-1, p, 8
Suppose 10*w + 33 = 9*w. Let d = w + 24. Sort 4, -1, d in decreasing order.
4, -1, d
Let l = -1.4 - -1.4. Let s be 0/((1 - -1)/2). Suppose s = f - 2. Put l, f, 1/4 in decreasing order.
f, 1/4, l
Let r = -69/10 + 13/2. Put -5/7, 0.4, 0.5, r in descending order.
0.5, 0.4, r, -5/7
Let q = 0.3 - -0.2. Let j be (-345)/1150*(40/18)/(-4). Put j, -9, q in decreasing order.
q, j, -9
Let y be (84/189 - 4/9)/1. Sort -72, y, 4.
-72, y, 4
Let j = 150 - 151. Put 3/2, -2/9, j in decreasing order.
3/2, -2/9, j
Let f be -3*(-4 + (-88)/(-12)). Let m(r) = -r - 15. Let k be m(f). Sort k, -1/4, -2 in descending order.
-1/4, -2, k
Let b = -2 + -9. Let f = -82 - -92. Let g = b + f. Sort g, -2, 1 in ascending order.
-2, g, 1
Let b = 1/2 + -2/3. Let l = 0.9 - 0.6. Suppose u = -5*j - 5, 0 = -5*j - 4*u - 26 + 6. Sort j, l, b in ascending order.
b, j, l
Let n = -2186 - -2188. Sort 4, -1, 7, n in descending order.
7, 4, n, -1
Let v(s) = -2*s**3 - s. Let d be v(1). Suppose 0 = c - 9. Let f be 3/(7/((-105)/c)). Sort f, d, 3 in ascending order.
f, d, 3
Let o = 17 + -14. Suppose 4*m - o*m - 7 = 0. Suppose 4*h = -m*v + 3*v - 24, -2*h + v = 6. Put h, 9, 0 in decreasing order.
9, 0, h
Let p = -48437/59 + 821. Let x = -71/354 + p. Let m be 4/(-6) + (-1)/(-3). Sort 1, x, m in ascending order.
m, x, 1
Suppose -293*n + 24 = -281*n. Suppose -5*i - 4*k - 15 - 15 = 0, -8 = -i + 2*k. Let c be i/(-1*(-1 + 0)). Put 1, c, n in increasing order.
c, 1, n
Let n be 9 - 5/(3 + 2). Let u(t) = -t**2 + 10*t - 18. Let a be u(n). Sort -3, 14, a.
-3, a, 14
Let q = -13/109 + -2481/218. Sort q, -4, -0.04 in decreasing order.
-0.04, -4, q
Let c be -3*(-2 + (-8)/(-6)). Let v(f) = -f**3 + 12*f**2 - 10*f - 8. Let h be v(11). Sort c, h, 4 in decreasing order.
4, h, c
Let x(w) be the first derivative of w**4/4 + 8*w**3/3 + w**2/2 - 42*w + 46. Let a be x(-7). Put a, -14, 4 in descending order.
4, a, -14
Suppose 0 = 4*q + 139 + 61. Let x = 48 + q. Sort x, 1, 5 in decreasing order.
5, 1, x
Let o(q) be the third derivative of -q**6/120 - q**5/12 - q**4/12 + 2*q**3/3 + 9*q**2. Let s be o(-4). Sort -3, -5, s in descending order.
-3, s, -5
Suppose 0 = -5*o + 4*f + 15, 0*o + 5*o = -5*f - 30. Put -13, o, -2/17, 1 in decreasing order.
1, -2/17, o, -13
Let s = -0.404 - -0.104. Put 1/2, -0.5, s, -0.17 in ascending order.
-0.5, s, -0.17, 1/2
Let k = 2.9 - 3. Let t = -758 - -739. Sort k, 1/4, t in increasing order.
t, k, 1/4
Let n = 1/650 + 323/1300. Put -1/6, n, 0.1, -2.15 in ascending order.
-2.15, -1/6, 0.1, n
Let z = -21 - -51. Suppose -3*v + z = -5*h - 8*v, 4 = -4*v. Suppose 2*r = -0*r + 2. Put -2, r, h in increasing order.
h, -2, r
Let o = -140 - -139.959. Let v = o - 4.959. Put -0.3, 1, v, 0.2 in ascending order.
v, -0.3, 0.2, 1
Let z = 1.36 - 1.4. Let h = 859 + -860. Sort h, z, -0.1 in ascending order.
h, -0.1, z
Let t = 12 + -13. Let l = -14.83 - 0.17. Let m = l + 15.5. Sort 1, t, m in decreasing order.
1, m, t
Let f = 0 + 0.5. Let h = -2065/1524 - -40/381. Suppose -k - 5 = d, -4*d + 0 + 5 = -k. Sort f, d, h in ascending order.
h, d, f
Let q be (0 - -1)*44/198. Sort 1, -9, -