 176 - 173. Sort k, 6, 1, -1 in descending order.
6, k, 1, -1
Let p = 1274.9 - 1275. Put -1/4, p, 34 in decreasing order.
34, p, -1/4
Let k = -464/63 - -50/7. Let w(x) = x**3 - 5*x**2 - 5*x - 7. Let y be w(6). Let t be y + -1 - 21/(-15). Put t, -0.3, k in descending order.
k, -0.3, t
Suppose 0 = 2*i + 2*q + 2, 10*q - 5*q = 5*i - 15. Sort i, 0, -6 in descending order.
i, 0, -6
Let i = 519 - 517. Suppose -4*q + 20 - 8 = 0. Put q, -1/2, i in decreasing order.
q, i, -1/2
Suppose 7*s - 10*s = -132. Let y be (-33)/s - (-95)/4. Put -5, 3, y in descending order.
y, 3, -5
Let r(a) = 3*a - 18. Let z be r(17). Suppose 0 = -5*n + z + 7. Put n, -5, -0.5 in increasing order.
-5, -0.5, n
Suppose -5*c = 0, -7*t + 2*t = -c. Let v be (420/(-490))/(6/(-14)). Put v, t, -5 in increasing order.
-5, t, v
Let n = -26 + 29. Suppose -9*p - 20 = -11*p + 4*f, 4*p + 5*f + 25 = 0. Sort n, -4, p.
-4, p, n
Suppose 0*z + 7*z + 28 = 0. Put -2, 111, 4, z in ascending order.
z, -2, 4, 111
Let s be 21/90 - (-2 - 24/(-10)). Let p = 0.03 + 4.97. Put s, -3, p in increasing order.
-3, s, p
Suppose 1 = 4*t - 7. Let u = 65 - 44. Suppose -u*v - 4 = -17*v. Put t, v, -4 in decreasing order.
t, v, -4
Let u = -11 - -7. Let c = -73 + 78. Suppose -c*s + 25 = 4*m, 5*s - 1 = -3*m + 19. Put -2, u, s in descending order.
s, -2, u
Let m = 87.9 - 85.5. Put -6, m, -4/7, 0.3 in increasing order.
-6, -4/7, 0.3, m
Suppose -s - 7 - 8 = 0. Suppose -6 = 2*w, -5*l + w = -4 + 21. Let z be (s/(-12))/((-1)/l). Put 2/7, 1/4, z in descending order.
z, 2/7, 1/4
Suppose 3*l + 7 - 4 = 0. Suppose 2*x - 4*r + 6 + 0 = 0, 5*x - r = 3. Sort x, 0, l in decreasing order.
x, 0, l
Suppose 0 = 8*j - 3*j. Suppose 2*s - 3*p + 20 = -8*p, -30 = 3*s + 14*p. Put j, 3, s in decreasing order.
3, j, s
Let b(t) = t**3 - 27*t**2 - 6*t + 144. Let q be b(27). Put q, 5, -1, 1 in ascending order.
q, -1, 1, 5
Let y = -0.2 + 0.1. Let w = -148 + 242. Let a = w + -87. Sort a, 1/6, y in increasing order.
y, 1/6, a
Let i be -2 + (-17 - -15) + 34/12. Sort i, 0, 2, 0.2 in increasing order.
i, 0, 0.2, 2
Let h = -32.36 + 32.4. Sort 0.7, h, 0 in increasing order.
0, h, 0.7
Suppose -8*z = -5*z - 15. Suppose -d - 3*f = -2*d + 11, -4*d - f = -z. Sort -0.2, -5, d, -3 in ascending order.
-5, -3, -0.2, d
Suppose z = -3*f - 6, -5*z - 12 = -4*z - 3*f. Let s be (6 + z)*(-1 + 2). Sort -9, -4, s in decreasing order.
s, -4, -9
Let j = 2.24 + -1.74. Put j, 45, -1, -2 in decreasing order.
45, j, -1, -2
Let p = 99 - 83.7. Let i = p + -17. Let x = i + -2.3. Sort 0.3, -5, x in ascending order.
-5, x, 0.3
Let f = -28.1 + 27.9. Suppose 35 = -7*c + 2*c. Let g be (1/c)/((-6)/(-12)). Sort f, g, -1 in decreasing order.
f, g, -1
Let q = 15 - 18. Suppose -22 = -2*b + 2*p, -2*p - 6 = -0. Let h be b + -5 + -4*1. Sort -12, h, q.
-12, q, h
Suppose 32*l - 34*l = 0. Let r = 3 - 5. Let h = 4 - 2. Put r, l, h in increasing order.
r, l, h
Suppose -7*z + 7048 = 7405. Sort 5, z, 2 in ascending order.
z, 2, 5
Let h(s) = -s + 4. Let i be h(4). Suppose -5*z + 5 = -i. Suppose 4*b = -3*a + 21, -5*a - 3*b = -0*b - 24. Sort z, 4, a.
z, a, 4
Let r = 0.04 + -0.94. Let a = -1.7 - r. Let w = 0.9 + a. Sort w, -0.1, 0.5.
-0.1, w, 0.5
Let n(u) = -2*u + 13 - 4*u + 5*u. Let h be (-48)/(-5) + (12/10)/(-2). Let k be n(h). Put k, -3, -1 in ascending order.
-3, -1, k
Let z = 109 - 109. Suppose z*x + 242 = 11*x. Sort 2, -4, 1, x in decreasing order.
x, 2, 1, -4
Let q be 725/175 - 1/(5 - -2). Let b be 0/(-3) + -6 + 0. Put -4, q, b in descending order.
q, -4, b
Let l = 0.124 - 0.024. Let a = 2/257 - -249/1028. Sort l, 0.4, -0.1, a in increasing order.
-0.1, l, a, 0.4
Let l(w) = w**3 + 13*w**2 + 19*w - 30. Let u be l(-11). Suppose -k = -s, -k + 3 = -0*k - 2*s. Sort k, -6, u in descending order.
u, k, -6
Let m = -4 - -4. Suppose 6*o - 9*o = 4*c - 15, c = 0. Sort -2, m, 2, o in decreasing order.
o, 2, m, -2
Let n be -72*((-46)/(-4) - 12). Sort -3, 3, n, -4 in ascending order.
-4, -3, 3, n
Suppose 426*j - 436*j + 30 = 0. Sort 4/7, 0.35, 0.2, j in increasing order.
0.2, 0.35, 4/7, j
Let i be (-88)/90 + 50/(-225). Sort -2, 4, i in descending order.
4, i, -2
Let i = -21 + 19. Let q = i - 1. Suppose -5 = -9*a + 8*a. Put q, 1, a in increasing order.
q, 1, a
Suppose 15*x + 2*x - 17 = 0. Sort -1, x, 2, 23 in ascending order.
-1, x, 2, 23
Suppose 4*r + 36 = 44. Sort 6, r, -3, -30 in decreasing order.
6, r, -3, -30
Suppose 5*x - 3*c = -10, c - 5*c = 0. Sort 14, -1, x.
x, -1, 14
Let z(x) = -x + 9. Let o be z(7). Let d be (-8)/(-10)*5/o. Let a = -1 - d. Put a, 4, -2 in descending order.
4, -2, a
Let b = -500 + 500.2. Sort -0.2, -7, b in ascending order.
-7, -0.2, b
Let s = -960 + 950.4. Put 2/3, s, 3/8 in increasing order.
s, 3/8, 2/3
Let x(i) = -i**3 - 14*i**2 - 13*i + 2. Let n be x(-13). Suppose 0 = -50*y + 45*y - 5*c + 15, -16 = -4*c. Sort n, y, 3 in decreasing order.
3, n, y
Let y = 358.03 + -353. Let m = -0.22 + 0.19. Let u = m + y. Put u, 4, -0.5 in decreasing order.
u, 4, -0.5
Let y = -9.111 - -14.072. Let x = y - -0.039. Sort x, 4, -14.
-14, 4, x
Let y = -55.916 + -0.084. Let n = 55.9 + y. Sort 0, -0.68, n.
-0.68, n, 0
Let c = 10.03 - 10.33. Sort -6, c, -4, -17 in descending order.
c, -4, -6, -17
Let t = 5 + -13. Let r = t + 2. Let k = -8 - r. Sort -0.1, -0.2, k.
k, -0.2, -0.1
Let r = 63.5 - 133. Let h = 58 + r. Let y = h + 11. Sort -3, 2, y in descending order.
2, y, -3
Let a = 13 + -13. Let q(v) = v**2 + v + 3. Let s be q(a). Put -1, s, 1 in decreasing order.
s, 1, -1
Let s = -37 - -19. Let y = s + 13. Let c = -3 - y. Sort -8, -0.1, c.
-8, -0.1, c
Suppose 3095 - 3113 = -6*v. Sort -167, -4, v in increasing order.
-167, -4, v
Let k = 18 + -16. Let w be ((-104)/(-36))/(-13) + 0 + 0. Sort k, -0.4, w in ascending order.
-0.4, w, k
Let i = -15 - -12. Let a(t) = 2*t**2 + t**3 - 3*t + 0*t**2 + 0*t - 1. Let b be a(i). Put -5, 4, b in increasing order.
-5, b, 4
Suppose 16*r + 1 = 1. Suppose p - 2*g = -r*g + 6, -4*p + 5*g + 15 = 0. Put p, -3, -2, 1 in descending order.
1, p, -2, -3
Let r = -159 - -165. Let w = 9 - r. Sort -1, 0, 1, w in descending order.
w, 1, 0, -1
Suppose 0 = 4*s - 20, y + 120 = 2*s + 13. Sort -3, -2, 0, y in decreasing order.
0, -2, -3, y
Let c(g) = -77*g - 154. Let s be c(-2). Sort -4, 5, s, 2.
-4, s, 2, 5
Let w be 7 + (-4)/(-5)*5/(-2). Let d be 1 + w + -3 - 25/10. Put 0.1, d, 0.06 in increasing order.
0.06, 0.1, d
Suppose -4*v + 10 = -u, -2*u = -3*v - 2 - 3. Let r be ((-2)/1 + u)/1. Let f = 13 - r. Put 0, -4, f in descending order.
f, 0, -4
Let w = -0.4 - 0. Suppose 0 = -2*p - l + 11, 0*p - 4*l = -2*p + 36. Suppose -12 = 4*c - p*c. Put c, w, -2 in ascending order.
-2, w, c
Let a(r) = -2*r - 19. Let v be a(-13). Sort 4, v, 3 in descending order.
v, 4, 3
Let b = -12 + 10. Let i be (-6)/5*(-40)/6. Suppose 5*m = -i*y + 3*y, -5*y = 4*m + 5. Put b, 0, y in ascending order.
y, b, 0
Let u be (-4)/(16/(-2))*-2 + 6. Put -310, u, 1 in descending order.
u, 1, -310
Let g be (3/(-4))/(9/(-16)). Let i(k) = k**3 - 16*k**2 + 15*k - 3. Let x be i(15). Sort x, -1/5, g in ascending order.
x, -1/5, g
Let y(b) = -b + 4. Let r be y(4). Let p = 64 + -49. Let c be 3/2*10*2/p. Put r, -4, c in decreasing order.
c, r, -4
Let d be -1*1/(-3 + 2). Sort d, 1/5, -2/5 in ascending order.
-2/5, 1/5, d
Suppose p + p + 40 = n, 3*p + 67 = 5*n. Let o be ((-26)/10)/((-3)/15). Let g = p + o. Sort g, -5, -1 in ascending order.
g, -5, -1
Suppose 2*r - 7 = 3*s - 4*s, -2*r + 2 = 0. Put 3, -7, 1, s in decreasing order.
s, 3, 1, -7
Let k(l) = -l + 8. Let w be k(9). Let c be (-40)/48 - -1 - (-4)/(-4). Put c, 2, -9, w in decreasing order.
2, c, w, -9
Let r(h) = 29*h**3 - h**2 + 3*h - 1. Let s be r(1). Suppose -74*b - s = -79*b. Put b, -5, 3, 1 in ascending order.
-5, 1, 3, b
Let r = 171 - 171.3. Put -2, 5/14, r in increasing order.
-2, r, 5/14
Suppose 5*x - 5*s = -25, 3*x - x + 2*s + 6 = 0. Let g = 5.09 - 0.09. Let t = -33 + 33. Sort t, x, g in descending order.
g, t, x
Let d be (-52)/(-165) + -1*1/3. Let w = d + 58/165. Let r = 3 - 2.9. Put 5/2, w, r in increasing order.
r, w, 5/2
Let k = -27 + 12. Let z be (-1 - -4)*(-20)/k. Let u = 0 + 0. Sort 1, u, z.
u, 1, z
Suppose 3 = h - 0*h. Suppose -h*w + 3 = 18. Sort 3, 4, w.
w, 3, 4
Let g = -62.7 - -58. Let s = g + 5. Sort -1, 5, s, -5 in descending order.
5, s, -1, -5
Let m = -18 + 16. Let v = 0.24