ending order.
k, n, z
Let u = 6.4 + -6.7. Sort 0.3, u, 1, 1/12 in decreasing order.
1, 0.3, 1/12, u
Suppose 2*x - 4 = -12. Sort 1, x, 3.
x, 1, 3
Let i = -16 - -22. Suppose z + 15 = i*z. Suppose 0 = -5*m + g - 19, -3*g - 10 = 4*m + 9. Put m, z, 1 in descending order.
z, 1, m
Suppose -5*b = 5*q - 0*q - 110, -5*b = -3*q - 70. Sort -5, 1, b in decreasing order.
b, 1, -5
Suppose -3*c = 3*f + 6, 2*c + 13 = -5*f - 0*c. Sort 4, 5, f.
f, 4, 5
Let v be (9/39)/(3/(-2)). Sort v, 3, -3, 2/9 in ascending order.
-3, v, 2/9, 3
Let q = -0.13 - 0.07. Let a = 0.33 - 0.43. Put a, -1/4, q in descending order.
a, q, -1/4
Let y = 4 - 9. Let s = y - -4. Suppose x - 2*x + 2 = 0. Put x, 1, s in decreasing order.
x, 1, s
Let r = -100.25 + 15.55. Let m = -81 - r. Let a = m - 0.7. Sort 0.2, -0.4, a in ascending order.
-0.4, 0.2, a
Let m = -207/10 + 111/5. Sort -3, -0.5, -5, m in ascending order.
-5, -3, -0.5, m
Suppose 4*n - 8*n = 0. Suppose n = 5*x - 9*x + 8. Put 1, x, -2 in descending order.
x, 1, -2
Let j = 4.8 - 4.9. Sort j, -1/4, 6 in ascending order.
-1/4, j, 6
Let q be (-3)/5*(-3)/9. Sort q, 0.3, 1 in increasing order.
q, 0.3, 1
Let l = 6 - 7. Put 5, 2, l in decreasing order.
5, 2, l
Suppose -33 = -4*c + 7. Put c, 2, -5 in decreasing order.
c, 2, -5
Let m = 11/3 + -5. Let b = -127 - -125. Put m, -1, b in decreasing order.
-1, m, b
Let w be (-2 - (-10)/4) + 1. Let q be 115/50 + 9/(-6). Put 0.2, q, w in ascending order.
0.2, q, w
Let f(v) = 3*v + 45. Let s be f(-15). Put -5, -3, 12, s in decreasing order.
12, s, -3, -5
Suppose 3*x = -3, s - 5*x + 0 = 10. Put s, -3, 2, 4 in increasing order.
-3, 2, 4, s
Suppose 3*u + 4*u - 161 = 0. Let p = -20 + u. Sort -4, p, -1.
-4, -1, p
Suppose 3*c = -d - 20, 19 + 13 = -3*d - 2*c. Let f(z) = -z - 10. Let r be f(-7). Let x be (r/2)/(102/d). Sort x, -4/5, -1.
-1, -4/5, x
Let p be 10/(-15)*(3 - (-2 - -2)). Sort 1, 7, p in descending order.
7, 1, p
Suppose -g + 3*g - 20 = 0. Let h be 26/g - 6/(-15). Let j(z) = z**2 - z - 4. Let c be j(-2). Sort -5, h, c in ascending order.
-5, c, h
Let g(n) = -n**2 + 4*n + 6. Let q be g(5). Sort q, 0, -1, -3 in increasing order.
-3, -1, 0, q
Let x be (4/(-5))/(54/(-15)). Let b = 3.2 + -3. Let g = -0.2 + b. Put 1/3, x, g in descending order.
1/3, x, g
Suppose -5*k + 5*v + 80 = 0, -v = -2*v. Suppose 0 = -4*h - s - k, 4*h + 5*s + 27 + 5 = 0. Suppose 4*b + 8 = 8*b. Sort 3, b, h in descending order.
3, b, h
Let y = 0 - -3. Let z = -3 + y. Suppose t - 6*t + 20 = 0. Sort z, t, -5 in increasing order.
-5, z, t
Let u(n) = 8 - n**3 - 7*n + 0*n + 8*n**2 - 4. Let p be u(7). Suppose -4*i = -3*h - 2 + 24, -p*i - 3*h = 10. Sort 5, 0, i in increasing order.
i, 0, 5
Let m = -71 - -67. Sort m, 1.4, 4 in descending order.
4, 1.4, m
Let n be 4/16 - 22/(-8). Suppose n = -2*l - 1. Sort 4, 0.5, l in increasing order.
l, 0.5, 4
Let i be -2 - (-4 + 2) - -4. Suppose -i*h + 13 = 5. Let g be h/(3/((-6)/4)). Sort -3, g, 4 in descending order.
4, g, -3
Let t(u) = -u**3 + 2*u. Let j be t(2). Let o be (-374)/(-14) + 15/5. Let d = -30 + o. Put -2, j, d in decreasing order.
d, -2, j
Suppose 2 - 12 = 5*x. Let l be x + -1 + (-3 - -3). Let m be 32/6 + (-2)/6. Sort m, l, -1.
l, -1, m
Suppose -2*b - 32 = 4*o - o, -b + 5*o - 42 = 0. Sort -4, -2, b.
b, -4, -2
Let t = -4.3 + 4. Suppose -28 = -3*s - 13. Put 0.3, t, s in descending order.
s, 0.3, t
Let f = 3.8 - 4.2. Let c = 13 + -8. Let h = -3.2 - -0.2. Put f, c, h in descending order.
c, f, h
Let y = 4 + -6. Suppose 0*k = -4*k + 4. Sort k, 0, y.
y, 0, k
Suppose -2*c + c + 1 = 0. Let r = 17 + -12. Let f be -2*r/(5/2). Sort f, c, -1.
f, -1, c
Suppose -2*y = -0*y - 6. Let m(k) = k**3 - 2*k**2 - 2*k - 4. Let z be m(y). Put -4, -3, z in descending order.
z, -3, -4
Let m(i) = i + 4. Let p be m(-1). Put -5, p, -3 in descending order.
p, -3, -5
Let o = -87 + 91. Let c = 0 - 4. Sort o, -1, c in descending order.
o, -1, c
Let d = 0 + -0.1. Let b = 3.1 + d. Suppose 4*k + 2 = -3*j, -k + 0*k = -2*j + 6. Sort 1, b, k in ascending order.
k, 1, b
Let u be (-33)/(-18) + 12/(-8). Put 1/4, u, -1 in increasing order.
-1, 1/4, u
Suppose -7 = 4*l + 5. Let f = 3 + l. Let b = 3 - 5. Sort b, 0.1, f.
b, f, 0.1
Suppose 0 = o + 5, 5*t - 3*o = o + 10. Sort t, 2/13, 2/9, 2 in descending order.
2, 2/9, 2/13, t
Let i = -2 - -1.77. Let y = i - -0.03. Sort 2, y, 5 in decreasing order.
5, 2, y
Suppose 0 = -2*c + 5*c + 3. Suppose 2*g = -4*q - 10, 2*q = -2*g - 2 - 8. Put -3, c, g in decreasing order.
c, -3, g
Let z = -11 + 6. Let p = -83 + 83.5. Put 3, p, z in decreasing order.
3, p, z
Suppose k = 106 - 102. Sort k, 2, 3, -3 in decreasing order.
k, 3, 2, -3
Suppose 2*k - 3 = -1. Suppose 2*y - 9 = k. Sort -4, -6, y in decreasing order.
y, -4, -6
Let r = 22 + -14. Suppose 0*s - s - 5*l = r, -4*s - 2*l + 4 = 0. Put s, -1, -5 in increasing order.
-5, -1, s
Suppose 0 = -3*s + 4*w + 21, 2 + 5 = s - w. Sort 5, s, -2 in ascending order.
-2, 5, s
Let z = 131.5 + -131. Let x = 5.436 - 0.036. Let i = -5 + x. Sort i, 4/3, z in descending order.
4/3, z, i
Suppose 0 = -3*t + 6, -4*q + 36 = t + t. Let j be (q/(-10))/((-2)/(-10)). Let p = 1/15 - -1/10. Put -2, j, p in decreasing order.
p, -2, j
Let v be (-2)/(-9) - (-86)/18. Suppose -5*q = -10*q - v. Sort -5, q, 6 in decreasing order.
6, q, -5
Let o(u) = -u + 6. Let p be o(6). Let b be (-1)/(((-6)/(-15))/(-2)). Suppose 0*f = -b*n + 3*f - 31, -n + 1 = 3*f. Sort p, n, 4 in descending order.
4, p, n
Let n = -5 + 14/3. Sort -4, -0.3, n, 3 in ascending order.
-4, n, -0.3, 3
Suppose 8*n - 6*n = 0. Suppose -5*g - 18 = d, 3*d + 6 + n = -3*g. Let c be (-2 - 1)*6/117. Sort d, -2/5, c in increasing order.
-2/5, c, d
Let x = -107/6 + 18. Put -11, -2, x in ascending order.
-11, -2, x
Let g = 5 + -1. Suppose g*z + 6 = 6*z. Sort 6, -3, z.
-3, z, 6
Let w = -143 - -142.9. Put 0.1, w, 0.15 in ascending order.
w, 0.1, 0.15
Let w = -0.06 - -5.06. Let f(c) = c**2 - 6*c + 7. Let o be f(5). Let p be o/(-7) - 87/(-84). Sort -5, w, p in descending order.
w, p, -5
Let m = 0.27 + -10.37. Let q = m - -10. Put q, 0.3, -0.5 in increasing order.
-0.5, q, 0.3
Let z be 40/15*6/4. Suppose 0 = -0*d + z*d. Suppose 2*g = 5*p - d*g + 10, -4*p - 5*g - 41 = 0. Sort p, 3, 5 in increasing order.
p, 3, 5
Let i(x) = x**3 - 6*x**2 - 6*x - 1. Let a be i(7). Let o be (16/(-20))/(a/(-370)). Let n = -50 + o. Put 2/3, 3/8, n in ascending order.
n, 3/8, 2/3
Let y be -6 + -1 + (2 - 0). Let w(m) = -m**3 - 4*m**2 + 6*m + 3. Let u be w(y). Sort -5, u, 3 in descending order.
3, u, -5
Let p = -7 - -5. Let d be 1*((p - -2) + 2). Suppose b + 3 - d = k, -b - 2 = -2*k. Sort 4, -0.2, k in increasing order.
-0.2, k, 4
Let s = 13 - 14. Let f(h) = -h - 6. Let y(w) = w - 2. Let l be y(-6). Let a be f(l). Sort 0, s, a in increasing order.
s, 0, a
Let n = 1 + -4. Let i = 5 - 4. Let s = 7 + -12. Put i, n, s in increasing order.
s, n, i
Let l be (-12)/16*(1 + 52/(-12)). Put -0.1, -1/4, l, -1/5 in descending order.
l, -0.1, -1/5, -1/4
Let k(a) = -a**3 - 6*a**2 - 4*a + 7. Let v = -6 + 1. Let m be k(v). Suppose 5*p = 5*l - 20, -3*l = 4*p + 8 - 27. Sort 5, m, p.
p, m, 5
Let u = 6.6 - 6.9. Sort 0.4, u, -1, -0.2.
-1, u, -0.2, 0.4
Suppose 0*p + 4 = p. Suppose -p*j = f + f + 26, 2*f - 14 = 4*j. Put 4, 3, f in increasing order.
f, 3, 4
Suppose 3*i - 6 = i. Sort -4, i, 1 in descending order.
i, 1, -4
Let l = 0.16 - 0.06. Let d = -2.8 + 3. Put d, l, 2 in ascending order.
l, d, 2
Let x = -63 - -61. Sort -1, -8, x in increasing order.
-8, x, -1
Suppose -2*v = -3*w - 16, 4*v + v - 23 = -w. Sort v, -1, 0 in decreasing order.
v, 0, -1
Suppose 4*j = f + 1, 2*j = 3*f - 4*f - 7. Put -2, 3, j, 1 in increasing order.
-2, j, 1, 3
Let i = -21.1 - -21.4. Put 0.2, 3, -0.5, i in decreasing order.
3, i, 0.2, -0.5
Let w(n) = -n**3 + 6*n**2 - 6*n + 7. Let v be w(5). Let a be 16/(-5) - v/(-10). Sort -4, a, 0 in decreasing order.
0, a, -4
Suppose -x + 1 + 4 = 0. Put 4, -1, x in increasing order.
-1, 4, x
Let r(n) = n - 9. Let d be (-8)/(-1) - (4 + -7). Let a be r(d). Suppose -a*t - 10 = -4*q, 2*t - 35 = -2*q - 3*q. Put 3, q, -1/8 in ascending order.
-1/8, 3, q
Let g be 1/(-3) + 125/15 + -2. Put -2/13, 5, g in decreasing order.
g, 5, -2/13
Let h(s) = s**3 + 9*s**2 + 11*s + 9. Let m be h(-7). Suppose 5*b + 5 = m. Let k = -0.4 + 1.4. Put -3/8, k, b in ascending order.
-3/8, k, b
Let x = 0.4 