17
Suppose 17 + 1 = 3*c. Suppose -13*l - c = -11*l. Put 4, 3, l in decreasing order.
4, 3, l
Suppose -2*l = l + 3*y - 21, -29 = -2*l + 3*y. Suppose w - 6*w + 5*f = l, 11 = -2*w - 5*f. Sort 0, w, 1 in descending order.
1, 0, w
Suppose -q = -w - 4*w + 19, -2*w + 4 = -4*q. Suppose x = -3*x. Suppose x = -2*z - 3*z. Sort z, 3, q in descending order.
3, q, z
Let q = 2 - -3. Suppose y = 3*m - 7 - 1, 4 = -3*y - m. Suppose -6 + 39 = 11*r. Put y, r, q in increasing order.
y, r, q
Let h = -47 + 34. Sort h, -3, -5 in ascending order.
h, -5, -3
Let r = -0.1 - -5.1. Let m = -0.04 + -0.36. Put m, 1/8, r in descending order.
r, 1/8, m
Let m = -0.8 - -0.5. Sort m, 3, -0.5.
-0.5, m, 3
Let l = 149 + -299/2. Sort l, -0.2, -62, 0.3 in decreasing order.
0.3, -0.2, l, -62
Suppose -l - 13 = -3*y, 7*l = 2*l - 5*y - 5. Let b be (0*2/l)/(-2). Put 3, -2, b in increasing order.
-2, b, 3
Let b = 52 - 103/2. Sort b, 0, 5, -0.5 in increasing order.
-0.5, 0, b, 5
Suppose -5*y = 3*f - f - 36, y + 2*f = 12. Put 1, y, 4 in ascending order.
1, 4, y
Let i be (-1)/4 + 15/60. Put 13, 5, i in descending order.
13, 5, i
Let g(y) = 3*y - 16. Let z be g(5). Sort 13, -3, z in descending order.
13, z, -3
Let o(g) = -g - 4. Let w be o(-6). Suppose -w*b = 2*b - 8. Suppose c + 0*c + 3 = 0. Sort 0, b, c in increasing order.
c, 0, b
Let c = 0.0552 + 0.9448. Let n = -1 - 0. Sort n, 2/11, c in ascending order.
n, 2/11, c
Let u = 33 - 31. Put -5, u, 0, 3 in descending order.
3, u, 0, -5
Suppose 8*h + 5*q - 20 = 3*h, -h + 19 = 4*q. Let j be (-5 - h)/(8 - 11). Sort 1, j, 0.3 in increasing order.
0.3, 1, j
Let h(q) = -q**3 - 9*q**2 + 10*q + 5. Let v be h(-10). Put -2, 4, v in increasing order.
-2, 4, v
Let y(j) = j**3 - 5*j**2 - 9*j + 8. Let g be y(6). Let x be ((-8)/(-10))/(4/g). Sort 1, -4, x.
-4, x, 1
Let s be (-5)/(-30)*(3 - 0). Put s, -4, -4/5 in decreasing order.
s, -4/5, -4
Let n = -15 + 18. Suppose 5*m - n = -33. Sort -2, 2, m in decreasing order.
2, -2, m
Let i be -1 + ((-12)/(-30) - 8/(-5)). Sort -3, -2, -4, i in descending order.
i, -2, -3, -4
Let n(m) = -m**3 - 6*m**2 + 17*m + 3. Let t be n(-8). Sort 0, t, 5, -4 in increasing order.
t, -4, 0, 5
Let a = -0.01 - 5.69. Let k = -6 - a. Put k, 2, -1/3 in increasing order.
-1/3, k, 2
Suppose 3*x = -2*p + 13, 5*p + x = 2*x + 24. Suppose -m - 3 = -2*m, 5*m = p*s. Let o be -1 - 8/(-2) - 4. Put o, 0, s in increasing order.
o, 0, s
Let s = -8.12 - -0.12. Let r = 3 + s. Sort -2/5, 1, r.
r, -2/5, 1
Let a = -0.9 - 5.1. Let z = -4 - a. Let l be (-24)/11 + (0 - -2). Sort z, 0.2, l in descending order.
z, 0.2, l
Suppose 0 = 4*k + 3*m + 17, -2*k + 2 = -6*k + 2*m. Let h be ((6/(-5))/(-3))/((-26)/(-455)). Sort -5, k, h in descending order.
h, k, -5
Suppose 12 + 6 = -4*c + 3*s, 4*s = -5*c - 7. Sort c, -1, -4 in decreasing order.
-1, c, -4
Let g = -9.5 + 2.6. Let k = 0.04 + -7.04. Let b = k - g. Put -4, b, 1/5 in descending order.
1/5, b, -4
Let j = -14.87 + -0.13. Let y = -10 - j. Let m = 0.41 + -0.01. Sort 1, m, y.
m, 1, y
Let q = -516.77 + 473.5. Let l = -45.2 - q. Let j = l - 0.07. Put -1, j, -4 in descending order.
-1, j, -4
Suppose -35 + 11 = 4*q. Let c = -4 - q. Sort c, 4, 3 in decreasing order.
4, 3, c
Let w be ((-8)/(-3))/(2/(-96)). Let p = w - -898/7. Sort 2/11, 0.4, p in ascending order.
2/11, p, 0.4
Let s = -0.36 - -5.36. Sort s, -2/9, 1, -2 in increasing order.
-2, -2/9, 1, s
Let w = 104 + -101. Let p be ((-6)/(-8))/((-1)/(-8)). Sort p, 2, w.
2, w, p
Let w = 2.35 + -0.35. Put -0.3, w, -2/9 in descending order.
w, -2/9, -0.3
Let n(a) = 2*a**2 + a + 2. Let c be n(-2). Sort 5, 0, c in ascending order.
0, 5, c
Let j(i) = -i**2 - 7*i - 5. Let f be j(-5). Suppose t - 9 = -h - h, -f*t + 1 = -h. Let n = -0.1 - -0.2. Sort n, t, -1.
-1, n, t
Let o be (4/(-24))/(1/2). Let z = 769 - 764.91. Let q = -0.09 + z. Sort q, -3/5, o.
-3/5, o, q
Suppose -2*t - 39 = -47. Sort 3, -4, -14, t.
-14, -4, 3, t
Let a = -0.2 + 0.4. Let t = 279 - 278.9. Sort t, -1, a in increasing order.
-1, t, a
Let t = 1.6 - -2.4. Let y = -2.4 - -2. Sort t, -0.1, y in descending order.
t, -0.1, y
Suppose 119*p + 2*j + 17 = 124*p, -4*p = 4*j - 36. Let r = 2 - 0. Put 0, r, p in descending order.
p, r, 0
Let n = 15.5 - 15. Sort n, -1/3, -4 in decreasing order.
n, -1/3, -4
Let c = -0.02 + 0.08. Let i = c + 0.14. Sort i, -5, -1 in descending order.
i, -1, -5
Let u = 14 - 10. Let o = -3 - -3. Sort o, u, -5 in ascending order.
-5, o, u
Let c = 5 + -1. Suppose c*r + 2 = -6. Sort -3, r, 3.
-3, r, 3
Suppose 5*l - 6 = 2*l. Let u be (-2)/3 - (-28)/(-12). Sort u, l, 5 in increasing order.
u, l, 5
Let m be (-64)/450*(2 - -3). Let n = 14/15 + m. Suppose -3*f + 9*f + 30 = 0. Put n, 2, f in decreasing order.
2, n, f
Let a be (-4)/(-10) + 108/30. Suppose 3*c - 11 = -i, 2*c - 2*i - i = 22. Sort c, a, -5.
-5, a, c
Let l be (5/(-7))/((-8)/56). Sort l, 1, 3, 0.4 in decreasing order.
l, 3, 1, 0.4
Let m = -135 + 139. Put 2, m, 11, -3 in ascending order.
-3, 2, m, 11
Let r(i) = -i**3 - 5*i**2 + 7*i + 5. Let p be (-2)/(-7) + (-32)/14. Let b be 28/(-5) + p/5. Let q be r(b). Put 1, -4, q in ascending order.
-4, q, 1
Let q = 0.15 - 0.05. Let c = q + 0.4. Put -0.3, 0.4, c in decreasing order.
c, 0.4, -0.3
Let x(i) = -i**3 - 6*i**2 - 8*i - 5. Let g be x(-4). Suppose j + 0 = 2. Suppose j*d - 2*c + 14 = 0, -3*d - 13 = -0*d + 5*c. Put d, 2, g in descending order.
2, g, d
Suppose 0 = 4*y - 17 - 39. Suppose 0 = 5*n + 3*c - 4, -4*c - c = -2*n + y. Put -4, n, 4 in decreasing order.
4, n, -4
Suppose 0 = 5*m - 2*m. Sort -4, m, -2 in ascending order.
-4, -2, m
Let s = 7 - 4. Suppose -20 = -2*a - s*a. Put a, -3, 2 in descending order.
a, 2, -3
Let x be 11/(11/(-2)) - 0. Sort 0.3, -2/19, x, 4/7 in decreasing order.
4/7, 0.3, -2/19, x
Let x(v) = v**2 + 4. Let m be x(0). Sort m, 0, 2/27, 0.1 in ascending order.
0, 2/27, 0.1, m
Let y be ((-25)/5)/(2/(-2)). Suppose -49 = 10*f + 1. Sort f, y, -1 in increasing order.
f, -1, y
Let h be (8/(-5))/((-14)/7). Sort -2/5, h, 5 in decreasing order.
5, h, -2/5
Let w be ((-3)/(-6))/((-2)/(-68)). Suppose w = m + 5*y, 2*m = -y - 3*y + 16. Suppose -6 = m*q - 0. Put 0, q, 3 in descending order.
3, 0, q
Let o = 79/445 + 2/89. Sort -0.11, 2, o in descending order.
2, o, -0.11
Let b be 18/4*1956/(-16). Let k = b + 549. Let u = k - -97/72. Put -1/5, -5, u in increasing order.
-5, -1/5, u
Suppose 1 = -0*n - n. Let q = -0.2 + -0.2. Let i = 49/2 + -24. Sort n, q, i.
n, q, i
Let w = -6 - -7. Put 2/21, w, -4 in increasing order.
-4, 2/21, w
Suppose 12 = u + 7. Put u, 4, -5 in increasing order.
-5, 4, u
Suppose 5*h - s + 1 = 3*h, h + 2 = 2*s. Sort h, 4, 1 in ascending order.
h, 1, 4
Suppose 0 = -3*s - s - 4*y + 8, 6 = -s + 3*y. Let z be (4/6)/((-1)/(-6)). Let b be (s + 2)*z/2. Sort 0, b, 5.
0, b, 5
Let v = 6.8 - 7. Sort v, 0.04, -2 in ascending order.
-2, v, 0.04
Let v = -312 - -308. Let g = 18 - 39/2. Sort v, g, -3 in ascending order.
v, -3, g
Suppose -18 = 3*h + 3*d, -5*h - 2*d - 4 = 20. Put -1, 3, h in increasing order.
h, -1, 3
Suppose 38 = 5*r - f + 10, -f = r - 8. Sort -2, 0, -3, r in increasing order.
-3, -2, 0, r
Let x be (-2)/(-5) + 7/(-5). Let j be (0 - -2) + (7 - (1 + 2)). Sort 2, x, j.
x, 2, j
Let g(n) = 3*n**3 - 2*n**2 + 4*n - 2. Let k be g(1). Sort 41, -4, k, 1 in descending order.
41, k, 1, -4
Let b(a) = a**3 + 2*a**2 + 2*a + 1. Let q be b(-2). Suppose 4*w = 2*w. Suppose 3*t + 5*s + 11 = w, 2*t + s + 7 = -t. Put t, -4, q in descending order.
t, q, -4
Suppose -6 = -5*i + 14. Suppose 4*x = -2*v - 2*v + 20, -15 = i*x - 3*v. Let f(t) = -t**2 + 4*t - 5. Let d be f(4). Put 4, d, x in descending order.
4, x, d
Let v be (0 + 7)*(1 - 0). Let y(k) = -k + 10. Let j be y(v). Let u be 5/(-3) - (-14)/21. Sort j, 4, u in descending order.
4, j, u
Let p = -2440/7 + 348. Let i = 5 - 1. Sort i, p, -0.3 in descending order.
i, -0.3, p
Let b be 4/12*1*-3. Suppose -4 = -4*o - i, -6*o + 3*i - 12 = -2*o. Let n = 5 - 0. Sort b, n, o in descending order.
n, o, b
Suppose -4*o - o = 85. Let l = o - -26. Sort l, 5, -4 in decreasing order.
l, 5, -4
Let t be 1*4/(20/(-1)). Suppose -6*w - 12 = -2*w. Let o be 1*-1 + w/(-5). Put t, -1/7, o in ascending order.
o, t, -1/7
Let m(s) = -s**3 - 4*s**2 + 2*s - 12. Let n be m(-5). Let d(g) = -g - 10. Let x be d(-6). Let p be x/3*(-2 + -1). Sort n, p, 0 in ascending order.
0, n, p
Sup