der.
v, c, 1
Let r(m) = -m**2 - 4*m + 9. Let d be r(-5). Sort -3, d, -5 in decreasing order.
d, -3, -5
Let h = -44 - -49. Sort h, -5, 0, 1 in decreasing order.
h, 1, 0, -5
Let b(z) = -3*z**2 + 3*z - 1. Let q be b(0). Sort 5, q, -2, -5 in decreasing order.
5, q, -2, -5
Let g = 39 + -26. Let i = g + -18. Let a be (i - -3)/(2 - 3). Sort 4, a, -4 in descending order.
4, a, -4
Suppose -q = 2, -5*t - 2*q + 2 = -4. Suppose t = -p, -5*s + 4 = -s - 4*p. Suppose 3 = 8*o - 29. Put -4, s, o in decreasing order.
o, s, -4
Let f = -0.1242 - -0.0642. Sort -0.2, f, 1/8.
-0.2, f, 1/8
Suppose -190 = -2*c - 3*x + x, c + 4*x = 89. Let a = -101 + c. Sort 0.1, a, 4, 2 in decreasing order.
4, 2, 0.1, a
Let c be (-4)/(-8)*(-2 - -4). Let k(g) = g - 1. Let m be k(-4). Suppose 0 = n - 0*n. Sort n, m, c.
m, n, c
Let n be 46/1380 + (-1)/(-6). Sort n, 3, 8 in descending order.
8, 3, n
Suppose 2*q + 7 = -17. Let v be 1 + 20/q + 0. Put -3/4, v, 0.06 in increasing order.
-3/4, v, 0.06
Let f = 26 + -15. Let s = 7 - f. Let q = -282/7 - -40. Put 4, q, s in decreasing order.
4, q, s
Suppose -o + u = -2, -5*o + 30 = u + 2. Put -1, 20, 1, o in increasing order.
-1, 1, o, 20
Let w = -0.5 + 3.5. Let x = 1043 - 1043. Sort 4, 0.2, x, w.
x, 0.2, w, 4
Let q = 3 - 7. Let f be (-19)/4 - (-2)/(-8). Let v = -16/3 - f. Put q, v, 1/5 in descending order.
1/5, v, q
Let c(k) = -6*k - 28. Let n be c(-5). Sort n, -1, -5, 5 in decreasing order.
5, n, -1, -5
Suppose -4*s + 25 = 5*g + s, -3*s + 11 = -g. Let x be (1 - g - -4) + -2. Suppose -2 - 2 = x*a. Sort a, 3, -4 in ascending order.
-4, a, 3
Suppose -2*z = -5*t + 30, 107*z - 104*z - 2*t = -12. Let w(i) = -i**3 - 5*i**2 - 4. Let s = 5 - 10. Let x be w(s). Put z, 3, x in decreasing order.
3, z, x
Let g be ((-5)/(50/4))/((-6)/(-60)). Let h = 7 - 16. Let y be (-14)/(-4) + h/(-18). Put y, g, 5 in increasing order.
g, y, 5
Let p = -1434 - -1437. Put -1, -0.3, 0.115, p in increasing order.
-1, -0.3, 0.115, p
Let o = 59.7 + -60. Put 0.3, 0.1, o in ascending order.
o, 0.1, 0.3
Let x = 75 + -79. Suppose -2*i = -3*i - 5. Let b = 19 - 33. Put b, x, i in ascending order.
b, i, x
Let u(p) = 5*p**3 + 8*p**2 - 22*p - 5. Let v be u(2). Put 15, v, -1 in increasing order.
-1, 15, v
Let l(p) = -p**2 - 7*p + 63. Let i be l(5). Sort -4, 1, i, -2.
-4, -2, 1, i
Let g = 677 + -1355/2. Sort g, -6, 4/7, 1/2 in ascending order.
-6, g, 1/2, 4/7
Let c = 88.7 - 89. Sort 11, 0.1, c.
c, 0.1, 11
Suppose 2*c + 25 = -3*j, 4*c + 5 = -c + 4*j. Let u be 7/(-3) - 74/111. Sort -8, u, c.
-8, c, u
Let f = 39 + -39. Suppose i - 1 - 3 = f. Let u be (-7)/4 - -1 - -1. Put u, i, -4 in decreasing order.
i, u, -4
Let t(w) = 2*w + 14. Let p be t(11). Let c be p/(-27) - 102/(-63). Sort -0.5, 0, c in ascending order.
-0.5, 0, c
Let h be 15/20*(-28)/(-7). Suppose -3*d + 6*d = 0. Suppose -5 = -5*r - d. Sort r, h, 4.
r, h, 4
Let n be 6/33 + (-129)/(-198). Let r = 41/42 - n. Let z = -0.3 + 0.8. Put -2/3, r, z in decreasing order.
z, r, -2/3
Suppose 0 = -2*h - 4*c - 28, 5*c - 1 = -4*h - 45. Sort -2, 4, h.
h, -2, 4
Suppose 0*k = 4*k - 4. Suppose 5*o - 5*r + 50 = 0, -2*o + 20*r - 25*r = -15. Sort o, 5, k in descending order.
5, k, o
Let y = 1.99 - 2.29. Sort -1/9, y, -7, -2 in descending order.
-1/9, y, -2, -7
Let x = 0.04 - -0.06. Let v be 2/(-18) + 212/(-36). Sort v, -4, x, -0.3 in descending order.
x, -0.3, -4, v
Let y be 3*((-3)/(-4) - 4/4). Let p be (-1 - 1) + (-32)/(-14). Suppose 2*r + r - 15 = 0. Sort p, r, y in increasing order.
y, p, r
Let a(l) = -l**2 - 20*l - 16. Let q be a(-19). Sort q, -2, -5, 26 in descending order.
26, q, -2, -5
Let m(z) = z**2 + 6*z - 3. Let w be m(-5). Let t(d) = -d**3 - 7*d**2 + 10*d + 10. Let c be t(w). Let f = c + 3. Put 7, 2, f in increasing order.
f, 2, 7
Let s be 3/(5 + (-2 - (-36)/(-15))). Sort -4, -7, s, -5 in descending order.
s, -4, -5, -7
Let j be (-3)/(18/60) - 0. Put 28, j, 2 in descending order.
28, 2, j
Let u be 2 - (19 + (-3 - (-1 + 1))). Sort u, 2, -4, 0 in increasing order.
u, -4, 0, 2
Let v be 0*(3/2 + -1). Let k(l) = -l**3 + 2*l**2 - 2*l + 6. Let y be k(0). Suppose 18 = y*a + 12. Sort v, -13, a.
-13, v, a
Suppose -4*n = -y - 20, y + 15*n + 48 = 26*n. Let f = 10 - 8.4. Let d = 2 - f. Put d, 0.03, y in ascending order.
y, 0.03, d
Suppose m + m = 2*d - 22, 3*m - 2*d + 38 = 0. Let z be (-6)/(-8)*m/(-126). Put -1/5, -2/13, -2, z in decreasing order.
z, -2/13, -1/5, -2
Suppose 774*p + 60 = 777*p. Sort -4, -16, p in descending order.
p, -4, -16
Let b = 37 - 66. Let u = b - -28.8. Let s = -0.2 + 0.3. Put s, u, 2 in increasing order.
u, s, 2
Let h be (-26)/(-2*(0 + -1)). Let y be h/(130/12) - -1. Sort -12, y, 0.
-12, y, 0
Suppose -3 = -0*a - 3*a. Let v = 2 - a. Suppose -6*y - 4*o - 4 + 30 = 0, -y = -o - 1. Sort y, -3, v in descending order.
y, v, -3
Suppose 2*b - 10 = -3*b. Suppose 3*l - 4 = -6*l - 4. Sort b, l, 5.
l, b, 5
Let h = 1199 - 2397/2. Sort 88, h, -1/2.
-1/2, h, 88
Suppose -9 = -2*l - 1. Let y be (0 + 1)/(4 + -3). Let b be 2/(1 - (1 - 1)). Sort l, y, b.
y, b, l
Let n(w) = 73*w - 1391. Let g be n(19). Suppose -2*a = -0*a - 12. Sort a, g, 2.
g, 2, a
Let n = 3.22 + 3.74. Let h = 7 - n. Put 4/3, -0.4, h in decreasing order.
4/3, h, -0.4
Let h(i) = i**3 - 50*i - 5 - 9*i**2 - 5*i**2 + 65*i + 5*i**2. Let j be h(7). Let f = 0 + -5. Sort 2/5, f, j in decreasing order.
j, 2/5, f
Let a = 0.8 + -0.5. Let t = a + -4.3. Suppose -f + 2*o = 3*o, 3*o = 5*f + 40. Sort t, f, 0 in increasing order.
f, t, 0
Let t = 93 + -90. Suppose t*u - 15 = 0, 2*u - 21 - 21 = -4*w. Suppose -3*x - 13 = 2*o, 4*x = -2*o - o - 19. Sort x, -4, w.
-4, x, w
Let d = -3 - -4. Let i be (-16)/72 + (-122)/(-306). Let r = i + 5/68. Sort 3, d, r in decreasing order.
3, d, r
Let v = 0.042 + -22.042. Let d = v + 40. Let w = 22 - d. Sort w, 0, 0.5.
0, 0.5, w
Let j = -1 - 3. Let v = 291 + -290.9. Put 0, -5, j, v in decreasing order.
v, 0, j, -5
Let n(u) = -u**3 - 5*u**2 - 2*u - 5. Let c be n(-5). Let d(x) = -x + 7. Let s be d(c). Let b be (-36)/18*5/2. Sort s, 1, b in decreasing order.
s, 1, b
Let i = 398 - 397. Sort 2, i, -5, -2 in increasing order.
-5, -2, i, 2
Let n be ((-4)/(-5))/(2/(-10)*-1). Put -1, n, -11 in decreasing order.
n, -1, -11
Let s be ((-13)/(260/16))/((-4)/(-10)). Sort s, -19, -4, 4 in decreasing order.
4, s, -4, -19
Let v = -603.3 - -575. Let l = v - 4.2. Let t = l + 32. Put -0.2, 1, t in decreasing order.
1, -0.2, t
Let r = -0.0312 + -3.9688. Put 4/3, -3.9, r in descending order.
4/3, -3.9, r
Suppose 5*k + 1 + 0 = -3*t, 5*k = 4*t + 13. Let w(s) = -s**3 + 6*s**2 + 21*s - 11. Let g be w(8). Suppose 28*z - g*z + 5 = 0. Put 3, z, t in increasing order.
t, 3, z
Suppose 2 + 4 = v. Suppose 0 = 3*w + o - 26, -w + 4*o + v = -2*w. Suppose w*a - 5*a = -15. Sort -2, -5, a in ascending order.
-5, a, -2
Let m be ((-8)/(-40))/(2*(-1)/(-15)). Sort -1, m, -1/46.
-1, -1/46, m
Let d = -3.2 - -3.222. Let x = -4.022 + d. Put 2, -5, 0.3, x in descending order.
2, 0.3, x, -5
Suppose -2*m = 2*j + 20, 0*j = -3*j + 3*m. Let y(i) = -3*i - 25. Let h be y(-10). Put j, h, -4 in descending order.
h, -4, j
Suppose 2 = 3*d - 2*t, -5*d + 4 = -7*t + 4*t. Suppose 0 = -4*b + 8, d*b + 0 = 2*p - 2. Sort p, -9, 1.
-9, 1, p
Suppose -z - 3*z = -5*u + 4, -2*u - 3*z - 3 = 0. Suppose u*p = 4*p - 20. Suppose -3*d - 7 = p. Sort 2, -5, d.
-5, d, 2
Let i be 84/12 + -1 - 11. Let c be (-14)/(-6) + 2/(-6). Sort c, 1, -3, i in descending order.
c, 1, -3, i
Let i = 2 + -5. Let o = -0.96 - 8.64. Let v = -9.9 - o. Put -2, v, i in decreasing order.
v, -2, i
Let v(m) = m**3 + 10*m**2 - 12*m - 7. Let r be v(-11). Put 109, r, -5 in increasing order.
-5, r, 109
Let h = 18 - 19. Let m be ((-32)/(-20) - 0) + h. Let u be 3/((-9)/4 + 3). Sort u, m, -0.2 in ascending order.
-0.2, m, u
Suppose -7*o + 25 = -2*o. Suppose 0 = 5*x - s - 17, -4*x + 35 = x + o*s. Sort -4, 1, x in ascending order.
-4, 1, x
Let z(g) = -7*g**2 - 2*g - 1. Let f be z(-1). Let q(l) = -3 - 2*l**2 - l + 131*l**3 - 130*l**3 + 6*l + 9*l**2. Let d be q(f). Put d, 1, 4 in decreasing order.
4, d, 1
Let u be (-34)/(-14) + (-1 - 1). Let f = -2469 - -2473. Put 2/15, f, u in descending order.
f, u, 2/15
Let z = 0.4 + 0.1. Let q = 50 + -45. Sort 3, z, 4/3, q in descending order.
q, 3, 4/3, z
Let w be (-3)/(3/2 + 0). Suppose 13 - 14 = b. Let x be 6/4*(-10)/(-15). Sort w, x, b in ascendi