. Sort x, -4, p in decreasing order.
x, p, -4
Let n = 0.3 + -0.1. Let s = 33 - 32.7. Put n, -1/8, s in ascending order.
-1/8, n, s
Let l be -19*(-6)/(3 + -6). Sort -5, l, -1, 1 in increasing order.
l, -5, -1, 1
Let b = 15 + -5. Let v be ((-3)/2)/(b/(-20)). Sort 0, v, 4 in ascending order.
0, v, 4
Suppose 3 + 2 = -l, 2*i - 23 = -l. Suppose -5*n = -i - 11. Put 0.1, -0.3, n in descending order.
n, 0.1, -0.3
Let h = -1.8 + -0.2. Sort 5, -2/5, h in ascending order.
h, -2/5, 5
Let d = -20.5 + 21. Put d, -1, 2/5 in descending order.
d, 2/5, -1
Let a = 5 - 5. Suppose 0 = -3*y - 4*p + 8, 5*y - 4*p = 9 + 15. Put y, 5, a in ascending order.
a, y, 5
Let a(h) = -h**3 + 19*h**2 - 19*h + 24. Let q be a(18). Sort -3, 2, q.
-3, 2, q
Let j be 1 + 3 + 2/(-1). Let h = -0.04 - -3.04. Sort -0.3, j, h in descending order.
h, j, -0.3
Let w = 26 + -17. Let z = 9 - w. Let y = -2 - -2.1. Put z, -0.3, y in increasing order.
-0.3, z, y
Let f = -0.16 + -0.44. Let j = -1 - f. Sort 0.02, j, -0.5 in decreasing order.
0.02, j, -0.5
Let c = -6.3 + 6. Let x = 0.5 - 1. Let r = x - c. Sort -1/3, r, -5 in increasing order.
-5, -1/3, r
Let s(x) = 6*x + 1. Let y be s(-1). Suppose 2*u + 12 = 5*k, 0*u - 20 = -2*k - 3*u. Suppose 0 = h - 3*f + 1, -2*f = 2 - 6. Sort k, h, y in decreasing order.
h, k, y
Let x be (6/(-4))/(3/8). Let u(g) = g**2 - 11*g + 16. Let q(v) = -v**2 + 7*v + 9. Let b be q(7). Let r be u(b). Put r, x, 0 in descending order.
0, r, x
Let d be 6/(-132)*8/2. Sort -7, d, 2/37 in decreasing order.
2/37, d, -7
Let g(r) = -r**2 - 13*r - 11. Let i be g(-12). Sort i, -5, 0.
-5, 0, i
Let v = -9.1 - -2.3. Let l = 3.5 + v. Let r = 0.3 + l. Put 3, r, -5 in increasing order.
-5, r, 3
Let m = -2.8 - 0.2. Let u = m + 3.2. Sort -0.5, u, -2/3 in increasing order.
-2/3, -0.5, u
Let a(n) = -n**2 + 8*n - 3. Let l(r) = 2*r - 2. Let z be l(4). Let y be a(z). Suppose -p - 2*p = -y. Put p, 5, -1 in ascending order.
-1, p, 5
Let b(s) = -3*s + 17. Let z be b(7). Put 2, z, -9 in descending order.
2, z, -9
Suppose -2*a - 8 = -0. Suppose -4*o = -7 + 15. Suppose 2*m + 13 = 11. Put a, o, m in decreasing order.
m, o, a
Suppose 5 = -5*o, 0 = 6*y - 3*y - o + 11. Let s be (5/(-4))/(1/y). Let p = -0.4 + 0.4. Sort s, 0.2, p in descending order.
s, 0.2, p
Let z = 15.8 - 11. Let u = z + -5. Let p = -6/29 + -98/87. Sort u, p, -4 in descending order.
u, p, -4
Let w be -1 - 58/18 - (-122)/549. Sort 21, w, 1/3, 0.1.
w, 0.1, 1/3, 21
Let l be (-88)/(-9) + (-6)/(-27). Let t(h) = -3 + h + 5 - 15 + 10*h**2 - h**3 + 0*h. Let z be t(l). Put 1, z, 0 in decreasing order.
1, 0, z
Let q = -38 - -75. Put q, -4, -5 in increasing order.
-5, -4, q
Let g(a) = a + 6. Let s be g(9). Suppose -3 = 2*j - j + f, 5*f = -j - s. Sort j, 1, -9 in descending order.
1, j, -9
Let l = 84 - 926/11. Sort 2, -5, l in descending order.
2, l, -5
Let n = 24.8 + -25. Let y = -171 - -1541/9. Put -0.4, y, n in decreasing order.
y, n, -0.4
Let w = 803 + -85918/107. Let m = 187/963 + w. Sort -2/13, 3, m in ascending order.
-2/13, m, 3
Let r = -1 + 3. Let l be r/((-4)/(-10)) - 0. Suppose 10 = -l*p + 5*h, p + 2*h = 5*h - 10. Sort p, 0, 3 in decreasing order.
3, p, 0
Let v = 4.031 + -0.031. Suppose 2*x - 5*x + 18 = 0. Let i(t) = t**2 - 5*t - 1. Let r be i(x). Sort -0.4, r, v in decreasing order.
r, v, -0.4
Let h(m) = m**3 - m**2 - 4*m + 3. Let g be h(2). Let u = -4 + g. Sort 5, 0, u in decreasing order.
5, 0, u
Let f = -19 + 20. Put f, 0.2, 5 in descending order.
5, f, 0.2
Suppose 3*t = 5*t - 26. Suppose -9*m - 15 = -5*i - 4*m, 0 = -3*i + 4*m + t. Let j = 62/7 - 9. Sort -6/7, i, j in ascending order.
i, -6/7, j
Let h(q) = -9*q - 1. Let k(z) = 17*z + 3. Let n(f) = 11*h(f) + 6*k(f). Let j be n(-4). Sort j, -3, 0 in ascending order.
j, -3, 0
Suppose 0 = 2*o + 1 - 3. Suppose 15 = -4*g - o. Put g, 0, 5 in descending order.
5, 0, g
Suppose 26 + 14 = 4*f + 4*u, 4*u = 3*f + 5. Suppose -12*o = -5*o - 21. Put f, 4, o in ascending order.
o, 4, f
Let t(s) = s**2 - 3. Let i = 2 + -2. Let o be t(i). Sort 0, 1, o in descending order.
1, 0, o
Let y = -17 + 17. Put 2, 5, y in decreasing order.
5, 2, y
Let p = 1 - 1.03. Let d = p - -0.13. Let h = -168 + 1173/7. Sort h, d, 1/4.
h, d, 1/4
Suppose -10 = -4*j + 2. Suppose 0*z = 4*z. Sort j, z, 4/5 in ascending order.
z, 4/5, j
Let r be 24/6 + 1/(-1). Suppose 13 = 5*o + r*f, -5*o = -2*f - 0*f - 33. Put o, 0, -1 in decreasing order.
o, 0, -1
Let j be (-4)/(-2 + (-18)/(-8)). Let m be (-4 - -3)/((-4)/j). Sort 2, 3, m in decreasing order.
3, 2, m
Let t = 47 + -50. Sort 3, t, 4 in ascending order.
t, 3, 4
Suppose 0 = -5*d - 24 + 19. Let r be (-3)/(-9)*3 + -6. Put r, 4, d in ascending order.
r, d, 4
Let q be 17/30 - (-4)/(-10). Let y be (-27)/12*1/3. Sort y, q, 0 in descending order.
q, 0, y
Suppose 12 = 4*r - 2*r. Suppose r = -j + 8. Sort j, -5, 0 in ascending order.
-5, 0, j
Let l = -25 + 17. Let i be l/(-12)*3/(-5). Put -0.3, 1, i in decreasing order.
1, -0.3, i
Let b = 17 - 15. Sort 8, 0.2, b.
0.2, b, 8
Let v = -16 + 8. Let f = -5 - v. Sort 1, f, 2 in ascending order.
1, 2, f
Suppose 6*n - n - 20 = -u, 4*u = -3*n + 29. Let s be 4/(4*2/8). Put s, -3, u in ascending order.
-3, s, u
Let c be 26/8 + 1/(-4). Let q(n) = -n - 1. Let x be q(2). Suppose 4*k - 16 = 4*i, -5*i - 2*k = -3*i + 12. Sort i, x, c in decreasing order.
c, x, i
Let m = 7 + 2. Let x = 35 + -22. Let o = m - x. Put 0, 2, o in increasing order.
o, 0, 2
Let u = 0.14 - 0.44. Sort 0, u, 0.3.
u, 0, 0.3
Let w be ((-8)/10)/((-1)/(-5)). Let v = 0 + 1. Let h = -1 - v. Sort h, 1, w.
w, h, 1
Let k = -3 + 2. Let w be 4*((-9)/2 + 2). Let r be -2*(-1)/(-5)*w. Sort -4, k, r in decreasing order.
r, k, -4
Let g be 4/(-12) - (-2)/(-3). Let a be (1 + g - 0) + -4. Put 1, -4/5, a in descending order.
1, -4/5, a
Let o be 1/2 + (-11)/2. Suppose 0*s = 5*s. Let t be s/(-1) - 3/3. Put 0, t, o in descending order.
0, t, o
Let w = -11 - -15. Suppose -5*b = w*v - 3 - 1, 0 = 3*b. Let k = -3 + 3. Sort v, k, -4 in ascending order.
-4, k, v
Let u = -13 + 10. Put u, 2, -2, 1 in decreasing order.
2, 1, -2, u
Suppose -2*f + 0*l - 15 = -3*l, 2*f = -5*l + 25. Put 1, 2, f in decreasing order.
2, 1, f
Let c(y) = -y**2 - 3*y + 5. Let i be c(-3). Let a(n) = -n + 7. Let q be a(5). Put q, -3, i in descending order.
i, q, -3
Let c = 8 - 14. Let z(n) = 21*n - 80. Let r be z(4). Sort -2, c, r in decreasing order.
r, -2, c
Let j be ((-2)/6)/(13/117). Let x(u) = -u**3 - 15*u**2. Let q be x(-15). Sort q, j, 5 in descending order.
5, q, j
Let k(z) = z + 4. Let d be k(-7). Let j = 0 - d. Let w = j - 8. Sort 4, -2, w.
w, -2, 4
Let b = 2 + -6. Suppose -11 = 2*o + 1. Let r be (12/(-18))/(o/45). Put r, 2/3, b in increasing order.
b, 2/3, r
Suppose 5*q - n + 16 = 0, -4*n - 8 = -q - q. Let d be (6/12)/(7/q). Sort -4, d, -5.
-5, -4, d
Let i be -10 + ((-3)/3 - -2). Let h = i + 13. Suppose -g = 2*q + 6 + h, 0 = -3*g + q - 9. Sort -5, -1, g.
-5, g, -1
Let b(a) = a**2 - 18*a + 29. Let o be b(17). Put 4, o, 5, 1 in descending order.
o, 5, 4, 1
Let s be (3/(-9))/(1/3). Put -4, 5, 1, s in descending order.
5, 1, s, -4
Let o = -11.758 - -0.058. Let b = 11 + o. Let t = b + -1.3. Sort -4, 2, t.
-4, t, 2
Suppose 4*j - 1 = 5*s, -3*s + 0 + 9 = 0. Sort -1, 2, j in increasing order.
-1, 2, j
Let f = 0.1 - -0.9. Let c = -0.8 - -5.8. Let w = f - c. Sort 5, w, -1/5 in decreasing order.
5, -1/5, w
Let d(u) = -u**3 - 5*u**2 - 4*u + 2. Let p be d(-4). Sort p, -3, 5 in ascending order.
-3, p, 5
Suppose 19 = -5*u + q, -u - q = -2*u - 3. Sort u, -0.3, 3 in increasing order.
u, -0.3, 3
Let t = 115.1 + -109. Let o = t - 1.1. Let p be 16/(-24)*(-2)/4. Sort -0.4, o, p.
-0.4, p, o
Let s = -125 - -130. Sort s, -21, -5.
-21, -5, s
Let i(u) = -2*u**2 - 3*u - 2. Let r be i(-2). Suppose -j - 3*j - 2 = 2*w, -3*w - 3*j + 3 = 0. Suppose 5*a = -0*a - 25. Put w, r, a in ascending order.
a, r, w
Let d(m) = m**3 + m**2 - 1. Let z be d(0). Let v = -27 + 24. Put 1/2, z, v in decreasing order.
1/2, z, v
Let r = 11 - 9. Suppose -3*j + c + r = -7, 3*c + 1 = -4*j. Sort 3, 5, j.
j, 3, 5
Let g(p) = 3*p**2 + 3*p - 2. Let n be g(-3). Sort 5, n, 0 in descending order.
n, 5, 0
Let h be ((-6)/2)/(-2 - -1). Let n be 6/h*(-10)/4. Suppose -3*x - x + 5*q + 4 = 0, -3*x + 3 = -4*q. Sort n, x, -2 in decreasing order.
x, -2, n
Suppose -5*y - r = -6*r + 30, -4*y - 4*r - 16 = 0. Put y