der.
1/3, b, k
Let x = -7 - -4. Let v = 2.9 + x. Put 0.3, v, -0.4 in descending order.
0.3, v, -0.4
Suppose 19 = g - 4*t, 3*t - t = 3*g - 7. Put g, 5, -17 in decreasing order.
5, g, -17
Let v = -0.9 - -0.5. Let w = 0.2 - 0.3. Let r = -0.3 - w. Sort v, -2/3, r.
-2/3, v, r
Let z(b) = 3*b. Let q be z(-1). Put -4, -5, q in decreasing order.
q, -4, -5
Let i be -1 - 3/(-3)*-4. Sort -4, i, 18 in descending order.
18, -4, i
Let q(y) = -y**2 + 3*y + 1. Let z be q(3). Suppose 2*m - o = -48, -2*m + 0*m - o = 56. Let t be ((-8)/(-5))/(m/65). Put 3, t, z in increasing order.
t, z, 3
Suppose 3 + 1 = -4*f + 4*l, 0 = -3*f - l + 5. Suppose -d - 8 = -5*d. Sort 5, d, f in descending order.
5, d, f
Let o = 2/1125 - -2224/14625. Put o, -4, -3 in descending order.
o, -3, -4
Suppose -y - 2 = -0. Sort -3, y, 2.
-3, y, 2
Suppose -5*b + 44 = -61. Let t be 6/b + (-39)/(-35). Sort -2, t, 0.4.
-2, 0.4, t
Let s(y) = -3*y. Let o(a) = -a - 1. Let n(i) = -o(i) + s(i). Let x be n(-2). Put x, 3, -3 in decreasing order.
x, 3, -3
Let z = 4.2 + -0.11. Let w = z - 0.09. Sort -7, 5, w in decreasing order.
5, w, -7
Let o(x) = x + 1. Let a be o(5). Let t = a + -6. Sort 3, t, -3.
-3, t, 3
Let s(w) = w**2 + 6*w. Let n be s(-6). Let j = 23/12 - 5/3. Sort -1, n, j.
-1, n, j
Let n = 9.6 + -3.6. Sort 0, 1, n in descending order.
n, 1, 0
Suppose -8 = 4*x - 5*y - 3, 3*y + 14 = -x. Let h = 25 + -20. Sort -3, h, x.
x, -3, h
Suppose 0*z = 3*z - 12. Let o = z - 10. Let v be (o/(-18))/(2/(-6)). Sort -5, 0, v in decreasing order.
0, v, -5
Suppose 3*s = s + 14. Suppose -s = u - 0*g + g, u = 3*g + 5. Sort 4, u, 2 in decreasing order.
4, 2, u
Suppose -5*a + 3 = -2*a. Put -25, -5, a in descending order.
a, -5, -25
Suppose 4*q - 14 = 2. Sort -3/8, 3, 0.4, q in descending order.
q, 3, 0.4, -3/8
Let n = -3 - -2.8. Let b = n - 0. Let t be 0 - 1*(-3)/(-12). Sort 1, t, b in increasing order.
t, b, 1
Suppose 6*h = h. Put -5, h, -2 in ascending order.
-5, -2, h
Let l = -2.9 - 2.3. Let d = l + 5. Sort 1/5, d, 0.5.
d, 1/5, 0.5
Let c(u) = -u**2 + 5*u + 6. Let j be c(6). Sort 4, j, -2 in descending order.
4, j, -2
Let m(y) = 1 - 1 + 2 + y**3 + y**2 + y. Let k be m(0). Suppose -3 = -k*q + x, 5*q = 3*x + 7 + 1. Put -5, q, -2 in descending order.
q, -2, -5
Suppose 39*y = 36*y + 6. Put -2, y, -5 in decreasing order.
y, -2, -5
Let j = 102.9 + -103. Put j, 0, 2/11 in increasing order.
j, 0, 2/11
Let j = 259/30 + -17/2. Let b = 4 + -3. Let g = 190 - 193. Sort g, b, j in descending order.
b, j, g
Let z = 14 - 20. Let m = -5.9 - z. Put m, 4, 3 in ascending order.
m, 3, 4
Let j(t) = t**2 + 9*t + 11. Let m be j(-8). Put 0, m, 2 in decreasing order.
m, 2, 0
Let c = -118 + 122. Let b(j) = j**3 - 4*j**2 + 3*j - 1. Let g be b(2). Sort -2, c, g in descending order.
c, -2, g
Suppose -4*i = -i. Let f = 1 + -6. Let c be ((-4)/10 + i)*f. Sort -2/13, -0.4, c.
-0.4, -2/13, c
Let b be -4 + 1 + 2/2. Sort b, -3, 0.5 in ascending order.
-3, b, 0.5
Let z = 3 - 0. Let q = -46/15 + 7/5. Sort z, q, -4.
-4, q, z
Let g be (-9)/66*(-4)/3. Let c = -6 + 8. Suppose 2 = o - c. Put g, -1/2, o in increasing order.
-1/2, g, o
Let v = -22.4 + 15.7. Let w = -0.7 - v. Let k = w - 4. Sort 0.3, -1, k in increasing order.
-1, 0.3, k
Suppose -s - 2*s = -6. Suppose -n - 1 = -s*n. Let h = n - 1. Sort 4, h, -2/7 in decreasing order.
4, h, -2/7
Let r be 1/(-4 + (4 - 1)) + 2. Sort r, -4, -3.
-4, -3, r
Let x(s) = -s**2 - 11*s + 3. Let n be x(-11). Let z = -1 + 0. Put 2, n, z in decreasing order.
n, 2, z
Let a = -5 - -7. Sort -4, -2, -1, a in decreasing order.
a, -1, -2, -4
Let x be (-76)/3 - 3 - 2. Let k = 643/21 + x. Put -3, k, -0.05 in ascending order.
-3, -0.05, k
Suppose -13 = -8*b - 37. Let s be 10/(-14) - (-2)/(-7). Sort 2, s, b in decreasing order.
2, s, b
Let l = 2.4 + -2. Let p = 18 + -18. Put p, l, 0.12 in ascending order.
p, 0.12, l
Let q(h) = h**3 - 14*h**2 + 6*h - 89. Let a be q(14). Let f be (1 + 0)*5 - 1. Let b be (2*1)/f*-8. Sort 2, a, b in descending order.
2, b, a
Let k = -10 + 8. Let n be (-4 + -1)*k/5. Let g(q) = -q**3 + 2*q**2 + 5*q - 3. Let p be g(3). Sort p, 2/5, n.
2/5, n, p
Let m be (-8)/6*15/2. Let z be m*4/18 + 2. Sort z, 2/5, 1/3 in ascending order.
z, 1/3, 2/5
Let c = -283660/153 + 1854. Let v = -55/306 + c. Let f be (-1)/3 - (-14)/(-12). Sort -1, f, v in increasing order.
f, -1, v
Let l = 1.93 + 0.07. Suppose -20 = -0*t - 5*t. Suppose -3*z + 4 = -t*z. Put z, l, -2/19 in decreasing order.
l, -2/19, z
Suppose 0 = a - 4*r + 13, -2*r - 27 = 5*a - 3*r. Let p be 5 + 0 - 2/2. Let q(f) = 4*f. Let v be q(-1). Put v, a, p in decreasing order.
p, v, a
Let c = 5 + 3. Let f = -11 + c. Let x = -17 - -16. Put x, f, 1 in decreasing order.
1, x, f
Suppose -4 = -2*y + 3*y. Put -2, 3, y in decreasing order.
3, -2, y
Let y(r) = -r**2 - 16*r - 6. Let g be y(-16). Let u be (3/7)/(g/4). Sort -1/3, -0.2, u in descending order.
-0.2, u, -1/3
Let x be (-812)/(-15) - 6/45. Let y be 2/6 - 30/x. Put y, -3, 0.2 in increasing order.
-3, y, 0.2
Let r = -57 + 52. Let k(q) = q**2 - 7*q + 9. Let n be k(6). Put r, 1, n in decreasing order.
n, 1, r
Suppose -d - 4*c + 7 = 0, 4*c + 8 = d + 3*d. Suppose -13 = -r + d*r - i, -r - 5*i = -10. Sort r, 1, 4.
r, 1, 4
Let m(x) = 2*x**2 + 3*x + 1. Let q be m(-2). Suppose 0 = 5*l + 25, -4*k + 5*l = -q - 18. Let s be -1*(k - (-6)/4). Sort 2/9, -1, s in descending order.
2/9, s, -1
Let g = -6 + 11. Let b = 0.36 + -0.4. Let j = b - 2.96. Put 0, j, g in increasing order.
j, 0, g
Let s = -141/4 - -34. Let x = -45 - -45. Sort x, 5, s in descending order.
5, x, s
Let z = 16 - 19. Let j = -0.04 - 0.46. Sort 1, j, z in descending order.
1, j, z
Let g be (-2)/5 - (-52)/(-20). Put g, 4, 0 in ascending order.
g, 0, 4
Let d = -23 - -26. Put 1, d, 4 in ascending order.
1, d, 4
Let m be (0*(-1 + 6/4))/1. Sort m, 2, 3, -3 in ascending order.
-3, m, 2, 3
Let h be 6/(-21) + 22/28. Let j = -340.1 + 340. Sort j, h, -2/3 in decreasing order.
h, j, -2/3
Let n be ((-4)/3)/(7/(-21)). Suppose -5*w - 8 = -3*s + 10, s + 11 = -n*w. Let r be 3 + -2 + (-1 - -4). Put w, -5, r in decreasing order.
r, w, -5
Let p be (-4)/(-3)*(9 + -15). Let i = p + 7. Put i, 0, -5 in increasing order.
-5, i, 0
Suppose l - 5*s - 4 = -0, -5*l - s = 110. Let a = 24/6989 + -2481503/118813. Let v = l - a. Sort -5, -0.3, v in decreasing order.
v, -0.3, -5
Let a(t) = 4*t**2 - 2*t - 1. Let w be a(-1). Suppose 9*g = 10*g. Suppose 2*q = -0*l + 4*l, 5*q + w*l + 15 = g. Sort -4, q, 2 in decreasing order.
2, q, -4
Let w(z) = 2*z**2 - 21*z - 1. Let u(v) = -v**2 + 11*v + 1. Let f(j) = -5*u(j) - 3*w(j). Let g be f(8). Put 1, g, 0 in increasing order.
g, 0, 1
Let f = -234/35 + 44/7. Sort f, -0.2, 0.1 in decreasing order.
0.1, -0.2, f
Let p = -10 + 28. Let m = p - 17.9. Let l = 7 + -4. Sort -3/7, m, l in descending order.
l, m, -3/7
Suppose l = u - 4, 3*u + 1 + 11 = 0. Sort l, -4, -1 in increasing order.
l, -4, -1
Let d = 3 + 2. Let x = -5 - -4. Let k = -0.7 - x. Sort -1/2, d, k in ascending order.
-1/2, k, d
Let l = 18 + -21. Sort l, -4, 4.
-4, l, 4
Let s be (-10)/(-4) - 2/4. Let m(l) = -l**3 + 3*l**2 + 2*l - 2. Let b be m(3). Let x(a) = a + 1. Let y be x(-5). Sort s, y, b in descending order.
b, s, y
Let h(l) = 5*l**2 + 0*l**2 + 11*l - 4*l**2 - 4*l. Let x be h(-7). Suppose -8 + 3 = -5*z. Put -3, z, x in increasing order.
-3, x, z
Let c be (-15)/20*16/(-18). Put 1, c, 0.4 in ascending order.
0.4, c, 1
Let f(z) = z - 2. Let n be f(8). Suppose 0*h = -3*h + n. Suppose x - 1 = -j + h, -4*j - x = 3. Put 2, -1, j in descending order.
2, -1, j
Let r = -36 - -575/16. Let i = -5/48 + r. Put 1/2, i, 4 in descending order.
4, 1/2, i
Let j = 66 - 65. Sort j, -16, -5 in increasing order.
-16, -5, j
Let c(w) = -w + 1. Let x be c(2). Let d = 0.85 + 11.75. Let i = 13 - d. Sort x, 1, i in ascending order.
x, i, 1
Let j = 15 + -0.9. Let b = j - 14. Put -0.4, b, 4 in increasing order.
-0.4, b, 4
Let t(a) = -5*a - 11. Let i(m) = -6*m - 12. Let q(w) = 6*i(w) - 7*t(w). Let c be q(3). Let g = -9 + 13. Put c, -2, g in increasing order.
-2, c, g
Suppose -3*v + 6 + 3 = 0. Let l(y) = -y**3 + 3*y**2 - 4. Let b be l(v). Put -1, 0.1, b in increasing order.
b, -1, 0.1
Let h = 0.2 + 0.1. Let s = -189/995 + -2/199. Let g = -0.16 + 3.16. Put s, h, g in decreasing order.
g, h, s
Let y = -38.1 - -44. Let a = -0.9 + y. Suppose 17 = 