= 1 + -3. Sort s, a, 0.
s, a, 0
Suppose 4*l + 2 = -18. Sort 0, l, -10 in increasing order.
-10, l, 0
Let r = 19 + -77/4. Let x = -7325/16137 - -46/163. Let c = x + -1/99. Put r, 0.2, c in ascending order.
r, c, 0.2
Let l = -6 + 7. Suppose 0 = 3*d - 2*d + 5. Sort 5, d, l in ascending order.
d, l, 5
Let f = 3 + 0. Let n = -0.1 - -0.5. Let m be (10/6)/((-3)/9). Sort n, m, f in increasing order.
m, n, f
Let r = 21 - 17. Sort -5, r, -1.
-5, -1, r
Let h = -199/2 + 595/6. Let c = -0.01 - 0.05. Let w = c - 2.94. Put 5, w, h in increasing order.
w, h, 5
Let o = 104 + -104. Let n = -1.2 - -0.2. Let q be ((-1)/(-2))/((-2)/16). Put q, n, o in decreasing order.
o, n, q
Let l = 1 - 3. Let s = l - 0. Sort s, -5, 4 in decreasing order.
4, s, -5
Let j be (-2)/(-2) - (-6 + 3). Let c(s) = s**3 - 3*s**2 - 4*s + 2. Let k be c(j). Suppose -11 - 4 = -3*i. Put -2, i, k in descending order.
i, k, -2
Let i = 0.15 + -1.15. Put 3, i, -13 in descending order.
3, i, -13
Let y = 13 + -12. Let f(h) be the third derivative of -h**6/30 + h**2. Let k be f(y). Sort -0.1, k, -2 in decreasing order.
-0.1, -2, k
Suppose 2*h + c + 16 = -3*c, -4*c = h + 14. Sort -3, 3, h in increasing order.
-3, h, 3
Let p = -12.7 + 14. Let d = -0.8 + p. Sort 5, d, -1/4 in decreasing order.
5, d, -1/4
Let v = 0.2 + -0.2. Let i = 1 + v. Let z be (2/12)/1*-2. Put i, z, 0.3 in ascending order.
z, 0.3, i
Suppose -s = -3*m - 35, 4*m + 25 = -0*m - 3*s. Let u = m + 7. Sort u, -6, 2 in descending order.
2, u, -6
Let l = -130 + 133. Sort 0, 5, l.
0, l, 5
Suppose 0 = n - 5*k, 0*k + 22 = 5*n - 3*k. Suppose b - 2 + n = 0. Sort -4, b, 5.
-4, b, 5
Let m be (-1)/5 - 22/40. Let x be ((-6)/2)/((-3)/(-4)). Put m, 3/4, x in increasing order.
x, m, 3/4
Let f be 2*(-1)/(-2)*-1. Let o(q) = q - 1. Let r be o(6). Suppose 0 = 3*l + 1 + r. Sort f, 3, l in ascending order.
l, f, 3
Let z be ((-15)/150)/(1/4). Sort -3, z, -0.5 in descending order.
z, -0.5, -3
Let g = -0.4 - 0. Let v = g + -0.1. Sort 0.5, -2, v in decreasing order.
0.5, v, -2
Let h = 0.1 - 0.1. Let n = 27 + -23. Let l = h + n. Sort l, -0.4, 0.3 in ascending order.
-0.4, 0.3, l
Suppose 3 = 3*k - 15. Suppose -k*s + 4 = -2*s. Put 4, -2, s in increasing order.
-2, s, 4
Let d be 24/15 - 3/5. Suppose 0 = -2*r - 0 + 4. Suppose -i = -r - d. Put -1, 0, i in increasing order.
-1, 0, i
Let y be 1 + 3/(-6)*-22. Suppose 0*a = 3*a - y. Suppose 6 + a = 5*i. Put -2, i, -5 in increasing order.
-5, -2, i
Let b be 24/(-10) + 10/25. Suppose -l - 5 = -6*l. Let d be 41/(-8) - 2/(-16)*1. Put l, b, d in increasing order.
d, b, l
Let i(n) = -n - 10. Let t be i(-11). Let c be 3/2*4 + -3. Sort t, 5, c in descending order.
5, c, t
Let d = 9.86 + 0.14. Sort d, -5, -4, 2/5 in descending order.
d, 2/5, -4, -5
Suppose -5*c + c = 2*b - 6, -2*c + 2*b = 0. Suppose -2*x = 2*y - 0*x - 18, 4*x - c = 3*y. Sort -2, y, -5 in increasing order.
-5, -2, y
Let u be (((-15)/(-9))/(-5))/(6/90). Sort u, -3, -2/3 in ascending order.
u, -3, -2/3
Let l = 12 - 12. Suppose -6*b + 2*b + 12 = l. Put -4, b, -1 in descending order.
b, -1, -4
Let q(s) = s - 5. Suppose 0 = -i - 3*g - 4, -4*i + g + 40 = -g. Let t be q(i). Let c be 1/t*2*-6. Sort c, 3, 1 in increasing order.
c, 1, 3
Suppose 2*h = 4*p + 10, -2*p + 9 = 5*h + 44. Sort 2, h, 5.
h, 2, 5
Suppose 2 = -4*t + 10. Sort -4, t, 5, 1.
-4, 1, t, 5
Suppose -a = a + 46. Let i(h) = h**3 - 5*h**2 + 5. Let w be i(5). Let p be 10/(-25) + a/w. Sort p, 2, 4 in descending order.
4, 2, p
Let i = -29 - -31.2. Let z = i - 2. Let s = z + -0.3. Sort 2/7, s, 0.1 in increasing order.
s, 0.1, 2/7
Let a = 86.1 + -86. Put -4, a, -2, 0 in ascending order.
-4, -2, 0, a
Suppose 0 = p - 2 + 7. Let x(j) = -j**2 - 6*j - 6. Let u be x(-4). Suppose -u*a + 10 = -4*k, -4*a - k - 2*k - 24 = 0. Sort p, a, 1 in increasing order.
p, a, 1
Let w = 139.5 + -140. Let b be (-3)/2*(-2)/6. Sort w, b, 0.3 in increasing order.
w, 0.3, b
Suppose a - 38 + 41 = 0. Sort -4, -5, a.
-5, -4, a
Let j = -190 + 1708/9. Let i = 126 - 124.82. Let w = i - 0.18. Put -4, w, j in descending order.
w, j, -4
Let m be (42/56)/((-3)/(-8)). Sort 0, m, 27 in descending order.
27, m, 0
Let b be 2/(-5) - (-4)/10. Suppose -8 = -2*n - b. Sort -2, n, 3 in descending order.
n, 3, -2
Let v = 0.04 - -0.06. Let d = 1049 - 1054.13. Let r = -0.13 - d. Put r, v, -1/3 in descending order.
r, v, -1/3
Suppose 0 = -5*h - 5*x + 55, -4 = -2*x + 2. Suppose a - h = -11. Let d = -4 + 2. Put 0, d, a in descending order.
0, d, a
Let c(u) = -u + 5. Let r be c(5). Let b be (-1)/4*(r - 4). Let f = -6 - -4. Sort 2, f, b.
f, b, 2
Suppose 4*w + 9 = -b, 5*w = -2*b + b - 12. Let u be 0 - (-2 - -1)/3. Sort u, b, 1/4 in increasing order.
1/4, u, b
Let c be (-4 - -2)/(-1) - -1. Sort -1, 6, c in descending order.
6, c, -1
Let j(c) = c**2 - c. Let k be j(0). Let d(t) = -t**3 - 15*t**2 + t + 14. Let s be d(-15). Sort -2, k, s in descending order.
k, s, -2
Let p(m) = m + 11. Let v be p(-8). Let x be (1/v)/(55/(-30)). Let q = -0.4 + -0.1. Sort q, x, -3.
-3, q, x
Suppose 2*t - 3*q = -0*q + 14, 4*q = -16. Sort t, 4, -4, -2.
-4, -2, t, 4
Let n(i) = i**2 + 5*i + 6. Let z be n(-4). Let u = 1 - z. Let r be ((-1)/(4/2))/u. Put -0.2, 0.4, r in decreasing order.
r, 0.4, -0.2
Let l = -0.08 + 0.05. Put -3, -1/2, l in ascending order.
-3, -1/2, l
Suppose 0 = -4*d + d + 6. Let b = -97 - -95. Sort b, d, 4 in descending order.
4, d, b
Let f = 4 + 1. Suppose 0 = -f*v + v - 12. Sort 5, -5, v in ascending order.
-5, v, 5
Suppose -28 + 13 = 5*a. Put a, 4, -5, 3 in decreasing order.
4, 3, a, -5
Let w(g) = -g**2 + 13*g + 30. Let h be w(15). Sort 2, h, 1 in ascending order.
h, 1, 2
Let x = -6 + 2. Let a(l) = 61*l - 62. Let g be a(1). Sort 2, x, g in increasing order.
x, g, 2
Let g = 1.09 - 0.09. Let m = 4 - g. Let a = m + 1. Sort a, -2, -1 in descending order.
a, -1, -2
Suppose 0 = -2*f - 5*v, f - 2*v + 24 = -3*f. Let a(n) = 2*n + 6. Let t be a(-4). Sort t, 4, f in descending order.
4, t, f
Let a = -70 - -72. Put 3, -8, a in ascending order.
-8, a, 3
Let f(r) = -15 + r - 2*r + 10. Let y be f(-9). Let c = -3 + 0. Put c, 5, y in ascending order.
c, y, 5
Suppose -4*i - 2 = 5*h, 0*i + 12 = 3*h - 2*i. Let n = -6 - -7. Sort n, -2, h in decreasing order.
h, n, -2
Let w = 96 - 93. Put -4, w, 1 in decreasing order.
w, 1, -4
Let c be 1/2*12/(-2). Let t be 10*(3/2)/c. Suppose 4*a - 27 = -7. Sort -2, a, t in decreasing order.
a, -2, t
Let a(l) = l**2 - 20*l - 1. Let k be a(20). Put 3, -4, k in decreasing order.
3, k, -4
Let s = -2.04 - -2. Let t = s - 0.56. Let u = t - -0.1. Sort -1/4, -1, u in ascending order.
-1, u, -1/4
Let l = -79 - -76. Put l, -5, -1 in descending order.
-1, l, -5
Let u(o) = o - 4. Let d be u(3). Let h = d - -1. Suppose h*m - 2 = -m. Put m, -3, -1 in increasing order.
-3, -1, m
Let g = -0.46 - -2.46. Sort 0.25, g, -0.1 in descending order.
g, 0.25, -0.1
Let f = -4.2 - -4.6. Put 6, -2/5, f in ascending order.
-2/5, f, 6
Let g = 48 + -46. Let j = 4.9 + -2.7. Let c = j + 0.8. Sort c, g, 2/13 in increasing order.
2/13, g, c
Let n(j) = 2*j + 3. Let w be n(-3). Let a(i) = i + 2. Let p be a(w). Sort 1, -2, p in ascending order.
-2, p, 1
Let i be 0/(3/(6/(-2))). Let l = 6 + -15. Let j be 4/6 + 15/l. Sort j, -4, i in ascending order.
-4, j, i
Let t be (-2)/3 - 34/(-6). Let d = 7 + -2. Suppose 0 = d*v - 1 + 11. Sort v, t, 0 in descending order.
t, 0, v
Let a(d) = -2*d + 4. Let x be a(4). Suppose 3*p + 0*m = 2*m + 11, 4*p = -2*m - 4. Suppose 0 = 2*h - h + p. Sort h, x, 5 in decreasing order.
5, h, x
Let d = -45 - -43. Let w(n) = -n**3 + n**2 + n. Let b be w(1). Sort 4, b, d in ascending order.
d, b, 4
Suppose -n - 47 = -5*f - 5*n, -2*f + 5*n - 1 = 0. Let m be 1*10/(-6)*-3. Let k = f - m. Put -5, 4, k in ascending order.
-5, k, 4
Let h = -12 + 24. Suppose -h = -6*y + 2*y. Sort 0, y, -1 in ascending order.
-1, 0, y
Let w be 0 - ((-4258)/1380 + 3). Let h = 1/69 + w. Sort 3/7, -3, h in increasing order.
-3, h, 3/7
Let x = 27 - 23. Put -0.04, 0.3, x, 3/2 in decreasing order.
x, 3/2, 0.3, -0.04
Let n be ((-2)/6)/(1/21). Sort 3, n, 2.
n, 2, 3
Let r = -16.65 + -0.35. Let l = -20 - r. Put l, 2/15, 5 in descending order.
5, 2/15, l
Let j be (2 + -1)*-3 + -1. Put -1, j, 1 in decreasing order.
1, -1, j
Let z(n) = n**3 + 2*n**2 + n - 1. Let i be z(-2). Suppose -2*d = -h + 6, 0 = -3*d - 3*h + 6*h - 6. 