n, -0.3, 2
Suppose -3*t + 4*w = 10, 0*t + w + 3 = -2*t. Let x(i) = -46*i**3 + 7*i**2 - 8*i + 1. Let u be x(1). Sort u, t, 2, 1 in descending order.
2, 1, t, u
Let u(o) = o**2 - 205*o + 1149. Let p be u(6). Put 3, -4, p in descending order.
3, -4, p
Let u = -0.4 - -0.3. Let n = 967 + -920. Suppose t + 4*z = 9, -51*t + n*t = 5*z - 3. Sort t, u, -6.
-6, t, u
Let h = 1077 + -1821. Let f = -743.4 - h. Put -3, 4/7, f, -9 in increasing order.
-9, -3, 4/7, f
Let w = -228.39 - -228.28. Put -52, 0.2, 0.1, 3/5, w in decreasing order.
3/5, 0.2, 0.1, w, -52
Let d be -3 + 5*(-72)/(-30). Suppose 4*f + t - 10 = 0, 0 = f - 12*t + d*t - 9. Sort f, -3, -2.
-3, -2, f
Let l = 3 - 6. Suppose 10*s = 19*s - 234. Suppose 38*u = s + 12. Sort u, l, 0 in increasing order.
l, 0, u
Let u = 80.648 - 81. Let l = -0.548 + u. Put 2/5, -0.5, l in descending order.
2/5, -0.5, l
Suppose 4*h = -80 + 72. Let n be (5 - 6)/(123/(-60) - h). Sort -4, n, -3, 1 in ascending order.
-4, -3, 1, n
Let f(g) = -88*g + 1012. Let h be f(12). Sort h, -3, 4.
h, -3, 4
Let j be (5 - 5)/(-10 - -11). Put j, 26, -4 in increasing order.
-4, j, 26
Suppose 0 = j + 3*k + 9, j - 15 = -2*j + 5*k. Let u = -2674.27 - -2663. Let h = -11.47 - u. Sort 5, h, j in ascending order.
h, j, 5
Suppose -3*z = i + 18, -4*i - 36 = 3*z - 0*z. Suppose 8559 = -8*m + 8583. Sort m, 1, i, 2.
i, 1, 2, m
Let l be (32/(-2))/((-2)/(-12)*-3). Suppose -g + 3*h = -20, 22 - l = 2*h. Sort 1, -2, g, -30 in decreasing order.
g, 1, -2, -30
Let u(t) = 66*t + 397. Let i be u(-6). Let g = -29 + 35. Sort i, g, -1 in decreasing order.
g, i, -1
Suppose -f + 4*u - u - 9 = 0, -4*f = 3*u - 39. Suppose 49 + 11 = f*z. Let p be 4/z - (-4)/(-10). Sort 3, p, -1, -5 in decreasing order.
3, p, -1, -5
Let g = -892 + 275. Let t = 953 + g. Sort t, -3, 2/13 in decreasing order.
t, 2/13, -3
Let v = 173.37 + -2.37. Let p = 169 - v. Sort 2, p, 5, 0.1 in decreasing order.
5, 2, 0.1, p
Suppose 6*w - 24 = 2*w + 5*m, 4*w - m - 8 = 0. Let g(d) = 68*d - 73. Let x be g(1). Put 5, w, x, -8 in increasing order.
-8, x, w, 5
Let w(h) = -h**3 - 3*h**2 + 18*h + 22. Let m be w(-9). Suppose 0 = -3*d - m + 325. Sort d, 1, 4, -5 in decreasing order.
4, 1, -5, d
Let d = -1 + -7. Let w(l) = -l**2 - 12*l + 26. Let c be w(-14). Put -4, -5, d, c in descending order.
c, -4, -5, d
Let b(u) = u**3 - 95*u**2 + 94*u - 1. Let j be b(94). Put 2, j, 31 in increasing order.
j, 2, 31
Let t be 1221/(-27) + (-4)/(-18). Let n = 139/3 + t. Let y = 6938/5 - 1388. Sort -2, n, y in decreasing order.
n, y, -2
Suppose -7*j + 3*k = -2*j + 25, 3*j + 15 = 4*k. Let g = -1201 - -1207. Sort j, 3, g in ascending order.
j, 3, g
Suppose -685 + 678 = 7*w. Sort w, 0, 5, -2 in descending order.
5, 0, w, -2
Let g be 2/((-12)/(-9)) + (-28)/(-8). Let j(z) = -3*z + 13. Let f be j(g). Let l(r) = r**3 + 5*r**2 + 3*r + 7. Let w be l(-4). Put f, -5, w in decreasing order.
w, f, -5
Suppose 2*l + 2*t = 16 + 72, -3*l - 2*t = -130. Let u = 44 - l. Suppose 0*r + 4 = -5*z - 3*r, -r + 6 = -2*z. Sort 3, 5, z, u in descending order.
5, 3, u, z
Let s = 5949.9 - 5950. Sort s, 2/7, 69 in ascending order.
s, 2/7, 69
Let z = 1648/2319 - 34/773. Sort -0.4, z, -2/5413, 5 in increasing order.
-0.4, -2/5413, z, 5
Let n(h) = -h**3 - 6*h**2 - 3*h + 9. Let p be n(-5). Sort p, 12, -3, -4 in descending order.
12, p, -3, -4
Let i be ((-1)/(-3))/(2 - 1). Let b be 7 + (786/(-2) - -5). Let m = b + 384. Sort i, 7, m.
i, m, 7
Suppose -t + 2 = 0, -392 - 18 = 3*v + 2*t. Let f = 134 + v. Sort -1, 0, f in decreasing order.
0, -1, f
Let x = 41/12 + -13/4. Let q be 14 - 16 - (1 + -6). Suppose -t = q + 1. Put -1/3, t, x, 0 in ascending order.
t, -1/3, 0, x
Let s = -2938 - -2935. Sort s, -0.051, -1/10 in increasing order.
s, -1/10, -0.051
Suppose 0 = 3*s + 3*u - 12, s - 20*u + 18*u = 7. Sort 4, -5, -3/7, 190, s in increasing order.
-5, -3/7, 4, s, 190
Let n(q) = q + 8. Let u be n(0). Suppose -34*a - 924 = 98*a. Let w be ((-231)/6)/a - 12/u. Sort -4, 2, 0, w in increasing order.
-4, 0, 2, w
Let v = 178/11 - 701/44. Sort -2, v, 2/15, -0.4 in descending order.
v, 2/15, -0.4, -2
Let y = -20136 - -20140. Put -152, 0.5, y, -0.3 in ascending order.
-152, -0.3, 0.5, y
Let u be (89/(-4))/(5/20) + 0. Let v be (4 - 3)/((-1)/(-76)) - -3. Let y = v + u. Sort 2, y, -3, -5 in descending order.
2, -3, -5, y
Let s(j) = 19 - 6*j - 3*j**2 - 4*j**2 + 4*j**2 + 2*j**2. Let u be s(-9). Let d be 1 + (u - (4 - 1)). Put d, -1, -3 in increasing order.
d, -3, -1
Let m be 6/45 + (8 - (-610)/(-75)). Let f be (-1)/(-3) - (-8)/12. Let r = -8 + 10. Put r, f, m, 3 in increasing order.
m, f, r, 3
Let t = 296 - 265. Suppose -3*g = -2*u - u + 3, 0 = -4*u - 5*g + t. Put 2, -3, u in ascending order.
-3, 2, u
Suppose -4*r = -5*u + 153, r = -2*u + 2*r + 63. Let n = u - 33. Let c be (2 + -2)/(n + -2) - -3. Sort 1, c, 5, -5.
-5, 1, c, 5
Let m be -1*(-14)/(-9) - (26/18 - 1). Sort m, 0.3, 0.18, 3/14, -4 in increasing order.
-4, m, 0.18, 3/14, 0.3
Let r = 37 - 151/4. Let y = -14096/9 - -155038/99. Sort -0.2, r, 1, y in ascending order.
r, -0.2, y, 1
Suppose j + 4*x - 13 = 0, 2*j + j + 5*x = 39. Suppose -78*q - 600 = 33*q + 9*q. Sort j, 4, -2, q in ascending order.
q, -2, 4, j
Let i = -4 - -1. Let w = -1076871 + 1076867. Let h = 16 + -11. Sort i, -3/4, w, h.
w, i, -3/4, h
Suppose 19*b + 5*s - 21 = 22*b, -5*b - 3*s - 1 = 0. Put -4, 5, b, -1 in descending order.
5, -1, b, -4
Suppose -3*k + 15 = -21*h + 18*h, -h = -5*k + 21. Suppose 0*s + s = 0. Suppose -4 + s = 2*n. Sort n, 9, k.
n, k, 9
Let o = 2419 + -2417. Sort o, 6, -11 in decreasing order.
6, o, -11
Let v be 2/11 - 1519/(-539) - 5. Put 1, 2, v, 53, -5 in decreasing order.
53, 2, 1, v, -5
Let o be (-12)/(-3)*18752/(-256). Put 5, 1, o in increasing order.
o, 1, 5
Let y = 718 + -508. Let f = 250 - y. Sort f, 1, -2 in descending order.
f, 1, -2
Suppose 4*u - 10*u = 24. Let q = -38 - -35. Let o be -2*(3 + q + -1). Sort o, u, 4 in ascending order.
u, o, 4
Let u = 135 + -136. Suppose 0 = f - 6 - 6. Put f, 2, u in decreasing order.
f, 2, u
Let v = 8 - 5. Suppose -39*r - 749 = 9*r - 125. Sort 2, r, 4, v.
r, 2, v, 4
Let n = 317 - 489. Let s = n + 175. Sort 1/6, 0.2, s, -2/7.
-2/7, 1/6, 0.2, s
Let k be 10/15 - (0 - 1160/(-3)). Let f = k + 400. Put -6, f, 5 in increasing order.
-6, 5, f
Let u = 4672.3 + -4672. Sort -2, u, -7, -4 in decreasing order.
u, -2, -4, -7
Let j = -0.0638 - 84.8362. Let u = -97.2 + 12.2. Let o = j - u. Sort 0.5, o, -1, 0.4 in descending order.
0.5, 0.4, o, -1
Suppose 0 = -50508*a + 50524*a - 32. Sort 1828, -4, a in descending order.
1828, a, -4
Let v(t) = -t**2 + 166*t + 853. Let b be v(-5). Put 65, b, -32/5 in descending order.
65, b, -32/5
Let q = 720 - 750.56. Let f = -0.56 - q. Let s = -1449/8 + 181. Sort 2, s, f in descending order.
f, 2, s
Let m(f) = f**3 + 5*f**2 - 5*f + 8. Let k be m(-6). Suppose 10*u - 11 = -3*i + 12*u, u + 7 = 2*i. Suppose i*r = 117 - 108. Sort r, k, -7 in decreasing order.
r, k, -7
Let b = -595 + 591. Sort b, 1, -8, -2, 0.
-8, b, -2, 0, 1
Let i = -8.948 - -9.148. Put i, 18, 3/10 in ascending order.
i, 3/10, 18
Let s = 2384/7 - 340. Let p = -1129/3 + 376. Sort 8, s, p.
p, s, 8
Let u be 14*5*((-5472)/(-168) + -32). Sort 7, 5, u in descending order.
u, 7, 5
Let q(n) = 3*n**3 + 2*n**2 + 6*n - 2. Let l be q(0). Put -45, 2/35, l in increasing order.
-45, l, 2/35
Let w(f) = f**3 + 2*f**2 - 2*f. Let a be 3*(3 + -3 + -1). Let y be w(a). Let s be (4/y)/((-15)/45). Put -5, 6, s in decreasing order.
6, s, -5
Let n(y) = -y**3 - 6*y**2 - 2*y - 3. Let k be n(-6). Let r(f) = 3 + 2 - 7*f - 19 + k*f. Let o be r(7). Sort o, -3, 4 in decreasing order.
4, o, -3
Let z = -23179 - -23184. Sort 193, -2, 2, z.
-2, 2, z, 193
Suppose -211*f = -209*f - 80. Suppose -f = -4*z + 4. Put -0.2, 1, z, 0 in descending order.
z, 1, 0, -0.2
Let y = 14160 + -14160. Sort 6, y, -42 in descending order.
6, y, -42
Suppose 2*k = 20 - 8. Suppose -7*i = -6*i + 5*n + k, -3*n + 2 = 2*i. Sort -5, -1, -17, i in increasing order.
-17, -5, -1, i
Let k = -61/78 + 3/26. Let n = -341/75 + 11/75. Let r = -56/15 - n. Put r, k, 0.2 in ascending order.
k, 0.2, r
Suppose -50 = 36*w + 274. Let k be ((-7)/3 + -1)*(-228)/190. Put k, -3, -2, w in ascending order.
w, -3, -2, k
Let p = 4 - -18. Suppose -4 = -i + p. Sort -3, i, 4, -3/5.
-3, -3/5, 4, i
Let b be -1*(0 - 16) - 