, -5
Let v = -38/17 + 392/221. Let h = 1536 - 1539. Sort 2, h, v in descending order.
2, v, h
Suppose 2*s + 1 = d, -10 = -s + d - 8. Put -79, 2, s in ascending order.
-79, s, 2
Suppose 0 = -7*k + 42 - 7. Sort 6, -2, k in increasing order.
-2, k, 6
Let o = 0.04 + -0.44. Let y be -3 + 3/6*14. Suppose -b = -4*x + 9, -4*x = -6*x - y*b - 18. Sort -3, o, x in decreasing order.
x, o, -3
Suppose -m - 7 = -2. Let d be (-1)/m - (-295)/25. Suppose -3*c = -4*x - d, c + 0*c - 4 = 3*x. Sort 5, x, -1 in decreasing order.
5, x, -1
Let n = 20.08 - 0.08. Sort 5, 0.3, 0.2, n in descending order.
n, 5, 0.3, 0.2
Let h = -272 - -269. Put 0.1, h, 10, -2/3 in decreasing order.
10, 0.1, -2/3, h
Let c(n) = 3*n**2 - 3*n - 4. Let l be c(4). Suppose l*s - 37*s - 15 = 0. Sort 7, 2, s, 4 in increasing order.
s, 2, 4, 7
Suppose 32*l + 36 = 36*l. Suppose l = -3*r, -3*r + 0*r - 11 = -2*z. Sort -1, -3, 4, z in descending order.
4, z, -1, -3
Let w be (-12)/(-84) + 6/7. Put 2, -37, 5, w in descending order.
5, 2, w, -37
Let g be (35 + -25)*1*1/2. Put 0.12, 0.9, g in ascending order.
0.12, 0.9, g
Let m(j) = j**3 - 9*j**2 + 7*j + 6. Let o be m(8). Let y be o/3*(-27)/(-72)*12. Sort y, -2, 0, 4 in ascending order.
y, -2, 0, 4
Let j = 27 + -5. Let y = 107 - 104. Sort j, -2, 3/5, y in increasing order.
-2, 3/5, y, j
Let o = 9 - 13. Let f(m) = m**2 + 4*m - 13. Let r be f(-6). Put -5, 0, r, o in descending order.
0, r, o, -5
Let s be (-11 + 5)*1/(-2) - 8. Let b = 0.7 - 1.2. Sort s, -4, b, 6 in ascending order.
s, -4, b, 6
Let c = 71 + -120. Let k = c + 33. Let b = 17 + k. Sort b, -0.5, -5.
-5, -0.5, b
Let d = -31.4 - -36.4. Let a = 19 - 7. Put d, 0, 0.5, a in ascending order.
0, 0.5, d, a
Let w be ((-415)/10)/((-1)/(-2)). Let k = w - -497/6. Let m = -80 + 76. Sort 0.3, m, k in ascending order.
m, k, 0.3
Suppose 660 = 7*m + 3*m. Let v = m - 61. Sort 1, 2, v in ascending order.
1, 2, v
Let z(i) = 7*i**2 + 93*i + 30. Let j be z(-13). Put 39, j, -5 in decreasing order.
39, j, -5
Let v = -0.027 + -2.973. Let q = 13 - 51/4. Sort -5, q, v.
-5, v, q
Let j be (3/2)/(6/(-8)). Suppose 0 = -5*h - 0*o + 3*o + 79, o + 17 = h. Suppose -4*r - 3*k = -h, -r - r - 2*k = -8. Sort 0, r, j.
j, 0, r
Let o(n) = n**3 - 6*n**2 + 3*n + 6. Let j be o(5). Let d = -40 + 35. Sort j, 9, d in decreasing order.
9, j, d
Let o = -9 + 9. Suppose -2*g = -o - 6. Suppose f + 7 = 3*f - g*x, -2*x = 4*f + 10. Put f, 1, 0 in descending order.
1, 0, f
Let t be (-4)/(-3) - (-28)/42. Let o be (-12)/9*(-1 - t). Suppose -o*g + 3*u = -0*u + 55, u + 3 = 0. Sort 0, g, 2.
g, 0, 2
Let p(w) = -9*w**2 - 14*w + 29. Let y(n) = 5*n**2 + 7*n - 15. Let b(q) = -6*p(q) - 11*y(q). Let m be b(6). Let j = 830 + -831. Put j, -5, m in increasing order.
-5, m, j
Suppose -2*r + 2 = 0, 2*r = 36*k - 38*k - 4. Sort k, -2, 8 in ascending order.
k, -2, 8
Let d(y) = 3*y**2 - 2*y - 1. Let w be d(-1). Suppose -10 = -5*f, 5*l = 10*l - 3*f - 4. Sort 1, w, -5, l in increasing order.
-5, 1, l, w
Let q = 4.4 + -0.8. Let k = -3.4 + q. Put k, 20, -2/5 in ascending order.
-2/5, k, 20
Let x = 192.8 + -189.8. Put 2/3, 9, -0.3, x in decreasing order.
9, x, 2/3, -0.3
Let l(r) = 2*r**2 + 7*r - 3. Let o be l(-3). Sort o, 2, -8, 0.1 in decreasing order.
2, 0.1, o, -8
Suppose w = q - 7, 5*w - 245 = 2*q - 271. Put -3, w, 5, -19 in ascending order.
-19, w, -3, 5
Suppose 0 = -3*m + 4 + 11. Suppose 5*o + m = 0, 4*j + 2*o = 7*o + 5. Sort 7, -3, j in descending order.
7, j, -3
Suppose 0 = 3*p + 15, -3*p - 383 = 5*b + 232. Put b, 1, -1 in increasing order.
b, -1, 1
Let s = 1 - 4. Suppose -13*l - 9*l = -44. Sort -8, l, s.
-8, s, l
Let w(c) be the second derivative of -2*c**3/3 - 3*c**2 + 4*c. Let u be w(-2). Put u, -2, -5 in descending order.
u, -2, -5
Let h = -1 - 0. Let x = 71 + -70.63. Let r = 0.17 - x. Sort 0.2, h, r.
h, r, 0.2
Let o = -3 - 1. Let b = 5 - o. Suppose 4*x - 4*c - 6 = c, -x - b = 4*c. Put x, 0, 5 in descending order.
5, 0, x
Suppose 5*g + 37 = g - 5*n, -g = -4*n - 17. Sort 1, 22, g in descending order.
22, 1, g
Suppose -3*q + 6*x - 7*x + 4 = 0, 5 = 4*q + x. Let p(w) = -w**3 + w**2. Let i be p(1). Let o be (2 - 0)/1 - i. Sort 5, o, q in decreasing order.
5, o, q
Let v = -1120 + 1125. Sort -10, v, -5, 4.
-10, -5, 4, v
Suppose -5*p = 0, -s + 2*p = 5*p - 6. Let q be s + (5 + -6)*(2 + -3). Sort -1, -5, 5, q in descending order.
q, 5, -1, -5
Let b(m) = -m + 2. Let g be b(2). Let d be (12/10)/((-4)/30) - (1 - 6). Sort g, 5, d in descending order.
5, g, d
Let v be 2/(-6) + (-66)/(-198). Put 143, v, 3 in descending order.
143, 3, v
Let z be ((-6)/(-33))/(279/341). Sort z, 2.25, 0.5.
z, 0.5, 2.25
Let c = 4 + -5. Let w = 253/8 - 32. Sort 3, c, w.
c, w, 3
Let v be 0 - 11 - 342/(-38). Sort -379, 4, v in increasing order.
-379, v, 4
Let q(w) = -3*w**3 + 2*w**2 + w + 2. Let b be q(-2). Suppose b = -4*i + 76. Let d = 5 + -9. Sort i, 0, d in descending order.
i, 0, d
Let f = -172.21 - -173. Let c = 0.95 - f. Sort 3, c, -2/9 in decreasing order.
3, c, -2/9
Let f = 6 - 10. Let k be 6*((-2)/f)/1. Let g(c) = 6*c + 100. Let s be g(-16). Put s, k, 0 in decreasing order.
s, k, 0
Let i = -26 - -23. Let r = 21 - 22. Put r, 0.3, i in descending order.
0.3, r, i
Let l be 3 + -4 + (-24)/(-16). Sort 3, -0.04, l.
-0.04, l, 3
Let l(m) = 3*m - 6. Suppose 0 = -3*r + 12, -23 = -4*u - 3*r - 3. Let c be l(u). Put 3, -2, c, 4 in decreasing order.
4, 3, c, -2
Let b = 1614 - 1610. Put b, -10, -3, 7 in descending order.
7, b, -3, -10
Let s = 15 - 34. Let k = -21 - s. Suppose 2*r = 5*p + 17, 0 = -2*p - 0*p - 10. Put k, r, 3 in descending order.
3, k, r
Suppose 0 = 3*t, -2*i + 4*i = 4*t + 28. Let o be -3 + 1 + i/2. Suppose -3*v + o*k = 19, -26 = -2*v - v - 4*k. Put 5, -5, v in decreasing order.
5, v, -5
Let t be 48/(-18)*1*3. Let s = t + 11. Let k be ((-2)/s)/((-2)/(-15)). Sort k, 1, 0.
k, 0, 1
Let a be -14 - (-1)/((-1)/(-2)). Let g be 3*(-1)/a*4. Let v = 235 + -236. Sort g, v, 4 in increasing order.
v, g, 4
Suppose -27 = -5*a - 7. Suppose 3*b + 0 = -3. Suppose 0 = -3*y + 4*f - 2, 0*y + 4*f = y + 6. Put y, a, b in decreasing order.
a, y, b
Let j(m) = 9*m + 10. Let o be j(-3). Let n be 1/(-2)*(o + 13). Sort n, -6, -1 in descending order.
n, -1, -6
Let a be (-13)/36 + 3/12. Let c = -12023/13 + 925. Sort c, a, 0.2, -1/4 in decreasing order.
0.2, c, a, -1/4
Let p = -241.94 + 242. Sort 5/3, 2/5, 8, p in descending order.
8, 5/3, 2/5, p
Suppose 0 = -2*y - 6, -11 + 15 = -p - y. Sort p, 0, 28, -5.
-5, p, 0, 28
Let r = -310 - -310.3. Sort -0.5, 2/11, r in increasing order.
-0.5, 2/11, r
Let c = 2685 + -2819.3. Let o = 143 + c. Sort 2, -2/5, o in decreasing order.
o, 2, -2/5
Let i = 8 - 14. Let f(u) = -u + 6. Let h(r) = r**3 - 5*r**2 - 4*r - 11. Let b be h(6). Let z be f(b). Sort -1/5, i, z.
i, -1/5, z
Let w = -0.4 + -0.6. Let n = -1030/3 - -343. Sort w, 0.3, -2, n.
-2, w, n, 0.3
Let h be 4/10*5/12*2. Sort -0.3, -5, h, 2/7 in increasing order.
-5, -0.3, 2/7, h
Let l(f) = -f**3 - f**2 + f + 2. Let r be l(0). Let w = 79 - 78.7. Sort r, 0.2, w in ascending order.
0.2, w, r
Let f = 0.01 + 0.19. Let v = 1.851 - 2.051. Put 1/3, v, f, 4/7 in ascending order.
v, f, 1/3, 4/7
Let y(w) = 29*w + 261. Let q be y(-9). Sort q, -32, -5.
-32, -5, q
Let u = 0.198 - 0.698. Sort u, 4, -1/10, -5 in descending order.
4, -1/10, u, -5
Suppose 0 = -2*x - 3*x - 3*n + 25, 0 = -x - 4*n - 12. Suppose -x = -w + 3*w. Suppose 0 = -3*b + 22 - 7. Put b, 11, w in ascending order.
w, b, 11
Let w(h) = h**3 - 5*h**2 + 11*h - 104. Let b be w(6). Put -29, b, -4 in decreasing order.
b, -4, -29
Suppose -3*a + 5 = 6*i - 8*i, 0 = -5*i + 3*a - 17. Sort 0, -2, 5, i.
i, -2, 0, 5
Let z = -2719 - -2718. Sort z, 3, -4, 86 in ascending order.
-4, z, 3, 86
Let l = 1939 - 1875. Put 5, 7, l in descending order.
l, 7, 5
Let u(j) = j**3 + 3*j**2 - 5*j - 1. Let z = 9 + -13. Let c be u(z). Let m = 3 - c. Put m, 4, 1 in decreasing order.
4, 1, m
Let t = 86 - 88. Put 3, 4, -1, t in decreasing order.
4, 3, -1, t
Suppose -5*a - 29 = -2*m - 6, 4*m + a = -9. Put -11, -6, m in increasing order.
-11, -6, m
Let s = -187.1 + 180.1. Sort 2/3, s, -0.3, 0 in increasing order.
s, -0.3, 0, 2/3
Let b = -1583 - -3167/2. Let y(j) = j**2 - 9*j + 3. Let v be y(9). Sort 1, -3, v, b.
-3, b, 1, v
Let r(b) = 3*b + 55. Let n be r(-18). Suppose y + 2*y - 6 = 0. Suppose y*v - 2 - 2 = 0. Sort 5, v, n 