et j = 0 - 0. Suppose 3*v + 2 + 13 = j. Let o = 12.1 - 15.1. Sort v, o, -2.
v, o, -2
Let a = -0.2 + -4.8. Let h = -1.9163 + -1.0837. Sort 0, h, a, -0.1 in increasing order.
a, h, -0.1, 0
Let s(o) = o + 3. Let q be s(-5). Suppose -4 = 2*x, 3*x + 8 - 12 = -2*f. Put -1/7, f, q, -3 in increasing order.
-3, q, -1/7, f
Suppose 2*y + 4 = 2*q, 0 = -6*q + q - 2*y + 17. Suppose -3*o = w + 7, w - 9 = o + 3*w. Let p = 530 - 528. Sort q, p, o in ascending order.
o, p, q
Let c = 46314043/29 - 1596852. Let o = c + -184. Put -2, o, -4 in ascending order.
-4, -2, o
Let u = 2749 + -2750. Sort -42, -5, u in decreasing order.
u, -5, -42
Let k be (-3 - -4)*-37*-1. Suppose -3*p + k + 9 = -4*m, -4*p - 5*m = -113. Suppose 3*w = -5*v - p, -17 = -3*w + w + 3*v. Sort w, -2, -1 in ascending order.
-2, -1, w
Let q = -0.453 - -0.413. Put -3/2, q, 4 in ascending order.
-3/2, q, 4
Suppose -2*q + 18 = 2*i, q = 2*i + 3*i - 45. Let b be 47/i + (4 - 9). Sort 2/3, -15, -1/2, b in decreasing order.
2/3, b, -1/2, -15
Let w = -1.08 - -1.06. Put 0, w, 2/5, 5/4 in descending order.
5/4, 2/5, 0, w
Let t = -0.86 + 0.46. Let f = 14 - 13.6. Sort 4, 1, t, f in increasing order.
t, f, 1, 4
Let z be 189/14*8/(-6). Suppose 6 = 2*i, -f = i + 2*i - 22. Let y be f/(-5) + 6/(-15). Put -2, z, y in decreasing order.
-2, y, z
Let g be (-24)/21 + (-16)/(-2) + -7. Let q = 3 - 2.9. Let k = 0.3 + q. Put k, g, -2/3 in increasing order.
-2/3, g, k
Let f = -6.39 + 7.39. Put -2/11, f, 0.26 in descending order.
f, 0.26, -2/11
Let y(g) = g**2 - 10*g + 20. Let d be y(4). Put -17, 0.4, d, 1/6 in descending order.
0.4, 1/6, d, -17
Let q = -0.3 + 8.3. Let p = -7.93 + q. Put -1, -3, 2, p in descending order.
2, p, -1, -3
Suppose -3*p + p = 3*r, -2*p = -2*r. Suppose 3*o + o = -5*l - 21, -2*o - 4*l - 18 = r. Let h(v) = -3*v + 7. Let b be h(3). Put b, o, -5 in increasing order.
-5, b, o
Let j = -580 + 576. Sort -6, 1, j, 2 in ascending order.
-6, j, 1, 2
Let b = 159.08 + -163. Let f = 0.08 - b. Let w = 251/153 - 26/17. Sort w, f, -0.3 in descending order.
f, w, -0.3
Suppose -2*k + 17 = 3*y, -6*k = -4*k + 8*y - 42. Sort k, 6/7, -8.
-8, 6/7, k
Suppose 134*k = 135*k + 9. Sort 3, k, 0 in decreasing order.
3, 0, k
Suppose 3 = 2*a - j + 6*j, j + 13 = 3*a. Suppose 3*n - z = -n + 10, n - 13 = -5*z. Let w = 439 + -440. Put a, n, w in decreasing order.
a, n, w
Let h be ((-12)/9)/(2/(-3)) + -7. Put 2, h, -848 in decreasing order.
2, h, -848
Let g = -0.7 + -1.3. Let o = g - -2.2. Let t = 75 + -73. Sort 3, t, o in increasing order.
o, t, 3
Let s(n) = 13*n + 63. Let i be s(-5). Put -0.1, i, -8/3 in ascending order.
-8/3, i, -0.1
Let j be ((-2)/6)/((-3)/(-9)). Let x = -56 - -54. Sort j, x, 0 in increasing order.
x, j, 0
Let l(a) = -2*a**3 + 6*a**2 - 3*a - 3. Let y be l(2). Sort 83, y, -4 in descending order.
83, y, -4
Let q = 206 + -201. Suppose 3 = b - 3. Suppose q*g = 16 - b. Sort -1, -3, g in decreasing order.
g, -1, -3
Let k = -486 - -464. Put k, -5, 1, 5 in decreasing order.
5, 1, -5, k
Let l be 1/3 + 2/3. Let c = 254743/14 - 18196. Put -1, l, c in descending order.
l, c, -1
Let c = -619 - -623. Sort -0.4, c, 178 in decreasing order.
178, c, -0.4
Let h be (-11)/((-33)/144)*107/27. Let q = 190 - h. Sort q, 0.1, -0.4, -2.
-2, -0.4, q, 0.1
Let o = -9 + 22. Let r = -16 + o. Let k = 0.35 - -0.05. Sort k, r, -2/7.
r, -2/7, k
Let i = 135.9 + -132. Let d = 4.3 - i. Sort 4, d, 1 in descending order.
4, 1, d
Suppose 2*x = -3*u + 5*u + 26, u = 3*x - 37. Suppose -x = f + 5*v, 2*v - 3 = 3*f + 6*v. Let k = 2071 - 2071.1. Sort k, f, -0.2 in decreasing order.
f, k, -0.2
Suppose -m - 4*n - 4 - 3 = 0, 0 = 2*m - n - 13. Suppose r - 2 = 3. Suppose -1 = r*i - 2*l, 7 = -i + 4*l - 4. Put -1, i, m in descending order.
m, i, -1
Suppose -5*s + 6 = -3*r, -2*s = -2*r - 7*s - 29. Sort -13, -5, r in decreasing order.
-5, r, -13
Let b = 155.21 - 165.4. Let d = b - -0.19. Put d, 1/6, -1 in ascending order.
d, -1, 1/6
Let r = -237 - -103. Let h = r + 133.6. Put -0.1, -0.09, h, -3/5 in descending order.
-0.09, -0.1, h, -3/5
Suppose -9*y + 4*y - 20 = 0, -3*y = 2*u + 4. Let x be (2/(-8))/(1/(-1)). Put 1/3, u, x in decreasing order.
u, 1/3, x
Let l(t) = t**2 - 3*t + 2. Let z be l(2). Let s = 2 - 0. Suppose -5*w - 5*x = 0, -s = -5*w + w - 3*x. Sort 1, z, w in descending order.
w, 1, z
Suppose 4*r = 4*i - 7*i - 21, -4*i - 26 = 5*r. Let q be 2 + r + 3 + 1. Let d be q*(6/(-4) - -1). Sort d, 5, -3.
-3, d, 5
Let p = 14 + -14.04. Let z = 2.3 + -1.96. Let f = z + p. Sort 0.1, -0.4, f in decreasing order.
f, 0.1, -0.4
Suppose -u + 75 = 2*u. Suppose 5*a - u = 0, w + a - 4 = 18. Suppose 0 = 2*d + 9 - w. Sort -3, d, 5 in increasing order.
-3, d, 5
Let s = -8 + 6. Let b(h) = 12*h + 244. Let z be b(-20). Sort z, s, 5.
s, z, 5
Suppose -4*z = 14*z - 324. Sort -3, -1, z in descending order.
z, -1, -3
Let u = 97 + -93. Suppose -4*n + 10 = -2*a - 4, -4*n = 4*a - 32. Sort n, u, 12 in descending order.
12, n, u
Let f = 4 + -3.7. Let t = -462.7 + 457.7. Sort -0.02, t, -2/5, f in increasing order.
t, -2/5, -0.02, f
Suppose 22 = 2*f - 5*o, 2*f + 10 = -4*o - 4. Sort 3, -9, f, 0 in decreasing order.
3, f, 0, -9
Let d = 18 - 11. Suppose q - d = 2*t, 3*q = 5*q + 4*t + 18. Let j(i) = i**3 + 6*i**2 - 2. Let w be j(-6). Sort w, q, -3 in descending order.
q, w, -3
Let x = 342 + -342. Sort x, 1/4, -22.
-22, x, 1/4
Let l(d) = d**2 - 11*d + 6. Suppose -19 = -2*a + 1. Let p be l(a). Let c be (-3 - -31)/p - -2. Sort c, 4, -4 in increasing order.
c, -4, 4
Let v = -5 + 8. Suppose v*h - 7*h = 32. Let q be 2/h - 34/(-8). Put -3, q, -1 in decreasing order.
q, -1, -3
Let z = -22.2 + 41.42. Let s = z + -19. Let t = -0.31 + s. Sort -0.5, t, 2 in decreasing order.
2, t, -0.5
Suppose 0 = -0*v + 4*v + 3*v. Sort 12, v, 2/9, 5 in decreasing order.
12, 5, 2/9, v
Suppose 2 = -2*r - 2*u + 8, 0 = -2*r + 5*u + 6. Suppose -b = r - 8. Sort 2, b, 3, 14 in ascending order.
2, 3, b, 14
Let c be (-2 + ((-21)/35 - -3))*-20. Sort 4, c, -1, -4 in ascending order.
c, -4, -1, 4
Let c be -1 + (-843)/(-27) - 4/18. Suppose -c*v + 26*v = -8. Put 10, 0, v in ascending order.
0, v, 10
Let s = 4 + -7. Let c = -6 - -6.1. Let q = c + 1.9. Put q, -4, s in decreasing order.
q, s, -4
Let i(f) = -f**3 - 8*f**2 - f + 2. Let u(q) = -q - 8. Let b be u(0). Let y be i(b). Suppose -2*x = -y, -6*v + v + 4*x = 15. Sort -4, -3, v in increasing order.
-4, -3, v
Let l(y) = -9*y - 4. Let a be l(-1). Suppose -s = 4*s + a. Put 3, s, 5 in ascending order.
s, 3, 5
Let c = -168.7 + 169. Put -8, c, 0.5, 2/9 in decreasing order.
0.5, c, 2/9, -8
Let r be ((4/(-5))/(-4))/1. Let h be (2/(-28))/(3/(-5346)). Let u = -127 + h. Sort r, u, 1/2.
r, u, 1/2
Let f = 0.1 + -0.4. Let h = -16/27 - -58/189. Sort f, 1, h.
f, h, 1
Let q = -54 + 57. Suppose 22 = -3*s + 4*y, -4*y + 5 = 4*s - q. Put 31, s, -1 in descending order.
31, -1, s
Suppose 45 - 39 = -a. Sort a, 2, -2, 3 in ascending order.
a, -2, 2, 3
Let g = 20 + -16. Suppose -a + 5*q = g, -4*q + 1 = 3*a - 6. Sort -2, a, -1, -4.
-4, -2, -1, a
Let q(m) = -6*m + 45*m**2 - 5 - 44*m**2 - 1 + 2*m. Let f be q(3). Sort -4, f, 2, -3 in decreasing order.
2, -3, -4, f
Let y be (-2)/1 + (-200)/(-96). Let u = -18 - -23. Suppose -1 + 11 = u*x. Sort y, x, -1/4 in descending order.
x, y, -1/4
Let m be -4*(-4)/4 + -4. Let b be (-100)/(-500) - ((-4)/2 + 1). Sort m, -7, -1/3, b in increasing order.
-7, -1/3, m, b
Let k be 5 + -7 - (-1 - -35). Let j = 56 + k. Put -1, -3, j in decreasing order.
j, -1, -3
Suppose -y - 5*l + 13 = 0, 4 = 3*y + y + 4*l. Suppose 7*k + 48 = -5*k. Put 1, k, y in decreasing order.
1, y, k
Let p = 47/12 - 539/156. Sort 0.03, 4, p.
0.03, p, 4
Suppose 18 = 2*i + 12. Suppose i*n - 3*m = 0, 5*m = -2*n + 8*m + 2. Sort n, -5, -1 in decreasing order.
-1, n, -5
Let j = 1300/473 - 126/43. Put j, 0.1, -0.7 in ascending order.
-0.7, j, 0.1
Suppose 5*p + 0 = 10. Suppose 6*x = 4*x + 52. Suppose 4*f + 4 = 0, -9 + x = -5*n - 2*f. Sort -9, n, p in ascending order.
-9, n, p
Let k = -43.59 + 43. Let z = k + 0.09. Suppose 0 = -2*d + 6, 4*d - 3*d = -2*f + 11. Put z, f, -4 in descending order.
f, z, -4
Let y = -1574 - -7871/5. Put -8/159, y, 0.3 in ascending order.
-8/159, y, 0.3
Suppose f + 1 = t, 15*f - 9 = -t + 20*f. Let l = 13 + -15. Put -3, l, -7, t in descending order.
t, l, -3, -7
Suppose x + 1 = -0. Let o = -45 + 43. Put o,