 46 = 4. Sort -3, 0, j, 2 in decreasing order.
j, 2, 0, -3
Suppose -12 = -a + 4*l, 5*a = 4*l - 4 + 16. Let i(q) = -q - 1. Let x be i(-1). Suppose 0*b - 2*b + 6 = x. Sort b, a, 5 in decreasing order.
5, b, a
Let k be (-2 + 3/(-4))*4. Let y = 10 + k. Let b = 0.3 - -0.2. Sort y, 2, b.
y, b, 2
Suppose -8 = -3*x - 2. Let k be (-134)/(-26) - x/13. Sort -4, k, -3 in descending order.
k, -3, -4
Let v be ((-1)/8)/(4 - 3). Sort v, -2, 0, 4.
-2, v, 0, 4
Suppose 3*a + 31 - 19 = 0. Let r(c) = -c**2 - 5*c - 4. Let v be r(-4). Put a, v, 5 in descending order.
5, v, a
Let i(k) = k**3 + 4*k**2 + 1. Let p be i(-4). Let c be p/(-2)*(3 + -5). Let b = -5 + c. Sort 5, b, -5 in descending order.
5, b, -5
Let d = 1 + 1. Let i be ((-2)/(-5))/(2/20). Let a be ((-24)/(-3))/(4/(-2)). Sort a, i, d.
a, d, i
Suppose 3*u + 1 = 2*u. Let z be 2/4*(13 + -1). Let k = 11 - z. Sort k, u, 0 in decreasing order.
k, 0, u
Let y(w) = -4*w**2 + 9*w - 4. Let b be y(2). Put b, 0, 4 in decreasing order.
4, 0, b
Suppose m = -0*m + 2. Put -2/11, 4, m in ascending order.
-2/11, m, 4
Suppose 0 = f + 1 - 5. Let v = -25/34 - -4/17. Put 5, f, v in descending order.
5, f, v
Let b be (-21)/(-14) + 3/(-4). Let s = 7 - 5. Sort 3, b, s.
b, s, 3
Let n(q) = -3*q - 21. Let z be n(-7). Sort 1, z, 2, -4 in decreasing order.
2, 1, z, -4
Let m = -0.1 - -0.2. Suppose 0 = 5*t + 3*z + 35, -2*z = 4*t + 2*z + 36. Put -2, m, t in decreasing order.
m, -2, t
Let t = 60479 - 2660919/44. Let c be 9/15 + (-126)/(-40). Let k = c - t. Put 5, k, -2/3 in descending order.
5, k, -2/3
Let a = 9 + -22. Let v = 18 + a. Put -1, v, -0.3 in descending order.
v, -0.3, -1
Suppose 3*y + y + 16 = 0. Put -1, y, 1/4 in descending order.
1/4, -1, y
Let v be 14 + -15 - 10/(-6). Put v, 0.5, -2/7 in descending order.
v, 0.5, -2/7
Let r(p) = -5*p - 1. Let j be r(-1). Let m = 28 - 33. Put -2, m, j in ascending order.
m, -2, j
Let b be (-4)/(-8) + 5/(-8). Let p = -0.5 + -0.1. Let t = 0.4 + p. Put b, -1/6, t in descending order.
b, -1/6, t
Let n be (-46)/(-14) - 4/14. Suppose n*x - 26 = -x - 2*l, -5*x - 5*l + 40 = 0. Let y(i) = -2*i - 2. Let m be y(-2). Sort m, x, 1/5.
1/5, m, x
Let i = -33 - -65/2. Put i, -2, 1/5 in decreasing order.
1/5, i, -2
Let r = 0.04 - 0.44. Let w(m) = -m + 4. Let n be w(0). Let g = -32 - -34. Sort r, g, n in increasing order.
r, g, n
Let j = 0.7 - 0.6. Let x = -0.09 - 3.91. Let m = -6 - x. Put -3, m, j in decreasing order.
j, m, -3
Suppose 2*p = 2*y - 4, -4*p - 2 = -2*y + 6. Sort -1, -44, p in descending order.
-1, p, -44
Suppose -33 = -4*j - 1. Suppose -4*a + j*a = 4. Suppose 0 = 4*i - o - 4, -2*i + 5 + 3 = o. Sort -4, a, i in ascending order.
-4, a, i
Suppose 2 = -4*x - 5*w - 3, 0 = 2*x + 5*w + 5. Let l(d) = -d. Suppose 2*q + 5*c = 17, -4*q - c = -7*q. Let k be l(q). Put -5, k, x in decreasing order.
x, k, -5
Let p(i) = -i**3 - 9*i**2 + 10*i + 2. Let c be 6/21 - (-216)/(-21). Let x be p(c). Sort x, -2, 4 in descending order.
4, x, -2
Let d be (-4)/(-14) + 78/21. Let n(j) = -j**2 - 11*j - 9. Let p be n(-10). Let o be ((-3)/(-2))/((-84)/(-16)). Put o, d, p in decreasing order.
d, p, o
Suppose 0 = 2*s - 0*s - 20. Suppose 3*t = -p - 0*p + s, -2*p + 14 = 4*t. Suppose -15 = t*l - 6*l. Put 2, l, -5 in descending order.
l, 2, -5
Suppose -24 = -b - 2*b. Suppose -j - 2*c = -b, -c - 1 = -4. Put j, -2, -1 in decreasing order.
j, -1, -2
Let d be 0 + -2 + 1 + -2. Let s = 0 + -0.3. Sort -0.5, d, s in descending order.
s, -0.5, d
Let c = 1.1 + -0.1. Let h be (2/(-3))/(4/(-36)). Let w be h/(-8)*(-2)/(-3). Put w, 1/3, c in ascending order.
w, 1/3, c
Let c = -1 + -1. Let k be (-126)/(-72) + (-13)/(-4). Sort 0, k, c in decreasing order.
k, 0, c
Let r(g) be the first derivative of g**2/2 + 5. Let l be r(5). Sort l, 1, 2 in decreasing order.
l, 2, 1
Let q = 1802 - 1800. Suppose 4*h + 3*x = 12, 0 = 2*h + 5*x - 3 + 11. Suppose -h*v + 2*v - 3*c = -12, -2*v + 5*c = -6. Sort 0, v, q in decreasing order.
v, q, 0
Let z be ((-20)/(-12))/((-5)/15). Sort z, -4, 1 in decreasing order.
1, -4, z
Let k = 0.32 + -4.32. Sort k, 0.11, -1/5.
k, -1/5, 0.11
Let u = -0.8 + 6.8. Let v = -6.3 + u. Sort v, 0.2, 0 in increasing order.
v, 0, 0.2
Suppose 2*t = -t. Suppose 3*y - 4*y + 5*c = -16, -5*c = 5*y + 10. Let q = 5 + -9. Sort y, q, t.
q, t, y
Suppose 3*u = 5*q + 27, 0*u - 4*u = 5*q - 1. Let x(f) = f**2 - 7*f + 5. Let r be x(7). Put u, r, 2 in descending order.
r, u, 2
Let o be -1*2*-4*1. Let l = o - 31/4. Let y = 807/7 - 115. Sort y, -5, l in decreasing order.
y, l, -5
Let q = 0 - -3. Suppose -6 = 2*d - 5*m, 3*m + 0 = d + 3. Sort d, q, -2.
d, -2, q
Suppose 0*g = g - 153. Let y be 2/6*4137/9. Let q = y - g. Put -4, 1/2, q in decreasing order.
1/2, q, -4
Suppose -4*i + 16 = -0*i. Sort 1.6, 0.4, i in decreasing order.
i, 1.6, 0.4
Let o = 8 + -6. Suppose -3*l + 5*c = 18, l - o*l - 2*c = -5. Put l, 1, 4 in ascending order.
l, 1, 4
Let p = 32 + -28. Let n = 135 + -2027/15. Sort 3/4, p, n in increasing order.
n, 3/4, p
Let v(k) = k**3 - 9*k**2 + 4*k - 9. Let c be v(9). Let m be (-6)/27 + 6/c. Let j(h) = -2*h**2 + 3*h - 1. Let q be j(2). Put -5, m, q in descending order.
m, q, -5
Let k = -0.039 + 0.249. Let u = k - 1.11. Let t = -1.3 - u. Sort 2, -5, t in ascending order.
-5, t, 2
Let o = 10 + -4. Let g = 10 - o. Put -4, g, -5 in descending order.
g, -4, -5
Let s be ((-4)/4)/(2/2). Put 1, s, -6 in descending order.
1, s, -6
Let d = 0.009 + -0.509. Sort 5, 2/5, -7, d in ascending order.
-7, d, 2/5, 5
Let i be 225/72 - (-2)/(-16). Sort i, 2, -4 in ascending order.
-4, 2, i
Let s = 14 + -14. Let l = 10 - 14. Sort -0.2, l, s in decreasing order.
s, -0.2, l
Let h be 2*((-5)/(-2) + -3). Put h, 3, -6 in ascending order.
-6, h, 3
Let r be 6/(-24) + 14/(-8). Put 2, 1, r in ascending order.
r, 1, 2
Suppose 7*d - 5*d = 4. Sort d, 0, 6.
0, d, 6
Let j be ((-2)/(-6))/(10/60). Put -1, j, -5 in ascending order.
-5, -1, j
Let r be (-4)/24 + (-4 + 3 - -1). Let m = -0.7 - -0.6. Sort m, 0.2, r in decreasing order.
0.2, m, r
Let c = -2 - 2. Let j = -4.4 - c. Put -2/9, -4, j in descending order.
-2/9, j, -4
Let n be (2/(-30))/((-3)/(-6)). Put 10, n, -2/3 in descending order.
10, n, -2/3
Let u = -1516777/252 - -6019. Let k = u - 5/36. Sort -0.3, k, -4 in decreasing order.
k, -0.3, -4
Suppose 8*u - 2 = 6*u. Sort u, -4, 2 in descending order.
2, u, -4
Let u = 0.1 + 0.1. Let k(m) = 3*m + 4*m + 0*m**2 - 5 + m**2. Let o be k(-7). Put 0.4, o, u in increasing order.
o, u, 0.4
Let k = 12.03 - 12. Let n = k - -0.17. Sort n, -0.2, -0.3 in descending order.
n, -0.2, -0.3
Let o be 30/50 + (-22)/(-5). Put -5, o, 2 in descending order.
o, 2, -5
Let s = -17.4 + 17. Put s, -1/3, -5 in descending order.
-1/3, s, -5
Let z = -3 - -6. Let l be z + -1 + (1 - -3). Suppose m - l*m = 0. Put -2, 4, m in decreasing order.
4, m, -2
Let m = 6 - 9. Let p be (16/2)/((-26)/13). Let x = 3 - -1. Sort p, m, x.
p, m, x
Let n be 4/(-4) + (-1 - 40). Let v be (2/(-4))/(3/n). Let l(d) = -d**2 + 8*d - 8. Let i be l(v). Sort i, -0.1, -2/7 in decreasing order.
-0.1, -2/7, i
Let d(a) = 11*a**2 + 2*a + 1. Let b be d(-1). Let i be (-3)/15 + 22/b. Let h = i + 1. Sort -1, -4, h in increasing order.
-4, -1, h
Let s = -12 + 8. Suppose -2*u + 3*u = 4*h - 11, 5*u + 11 = -2*h. Sort u, 2, s.
s, u, 2
Let i be 12/30 + (-69)/60. Sort 0.2, i, 0 in decreasing order.
0.2, 0, i
Let d = 20.2 + -20. Put -2, 2/5, d in decreasing order.
2/5, d, -2
Let i = 597/5 - 119. Let q(s) = -s**3 - 7*s**2 - 6*s - 9. Let d be q(-6). Let w be (-2)/(-1 + (-33)/d). Sort -2, i, w in descending order.
i, w, -2
Suppose u + 0*u - 2 = 0. Sort 1, u, 0.1.
0.1, 1, u
Suppose g = 23 + 13. Let d be g/70 - (-4)/14. Suppose 2*f - 3 + 11 = 0. Sort f, d, -0.1 in decreasing order.
d, -0.1, f
Let t = 112.2 + -113. Put -2/7, -5, t in ascending order.
-5, t, -2/7
Let r = -793/1224 + 5/136. Let v = 10/9 + r. Let b = -76 - -75.6. Sort b, -2, v in descending order.
v, b, -2
Let w = 2.978 + 0.022. Put 0, w, 1 in ascending order.
0, 1, w
Let z be ((-10)/15)/((-2)/(-4)) + 2. Let a = -0.1 + 0.1. Sort z, a, -1 in increasing order.
-1, a, z
Let v be 7063/(-140) - 3/4. Let c = v + 51. Sort c, -2, 3 in decreasing order.
3, c, -2
Suppose 10 - 4 = h - i, -12 = -2*h - 3*i. Put 4, -4, h in descending order.
h, 4, -4
Let o(q) = -q**3 + 5*q**2 - 7. Let a be o(5). Suppose 0*r - 2 = -r. Let c = r + 