 4
Let z be (146/3)/(2/3). Let s = z + -581/8. Let i be 2 - ((-3)/3 + -2). Sort -1/4, s, i in decreasing order.
i, s, -1/4
Let j be (2 - (-7)/(-3))*-9. Suppose 2*r + 4 = -2*y, 3 = -5*r - 4*y - 6. Sort r, j, 0 in decreasing order.
j, 0, r
Let w = 0.31 - -3.69. Sort 5, 10, w.
w, 5, 10
Let v be (3/5)/(11/55). Put 0, v, 4 in ascending order.
0, v, 4
Let t(f) = -f - 9. Let i be t(-8). Put 0, i, 4 in decreasing order.
4, 0, i
Suppose 5*f = 0, 5*s + 4*f = 3*f + 5. Let c = -1 - -4. Put c, 2, s in descending order.
c, 2, s
Let m = -14 - -19. Let f = -3.3 + -0.7. Put -1, f, m in ascending order.
f, -1, m
Let z be ((-1)/(-2))/(1/(20 + -4)). Put z, -1, -3, -4 in increasing order.
-4, -3, -1, z
Let g = -0.01 - 0.19. Let f = g + -0.3. Sort f, 0.1, 4 in ascending order.
f, 0.1, 4
Suppose 0 = -5*i - 31 + 6. Put i, 3, 0 in ascending order.
i, 0, 3
Let h be ((-40)/14)/(4/(-14)). Let b = -2 + 17. Suppose 3*d + b = 3*p, 2*d + 3*p + p = -h. Put -4, -2, d in descending order.
-2, -4, d
Let v be (9/(-2))/((-13)/(-26)). Let r = v + 9. Put 8, -4, r in descending order.
8, r, -4
Let m be (-2)/((-5)/1 + 4 + -1). Sort -4, m, -1/3.
-4, -1/3, m
Let p be (57/19)/(-2 + (-1)/(-2)). Put 17, 3, p in decreasing order.
17, 3, p
Let c = 8415317/44031 + 106/3387. Let o = c + -191. Put 5, o, -2/5 in increasing order.
-2/5, o, 5
Let y = 0.541 + -0.041. Sort -1/6, y, -1, -3 in decreasing order.
y, -1/6, -1, -3
Let l = -134 + 139. Sort l, -0.52, -0.5.
-0.52, -0.5, l
Let q = -28 + 23. Sort q, -0.05, -3/4, 2 in ascending order.
q, -3/4, -0.05, 2
Let s(p) = 2*p + 5. Let k be s(0). Suppose 4*j = k*j - 4. Put 1, 2/9, j in decreasing order.
j, 1, 2/9
Let s = 5 + 4. Suppose -2*r + s = r. Sort 0, -1, r in descending order.
r, 0, -1
Let w(d) = -d**2 + 4*d + 27. Let n be w(8). Let h = 5 - 3. Sort -3, h, n in descending order.
h, -3, n
Let h be ((-3)/6 - 1)/6. Let u = -1121/13079 - -4/319. Let d = 97/205 + u. Put h, 5, d in ascending order.
h, d, 5
Let w be (-16)/16*(-6)/(2/(-1)). Sort w, -18, 1 in descending order.
1, w, -18
Suppose -o + 0 = 4. Let f be 14/(-10) - -1 - 26/10. Sort o, f, 3 in ascending order.
o, f, 3
Let l(d) = -d**3 - 9*d**2 - 15*d. Let n be l(-7). Put n, -2, 0.3 in increasing order.
-2, 0.3, n
Let s = -67 - -70. Put -6, -5, -2, s in ascending order.
-6, -5, -2, s
Let u = -42 - -31. Put -0.4, 2, -5, u in descending order.
2, -0.4, -5, u
Let l = -13 + 14. Let n = -0.19 - -8.19. Let x = 4 - n. Sort x, -4/7, l in ascending order.
x, -4/7, l
Let n(z) = -z**2 - 4*z + 1. Let u be n(-5). Let k = 334 - 336. Put k, u, 0 in increasing order.
u, k, 0
Suppose 4 = -2*k - 5*n, 5*k = -n - 2*n + 28. Let m(y) = 5*y**2 + 1. Let j be m(1). Let p = k - j. Put p, -5, -0.2 in decreasing order.
p, -0.2, -5
Let v(x) = x**3 + 7*x**2 - 10*x - 11. Let j be v(-8). Suppose 3*g + 0 + 1 = -j*m, 4 = 4*g + 4*m. Let q = -6 + 2. Sort -2, g, q in increasing order.
q, -2, g
Suppose -4*w + 0*w - 8 = 0. Put w, -18, -3 in descending order.
w, -3, -18
Let o = -2.81 - -0.51. Let g = -0.3 - o. Let i = -3 + g. Sort i, -1/4, 3 in ascending order.
i, -1/4, 3
Let f be (-1)/(-2) + 10/(-36). Sort 3, f, 1/4, -5 in ascending order.
-5, f, 1/4, 3
Let z be ((-5)/(-4))/(-1)*-4. Let s be (-48)/(-10) + 1/z. Sort 2, 3, s in ascending order.
2, 3, s
Let j(h) = h - 8. Let p be j(5). Sort -5, -1, 3, p.
-5, p, -1, 3
Suppose 3*i + 2*y = 10, i + 4*y - 20 = -3*i. Let u be (4 - 3)/(2 - 1). Let d be (-2)/(-8)*(u - 6). Put 0.3, d, i in ascending order.
d, i, 0.3
Let u(a) = -a - 5. Let m be u(0). Let x(c) = c**2 + 4*c + 2. Let p be x(-4). Suppose -p - 4 = -2*g. Put g, m, 2 in decreasing order.
g, 2, m
Suppose 4*p + 2*m + 2*m = -12, -2*m = 2. Put 0.9, 0.2, 2/13, p in descending order.
0.9, 0.2, 2/13, p
Suppose 3*d = -2*d. Suppose -4*a = -4 - 8. Suppose d*o = o - a. Put o, 5, 1 in ascending order.
1, o, 5
Let z = -0.67 - 17.33. Sort -3, z, 1/3 in descending order.
1/3, -3, z
Let d = 0.155 + 5.845. Sort d, -5, -1 in decreasing order.
d, -1, -5
Let w = 5.91 + 0.09. Let y = 8 - w. Put y, 1/4, -2 in ascending order.
-2, 1/4, y
Let r = -8.1 - -3.1. Sort r, -2, -1/8.
r, -2, -1/8
Let m = -31 + 30.62. Let n = m - 0.02. Sort n, 0.5, 0.4 in ascending order.
n, 0.4, 0.5
Let o = -16 + 17. Let r = 72.4 + -67. Let a = r - 5. Sort a, o, -2 in descending order.
o, a, -2
Let y be (-105)/14*(-8)/6. Suppose -2*a = -2*g - 2*g + 12, y = -a + 3*g. Put -5, a, -2 in decreasing order.
a, -2, -5
Let y be 2 - 3 - 2/2. Let i(v) = -v**3 + 5*v**2 + v - 3. Let c be i(0). Sort 5, y, c.
c, y, 5
Let y = -4 + 4. Suppose -w - 4*w = -5*x + 210, 5*x + 2*w - 231 = y. Suppose -4*j = 4*z + 4, 0*z - x = -5*j + 5*z. Sort j, -3, -4.
-4, -3, j
Suppose 0 = 4*v + 5*j - 13 - 18, 5*j = 5*v - 5. Put -1, 2, 3, v in ascending order.
-1, 2, 3, v
Suppose -253 = -5*h - 2*i + 357, 350 = 3*h - 2*i. Let n be (-6)/8*(-64)/h. Sort 1, n, 0.3 in ascending order.
0.3, n, 1
Let y(p) = p**3 - 3*p**2 - 5*p + 4. Let n(c) = -c + 1. Let l(x) = n(x) + y(x). Let o be l(4). Let w be 5 - -1*0/o. Put w, -4, -1 in descending order.
w, -1, -4
Suppose 2*c - 6*c - 80 = 0. Let v = c - -17. Sort v, -2, -4.
-4, v, -2
Let h(x) = -3*x**3 - x - 2. Let w be h(-1). Sort -4, 7, w in ascending order.
-4, w, 7
Suppose -o = 4 - 7. Suppose -o*r = -4*n - n + 12, -20 = -5*r - 5*n. Sort 5, -3, r in ascending order.
-3, r, 5
Let t be (-21 + -3)/(-1) + 0. Sort 3, -5, t.
-5, 3, t
Let q(r) = -r**2 + 8*r - 11. Let x be q(7). Let v be ((-2)/(-6))/((-5)/(-75)). Sort v, x, -1.
x, -1, v
Let c be 1/2*(-3 - -1). Let r = -11 - -15. Suppose 3*v + 12 = 5*m + 31, r*m + 28 = -4*v. Sort c, 2, v in ascending order.
v, c, 2
Let i be ((-80)/12)/(1/24). Let k = 3042/19 + i. Sort k, -5, 3 in increasing order.
-5, k, 3
Let l be 24/8*4/6. Put -8, l, -5 in increasing order.
-8, -5, l
Let a be 4 - 1*(-3)/3. Sort 0, 0.2, a in decreasing order.
a, 0.2, 0
Let c = 0.2 - 0. Let t(q) = q**2 - 5*q. Let a be t(5). Suppose -f = o + 5, -f - 6 = -a*o + 2*o. Sort c, o, -1/6 in descending order.
c, -1/6, o
Let v = -73 - -69. Sort 2/3, 7, v in descending order.
7, 2/3, v
Let i(o) = 2*o - 27. Let y be i(11). Sort y, 3, 2, -2 in increasing order.
y, -2, 2, 3
Let a be (-4)/(-7) - (-108)/(-189). Sort -3, -2/15, a, 5/3 in increasing order.
-3, -2/15, a, 5/3
Suppose -46 + 7 = -3*c. Suppose -c + 25 = 4*v. Sort v, 7, 5 in descending order.
7, 5, v
Let o = -11 - -10. Let r = o + 5. Sort r, 3, -0.2 in increasing order.
-0.2, 3, r
Let a = -23 - -26. Let f be 3 + ((-3)/(-12) - a). Sort 2/5, -0.3, f.
-0.3, f, 2/5
Let p = 46 - 46.42. Let l = -0.02 - p. Let h = -7 - -3. Put l, h, -5 in decreasing order.
l, h, -5
Suppose 4 = 5*t - 4*t. Let p = 10 - t. Suppose -r + 25 = -p*r. Put r, 3, -1 in increasing order.
r, -1, 3
Let c(h) = h**2 + 7*h + 4. Let i be c(-7). Sort 1, 5, i.
1, i, 5
Let s(u) = -3*u + 1. Let x be s(-1). Suppose -3 = -x*a - m - 14, -5*m + 25 = 0. Put -0.5, a, -1/3 in descending order.
-1/3, -0.5, a
Suppose -4*t - 6 = 2. Let i = 5 - 2. Sort t, i, -5 in increasing order.
-5, t, i
Let n be ((-4)/6)/((-6)/18). Let a = 2.6 + -7.6. Put n, a, -1/2 in descending order.
n, -1/2, a
Suppose 0 = 2*k + 2*k - 24. Suppose -6*r - 18 = -k. Sort r, -1, -5 in decreasing order.
-1, r, -5
Let o be (-3 + 1)/(16/12). Let d = o - -31/18. Put -3, d, -0.4 in descending order.
d, -0.4, -3
Suppose 6*v - 9*v = -9. Put -4, v, -5 in descending order.
v, -4, -5
Let o(x) = -x**3 - 22*x**2 + 24*x + 26. Let l be o(-23). Put -1, 16, l in decreasing order.
16, l, -1
Let s = -4.1 - -2.3. Let r = -2 - s. Let f = -0.7 + 0.2. Sort f, 0.3, r.
f, r, 0.3
Let t(x) = x**3 - 9*x**2 + x - 10. Let r be t(9). Let y = -0.5 - -0.9. Let w = 0.1 + y. Put -0.4, r, w in increasing order.
r, -0.4, w
Let j be -2 + 8/((-2)/(-1)). Suppose -j = 5*z - p, 0 = -z - 2*p + p - 4. Let x(g) = 2*g**2 + 22*g - 26. Let d be x(-12). Sort -5, z, d in descending order.
z, d, -5
Suppose 2*u - 8 = 4*g, -3*u + 5*g = -2*u + 5. Suppose 3*i + 1 - u = 0. Let y(f) = f**2 - 2*f - 7. Let v be y(3). Sort v, -2, i.
v, -2, i
Suppose -2*s = 5*d + 60, -32 = s - d - 2. Let x be (-8)/12*s/4. Let v = -12 - -15. Sort 4, x, v.
v, 4, x
Let z = 0.08 - -0.42. Let h = 9 + -4. Sort z, -2/19, h in descending order.
h, z, -2/19
Let f(a) = a + 8. Let i be f(-7). Suppose 0 = 3*z - 2*q + q - 23, -2*q - i = -z. Suppose -2*s - z = -1. Sort -3, 5, s in descending order.
5, -3, s
Le