
m, 1, -2
Let t be 1 + -4*36 + -1. Let f = -859/6 - t. Let k be (5/3)/((-3)/(-9)). Put -3, k, f in ascending order.
-3, f, k
Suppose -3*s + 0*s = -2*c + 2, 3*c - s - 3 = 0. Put c, 2, -0.2 in increasing order.
-0.2, c, 2
Suppose 0*s + 5*s - 25 = 5*p, 4*p + 3*s = 15. Suppose 0 = -4*v - 12 - p. Sort -4, v, 0 in descending order.
0, v, -4
Suppose -n = 1 + 4. Suppose f = -3*f - 16. Sort f, n, -1 in descending order.
-1, f, n
Let d = 28 - 20. Let x = d - 8.3. Sort 0.1, x, -1.
-1, x, 0.1
Let g be ((-2)/(-3))/((-3)/18). Let j = 13 + -15. Put j, 0, g in decreasing order.
0, j, g
Let r be 6/32*10/15. Sort 0.4, 3/5, r in decreasing order.
3/5, 0.4, r
Suppose k = 5*v - 16, -28 = -4*k + 2*k - 5*v. Put 1, k, 2, 6 in ascending order.
1, 2, k, 6
Let y(n) = 4*n + 3. Let t be y(-3). Put 0, t, -2 in descending order.
0, -2, t
Suppose 5*w + 5*k = -23 - 7, -4*k - 8 = -4*w. Sort -4, w, 1 in ascending order.
-4, w, 1
Let t = 0.61 - 0.27. Let r = -0.06 - t. Let z = -2 - -1. Put z, 0.5, r in ascending order.
z, r, 0.5
Let i(s) = -2*s + 9. Let j = 14 - 8. Let o be i(j). Let m(x) = x**3 + 5*x**2 - 5*x + 7. Let f be m(-6). Sort 2, o, f.
o, f, 2
Let d = -6 - -9. Let b(x) = -x - 3. Let i be b(d). Let p = -9 - i. Sort 2, 0, p in decreasing order.
2, 0, p
Suppose 3*n + 18 = -3*m, -5*m = -4*m + 3. Let v(g) = -g**2 + g + 2. Let r be v(0). Sort n, r, 3 in descending order.
3, r, n
Let y = -1 - -3. Let l(w) = -19*w**y + 20*w**2 + 2 + w - 4 + 2*w. Let i be l(-4). Sort 0.1, i, -0.4.
-0.4, 0.1, i
Let h be (1 - 0/(-2)) + -1. Let a = 2 - 1. Let z be a*(0 - 1)*-4. Put -1, z, h in decreasing order.
z, h, -1
Let m be (2/4 - 0)*-4. Sort m, 2, -3.
-3, m, 2
Suppose -3*y = -z - 10, -3*z = 3*y - 0*z - 6. Sort y, 6, 2 in decreasing order.
6, y, 2
Let o be 2 + -1 - 4/16. Sort 6, 0.2, o in descending order.
6, o, 0.2
Suppose 5 = -j + 2. Sort j, 0.3, 4 in increasing order.
j, 0.3, 4
Let f = 25 + -25.4. Put -1, 13, f in decreasing order.
13, f, -1
Let q = -66.7 - -67. Put q, 2/5, -0.5, -2 in decreasing order.
2/5, q, -0.5, -2
Suppose -n = -q - 2*n + 7, 2*n - 4 = 0. Suppose q*s = 5 - 20. Let c = 1.6 - 1.1. Sort -0.4, s, c in descending order.
c, -0.4, s
Let l = 447 - 443. Let n = 2 - 5. Sort l, 3, n.
n, 3, l
Let x = 0.5 + -0.4. Sort -3/7, -1, -5, x.
-5, -1, -3/7, x
Let i = 45 - 46. Put -0.4, i, 2/21 in descending order.
2/21, -0.4, i
Let n = -5 + 6. Let o = n - 0.5. Sort 2/21, o, -4 in ascending order.
-4, 2/21, o
Let y = -2 - -2.08. Let b = y + 0.02. Let l = 8 - 10. Sort l, 3, b.
l, b, 3
Suppose 0 - 8 = -2*u. Suppose -12 = -3*i + 5*i - 4*k, 0 = i - k + 1. Suppose 2*s - i + 2 = 0. Sort -2, s, u in ascending order.
-2, s, u
Let z(f) = f**3 - f**2 - f. Let r be z(2). Let n(b) = 3*b - 3. Let l be n(r). Suppose c - 3*i = -6*i + 6, 5*i = 5*c + 10. Put l, c, 4 in decreasing order.
4, l, c
Let j = -1.9 - -2. Let f = j + -0.5. Put -2, -4, f in descending order.
f, -2, -4
Let k be (-485)/(-5)*(-2)/6. Let y = k - -32. Let w = -287/15 + 55/3. Put y, w, 1 in descending order.
1, y, w
Let p be -1*((-32)/2 - 1). Suppose -p = -3*g + 4. Suppose -l + 4*r = -15, 5*l - 15 = g*r - 2*r. Sort l, 4, 1 in increasing order.
l, 1, 4
Let y = -7 - -3. Sort y, 2, 3 in increasing order.
y, 2, 3
Let s = -14 - -9. Put s, -4, 1, 3 in ascending order.
s, -4, 1, 3
Suppose -g + 4 = -0*g. Suppose 2*p - 3 = -5*n - 9, -5*p - g*n + 2 = 0. Let t be (p - (-60)/(-27))*1. Sort 3, 0.5, t in increasing order.
t, 0.5, 3
Suppose -4*d = -5*z + 21, -2*z + 11 = -4*d + z. Let c = 1 - -1. Sort c, d, 5.
d, c, 5
Suppose 2*q + 4*y = -0*q - 16, -q + 7 = -y. Suppose -w - 2*t + 3 = -0, 0 = -q*w + 2*t - 12. Let u = w - -2. Sort -5, u, 0 in descending order.
0, u, -5
Suppose -2 - 6 = -2*v. Suppose 5*w - 2*q = 2*w - 10, -5*w + 20 = v*q. Let k be (w - (-2)/20)*4. Put -2, -3, k in descending order.
k, -2, -3
Suppose 0 = -5*w + j + 16, -3*j + 9 = -3. Let c = -5 - 0. Put w, -4, c in descending order.
w, -4, c
Suppose 3*h + 6 = 5*a, 2*h + 3*a = h - 2. Let z(n) = -n**2 + 5*n + 2. Let s be z(6). Put h, 0, s in decreasing order.
0, h, s
Let t = -15 - -15. Let r = 1 - 1.2. Sort t, 2/7, r in descending order.
2/7, t, r
Let w(y) = -y - 4. Let m be w(-5). Sort 0, m, 2 in increasing order.
0, m, 2
Let n be (-3)/(3 + -1 - 1). Let s be 0/((-1)/1) + (17 - 19). Put s, n, 2 in ascending order.
n, s, 2
Let f be (-2)/(-4)*(2 - (7 + -3)). Sort 5, f, 4, -4 in descending order.
5, 4, f, -4
Suppose -5*q - 318 = -2*q. Let t = q - -953/9. Sort t, 2/5, 2 in decreasing order.
2, 2/5, t
Let d be -1*(9/7 - 1). Let z be ((-195)/(-6))/13 - (2 - 1). Sort 1.2, z, d in ascending order.
d, 1.2, z
Let g = 15 + -15. Sort -2, -0.4, g in decreasing order.
g, -0.4, -2
Let w be 1/1*-1*2. Let p be 3 - -1*-1*1. Suppose 0 = 7*c - 2 - 5. Sort c, p, w in descending order.
p, c, w
Let m be 0 + (2 - 4/3). Sort -2, 1, m, -4/7 in descending order.
1, m, -4/7, -2
Let d be 26/7 - (-6)/21. Suppose -d*p - 17 = -m, 4*p - 7*m = -2*m - 21. Sort p, 0, -2 in decreasing order.
0, -2, p
Let i be (4/(-6))/(10/(-6)). Let s be 1/3 + 8/(-24). Let b = -1 - -3. Put b, s, i in decreasing order.
b, i, s
Let b(v) = 5*v**2 - 2*v. Let q be b(-2). Let d be (-22)/q + 2/8. Put 5, -0.2, d in descending order.
5, -0.2, d
Let a(b) = 23*b - 3. Let h be a(-3). Let n = h + 46. Let o be 3/(n/4 - -2). Sort 3/5, o, 0.5 in decreasing order.
3/5, 0.5, o
Let f = 23 + -40. Let a = f + 15. Sort 0, 0.4, a in decreasing order.
0.4, 0, a
Let k = -10 + 3. Let b = k + 4. Sort -2/9, b, -1/5 in decreasing order.
-1/5, -2/9, b
Let w = -3280/11 + 298. Sort 0.2, 0, w, 0.1 in descending order.
0.2, 0.1, 0, w
Let n = -25 + 21. Put n, -5, -2 in increasing order.
-5, n, -2
Let j = -135 + 942/7. Suppose -a - 9 = -5*p, -3*p + 8*p - 7 = 3*a. Let d be p + 3/((-27)/16). Put d, j, 0.4 in increasing order.
j, d, 0.4
Let j = -17 - -24. Let s = -4 + j. Let d = 0 + s. Sort d, 0, 1.
0, 1, d
Let v(d) = 5*d**2 - d - 1. Let f be v(-1). Let c = -13 + 10. Sort -2, c, f in increasing order.
c, -2, f
Suppose 10 = -5*q - 5*g, -5*g + 4*g = -4*q - 23. Put -19, 1, q in descending order.
1, q, -19
Let o = -42.1 + 42. Sort 2, -18, o.
-18, o, 2
Let l = 4 - 9. Let i(a) = -a + 5. Let k be i(0). Put k, l, -3 in descending order.
k, -3, l
Let z = -101 - -105. Sort -0.1, z, -3, 0.6 in decreasing order.
z, 0.6, -0.1, -3
Let z = 1.4 - 1.3. Sort -4, 0, z in ascending order.
-4, 0, z
Let i = 59/210 + 1/210. Put i, -4/3, 0.11 in increasing order.
-4/3, 0.11, i
Let v be (2/3)/(4/66). Suppose 0 = 2*m + 3 - v. Sort -3, -1, m.
-3, -1, m
Suppose 3*l - 2*r - 2*r - 3 = 0, 0 = -2*r. Sort -3, 2, l, 4 in ascending order.
-3, l, 2, 4
Let t(d) = d**3 - 7*d**2 - 10*d + 16. Let i be t(8). Sort i, -4, 12 in increasing order.
-4, i, 12
Let f(y) = y**2 + y + 3. Let k be f(0). Suppose p - 69 = -70. Let i = -4.06 - -0.06. Sort i, p, k in decreasing order.
k, p, i
Suppose 5*j - 18 = -8. Let q be (-1 - -2)/(1/j). Sort -10, 0, q in increasing order.
-10, 0, q
Suppose 5*m + 45 = 14*m. Sort m, -2, 2, 4 in descending order.
m, 4, 2, -2
Let p(n) = n**3 + 12*n**2 + 14*n + 35. Let w be p(-11). Sort -1, w, 4, -4 in decreasing order.
4, w, -1, -4
Let f(t) = 4 + 6 - t**2 + 8*t + 0*t**2 - 2*t. Let c be f(7). Sort c, -5, 1.
-5, 1, c
Let z = 0.54 + -0.24. Sort -1, z, 0.1.
-1, 0.1, z
Let z = -5 - -11. Suppose -3*j + z*j + 15 = 0. Sort -2, -4, j.
j, -4, -2
Let b = -44.51 + 49.7. Let j = -0.19 + b. Sort -4, -0.5, j in descending order.
j, -0.5, -4
Suppose -5*y + 3*c = 19, 15 = -5*y + 5*c - 0. Sort 1, 16, y, 2 in ascending order.
y, 1, 2, 16
Let m(n) = 3*n**3 - 7*n**2 + 5*n - n**3 + 1 - n**3. Let l be m(6). Suppose 3*u = 2*u - 2*r - 3, 0 = -u - r - 3. Sort u, -1, l.
l, u, -1
Let f = 1151/7 + -164. Sort f, 0.11, 0.5 in increasing order.
0.11, f, 0.5
Let r = -18 + 18.2. Put r, 0.4, 4, -2 in decreasing order.
4, 0.4, r, -2
Let h(b) = -b**2 + 7*b + 1. Let x be h(7). Let t = -13 - -7. Let i(w) = w**2 + 6*w. Let o be i(t). Sort x, -3, o.
-3, o, x
Suppose 19 = 5*s - 2*i, -5*s + i + 17 = -s. Sort 9, s, -4.
-4, s, 9
Let q = 0 + -6. Let k be 6/(-10)*q/9. Put k, 3/4, 5 in decreasing order.
5, 3/4, k
Suppose 5 = g - 2*x, g + 1 = 3*g + 5*x. Let u = -0.028 - -1.028. Sort u, g, -0.01 in decreasing order.
g, u, -0.01
Let r = 120.7 + -127. Let f = r + 6. Let g = -0.04 + 2.04. Sort g, f, -2.
-2, f, g
Suppose -2*k + 5*k = 0. Let g = k - 4. Put -