
7, s, i, -5
Let u(i) = -12*i**3 - 143*i**2 + 27*i + 156. Let m be u(-12). Sort -160, 3, m, 2 in descending order.
3, 2, m, -160
Suppose 14*y = 1743 + 5775. Put y, -1, 3, 0, -2 in decreasing order.
y, 3, 0, -1, -2
Suppose 5*i + 4*l - 6 = 0, -4*i - 4*l + 4 = -0*i. Suppose 9*v - 13*v = 0. Put i, 8, -4, v in increasing order.
-4, v, i, 8
Let x = -6.492 - -2.492. Let s be 10/(-14)*28/(-35). Put x, 3, s in decreasing order.
3, s, x
Let b = -493 - -489. Let g(q) = 4 + 7*q**3 - 6*q**3 - 2*q**3 - 5*q + 4*q**2. Let o be g(3). Put -3, o, 4, b in descending order.
4, o, -3, b
Let g = 263 + -129. Let m = -134.2 + g. Sort 3, m, -1.1 in decreasing order.
3, m, -1.1
Let o = -29 + 57. Let c = o - 28.035. Let f = -2.965 + c. Sort f, -1/4, 3 in descending order.
3, -1/4, f
Let s(q) = -6*q - 68. Let m be s(-13). Suppose -d - 11*f = -6*f - 25, d - 2*f = -m. Sort -2, d, -4, 13 in ascending order.
-4, -2, d, 13
Let m = -1.9 + 1.8. Let t = -0.5917 - 4.4083. Sort t, m, -4/5 in decreasing order.
m, -4/5, t
Let c(l) = 4*l**2 + l. Let d be c(1). Suppose d*z - i = 173, -4*z + 0*i = -2*i - 136. Let a = z + -71/2. Put -21, a, -4 in ascending order.
-21, -4, a
Let d = -713.7 + 722.7. Let x = 6.5 - 6. Put -1, x, d in decreasing order.
d, x, -1
Suppose -22*x = -10*x - 36. Suppose -7*w - 47 = -2*w - 4*l, 0 = -x*w + 4*l - 25. Sort -4, 4, w, 1.
w, -4, 1, 4
Let x be (-18)/(-4) - 1/2. Suppose -25482*s + 25437*s + 585 = 0. Sort -3, s, 0, x in ascending order.
-3, 0, x, s
Let c(k) = -6389*k - 730. Let q be c(-1). Put 4, q, 0.5 in descending order.
q, 4, 0.5
Let q be (10/(-45)*6)/((-2)/24). Suppose 15 = -q*j + 21*j. Suppose p - 2*f = 10, 2 = -p - j*f - 3. Sort p, -3, -2 in descending order.
p, -2, -3
Suppose 13*z - 13 = 2*f + 12*z, -z + 21 = -4*f. Sort 12, f, 1, -34, 2 in descending order.
12, 2, 1, f, -34
Let g = -1474 - -1031. Let f = 457 + g. Sort 3, -6, f in increasing order.
-6, 3, f
Let y be ((-1)/(-3))/((-255)/45 - 0). Put 4, 1, y, -121 in descending order.
4, 1, y, -121
Let g be 4/(-6)*(181 + 2). Suppose 2*c - 3*i = 237, c - 14*i + 11*i - 120 = 0. Let f = c + g. Put 6, 5, -4, f in ascending order.
f, -4, 5, 6
Let a = 15.03 + -15. Let v = a - -1.97. Let h = 0.354 + -0.254. Sort -2, h, 3, v in descending order.
3, v, h, -2
Let m = -21 + 20. Let f be (-1)/((-1)/(1 + 1)). Let h = -666 + 643. Sort f, h, m in ascending order.
h, m, f
Let j be ((-12)/2)/(231/(-22)). Let a = 6011/15 + -401. Sort 4, j, a.
a, j, 4
Let u be (0 - 1)*(8 + -10). Suppose 13*l - 21 = 16*l. Let v be 128/l + 2/7 - u. Sort 3/2, -0.4, 2/3, v in ascending order.
v, -0.4, 2/3, 3/2
Suppose 2*s - 175 = -169. Suppose -3*h + 8 - 13 = -g, g + 7 = -3*h. Sort 0, s, 4, h.
h, 0, s, 4
Let u = -24725 - -24724. Put u, 3, -66, 2, 0 in increasing order.
-66, u, 0, 2, 3
Let p be 2*4/24*3. Let w(v) = 8*v - 3 + 78 + 11*v. Let n be w(-4). Put n, 5, 2, p in decreasing order.
5, 2, p, n
Let i = 337/10 + -34. Let r be (-12)/1188 + -3 + 4 - 4/9. Sort 5/3, r, i, 5 in descending order.
5, 5/3, r, i
Let o = -11595 - -11604. Sort 133, 2, o, -2 in increasing order.
-2, 2, o, 133
Let c = -32.85 + 38. Let v = c - 5.25. Sort v, -1.5, 4, 2/7.
-1.5, v, 2/7, 4
Let m = 200 + -101. Let t be ((-66)/m)/((-2)/15). Sort -4, -18, t in increasing order.
-18, -4, t
Let h = 38482 - 38482. Let s(u) = 0*u**2 - 7*u - 2*u**2 - 3*u**2 + 8 + u**3. Let j be s(6). Sort h, j, 18 in decreasing order.
18, j, h
Suppose -5*d + 4*d + 2 = 0. Suppose -6*h + 30 = -4*h + 5*u, -h - d*u = -13. Sort h, 3, -4, 1 in ascending order.
-4, 1, 3, h
Let u = -574.5 - -576.5. Sort -0.23, u, -3, -1/2.
-3, -1/2, -0.23, u
Let h = 42606.926 - 42692. Let w = h - -85. Let u = w + -0.026. Put -1/6, -5, u in decreasing order.
u, -1/6, -5
Suppose -8*i + 1 + 15 = 0. Let q = 180 + -156. Put -1, -4, i, q in decreasing order.
q, i, -1, -4
Suppose 5*d = 2*i + 106, 235*i + 114 = 5*d + 237*i. Let t be (3/(-1))/((-6)/4). Sort d, t, -0.5 in descending order.
d, t, -0.5
Let w(o) = 5*o**3 - 4*o**2 + 2*o + 2. Let k be w(2). Let v = 125/4 - k. Sort 1.4, -0.4, v.
-0.4, v, 1.4
Let c = 2085 + -2112. Let p = 0.5 - -43.5. Let r = c + p. Put 0.4, -2/11, 5, r in ascending order.
-2/11, 0.4, 5, r
Let w = 28722 + -28718. Put -4, -2, -11, w, 0 in ascending order.
-11, -4, -2, 0, w
Let c be (6/(-10) + -1)*(-5)/2. Let a be -2 + 5*c/10. Suppose -5*n + a*n = 0, -5*t + 10 = 4*n. Put 3, 4, t in descending order.
4, 3, t
Let l be ((-12)/247 + 56/364)*5/(-10). Sort -17, l, 0.3, 4, -0.3 in decreasing order.
4, 0.3, l, -0.3, -17
Suppose -27*d = -53*d. Sort -0.138, d, 1.
-0.138, d, 1
Let c be (6 - (6 + 4)) + 2. Let z = -0.05 - -2.05. Let t = -21 + 26. Sort c, z, t, 2/13 in increasing order.
c, 2/13, z, t
Suppose 1 = -3*f - 2*n + 66, -2*f + 45 = n. Let h(g) = -g**2 + 20*g + 101. Let d be h(f). Sort 3, d, -3 in descending order.
3, -3, d
Let f be -2*((-243)/(-6))/(-9). Suppose -8 = -o + 4*u, u = -o + 8*o - 137. Put o, 1, f, 0 in decreasing order.
o, f, 1, 0
Let k = 2/4067 + -4077/20335. Let o be (8*1)/(50/15). Let c = o + -3. Sort 4, k, c, 4/5 in decreasing order.
4, 4/5, k, c
Let t(m) = -m**2 - 5*m + 23. Let v be t(-8). Let b(p) = 7*p - 277. Let a be b(40). Sort v, a, 5, 43.
v, a, 5, 43
Let p = -1.5199 + 0.0199. Sort -0.12, p, 3, 0, -5.
-5, p, -0.12, 0, 3
Let x = 318 + -317.9. Put -3, x, -8, -4 in ascending order.
-8, -4, -3, x
Let l = 0.83 + -2.32. Let g = l - 6.51. Sort 0.4, -0.5, g, -3 in decreasing order.
0.4, -0.5, -3, g
Suppose 0 = -5*u - 20, -5*d = -5*u - 22 - 8. Let l = -659 + 664. Put d, -7, -2, l in ascending order.
-7, -2, d, l
Let z = -923/474 - -167/79. Let m = -2/183 - 242/183. Put -1/5, -1, z, m in descending order.
z, -1/5, -1, m
Let c be (12/6)/(214/(-107)). Sort -43/5, c, -14.
-14, -43/5, c
Let v = -233 - -237. Suppose v*w - w + 2*r + 5 = 0, -r = -2*w - 1. Sort 2, w, -2, -21 in descending order.
2, w, -2, -21
Let h be (1 - -2) + 16/(-40) + (-143)/55. Let s be (6/9)/((-4)/30). Put s, 5, h, 6 in increasing order.
s, h, 5, 6
Suppose 83*k + 6 = 19*k - 122. Sort k, 4, -1/3, -6, -4.
-6, -4, k, -1/3, 4
Suppose 9 = -4*p + 1. Let i = -179 + 184. Sort 4, 6, p, i in increasing order.
p, 4, i, 6
Let y = 29.83455 + -0.09455. Sort 0, y, -5 in descending order.
y, 0, -5
Suppose 4*k - 119 = -139. Let h be (-80)/112 + 4/(-14). Sort -6, k, -3, h in descending order.
h, -3, k, -6
Suppose 5*w - 4*v = -10, -6*w = -10*w + v + 3. Let s(m) = m - 5. Let b be s(0). Let z = b - -4. Put w, -5, z, 0 in decreasing order.
w, 0, z, -5
Let d = 17 + -20. Let k = 246 - 247. Sort d, 0, 4, k in ascending order.
d, k, 0, 4
Suppose 3*w - 2*s + 22 - 9 = 0, 2*w + 12 = -2*s. Sort -2, -7, w, -13.
-13, -7, w, -2
Let f = -74869 + 74872. Let d = -4.08 + 0.08. Put 1/2, d, f, 0 in descending order.
f, 1/2, 0, d
Let a be (0/(-1))/(971 - 975). Let s = -3 + 2. Put a, -3, s, -4 in ascending order.
-4, -3, s, a
Suppose -15*z + 14 = -0*z - z. Let a = 0.7 + -1.2. Sort 12, a, z in descending order.
12, z, a
Let v = 2 + -1. Let a(c) = c**2 - 187*c - 582. Let m be a(-3). Sort v, m, -4.
m, -4, v
Let o = 3 + -18. Let z = -12 - o. Suppose 3*g + 10 + 1 = 5*s, 2*s + 1 = z*g. Put 3, s, 5 in ascending order.
3, s, 5
Let h = 152 - -72. Let t be (168/h)/(46/16 - 1). Let b = -2.92 - 0.08. Put 0.5, b, t, 1/6 in increasing order.
b, 1/6, t, 0.5
Let y = -44 + 40. Let l = 26 - 29. Suppose 6 = 6*s - 24. Sort s, l, 1, y in decreasing order.
s, 1, l, y
Suppose y = -6*n + 43, 5*n - 32*y - 30 = -27*y. Put n, -2, 5.1 in increasing order.
-2, 5.1, n
Suppose 5*v = 5*u - 55, 5*v + 3 - 20 = -4*u. Put u, -13, -5, 2, -1 in descending order.
u, 2, -1, -5, -13
Let h be (29/6)/(24/16) + -3. Let c be 0 - -4*1/2. Suppose 14 = c*o - 2. Sort 0.1, o, h in ascending order.
0.1, h, o
Let d = 1223.6 + -1224.1. Put 163, d, 0.05, -5, 0 in increasing order.
-5, d, 0, 0.05, 163
Let c(s) = 32*s - 6398. Let z be c(200). Suppose -6*n - 34 = -2*a - 2*n, -2*n = -2*a + 24. Put a, 1, 5, z in decreasing order.
a, 5, z, 1
Let o be ((-472)/6490)/(2/5). Sort o, -8, 1/4, -5 in decreasing order.
1/4, o, -5, -8
Suppose 3*c - 18 = 3*z, 750*z - 745*z = 2*c - 18. Let s = -13 + 10. Sort z, s, -4 in decreasing order.
z, s, -4
Suppose -j + 1 = -2*z, -2*j - 4*z + 5 = -5. Suppose -123*d + 1 = 3*d + 1. Suppose -3*n = -3*l + 15, d*l = l + j*n - 5. Sort l, 0, 3, -4 in decreasing order.
l, 3, 0, -4
Let h = 165 - 192. Let z be (-