x in increasing order.
f, x, p, -1
Suppose 0 = -5*y + 2*a + 13, a - 1011 = -1015. Sort -44, 3, 0, y in ascending order.
-44, 0, y, 3
Let q be ((-7)/2 + 1)*2. Let u(d) = -8 + 2*d - 3 + d + 17. Let o be u(-2). Sort o, q, -4 in decreasing order.
o, -4, q
Let z = 1599 + -1596. Put 4, -22, z in decreasing order.
4, z, -22
Let b = -34.6 - -193.6. Let f = b + -159.3. Sort -6/5, f, 3 in decreasing order.
3, f, -6/5
Let f = -1670 - -1670. Put -4, f, -1, 30 in decreasing order.
30, f, -1, -4
Suppose -3*o = -2*z - 4, 5*o + 96 = 116. Sort z, 3/485, 1/2 in decreasing order.
z, 1/2, 3/485
Let w = -31.63 + 3.83. Let o = 28 + w. Sort o, 0.5, 0.3 in decreasing order.
0.5, 0.3, o
Let y = -5730 + 5724. Suppose -2 = -4*o - 18. Put y, o, -1 in decreasing order.
-1, o, y
Let a = -16179/5 + 3233. Sort -2, 4, 3/5, a, 1.6 in decreasing order.
4, 1.6, 3/5, -2, a
Let v = 22 - 12. Let n(u) = u**3 + 46*u**2 + 169*u + 12. Let z be n(-42). Let c be (12/v)/((-12)/z). Put c, 0.04, -0.4 in decreasing order.
c, 0.04, -0.4
Let u be 2 - (-1 - (2 + -12 - -4)). Suppose -2*i + 406 = -4*j, -j - 303 = 2*j - 2*i. Put u, -2, j in decreasing order.
-2, u, j
Let k be (116/(-348))/((-3)/(-45)). Put 5, k, -36, 7 in ascending order.
-36, k, 5, 7
Let q = 32190 + -32285. Sort 0.4, -24, q in decreasing order.
0.4, -24, q
Suppose 73*k = -36*k - 218. Let w = -16.2 + 14. Put 1, w, k in increasing order.
w, k, 1
Suppose 6*g = -21*g + g + 104. Let y be 2 - (2 + 2/(-74)). Sort -5, y, g in decreasing order.
g, y, -5
Suppose 0 = -189*k - 177*k + 414*k - 96. Suppose 0 = -4*u - 0*u. Sort u, 5, k, 3 in descending order.
5, 3, k, u
Let j = -491 + 492. Put j, -18, 0, 4/3, 9 in decreasing order.
9, 4/3, j, 0, -18
Let q(u) = -u**3 - 7*u**2. Let f be q(-7). Let h(x) = -58*x - 7081. Let k be h(-122). Sort 6, 2, k, f in descending order.
6, 2, f, k
Suppose 3*g + 24 = -3*o + 762, 3*g - 744 = 3*o. Let v = g + -251. Sort -5, 0.2, v, 5 in ascending order.
-5, v, 0.2, 5
Let w = -0.3 + -3.7. Let h = w + 32. Let r = 33 - h. Put -1/5, r, -1, -1.2 in descending order.
r, -1/5, -1, -1.2
Let l be -6 + ((-175)/21 - -14). Sort l, 9/8, -5 in decreasing order.
9/8, l, -5
Let m be 1/(18/12 + -2). Let h be 3/m*(-102)/153. Sort 6, h, 4 in ascending order.
h, 4, 6
Let f be ((-3)/27)/(4/(-46)). Let n = -179153/293130 - -1/16285. Let q = n + f. Put q, 3, -1, -2/7 in increasing order.
-1, -2/7, q, 3
Let a = -486.42 + 486.5. Put 3, a, 8, -5/2, -0.1 in decreasing order.
8, 3, a, -0.1, -5/2
Let b be (6/(-24))/((-13)/52*7/2). Put b, -23/4, -7 in decreasing order.
b, -23/4, -7
Let x be 1*((-2)/(-10) - (-1)/(-5)). Let y be 23 + (-1 - 1) + -1. Suppose 26*c - 22*c + y = x. Put c, 2, 3 in ascending order.
c, 2, 3
Let m = 126 - 121. Suppose 2*j = -3*a + 10, m*a = -6*j + 4*j + 14. Put -5, 5, a, 1 in descending order.
5, a, 1, -5
Let s = -12841 - -12835. Sort s, -1, -5, 1/11.
s, -5, -1, 1/11
Let j be (3/6)/(2 - (-7)/(-4)). Suppose s = 4*y + 1, 3*s = 2*y - y + 3. Sort s, j, -4, 4 in increasing order.
-4, s, j, 4
Let r be ((-96)/4)/(-8) + 10/(-2). Let b = -14 - -10. Sort r, 101, b.
b, r, 101
Let r be (-3)/(-2)*4/3. Let o = 792.15 + -790.45. Let f be (-4)/(-24)*4/3. Sort o, f, r.
f, o, r
Let f(t) = -3*t - 73 + 117 - 58. Let x be f(-7). Suppose -x*o = -3*o. Sort o, 4, 0.4, -1 in decreasing order.
4, 0.4, o, -1
Suppose 4*x + 13 = -3*p + 2*p, p - 17 = 2*x. Suppose -3*u = p*d - 2*d - 24, u + 3*d = 8. Put u, 0, -3 in ascending order.
-3, 0, u
Suppose -100*h - 10 = -102*h + 2*u, 2*u + 7 = h. Put 506, -3, h in ascending order.
-3, h, 506
Let t be (-35631)/222*2/3. Sort 0, 3, t.
t, 0, 3
Let s = -7332 + 7333. Put s, 4, 3, -11, 2 in ascending order.
-11, s, 2, 3, 4
Let y = -2.194 - -2.36. Let r = -0.066 + y. Sort -1, -0.4, -9, r in decreasing order.
r, -0.4, -1, -9
Let r = -0.095684 + -0.024316. Suppose 0 = 2*d - 3*p - 1 - 0, -3*d + 9 = -2*p. Put d, 2/11, r in ascending order.
r, 2/11, d
Suppose -l = 3*f - 3, 4*l = -6*f + 2*f + 4. Suppose l = -2*z + 31 - 29. Put z, -3, 11, -2 in decreasing order.
11, z, -2, -3
Let t = -823/345 + 137/69. Sort t, -12, -2/25, -1/3.
-12, t, -1/3, -2/25
Let t = 1.16676 + -0.16676. Sort 2/11, -0.4, 350, t in ascending order.
-0.4, 2/11, t, 350
Let f = -24 + 39. Let z(s) = s + 4. Let r be z(-1). Sort r, -3, -5, f in decreasing order.
f, r, -3, -5
Let c be 4*1/4 + -2. Suppose 16 - 22 = -3*w. Suppose 2*g - w = -d, -2*d + 1 = g + d. Sort 4, -4, g, c in decreasing order.
4, g, c, -4
Let s = -2.33 - -2.3325. Let c = -0.4025 + s. Put -1/9, 6/13, c in ascending order.
c, -1/9, 6/13
Let l(z) = -58*z**2 + 7*z + 5. Let m be l(-1). Let v be (6/(-9))/(m/9 - -6). Suppose 0 = -8*y + 3*y. Put v, y, -5, 3 in increasing order.
-5, y, v, 3
Let q be 8*4/320*(-7)/(14/(-4)). Suppose -4*w = f + 5, 2*f - w + 4 = -3*f. Let c = -283 - -286. Sort c, q, f.
f, q, c
Let v = 3521 - 3485.62. Let s = 36 - v. Sort 1/2, 3/8, -2, s.
-2, 3/8, 1/2, s
Let t = 1990 + -1993. Let y = 19 - 39. Let v be (48/y - -2) + 1. Sort v, 2, 1/6, t.
t, 1/6, v, 2
Let f = -4966 - -4964. Let w(v) = 3*v**2 + 2*v**2 - 4*v + v**2. Let z be w(f). Sort 1, -2, z.
-2, 1, z
Let p = 193.2 + 15.8. Let i = -195 + p. Sort 1, i, -2/11 in ascending order.
-2/11, 1, i
Let s = -11992 + 551633/46. Sort s, -0.1, 5, 0, 1/4 in increasing order.
-0.1, 0, s, 1/4, 5
Let z(r) = -r - 9. Suppose -3*l + 5 = -2*c, -5*c - 2*l = -4*l + 7. Let t be 108/(-14) + ((-8)/(-28))/c. Let o be z(t). Put o, 2, -3 in descending order.
2, o, -3
Suppose 38*o + 108 = 412. Let m be (o - (10 - 2))*(-2 + 1). Let q = 0 + -1. Put 5, m, q, 11 in increasing order.
q, m, 5, 11
Let d be (-5)/(-15) + (-12)/9. Suppose -6*g - 20 = -2*g. Sort 0, d, g, 3.
g, d, 0, 3
Let b = -314.0485 + 0.0485. Let x = b - -314.1. Put 5, -4/11, x, -0.5 in decreasing order.
5, x, -4/11, -0.5
Let y = 727 - 725. Sort y, 1/2, 5, -446 in increasing order.
-446, 1/2, y, 5
Let l = 31 - 31. Suppose l*r + 3*r = 6. Let b be ((-3)/(-6))/1 - 46/4. Put r, 1, -2, b in descending order.
r, 1, -2, b
Suppose 2*j - 3*b - b = 38, 0 = 2*j - b - 29. Suppose 44*h + 4031 = 15*h. Let u = h + 143. Put 5, -3, j, u in increasing order.
-3, u, 5, j
Suppose -5*w - 2*f + 3 - 6 = 0, -2 = 2*w + f. Let b be 7/w - 5/1. Put -2, 1, -1, b in decreasing order.
b, 1, -1, -2
Let o be (-30)/(-45) - (-642)/9. Let y = o + -64. Sort 4, y, -4 in decreasing order.
y, 4, -4
Let b(a) = a - 5. Let d be b(4). Let n be (0 - -4 - 4)/d. Suppose -3*r + n*v - 3*v = 0, -2*r - v = -2. Put r, -3, 3 in descending order.
3, r, -3
Let t be -2 - -9 - -7 - (-81)/(-9). Sort -2, 22, -7, t, -3 in ascending order.
-7, -3, -2, t, 22
Let u = -3.2384 - 207.7616. Sort u, 0.1, 2/5 in ascending order.
u, 0.1, 2/5
Suppose -1072 = -2*g + 622. Let v = g + -849. Sort -74, 3, v in decreasing order.
3, v, -74
Let a = -144 + 717/5. Suppose 5*q - 2*p + 5 = -0*p, -5 = p. Sort 6/13, -0.3, q, a in increasing order.
q, a, -0.3, 6/13
Let n = 6555 - 6529. Put 5, n, -4 in decreasing order.
n, 5, -4
Let t(d) = -3*d**2 + 19*d + 53. Let f be t(-2). Let n be ((-3)/2)/(3/(-8)). Suppose -2*u - 2 = 4. Sort n, -2, f, u.
u, -2, f, n
Let r = -501/652 - -3/163. Let i = 0.685 - 0.585. Sort -2, r, i in decreasing order.
i, r, -2
Let c(o) = o**3 + 41*o**2 - 181*o - 43. Let l be c(-45). Put l, -239, -1 in increasing order.
-239, -1, l
Let k = 257 - 257. Let i = 439 - 443. Put -2/125, i, k in increasing order.
i, -2/125, k
Suppose 7*h - 76 = -167. Let q(l) = l**2 + 22*l + 115. Let n be q(h). Sort 11/2, n, 5 in descending order.
11/2, 5, n
Let u = 20834 - 20835. Suppose 5 - 13 = 4*v. Sort u, v, 16, 1 in increasing order.
v, u, 1, 16
Let t = 63.9 + -119.8. Let b = -56 - t. Sort b, 2, -1, 0.06.
-1, b, 0.06, 2
Let j = -0.06 - -2.06. Let z = 203538 - 203538. Sort -43, j, z in increasing order.
-43, z, j
Suppose 4*c + 40 = 4*z, -2*c + 212*z - 215*z + 15 = 0. Put 0.09, -1/4, -1.3, c, -0.2 in ascending order.
c, -1.3, -1/4, -0.2, 0.09
Let p be -7 - (-1)/(-4*(-2)/(-40)). Sort 4, p, -4, 0, 20 in ascending order.
p, -4, 0, 4, 20
Suppose -1081 + 306 = -31*r. Let x = -22 + r. Sort -5, 0.5, x, -3 in decreasing order.
x, 0.5, -3, -5
Let p = -0.6 + 0.1. Let v = 0.09603 + -0.39603. Let s be 92/22 - (-4)/(-22). Put 1/15, s, p, v in ascending order.
p, v, 1/15, s
Suppose 12*v + 123 - 123 = 0. Let d = 117 - 56. Put 2, d, v in ascending order.
v, 2, d
Let h = 3068 - 3070. Sort h, 