83 + -1505. Sort 3, m, 9 in descending order.
9, 3, m
Let p be 156/15 - (-2)/(-5). Let q be -2*1 - (-14)/p. Let m = 270 + -266. Put m, 1, q in increasing order.
q, 1, m
Suppose 594883 - 1563069 = -2*m. Let o = m + -318049238/657. Let n = o + -1/73. Sort 1/8, -3/2, n.
-3/2, n, 1/8
Let m be (-332)/(-6) + (-24)/(-9) + -2. Let d = 60 - m. Sort d, 2, -5, -4 in descending order.
d, 2, -4, -5
Let q be ((-6)/(-4))/((-445)/150 - -3). Let c = q - 44. Put c, -12, -3 in descending order.
c, -3, -12
Let t = -0.2 + -0.3. Let p be (940/52 - 18) + 62/(-130). Suppose -5*o = 2*q, 4*q + o = 2 - 20. Put p, t, q in ascending order.
q, t, p
Let x(n) be the first derivative of 5*n**2/2 - n + 10. Let i be x(0). Let a = -2 - 0. Sort a, -3, i in descending order.
i, a, -3
Let u = 0.061 - -71.939. Let t = -72.2 + u. Put t, 1, -0.04 in increasing order.
t, -0.04, 1
Let b = -336 + 337. Sort 32, 4, 0.3, b in decreasing order.
32, 4, b, 0.3
Let z = -27 - -29. Suppose -6 - 6 = 4*r + 2*q, -z*r - 4*q = -6. Sort -2, r, 3 in ascending order.
r, -2, 3
Suppose -3*l + o + 10 = 0, -61*o + 64*o = -2*l + 25. Sort 9, 0.5, -5, l in increasing order.
-5, 0.5, l, 9
Let r = -380 + 382. Let h = 5 + -5. Put r, -1/3, h in decreasing order.
r, h, -1/3
Let q be (-6)/2 + 2 + -4. Sort -6, -3, -2, q in decreasing order.
-2, -3, q, -6
Let x = -292 - -293. Let a be (-4 - -4)*1/2. Suppose -3*b - 5*s - 9 + 21 = a, 3*s = 9. Sort -3, b, x in descending order.
x, b, -3
Suppose -9*z = -133 + 385. Suppose 0 = 4*f + 4*c - 132, -5*f + 6*c + 147 = 2*c. Let b = f + z. Put 1, -1, b in decreasing order.
b, 1, -1
Suppose 8 = 2*q + f, -5*f + 12 = 3*q - 0*f. Let j be (-24)/40 + (-12)/5. Put q, 2, j in increasing order.
j, 2, q
Let l(i) = -3*i + 2. Let o be l(-1). Suppose 4*j - 25 + o = 0. Sort j, -3, 2 in increasing order.
-3, 2, j
Suppose -86*q + 90*q = -3*g - 26, -2*q = 10. Put -5, 35, g, -4 in decreasing order.
35, g, -4, -5
Let t(i) = -2*i**3 - 7*i**2 + 6*i + 4. Let p be t(-4). Let u be ((-27)/(-6) + p)*8. Put -5, 5, u, -3 in descending order.
5, u, -3, -5
Suppose 12*h - 7*h - 40 = 0. Sort 3, h, -4.
-4, 3, h
Let t be 7/((-21)/6) - -8. Let s = -115 + 114. Put -2, s, t in increasing order.
-2, s, t
Suppose -u - 2*s = -5*u - 24, 24 = -5*u + s. Let j be (-13)/(-3) - 4/(-6). Suppose 30 = 2*c - j*z, -2*z + 4*z + 3 = -c. Sort c, 3, u.
u, 3, c
Suppose -v - 4 = 0, 0 = -14*s + 19*s + 4*v - 174. Sort s, -4, 0 in increasing order.
-4, 0, s
Let c = -237/4 - -59. Suppose 0 = 3*i - 9 - 0. Sort c, -2/11, i, -0.3 in ascending order.
-0.3, c, -2/11, i
Let h be (9/12)/((-17)/(-68)). Sort h, -2, -91, -3 in decreasing order.
h, -2, -3, -91
Let q be (4 - -5)/3 + 33/(-12). Sort -5, -4/9, q, -4 in descending order.
q, -4/9, -4, -5
Suppose -5*u + 17 = 2*a, -4*a = 2*u + 2*u - 4. Put a, 43, -2 in decreasing order.
43, -2, a
Let d be (48/(-60))/((-12)/(-30)). Sort -304, 0, d in decreasing order.
0, d, -304
Suppose 2*s = -5 + 25. Let d(v) = -4*v + 2. Let a be d(s). Let i be a/14 + 28/(-98). Put 2, 3, i in ascending order.
i, 2, 3
Suppose -2*m + 2*i - 13 = 15, 0 = -5*m - 2*i - 105. Sort -2, m, -3 in descending order.
-2, -3, m
Let l = -31 - -36. Sort 2, l, 9, 1.
1, 2, l, 9
Let c be 1*-5 + (-612)/(-68). Sort 0, c, 2, -2/9 in decreasing order.
c, 2, 0, -2/9
Let v be 2/11 - 180/264. Let a = -19 - -11. Let u = -12 + 15. Put a, v, u in descending order.
u, v, a
Suppose -72*t - 10 = -70*t. Let c = 7 - 4. Let k be c*(15/9 + -1). Put t, -3, k in ascending order.
t, -3, k
Let s be (2 + 2 + -17)*8/(-52). Put 124, -4, s in descending order.
124, s, -4
Let n = -47765 + 47766. Let x = 1 + -1. Sort 3, x, n in descending order.
3, n, x
Let g = 109 + -105. Sort g, -9, -1 in decreasing order.
g, -1, -9
Let d be (1 + (-5 - -7))*(-6)/63. Let r = -3.02 - -0.02. Sort r, -5, d in decreasing order.
d, r, -5
Let p = 21.6 + -109.6. Let b = 87 + p. Let n = 0.29 - 0.4. Put 1/10, n, b in increasing order.
b, n, 1/10
Let j be (-7 - -1)*(-16)/24. Let x be (-6)/j*(-4)/30. Let u = 0.365 + -0.865. Put x, 0.5, u in decreasing order.
0.5, x, u
Suppose -318 = -3*d - 333. Sort d, -4, 5, 0 in decreasing order.
5, 0, -4, d
Let j = -710 - -711. Sort 0.04, j, 0.
0, 0.04, j
Let g(k) = -7*k**2 + 18*k + 84. Let j be g(5). Put j, -142, 4 in descending order.
4, j, -142
Let k(p) = p**2 - 5*p - 3. Let u be k(5). Let n be 2 + -1 + -1 + -2. Let j be (-48)/42 + ((-68)/14 - -5). Put j, u, n in increasing order.
u, n, j
Let r = 2 + -7. Let v(q) = -6 + 0*q**2 - 11*q - 2*q**2 + 2*q**2 - q**2. Let d be v(-10). Sort d, r, 2 in decreasing order.
d, 2, r
Let c = 1 + -6. Let s be 184/161 + (-64)/56. Put c, 2, s in descending order.
2, s, c
Suppose 0 = 3*o - 15, -5*k - 4*o + 20 = -k. Suppose 4*l + j - 28 = k, 6*l - l = 3*j + 18. Suppose -5*p - 4 - 14 = 3*z, 9*p + z + 6 = 0. Sort 4, p, l.
p, 4, l
Let b = 6 - 8. Let m be 6/33 + 120/66. Sort m, b, -3 in descending order.
m, b, -3
Let t(a) = -2*a - 7. Let q be t(-4). Suppose 0 = -3*w + 12, 0*o = -o + w - 5. Sort q, -4, 0, o in ascending order.
-4, o, 0, q
Let o = -89 + 84. Let i = 6.2 + -6.4. Sort 1/12, i, o in descending order.
1/12, i, o
Let g be (36/63)/((-42)/49). Let h = 10 + -7. Sort g, -0.1, h, -5/2.
-5/2, g, -0.1, h
Let c(y) = 16*y + 156. Let z be c(-10). Put 0, z, 0.01, 1/5 in decreasing order.
1/5, 0.01, 0, z
Let l = 45 + -44. Suppose -l + 5 = -2*c. Put -0.1, 4, c, -1 in ascending order.
c, -1, -0.1, 4
Let t = -0.2 + 0.1. Suppose 4*w = -2*z - 4, -w + 6 + 2 = -z. Put t, z, -1/4, 0.1 in increasing order.
z, -1/4, t, 0.1
Let n be ((-16)/(-6))/(-2 - 0). Let x = -27 + 26.842. Let y = 0.042 - x. Sort -0.5, y, n in decreasing order.
y, -0.5, n
Let f = 0 + 0. Suppose 4*o = -4*y - 4, 4*o - 2*y - 24 = y. Suppose -v - 7 = 4*c, -v - 2*c = o + 2. Put v, -2, f in descending order.
f, -2, v
Let v = 6 + -4. Suppose 5*a = v*h - 33, -3*a + 10 - 41 = -4*h. Sort 4, a, 2.
a, 2, 4
Let f = -20.78 - -7.9. Let h = 13 + f. Let v = h + -5.12. Sort 1/15, v, 3 in descending order.
3, 1/15, v
Let h = -31 - -28. Let l be (8/36)/(4/h). Sort -4/3, 2/13, l, -1 in ascending order.
-4/3, -1, l, 2/13
Let h be (-10)/(-4) - (7/(-7))/2. Put -5, -41, h in ascending order.
-41, -5, h
Suppose o = -4*g + 2, 2*o + 2*g = 3*g + 13. Suppose v = -i - 7, 2*v = -3*i + o - 24. Sort -2, v, 8.
v, -2, 8
Let g be (-1)/4*(2 + -3). Suppose 0 = -2*i - 3*d + 13, i = -3*i + 4*d + 16. Sort -4, 2, g, i.
-4, g, 2, i
Suppose -4*j = -8*j + 24. Let r be (-9)/2*(-2)/j. Let c = -58 - -56. Sort c, r, 0.1 in descending order.
r, 0.1, c
Let i = 138 - 119.4. Let a = -19 + i. Let l = 0.2 - 0.7. Sort a, l, 2/21.
l, a, 2/21
Let s = -6.6 + 6.604. Let d = s - -15.996. Put -4, d, 5, -5 in descending order.
d, 5, -4, -5
Let v be 6/(-16)*1*2. Let d = 0.5849 - 0.2849. Sort -5, d, v, -0.5 in decreasing order.
d, -0.5, v, -5
Let n = 0.015 + -0.345. Let a = n + -0.67. Sort 0.4, -3/5, a in decreasing order.
0.4, -3/5, a
Let u be 12/(-8)*(-4)/(-12)*10. Put -2, -4, u in descending order.
-2, -4, u
Let h = 159.3 + -164.3. Let u = -2 - -2.1. Put 2/5, u, h in descending order.
2/5, u, h
Let t = -904 + 860.7. Let i = t + 43. Put 3/5, i, -1 in ascending order.
-1, i, 3/5
Let a = 0.061 - 26.061. Let i = a - -28. Put i, 0, 0.1 in decreasing order.
i, 0.1, 0
Let f = -1702 + 1807. Sort 0, -4, f, 3 in increasing order.
-4, 0, 3, f
Suppose 4*v = 3*n + 1 + 9, -13 = 5*n - 3*v. Sort n, -6, -4 in decreasing order.
n, -4, -6
Let j = 31 + 28. Let d = -59 + j. Sort d, -2, -3, 6 in descending order.
6, d, -2, -3
Suppose 0 = -250*n + 253*n + 27. Sort -5, -38, n in decreasing order.
-5, n, -38
Suppose 0*t = 4*t + 100. Let a = 30 + t. Let n = -1 + a. Put -4, n, -1 in descending order.
n, -1, -4
Let u be 40/(-16)*(-8)/(-10). Let k be 1/(3/(-4))*24/(-8). Put 3, k, u in increasing order.
u, 3, k
Let d = 15 + -18. Let t be (-20)/(-32) - d/(-12). Put 1, t, -0.1 in descending order.
1, t, -0.1
Suppose 152*r = 155*r - 312. Sort r, 4, 2 in descending order.
r, 4, 2
Let k = -22 + 45. Let i = k + -20. Put -1, 2, i in increasing order.
-1, 2, i
Suppose -24*j + 8*j = -32. Suppose -5 = -y + q, -6 = -0*y + 2*y + j*q. Sort 4, -2, 3, y in ascending order.
-2, y, 3, 4
Let z = 0.11 + 0.247. Let h = 0.057 - z. Sort 2, 0.4, h.
h, 0.4, 2
Let x = -0.84 + -0.16. Let q be -1 + 2 + 63/(-49). Sort -0.11, -4, x, q.
-4, x, q, -0.11
Let a = 2.71 - 2.21. Sort 1, a, 0.1, 1/7.
