 17. Let h be z(-10). Let q be ((0/(-2))/(-3))/(-1). Sort h, k, q in descending order.
h, q, k
Let a(d) = 3*d - 4. Let z be a(2). Put 12, -1, z in decreasing order.
12, z, -1
Suppose 44*i + 20 = 49*i. Put i, 3, 8 in descending order.
8, i, 3
Let u be -2*4/10*-5. Let t(s) = s**3 + 11*s**2 - 12*s. Let g be t(-12). Suppose -18*i + 14*i - 16 = g. Put i, 1, u in increasing order.
i, 1, u
Suppose 5*b = -5 + 20. Suppose -b*l - 3*t = -15, 0 = -4*l + 2*t - 4 - 0. Put l, -4, -2 in descending order.
l, -2, -4
Let c = 3 + -6. Sort c, 5, 1, -1.
c, -1, 1, 5
Let d be 4*-1*(-9)/(-12). Let l be -5 - (1 - -5)/((-3)/2). Put d, -4, l in decreasing order.
l, d, -4
Suppose 2*j = 70 - 26. Sort 5, j, -4, -0.3 in decreasing order.
j, 5, -0.3, -4
Suppose 3*j = -v + 4, 2*v + 0*v - j = 8. Let q be 0/(3 + -3 + 2). Suppose -2*d + v - 14 = q. Sort 0.4, d, 2/21 in descending order.
0.4, 2/21, d
Let x = 75 + -84. Sort 1, 2, x.
x, 1, 2
Let x = -1.59 + 2.09. Put 1/3, -0.03, x in decreasing order.
x, 1/3, -0.03
Let w be (-6)/(-9) + (1 - 2). Let h = -0.2 - -0.1. Let i = h - -0.1. Put w, -1, i in decreasing order.
i, w, -1
Let v = 41/21 - 5/3. Sort v, 0, 1/3 in descending order.
1/3, v, 0
Suppose d + 4*u = 11, -3*d - u = -11 - 0. Put -2, -3, d in descending order.
d, -2, -3
Let j be 1/((-5)/(50/(-45))). Put 2, j, -0.2 in descending order.
2, j, -0.2
Let d(q) = 2*q**2 + 48*q - 1. Let n be d(-24). Put -4, 2, 3, n in descending order.
3, 2, n, -4
Let n = -21.89 + 22. Let t = n + 0.09. Sort t, -4/3, -4.
-4, -4/3, t
Let w be 58/5 + 2/5. Suppose -y + 0*y + w = 0. Suppose -t = 3*t + y. Sort 2, t, 3.
t, 2, 3
Suppose 3*y - 4 = 8. Let z = -121 - -122. Sort -2, z, y in decreasing order.
y, z, -2
Let f be 0 + (-6)/(-39) + 27/78. Put f, -1/3, 2/7, 3/4 in descending order.
3/4, f, 2/7, -1/3
Let q(f) = -4*f**3 + f**2 + f + 1. Let l be q(-1). Let d = -1 + 4. Suppose 5*v + 6 = -d*p, -5*v = p - 0 + 12. Sort -4, l, p in ascending order.
-4, p, l
Let m be 2/(36/15)*14/35. Put -5, -1, m, -4 in descending order.
m, -1, -4, -5
Let m = 15.5 + -15.083. Let i = m + 0.113. Let j = -0.03 + i. Sort j, 0, -3/2 in decreasing order.
j, 0, -3/2
Let p = 2 - 1. Let b be (p/2)/(4/40). Put -1, 3, b in descending order.
b, 3, -1
Let w = -3/14 - -23/42. Let z be (-10)/4*665/25. Let g = 673/10 + z. Sort -3, g, w in decreasing order.
g, w, -3
Let w(l) = 3*l - 10. Let r(y) = -y**2 + 9*y - 4. Let q be r(7). Let t be w(q). Sort t, -3, 1 in decreasing order.
t, 1, -3
Let v(n) = n**3 - 7*n**2 + 3. Let h be v(7). Let x be h*3*(-8)/(-18). Let m be 310/70 - (-4)/7. Put x, 0, m in increasing order.
0, x, m
Suppose -2 - 2 = -4*m. Sort m, 1/6, 5 in ascending order.
1/6, m, 5
Let o = 32 + -26. Sort -2, 0, o in increasing order.
-2, 0, o
Let x = 9 + -5. Let k = 0.76 - -0.04. Let q = 1 - k. Sort -3, q, x in decreasing order.
x, q, -3
Suppose 3*i = i + 2. Sort -2, -19, i in descending order.
i, -2, -19
Let g = -5 - -9. Let v(s) = -2*s**3 - 2*s - 1. Let w be v(-1). Let d = -37 + 37. Sort d, w, g.
d, w, g
Let b = 29 - 31.8. Let c = 0.1 - 0.3. Let d = c + b. Put 2/5, d, -2/3 in descending order.
2/5, -2/3, d
Let u(y) = y. Let p(v) = v**2 + 9*v + 3. Let l(z) = -p(z) + 3*u(z). Let m be l(-4). Sort -2, m, -4 in increasing order.
-4, -2, m
Let g = -5 + 8. Let p = g - 1. Sort 4, -1, p in ascending order.
-1, p, 4
Let n = -8 - -5. Let k = -21 - -15. Let q = 5 + k. Sort 1/3, q, n in descending order.
1/3, q, n
Let a = 57 - 90. Let m = a + 67/2. Suppose -o - 3 = 2*o. Sort m, o, -2.
-2, o, m
Let v = -127 + 892/7. Let h = -1 + -1. Sort -3/5, v, h in decreasing order.
v, -3/5, h
Let q = -35.3 - -35. Let a = 1.4 - -0.6. Let n = -69/2 - -33. Put q, n, a in decreasing order.
a, q, n
Let d(s) = s**3 - 5*s**2 + s + 12. Let o be d(4). Sort o, 5, 3, 1.
o, 1, 3, 5
Suppose 5*u = 3*s + 25, 2*u = u - 4*s + 28. Suppose -1 = -3*z + u. Let q = -6 + 5.6. Put z, -1, q in decreasing order.
z, q, -1
Suppose -4*w = -3*p + 60, -5*p - 77 = -10*p - w. Let j be (-1)/(4/(p/(-10))). Let a = -2/7 + 4/7. Sort j, a, 5 in ascending order.
a, j, 5
Let d be 4*(3 - 2)*2. Suppose -d = -2*j - 4*p + 8*p, j = -3*p - 1. Put -3, j, -4 in decreasing order.
j, -3, -4
Let p be (-102)/(-17)*(-1)/(-3). Sort 0.3, p, 0.2.
0.2, 0.3, p
Let t be (-96)/(-18)*(-1)/4. Sort 4/9, t, 0.5 in descending order.
0.5, 4/9, t
Let o be 1/(-2) + 9/10. Let r = -0.74 - -0.54. Suppose 3*z + 12 = x, 5*x + 2*z + 12 = -13. Sort x, o, r in increasing order.
x, r, o
Suppose 2*x + 0*x - 4 = 0. Let t = -3 + 2. Let m = t + 1. Sort -3, x, m.
-3, m, x
Let l = 7 + -4. Let h = l - 6. Sort 0.03, h, 4 in decreasing order.
4, 0.03, h
Let c(q) = -q**3 + 2*q**2. Let h be c(2). Sort h, -0.1, 3 in increasing order.
-0.1, h, 3
Let h = 1.2 + -1. Suppose -7*z + 5*l = -5*z + 5, 3*z + 3*l - 24 = 0. Sort h, z, -0.5 in decreasing order.
z, h, -0.5
Let f = -151/4 - -1637/44. Let v = -1 - -0.6. Let t be -2 - (1 - (-17)/(-7)). Sort v, t, f in ascending order.
t, f, v
Let u(j) = j - 1. Suppose -6*b + b - 10 = 0. Let a = 0 - b. Let c be u(a). Put c, 5, -5 in ascending order.
-5, c, 5
Let v(t) = 2*t + 7. Let d be v(-6). Suppose 4*u + 2 = 2*m - 8, -m + 5*u = -5. Put m, -2, d in descending order.
m, -2, d
Let w be (-27)/45 + 36/10. Suppose 1 = w*a + 10. Sort 0.3, -0.5, a in increasing order.
a, -0.5, 0.3
Suppose 3*u = u + 3*c + 3, 5*u + 6 = 3*c. Suppose -5*o + 5*h + 30 = 0, 5*o - 2*h - 21 = -0*o. Sort o, 5, u in descending order.
5, o, u
Let b = -28055/9 + 3112. Let q = 5 + b. Let r = 33 - 32.8. Put -2, q, r in descending order.
r, q, -2
Let g = -9 + 9.12. Let u = g + 0.88. Sort -3/7, -3, u in decreasing order.
u, -3/7, -3
Let d(g) = g - 10. Let k be d(8). Let p = -12 + 8. Put k, p, -1 in descending order.
-1, k, p
Let w be 10/3*(1 + -4). Let a be (-2)/(-4) - 5/w. Sort a, 2, 7 in decreasing order.
7, 2, a
Suppose 5*v + 1 = -4. Let x be -2 - (v - 1 - 9). Let b be (24/x)/((-6)/(-9)). Put b, 0.5, 4/7 in descending order.
b, 4/7, 0.5
Let p(k) = -k**3 - 5*k**2 + 7*k - 2. Let t be p(-6). Let m(a) = a**3 + 9*a**2 + 9*a + 1. Let j be m(t). Let z = -2 - j. Put 1, -2, z in decreasing order.
z, 1, -2
Suppose -3*t = -6*t + 9. Put t, -4, 4 in descending order.
4, t, -4
Let j = -5.6 - -0.6. Let c = 32/7 - 181/35. Sort j, c, -0.1 in increasing order.
j, c, -0.1
Let x = -21 + 21.4. Sort x, -2, -2/3 in descending order.
x, -2/3, -2
Let u = 5 + -7. Suppose -3*z - 8 - 1 = 0. Let c be u/8 - (3 + z). Sort c, 0.2, 2/13 in descending order.
0.2, 2/13, c
Let w(v) = 2*v + 4. Let y be w(5). Let n = y - 10. Suppose 5*m = -2*k - 16, -m + 3*k = 2*m - 3. Put m, n, -1 in descending order.
n, -1, m
Let c be ((-2)/5)/((-3)/15). Suppose v = -c*v + 15. Let x = -55 + 50. Sort -1, x, v in decreasing order.
v, -1, x
Let x be 105/(-33) + 2 - -1. Put 0, -2/9, x in ascending order.
-2/9, x, 0
Let u = 0.68 + -0.8. Let q = -0.88 + u. Put -2/13, q, 3 in descending order.
3, -2/13, q
Suppose -3*m - 3 = -3*k, -4*k + 36 = 3*m + m. Suppose -q - 15 = 2*q. Put q, m, 5 in descending order.
5, m, q
Let f = -455/8 - -57. Sort 0.4, f, 5 in descending order.
5, 0.4, f
Let p(z) = 2*z**2 - z - 1. Let m be p(-1). Suppose 0 = 5*o - 2*x + 1, -5*o + 5 = -4*x + 2. Let n = 9 + -5. Sort m, o, n.
o, m, n
Suppose 5*k = -15, l + 4*k = -4*l - 32. Suppose -6 = -3*v - 21. Sort 1, v, l.
v, l, 1
Let o be (-144)/(-68) + (-2 - 0). Put 2/15, o, -2/5 in decreasing order.
2/15, o, -2/5
Suppose 2*f + 35 = -3*f. Let l = -6 - f. Put l, 5, 4 in descending order.
5, 4, l
Let x(o) = -o - 2 + 2*o - 8. Let g be x(8). Put g, -5, -4 in decreasing order.
g, -4, -5
Suppose p + 5*r = -0*p - 17, 4*p + 2*r - 4 = 0. Suppose -m = -p*l - 14, -2*l = -0*m + 3*m + 2. Let c be 2/3*(-24)/l. Put c, 1, -0.5 in increasing order.
-0.5, 1, c
Let r be (16/32)/((-1)/(-2)). Sort -6, -1, r in descending order.
r, -1, -6
Suppose 0 = -0*d + d - 0*d. Let o(r) = r + 7. Let p be o(-8). Sort p, -5, d in descending order.
d, p, -5
Let n(x) = -x**3 - 11*x**2 - 10*x + 1. Let h be n(-10). Let s be ((0/(-1))/(-2))/1. Put h, -4, s in ascending order.
-4, s, h
Let w be 6 + -2 + -1 + -3. Sort 2/7, 2, w in increasing order.
w, 2/7, 2
Suppose 16 = 3*w - 7*w. Let b = w - -3. Let s(t) = -t. Let i be s(-4). Sort -2, i, b in descending order.
i, b, -2
Suppose -2*c = -3*r - 11, 3*c + 4*r = -0*r - 9. Put -10, -2, c in descending order.
c, -2, -10
Suppose -2*n - 12 = n. 