Let a = 7 + p. Put 2, a, 1 in descending order.
a, 2, 1
Let c = 5.024 - 0.024. Put c, 4/7, -2, 3 in ascending order.
-2, 4/7, 3, c
Let d = 0.2 + -0.21. Let m = 0.11 + d. Sort m, -5, 0.4 in increasing order.
-5, m, 0.4
Let f be 3*1 - (-8 + 9). Put f, 5, -2 in descending order.
5, f, -2
Let s = -2 - -2. Let h = -0.107 + 0.407. Put 4, s, h in descending order.
4, h, s
Let h be 9/(-2) - (-1)/2. Let a = -5 + 0. Sort 0, a, h.
a, h, 0
Let q(r) = -2*r - 4. Let w be q(-6). Suppose -9 - 11 = 2*i + 5*v, -5*i = 2*v + w. Suppose c - 4 + 3 = i. Put 5, c, 2 in decreasing order.
5, 2, c
Suppose -28 = -5*m - 3. Let k be (-8)/m - (-6)/(-15). Let v = -31 - -125/4. Sort k, v, -4/7 in decreasing order.
v, -4/7, k
Suppose -3*s = -5*x - 6, -2*s + 7*s - 5*x - 10 = 0. Suppose -j - s*j = 5*a - 12, 2*j + 8 = 2*a. Sort j, -3, 5 in decreasing order.
5, j, -3
Let q = 14.6 + -19.6. Let o = -6 + 6.4. Put q, o, -1/3 in decreasing order.
o, -1/3, q
Let s = 2.4 - 1.4. Sort -3, 2/19, s.
-3, 2/19, s
Suppose 4*m = -5*i - 1 - 0, 0 = 3*m + 12. Let v be (-1 - 1)/(2/3). Let a = 2 + v. Sort -2, i, a.
-2, a, i
Let r(a) = a**3 - 5*a**2 - a + 7. Let t(u) = u**3 + 5*u**2 + 4*u - 1. Let y be t(-3). Let k be r(y). Let f = 3.2 + -2.9. Sort -1/5, k, f in descending order.
k, f, -1/5
Let o be (10/(-4))/(6/12). Put 2, 0, -2, o in increasing order.
o, -2, 0, 2
Let p = -11 + 24. Suppose 4*a + 8 = 3*r + r, -p = -4*r - a. Suppose -3*t + 0 = -r, 3*t = -d + 7. Sort -1, 5, d in increasing order.
-1, d, 5
Let o = -1 - -1. Let n(k) = k + 1. Let l be n(-3). Let f be (-7)/2 - l/(-4). Put o, -0.1, f in descending order.
o, -0.1, f
Let h(d) = -6*d. Let o be h(1). Let n = -0.7 - 2.3. Put -1/4, o, n in decreasing order.
-1/4, n, o
Let c(x) = -x**2 - 4*x + 1. Let y be c(-5). Suppose 10 = 4*r - 3*n + 2, -r + 5*n = -2. Suppose 2*g - 40 = 5*w - 3*g, r*g - 22 = 4*w. Sort w, 4, y.
y, w, 4
Suppose 0 = 2*x - 2 + 8. Sort x, 4, -7.
-7, x, 4
Let a be (12/8)/(6/(-8)). Sort 5, -4, a in ascending order.
-4, a, 5
Let b be 3/(42/(-4)) + (-48)/126. Put 0.2, 3, b, -1/4 in descending order.
3, 0.2, -1/4, b
Let z = -100 - -72.5. Let t = z + 27. Sort t, -0.3, 0.3 in descending order.
0.3, -0.3, t
Suppose 4*o = -o. Suppose 3 = -3*s - 3*p, -3*p + 7*p = 3*s - 32. Put s, o, -2 in increasing order.
-2, o, s
Let p = -6 + 10. Let t(z) = -z - 13. Let o be t(-12). Sort 2, p, o.
o, 2, p
Let p = 7 + -3. Suppose y - p = -y + k, k - 20 = -4*y. Sort 5, y, -1.
-1, y, 5
Let z = 4/77 + 40/77. Sort 1/2, z, 4 in increasing order.
1/2, z, 4
Let i = 7/5 - 31/15. Sort 2/9, -3, i, 10 in ascending order.
-3, i, 2/9, 10
Let f = 2.8 + -0.8. Put -5, f, 5 in decreasing order.
5, f, -5
Let o = 36.071 - 0.071. Put o, 4, 2/17 in decreasing order.
o, 4, 2/17
Let h = -9/10 - -41/40. Sort h, -8, -0.2, -0.1 in decreasing order.
h, -0.1, -0.2, -8
Let h = -47 + 45. Let f = 2 - 1.6. Put -3/4, h, f in decreasing order.
f, -3/4, h
Let b = -123.6 - -124. Put 1, 0.1, b, 2/7 in decreasing order.
1, b, 2/7, 0.1
Let h = 31 + -29. Sort h, 0.6, 1.
0.6, 1, h
Let b be (-4 - (-12)/18)/(2/(-3)). Sort 2, 1, b.
1, 2, b
Suppose 0 = 3*o + 12, 0*i + 4*o = 5*i + 4. Let p be (3 + i)/(1/(-4)). Sort 5, -4, p in descending order.
5, p, -4
Let s be (-4)/6*(-54)/9. Put 0, -2, s in decreasing order.
s, 0, -2
Let k(w) = -w**2 - 6*w - 3. Let x be k(-6). Let c = 5 + x. Suppose 4*u - 5*u = -3. Sort 5, c, u in descending order.
5, u, c
Let o = 4.81 + 0.19. Let m be 3/(3 - -6)*1. Put -4, o, m in descending order.
o, m, -4
Let h(m) = m**3 + m**2. Let r be h(-2). Let j be (0/3)/(10/5). Let y = -1 + -2. Sort j, y, r in decreasing order.
j, y, r
Let k = 11 - 12. Sort 26, 0.4, k, 2/3 in ascending order.
k, 0.4, 2/3, 26
Suppose 0 = -c + 4*p + 15, 2*p + 20 = 3*c - 5*c. Suppose -2 - 4 = 2*b. Sort 1, c, b.
c, b, 1
Suppose -2*a + 2 = -a + 3*w, -a + w - 2 = 0. Sort 1, a, 5 in increasing order.
a, 1, 5
Suppose -2*u = -6 + 4. Put 5, u, -3 in decreasing order.
5, u, -3
Let g = -1 - -1.1. Sort g, -0.7, -4/7 in ascending order.
-0.7, -4/7, g
Let r(k) = -k**2 - 6*k - 4. Let d be r(-6). Let j be (-4)/12 - (-14)/6. Suppose -5*y + 4*f = -29, 6*y - 18 = j*y - 2*f. Sort d, 2, y.
d, 2, y
Let t = 186 + -183. Sort t, -44, 1 in increasing order.
-44, 1, t
Let q be (-18)/(-27)*(-4)/6. Sort q, 1.3, 0.1 in increasing order.
q, 0.1, 1.3
Let h(r) = -r**3 + 6*r**2 + 9*r - 14. Let t be h(7). Put -1, t, -2 in descending order.
t, -1, -2
Let v be 69 + (0 - (2 - 3)). Let h be (15/v)/((-6)/(-8)). Let o be 21/(-12) - 2/(-1). Sort -1/4, h, o in decreasing order.
h, o, -1/4
Suppose 0 = -2*c - c. Suppose -5 + 40 = -7*t. Put t, 2, c in ascending order.
t, c, 2
Let l(i) = 2*i - 4. Let b = 7 - 4. Let j be l(b). Sort -3, j, 0 in descending order.
j, 0, -3
Let l = 11 + -11.9. Let b = 1374/5 + -275. Sort 2, b, l in ascending order.
l, b, 2
Let o = 73 + -72.8. Let z = 32 + -49. Let l = z + 33/2. Sort o, l, -2 in descending order.
o, l, -2
Let o be 8 + (-1 + 3)*(-45)/30. Sort 4, o, -10.
-10, 4, o
Let x = -39 - -37. Let q be ((-4)/6)/(3/18). Suppose -8 = i - 3*i. Put x, q, i in decreasing order.
i, x, q
Suppose -4 = -4*u + x + 3*x, -u - 17 = 5*x. Let q be (0 - 1)/(2/10). Sort u, 2, q in increasing order.
q, u, 2
Let a = 16 - 6. Let z be 17/a - 6/4. Put -4, 4/7, z in descending order.
4/7, z, -4
Let i = -40 - -36. Put -0.1, i, 4 in increasing order.
i, -0.1, 4
Let h = -11 + 8. Let n = 1 - -4. Sort h, n, 2 in descending order.
n, 2, h
Suppose 2*y = -3*k - 26, -3*y - 16 = y. Let p be k/(-21)*14/30. Let s = 380/7 + -54. Sort s, p, 1.
p, s, 1
Let p = -3 - -2. Let y = 50 + -49. Let m be (3 - 1)*2/18. Put p, y, m in decreasing order.
y, m, p
Let b(d) = d + 12. Let j be b(0). Suppose 5*n = -v - 4, -5*n - 3*v + 0 = j. Sort 4, -1, n.
-1, n, 4
Let x = 0.94 - 1.24. Put 1/2, x, 6, -1/7 in ascending order.
x, -1/7, 1/2, 6
Let u be (3/3 - 0)*2. Let p be -3 + (0 + u - 4). Sort p, 5, -3 in increasing order.
p, -3, 5
Let i = -0.3 + 0.2. Let p = -168 - -161.3. Let s = p - -7. Sort i, s, -3 in increasing order.
-3, i, s
Let z = -126.3 - -126. Sort -2, z, 0.04 in decreasing order.
0.04, z, -2
Let a = 3.7 + -4. Sort -4, a, 0.4 in ascending order.
-4, a, 0.4
Suppose 5*z + 2*g - 47 = 0, 4*g + 6 = z + 1. Put 0, -3, z in decreasing order.
z, 0, -3
Suppose 0 = 4*q - 20. Sort q, -3, 4 in ascending order.
-3, 4, q
Let a be 2/8 + 6/8. Let i be (a/4)/(7/(-4)). Put i, 4/7, -2/13 in decreasing order.
4/7, i, -2/13
Suppose -5*s - 29 = -2*j, -4*s - 6 = -2*j + 18. Let m be 3/((-3 + 0)/3 - 0). Put m, j, 5 in decreasing order.
5, j, m
Let d = -8 + 12. Suppose 3*v = -z + 15, d = 4*z - v + 9. Let j be (-2 - z)*(-2)/24. Sort j, -3/4, -2 in ascending order.
-2, -3/4, j
Suppose 3*o + z = -7, 2*z + z = 3*o - 9. Put -4, o, 4 in descending order.
4, o, -4
Let m = 5/6 + -1/2. Let l = 2 - 2.2. Put m, 0.3, l in descending order.
m, 0.3, l
Let k = 12 + -9. Suppose 2*n = -4*q + 6, -k*n = -5*q + 19 + 16. Sort 3, n, 3/4 in decreasing order.
3, 3/4, n
Let n be 3/((-42)/(-74)) - 4/14. Let i = 2 - 2. Put -3, n, i in descending order.
n, i, -3
Let z = -191 + 186.98. Let y = 0.02 + z. Sort -3, -0.1, y in ascending order.
y, -3, -0.1
Let u(j) = -3*j - 4. Let l be u(-3). Sort -0.1, l, -3.
-3, -0.1, l
Suppose 5*f - 4*p + 0*p - 6 = 0, 2*f = 4*p. Let s be (f/1)/(2 + 0). Suppose -4*r + c = -7, 2*r - 6 = -0*r - 2*c. Put r, -1, s in increasing order.
-1, s, r
Let k = -0.11 - -1.41. Let n = -0.8 + k. Let a = n - 0. Sort -3, a, -0.5 in ascending order.
-3, -0.5, a
Suppose 16 = -4*n + 3*l, n + 4 = -0*n + 3*l. Let y be (15/(-10))/((-3)/n). Put y, 0, -4 in descending order.
0, y, -4
Suppose -4*i = 3*n + 11, -3*n + 6*i + 3 = 3*i. Sort 3, 1, n, 4 in ascending order.
n, 1, 3, 4
Let w be ((-58)/4)/((-10)/(-8)). Let i = w - -11. Put -1/4, 2, i in decreasing order.
2, -1/4, i
Let p(x) = -x**2 - 3*x - 6. Let a be p(-2). Sort 5, a, -3 in descending order.
5, -3, a
Suppose 2*s = 4*c - 3*s - 45, 0 = 3*c + 5*s - 60. Suppose -2*f + o - c = -2*o, -o = -4*f - 5. Let q = -5 + 7. Sort -3, q, f in decreasing order.
q, f, -3
Suppose 3*k + 2*r - 11 = 0, -2*r = -5*k - 5*r + 18. Suppose 0*y + 9 = y - 3*x, 0 = 3*x + 9. Sort k, y, -2 in ascending order.
-2, y, k
Let f = -1/4 + 11/4. Sort 5, -1, f in ascending order.
-1, f, 5
Let y(v) = -v**3 + 7*v**2 - 5*v - 6. Let c be y(6). Suppose -25 = n - 26. Put 5, c, n in descending order.
5, n,