
a, x, 1
Let f be 21/15 - (-4)/(-10). Let q = 3 - f. Put q, -5, 0.2 in decreasing order.
q, 0.2, -5
Let v(y) = -y**2 + 12*y - 14. Let d be v(12). Let a be 135/(-252) - 4/d. Let u = 0.4 + 0. Sort -1, u, a.
-1, a, u
Let h(p) = 2*p + 2. Let a(u) = -u**3 + 2*u + 1. Let x be a(-1). Let b be h(x). Put b, -2/29, -0.5 in descending order.
b, -2/29, -0.5
Let p = -0.06 - 4.94. Put 4/5, -4, p in increasing order.
p, -4, 4/5
Let t = -8 + 3. Let u(q) = -q**3 - 3*q**2 + 2*q - 4. Let l be u(-3). Let d = l - -15. Sort t, -1, d in descending order.
d, -1, t
Suppose 0 = 5*u - 15, 4*r + 0*u = -u - 1. Let a be (-4*r/1)/(-1). Sort 3, a, -3 in descending order.
3, -3, a
Let q = -53 - -52. Sort q, 2, 3 in ascending order.
q, 2, 3
Let a = 3 - 9. Let i = a + 12. Let x be 288/84 + (-4)/(-7). Sort i, x, -3/5 in descending order.
i, x, -3/5
Let r(a) = 2*a**2 - 24*a - 93. Let w be r(15). Let k = 2 - -1. Put w, k, -5 in ascending order.
-5, w, k
Let d = -0.2 - -0.1. Let z = -1.4 - 0.6. Let s = 4 + -2. Put z, d, s in decreasing order.
s, d, z
Let f(v) = -v + 5. Let z be f(8). Let m be ((-2)/(-20))/(z/(-2028)). Let o = m - 68. Sort 1, 0, o in ascending order.
o, 0, 1
Let l = 0 - -11. Let r = -6 + l. Suppose -f = -r*f. Sort -3, f, -1 in increasing order.
-3, -1, f
Let h = -874 - -44596/51. Let o = h + 4/17. Sort 2, -2, o in ascending order.
-2, o, 2
Let l = 91849/268 - 1371/4. Let x = -20939851/201 - -104178. Let r = x - l. Sort -0.2, 2, r.
r, -0.2, 2
Let d = -3 - -5. Sort -3, -5, d in descending order.
d, -3, -5
Let h = 14 + -15. Sort h, -5, -7 in ascending order.
-7, -5, h
Let t be (-62)/16 - (-7 + 3). Sort 15, 0.2, t in decreasing order.
15, 0.2, t
Let p = -116 + 117. Sort 11, -5, p.
-5, p, 11
Let p = -0.1 + 0. Let f = 2.6 - 4.6. Put -0.4, p, f in descending order.
p, -0.4, f
Let b = 65 - 64. Put 3, b, -0.12, -2/5 in descending order.
3, b, -0.12, -2/5
Let y = -5.4 - -0.4. Let z = y + 4. Put -1/3, z, -0.1 in ascending order.
z, -1/3, -0.1
Let p = -0.026 + 0.126. Put -2, -5, -2/9, p in descending order.
p, -2/9, -2, -5
Suppose 3*z + 3 + 3 = 0. Sort 2, z, -3, 3 in decreasing order.
3, 2, z, -3
Suppose 2*l + t = 19, 3*l - 5*l = -5*t + 11. Put l, -3, 3 in descending order.
l, 3, -3
Let m = -0.041 + -0.359. Sort 1, -1, m in ascending order.
-1, m, 1
Suppose -4*u + 0 = -8. Suppose w + 15 = 3*r, -22 = -4*r - 0*w + u*w. Put r, 1/2, 6 in ascending order.
1/2, r, 6
Suppose 5*o + 10 = 2*z - z, -3*o = 5*z + 34. Let l be ((-8)/(-5))/((-2)/10). Let j(f) = f + 13. Let q be j(l). Sort z, 3, q in descending order.
q, 3, z
Let v = 1 - -2. Let r = -6 + v. Sort 5, 4, r in increasing order.
r, 4, 5
Let h = 39 - 34. Put h, -1/5, 2 in decreasing order.
h, 2, -1/5
Let r be 9/2 + (-5)/(-10). Let h(m) = m**3 - 4*m**2 - 5*m + 3. Let s be h(r). Suppose 0 = -f - f - 6. Put f, 1, s in descending order.
s, 1, f
Let o = -0.19 + -0.21. Sort o, 2/9, -0.2, 4 in decreasing order.
4, 2/9, -0.2, o
Let p = -0.5 - -2.5. Let l = 1.9 - p. Let y = 8/13 + -29/26. Put y, -4, l in decreasing order.
l, y, -4
Suppose 0 = -2*j - 0*j. Put -0.22, 4, j in descending order.
4, j, -0.22
Let c be (-1)/(-5) + (-42)/(-15). Let g be -3*(2 + (-4)/c). Sort -0.2, -0.4, g in ascending order.
g, -0.4, -0.2
Suppose 3*b = 5*b + 2. Let d be (3/(-9))/(b/(-3)). Put -4, -5, d in descending order.
d, -4, -5
Let f = 3.8 + -4. Sort 0.4, f, -1/6.
f, -1/6, 0.4
Let b be 10/(-25) + 34/10. Let j be -1*(-2)/(1 + -3). Sort b, 5, j.
j, b, 5
Let q = 26.9 + -27. Put 0.2, 11, q in increasing order.
q, 0.2, 11
Suppose -2*i - 3 = i. Let n be 1*4 - i - 0. Let w be 3*1/(-1)*1. Put n, w, 1 in descending order.
n, 1, w
Let x = -27 + 26.74. Let m = x - -0.06. Put -1/7, m, -0.3 in ascending order.
-0.3, m, -1/7
Suppose -p - 3 + 0 = 0. Sort p, 3, 5.
p, 3, 5
Suppose -b + 1 = 5*w, -2*b + 4*b = 4*w + 2. Suppose 80 = 2*d + 2*d. Suppose -r + 6*r - 15 = 5*m, 4*m + d = 0. Sort b, 3, r in decreasing order.
3, b, r
Let s = -89 - -85. Put -2/11, 0.5, s, -1 in descending order.
0.5, -2/11, -1, s
Suppose -17 + 2 = 5*d. Put d, 5, 2 in descending order.
5, 2, d
Suppose -5*y - 25 = 0, -5*g - 5*y - 12 = 3. Suppose 0 = -z - z + 5*p + 53, -4*z + 3*p + 71 = 0. Suppose -11 = 5*t + z. Put 1, g, t in decreasing order.
g, 1, t
Let u = 23 + -26. Put u, 5, 11 in decreasing order.
11, 5, u
Suppose -41 = 3*j - 32. Sort j, -2, -4, -22 in increasing order.
-22, -4, j, -2
Let v = -93 + 371/4. Sort -5, -4, v, 0.3 in increasing order.
-5, -4, v, 0.3
Let v be -1 - -3 - 320/170. Let f(x) = x**2 + 5*x + 4. Let q be f(-5). Sort q, v, 2/7 in decreasing order.
q, 2/7, v
Suppose 5*q - 15 = 3*i - 6, 3*q = 5*i + 15. Put 4/7, i, 4 in ascending order.
i, 4/7, 4
Let r be 1 + 28/(-40) + (-1)/(-5). Sort r, 0, 0.1, 3 in descending order.
3, r, 0.1, 0
Suppose 2*s - 4*n = -5 - 11, -2*s = -n + 10. Put 3, s, -1 in increasing order.
s, -1, 3
Let a be 2 + 2 + (2 - 2). Suppose y = a*y. Suppose -4*p + 5*d = 33, -5*d + 13 = 5*p - 2. Sort -5, y, p in decreasing order.
y, p, -5
Let c be 3 + -3 + (-6)/(-16). Sort c, 7, -2 in increasing order.
-2, c, 7
Let j = -0.4 + 0.3. Suppose -l + 8 - 7 = 0. Sort l, 4, j in descending order.
4, l, j
Suppose w + 2*k + 3 = 0, -w + k = -4*w - 4. Put 5, 1, w in descending order.
5, 1, w
Suppose 3*y + 20 = 83. Let c = -25 + y. Let d = -3 + 1. Sort d, c, 5 in descending order.
5, d, c
Let t = 6 + -9. Let g = -3.6 + 4. Let d = -0.7 + g. Sort t, -0.4, d.
t, -0.4, d
Suppose -6*m = -26 - 16. Sort 2, 1, m, 4 in descending order.
m, 4, 2, 1
Let b be 0/(0 + 0 + 2). Sort -3, -5, b in ascending order.
-5, -3, b
Let v = -254 + 2033/8. Let h = -2.2 + 2. Put h, -0.4, v in increasing order.
-0.4, h, v
Let r be 15/3*(-5 - -4)*-1. Sort 4, -3, 3, r in descending order.
r, 4, 3, -3
Suppose -2*j + 2*w - 14 = -j, 4*j + 36 = 4*w. Sort j, 5, 0.
j, 0, 5
Suppose -9*b - 5 = 4. Sort -6, -4, b.
-6, -4, b
Let v = -7 - -4. Let u be (-3)/(-9) + (-61)/3. Let k be (-8)/(-44) + u/(-11). Sort 1/7, v, k in descending order.
k, 1/7, v
Let u = -4/13 - -10/117. Sort 2/5, -1/2, u in descending order.
2/5, u, -1/2
Suppose h - 2*i = -13, i = -2*h - 0*h - 1. Suppose 2 - 10 = -2*g. Suppose l = 7 - g. Sort -1, h, l.
h, -1, l
Let c = -1 - 0. Put -0.5, c, -0.2, 0 in decreasing order.
0, -0.2, -0.5, c
Let j = -1 + 4. Let f(o) = -o**2 + 10*o + 2. Let c be f(10). Let r be 3 - c/(-4)*-16. Sort j, r, -2.
r, -2, j
Let h be ((-13)/3 - -4) + -1. Put h, -2, 1/6 in increasing order.
-2, h, 1/6
Let z(o) = -o**3 + 8*o**2 - 5*o - 8. Let h be z(7). Suppose -h*a + a + 10 = 0. Put a, -3, -4 in increasing order.
-4, -3, a
Let b(d) = d**3 + 6*d**2 - 6. Let y be b(-6). Let z be (-2)/(-3) - (-34)/y. Sort -2, z, -3.
z, -3, -2
Let x = 5 + -8. Let f = 11 + -6. Sort -4, f, x.
-4, x, f
Suppose -28 = -4*m - 3*v - v, 5*m + 4*v - 30 = 0. Sort 4, -1, m.
-1, m, 4
Suppose -2*g = g - 6. Suppose -i + g + 0 = 0. Suppose 5*s + 4 = -6. Sort s, i, -4 in increasing order.
-4, s, i
Let t = -6.2 - -5.7. Put -1.2, t, 2, -3 in descending order.
2, t, -1.2, -3
Suppose -3*p - 6 = -0. Let k be (-20)/12 - (-4 - p). Sort k, 1/10, 0.5 in decreasing order.
0.5, k, 1/10
Let b(x) = -x**3 + 4*x**2 + 5*x + 1. Let f be b(5). Let m = f - 3/5. Put -1/4, 0.2, m in ascending order.
-1/4, 0.2, m
Let k be 3*(-2 + 15/9). Let b = k - 3. Sort -2, b, 4 in decreasing order.
4, -2, b
Let s = 4 - 8. Let i(f) = -f**2 + f + 43. Let a be i(-6). Put 5, s, a in decreasing order.
5, a, s
Let b be 3/8 + 133/8. Let d = 14 - b. Sort -5, 5, d.
-5, d, 5
Suppose 0 = -r + 2, -5*r = 4*y - 2*y - 32. Let c = 11 - 14. Sort y, c, -4 in decreasing order.
y, c, -4
Suppose 0 = -2*o - f + 8, 6*o - o - 5*f = 20. Suppose 0 = o*w - 0*w - 4. Sort -3, 0, w in descending order.
w, 0, -3
Let l(h) = -4*h + 2. Let q be l(6). Let c = 17 + q. Put c, 3, 4 in ascending order.
c, 3, 4
Let r = -4 + -2. Let d = 5 + r. Let v = -3 + d. Sort -2, -5, v.
-5, v, -2
Let m = -64 - -62. Sort -1/7, m, -4, -1.
-4, m, -1, -1/7
Let t(l) = l - 1. Let y be t(0). Suppose -5*p = -10*p - 35. Let b(x) = -x**2 - 8*x - 1. Let r be b(p). Put y, -2, r in decreasing order.
r, y, -2
Let z = 8 + -7.7. Let s = -1 - -0.7. Let v = 29/104 + -2/13. Put z, v, s in descending order.
z, v, s
Let v = 0.06 - -0.34. Put 5, v, 1 in descending order.
5, 1, v
Let o be 5/(-5) - 1*-5. Let v(x) = 13*x - 1. Let b be v(2). Suppose -l - o*l = b. Put l, 4, -1 in ascending order.