 1 - 0/1. Sort z, f, -3 in decreasing order.
f, z, -3
Let n(s) = -4*s**2 + 4*s + 11. Let b be n(4). Sort 2, -10, b.
b, -10, 2
Let w(x) = -x**2 + 17*x - 75. Let s be w(11). Sort s, 0, 3, 4 in decreasing order.
4, 3, 0, s
Suppose -4*p = 2*d - 12, d + 2*d = 3*p. Suppose -48 = -2*f - d*f. Let y = f - 10. Put -4, y, 5 in descending order.
5, y, -4
Let k = -5847/16 + 366. Put k, 4, 0, 0.5 in decreasing order.
4, k, 0.5, 0
Let k be (-24)/5 - (-15)/(-75). Sort 1, -31, k in ascending order.
-31, k, 1
Let i be ((-69)/6 + 12)/((-2)/(-10)). Sort -1, 0.3, i.
-1, 0.3, i
Let a = -1361 + 1356. Sort a, 0.1, 1/4, -6/11.
a, -6/11, 0.1, 1/4
Let j be (-3 - 2) + (-12)/16*-4. Let s = -12 + 7. Put -1, j, s in descending order.
-1, j, s
Let o be 13 + (-16254)/1232 + 4/(-22). Put 8, o, -3, -4/3 in decreasing order.
8, o, -4/3, -3
Let b(z) = z + 8. Let n be b(-5). Let v(j) be the third derivative of -j**4/24 - j**3 + 8*j**2. Let u be v(-8). Sort n, -4, u in descending order.
n, u, -4
Let n be 2/(8/(-23)) - (-81)/27. Put n, -5, -1/3 in ascending order.
-5, n, -1/3
Suppose 7400*t + 96 = 7412*t. Suppose 0 = -5*i + 2 + 3. Sort i, 2, t in decreasing order.
t, 2, i
Let n be (-12 - -4)*(-1)/(-2). Let r(p) = 2*p - 15. Let s be r(10). Sort -2, s, 0.5, n.
n, -2, 0.5, s
Let v be 14/(-105) - (-434)/105 - 1/(-1). Suppose 5*x - 5 = -0. Put x, v, -2 in decreasing order.
v, x, -2
Let q = -81/2 - -39. Sort 0.4, q, -0.1, 4 in increasing order.
q, -0.1, 0.4, 4
Let b = -477/7 + 68. Suppose -i + 61 = 4*j - 0, -4*j + 5*i = -55. Let g be ((-6)/j)/(4/(-5)). Sort b, g, -4/3 in descending order.
g, b, -4/3
Let z be 374/(-770) - (-1)/5. Sort -2, -0.04, -3, z in decreasing order.
-0.04, z, -2, -3
Suppose 7*t - 68 = 3*t. Suppose 0 = -2*m + t + 1. Put -0.4, m, 4 in descending order.
m, 4, -0.4
Suppose 4*u + 7 - 6 = m, 4*m - 18 = 2*u. Sort 2, m, -5, 26 in descending order.
26, m, 2, -5
Let p = -802.2 - -794. Sort -2, -3, p in decreasing order.
-2, -3, p
Let f(q) = q - 2. Let r be f(4). Let b be 4 - 4 - 3 - -12. Put 0, b, r in decreasing order.
b, r, 0
Let z be (-87)/(-9) + (2/(-3))/(-2). Sort -4, z, -7 in decreasing order.
z, -4, -7
Suppose -126 - 174 = -60*g. Put g, 1, 25 in descending order.
25, g, 1
Let o = 16.4 + -16.5. Sort o, -2/9, -1, 0.6.
-1, -2/9, o, 0.6
Let u = -5 - -37. Put u, -3/5, -5, -2/7 in descending order.
u, -2/7, -3/5, -5
Suppose 3*x - 3*v = 84, -8*v + 7*v + 87 = 4*x. Sort 1, 0, -4, x in ascending order.
-4, 0, 1, x
Let x = 39.9 - 39.4. Put -1/4, -5, x, -0.4 in descending order.
x, -1/4, -0.4, -5
Suppose 0 = 6*o - 4*o + 18. Let k be o/(-3) + (1 - -1). Let h be 1 + 2 + (-60)/((-72)/(-6)). Put k, h, -4/7 in descending order.
k, -4/7, h
Suppose 5*o - 4*o = -1. Let j = 553 - 549. Sort o, j, 0.3 in decreasing order.
j, 0.3, o
Let t = 82 - 86. Let m = -0.025 + 1.025. Put 0.6, t, m, 0.3 in descending order.
m, 0.6, 0.3, t
Let a(i) = -i**3 - 4*i**2 + 2*i + 13. Let w be a(-4). Sort 0, w, -4, 1 in descending order.
w, 1, 0, -4
Let r be (-10 - -2) + (-770)/(-10). Put 4, -2, -4, r in descending order.
r, 4, -2, -4
Let i be 63*(3 + 56/(-21)). Sort -1, -5, i, 1 in decreasing order.
i, 1, -1, -5
Let c = 25 - 53. Let g = c - -37. Sort g, -1, 1.
-1, 1, g
Let q = 363 - 361. Put 6, 4, q in decreasing order.
6, 4, q
Suppose 2*v - 10 = -4. Suppose -k - 18 - 5 = 5*p, 3*p - 5*k = v. Let d(l) = l - 8. Let g be d(9). Put p, g, 0 in increasing order.
p, 0, g
Let w be 10/(-8) - 116/(-80). Put -3/5, 236, w in descending order.
236, w, -3/5
Suppose 38*y + 43 - 5 = 0. Sort y, -5, 4, -3 in increasing order.
-5, -3, y, 4
Suppose -23*h = -30*h + 15*h - 16. Suppose -4*c - 3*a = 35, -5*a - 2 = -4*c + 3. Sort c, 1, h.
c, 1, h
Suppose -7*g = -14*g + 7. Suppose -5 = 5*b + 2*y, 5*b + 0*y + 5*y = -5. Sort g, -5, -3, b in decreasing order.
g, b, -3, -5
Let t = 0.01 + -0.31. Let w be ((-8)/12)/((-2)/(-15)). Sort w, t, 0.
w, t, 0
Let p = 826 + -102423/124. Let c = 243/620 + p. Put -2/11, -2, c in decreasing order.
c, -2/11, -2
Let b be ((-4)/33)/(4/6). Let f be 5*(8/(-55))/(-4). Let r = f + 0. Put r, -1/3, b in increasing order.
-1/3, b, r
Suppose -3 = t - 0*t. Let c(g) = g**2 + 3*g + 2. Let a be c(-2). Let h be (-54)/2*(-77)/231. Put h, t, a in ascending order.
t, a, h
Let k be (5 - 2)*(-18)/(-27). Let t be (10/(-6))/(k/(-72)). Let l = -117/2 + t. Sort l, 1, 0.3.
0.3, 1, l
Suppose -4*r + 11*a = 7*a + 44, -33 = 3*r + 4*a. Sort 0, 3, 1, r.
r, 0, 1, 3
Suppose 4*n = 4*g - 5*g - 16, 2*g + 8 = 0. Put 17, n, -2, -1 in decreasing order.
17, -1, -2, n
Suppose -4*b = 5*g - 2*b - 7, -g + 4*b = -19. Sort 4, -1, g, -5 in increasing order.
-5, -1, g, 4
Suppose -m + 8 = -2*w, -5*w - 12 = -4*m - 2*w. Let n = -3130 - -3129.7. Sort m, -2/9, n in descending order.
m, -2/9, n
Let f be 2/(-23) - 0/(-1). Let q = -2998 - -2995. Sort f, 0.2, q.
q, f, 0.2
Let v(n) = -n + 4. Let m be v(4). Suppose m = 5*s - 2*p + 14, -p = s - 0*s. Let x be (2 + -1 - 3)/(-2). Sort x, -1, s in decreasing order.
x, -1, s
Let w = -0.02 + 0.82. Let a = w + 0.2. Let x = -1011.3 - -1011. Sort 2/5, x, a in decreasing order.
a, 2/5, x
Suppose -p - 3*p + 36 = 0. Suppose 12*d = p*d. Sort -2, d, 5 in descending order.
5, d, -2
Let q be (1/(5/(-15)) - 4) + 4. Put q, 1, 2/17 in decreasing order.
1, 2/17, q
Let r be 50/(5/((-20)/(-8))). Let s = 22 - r. Let y be (3 - 15)*4/(-6). Put y, -1, s in decreasing order.
y, -1, s
Let w = -37.959 - -38. Let r = w - -0.029. Sort -4, -0.1, r in descending order.
r, -0.1, -4
Let i = 1673.9 - 1674. Sort 0.5, 2/5, i, 51 in descending order.
51, 0.5, 2/5, i
Let p = 0.0648 + -3.3748. Let f = p - -0.31. Sort f, 5, -0.5.
f, -0.5, 5
Let p = -104 + 316/3. Put 1/5, 1, p in descending order.
p, 1, 1/5
Let s be (4/(-3))/((-40)/36). Let f be 1/(38/(-150) - (-4)/(-50)). Put -1, s, -2, f in ascending order.
f, -2, -1, s
Suppose -154 = 4*t + 3*s + 8, -t + 2*s - 46 = 0. Let i = t + 46. Sort -3, i, 11, -5 in ascending order.
-5, -3, i, 11
Let n(o) = o + 12. Let v be n(-13). Sort 13, 3, v, 0 in descending order.
13, 3, 0, v
Let i = -1034 + 1030. Put -2/11, 1/4, -1.49, i in descending order.
1/4, -2/11, -1.49, i
Let t = -86.01 - -86. Let h = 0.39 - t. Put h, 1/6, 0.5, -4/7 in decreasing order.
0.5, h, 1/6, -4/7
Suppose -2*i - 32*m + 1 = -35*m, 4*m = 3*i - 1. Sort -5, 2, i, 1 in decreasing order.
2, 1, i, -5
Let a = -0.844 - -0.714. Put a, 0, -2/7, 6 in ascending order.
-2/7, a, 0, 6
Let d = 507 + -504. Sort d, -89, 0 in ascending order.
-89, 0, d
Suppose 0 = -3*o - 2*m - 23, -o - 5*m - 42 + 17 = 0. Let h = 9 + o. Sort 5, -4, h, -3 in increasing order.
-4, -3, h, 5
Let j = -41 + 41. Let o be (-15)/(-3) - (2 + j). Let z(q) = q + 1. Let l be z(-1). Put o, l, -3 in decreasing order.
o, l, -3
Let l = 1597 + -1596. Sort 13, 0, l, -4 in descending order.
13, l, 0, -4
Let l(h) = -h**3 - 24*h**2 + 42*h - 52. Let n be l(-24). Put 0, 4, -2, n in descending order.
4, 0, -2, n
Suppose 0 = -2*d + 4*w - 26, -4*w = 85 - 101. Let a be (-26)/(-5) - 2/10. Sort a, -0.5, 2, d in increasing order.
d, -0.5, 2, a
Let r be -1 + 215/(-45) - 8/36. Let l = -0.2 - -0.1. Suppose 0*x - 3*x + 15 = 0. Sort l, x, r in increasing order.
r, l, x
Let h(w) = w**2 + 2*w + 3. Let t be h(-1). Let n = -6.1 + 6. Sort -0.24, n, t in decreasing order.
t, n, -0.24
Let t = 4.108 - 8.108. Let h = 2 + -5. Put t, h, -1, -1/5 in ascending order.
t, h, -1, -1/5
Suppose 2*y - 4*y = 8, 3*a - 35 = 5*y. Suppose -a = 2*k - 3. Suppose v - 3*x = 10, 5*v + 5*x + 49 + 1 = 0. Sort k, -4, v in decreasing order.
k, -4, v
Let r be 323/(-136) - -1*2. Let j = -1/8 - r. Let s = -0.1 + 0.2. Put -3, s, j in decreasing order.
j, s, -3
Let q be -1 + 9/7 - 24/231. Sort -23, q, -0.2, 0.4 in decreasing order.
0.4, q, -0.2, -23
Let d be 1*(-104)/(-10) + (-6)/15. Sort 2/7, -5, d, -2/5 in decreasing order.
d, 2/7, -2/5, -5
Let a(b) = 0*b + 5 + 3*b - 4*b. Let k be a(3). Suppose -5*u + 4 = -y, -u + 5*u - k*y - 2 = 0. Put -9, u, 3 in decreasing order.
3, u, -9
Suppose -5*g + 0*g - 135 = 5*a, 10 = 2*a. Sort -1, -3, g in ascending order.
g, -3, -1
Let j = 11.293 - 11.4. Let g = -4.893 + j. Sort g, 1.2, 1/3 in decreasing order.
1.2, 1/3, g
Let j(k) be the first derivative of -k**2/2 + 5*k - 323. Suppose 20 = o + 3*o. Let z be j(o). Put z, 4, -5 in decreasing order.
4, z, -5
Let b be ((-2)/(-2))/((-7)/(-21)). Let t be (b/(-6))/((-9)/6). Let