er.
0.3, k, b
Let r = 37.8 - 38. Sort -117, r, -0.5.
-117, -0.5, r
Let o(h) = h. Let g be o(3). Let m = 6 - g. Put m, -1, -2 in increasing order.
-2, -1, m
Suppose 3*q - 32 = -5*p - 0*q, -p = -4*q + 12. Suppose 1 = 2*y + 3. Sort y, -3, p in ascending order.
-3, y, p
Let v = -0.7 - -0.73. Let n = -5.03 + v. Let k = n + 5.2. Sort -2/3, -0.5, k in ascending order.
-2/3, -0.5, k
Let w = -16.95 - 0.05. Let z = 12 + w. Sort z, -2/13, -1/3.
z, -1/3, -2/13
Let a = 8 + -7. Let m = 0 + -1. Suppose 4*c = 3*c - 2. Sort m, c, a in decreasing order.
a, m, c
Let o(h) be the first derivative of -h**3/3 - 2*h**2 + 8*h - 1. Let g be o(-6). Put -2, g, -1 in ascending order.
g, -2, -1
Let n be 1/2 + (-16415)/(-1530). Let o = n - 100/9. Sort o, 4, 2 in descending order.
4, 2, o
Let q = 3 - 2. Sort 0.2, q, -4/9.
-4/9, 0.2, q
Suppose 0 = 2*b - 3*m - m - 10, -5*m - 14 = -b. Let h be (4 - 1)/(-3)*-5. Suppose 5*w = 25, -h*r + 10*r = -3*w. Sort 2, b, r.
r, b, 2
Suppose y + 5 = -4*x + 68, -2*x + 5*y = -59. Suppose 0 = n + 5*m - x, -2*n + 3 = 4*m - 7. Let g(i) = -i**3 - 4*i**2 - 3*i - 3. Let c be g(n). Sort c, 0, -4.
-4, c, 0
Let z(r) = -r - 6. Let q be z(-3). Sort q, -25, 3 in increasing order.
-25, q, 3
Let c = -10 - -17. Let n = -10 + c. Let y = 0.05 - 5.05. Sort y, n, -0.4 in ascending order.
y, n, -0.4
Let t be -7 + (2 - (-2 - -2)). Let q = -3 + 4. Let h be q/(-3) + 26/6. Sort -3, h, t in decreasing order.
h, -3, t
Suppose r - 2*r - 4 = 0, -7 = 3*c + 4*r. Put c, -2, -4 in descending order.
c, -2, -4
Let d = 10 + -6. Suppose -11 = 3*f + d. Sort 1/10, f, 0 in descending order.
1/10, 0, f
Let b = -0.078 - -0.578. Sort -1, b, -0.4, 6 in decreasing order.
6, b, -0.4, -1
Let p = 6 - 8. Let w = p - -3. Suppose 3*o + 5 = 2. Sort o, w, -3.
-3, o, w
Let q = 61 - 37. Suppose 0 = 3*b - b + 3*a + 13, 4*b - 4*a - q = 0. Sort b, -3, 0.
-3, 0, b
Suppose -2 = x - 1. Let q be (6/(-15))/(-2 + 4). Sort x, 0.4, q.
x, q, 0.4
Let j = -43.7 + 44. Sort 2/13, j, -1/2 in ascending order.
-1/2, 2/13, j
Let x(a) = -3*a - 22. Let u be x(-7). Sort u, -3, 3 in ascending order.
-3, u, 3
Let t be (-6)/54 - 35/(-153). Let h = -0.06 - 2.94. Put t, h, 0 in ascending order.
h, 0, t
Let f = 15 - 11. Let l = -5 + 11/2. Sort f, -0.5, l in decreasing order.
f, l, -0.5
Suppose 5 = -n - 0, 3 = -2*x - n. Put x, 3, 8 in descending order.
8, 3, x
Suppose -2*x = -5 + 13. Let v = -10 + 7. Sort v, x, 3 in ascending order.
x, v, 3
Let h = -15/16 - -167/144. Let u = 0.1 + -0.2. Sort h, u, 1/3.
u, h, 1/3
Let l be (1 - (-2)/(-3))*-3. Let t be ((l - -3)/1)/(-2). Put t, -2, 4 in ascending order.
-2, t, 4
Let u be 2*-1*(-1)/(-2). Let q = -0.47 + 0.37. Sort -0.4, u, q in descending order.
q, -0.4, u
Suppose -3*x + 11 = 4*c, -5*c + 20 = -0*c + 5*x. Suppose 3*m = 5*m + 10. Put c, m, 1 in decreasing order.
1, c, m
Suppose -4*m = a + 7, 2*m - 3 = -3*a - 4. Sort a, -0.3, -1/3 in increasing order.
-1/3, -0.3, a
Let d(m) = m**2 - 5*m + 4. Let l be d(5). Put 16, l, -5 in descending order.
16, l, -5
Let v(x) = x**2 - 4*x + 2. Let y be v(4). Let i be (-1)/y*30/(-25). Sort 4, i, 2/15 in ascending order.
2/15, i, 4
Let n(c) = -c**3 - 6*c**2 - c - 8. Let r be n(-6). Let l = 1 - r. Let o be (2 + 0)/(((-8)/(-20))/(-1)). Sort 2, l, o in descending order.
l, 2, o
Let f = 44 + -42. Sort f, -5, 0.3, -0.5.
-5, -0.5, 0.3, f
Suppose 4*x + 31 = -5*z, -3*z + 29 = -3*x - z. Let n(v) = -v - 6. Let o be n(x). Suppose -d - 6 = r, d = -r + 5*d + 19. Put o, r, -4 in decreasing order.
o, r, -4
Let x(v) = -6*v + 1. Let k be x(-1). Sort 1, -3, 5, k in decreasing order.
k, 5, 1, -3
Let z = 1 - 5. Let y be 31/(-3) + (-6)/9. Let n = y - -6. Sort 3, n, z in descending order.
3, z, n
Let i = -0.0746 + -20.8654. Let s = i + 25.9. Let m = s + 0.04. Sort 2, m, -4.
-4, 2, m
Suppose -14*n = -4*n + 10. Sort n, 1, -1/5, 5/6 in decreasing order.
1, 5/6, -1/5, n
Let o be (3/1 + -3)/(-2 - -3). Put 2, 3, -5, o in ascending order.
-5, o, 2, 3
Let x(h) = 2*h + 22. Let f be x(-12). Sort 0, f, -1 in descending order.
0, -1, f
Let v be (10/15)/((-2)/(-3)). Suppose -6*b = 5*k - 2*b - 17, 2*b + 19 = 3*k. Suppose 0 = 3*r + 5*c - 25, 4 = -4*r + 2*c - 6. Sort v, k, r in descending order.
k, v, r
Suppose -p - 2*p + 5*f = -17, 3*f = 2*p - 11. Let m be ((-5)/(-10))/((-17)/p). Let w = -2 - -2.3. Sort w, m, 2/3.
m, w, 2/3
Suppose -5*m = -c - 10, -4*c + 5 = 3*m - 1. Suppose 3*p - 10 = -2*p. Suppose -3 = a - p*n, n = 4*n + 3. Put c, a, -4 in decreasing order.
c, -4, a
Let d = 50 + -49.8. Suppose -4*w = -5*w + 12. Sort -2, w, d.
-2, d, w
Let s(t) = t**3 - 5*t**2 + 2*t - 5. Let p be s(5). Suppose -p*d = 5*k, 4 = -3*d - 3*k - k. Sort d, 5, -1 in ascending order.
-1, d, 5
Suppose 3*d + 1 + 6 = 2*g, -2*d - 23 = -5*g. Suppose -6*o = -o + 15. Let k = 4 - 8. Sort k, d, o in increasing order.
k, o, d
Let w = -7 + 2. Sort 2, 4, w.
w, 2, 4
Let u(t) = 4*t + 3. Let b(h) = 3*h + 2. Let k(g) = -3*b(g) + 2*u(g). Let i be k(0). Let r be -3*(-8)/(-6) + i. Sort r, -3, 0 in ascending order.
r, -3, 0
Let p be -1*(4/6 - 1). Suppose 3*s + 8 = -s, 5*s - 2 = -3*g. Suppose -15 = 5*h, 0*h = -g*k + 3*h + 29. Put 0.4, p, k in decreasing order.
k, 0.4, p
Suppose -5*g = -8*g - 3. Sort g, -5, 2/19 in decreasing order.
2/19, g, -5
Let c = -2 - -2. Sort 3, 6, c.
c, 3, 6
Let g(b) = -b**3 - 2*b**2 - 1. Let t be g(-2). Suppose 0 = 4*m - 3*v - 0 - 2, 0 = 5*m + v - 12. Sort m, -4, t in decreasing order.
m, t, -4
Let y = -0.42 + -2.58. Sort 4, y, 1 in increasing order.
y, 1, 4
Suppose a = i + 2*i + 8, 5*a + 5*i = 0. Suppose -4*v + a*v = 6. Suppose -5*c = 5, 0*b + 5*c - 5 = 2*b. Sort 3, v, b in decreasing order.
3, v, b
Let p = 50 + -51. Suppose t = -0 - 2. Put t, 2, p in decreasing order.
2, p, t
Suppose 0 = -2*p - 8 - 2. Sort -4, 3, p in ascending order.
p, -4, 3
Suppose 6*f = 8*f + 6. Sort f, -5/2, -2, 1/4 in descending order.
1/4, -2, -5/2, f
Let h = 5 + -4.4. Let x = -5.6 + h. Let q = -9 - x. Sort -2, -2/5, q in increasing order.
q, -2, -2/5
Let v = -31 + 26. Let b = -3 + 5. Sort 0.5, b, v in decreasing order.
b, 0.5, v
Suppose 5 = p - 0*t - t, p + 1 = -2*t. Suppose -13 = -3*l + 11. Suppose 0 + l = 3*d + u, 0 = -3*d - 3*u. Sort d, -5, p in decreasing order.
d, p, -5
Let p be 2/(-8) - (-17)/4. Let i be ((-12)/10)/(p/(-10)). Put i, -2, 5 in decreasing order.
5, i, -2
Let t = -11 - -17. Let o = t - 5.6. Sort -0.5, o, 1 in decreasing order.
1, o, -0.5
Let t = -3.6 - -3.2. Sort 0, -0.3, t in increasing order.
t, -0.3, 0
Let z = 13 + -12.8. Let a be (40/(-45))/((-2)/(-3)). Sort z, a, -3 in decreasing order.
z, a, -3
Let x = -37 - -41. Sort 3, -4, x in decreasing order.
x, 3, -4
Suppose 28*u - 25*u - 3 = 0. Let j = -3 - -5. Let y = 2 - j. Sort u, y, -4 in descending order.
u, y, -4
Let q = 0.09 + 0.11. Let i = 0.3 + 0.7. Let c = -0.9 + i. Put q, -1/4, c in ascending order.
-1/4, c, q
Suppose 0 = -5*j + 3*j + 6*j. Let c = 4 - 6. Sort c, 2, j in ascending order.
c, j, 2
Let m = -5 - -2. Let t(x) = -6*x**2 + 5*x**2 - 7 - 6*x - 3*x + x. Let u be t(-7). Put 4, u, m in increasing order.
m, u, 4
Let z(h) = h**2 - 3*h - 3. Let i be z(-2). Let p = 4 - 0. Let c = i - p. Sort -4/7, c, -0.2 in descending order.
c, -0.2, -4/7
Suppose 2*u + 30 = 7*u. Let y = u + -4. Let c(q) = -q**3 + 5*q**2 + 15*q - 9. Let g be c(7). Sort g, y, 0 in decreasing order.
y, 0, g
Suppose 6*d - 4*t - 12 = d, d - 3*t = -2. Put -4, 0, d, 3 in ascending order.
-4, 0, 3, d
Let i = 7 - 5. Suppose s + 2 = 3*h, 0 = 3*s - h - 0*h - i. Suppose -4*x - 2*g = -6, -3*g + 13 = -2*x - 4. Sort -0.3, x, s in decreasing order.
s, -0.3, x
Let j = 22/3 + -107/15. Let p = 1.78 + -1.5. Let c = 0.02 + p. Sort c, j, 1 in increasing order.
j, c, 1
Let q be -2 - -3*(3 - 10). Let z = q - -28. Sort 23, z, -4 in decreasing order.
23, z, -4
Let t be (-1)/(-4) + (-51)/12. Suppose 6 - 4 = 2*m. Sort m, t, 3.
t, m, 3
Let v = 2/511 + -42/73. Sort v, -1, 2/5 in increasing order.
-1, v, 2/5
Let k = 0.34 + 0.06. Let u = -785/52 - -180/13. Let g = 2 - 2.4. Sort g, u, k in descending order.
k, g, u
Let t = 5.33 + -1.33. Sort -4/3, -1, -0.2, t in decreasing order.
t, -0.2, -1, -4/3
Suppose -2*a - 7 = 1. Suppose 11 = -4*v - 1. Sort v, 2, a in descending order.
2, v, a
Let c(r) = r**3 - 12*r**2 + 4*r + 75. Let v be c(11). Let x be (-2)/((-4)/6 - 0). Put x, -1, v in decreasing order.
x, -1, v
Let k = 141