28*m + 76. Let i be f(k). Put -5, -12, i in decreasing order.
i, -5, -12
Suppose 2*v = -2*w, v - 3 = -0*w - 4*w. Let x = 29.969 + 0.031. Let m = x + -31. Put w, m, 3 in increasing order.
m, w, 3
Let c = 777 - 775. Put 4, 5, c, 23 in decreasing order.
23, 5, 4, c
Let l be (3 - 1235/(-15)) + 3. Let g = l + -88. Sort -0.05, g, 2, 0.3 in decreasing order.
2, g, 0.3, -0.05
Suppose -972*a = -1004*a. Let u = 0.2 - 0.2. Let s = u + 1. Put -3/4, s, a in descending order.
s, a, -3/4
Let v = -9 + 17. Let j be (111/(-148))/((1 + 1)/24). Let u = v + j. Put 4, -5, u in ascending order.
-5, u, 4
Let r(x) = 2*x**2 - 17*x + 19. Let t be r(7). Put -0.4, 1.5, t, 1 in ascending order.
t, -0.4, 1, 1.5
Suppose -7*w + 2*w = -10. Suppose 4*n + 4*c + 12 = 0, -w = n - 0*c + 2*c. Put n, -2/7, 4 in descending order.
4, -2/7, n
Let p = 26.75 + -27. Let q = 3.25 + p. Sort -4/7, 1/7, q in ascending order.
-4/7, 1/7, q
Suppose -4*k = 5*o + 16, -10*o - 17 = -5*o + 3*k. Sort 3, o, 13, -2/13 in increasing order.
o, -2/13, 3, 13
Let f = 1749 + -1739. Sort f, 4, -3.
-3, 4, f
Suppose 12*m + 6231 = 79*m. Put m, -2, 4, 1 in descending order.
m, 4, 1, -2
Suppose 4*h = -0*h. Let w(p) = p**2 - 44*p + 472. Let b be w(18). Put -6, b, h in descending order.
b, h, -6
Suppose -9 = p - 1. Let r = 394 + -393. Put r, p, -4, -5 in decreasing order.
r, -4, -5, p
Let a = -353 + 344. Sort 4, 1/4, 3, a.
a, 1/4, 3, 4
Let d(m) = -2*m + 6. Let k = 4 - 8. Let q be d(k). Suppose -u = -c, -c - 2*u - q + 5 = 0. Sort 2, 5, c.
c, 2, 5
Suppose x + 5*l - 10 = -4*x, 4*x + 5*l = 10. Put x, 5, 3, 1 in descending order.
5, 3, 1, x
Let v = -7 - -3.6. Let y = v - 0.6. Let i = 2771 - 2766. Put 4, y, i in decreasing order.
i, 4, y
Let f(s) = s**2 - 2*s - 2. Let v be f(3). Let k be ((-6)/4)/((19 + -34)/(-30)). Sort k, 4, v in ascending order.
k, v, 4
Let y = 31 - -41. Let m = y + -71. Sort -4, -0.1, m.
-4, -0.1, m
Let f(g) = -g**3 - 6*g**2 + 8*g + 11. Let a be f(-7). Sort 2, 38, a, 3 in decreasing order.
38, a, 3, 2
Let l be 1 + (-2)/(0 - 1). Suppose q - 4*k + 15 = 1, -k = 5*q - 14. Let d be -6 - (-23)/q - 5. Sort l, 0.3, d in descending order.
l, d, 0.3
Let p = -0.248 + -1.752. Put 5, p, 1, 2/9 in descending order.
5, 1, 2/9, p
Suppose -27*g + 58 + 185 = 0. Sort 1, -7, 0, g.
-7, 0, 1, g
Suppose 87*a = 90*a - 15. Suppose 4*i + 28 = 3*q, i + 1 = -2*q + a. Sort -9, i, 2, -5 in decreasing order.
2, i, -5, -9
Let m(y) = -2*y + 16. Let p(w) = w**2 + 2*w - 1. Let n be p(2). Let f be m(n). Let t be (15/(-3))/(f/2). Sort -4, t, 4 in increasing order.
t, -4, 4
Let w be 2 + -5 + 3 + 10. Suppose 0 = -19*g + w*g. Put 3/4, -17, g in ascending order.
-17, g, 3/4
Let b = 71 + -72. Suppose -53 = -2*j + 51. Let y = 366/7 - j. Put 0.2, b, y in decreasing order.
y, 0.2, b
Suppose 5*v - 3*n = 5, -39*v + 3 = -36*v + 4*n. Sort -1/5, 148/11, -4, v in ascending order.
-4, -1/5, v, 148/11
Suppose j + 2 = u + 8, 0 = -5*j - 2*u + 9. Let n = j - 6. Let h = -920 + 920.04. Put 2, n, h in descending order.
2, h, n
Let j = 1143 - 1119. Put -3, j, -4, 3 in increasing order.
-4, -3, 3, j
Suppose 0 = 32*c - 19 + 19. Put c, 15, -6 in descending order.
15, c, -6
Let a = -6/5 + 88/65. Sort 2/9, 8, a, -1/7.
-1/7, a, 2/9, 8
Let a = 1/80 - 41/80. Let i = 0.3 + -0.2. Let f = i + 0.2. Put f, -0.4, a in increasing order.
a, -0.4, f
Let n be (-32)/(-18) - 2/(-9). Suppose -3*x - 2*x = -4*u - 49, -3*u - 27 = -3*x. Sort x, 0, n in decreasing order.
x, n, 0
Let o = 164 + -159. Put -0.5, 0.4, o in decreasing order.
o, 0.4, -0.5
Let f = 0.7 + -1. Let k(i) = i**2 + 6*i + 5. Let l be k(-6). Let w be 58/130 + (-3)/l. Sort 1, f, w in decreasing order.
1, w, f
Let c(v) = -v**3 - 1. Let u be c(1). Let i = 26 + -21. Suppose -3*g - q = 3*q + 1, g - 4*q = i. Sort -3, u, g.
-3, u, g
Let a = -85 - -509/6. Let g = -0.96 + 0.7. Let i = -0.46 - g. Put -1, a, i in ascending order.
-1, i, a
Let u = 54.6 + -8.6. Let c = 46 - u. Sort c, 1, -1.
-1, c, 1
Suppose -8 = 13*h - 11*h. Sort h, 1, -2 in descending order.
1, -2, h
Suppose 9*f + 8 = 17*f. Sort -53, f, -5 in decreasing order.
f, -5, -53
Let i be 4/6*(207/9 - 5). Put -3, 1, 5, i in decreasing order.
i, 5, 1, -3
Let q = 3 + -3. Suppose 4*n - 9*n + 20 = q. Suppose -d = 5*g - 24, -3*d + 2 = -3*g + n*g. Sort g, -4, 4 in decreasing order.
g, 4, -4
Suppose -l + 0*l + 150 = 0. Let j be (3*-1)/(9/l). Let o be (-6)/(-16)*j/(-15). Put 0.5, 5, o in increasing order.
0.5, o, 5
Suppose -5*c + c - 8 = 2*m, c + 4*m + 9 = 0. Let p be (-2)/(-9) - (-116)/(-36). Let y be p - (1 - 4 - -2). Put y, c, 1 in decreasing order.
1, c, y
Let d = 7 - 10. Let n = -130 + 131. Suppose -c + 1 + 2 = 0. Sort n, c, d in increasing order.
d, n, c
Let v = 172 + -171.8. Sort 0.3, 89, v, 3 in ascending order.
v, 0.3, 3, 89
Let n = 210 + -10292/49. Sort n, -2/17, 0.2.
-2/17, n, 0.2
Let k be (-2)/10 - (3 - 952/35). Let s be k/132 - 48/22. Put s, 3, -5 in increasing order.
-5, s, 3
Suppose -v + 4*l - 24 + 45 = 0, 0 = 2*v - 5*l - 30. Put -14, v, -5, -3 in increasing order.
-14, -5, -3, v
Let m = 125.7 - 130.7. Put 0, 32, 3, m in descending order.
32, 3, 0, m
Let x = -8.5 + 9. Let i = -107/4 - -27. Put 4, i, -3/7, x in increasing order.
-3/7, i, x, 4
Suppose -x = 6*x. Suppose x + 4 = 2*c. Suppose 5*z - 26 = 2*t - 3, z = c*t + 11. Sort -5, 8, t in increasing order.
-5, t, 8
Suppose 229*u - o = 230*u - 2, 4*u - 2*o = -16. Put 0, 117, u in increasing order.
u, 0, 117
Suppose 3*x + 80 = 4*y, 139 = -4*x - x + y. Let u = x + 33. Sort u, 0.5, 3 in decreasing order.
u, 3, 0.5
Let b be (-12)/(-3) - (-290)/(-225)*3. Sort 0.4, b, 5, 22 in increasing order.
b, 0.4, 5, 22
Suppose 2*k = 8, k + k = x + 4. Suppose 2*l - 157 + 1 = 0. Let r = l - 78. Sort r, -5, x.
-5, r, x
Let q = -24.4 + 21.63. Let k = -0.23 + q. Let o = -311/30 + 21/2. Put k, o, -1/6 in descending order.
o, -1/6, k
Let i = -1/1499 + -7489/8994. Sort i, 1/2, 3 in decreasing order.
3, 1/2, i
Let c = -383 - -366. Sort 3, c, 5, 1 in decreasing order.
5, 3, 1, c
Let y = -22/3 + 73/12. Let i = -44 - -43. Sort 0.1, -0.4, i, y.
y, i, -0.4, 0.1
Let h = 202/3 - 811/12. Let p(z) = -z**3 + 7*z**2 - 7*z - 2. Let u be p(6). Let v = u + 10. Put v, h, 0.1 in ascending order.
h, 0.1, v
Let s = -1.775 - 0.025. Let j = -3.2 + s. Put -4, -0.1, j in descending order.
-0.1, -4, j
Suppose -3*j + 2 = -10, 3*h - 3*j + 9 = 0. Put -3, -75, -1, h in descending order.
h, -1, -3, -75
Let g be 1*((-11)/(-3) - 1/(-3)). Suppose -2*r - 3*r = g*r. Put -3, 9, r, 1 in increasing order.
-3, r, 1, 9
Let c(b) = -b**3 - 9*b**2 - 20*b - 2. Let j be c(-5). Put j, -3, 5, 0 in ascending order.
-3, j, 0, 5
Suppose -2*w + 2*p = 8, -5*w + 4*p - 14 = 8. Let s be 6/((-42)/(-4) + -3). Sort s, 0, w in descending order.
s, 0, w
Let s(x) = -16*x - 550. Let i be s(-35). Sort -3, 4, 3, i in increasing order.
-3, 3, 4, i
Let x be (-374)/(-31) + -5 - 7. Put 2/15, -0.3, x in descending order.
2/15, x, -0.3
Suppose -38 - 74 = 8*g. Let n be g/(-6) + 0 + -3. Sort n, -0.05, 2/11, -2/7 in descending order.
2/11, -0.05, -2/7, n
Suppose 25*t - 7830 + 7955 = 0. Let z be (3/(-12))/((-14)/8). Sort -3, t, -1, z.
t, -3, -1, z
Let d = 21 - 8. Let h = d - 12. Let j(l) = -3*l - 2. Let y be j(-2). Sort 0.1, h, y in decreasing order.
y, h, 0.1
Suppose 3*j - 19 = -5*p + 21, -5*j - 5*p + 60 = 0. Suppose j = 4*x + 10. Sort 4, -9, 3, x in ascending order.
-9, x, 3, 4
Let i = -73.63 - -74. Let w = i + 0.13. Suppose 4*l - l - 3*o - 24 = 0, -6 = 3*l + 3*o. Sort w, l, -1 in decreasing order.
l, w, -1
Let g(s) = -s**2 + 25*s - 26. Let f be g(24). Let n(x) = -4*x - 3. Let a be n(f). Sort a, -1, -5.
-5, -1, a
Let k be (1/3)/(-4*(-2)/96). Let w be (-5 + 0)/((-3)/3). Suppose k*x = w + 11. Sort x, -5, -4 in descending order.
x, -4, -5
Let g be (2*1)/((-2)/(-6)). Suppose 3*z = 6*z + x + 226, 3*z - x + 218 = 0. Let b = z - -72. Put g, b, 0 in ascending order.
b, 0, g
Suppose -2*n - 198 = 3*o + n, -3*o = n + 204. Let b = 73 + o. Sort b, -10, -1 in decreasing order.
b, -1, -10
Suppose 0 = -904*l + 911*l - 14. Sort -10, l, 1 in increasing order.
-10, 1, l
Let z = -393 + 392.9. Put -7/3, z, 1 in decreasing order.
1, z, -7/3
Suppose 5*j + 6*d - 2*d = 24, j - 4*d = 0. Put -4, -5, j in descending order.
j, -4, -5
Suppose 65 = 3*r + l, 0 = -21*l + 20*l - 1. Put -2, 4, r, 1 in descending order.
r, 4, 1, -2
Let c(a) = 