rt h, -2, 0.
h, -2, 0
Suppose 2*v - 10 + 6 = 0, 4*v - 7 = -h. Sort 6, 7, h in descending order.
7, 6, h
Let j = -5687/9 + 632. Sort -3/5, j, -1.8.
-1.8, -3/5, j
Let s = 12 - 7. Suppose 7 = 9*k - 29. Suppose 12*v + 20 = -k. Put 0.5, s, v in increasing order.
v, 0.5, s
Let y = -36 - -37. Suppose y = 4*k + 9. Suppose -2*m - r = -9, -m + 2 = -0*m + 3*r. Put m, k, 1 in increasing order.
k, 1, m
Suppose -2*j + 15 = p, -j - 10 = -p - 2*j. Suppose -p*a = -a. Let h = -6 + 3. Sort h, a, 1 in descending order.
1, a, h
Suppose 3*r + 26 = 23. Sort 3, -5, -4, r in decreasing order.
3, r, -4, -5
Let l = -2 + 2. Let p = -1/4 - l. Suppose 4*d = 3*d + 1. Sort p, -0.3, d in decreasing order.
d, p, -0.3
Let n = -1.39 + 0.39. Let l = 2 + n. Sort l, -1/6, 2, -2/11 in descending order.
2, l, -1/6, -2/11
Let v(f) = 8*f - 563. Let y be v(70). Put -9, 5, y, -1 in decreasing order.
5, -1, y, -9
Suppose 2*k + 14 = -2*t + 4*k, -5*k + 10 = 0. Sort 5, 3, t, 2 in descending order.
5, 3, 2, t
Suppose -15*f + 0*f + 236 = 56. Let s(c) = -c**2 - 6*c + 2. Let a be s(-6). Sort -5, a, f.
-5, a, f
Let n = 1317/2 + -658. Sort -2, -0.2, n, -822 in ascending order.
-822, -2, -0.2, n
Suppose 9 = -4*r - 7. Let q = -1537 + 1542. Sort 0, r, q.
r, 0, q
Let x(y) = y**3 - 5 + 4*y**2 + 6 - 6*y + 5. Let u be x(-5). Suppose -3*i - 4*m = -u - 0, -m - 7 = 4*i. Put 0.5, i, 4 in increasing order.
i, 0.5, 4
Let y(a) = -4*a**2 + 12*a + 11. Let u be y(-1). Put u, 4, 1 in ascending order.
u, 1, 4
Let i = -123 + 125. Let x = 3.6 - 2.6. Sort 0, -1/6, x, i.
-1/6, 0, x, i
Let t(f) = -4*f + 23. Let q be t(7). Let a = -22 - -20. Put -4, a, q, -3 in decreasing order.
a, -3, -4, q
Suppose 11*b + 98 = 12*b. Put 3, -1, 4, b in descending order.
b, 4, 3, -1
Suppose -s - 1 = 1. Let o(n) = n**3 - 12*n**2 + 28*n - 7. Let m be o(9). Put s, 1, m in ascending order.
s, 1, m
Let s = -9.73 + 9.23. Sort 5, 3/5, -5, s in increasing order.
-5, s, 3/5, 5
Let j = -24 + 19. Let d(v) = v**2 - 3*v + 1. Let g be ((-18)/63)/(1/(-7)). Let o be d(g). Sort o, -4, j in ascending order.
j, -4, o
Let u(t) = t**2 + t - 310. Let v be u(-18). Put v, 1, -5, 17 in increasing order.
-5, v, 1, 17
Let h be (-1)/(-2)*8/22. Let x = 245 - 245.4. Sort x, h, 5 in decreasing order.
5, h, x
Let s be 3 + -2 + 0 - -4. Let v(i) = -i**3 + 5*i**2 + 4*i - 22. Let r be v(s). Sort 0, 18, r in increasing order.
r, 0, 18
Let z = -64.2 + 64.5. Let d = 0.07 + 1.93. Put d, z, 0.2, 6 in ascending order.
0.2, z, d, 6
Let v be 96/(-21) + 3/(-7). Suppose 4*t = 4 + 4. Suppose t*c - 4*c + 8 = 0. Put v, c, 0 in decreasing order.
c, 0, v
Let c = -264953 + 23315517/88. Let y = c - -33/8. Let g = -0.01 - 0.29. Sort y, 0, g in descending order.
y, 0, g
Let p be (-1)/(-5) - (-22)/(-110). Let j(s) = 8*s - 5. Let c be j(p). Put 1, 13, c, -2 in decreasing order.
13, 1, -2, c
Let c = 15.26 - 0.26. Let v = c + -30. Let q = 17 + v. Sort -0.5, q, -3/8 in descending order.
q, -3/8, -0.5
Let j = -38 - -33. Let h be -6*-1*j/(-15). Sort h, -2, -5.
-5, -2, h
Suppose 15*d - 52 = 11*d. Let k be 2*-2*91/d. Let c = k + 25. Sort 0, c, -2.
c, -2, 0
Suppose 0 = -5*k - 3*c + 28, 0*c + 3*c - 3 = 0. Let l = 10 + -6. Let x be 3/l - (-33)/(-12). Put k, x, 2 in ascending order.
x, 2, k
Let l be 130/4*2/(-20). Let q = l - -53/20. Put -2/5, q, 4 in increasing order.
q, -2/5, 4
Let g be (-22)/(-6) - (-2)/(-3). Let q be (-136)/16*(-6 + 1 + 1). Suppose 0 = -35*k + q*k - 5. Sort -2, k, g in decreasing order.
g, -2, k
Let u be 12/36*(-6)/(-1). Let j(z) = 3*z + 2. Let v be j(4). Suppose -v = u*l - 4. Sort l, -2, 5 in ascending order.
l, -2, 5
Suppose -m + 8 = f, -22 - 13 = -4*m - f. Sort 1, 2, 0, m.
0, 1, 2, m
Let a(l) = -l - 7. Suppose -6*i = -2*i - 24. Let t be a(i). Sort t, 0.4, 1/6 in ascending order.
t, 1/6, 0.4
Suppose 0 = 7*f + 7*f - 126. Sort 0.3, f, 0.2, 3 in descending order.
f, 3, 0.3, 0.2
Let c(h) = -h**3 - 21*h**2 + 21*h - 29. Let g be c(-22). Put 1, -2/13, g, -5 in descending order.
1, -2/13, -5, g
Let r = -240 - -236. Put 1, r, 2 in increasing order.
r, 1, 2
Let v = 569 + -571. Sort 9, 4, v in descending order.
9, 4, v
Let k(y) be the second derivative of y**3/6 - 3*y**2/2 - 7*y. Let o be k(0). Put o, 3, 8 in descending order.
8, 3, o
Let b = 7 - 6.94. Suppose j + 30 = -l - 4*j, 0 = -4*l + 4*j. Let n be ((-2)/(-10))/(2 + 12/l). Sort n, b, -1/6 in increasing order.
n, -1/6, b
Let i = 0.119 + -0.119. Sort 1/11, i, 9/4, 3.
i, 1/11, 9/4, 3
Let q = 40 - 37. Let j be (-18)/(-4)*(20/q)/5. Sort j, -1, -4.
-4, -1, j
Let z = 1458/5 - 291. Sort 2/15, z, -0.01 in descending order.
z, 2/15, -0.01
Suppose 0 = 2*a - 10, -4*d - 4*a + 14 = -d. Suppose r = 4, -7*s + 5*s + 14 = 5*r. Sort s, 5, d in ascending order.
s, d, 5
Suppose h + 8 = 2*z, -6*z - 20 = -8*z - 2*h. Suppose -2*r - 4*w + 16 = 0, 5*w - 2 = 2*r - 0*w. Sort z, r, 5 in decreasing order.
z, 5, r
Suppose 9 = -4*c + 17. Suppose -6*t + 26 = c. Put 1, t, -2 in decreasing order.
t, 1, -2
Suppose 0 = 5*u - f + 1, 4*u - 14 = 2*u + 4*f. Sort 71, u, 3 in descending order.
71, 3, u
Let f(b) = 3*b + 17. Let h be f(-7). Let y(o) = -o + 1. Let c be y(h). Let d = -4 - -8. Sort 2, d, c in decreasing order.
c, d, 2
Let o be -9*((-4)/18)/(16/24). Sort 54, 2, o in decreasing order.
54, o, 2
Let o be (39/78)/(3/(-48)). Let j be (1*-8 - -2) + 3. Sort j, o, 0 in descending order.
0, j, o
Let o = -66 - -66.2. Let z = 0.7 - o. Let i = -0.03 - -4.03. Sort i, 5/4, z.
z, 5/4, i
Let i = -321.98 + 322. Sort i, 2/15, 3/4.
i, 2/15, 3/4
Let s = 2481/13 - 191. Let h = -4 - -8. Sort s, 1/6, h.
s, 1/6, h
Suppose z = -2*z + 15. Suppose 0*h - 3*h + 25 = z*r, -16 = 2*r - 4*h. Sort -1, r, 3 in increasing order.
-1, r, 3
Let k = 11 - 24. Let y be k/15 + 4/6. Let w = -0.5 + 3.5. Put y, 1/4, w in decreasing order.
w, 1/4, y
Let f = -40 + 64. Let s = 27 - f. Sort 1, s, 0 in ascending order.
0, 1, s
Let b be -4 + 1 + 12/6. Let o = 3.05 + -0.05. Let f = 856 - 6004/7. Put b, o, f in descending order.
o, b, f
Let y(n) = n**3 + 32*n**2 - 32*n + 35. Let c be y(-33). Sort 5, -4, c, 13 in decreasing order.
13, 5, c, -4
Suppose 0 = 3*f - 2*y - 21, -16*f - y = -14*f - 21. Sort f, -5, -3.
-5, -3, f
Let r = 1 + 2. Let z(s) = -2*s**3 - 2*s**2 - 10*s - 10. Let x be z(-4). Let v = x + -626/5. Put r, v, 0.4 in decreasing order.
r, v, 0.4
Let p = -8 - -8. Let y be (-25)/(-95)*(-2)/(-5). Suppose -3 + 18 = 3*a. Put y, a, p in decreasing order.
a, y, p
Let i = 343 + -343. Sort 1, -11, i, -1 in decreasing order.
1, i, -1, -11
Suppose -2*k + 66 = -2*v, -53 - 104 = 5*v + 3*k. Sort -5/2, -1/4, v.
v, -5/2, -1/4
Let d be (-2)/(-6)*(-36)/(-132). Suppose v + 3 = 3*g + 2*g, -5*g - 2*v = -9. Sort -1/9, d, g in ascending order.
-1/9, d, g
Let d = 933 - 934. Put -4, d, 0.01 in decreasing order.
0.01, d, -4
Let n(h) = h**2 + 2*h - 1. Let q be n(-2). Let c be 1 - 0 - (0 - -2). Let w be c*5 + 6/3. Sort 0, w, q in ascending order.
w, q, 0
Suppose -2*m - 18 = 4*k + m, 2*k + 18 = 3*m. Put k, 4, -3 in descending order.
4, -3, k
Let x(c) = -2*c**2 + 2*c + 15. Let d be x(4). Let l(r) = -r - 1. Let p be l(3). Put -5, d, p in descending order.
p, -5, d
Suppose -65*b + 62*b = 6. Put 28, b, 4 in decreasing order.
28, 4, b
Let f = -787 - -791. Put f, 0, 0.4, 3 in ascending order.
0, 0.4, 3, f
Let t be (-1 + 5)*24/(-16). Let g be (-3*10/t)/1. Let f be ((-32)/80)/((-1)/(-10)). Sort 1, f, g in decreasing order.
g, 1, f
Suppose -27*u = 481 + 140. Sort u, -4, 3 in ascending order.
u, -4, 3
Let q(m) = m**2 - 2*m - 5. Let a be q(4). Suppose -a*v - v + 8 = 0. Let u = v - 2. Put -5, u, 2 in decreasing order.
2, u, -5
Let u(l) = l**3 + 2*l**2 + 7*l + 10. Let f be u(-2). Put -3, -1, f, -15 in descending order.
-1, -3, f, -15
Let r = -3 - -3.02. Let j = 2 + -6. Let f = -174.6 - -175. Sort r, f, j in ascending order.
j, r, f
Suppose -4*a = -2*b - 2 - 0, -2*a - 4*b = -16. Let g be 2*a - (-5 - -6). Sort -2, -5, g in increasing order.
-5, -2, g
Let o be ((-20)/(-16))/5*(4 + 0). Put o, -13, 3 in descending order.
3, o, -13
Let x = -0.9 + -0.1. Sort 1/6, x, -15, -5 in increasing order.
-15, -5, x, 1/6
Let g = -824 - -827. Put 18, g, 1, -1 in decreasing order.
18, g, 1, -1
Let k = 1049 + -1051. Let w = 1.1 - -2.9. Sort w, -1/2, k in decreasing order.
w, -1/2, k
Let v be -12*(-6)/36*-3. Put -2, v, 3 in decreasing order.
3, -2, v
Let g = 17 + -16. Suppo