-4/3, l
Let p be -1 + -1*6/(-8). Let s = 5 - 16. Let k = s + 15. Sort p, -1, k.
-1, p, k
Suppose 6 = 2*v + 16. Let z = 3 + -3. Let s be 0 + (1 - z - 0). Sort -2, v, s in descending order.
s, -2, v
Suppose 0 = 3*t - 2 - 4. Suppose -4*n + t*j = -10, -5*n + 0*n + 14 = -3*j. Suppose 0*v - n = v. Sort v, 5, 0.
v, 0, 5
Let n = 28 - 22. Sort -3, 4, 3, n.
-3, 3, 4, n
Let v = 0.66 + -7.66. Put v, 1, 3 in decreasing order.
3, 1, v
Suppose -n + 0*n + 5 = 0. Suppose n*y = 3*y. Sort 3, 1, y.
y, 1, 3
Suppose -5*f = -2*f - 15. Sort f, -4, 4 in ascending order.
-4, 4, f
Let l = -4.2 - -0.2. Let s = 7 + l. Sort -1, -4, s in increasing order.
-4, -1, s
Let a = -3 - -2.5. Let t be ((-180)/40)/((-12)/(-2)). Sort 0.2, a, t in increasing order.
t, a, 0.2
Let f(i) = -i - 3. Suppose -5*x - 4 - 21 = 0. Let k be f(x). Sort k, 3, 4.
k, 3, 4
Let o = 0.2 + 6.3. Let h = -6 + o. Let y = 0 + 2. Put y, h, 0.1 in descending order.
y, h, 0.1
Let v(x) = -x + 12. Let d be v(8). Let z be 3/6 - (-10)/d. Suppose z = p - 0. Sort p, 4, -4 in ascending order.
-4, p, 4
Let n = 22 + -26. Put n, -0.09, 2/5 in decreasing order.
2/5, -0.09, n
Let i(f) = -f**2 - 7*f - 3. Let p be i(-6). Sort p, 0, -1 in decreasing order.
p, 0, -1
Suppose -8 = -3*f + 7. Let q(b) = 20*b - 3. Let o be q(2). Suppose -5*d + d - 5*m = -o, -5*m = 3*d - 34. Sort d, f, 4 in decreasing order.
f, 4, d
Suppose -k + 3*y - 3 = -0*y, 20 = 4*k + 4*y. Sort -5, k, 0.12.
-5, 0.12, k
Let f be -1 + 4 - (-6)/6. Put -2, -4, f in descending order.
f, -2, -4
Let j = -4489927/4262328 + 11/22552. Let i = j - -13/27. Sort -1, i, -3 in descending order.
i, -1, -3
Let n(g) = -2*g**2 - 1. Let k be n(1). Let c = 1 + k. Sort c, -0.2, -5.
-5, c, -0.2
Suppose -4*j - 26 = -2*p, 2*j - 12 = -6*p + 2*p. Let k be (-4)/6*j/8. Sort 0.5, 2/7, k.
2/7, k, 0.5
Let k = -14.3 + -12.2. Let g = -26 - k. Let x = 0.2 - 0.4. Put x, g, 2 in descending order.
2, g, x
Let n = -7 - -32/5. Let o = -0.34 - 0.16. Put -5, n, o in decreasing order.
o, n, -5
Let l(o) = -o + 2. Let q be l(3). Put q, -2, -5 in descending order.
q, -2, -5
Let j(g) = g - 4. Let o be j(4). Suppose 4*s - 17 = -l, -3*s + 38 = -3*l + 14. Suppose 0*q = s*q + 5. Put -4, q, o in descending order.
o, q, -4
Suppose 2 = 5*c - 2*z - 3, 3*z = c - 1. Sort -1, 2, 19, c.
-1, c, 2, 19
Suppose -1 = x - v + 2, 3*x + 3*v = 3. Suppose -16 = 3*f - 7. Sort 5, x, f.
f, x, 5
Let b(g) = g**2 + g - 8. Let x be b(-4). Sort 2, -5, -1, x in ascending order.
-5, -1, 2, x
Let v = -33.1 + 33. Sort 3, v, 0.5 in decreasing order.
3, 0.5, v
Let k = -44 - -40. Let i(u) = 4*u**3 + u**2 - 1. Let f be i(1). Put 0, f, k in ascending order.
k, 0, f
Let f(m) = m**3 - 5*m**2. Let w be f(5). Let p be (w - 6/(-8)) + -1. Put -4, 0, p in increasing order.
-4, p, 0
Suppose 4 = q - 0*q. Let d = -57/11 - -5. Put 5/6, q, d in decreasing order.
q, 5/6, d
Let b = 13.7 + -1.7. Let a = 13 - b. Put a, -5, -1/6 in descending order.
a, -1/6, -5
Suppose 4*h - 3*z = 35, 3*h + z = 2*z + 20. Let q(n) = -n + 5. Let p be q(5). Sort p, h, -1 in increasing order.
-1, p, h
Let l be (-6)/18 - 7/(-3). Put -0.4, l, 1/3, -0.3 in ascending order.
-0.4, -0.3, 1/3, l
Let x be -22 - 12/8*-2. Put x, -3, -1 in descending order.
-1, -3, x
Let f be (-2)/(-7) - 253/77. Put 11, f, 5 in increasing order.
f, 5, 11
Let u(c) = c - 3. Let a be u(7). Let w(v) = -v. Let h be w(a). Put -3, h, -5 in increasing order.
-5, h, -3
Let j = -29 - -22. Sort j, 5, -2.
j, -2, 5
Let k(s) = 6*s**2 - s. Let i be k(1). Suppose 2*h + 5*t = -3*h + 25, i = h - 4*t. Let q be (h - 7)*1/(-2). Put 4, 5, q in descending order.
5, 4, q
Let g = 104 - 95. Sort 1, g, 2.
1, 2, g
Let p = -0.67 + -0.03. Let t = -21.5 + 22. Let w = p + t. Sort 2, w, -2 in descending order.
2, w, -2
Suppose -7*a + 28 = -7. Put 1, a, -5 in ascending order.
-5, 1, a
Let m = -0.44 + -2.56. Sort -0.5, 5, 3, m in descending order.
5, 3, -0.5, m
Suppose -7 = -n - 2. Let w be 1/(-1) + -2 + -2. Suppose -4*s - 2*q = -14, q = 2*s + 2*s - 17. Sort n, w, s in decreasing order.
n, s, w
Let r be (-63)/14*(-2)/15. Let a = 3 + -3.5. Sort -0.4, r, a in decreasing order.
r, -0.4, a
Suppose 0 = -u - 5*d + 23, 3*u - 3*d - 1 = -d. Suppose -4*x = -19 - 1. Suppose -5*f = 3*o - 37, -x*f = o - 6*o - 5. Sort u, o, -3.
-3, u, o
Let c(d) = -d**3 + 2*d**2 + 3*d - 3. Let m be c(2). Sort m, 2, 28.
2, m, 28
Let m(w) = 2*w - 23. Let r be m(12). Suppose -22 = 3*u - 2*k - 0, -25 = 5*u - k. Suppose -2*n + 15 = 5, z + 16 = 3*n. Sort r, z, u in decreasing order.
r, z, u
Suppose -3*u - 16 = -7*u. Suppose -u = -5*j + 4*j. Let b(v) = v**2 - v + 1. Let n be b(1). Sort n, 3, j in descending order.
j, 3, n
Let l = 1145/9 - 127. Sort l, 4, -3.
-3, l, 4
Suppose 3*v = 2*j - 0*j - 5, v + 4*j - 17 = 0. Let n(q) = -q**2 - 6*q. Let r be n(-5). Suppose 0*o = -r*o. Sort v, o, -5 in descending order.
v, o, -5
Suppose 23 = 5*u + n, 3*u - n - 10 + 1 = 0. Let g(t) = -t - 8. Let l be g(-5). Sort u, l, -4 in ascending order.
-4, l, u
Suppose p + 2 = 3*i - 6, i - 1 = 2*p. Sort 0, 5, i in increasing order.
0, i, 5
Let h = -15.5 + 16. Sort h, 0.2, 0.4 in descending order.
h, 0.4, 0.2
Suppose 37*k - 38*k = 0. Sort -3, k, -4.
-4, -3, k
Let f = 0.26 - -0.14. Sort 1/16, -0.2, f.
-0.2, 1/16, f
Suppose -5*u + 3 = -2*u. Let p be 2 + ((-5)/u - -2). Let g be (2/4)/((-3)/(-6)). Put g, 2, p in decreasing order.
2, g, p
Let n(i) = i**2 + 3*i + 4. Let k be n(-2). Put -4, 4, -1, k in ascending order.
-4, -1, k, 4
Let s = -0.32 + -0.13. Let i = s + 0.05. Let r = 0.4 + -0.5. Sort -1/6, i, r in descending order.
r, -1/6, i
Suppose -3*x = -6*x. Put 4, x, -5 in ascending order.
-5, x, 4
Suppose 33 = 5*p + 13. Suppose -h - 4*f + 12 = 0, -5*f = -2*h - 3 - 12. Suppose -3*x = 5*b - 40, -3*b + 30 = -0*b + 3*x. Put p, h, b in ascending order.
h, p, b
Let t = -0.04 - 0.26. Let s(w) = w**3 - 2*w**2 + 3*w - 1. Let l be s(2). Put t, l, -1/3 in descending order.
l, t, -1/3
Let b be (-1)/(((-3)/(-3))/(-5)) + -3. Let j = 2 + -3. Let p = -5 + 2. Put b, p, j in ascending order.
p, j, b
Suppose -2*v = 4 - 12. Suppose -g - g = h, -3*g - 22 = -4*h. Let b be (-2 + g/(-1))*1. Put -3, v, b in decreasing order.
v, b, -3
Let c(q) = -q**3 - 8*q**2 + 10*q + 6. Let d be c(-9). Let l = 3 + -2. Let p = 3 - l. Put d, p, -1 in descending order.
p, -1, d
Let k = 5 - 2. Let l = -4 + k. Let z(v) = -v**2 + v. Let h be z(0). Put -2, l, h in ascending order.
-2, l, h
Let f be (-3)/(-6)*(-2)/3. Put f, -5, -2/3 in decreasing order.
f, -2/3, -5
Suppose 0 = -5*m + 4*o - 11, -5 - 10 = 5*m - 5*o. Put 17, 3, m in descending order.
17, 3, m
Let a be 1 + -1 - (6 + -4). Let y = 1 + a. Put -4, 2, y in increasing order.
-4, y, 2
Let d = 8/17 - 31/102. Let w be 2 + 1/(2/(-18)). Let t be (-2)/w - (-12)/7. Sort t, d, -3 in increasing order.
-3, d, t
Let n be (10/6)/(30/(-90)). Let m be 9/(-6)*10/(-3). Sort -4, n, m in decreasing order.
m, -4, n
Let q = -16 - -11. Put -1/3, -2/3, -0.5, q in ascending order.
q, -2/3, -0.5, -1/3
Let g(m) = -m + 1. Let c(v) = -v**3 - v**2 - 7. Let i be c(0). Let y be g(i). Sort y, -4, 3.
-4, 3, y
Let h(o) = -o**3 + 7*o**2 - 4*o + 8. Let r be h(6). Let v = 17 - r. Sort v, -1, -5 in descending order.
-1, v, -5
Let r = 19.1 - 19. Sort 0.5, r, 0.3.
r, 0.3, 0.5
Let k be (-3)/1*4/(-3). Suppose -2*h + k*h - 2*m = 10, -h - 2*m - 7 = 0. Sort -5, -2, h in decreasing order.
h, -2, -5
Let t be 9/(-2) + (-2)/(-4). Let h = -5 - t. Let l(i) = i**3 + i**2 + i + 1. Let n be l(-2). Put 2, n, h in increasing order.
n, h, 2
Let p = 10 - 1. Suppose 2*y + p = -y. Suppose -4*a - 5 = 4*j - 1, 3*a = 2*j + 7. Sort y, a, 2 in descending order.
2, a, y
Let g be (-10)/(-21) + 8/(-24). Put g, -5, 1 in descending order.
1, g, -5
Let x = -31 - 5. Let q = 32.4 + x. Let r = -4 - q. Sort r, 0.2, -3/2.
-3/2, r, 0.2
Let r = -218/741 + 8/57. Put -5, r, 1/2 in descending order.
1/2, r, -5
Let x = 1 - 1. Let n(s) = -s**2 - 27*s - 30. Let p be n(-26). Sort x, 4, p in decreasing order.
4, x, p
Let l be 4*2/(-4)*-2. Suppose l*f - 6 = f + 2*o, 3*f + 3*o = 6. Suppose 3*m = 2*q - 0 + 1, -2*q - 3*m = -17. Sort -5, q, f in decreasing order.
q, f, -5
Let k(c) = -c**3 - 9*c**2 + 8*c - 17. Let x be k(-10). Sort 0, -4, x.
-4, 0, x
Suppose 0 = 9*z + z. Sort z, 8, -4, -1 in decreasing order.
8, z, -1, -4
Let y = -3 + -6. Let i = 5 + y. Sort 0, i, 3 in descending order.
3, 