 order.
2, f, 0
Let t = 17 - 14. Let l = 2 - 6. Put t, l, -1 in decreasing order.
t, -1, l
Let k = 84 - 79. Put 4, 10, k in increasing order.
4, k, 10
Suppose 13 - 4 = 3*f. Let j = f + -5. Put j, 0, 1 in decreasing order.
1, 0, j
Suppose 2*r = -3*f + 15, 66 = 3*r - 3*f + 6. Suppose r = 4*k + 7. Sort -3/5, -0.2, k in decreasing order.
k, -0.2, -3/5
Let a be (-63)/(-15) + (-2)/10. Suppose -d - a*d + 20 = 0. Suppose m - 3*m = d. Sort m, 0, -5 in decreasing order.
0, m, -5
Let c be 205/10*46/5. Let p = c + -188. Sort 4, p, 1 in decreasing order.
4, 1, p
Let q = 1.41 + -1.51. Sort -2/7, q, -6.4 in increasing order.
-6.4, -2/7, q
Let w(v) = v**2 - 4*v - 5. Let x be w(5). Let d = 18 - 15. Suppose 0 = -y - d - 0. Put x, -2, y in increasing order.
y, -2, x
Let k = -4 - -4. Let c = -6 + 4. Sort c, -5, k in descending order.
k, c, -5
Let s = 10 + -6. Suppose 0*b - 2*b - s = 0. Put 4, 0.2, b in descending order.
4, 0.2, b
Let x(p) = -p**3 + 2*p**2 + 3*p. Let g be x(3). Sort g, 5, 4.
g, 4, 5
Let u(o) = -o**3 - 10*o**2 - 8*o + 8. Let y be u(-9). Let t(k) = k - 5. Let b be t(6). Sort b, 4, y in increasing order.
y, b, 4
Let z = -5 - -5.4. Let a = z + 2.6. Let k be ((-1)/3)/(-2 - 27/(-12)). Sort a, k, -1/5 in decreasing order.
a, -1/5, k
Suppose 3*i = 4*i - 1. Put -3, i, -7 in ascending order.
-7, -3, i
Let y(i) = i**2 + 4. Let l be y(0). Let d(f) = -f**3 + f**2 + f + 1. Let j be 0 + (1 - (-1 + 2)). Let t be d(j). Sort l, t, -4 in descending order.
l, t, -4
Suppose 12 = 2*p + 2*o, 2*o - 12 = p - 3*o. Suppose -4*u - p = 1. Let a(q) = -2*q**2 - 1. Let v be a(u). Sort 2, v, -5.
-5, v, 2
Let h = -279/286 - 3/26. Put 3/5, 4/5, h in decreasing order.
4/5, 3/5, h
Let p = -1.73 + 0.8. Let v = -0.07 + p. Let k = v + 4. Put k, -0.1, -5 in decreasing order.
k, -0.1, -5
Let t(h) = -h**2 - h + 1. Suppose 4*c = -10 - 2. Let a be t(c). Put -4, a, -2 in increasing order.
a, -4, -2
Suppose 4*n = -3*m + 7 - 4, -4*n = 0. Suppose -u + 1 + 2 = 0. Put -1, m, u in descending order.
u, m, -1
Suppose -5*k + 13 = -x + 3*x, -16 = -4*k + 4*x. Let n = k + -4. Put n, -3, -5 in decreasing order.
n, -3, -5
Let x = 9 + 0. Let j be 2/(-6) + 3/x. Suppose 5*u - 7 = -27. Put j, u, 4 in increasing order.
u, j, 4
Let w be ((-2)/(-5))/((-11)/55). Sort 1, -12, w, -5 in descending order.
1, w, -5, -12
Let y = 105.4 + -105. Let w = 17 - 27. Let m be w/(-4)*-1 - -1. Put m, y, 5 in decreasing order.
5, y, m
Let u = -2.4 - -2. Let s = 0 + u. Let v = 0.67 - 0.27. Sort v, s, -3/4 in decreasing order.
v, s, -3/4
Let j = -0.9 + 0.6. Let w = 0.3 + j. Let x be 4*(-3)/(-6) + -1. Put 0.1, x, w in descending order.
x, 0.1, w
Let y = 0.82 + -2.82. Put 5, 2, y, 4/5 in descending order.
5, 2, 4/5, y
Let w(j) = -j**3 - 7*j**2 + j + 3. Let d be w(-7). Suppose 4*u - 1 - 4 = -a, 4*a - 4 = 0. Let y be (3/(-9))/(u/9). Put y, d, 1 in decreasing order.
1, y, d
Suppose 13 = 5*m + 3. Sort 5, -5, -2, m in descending order.
5, m, -2, -5
Let y be 18/8 + (-2)/8. Let n(t) = -t - 10. Let b be n(-9). Sort -6, y, b in decreasing order.
y, b, -6
Let p = -7.44 + 3.51. Let r = 0.07 - p. Sort -0.2, -2, r in descending order.
r, -0.2, -2
Let d = 47.6 + -48. Sort 0.4, 1/2, d, -2/13 in increasing order.
d, -2/13, 0.4, 1/2
Suppose 0 = -5*f - z - 0 + 18, z = -4*f + 14. Let n = 10/7 - 13/14. Sort f, n, 0.4 in ascending order.
0.4, n, f
Let j(a) = 4*a**3 + a**2 - 2*a + 1. Let b be j(1). Suppose 0 = -3*i + 23 - 8. Sort -1, i, b in increasing order.
-1, b, i
Let d be (-1)/(-3) - 120/36. Sort -4, 4, d.
-4, d, 4
Let i(w) = -2*w - 30. Let b be i(-16). Suppose -3*o + 0*o + 3 = 0. Suppose -2*z = -h + o, 5*z + 5*h = 5 + 15. Sort z, 5, b in increasing order.
z, b, 5
Let c = -12.5 - -12. Put c, 1, -5 in increasing order.
-5, c, 1
Let r = -9 + 10. Suppose 0 = 3*f + g + 11, -3*g + 8 + r = -5*f. Sort f, 1, -1 in decreasing order.
1, -1, f
Let k(p) = -p**2 - 10*p + 3. Let b be k(-10). Let i = -1 + b. Suppose -4*c = 4*h + 12, -4*c + i*c - 3*h - 6 = 0. Sort -5, c, 1 in decreasing order.
1, c, -5
Suppose q = -q - 4. Put -0.4, q, -5 in decreasing order.
-0.4, q, -5
Let i(m) = -3*m. Suppose 2*v = -0 + 2. Let b be i(v). Let f be (3/21)/(b/(-6)). Put -0.2, f, 4 in decreasing order.
4, f, -0.2
Let v = 42 - 41.6. Put -4, v, 2/11 in ascending order.
-4, 2/11, v
Let d = 46/9 - 44/9. Sort -1, d, 1/5.
-1, 1/5, d
Let s = 0.8 + -0.5. Let h(a) = 2*a - 7. Let f be h(8). Let c = 6 - f. Sort 0.2, s, c in decreasing order.
s, 0.2, c
Suppose 3*a + 51 = -3*t, -3*a + 2*a + 7 = -5*t. Let h = a + 10. Let p be -2*(-2)/8*-2. Put p, 1, h in ascending order.
h, p, 1
Let g = -0.31 + 5.71. Let n = g - 5. Let b = -13 - -10. Put n, b, -0.5 in descending order.
n, -0.5, b
Let z be (-30)/12*(1 + 11/(-5)). Suppose i = -5*h + 2*h + 4, -i = h - 2. Sort h, 9, z in decreasing order.
9, z, h
Suppose -5*b + 5*c - 1 = -16, 4*b = -2*c. Let f be (-2)/30 - (-5)/(-15). Sort b, f, 0.2 in descending order.
b, 0.2, f
Let j = -36/49 + 38/147. Let x = j - -1/7. Put x, -5, -0.1 in ascending order.
-5, x, -0.1
Let y = -157/35 + 30/7. Let i = 0.02 - -0.28. Put y, 2/7, i in decreasing order.
i, 2/7, y
Let l = -0.15 + 4.15. Put l, 0.4, -1 in ascending order.
-1, 0.4, l
Let u = -13 - -16. Let h = 0.3 + -0.8. Sort u, 0.5, h in decreasing order.
u, 0.5, h
Let s = 17.887 - -0.113. Sort 0.5, 0, s in descending order.
s, 0.5, 0
Let r = -1 - -0.96. Let q = -3.04 - r. Let h be (-9)/3 - (0 - -1). Sort q, -5, h.
-5, h, q
Suppose -58 = 5*d - 553. Let u be (9/3)/d*-3. Sort 2/13, u, -5 in ascending order.
-5, u, 2/13
Let i = -9 - -9.5. Let r be (-2)/(0 - -12 - -1). Put -4, r, i in descending order.
i, r, -4
Let n = 14 + -17. Suppose -5*u - 27 = -w, -1 + 17 = 3*w - 2*u. Sort 3, n, w in descending order.
3, w, n
Let s = -13.93 - -14. Let l = s - -0.23. Sort 0.5, l, -4 in decreasing order.
0.5, l, -4
Let x = 54 + -54. Let c be ((-2)/4)/((-1)/26). Suppose 3*d + c = 4. Sort d, 3, x in decreasing order.
3, x, d
Let j be (-1282)/(-3948) - 6/21. Let s = j - -6/47. Put 7, 0, s in decreasing order.
7, s, 0
Suppose 2*x = 5 - 1. Suppose -14*g + 18*g = 16. Sort x, g, 6 in decreasing order.
6, g, x
Let y be ((-4)/6)/(40/312). Let h = 99/20 + y. Sort h, -5, -1/3 in descending order.
h, -1/3, -5
Let t = 41 - 38. Sort t, -2, -1.1 in descending order.
t, -1.1, -2
Let u be 24/(-10) + (-4)/(-10). Suppose 0 = -4*h, -5*f - 3 = 2*h + 2. Put u, f, -4 in decreasing order.
f, u, -4
Let o be 8/10 + 2/10. Sort o, 5, -4 in ascending order.
-4, o, 5
Let m be (-3)/(-9)*(-1149)/7. Let q = m + 55. Suppose -l + 0*l - 2 = 0. Put 0.5, q, l in ascending order.
l, q, 0.5
Suppose -1 = 3*o - 2*n + 7, -4*o - 6 = -5*n. Sort 1, 6, o in increasing order.
o, 1, 6
Let h = 1 - 0.8. Let u = 12 - 14. Let m = u + 1.7. Put 0.1, m, h in decreasing order.
h, 0.1, m
Suppose -1 = 3*i - 7. Let m be i/(-6)*1*-3. Let c = -37 - -32. Put c, 5, m in decreasing order.
5, m, c
Let s(m) = m**3 + m**2 - 3*m - 3. Let w be s(-2). Let k = w - 3. Sort -5, k, 5 in ascending order.
-5, k, 5
Let q = 7 + -2. Sort q, 4, 2.
2, 4, q
Let u be (-1)/(1/(4 - 3)). Let z be (-10)/2*u + -2. Sort 0.2, z, 1.
0.2, 1, z
Suppose 5*k + 2*n - 3*n = -15, 15 = 5*k + 5*n. Let z be 3/k*8/(-6). Sort 5, 3, z.
z, 3, 5
Let h = -1.6 - -1.7. Sort 0.5, h, 3 in decreasing order.
3, 0.5, h
Let c = -8 + -15. Let q be -1*(-2 - c/11). Sort -2, -1, q in descending order.
q, -1, -2
Let s = -0.7 - -0.2. Sort 5, s, 2/17.
s, 2/17, 5
Let a = 27 + -26.7. Sort -5, -0.8, -2/3, a in increasing order.
-5, -0.8, -2/3, a
Suppose 6*x = 4*x. Sort -6, x, 2 in descending order.
2, x, -6
Let s = 70 + -70.5. Let j = -1.9 - -2. Sort s, j, 0 in descending order.
j, 0, s
Let s(m) = -m + 6. Let p be s(0). Let n be 2*1*(-3)/p. Let z be ((-14)/168)/((-2)/6). Put 2, z, n in decreasing order.
2, z, n
Let p = 6 + -8. Put p, -0.8, 0.4 in decreasing order.
0.4, -0.8, p
Let n = -67 + 41. Let v = 181/7 + n. Sort 0.4, v, -0.3 in descending order.
0.4, v, -0.3
Suppose -4*h + 3*h - 3 = 0. Let k = h + 0. Sort 0, -2, k in decreasing order.
0, -2, k
Let w = 14 + -9. Suppose -194 = -2*b + 4*l, 2*l - 181 - 316 = -w*b. Let t be 6*(b/(-48) - -2). Sort -0.3, t, -2/15 in decreasing order.
-2/15, -0.3, t
Let a be 3*10/6 + -2. Suppose -5*b - 5*m = -15, 2*b + a*m - 4 = -0*m. Sort -3, b, 0 in descending order.
b, 0, -3
Let a be (-8)/(-20)*5/(-8). Sort 1/4, a, -0.2.
a, -0.2