
Let r(x) = x**3 - 2*x**2 + x - 3. Let a be r(2). Sort -3, -4, 3, a.
-4, -3, a, 3
Let a = -1 + -3. Let m be (-6)/(-10)*-1*(-8)/(-6). Sort 2/7, a, m.
a, m, 2/7
Let b be (-3 - -3)/(-4 + 5). Put -3/5, 2, b, -0.3 in descending order.
2, b, -0.3, -3/5
Let g = -100 + 106.7. Let s = 1.7 + -8.7. Let m = g + s. Put 1, m, -2/5 in increasing order.
-2/5, m, 1
Let b be (-2)/6 + (-68)/12. Let a be 10/15*1/b. Let s = -0.02 - -0.32. Put s, -4, a in ascending order.
-4, a, s
Suppose 162 - 170 = -4*a. Suppose -4*z + 0 = -4. Sort -4, z, a.
-4, z, a
Let u = -11 + 10. Put u, 2, -5 in decreasing order.
2, u, -5
Let t = -21 - -24. Put t, 0, -5 in descending order.
t, 0, -5
Let j = -0.2 + -0.3. Let r be 3/(-9) - 40/(-12). Let z be 2 - (0/r - -3). Put 5, j, z in ascending order.
z, j, 5
Suppose -4*x - 9 - 7 = 0, 0 = -5*f - x + 1. Let p be 9/(-5) - 1/5. Put 0, f, p in decreasing order.
f, 0, p
Let w be -1*2*2/(56/(-2)). Put 5, -5, w, -4 in decreasing order.
5, w, -4, -5
Suppose -4*z + 3*z = -1. Let i be 0 - (-1)/(-1)*-2. Put z, i, 3 in increasing order.
z, i, 3
Suppose 0 = -0*r + r + 3. Put r, -2/7, -5, 0.3 in increasing order.
-5, r, -2/7, 0.3
Let k be (-8)/12 - 8287/39. Suppose -4*g = -83 + 935. Let i = g - k. Sort -4/9, i, 4 in ascending order.
-4/9, i, 4
Let n be 49*7*2/12. Let r = n - 57. Sort 4, r, 2.
r, 2, 4
Let x = -0.5 - -1. Let c be 5/(-20)*(-1 + 7). Put c, -5, x in increasing order.
-5, c, x
Let v(g) = -g**3 - 16*g**2 + 18*g + 12. Let r be v(-17). Let w = -1 - -5. Sort -0.2, r, w in decreasing order.
w, -0.2, r
Suppose -4*t + 4*b = -5*t - 1, -5*b - 2 = t. Let i be 13/5 - (-2)/5. Suppose 0 = 3*o + 5*p - 17, -i*p + 11 = -3*o - 4. Put 5, t, o in descending order.
5, t, o
Let r = 10 - 7. Sort 1, r, -0.2 in decreasing order.
r, 1, -0.2
Let s = -0.01 + 6.01. Let l = s + -10. Put l, -1/2, 0.3 in descending order.
0.3, -1/2, l
Suppose 5*h - 55 + 50 = 0. Put 5, h, -1, 3 in descending order.
5, 3, h, -1
Let k be (-60)/((-2)/(4/3)). Let t be (48/k)/((-6)/(-20)). Let o = -6 - -4. Put -5, t, o in decreasing order.
t, o, -5
Suppose 29*t - 37 = 79. Sort -27, t, 1.
-27, 1, t
Suppose -4*t - t + 3*j + 31 = 0, 2*t - 2*j - 14 = 0. Suppose -5*y + t = -10. Let o = y - 6. Sort 5, -5, o.
-5, o, 5
Let c(o) = 5*o. Let m be c(1). Put -4, -6, m in increasing order.
-6, -4, m
Let h(t) = t - 5. Let g be h(3). Suppose 0 = -5*d, 3*o - 6*d + d = 15. Put g, o, -5 in increasing order.
-5, g, o
Suppose 3*l = -4*k + 23, k = -l + 3*k - 9. Let j be (-1)/(0 - (-2 + l)). Put -5, -4, j in descending order.
j, -4, -5
Let m = -10 + 10.1. Let s = m - -1.9. Put -0.1, s, -5 in ascending order.
-5, -0.1, s
Let g be -2 - ((-25)/1 + -2). Let z = 176/7 - g. Sort z, 0.1, -2/5 in decreasing order.
z, 0.1, -2/5
Let n = -11 - -15. Let r = 6.13 + -1.13. Let l = r - n. Put l, -3, -2 in increasing order.
-3, -2, l
Let m be (-6 - 2) + -2 + 0. Sort m, 0, -4, -3 in ascending order.
m, -4, -3, 0
Let z = 5 - 7. Let k(a) = -2*a**3 - 3*a**2 - 3*a. Let r be k(z). Let o be 4/6 - r/6. Sort -3, 0, o.
-3, o, 0
Suppose -4*v + 2*h = -0*v + 20, -5*v - 25 = h. Suppose 3*m = 4*m - 3. Sort m, -3, v in descending order.
m, -3, v
Let u(l) = l**2 + 9*l + 9. Let j be u(-8). Let g be (j + 3)*(-15)/(-40). Sort 1, g, -0.6 in descending order.
g, 1, -0.6
Let c be ((-2)/4)/(2/(-12)). Suppose -c*t + 10 = -2*r - 1, 0 = -3*r + 3*t - 9. Let w be 1*3/(-3)*-4. Sort 0, w, r in descending order.
w, r, 0
Let x = 23.3 + -22.8. Suppose -4*c - 6 + 26 = 0. Suppose -2*p - c - 7 = -2*f, -p + 12 = 5*f. Put 0.3, x, f in descending order.
f, x, 0.3
Suppose 5*y = d + 3, -3*y + 4*d + 16 - 4 = 0. Suppose 2*c = -y*c. Suppose -5*l + 24 = -s, l - 6 + 22 = -5*s. Sort c, 3, l in increasing order.
c, 3, l
Let t(s) = -s**3 + 9*s**2 - 14*s + 1. Let f be t(7). Let x = -3 - -7. Suppose 14 = -3*d + 2*z + 4, 5*z - 11 = x*d. Sort d, f, -2 in descending order.
f, -2, d
Suppose -4*g + 0*g = -12. Let h(x) = -x**3 + 2*x**2 + 3*x + 4. Let w be h(g). Let t = -2 - 0. Sort w, 5, t in increasing order.
t, w, 5
Let r = -1 - -1. Let n(v) = 3*v**2 + 9*v - 1. Let k be n(-3). Put k, r, 2 in descending order.
2, r, k
Let w be -1*(-3)/(-3)*-5. Sort -5, -3, w in increasing order.
-5, -3, w
Let n be (-24)/(-40) - 22/(-5). Let a be (2/3)/(2/6). Suppose t = -a*o - n, t - 1 = -0*t + 4*o. Put -4, t, 3 in increasing order.
-4, t, 3
Let w be (-6)/(-1)*(-4)/4. Let t be 18/8 - w/(-3). Sort 1/7, t, -3 in descending order.
t, 1/7, -3
Suppose 41*d = 36*d - 50. Sort 4, -4, d in decreasing order.
4, -4, d
Suppose -2*f - 2*g - 12 = 0, 8*f = 4*f + 2*g. Let l(j) = 4*j**3 + j**2. Let a be l(-1). Let q be 4 - a*(-1)/3. Put f, -4, q in descending order.
q, f, -4
Let a(c) = 6*c - 11. Let d be a(5). Let o = d + -56/3. Sort -1/2, 4, o in increasing order.
-1/2, o, 4
Let x = 0.1 + -0.1. Let i = 328 + -330. Sort i, x, -0.2 in decreasing order.
x, -0.2, i
Let s = -0.748 + -0.052. Sort s, -1/3, -0.3, 4.
s, -1/3, -0.3, 4
Let u(v) = -v**3 + 7*v**2 + 7*v + 5. Let n be u(8). Let f be 0 + (1 + -3 - n). Let i = 1/2 - f. Put 0.1, 1/11, i in descending order.
0.1, 1/11, i
Suppose 2*j + j = 15. Put 4, 1, j in decreasing order.
j, 4, 1
Let i(r) = r**3 - 13*r**2 - 14*r + 5. Let h be i(14). Sort 3, h, -1 in decreasing order.
h, 3, -1
Let r = 2 - 1.9. Let d = -2.9 - -0.9. Let s = 2 + d. Put r, -4/5, s in ascending order.
-4/5, s, r
Let l = 0.12 + 0.08. Suppose 6*w - 24 = -4*b + 3*w, 4*b + 5*w = 24. Suppose 2*a - 4*m + 10 + 8 = 0, -2*a - 4*m + b = 0. Sort -1/10, l, a in descending order.
l, -1/10, a
Suppose 5*i = -29 - 6. Let s = i + 3. Suppose 5*w + 0 + 3 = 4*d, -4*w = -4*d. Put s, 4, w in decreasing order.
4, w, s
Let n be (-6)/27 + (-16)/(-18). Sort -1/4, n, 16 in increasing order.
-1/4, n, 16
Let w = -1/274 + -537/3014. Let g = -93/2 + 473/10. Put -1/5, g, w in decreasing order.
g, w, -1/5
Suppose 2 = -12*i - 10. Sort 1, i, -5, -3 in ascending order.
-5, -3, i, 1
Suppose 0 = j + 4*x - 13, 2*x - 1 = -2*j + 1. Let z = -3 - -1. Put j, -4, z in decreasing order.
z, j, -4
Let g = -2.26 - -2.3. Put -4, 2, g in increasing order.
-4, g, 2
Let y be 0/(4 - (-5)/(-1)). Put y, 4, -4 in decreasing order.
4, y, -4
Let f = -0.14 + -0.85. Let y = f + -0.01. Suppose 2*d = 2*r, -2*r - 1 - 7 = -4*d. Put y, d, -1/8 in decreasing order.
d, -1/8, y
Let o be (-1)/4 + (-2)/(-24). Suppose 3*q - 4*y - 3 + 0 = 0, -11 = -q - 2*y. Suppose 0 = -2*l + q*l. Sort l, 1, o in descending order.
1, l, o
Suppose -5*b = -4*u + 6, -u + 5*u - 3*b - 2 = 0. Sort 4, -4, u in descending order.
4, u, -4
Let q = 0.42 + -0.02. Let i be (-6)/(-9)*1/3. Put q, -2/7, i in ascending order.
-2/7, i, q
Suppose 3*s - 12 = 0, -3*s + 24 = -2*a - 2*a. Put -15, 2, 5, a in decreasing order.
5, 2, a, -15
Suppose 4*o - 6 = 22. Suppose -3*h = 2*m + 32, -h + 2*m - o = 9. Let s be ((-8)/h)/((-2)/3). Sort s, 5, 4 in descending order.
5, 4, s
Let u = 0.4 + 0.1. Let h = u - 0.2. Sort h, 0, -3/5 in ascending order.
-3/5, 0, h
Let k be (-2)/8 + (-60)/16. Sort k, 8, -1, 0.
k, -1, 0, 8
Suppose -17 = -h + 2*i, 0*h = 5*h + 4*i - 15. Let o be (-39)/(-91) - 31/h. Sort o, -3, -2 in decreasing order.
-2, -3, o
Let j(h) = -7*h + 32. Let k be j(4). Put 3, k, 65, 2 in decreasing order.
65, k, 3, 2
Suppose 45 = 4*y - l + 2*l, l - 55 = -5*y. Sort y, 3, -3 in increasing order.
-3, 3, y
Let u = -0.06 + 1.06. Let h = u - 0.7. Sort -0.5, 0.4, h in decreasing order.
0.4, h, -0.5
Let x be -1 - 0 - -2*2. Let j(y) be the first derivative of -3*y**2/2 + 4*y + 1. Let r be j(3). Put x, 4, r in descending order.
4, x, r
Let h = 45 - 271/6. Let g be ((-3)/6 + 1)/1. Put g, 5, h in descending order.
5, g, h
Suppose -k - 5*t = 2 - 10, -12 = k - 5*t. Put 15, k, 5 in ascending order.
k, 5, 15
Let j(o) = -6*o**2 + 1. Let x be j(-1). Let t = x + 3. Let h be 24/4 + (11 - 6 - 7). Sort h, -5, t in increasing order.
-5, t, h
Let d = -31 + 30. Sort -0.3, -4, 2/9, d.
-4, d, -0.3, 2/9
Let b = 2 - 2.2. Let o = -14 + 14. Sort 0.3, b, o in decreasing order.
0.3, o, b
Let j(m) = m**3 + 7*m**2 + 5*m - 7. Let o be j(-6). Put -5, 2, o in ascending order.
-5, o, 2
Let h = -0.744 - -0.044. Sort -5, -3, h, 2.
-5, -3, h, 2
Let q be -3 + 6 + 3/3. Sort 1, -0.2, q in decreasing order.
q, 1, -0.2
Let o = -0.3 - -0.8. Let i = 223/3 - 75. Sort 5, o, i in increasing order.
i, o, 5
Suppose 3*q + 3*j + 15 = -2*j, q + 12 = -4*j. Suppose q = -0*i + i -