 order.
5, -1, p
Let z be 1 - (-3 + 0/(-4)). Suppose -z*s = -9 + 1. Sort -1, 1, s in decreasing order.
s, 1, -1
Let b = 3/11 + 79/33. Put 0.1, -2, b in decreasing order.
b, 0.1, -2
Suppose 5*m - 55 = -10. Let p be (-6)/27 + 2/m. Sort -3, 3, p in increasing order.
-3, p, 3
Let x = 74/345 - 1/69. Sort 0.1, x, 0 in decreasing order.
x, 0.1, 0
Let u = -25 - -22. Sort -2, 5, u, -1/5.
u, -2, -1/5, 5
Suppose 5 = -4*w + 1. Let v be 12/8*(-12)/(-9). Sort w, v, -2.
-2, w, v
Suppose -9 + 5 = -4*k. Let u be 3/(-9) + 10/3. Sort 0, k, u.
0, k, u
Suppose 0 = -2*a - 3*a - 2*d - 13, -2*a + 2*d - 8 = 0. Sort -2, a, 1 in descending order.
1, -2, a
Let u be (25/35)/(10/35). Sort u, -0.2, 0.1 in descending order.
u, 0.1, -0.2
Let w = 3 - 8. Let s(c) = -c - 1. Let k(j) = 2*j - 2. Let n(p) = -k(p) - 3*s(p). Let b be n(-2). Put w, 5, b in descending order.
5, b, w
Let k be ((0 - 2)/(-10))/(48/(-60)). Sort 5, k, 0.2, -2/7 in increasing order.
-2/7, k, 0.2, 5
Let w = -12 - -5. Let a = -5 - w. Let c = 5.33 + -0.33. Sort a, c, -4.
-4, a, c
Let g = -1 - 3. Let j be (-1)/(4 + -5) + -1. Suppose j = 4*t - 9 - 3. Sort t, 0, g in descending order.
t, 0, g
Let j = 2509/23 - 109. Let z = -0.25 + -0.15. Sort j, z, -0.2 in ascending order.
z, -0.2, j
Let t be (-95)/4 - 36/(-48). Sort 0, t, -4, 4 in decreasing order.
4, 0, -4, t
Let j be (16/20)/((-4)/10). Suppose -2*x + 4*q = -6*x - 4, q + 6 = -2*x. Put 4, x, j in descending order.
4, j, x
Let q be -1*4*9/6. Let w be q/2 - (16 - 17). Put w, -5, -0.06 in increasing order.
-5, w, -0.06
Let d = -32.2 - -32. Sort -3, d, -4/3.
-3, -4/3, d
Let n be (-52)/(-6) - (-4)/12. Let p be 4/66*n/(-3). Sort 2/23, 1, p.
p, 2/23, 1
Suppose 4*h + 4*v - 8 = 0, 4 = -3*h - 0*h - v. Suppose c = -2*r - 3, 3*r + r = 5*c + 1. Put h, 3, c in decreasing order.
3, c, h
Let m(x) = -9*x - 7. Let g be m(-5). Let n be 6/21 + g/14. Suppose -3*a - 4*a - 21 = 0. Put a, n, 0 in decreasing order.
n, 0, a
Suppose 0 = 3*k + 5*h - 6, -5*k - 4*h + 7*h - 24 = 0. Sort 1, 3, -24, k in descending order.
3, 1, k, -24
Suppose n + n = -3*f - 40, -15 = 3*n. Let w(b) = -2*b - 15. Let m be w(f). Sort m, 3, 4 in descending order.
m, 4, 3
Suppose 3 = 2*n + 15. Suppose 5*w = 2*g + 5, 3*w = -2*g - w + 4. Let k be (2 + g)*2/(-8). Sort k, n, 1.
n, k, 1
Let p = -51 - -56. Sort -3, 8, p in increasing order.
-3, p, 8
Suppose -2*j - 192 = 4*i, -4*i = -i - 4*j + 144. Let d be i/21 + (-2)/(-7). Let q = d - -3. Sort -1, q, -3.
-3, -1, q
Let r = -5 - -5. Suppose -2*g = 10, -5*o + r*g - 25 = 2*g. Suppose -7 + 1 = -2*l + 2*j, j + 4 = 0. Put o, 5, l in decreasing order.
5, l, o
Let b = 9/31 + -165/248. Let a = 10 - 9.6. Put a, -2/5, b in increasing order.
-2/5, b, a
Suppose 10 = -l + 6*l. Suppose l*p - p = 1. Suppose 4*f - 16 = s, -2*s - 2 + 14 = 3*f. Sort f, 5, p in descending order.
5, f, p
Let c be 1/((-1)/2*1). Sort -1/3, 2, -0.4, c in descending order.
2, -1/3, -0.4, c
Let d be (-15)/(-10) - (-12)/8. Put -5/6, d, 3/5 in ascending order.
-5/6, 3/5, d
Let k(i) = -i**2 - 4*i + 1. Let t be k(-3). Suppose 0 = t*r - 8. Let c(d) = d**2 + 8*d - 1. Let w be c(-8). Sort -5, r, w in ascending order.
-5, w, r
Let h = 5 - 0. Let t = h - 4. Sort 0.2, t, 0.4 in ascending order.
0.2, 0.4, t
Let r be 1*-1 + 3 - 1. Let q = 40 + -40.19. Let l = 0.09 + q. Put r, -2, l in decreasing order.
r, l, -2
Let x be (-2)/(-7) + (-352)/840. Let w = -16.9 + 16. Let v = 1 + w. Sort -4/3, v, x in descending order.
v, x, -4/3
Suppose -3*i + v = -2*v + 3, 2*i = 4*v. Suppose 32 = 5*k + 12. Put k, -1, i in increasing order.
i, -1, k
Let r be 38/88 - 10/55. Let v = 5/12 - r. Put -1/3, v, 0.2 in descending order.
0.2, v, -1/3
Let p = 13 + -25. Let x be -3*(p/9)/4. Suppose 2*m + 4 + 1 = -c, c + 5 = 4*m. Sort x, 3, c in decreasing order.
3, x, c
Let k = -19 + 15. Let j(m) = m - 12. Let i be j(5). Let v = i - -4. Put v, 1, k in descending order.
1, v, k
Let l = 15 + -3. Let o = l + -17. Let i = -6 + 4. Sort 1/8, o, i.
o, i, 1/8
Let v = -29 - -25. Sort 0.05, v, 5/6.
v, 0.05, 5/6
Let m(a) = 7*a + 4. Let i be m(2). Suppose -4*u - 2*r + i = 0, -3*u + 6 = -u + 2*r. Put -4, 0, u in increasing order.
-4, 0, u
Let c(r) = -r - 2. Let v be c(-5). Suppose -3*f = 23 + 37. Let p be 2*-1*f/(-8). Sort v, 5, p.
p, v, 5
Let s = 7759711/62 - 125154. Let l be 27/(-31) + (1 - 0). Let y = l - s. Sort -0.1, -3, y in decreasing order.
-0.1, y, -3
Let d = -10 + 15. Let s(r) = r**2 + 2*r - 5. Let n be s(-4). Suppose 0*u = -n*u - 12. Sort u, -1, d.
u, -1, d
Let r be (0/(-1 + -1 - 1))/1. Sort r, -3, -5 in increasing order.
-5, -3, r
Let n = 3 + -1. Let g be 293/3 + -1 - 2. Let h = -93 + g. Sort 0.3, h, n in decreasing order.
n, h, 0.3
Let z = 309 + -4019/13. Let x = -685/4 - -171. Sort -0.2, x, z in decreasing order.
z, -0.2, x
Let y be (-20)/(-110) - 20/(-11). Let v be (8/(-6))/((-4)/(-12)). Sort v, 5, y.
v, y, 5
Let t be (-6 + 9)*(-2)/2. Sort -2, -5, t in decreasing order.
-2, t, -5
Let d(y) = -19*y**3 + 4*y**2 + 2*y - 2. Let q be d(-1). Put q, 5, -4 in increasing order.
-4, 5, q
Let j(r) = r**2 + 5*r - 10. Let u be j(-7). Let g = 23 + -14. Suppose -4*p + 4*q = -q + 30, 3*p + g = -3*q. Sort u, -3, p in ascending order.
p, -3, u
Let x = -0.19 - -0.09. Sort 0.2, 0, x, -2.
-2, x, 0, 0.2
Suppose -14 + 26 = -6*m. Sort 3, -4, -5, m in descending order.
3, m, -4, -5
Let a = -98 - -96. Sort 1/3, a, -1, 0.5.
a, -1, 1/3, 0.5
Let m = 7 - 5.9. Let z = m + -1.1. Put z, 2, -3 in descending order.
2, z, -3
Let c = 5 - 3. Suppose 4*k - f = f + 22, 5*k - 29 = 4*f. Suppose k*t = t - 16. Sort c, t, 1 in ascending order.
t, 1, c
Let d = -0.3 + 0.26. Let h = d + 0.04. Let x = h + 0.5. Put -3, x, 0 in descending order.
x, 0, -3
Suppose 0 = -3*g + 6*g - 24. Let s be -1*(g*-1 + 1). Sort 1, s, 0 in increasing order.
0, 1, s
Let a = -4 - 0. Let z = -7 + 11. Let n = -30/7 + z. Sort a, 3, n in ascending order.
a, n, 3
Let o be (8/84)/(2/(-6)). Put 2/5, -5, o in increasing order.
-5, o, 2/5
Let y = -0.15 + -0.05. Let u = 0.1 - 0. Put -0.1, u, y in increasing order.
y, -0.1, u
Let w = 5 - 3. Suppose 20 = -w*b + 6*b. Suppose -d = -0*v + 4*v - 3, -3*d = -2*v + b. Sort d, -4, 2.
-4, d, 2
Let i(m) = -4*m**3 + m + 1. Let g be i(-1). Let u = -2/423 - -1279/2115. Let j = 1 - -1. Put u, g, j in descending order.
g, j, u
Suppose 2*g + 14 = -g - 2*q, q = -5*g - 21. Sort 4, -10, g in ascending order.
-10, g, 4
Suppose 2*d + 4*s = 2*s - 4, d + 22 = -5*s. Let r(i) = -2*i + 1. Let h be r(2). Sort 0, h, d.
h, 0, d
Let s = 18 - 12. Sort -2, s, -4, -5 in ascending order.
-5, -4, -2, s
Suppose 4*g - 5*v = -0*g - 24, 2*g + 22 = 5*v. Sort g, -4, 0.
-4, g, 0
Let n = -0.01 + 0.41. Let q be (-6)/30 - 6/(-80). Sort 5, q, n in increasing order.
q, n, 5
Suppose 8 = 2*v - 2. Let a = v - 4. Suppose -4*p + 0*p - 8 = m, 10 = 4*m - 5*p. Sort -1, a, m in descending order.
a, m, -1
Let j = 0.0289 + -3.9389. Let s = -0.09 + j. Let i = -0.6 + -2.4. Put i, -0.4, s in decreasing order.
-0.4, i, s
Let g = -10 + 7. Sort g, -6/11, 4 in decreasing order.
4, -6/11, g
Suppose 0*s = 2*s - 6. Put s, 6, 1 in decreasing order.
6, s, 1
Let b = -3 + 6. Let w = b - 6. Let y be 1/5*(-6)/w. Put y, 3/2, -0.4 in increasing order.
-0.4, y, 3/2
Let y(x) = 3*x**3 + x**2 - x. Let p be y(1). Suppose -p*z = 2*z. Sort 2, z, 5 in decreasing order.
5, 2, z
Let c be (4/10)/((-5)/(-50)). Sort 2, c, -5 in descending order.
c, 2, -5
Let j be 2/8 + (-63)/(-36). Let b = 1.1 + -0.1. Sort j, 2/9, b in ascending order.
2/9, b, j
Suppose -g - 2*v + 17 = 0, -3*v - 42 = -0*g - 3*g. Suppose -4 = 19*o - g*o. Sort -5, o, 4 in descending order.
4, o, -5
Let o = 0.2 - 0.1. Let t = 21 + -23. Put o, 2/3, t in descending order.
2/3, o, t
Suppose 0 = -c + 5*c - 8. Suppose 3*m = -4*v + 12, -v + 1 = 5*m - c. Sort 2, v, 4 in decreasing order.
4, v, 2
Let g = -1462/7 + 6253/35. Let r = 30 + g. Put 1/9, -7, r in ascending order.
-7, r, 1/9
Suppose 0 = -4*u + 117 - 33. Suppose 0 = -4*l - u + 9. Let o = 0.3 - -0.7. Sort -1, l, o.
l, -1, o
Suppose u - 4*u = 3. Let z = 40 + -43. Sort u, 5, z in ascending order.
z, u, 5
Let r(c) = -2*c**3 + 3*c**2 - 3*c + 4. Let p be r(2). Let b be 1/(-2)*(-1 + -3). Sort 3, p, b in ascending order.
p, b, 3
Let j(o) = o**2 + 9*o + 6. Let l be j(-8). Let u = l + 5. Suppose -3*z = 0, -5*x + 10 = -10*x - u*z. Put x, -5, 2 in ascending order.
-5, x,