 -0.4, f in increasing order.
-0.4, 0, f
Suppose 7*k - 20 = 2*k. Let x be (-18)/4 - k/(-8). Put -5, x, 1 in descending order.
1, x, -5
Let j be 1*6 + (2 - 3). Suppose 0 = -2*w - j*u + 13, -3*u = 4*w - 2*u + 1. Sort 1, -3, w.
-3, w, 1
Let n = -2/15 - -7/30. Put n, 0, 1/11 in descending order.
n, 1/11, 0
Let c = 10 + -6. Let t = -21.9 + 23. Let n = -0.1 + t. Sort -0.2, c, n in descending order.
c, n, -0.2
Let y = 19 + -14. Suppose y*n - 1 = -4*g, -2*g + 4 = -3*n + 9. Suppose 3*u - u - a + 4 = 0, 3*a - 7 = u. Sort -4, u, n.
-4, u, n
Suppose 5*k + 33 = 2*m, 3*k = 8*k - 5*m + 45. Suppose 5*a - 6 = -h, a + 2*h - 1 - 2 = 0. Let f = a - 1. Put k, f, 4 in descending order.
4, f, k
Let s = -5 - -7. Let o(d) = 2*d**2 - d - 1. Let p be o(s). Sort 0, p, 2 in ascending order.
0, 2, p
Suppose 3*p + 1 = -2. Sort p, 4, 5 in descending order.
5, 4, p
Let w = 113 + -1245/11. Put w, 97, 4 in ascending order.
w, 4, 97
Let u(r) = r**3 - 9*r**2 + 2*r - 16. Let c be u(9). Sort -4, c, -5 in descending order.
c, -4, -5
Let u = -0.048 - -1.048. Put 1/10, 4, 0.3, u in descending order.
4, u, 0.3, 1/10
Suppose 0 = 7*y - 8*y. Sort y, -3, 5 in increasing order.
-3, y, 5
Suppose 4*g - 8 = -2*j, -3*j - 12 = -6*j - 5*g. Let k = -0.2 + -0.3. Put -4, j, k in ascending order.
-4, k, j
Let r = 35.7 + -36. Let t(y) = -8*y**2 + 4*y - 3. Let k be t(2). Let g be 4/6 + 24/k. Put 0, g, r in descending order.
0, g, r
Let r = 6 + -8. Let s(o) = -2*o - 2. Let f be s(r). Let n be 2*-5*(-2)/4. Sort f, 1, n in ascending order.
1, f, n
Suppose 5*a + t + 3*t - 2 = 0, 5*a = -5*t. Put a, -4, 0 in decreasing order.
a, 0, -4
Suppose 33 = -12*r + 9. Put 1, -4, r in increasing order.
-4, r, 1
Suppose -5*q = v - 13, -v = -4*q + 4*v - 7. Suppose 0 = -3*r - q*y - 0*y - 3, 3*y + 4 = -5*r. Sort 2, r, 0.1 in ascending order.
0.1, r, 2
Let n = 0.2 - -4.8. Let g = -4 - -3. Sort 4, g, n in descending order.
n, 4, g
Suppose -70 = -5*v + 3*c + 1, -4*c = 4*v - 76. Suppose 4*k + 0*k = v. Suppose k*i + i - 5 = 0. Sort -1, i, -2 in decreasing order.
i, -1, -2
Let j(z) = -z + 7. Let y be j(6). Let c(w) = w**2 + 6*w - 9. Let r be ((-14)/(-8))/(1/(-4)). Let f be c(r). Put y, f, -1 in ascending order.
f, -1, y
Suppose -4*h = -2*y - 5*h - 5, -5*h = 25. Sort y, 1, 4 in decreasing order.
4, 1, y
Let k = -31 + 32. Sort 0, 29, k in ascending order.
0, k, 29
Suppose 0 = -4*k + 2*z - z - 17, -3*z = 5*k + 34. Let d be (12/15)/((-1)/k). Sort 0, -4, d in decreasing order.
d, 0, -4
Let m be 100/192 - (-2)/(-6). Sort m, 4/9, 2/7 in ascending order.
m, 2/7, 4/9
Let w = -13 - -16. Put -3, w, -0.5 in increasing order.
-3, -0.5, w
Let b = -13 + 18. Let t(i) = 2*i**3 - 4*i**2 + i - 1. Let o be t(3). Let d be o/(-6) + (-4)/6. Sort 4, b, d in increasing order.
d, 4, b
Let m = -11.9 + -0.1. Let o = m + 11.7. Sort o, -1, 3 in decreasing order.
3, o, -1
Let k = -51 + 47. Put k, 2, 4, -2 in increasing order.
k, -2, 2, 4
Let n = 0.61 - 1.11. Sort -2, n, 0.3, 2/9 in ascending order.
-2, n, 2/9, 0.3
Let l = 8 + -3. Let q = -0.69 - -0.29. Put -3/5, l, q in descending order.
l, q, -3/5
Let q = 3.66 + 1.34. Put q, 0.3, -3/4 in decreasing order.
q, 0.3, -3/4
Let r be -2 + 0 - (-2)/2. Let o = -3.94 - 0.06. Let q = 4 + o. Put r, -2, q in descending order.
q, r, -2
Suppose 0 = -13*a + 12*a - 4. Put -1, 3, a in ascending order.
a, -1, 3
Let q(g) = -g**2 + 2*g + 4. Let p be q(-2). Let a(s) = 3*s. Let f be a(-2). Put p, -3, f in increasing order.
f, p, -3
Let j = 8.6 - 6.6. Let c = 6 + -1. Put -2/13, c, j in decreasing order.
c, j, -2/13
Let i(b) = -b + 3. Let s be i(3). Let q = -76 + 81. Sort -5, q, s.
-5, s, q
Suppose 3*a + a = 12. Suppose 3*q + 0*z - a = 5*z, 0 = 4*z. Let g(l) = l**2 + 6*l + 2. Let y be g(-6). Sort q, 3, y in ascending order.
q, y, 3
Suppose 4*c - 6 = 6*c - 2*g, 13 = -3*c + 4*g. Sort c, -3, -10 in ascending order.
-10, -3, c
Suppose -3*f + 5*f = 0. Suppose -s + 2*s - 1 = f. Suppose d + n = -d - 3, 0 = 5*n - 5. Sort d, s, -4 in decreasing order.
s, d, -4
Let i be (0 - 1)*-2 + 36/(-16). Sort i, 0, 1/5, 1/2 in decreasing order.
1/2, 1/5, 0, i
Let n(j) = j**3 - 8*j**2 + 6*j + 9. Let h be n(7). Suppose h*t = k + t, t = -1. Put 0, 3, k in descending order.
3, 0, k
Suppose c = -2, 0 = -u - 4*u - 4*c - 23. Let k be u/(-12) + 63/(-12). Let v = 0.54 + -0.04. Put -0.3, k, v in increasing order.
k, -0.3, v
Suppose -v + 0*v - q = -2, -3*q + 9 = 0. Let c(k) = k**3 - 7*k**2 + 3*k - 9. Let o be c(7). Suppose -5*j + 13 + o = 0. Put 0, v, j in decreasing order.
j, 0, v
Let p(b) = b**3 + 10*b**2 - 11*b - 3. Let l be p(-11). Let d(x) = 2*x**2 - 3*x - 4. Let y be d(3). Sort 1, y, l in increasing order.
l, 1, y
Let t = 0.65 + -0.75. Put 2, t, -0.5 in decreasing order.
2, t, -0.5
Let n = 297.06 + -302. Let i = n - 0.06. Sort -0.1, i, 3 in descending order.
3, -0.1, i
Let y = -17 + 13. Let c = 5 + -5.4. Let b = -3/5 + 23/30. Put y, b, c in increasing order.
y, c, b
Let a = -0.29 + 0.39. Sort a, 5, -14.
-14, a, 5
Let s be (-5)/(-15)*(1 + 5). Let a = 8 + -4. Put -1, s, a in descending order.
a, s, -1
Suppose 4*w = 12 - 24. Put w, 1, 3 in increasing order.
w, 1, 3
Suppose 0 = p - 5*p + 8. Put -4, p, 5 in increasing order.
-4, p, 5
Let j = 3 - 3. Suppose -s + 2*o = 4*o + 10, -3*o = 9. Sort j, -5, s.
-5, s, j
Let n = 1.6 + -1.7. Put -0.2, 5, n in descending order.
5, n, -0.2
Let m = -13 + 15.5. Let y = 2 - m. Sort 5, -3, y in decreasing order.
5, y, -3
Let h be 7/(-42) + (13/150 - 0). Put -2/7, h, -0.2, 1/4 in increasing order.
-2/7, -0.2, h, 1/4
Let k = 3 - 3.06. Let n = 2.94 - k. Sort -2, n, 0.4 in ascending order.
-2, 0.4, n
Let d = -18 + 6. Let n = -9 - d. Suppose 0 = -4*c - 4*h + 32, -n*c - 4*h - 5 = -34. Sort 5, 1, c in increasing order.
1, c, 5
Let u be (-3)/(-2)*(-1 - 1). Let l = -9 - -9.3. Let b = 0.6 + -1. Sort u, l, b in descending order.
l, b, u
Let y = 3044/287 - -514/41. Let w = 2444/105 - y. Put w, -1/4, -2/19 in decreasing order.
w, -2/19, -1/4
Let a = 0.04 + 3.96. Let b be 0*(1 + (2 - 2)). Suppose b = -c - 5*o, -2 + 3 = -o. Sort a, -0.4, c in decreasing order.
c, a, -0.4
Let a = -2614/7 + 374. Suppose d - 2*d = -2. Sort a, d, -2 in ascending order.
-2, a, d
Let w = -59/93 - 1/31. Let k be (-20)/25*(-11)/(-4). Let f = k - -3. Sort w, f, 0.3.
w, 0.3, f
Let n(x) = 2*x**2 - 5*x + 2. Let q be n(3). Let p(c) = -c + 4. Let t be p(q). Sort 4, t, -3.
-3, t, 4
Suppose -3*v = -0*v - 12. Let d be (-2 - (-1 - 3)) + -3. Let i = -4 - d. Sort -5, i, v in increasing order.
-5, i, v
Let r = -28 + 26. Put -0.3, -0.5, r, 3 in decreasing order.
3, -0.3, -0.5, r
Let j be (-2 - (-4 + 2)) + 5. Suppose 7 + j = 4*b. Sort -1, -2, b in increasing order.
-2, -1, b
Let q = 5.9 - 1.94. Let f = -0.04 - q. Let t = 0.45 - 0.05. Put f, -0.1, t in ascending order.
f, -0.1, t
Let k be (-5 + 5)*(-1 + 2). Sort k, 5, -5 in increasing order.
-5, k, 5
Suppose -3*d + 4 + 5 = 0. Let j(a) = a**3 - 2*a**2 - 3*a - 4. Let l be j(d). Let m(q) = q - 5. Let b be m(4). Put l, -2, b in ascending order.
l, -2, b
Let q = -0.23 + -0.07. Let x = -0.1 + q. Sort -4, x, 2/7 in increasing order.
-4, x, 2/7
Let h = 11 - 12. Put -4/3, -0.2, -5, h in ascending order.
-5, -4/3, h, -0.2
Let t = -0.2 + -0.2. Let z = t + 3.4. Sort z, 0.6, -3 in decreasing order.
z, 0.6, -3
Let r(v) = 14*v**2 + 2*v + 2. Let q be r(3). Let j = q + -668/5. Let m = -10 + 14. Sort j, m, -0.4 in increasing order.
-0.4, j, m
Let f = -14 + 10. Put f, 3, 4 in increasing order.
f, 3, 4
Let t = -94 - -73. Sort -5, -4, t, 0 in descending order.
0, -4, -5, t
Let i = 0 + -10. Suppose -r + 25 = 4*z, -4*r = -4*z - 3*r + 15. Sort 0, i, z in decreasing order.
z, 0, i
Suppose 0 = -3*g - 23 + 17. Put 16, g, 4, -5 in ascending order.
-5, g, 4, 16
Let i = 2 - 2.1. Let t = 0.13 - 0.03. Let a = -1 - 1. Sort a, t, i.
a, i, t
Let t = -3 - 2. Let d = 3.67 + 1.33. Put d, t, 5/4 in descending order.
d, 5/4, t
Let z = -7 - -12. Suppose z*p = -d + 17, 0 = 2*p - 0*p - d - 4. Suppose 0 = -p*h + 4 + 5. Sort h, 0, -4 in ascending order.
-4, 0, h
Let p = -46 - -51. Sort p, 1, 3/4 in descending order.
p, 1, 3/4
Suppose 9 = -5*a - 1. Let g = a + 5. Put 4, -4, g in ascending order.
-4, g, 4
Let z = 0.377 - 0.077. Put -5, z, 4, 10 in decreasing order.
10, 4, z, -5
Let z(m) = m + 11. Let s be z(-10). Suppose 0 = 2*u - 2*o + 10, 2*o = -0*u + 3*u + 11. Let x be 3 + (