ose 0 = -x + 3*x + 2. Sort x, u, -0.8 in decreasing order.
u, -0.8, x
Suppose 12*j - 336 = 20*j. Sort 1/2, -1, j in descending order.
1/2, -1, j
Suppose 6*u = 37 - 13. Suppose 0*n - 2*f - 7 = -n, n - f - 4 = 0. Put u, -4, 3, n in descending order.
u, 3, n, -4
Suppose 6 = 3*l - 0. Suppose 201 = -9*x + 6*x. Let s be x/(-13) - (-24)/(-156). Put s, l, -2 in increasing order.
-2, l, s
Suppose 5*k - 3 + 18 = 0. Suppose -4*r = 3 + 1. Let l = 1 - 1. Put r, l, k in descending order.
l, r, k
Let n = -9 + 21. Let j be (-21)/n + (-15)/(-10). Sort j, 1, 2/17.
j, 2/17, 1
Suppose -5 + 13 = 2*z. Sort z, -2, 8 in ascending order.
-2, z, 8
Let z = -2 + 5. Suppose -11*h - 6*h + 34 = 0. Suppose -3*v + h*d = -z, -4*v = v + 5*d + 20. Put -4, v, 5 in ascending order.
-4, v, 5
Let j = -125/364 - -3/52. Put j, 13, -0.2 in increasing order.
j, -0.2, 13
Let x be (-17)/(-3)*-8*(-39)/(-26). Let d = 68 + x. Sort 8, -3, -2, d in decreasing order.
8, d, -2, -3
Suppose -3*b + 3*u - 2*u - 10 = 0, 2*b + 5*u = 16. Suppose 0 = -3*p + 1 + 8. Let t be -6*((-1743)/(-63) + -27). Sort p, t, b.
t, b, p
Suppose -28*p - 244 - 288 = 0. Put p, -2, 2, 4 in descending order.
4, 2, -2, p
Let z = -4 + 0. Let a(j) = 4*j**2 + 12*j + 5. Let y be a(0). Put y, z, -21, 1 in ascending order.
-21, z, 1, y
Let d = 147 + -143. Suppose -s - 3*s = 0. Put -4, d, s in decreasing order.
d, s, -4
Suppose -3*m = 3*x - 15, m - 2*x + 5 = 2*m. Put -5, -50, m in increasing order.
-50, -5, m
Let j(k) = 6*k**2 + 36*k - 1. Let c be j(-6). Sort 7, -9, c in descending order.
7, c, -9
Let q be 1/((-50)/4) + (-43416)/(-165825). Sort 5/23, q, 0.1, 0.5 in descending order.
0.5, 5/23, q, 0.1
Suppose -2*h + 5*l = 1 + 4, 5*h - 4*l - 30 = 0. Let g(i) = i**2 - 13*i + 29. Let r be g(h). Put 2, -2, 5, r in decreasing order.
5, 2, r, -2
Let o(u) = u**2 - 6*u - 28. Let a be o(12). Suppose -47*k - 15 = -a*k. Sort 0.2, -3, k, 3 in decreasing order.
3, 0.2, -3, k
Let c = -48.2 - -65. Let v = c + -17. Let s = -3 - -3.5. Put 0.4, v, s in decreasing order.
s, 0.4, v
Let y = -734 - -732. Sort y, -1, 0, -4.
-4, y, -1, 0
Suppose 3*q + b - 24 = -2*q, 5*b - 40 = -5*q. Let l = q + -20. Let o = -16 - l. Sort 3, -1, o.
-1, o, 3
Let p = -400.5 + 401. Put 0.4, p, -37 in increasing order.
-37, 0.4, p
Let p = 177/2 + -87. Let k = -0.368 + 0.168. Put p, 0.4, k, -1 in descending order.
p, 0.4, k, -1
Let w = -81 - -57. Let c = w + 24.5. Put c, -0.5, 0.2 in decreasing order.
c, 0.2, -0.5
Suppose c - 2*c - 5 = 0. Let n = -5.2 - -5.1. Sort c, -4, -1/6, n in ascending order.
c, -4, -1/6, n
Suppose 2*t = -i - 23, -9*t = i - 5*t + 27. Let y = -15 - i. Let u be 4/(-18) + (-43)/9. Put u, -2, y in increasing order.
u, -2, y
Let r = -1 - 15. Let z be 4 + 1*3*r. Let q = z - -24. Put -4, 3, q in decreasing order.
3, -4, q
Let d = -33 - -28. Let p be -2 + (-27)/(-21) - -1. Sort d, p, -3/7 in ascending order.
d, -3/7, p
Let i = -979 - -977. Sort 0.5, -4, 9, i in increasing order.
-4, i, 0.5, 9
Suppose z = -3, 3*z + 25 = -2*v + 28. Sort 3, 1, -2, v in descending order.
v, 3, 1, -2
Let i = -17 - -12. Let k be 3 + -6 + 4 + -1. Suppose 3*f - 13*f + 50 = k. Sort 11, f, i in increasing order.
i, f, 11
Let h(w) = -2*w**3 - w**2 + 2*w + 2. Let s be h(-2). Let x be s/6*(-1 + -2). Suppose 0 = -29*y - 14*y + 11 + 75. Sort -2, x, y in decreasing order.
y, -2, x
Let t = -326 + 250. Sort -1, t, -3 in descending order.
-1, -3, t
Let r(n) = -n**2 + 3*n + 24. Let z be r(7). Put 3, -31, 2, z in increasing order.
-31, z, 2, 3
Let r(p) = p**2 - 6*p - 23. Let q be r(-3). Put 2, -2, 0, q in increasing order.
-2, 0, 2, q
Let u = -9 - -8.3. Let c = 1 + u. Let m be 32/(-240) - 7/60. Sort m, -1, c in decreasing order.
c, m, -1
Let t = -417 + 421. Sort t, 11, 2 in increasing order.
2, t, 11
Let d be (31/(-124))/(18/(-16)). Put 1/6, d, 2/7, 4 in increasing order.
1/6, d, 2/7, 4
Suppose m = 6*m + 20. Let a be m + -1 + 2 + 2. Sort 2, a, 0 in ascending order.
a, 0, 2
Suppose -3*d = -2*d. Let y be 2*(-5)/4*2. Let w = -44 + 40. Put w, y, d in ascending order.
y, w, d
Let w be ((-41)/(-41))/(2/10). Sort -5, 64, w, 3 in increasing order.
-5, 3, w, 64
Let k(b) = -b + 4. Let o be k(0). Suppose -37 = -4*r - r + o*a, 5*r - 3*a - 34 = 0. Put 0.1, 3, r, -0.07 in decreasing order.
r, 3, 0.1, -0.07
Let k = 438 - 441. Put -4, -1, k, 0.02 in ascending order.
-4, k, -1, 0.02
Let u be 3/18 - 23/(-6). Let a = -146.6 - -147. Put -3, 2/7, u, a in decreasing order.
u, a, 2/7, -3
Let h be (-2)/(-7) + (-148)/28. Put h, -13, 0, 2 in descending order.
2, 0, h, -13
Let k = 14 + -5. Let r be (-12)/(k/(-3) + 2). Let n = -16 + r. Put -3, n, 1 in decreasing order.
1, -3, n
Let a = -2.97 + -0.03. Let k = 127/8 + -1635/104. Sort -1/6, k, -2, a.
a, -2, -1/6, k
Let z(y) = y**3 + 9*y**2 + 2*y + 22. Let x be z(-9). Let g be 1/(x/12) - 3 - -2. Sort g, -0.5, 1/2, -1/3 in descending order.
g, 1/2, -1/3, -0.5
Let y(b) = -b**3 - 12*b**2 - 3. Let w be y(-12). Suppose 3*j + 2*v - 49 = -15, 4*j = -4*v + 52. Sort j, 4, w.
w, 4, j
Let k = 4248/11 - 386. Put -0.3, -5, k, 0.2 in descending order.
0.2, k, -0.3, -5
Suppose 56*g - 93*g - 16835 = 0. Put -0.4, 0.4, 3, g in decreasing order.
3, 0.4, -0.4, g
Suppose -14*a = -342 + 398. Suppose -2*b + b = 1. Sort -2, a, b, 0 in ascending order.
a, -2, b, 0
Suppose 15 = -4*w + 5*v, -4*w - 12 = -13*v + 9*v. Put 3/5, w, -6, 5 in ascending order.
-6, w, 3/5, 5
Suppose 57 = -g + 55. Sort -4, 1, g in decreasing order.
1, g, -4
Let c = 7 - -15. Suppose 0 = -i - c + 10. Sort -5, i, 2 in ascending order.
i, -5, 2
Suppose -2*d + 6 + 22 = 0. Let z = d - 13. Put -0.5, z, -1 in descending order.
z, -0.5, -1
Let n = -9.09 - 1.91. Put 1, -3, n in descending order.
1, -3, n
Let z be 5*3/(0 - -3). Suppose -2*o - z - 1 = 0. Let w = -761 - -765. Put o, w, 5 in increasing order.
o, w, 5
Let b = 1.83 - 83.83. Let s = -83 - b. Put -1/4, 0.4, -3, s in descending order.
0.4, -1/4, s, -3
Let h be -6*((-6)/5 + 1). Let j be 42/532*(-40)/(-30). Sort j, h, 1.
j, 1, h
Let m be 8 + -4 + (-122)/31. Put -2/7, 0.2, m in ascending order.
-2/7, m, 0.2
Let q be 2 - (-4)/(-42) - (-66)/693. Put -6, -18, q, -5 in descending order.
q, -5, -6, -18
Let y = -14 + 8. Let c = 1332 - 1329. Put y, -2, c in ascending order.
y, -2, c
Suppose -65*c + 30*c - 35 = 0. Put -5, 14, c in descending order.
14, c, -5
Let f = 75 + -54. Suppose 0 = 18*g - f + 3. Let z(q) = 3*q**2 + 2*q + 1. Let o be z(-2). Sort g, o, -4.
-4, g, o
Let b be (-15)/(-2)*(-16)/(-24). Suppose -3*q - 4*v = -31, 2*q + 0*v + 10 = b*v. Sort 2/11, -2/7, q, 6/11 in increasing order.
-2/7, 2/11, 6/11, q
Let x = 17/15 + -74/105. Let t = -0.76 + -4.24. Sort t, x, 4 in ascending order.
t, x, 4
Let r(l) = 10*l**3 + l**2 + 4*l**2 - 9 - 11*l**3 + 8*l. Let i be r(6). Let k be (8/28)/((-2)/(-14)). Put 0, k, i in decreasing order.
i, k, 0
Let a = 14.2 + -16.2. Put 1, -5, 2, a in increasing order.
-5, a, 1, 2
Suppose 0*a - 2*a = -3*v - 239, a + v = 127. Let n = a - 995/8. Let s = -7.96 - -8. Put -2, s, n in descending order.
s, n, -2
Suppose 2*v + 4 = r - 1, 0 = -4*v - 3*r + 5. Suppose -183*j - 18 = -192*j. Sort v, j, -2 in descending order.
j, v, -2
Let q = 23 - 19. Suppose -5*x = -q*j - 8, 14 = 3*x + 2*j - 4. Sort -3, -2, x, 2 in descending order.
x, 2, -2, -3
Suppose 35*i - 231 = 2*i. Suppose -2*z - 4 = -z. Sort z, i, -1 in increasing order.
z, -1, i
Let w = 2.02 - 5.02. Let g be (-1)/7*6/2. Put w, -9, g in ascending order.
-9, w, g
Let d(p) = 3*p - 74. Let k be d(17). Let q = -35 - k. Put q, 5, -5 in decreasing order.
5, -5, q
Let o = 3 + -1. Let h be -4*12/(-16)*-1. Let m = -145 + 146. Put m, h, o in ascending order.
h, m, o
Let i be (159 - 8)/(-2 - -3 - 2). Let t = -156 - i. Suppose v = -0*v + 10. Put t, 5, v in descending order.
v, 5, t
Let k = 4/289 + -361/5202. Sort -12, -1/3, k in increasing order.
-12, -1/3, k
Let q = 104 - 61. Let n = q - 87/2. Let j be 1/(0 - -1)*-1. Put n, j, -0.1 in descending order.
-0.1, n, j
Let o = 137.089 + -137. Let v = 4.911 + o. Put -0.6, 0.1, -2/5, v in decreasing order.
v, 0.1, -2/5, -0.6
Suppose 4 = -0*l + l. Suppose -4*a - 15 = -3*r, -l*r = -a + 6*a + 11. Sort 3, 10, r.
r, 3, 10
Let q = -103 - -107. Let c = -16 + 10. Sort -2/13, q, c.
c, -2/13, q
Let m = 123 + -75. Sort m, -2, -5 in increasing order.
-5, -2, m
Let b be ((-459)/34)/((-6)/8). Sort -5, 4