 Let f be s(-3). Let y be 0 + 4 - (-3 + 3). Put y, f, 1 in decreasing order.
f, y, 1
Suppose 2*q + 0*d = d + 30, -3*d = 0. Suppose 0 = 2*t + t - q. Put t, -2, -3 in decreasing order.
t, -2, -3
Let v be (4/(-2))/(-2) + 1. Let f be (12/10)/(v/(-5)). Suppose a + 3*a = 0. Sort a, -5, f.
-5, f, a
Suppose -k = 4*k - 70. Suppose -m = -5*a - 2, -3*m - k = 5*a - 0*m. Sort -4, a, 0 in descending order.
0, a, -4
Let z be (-1 - -1) + -1*3. Let m = 41 + -43. Put -1, m, z in decreasing order.
-1, m, z
Suppose 0*c = -2*c + 10. Suppose -c*a = 8 + 12. Put 4, a, -3 in decreasing order.
4, -3, a
Let k(o) be the third derivative of -2*o**2 - 1/24*o**4 + 0 + 0*o + 1/6*o**3. Let c be k(-2). Put 2, c, 1 in decreasing order.
c, 2, 1
Let m(l) = l**2 - 10*l + 23. Let t be m(7). Let o = -2 - -2. Put t, o, 6 in increasing order.
o, t, 6
Let u = 5 - 9. Suppose 0 = 3*o - 2*a - 2 - 4, -4*o + 3*a = -7. Put u, 0.5, o in descending order.
o, 0.5, u
Suppose -4*y + p = 24, -3*y = 2*p + 3*p + 18. Let j be ((-2)/(-6))/((-1)/y). Let h = -15 - -18. Put -2, j, h in descending order.
h, j, -2
Suppose 7 = -r + 3. Let z = -2.3 - -2. Let t = -0.8 - z. Put -0.4, t, r in ascending order.
r, t, -0.4
Let i be 3 + (0 - 13 - -3). Sort -2, 2, i in increasing order.
i, -2, 2
Let n = 149/93 - -2/31. Suppose 2*d + 13 - 5 = 0. Let t be 8/(-66)*(-6)/d. Put 2/11, n, t in descending order.
n, 2/11, t
Let j = 91.3 - 84. Let h = -0.3 + j. Put -0.4, -4, h in decreasing order.
h, -0.4, -4
Let l(p) be the first derivative of -3*p**2/2 + p + 1. Let f be l(2). Let r be 7/((-28)/(-16)) + 1. Sort f, 4, r.
f, 4, r
Suppose 3*x = -2*c - 1, -25 = 4*c + c. Suppose 4*w - 6*w = 2*t - 26, x*t + 2*w - 34 = 0. Put -3, t, 0 in decreasing order.
t, 0, -3
Let d(b) be the second derivative of b**3/2 - 3*b**2/2 - 2*b. Let w be d(2). Suppose 0 = -4*s + 8, -u + 2*s = w*s. Put u, -3, 3 in ascending order.
-3, u, 3
Let f be -12*((-44)/(-16) - 3). Let b = -7.7 - -8. Let w = -0.5 + b. Sort f, -5, w.
-5, w, f
Let w be -1 - (5 + -3) - 6. Sort w, 2, -1, -3 in decreasing order.
2, -1, -3, w
Let c be (0 - 1) + 2 + -2. Let y = -7 + 5. Sort 1, y, c in increasing order.
y, c, 1
Let g = 20.8 + -21. Put 2, g, -4 in increasing order.
-4, g, 2
Suppose 4*i - 9 = i. Suppose l + i = -2. Put l, -4, -1 in descending order.
-1, -4, l
Let r = -4.92 - 0.08. Let w be (7 + (-117)/18)*2. Sort r, w, -1.3.
r, -1.3, w
Let k = -5 + 1. Let r(o) = -7*o + 9*o + 2*o**2 - o - 3*o**2. Let a be r(2). Put -6, k, a in increasing order.
-6, k, a
Let i = 0.012 + -0.042. Put -0.3, i, -1/3 in increasing order.
-1/3, -0.3, i
Let o = -83 + 247/3. Let w = -5.7 + 6. Sort w, 1, o in increasing order.
o, w, 1
Let j = 9 + -9.2. Let y be (-6)/(-21) + 16/(-7). Let o be (-9)/y + 1/(-2). Put -0.1, j, o in descending order.
o, -0.1, j
Let m = -1 + 3. Suppose 11 = -s + 4*f, -m*f + f = -2. Let p be (-2)/(-6) + (-56)/(-12). Sort p, s, -2 in ascending order.
s, -2, p
Let a(b) = b**3 + 6*b**2 + 5*b - 3. Let x be a(-5). Let g be ((-5)/2)/(x/(-6)). Let d(h) = -h**2 - 7*h + 9. Let l be d(-8). Sort g, l, 0 in descending order.
l, 0, g
Let f(h) = h**2 + 7*h + 7. Let x be f(-5). Let w(n) = -n**3 - 2*n**2 + 2*n + 1. Let g be w(-3). Let t(m) = m**2 - 4*m + 2. Let r be t(g). Sort 0, r, x.
x, 0, r
Let w = 3.037 + -0.037. Put 1, w, 0.4, 1/4 in increasing order.
1/4, 0.4, 1, w
Suppose 14 = 4*z + 6. Suppose -2*j + 7 = -u, 8 = j + 4*u - 0*u. Suppose 3*h - 4 + 19 = 0. Sort h, z, j.
h, z, j
Let z(q) = 4*q**2 + 25*q - 19. Let p(o) = -o**2 - 8*o + 6. Let s(c) = 7*p(c) + 2*z(c). Let t be s(4). Sort 3, t, -5 in increasing order.
-5, t, 3
Let q be (-22)/(-4) + (-2)/4. Let p be 12/(-15) - (-126)/(-30). Put -7, p, q in descending order.
q, p, -7
Suppose 0 = -2*i - 4*l - 6, -4 = i - 3*l + 4*l. Let r = i + 4. Put 0, 4, r in decreasing order.
4, 0, r
Let l = 0.07 - 0.05. Let f = 0.12 - l. Sort 2, f, 1/4 in decreasing order.
2, 1/4, f
Let k(m) be the third derivative of -m**4/24 + 7*m**3/6 + 3*m**2. Let f be k(12). Put -1, f, 1 in descending order.
1, -1, f
Suppose 3*g = 4*g - 3. Suppose g*d - 4 = d. Sort d, -1, -2 in descending order.
d, -1, -2
Let y = 15 - 9. Let q be y*(3/9 + 0). Sort q, -1, 3 in descending order.
3, q, -1
Let l(p) = p**3 - 20*p**2 + 21*p - 38. Let r be l(19). Let c be (-4)/(-10) - (-24)/(-10). Let v(k) = k**3 + 5*k**2 - 5*k + 1. Let y be v(-6). Sort y, c, r.
y, c, r
Let g = 55 + -52. Let u = 4.02 + -0.02. Put g, u, -2/3 in ascending order.
-2/3, g, u
Suppose -3*q - 37 - 131 = 0. Let d be (-4)/(q/(-22)) - -1. Put d, -3, 1 in descending order.
1, d, -3
Let l = -220 - -1978/9. Sort 0, -1, l, -1/10.
-1, l, -1/10, 0
Let b be ((-2)/65)/(2/10). Sort b, 1/3, 1/4.
b, 1/4, 1/3
Let a be 36/60 + (168/(-10))/3. Let o be (-4)/10 + 44/10. Sort o, 3, a.
a, 3, o
Let d = -28 - -30. Sort 0.1, d, 3/2 in descending order.
d, 3/2, 0.1
Let x = -19.9 + 19. Let f = 1 + x. Let u = -202 + 206. Sort u, -1, f in descending order.
u, f, -1
Let i be 14/35 + (-48)/20. Sort i, -0.1, 0.03 in descending order.
0.03, -0.1, i
Let q(u) = -u + 12. Let y be q(12). Suppose y = 6*h - h + 20. Sort 1, 2, h in descending order.
2, 1, h
Let g = -3 + 8. Let s be (0/(-1))/(2*1/1). Sort -2, g, s in ascending order.
-2, s, g
Let a(o) = -8*o**3 - 3*o**2 + 4*o + 3. Let y(z) = -z**3 - z**2 + z. Let j(u) = a(u) - 6*y(u). Let d = 0 + 2. Let n be j(d). Sort n, 0, -3.
n, -3, 0
Let h = 3.8 + 0.2. Let z = 43/2 + -20. Sort -0.3, h, z in decreasing order.
h, z, -0.3
Let l be 44/55*(-5)/(-2). Suppose 0*i - l*a = -3*i - 8, 0 = -i - 4*a + 2. Put i, 5, 2 in ascending order.
i, 2, 5
Let c = -27 + 13. Put -3/4, -4, c in increasing order.
c, -4, -3/4
Let u = -7/4 - -25/12. Let p = 13.3 + -18.3. Put 4, p, u in increasing order.
p, u, 4
Let z(g) = g**2 - 7*g - 4. Let u be z(7). Put -6, u, 4, 3 in increasing order.
-6, u, 3, 4
Let v be 1*(0 + (-12)/(-4)). Sort v, 0.3, 0, 1/6 in decreasing order.
v, 0.3, 1/6, 0
Let d = -0.9 + -0.1. Let j(r) = -r**3 - 6*r**2 - 4*r + 3. Let p be j(-5). Sort d, 0, p.
p, d, 0
Suppose 29 = 3*p + 8. Let u be 1/(-2)*(-17 + p). Sort u, -2/13, -5 in descending order.
u, -2/13, -5
Let p = -12 - -83/7. Let m(b) = -b**2 - b - 8. Let x be m(0). Sort x, -2/7, p in ascending order.
x, -2/7, p
Let q = -3 - -23. Suppose 4*o + 20 = 3*k, o + 3*o = -q. Suppose -5*z = 2*i + 23, 3*z - i = 6*z + 13. Put k, z, 5 in decreasing order.
5, k, z
Suppose -10 - 16 = -2*z. Let k = 9 - z. Let r = -4 - -4.4. Sort k, -2, r.
k, -2, r
Suppose 3*o - 4*j + 12 = -5*j, 5*o + 5*j = -30. Let r = -20 + 25. Sort 3, o, r in decreasing order.
r, 3, o
Let d = -11 + 8. Suppose -5*r = 3*z + 52, 0*z - r - 41 = 4*z. Let q(y) = y**3 + 10*y**2 + 7*y - 13. Let l be q(z). Put -2, l, d in descending order.
l, -2, d
Let b = -8 - -14. Let k = 2 - b. Sort 2/17, 0, k in ascending order.
k, 0, 2/17
Let l = 99.3 + -107. Let i = -8 - l. Let m = 0.45 - 0.05. Sort m, i, -2/9.
i, -2/9, m
Let t = 1 - 4. Let z be 1/4 + 1/(-4). Let y = 1 + z. Sort -2/7, y, t.
t, -2/7, y
Let q be (-8)/6 + (-2)/(-6). Let w be 45/63 - 2/(-7). Sort 3, q, w.
q, w, 3
Let j(s) = s**3 + 6*s**2 + 3*s + 2. Let n be j(-5). Suppose 5*q - 30 = -5*i, 3*q + n = 7*i - 4*i. Let l = 5 - 3. Sort -4, i, l.
-4, l, i
Let h = 89/7 + -87/7. Put -8, 0.5, h in decreasing order.
0.5, h, -8
Let a(n) = 2*n - 7. Let h be a(12). Let r = h - 12. Put -1, r, 0 in ascending order.
-1, 0, r
Suppose 0 = 5*m + 9 + 6. Sort 3, 0, m in descending order.
3, 0, m
Let j(b) = -18*b - 1. Let r be j(1). Let y = 18 + r. Sort y, 5, 4 in decreasing order.
5, 4, y
Let u = -40.3 - -40. Sort u, 5/3, -3, 7 in descending order.
7, 5/3, u, -3
Suppose -b + 20 = 4*j, -4*b + 20 = 3*j - 8. Suppose -3*s = 3*m + 6, 0 = -3*m + 4*s - s - 12. Let f = m - -3. Put j, f, 2 in decreasing order.
j, 2, f
Let k = -1817/40 - -357/8. Let z = -2 - -1.5. Sort 2, z, k in descending order.
2, z, k
Let h = -12 - -17. Let n = 19 - 24. Let x be (-86)/(-56) + 4/(-14). Sort h, n, x.
n, x, h
Suppose 4*y = 2*j + 16 - 6, 2*j = 5*y - 13. Let l = -3 + 12. Suppose 4*t + l = t. Sort 4, y, t.
t, y, 4
Let h be ((-4)/(-15))/((-10)/25). Sort h, 3, -4 in descending order.
3, h, -4
Let l be (-51)/5 + 2/10. Let i = 6 + l. Let y = -6 - -1. Sort -2, i, y in decreasing order.
-2, i, y
Suppose 4*h - 9 = 3. Suppose 6 + 6 = -3*i. Sort -5, i, h in descending order.
h, i, -5
Let j be (3 - -1)/(1/(-4)). Let p = 13