pose -3*a + 22 = 70. Let y = 9 + a. Let c = -19 + 17. Sort y, 2, c in increasing order.
y, c, 2
Let m = 6.9 + 1.1. Let k = -23 + 28. Let j = m - k. Sort j, 3/7, -0.2.
-0.2, 3/7, j
Suppose 2*i + 12 + 3 = -w, 15 = -5*w + 2*i. Let c(g) = g + 4. Let o be c(-8). Let n be 2/(-4)*(-14 - o). Put 4, n, w in ascending order.
w, 4, n
Let i = -0.15 + -15.85. Let s = i + 19. Let o = s + -3. Put 2/23, o, -1 in increasing order.
-1, o, 2/23
Suppose 0 = 2*h - 2 + 6, -28 = -5*a + 4*h. Suppose 1 = -u + 3*f + 7, -a*u + 11 = f. Suppose 8*z - 9*z = 6. Put z, 0.2, u in increasing order.
z, 0.2, u
Let d = 22 + -12. Suppose 7*y = d*y + 9. Sort 3, y, -6 in descending order.
3, y, -6
Let k = -15 + 13. Let f be (-8)/8*(6 - -11 - 5). Sort f, k, -4 in decreasing order.
k, -4, f
Suppose -3*n - 4 = -n. Let k be (-1 - (n - 0))*3. Let g be 180/(-315) + 20/(-14). Sort g, -4, k.
-4, g, k
Let n(f) = -3*f**2 - 15*f + 8. Let i be n(-6). Let u be -3 + (-32)/i + 0. Sort u, -0.15, 1 in increasing order.
-0.15, u, 1
Let m = -225 + 221. Put -0.5, m, 1 in decreasing order.
1, -0.5, m
Let x be 8/2 - 16/8. Suppose -x*s + 12 = 4. Suppose -4*f = -2*j - 12, s*j - 12 = -4*f - j. Put f, -10, -2 in ascending order.
-10, -2, f
Suppose 3*f = -2*f - 12*f. Sort -32, f, -1 in descending order.
f, -1, -32
Let r(p) = 5*p**3 - 2*p. Let g be r(2). Let l = -37 + g. Sort 5, 1, 2, l in increasing order.
l, 1, 2, 5
Suppose -5*d + 5 = 110. Let u = 17 + d. Sort 5, u, 1 in decreasing order.
5, 1, u
Let a = 0.24 - 17.24. Let b = a - -16.8. Put -5, b, 2/5 in descending order.
2/5, b, -5
Let c = -414/13 - -32. Let v = -492 - -494. Let g = 2 - 1.7. Sort v, g, c in increasing order.
c, g, v
Let u = 65 + -64. Let c be (-4*(-3)/(-30))/(u/2). Put c, 3/2, -4 in descending order.
3/2, c, -4
Suppose 5*t + 13 = -3*g, -3*g = -4*g - 2*t - 6. Let u = 0.211 + 0.089. Put 2/7, u, g in decreasing order.
g, u, 2/7
Let a(m) = 3*m - 27. Let o be a(4). Let f = 12 + o. Sort 4, f, 1 in increasing order.
f, 1, 4
Let r(o) = -o - 7. Let x be r(-9). Suppose -3*v + 4*v - n - 4 = 0, 0 = 4*v - 3*n - 11. Suppose -4*q - q = 25. Put v, q, x in decreasing order.
x, v, q
Let c = 116 - 115.811. Let s = 0.589 - c. Let i = -0.1 - 0.2. Put 9, i, s in descending order.
9, s, i
Let h = 429 + -420. Put 2, -4, h, -21 in descending order.
h, 2, -4, -21
Let w be (-24)/(-144) + 1/(-6). Suppose 0 = -8*f - w*f - 40. Let c(b) = b**2 - 6*b + 3. Let i be c(6). Put i, f, 9 in descending order.
9, i, f
Let t = -281 - -278. Put t, -0.8, -0.2 in descending order.
-0.2, -0.8, t
Let i be (-1 + 3 + -3)/((-70)/28). Sort -5, 5.1, 3, i.
-5, i, 3, 5.1
Suppose 303 = 3*r - 2*d, -4*d = 2*r + d - 221. Sort 0.3, r, 0, -0.2 in ascending order.
-0.2, 0, 0.3, r
Let k = 31.263 + 0.437. Let q = 32 - k. Sort 0.5, 5, q in increasing order.
q, 0.5, 5
Let h = 2.29 + -1.29. Sort h, -35, -1/5.
-35, -1/5, h
Suppose -4*v = v - 25. Let z be -2*v/((-20)/18). Let r = z - 12. Sort 0, 1, r.
r, 0, 1
Let b = 20 - 12. Suppose -5*t - b = -3. Let o be 2/(-12)*-14 + t. Sort 3, o, -0.2.
-0.2, o, 3
Let o be 10/4*6/(-3). Let u = 1084 - 1080. Put -16, u, o in decreasing order.
u, o, -16
Let m = 1450.6 - 1451. Sort -1, -79, 0.1, m in ascending order.
-79, -1, m, 0.1
Let v = -1.8 - 0. Let o = -2.8 - v. Let c = 0.2 - -0.8. Sort -0.3, o, c.
o, -0.3, c
Suppose 3*w + 125 = 4*l, -w + 25 = 4*w. Suppose -4*r = m - 6*m + l, 5*r - 3*m + 34 = 0. Let t = 24 - 25. Sort r, 1, t in ascending order.
r, t, 1
Let k = 5.0448 + -0.0448. Sort -1, k, -370 in increasing order.
-370, -1, k
Let d = 5.5 + -0.5. Let b = -8 + 35. Suppose 0 = -32*c + b*c + 5. Sort c, d, 3/4.
3/4, c, d
Let u = 2 - 2.5. Let p = 1987 + -1984. Sort p, u, -10, 1 in descending order.
p, 1, u, -10
Let i = 75 - 8. Let p = 337/5 - i. Let z be 1 - (4/6 - 0). Put p, z, 3 in decreasing order.
3, p, z
Let y be 1 + -1 + 9 + -4. Let m = 0 + 0. Suppose -5 = -4*t - 1. Sort y, t, m in ascending order.
m, t, y
Let s(g) = 3*g - g**2 + 4*g - 6 + 0*g**2. Let a be s(5). Let h be 2/(-6) + (-2)/(-12)*2. Sort -5, h, a in descending order.
a, h, -5
Let w(r) = -19*r - 172. Let v be w(-9). Put 24, v, -3, 2 in decreasing order.
24, 2, v, -3
Let z = -519.9 + 520. Sort z, 4/3, 4, -1/3 in descending order.
4, 4/3, z, -1/3
Let j(v) = -2*v**2 + 28*v - 75. Let z be j(10). Suppose 0 = -4*p + 19 - 3. Put p, 3, z in descending order.
z, p, 3
Let g = -0.469 + 0.169. Sort 53, g, -2.
-2, g, 53
Let n(f) = -2*f - 28. Let b be n(-16). Suppose -8*c + b*c = -8. Let m = -2 - 0. Sort m, 5, c in descending order.
5, c, m
Let j(g) = g**3 - 7*g**2 + 8*g - 14. Let p = -58 - -64. Let s be j(p). Put 5, s, 4 in increasing order.
s, 4, 5
Let w = 0.22 - -0.18. Let z be ((-2)/(-8))/((-4)/(-24)). Sort -5, w, z in decreasing order.
z, w, -5
Let k(n) = -3*n**2 + 41*n + 65. Let q be k(15). Sort -2/9, q, 2, -33 in descending order.
q, 2, -2/9, -33
Let w(j) = -j**3 + 10*j**2 - j + 15. Let m be w(10). Suppose -5*y + 25 = 0, 5*p + 0*y - y = 145. Suppose m*f + 25 = p. Put f, 2, -2 in descending order.
2, f, -2
Let s = -0.038 - -0.038. Sort 4/7, 0.4, s, -22 in decreasing order.
4/7, 0.4, s, -22
Let g be 6 - (80/7 + -5). Sort 0.3, g, -0.4, -0.5.
-0.5, g, -0.4, 0.3
Suppose 5*j - j = 120. Let f be ((-1 - -3) + 3)*(-50 - -51). Put j, 1, f in increasing order.
1, f, j
Let j(m) = m**2 - 7*m + 10. Let w be j(5). Suppose -5*q + 15 = -0*q - 5*d, w = -q + 4*d + 3. Sort -3, -5, q in ascending order.
-5, -3, q
Let g be ((-2)/(-8)*-1)/((-2646)/2352). Put 2/13, 1, g, 2/5 in descending order.
1, 2/5, g, 2/13
Let t(h) = -h**3 + h + 3. Let c be t(0). Suppose 0 = 3*v - 4*v - 3*z - 3, -z - 11 = -c*v. Sort -2, v, 5.
-2, v, 5
Let u be ((-6)/18)/(2/(-6)). Let d be 1/(-6)*60/(-8). Let k(l) = -l**3 - 7*l**2 - 6*l - 2. Let w be k(-6). Sort w, d, u.
w, u, d
Let r = -1.6 - -2.6. Let v = -1 + r. Let f = -0.2 + 0.6. Put v, 2/7, f in decreasing order.
f, 2/7, v
Let a = 0.761 - 1.061. Put a, -4/7, -0.2 in decreasing order.
-0.2, a, -4/7
Suppose 0 = -g + 3*j + 18, 2*g - j - 1 - 10 = 0. Suppose -53 = -5*m - 5*s - g, 0 = m - 4*s + 15. Sort m, 2, -1.
-1, 2, m
Suppose -5*o = 3*j - 26, 4*j - 2 = 3*j. Put o, -5, 6 in decreasing order.
6, o, -5
Let x(v) = -9*v - 47. Let r(s) = -s. Let z(l) = -3*r(l) + x(l). Let t be z(-8). Sort 0, t, -5.
-5, 0, t
Let k = 485 - 482. Put 5, k, 0.4 in decreasing order.
5, k, 0.4
Let j = -0.3611 + 0.1621. Sort 1/4, j, -2/7 in increasing order.
-2/7, j, 1/4
Suppose 0 = -2*k + 4 - 0. Let j(r) = -r - 2. Let b be j(k). Put b, 0, 1, -1 in increasing order.
b, -1, 0, 1
Suppose 19*z = 41*z - 484. Put z, 1, 0 in ascending order.
0, 1, z
Let f be ((-504)/70)/(2/(-5)). Let j = 20 - f. Put j, 1, -0.5 in ascending order.
-0.5, 1, j
Let d be 8/(-14)*(-3)/(84/98). Let q = -5 + 4. Sort -20, d, q in decreasing order.
d, q, -20
Let f = -801/7 + 115. Put -5, f, -5.7 in descending order.
f, -5, -5.7
Let p = 750.3 - 697. Let d = 53 - p. Put -2, d, 7/2 in ascending order.
-2, d, 7/2
Let p be 6/(-27) - 39/1404. Sort 3/7, -6, p, -4 in descending order.
3/7, p, -4, -6
Let h(f) = -f - 16. Let z be h(-19). Let v be 3 + 3/6*-22. Sort z, -4, v.
v, -4, z
Let q(t) = -t**3 + 2*t**2 + 7. Let c be q(3). Let z be -1 + -3 + (5 - c). Sort 1, -2, z, 2 in decreasing order.
z, 2, 1, -2
Let o be -10 - -6 - (-10)/2. Suppose t - y = 0, o = -t - 5*y - 11. Let k = -1 + -2. Sort 1, t, k in increasing order.
k, t, 1
Suppose -5*u - 28 = -2*c, 79*u - 77*u - 8 = -4*c. Suppose -5*j + 23 = -2. Sort c, j, 1 in descending order.
j, c, 1
Suppose 8*u - 12 = 4*u. Let f = 15.41 + -6.41. Sort f, -8, u in decreasing order.
f, u, -8
Let w = -0.5 - 0. Let m = 4.2 + -4.3. Let r = -5 + 4.7. Sort w, m, r in ascending order.
w, r, m
Let c = 1297 + -1262. Sort 2, c, 5 in increasing order.
2, 5, c
Let i(o) = -3*o - 26. Let r be i(-9). Suppose -b + t - 3 = 2*t, 3*b - t = -r. Sort 1/7, b, 0.1 in ascending order.
b, 0.1, 1/7
Let l be (-4)/(-3)*15/10. Suppose -3*n + 1 = -2*t, -l*t - 3*t = n - 23. Put 6, 2, n in decreasing order.
6, n, 2
Suppose 125 = 15*g + 10*g. Put 0.3, g, -1/6 in ascending order.
-1/6, 0.3, g
Let g = -439 + 444.27. Let f = g + -0.27. Let l = 10.6 + -11. Sort f, -6, l in descending order.
f, l, -6
Let x = -377/2 - -187. Let l(k) = k**2 - 3*k. Let s be l(4). Let u be 12/(-99)*6/s. Put -4, x, u in increasing order.
-4, x, u
Let z = -13 + 12. Let m = -48 + 108. Let v = -302/5 