order.
o, 1, h
Let g(f) = f + 22. Let k be g(-17). Put -3/8, 4, 1, k in ascending order.
-3/8, 1, 4, k
Let i = -37/153 + 1/51. Sort -2/5, -1, i in increasing order.
-1, -2/5, i
Let o = -5.2 + 5.4. Put 3/7, -0.1, 2, o in descending order.
2, 3/7, o, -0.1
Let l = -57 - -62. Put -5, -2, l, -3 in descending order.
l, -2, -3, -5
Suppose 5*o - 13 + 0 = 2*g, -g - 5 = -2*o. Let f(u) = -5*u**3. Let a be f(1). Sort a, 1, o in ascending order.
a, 1, o
Let q be 4/2 + 26/(-8). Let g = -0.9 + 1.05. Let k = g + -0.65. Sort 2/21, q, k in increasing order.
q, k, 2/21
Let m be (-5 + 0 - -1) + 0. Let d be 15/8*(-4)/6. Let w(f) = -2*f - 13. Let g be w(-4). Sort m, g, d in descending order.
d, m, g
Let j be (2/8)/((-13)/(-156)). Sort j, 0, -2 in descending order.
j, 0, -2
Let c be (1*-4)/(-1) - -2. Suppose -c*n - 26 = -n + 3*k, -4*n + 5*k = 6. Put n, -1/3, -2 in increasing order.
n, -2, -1/3
Let s(x) = -x + 7. Suppose -1 = -l + 5. Let u be s(l). Let o be 11/5 + 2/(-10). Put o, u, 5 in decreasing order.
5, o, u
Let a = -109 + 104.93. Let z = 10 - 9.93. Let d = a + z. Sort 0, d, 2 in decreasing order.
2, 0, d
Let y(k) = -1 - 8*k + 0*k + 4*k. Let m be y(2). Let f be 4/(-2)*m/(-6). Sort f, -5, 0 in ascending order.
-5, f, 0
Let o = 0.5 - 1.2. Let l = -0.3 + o. Let q = -1.2 - l. Put q, 2/3, 3 in increasing order.
q, 2/3, 3
Let h be 10/(-15)*(-6)/(-28). Sort 2/5, 0.2, h in decreasing order.
2/5, 0.2, h
Let g = 5 + 1. Let m be -4*3/g + 3. Put -1, m, -2 in descending order.
m, -1, -2
Suppose -6 = -5*x - 21. Let c be (1 - 13)*(-5)/(-10). Let y = c - -11. Sort x, y, -1 in descending order.
y, -1, x
Suppose -4 = -h - h. Let p = h + 0. Suppose -i - p*i = 12. Put 1, i, -3 in increasing order.
i, -3, 1
Suppose 0 = x + 4*x + 35. Let z(h) = h**3 + 6*h**2 - 7*h - 3. Let i be z(x). Suppose 3*b + 3*n + 1 = b, 0 = -4*b - 5*n + 1. Sort i, b, -2.
i, -2, b
Let q = 18 - 18. Put q, -1, -7, 4 in decreasing order.
4, q, -1, -7
Let b(p) = -4*p**2 - 10*p - 1. Let v(x) = -3*x**2 - 9*x. Let g(o) = -4*b(o) + 5*v(o). Let j be g(4). Put 4, 3, j in ascending order.
j, 3, 4
Let l = 35 + -35. Sort 5, -2, l in ascending order.
-2, l, 5
Let o be -3*((-1)/9 - 0). Let p = -6 + 11. Put 2, p, o in ascending order.
o, 2, p
Suppose -2*j + 3*j + 4*u + 6 = 0, j - 3*u = 8. Put 0.1, -13, j in decreasing order.
j, 0.1, -13
Let n(m) = -2*m - 10. Let p = 2 + -10. Let w be n(p). Sort w, -3/4, -0.2 in decreasing order.
w, -0.2, -3/4
Suppose 0 = b - 1 + 3. Put b, 0.19, -0.4 in decreasing order.
0.19, -0.4, b
Suppose -5*n - 6 = 4. Let j(a) = a**3 - 6*a**2 + 7*a - 3. Let u be j(5). Let t be 0 - (-4 + u) - -8. Put t, 3, n in descending order.
t, 3, n
Suppose 8*n - 4*n = -20. Let v be (1 - n)/((-21)/14). Let g(r) = r + 8. Let q be g(-6). Sort 3, v, q.
v, q, 3
Let r = 6 + -1. Let l = -23 - -22. Sort 0.2, r, l in increasing order.
l, 0.2, r
Suppose -5*n - 11 = -0*g + 2*g, -4*g = n + 13. Sort g, -2/5, 0.1, 1/5 in descending order.
1/5, 0.1, -2/5, g
Let z(i) = 5*i**2 + 8*i - 1. Let n(k) = 4*k**2 + 8*k - 2. Let h(j) = 6*n(j) - 5*z(j). Let c be h(7). Sort -1, -3, c in ascending order.
-3, -1, c
Let t = 0 + -1. Let x = 11 - 3. Suppose -c + 4*w = 4, 3*c - w + 20 = x. Sort t, 2, c in increasing order.
c, t, 2
Let c = 182 - 916/5. Let k be (-25)/14 - 6/(-4). Put c, -1, k in descending order.
k, -1, c
Let h = 25.4 + -11.4. Put 4, -1, h in ascending order.
-1, 4, h
Suppose z + 3 = -n, 4*z - 5*n = -0*z - 21. Sort z, 0, -1.
z, -1, 0
Let f = 5 + -4.6. Let s = -0.45 + 0.05. Suppose 4*o - 2*t - 12 = 0, -4*t = -2*o + 3*o + 6. Sort o, s, f.
s, f, o
Suppose 8 = g + 15. Sort -2, g, -4.
g, -4, -2
Suppose 0 = 4*f - 3*r - 4 - 4, 4*f = -5*r + 8. Let y = 1 + f. Let v be 4/(4 - 8) + -4. Sort 5, y, v.
v, y, 5
Let k = 1041/2 + -7107/14. Let y = 976/77 - k. Sort -4, -0.08, y in ascending order.
-4, y, -0.08
Let h = 1037/8 - 130. Let c be (0 - 1) + (-169)/(-1). Let o be 2/(-7) - (-111)/c. Sort 2/7, o, h in ascending order.
h, 2/7, o
Let y = 6 + -5. Let t be (-1 + 2)/y - -4. Suppose 0 = x + t*v, -2*x + 0*v = 3*v. Sort 3, 2, x in descending order.
3, 2, x
Let s be (-1 - 3/(-7))*(-1)/6. Sort -4/7, 0, -4, s in increasing order.
-4, -4/7, 0, s
Suppose 20 = -2*u + g, -2*g - 15 = u - 0. Let a be (-1 + u)*6/(-18). Put a, -5, 3 in decreasing order.
a, 3, -5
Let h(u) = 3*u + 52. Let x be h(-18). Let b = -0.03 + 3.03. Sort x, -1/3, b in descending order.
b, -1/3, x
Let d = -248 - -431. Let i be (-2)/9 - 22976/126. Let p = d + i. Sort -0.2, p, 1/2.
-0.2, p, 1/2
Let y(b) = b + 7. Let j be y(-3). Let v = 1 + 0. Suppose l + 12 = -2*l. Sort v, l, j in decreasing order.
j, v, l
Let q be -4*(1 - (-2 - 0 - -2)). Suppose 5*s + 0*d = -3*d + 3, 4*s = 2*d + 20. Sort s, q, 1 in ascending order.
q, 1, s
Suppose -2*n + 4 = 4*m - 0*n, -5*n + 10 = -4*m. Let z be 3 - (m/(-1))/1. Let b = 6 + -1. Put z, b, 5/3 in increasing order.
5/3, z, b
Let r = 17 - 22. Let i(u) = -u + 4. Let c be i(0). Put 13, c, r in descending order.
13, c, r
Let b be -2*(55/50 + -1). Put 5, -1, b in decreasing order.
5, b, -1
Suppose -l + 0*l = -20. Suppose -l = -4*c + 20. Suppose d + 5 = c. Sort 0.5, d, -4 in increasing order.
-4, 0.5, d
Suppose 4*r = 19 + 21. Let b = 14 - 9. Let m = r - b. Put 4, m, -1 in ascending order.
-1, 4, m
Let t = -5.31 - -0.31. Let f = -11/7 - -15/14. Let d = 19/5 - 11/3. Put d, f, t in ascending order.
t, f, d
Let v = 24 - 16. Let o = 6 - v. Let z = -16 - -159/10. Sort z, 0.4, o in increasing order.
o, z, 0.4
Let r = 19 - 19.3. Sort 4, -1/4, r in decreasing order.
4, -1/4, r
Let k = -4.1 + 2.1. Sort 5, 0, k, 1 in descending order.
5, 1, 0, k
Suppose -2*x = 3*v + 22, 17 - 5 = 2*v - 4*x. Let h = -6 + 8. Put -2, v, h in descending order.
h, -2, v
Let q = -5 + 5. Put 1, q, -1 in descending order.
1, q, -1
Let z be (-1)/3*6/14. Let v = -1/33 + -7/11. Sort -1, z, v in descending order.
z, v, -1
Let i(p) = 9*p - 20. Let f be i(2). Suppose 6 = 2*d + k, -k + 3 = d - 2*k. Sort -4, d, f in descending order.
d, f, -4
Let t = -144/497 + 2/497. Sort 62, t, 2/21 in increasing order.
t, 2/21, 62
Let c = 8.2 - 8. Sort 0, c, -0.3 in descending order.
c, 0, -0.3
Suppose 10 - 30 = -2*i. Sort i, -3, -2 in increasing order.
-3, -2, i
Let z = -0.97 + -4.03. Sort 2/3, -15/2, z, 3 in ascending order.
-15/2, z, 2/3, 3
Suppose 0 = r + 9 - 5. Sort 4, r, 1 in increasing order.
r, 1, 4
Suppose 2*w - 12 + 4 = 0. Suppose 12 = 4*m + w*h, -3*h - 2*h + 15 = m. Suppose 3*c + 13 = -2. Sort 2, m, c in decreasing order.
2, m, c
Let z be -3 - 52/(-9) - 3. Let c be ((-6)/8)/(-5 - -2). Let g be (0 + 1)/((-2)/10). Sort g, z, c in descending order.
c, z, g
Let o = -4 + 9. Suppose -2*b + o = -b. Let m = -0.33 - 2.67. Sort m, 0.3, b in descending order.
b, 0.3, m
Let y = -0.4 + 0.4. Let k = y - -0.1. Let t(a) = a**3 - 2*a**2 - 2*a - 1. Let m be t(3). Sort 3/2, m, k in decreasing order.
m, 3/2, k
Let r = 14.2 + -14. Put r, -4, -2/3 in decreasing order.
r, -2/3, -4
Let a = 43 - -90. Let k = a - 271/2. Suppose 0 = -y - 3, 0 = p - 7*y + 2*y - 18. Put k, 5, p in ascending order.
k, p, 5
Let g = -0.15 + -0.25. Let h = 0.6 + g. Put -5, h, 5 in ascending order.
-5, h, 5
Let a(l) = -l. Let w be a(-1). Suppose -y - 16 = -5*y. Let h be y/(-3)*9/6. Sort h, w, 2 in increasing order.
h, w, 2
Let s = -23 + 15. Let f = s + 6. Let n be (-9)/(-18)*4/2. Sort f, -5, n in descending order.
n, f, -5
Let p = 158 + -154. Sort -1, p, -4 in ascending order.
-4, -1, p
Let s(t) = t**3 - t + 1. Let y be s(-2). Suppose -r = -5*d + 21, 5*d + 1 - 30 = -r. Sort d, y, 3 in descending order.
d, 3, y
Let d = -2570866/69 - -37258. Let x = d - -6/23. Let v be (-1)/((-33)/15 - -2). Sort 2, v, x in increasing order.
x, 2, v
Suppose 0*h + 4*h = -16. Put h, 4, 3 in ascending order.
h, 3, 4
Let h = 151/56 + -25/8. Sort h, 5, -2 in decreasing order.
5, h, -2
Let j = -2.6 + 13.6. Let s = 10.8 - j. Let h be (3/(-5))/(-1 + 2). Sort 4, h, s in descending order.
4, s, h
Let w = -4 + 9. Let j = w + -10. Put 2/11, j, -1/4 in descending order.
2/11, -1/4, j
Let x(s) = 2*s**2 - 2. Let g be x(1). Sort -1/6, g, -0.1, -4 in descending order.
g, -0.1, -1/6, -4
Suppose -2*c = -c - 11. Sort -5, -1, c.
-5, -1, c
Let n(m) = -m**3 - 6*m**2 - 2*m - 6. Let j be n(-6). Suppose -r + 5*w - j = -2*r, -2*r - 14 = -3*w. Let u be (4/(-6))/(2/9). Sort 4, u, r in descending order.
4, u, r
Le