1
Suppose -4*h + 20 = -0*h. Suppose 3*k = 2*u + 6, -u - 6*k = -3*k - 15. Put 0, u, h in increasing order.
0, u, h
Let n = -2 + 5. Let a be (3 + -20 + 1)/(-1). Suppose 2 = 3*r + b, 4*b - a = 2*r - 6*r. Put -4, n, r in decreasing order.
n, r, -4
Let c(j) = -j**3 + 10*j**2 + 12*j - 15. Let l be c(11). Sort 5, 0, 1, l in descending order.
5, 1, 0, l
Suppose 3*a + 54 = -4*x, -5*x = -2*a - a + 54. Let k be (-6)/x*4/(-14). Sort 0.2, k, -0.5 in descending order.
0.2, k, -0.5
Let d(k) = -6*k - 19. Let s be d(-4). Sort s, -14, -1 in descending order.
s, -1, -14
Let c = 0 + 0.4. Put 1, c, 3 in decreasing order.
3, 1, c
Let o = 0.06 - -17.94. Let p = o - 18.07. Let a = -0.13 + p. Put a, -0.5, 2/3 in increasing order.
-0.5, a, 2/3
Let q(t) = -t**3 + 9*t**2 + t - 5. Let m be q(9). Put m, 11, -1 in increasing order.
-1, m, 11
Let z(g) = g + 1. Let x be z(2). Let s = -36 + 35.5. Put 0.1, s, x in ascending order.
s, 0.1, x
Let t = -148 - -150. Sort 4, t, 22 in increasing order.
t, 4, 22
Suppose 11 = 4*m - 1. Suppose 0 = -y + 7. Let r = m - y. Sort r, 4, 5 in decreasing order.
5, 4, r
Suppose -4*x = -3*t - 2*t + 45, -3*t + 5 = 2*x. Put 4, x, 17 in increasing order.
x, 4, 17
Let r = 66 - 70. Let u = -1 - -4. Let m be 18/(-4)*(-2)/u. Sort -2, m, r.
r, -2, m
Suppose -5*t = j - 13, -23 = -5*j - 0*t - 4*t. Suppose j*n - n = 0. Suppose n = 3*f + f. Put f, -2, -3 in descending order.
f, -2, -3
Let u(t) = t - 6. Let l be u(8). Sort l, 3, 4.
l, 3, 4
Let k(d) = -4*d + 1. Let t be k(-1). Let x(m) = m**2 - 5*m + 5. Let z be x(t). Suppose -3*g = -5*a + 4, -g - 3 + 0 = 0. Put z, a, -2 in increasing order.
-2, a, z
Let g = -5 - -6. Let i = 2 - 2. Let f = 0.1 + i. Sort g, f, 2 in decreasing order.
2, g, f
Suppose -3*y = -10 - 20. Let v be ((-8)/(-20))/((-2)/y). Put -4, 1, v in descending order.
1, v, -4
Let s = 1.55 + -1.05. Sort s, -3, -0.06 in decreasing order.
s, -0.06, -3
Let k = 4.7 + -0.7. Put -0.4, k, 2/3 in descending order.
k, 2/3, -0.4
Suppose 2*s = 5*c - 13, -7 = -c - 2*s - 2*s. Put 12, c, 2 in increasing order.
2, c, 12
Suppose -2 = u + 3*z, -4*u = -0*u - 5*z - 9. Let m be ((-2)/u)/(3/(-6)). Let c = -7 - -4. Put m, c, -1 in decreasing order.
m, -1, c
Suppose 4*l = 9 - 17. Sort 0, -2/11, l, -4 in descending order.
0, -2/11, l, -4
Let b be 4/(-18) - 43/9. Let o(p) = 12*p**3 - p**2. Let f be o(1). Let x = -14 + f. Sort x, 0, b in increasing order.
b, x, 0
Let d(r) = 4*r**3 + r**2 - 1. Let b be d(-1). Let t(m) = -m**3 - 2*m**2 + 5*m + 3. Let p be t(-3). Let v be (0 + 0)*(-3)/p. Put 5, v, b in ascending order.
b, v, 5
Suppose 4*k = 3*h - 20, 3*k + 14 + 12 = 5*h. Let z(v) = -v - 6. Let m be z(-6). Let g be 4 + (2*-1 - m). Put 3, k, g in decreasing order.
3, g, k
Let v(x) = x**3 - x + 3. Let w be v(0). Sort w, 0.4, 19.
0.4, w, 19
Let s = 35 - 48. Put 0.2, 2, s in decreasing order.
2, 0.2, s
Suppose -u = -7 + 2. Let o(l) = l**3 - 6*l**2 + 6*l - 5. Let q be o(u). Put -4, q, 2 in descending order.
2, q, -4
Let i = -12/5 - -2. Let m = 511/5 - 103. Sort i, m, 3 in descending order.
3, i, m
Let i be (3 - (0 - -1))/(-2). Let q = 27 - 30. Sort 0.5, i, q in ascending order.
q, i, 0.5
Let p be 3*(1/1 - 2). Let c(k) = -k + 7. Let a be c(5). Sort a, -1, p in descending order.
a, -1, p
Let v(r) = -r**3 - 10*r**2 - 11*r - 14. Let l be v(-9). Sort l, -19, 1.
-19, 1, l
Suppose -4*g = b + 6, 0*g = -5*b + g + 12. Put -4, b, -3, 10 in increasing order.
-4, -3, b, 10
Let s = 0.7 + -1. Put 0.03, -5, s in decreasing order.
0.03, s, -5
Let r be (2 - 4)*2/24. Sort -0.5, -3, r in descending order.
r, -0.5, -3
Suppose 3*c = -1 + 7. Put 1, -5, c in decreasing order.
c, 1, -5
Let o = 19.8 + -29.5. Let l = 10 + o. Sort 0.1, 3, l in increasing order.
0.1, l, 3
Let s(o) = -o + 5. Let y be s(6). Let g = 3.15 - 2.6. Let m = 0.05 - g. Sort m, y, -2 in increasing order.
-2, y, m
Let t = 11.62 - -2.48. Let a = t + -15. Let j = -0.1 + a. Put -4, j, 0 in ascending order.
-4, j, 0
Suppose 5*x + 40 = -5*o, 2*o + 13 = o - 2*x. Let w(p) = 9*p**2 - 8*p + p**3 - 2*p**2 + 1 + 1. Let b be w(-8). Put b, -5, o in decreasing order.
b, o, -5
Let i = 193 - 968/5. Suppose 8 = 4*y, -6*c + 5*y + 60 = -c. Suppose -5*d = -3*w + 10, 0 = 4*w - 4*d - 2 - c. Sort i, w, 2/7 in descending order.
w, 2/7, i
Let x be 16/10 + (-2)/(-5). Let d be -3 + (0 + -2)*1. Sort d, x, 4.
d, x, 4
Let u = 170 - 168. Let d = 118/3 - 581/15. Sort u, d, 5 in decreasing order.
5, u, d
Let f = 0 - -2. Suppose -32 = 20*h - 16*h. Sort -5, h, f.
h, -5, f
Let h be (-2)/1 - 2/(-4). Let u(r) = -r**2 - 2*r + 2. Let t be u(-3). Let l = -45 - -46. Sort l, h, t in descending order.
l, t, h
Suppose -8 = 2*t + 6*t. Let q = -7 - -12. Let g be ((-7)/3 + 2)*0. Put g, t, q in ascending order.
t, g, q
Let s(b) = -b**3 - 6*b**2 + 4*b - 7. Let c be s(-7). Let m be c/8*(-9)/42. Sort 0.1, m, 2/9 in decreasing order.
2/9, 0.1, m
Let x be 2/(-4)*-2 - -1. Sort -3, x, 5.
-3, x, 5
Let c = -291/5 + 58. Sort -4/7, c, 2/9, 2/3 in ascending order.
-4/7, c, 2/9, 2/3
Let g = -21 - -16. Sort 0, 1, g, -3 in decreasing order.
1, 0, -3, g
Let n(x) = -2*x - 18. Let w be n(-10). Suppose 4*u = -4*h + 36, -3*h - 3 = -5*u + 2. Sort w, 3, u.
w, 3, u
Let m = -4 - -4.4. Let v = -0.03 - 3.97. Sort 3, m, v.
v, m, 3
Let i = -6.3 - -6.8. Sort i, -0.1, -2, 0.
-2, -0.1, 0, i
Suppose -2*u - 10 = 2*p + u, 20 = -4*p + 5*u. Let g = -60 + 59. Sort 1/2, p, g in increasing order.
p, g, 1/2
Suppose -5*c + 6 - 16 = 0. Let h = c + 7. Sort h, 0.3, -0.2 in decreasing order.
h, 0.3, -0.2
Let c be 4/(-1) + (-110)/(-30). Let g(t) be the first derivative of 2*t**3/3 - t**2 + t + 2. Let a be g(1). Put -3, c, a in descending order.
a, c, -3
Suppose -8*g + 6*g - 10 = 0. Sort -1, g, 1 in increasing order.
g, -1, 1
Suppose -q + 2*q + 1 = 0. Put q, 0.2, 4 in decreasing order.
4, 0.2, q
Let q be (-3)/((-6 - -3)*1). Sort -3, q, -4 in decreasing order.
q, -3, -4
Let v(l) = -l**2 + 4*l + 1. Let p be v(3). Sort 5, 1, p in decreasing order.
5, p, 1
Let p be (3 - (10 + -1))/2. Sort -4, p, -5 in increasing order.
-5, -4, p
Let l(y) = -2*y**2 + 4*y - 2. Let m be l(2). Sort -4, -8, m in ascending order.
-8, -4, m
Let y be (-4 + 3)*(-1 + -114). Let r be 1/3 + y/(-255). Let x(k) = -k + 17. Let u be x(14). Put u, -3, r in decreasing order.
u, r, -3
Suppose 5*j = -q, 0*j - 5*q = -2*j. Suppose j*l + 10 = 5*l. Put l, 4, -2 in descending order.
4, l, -2
Let b = 2.1 + -9.1. Put -2/17, -2, b in descending order.
-2/17, -2, b
Let g be (-172)/36 - -2 - -3. Let u = -1.97 - 0.03. Sort g, u, -1.
u, -1, g
Let i be (-12)/(-2)*16/(-24). Sort i, -2/31, -1/3 in descending order.
-2/31, -1/3, i
Let k = 3.3 + 0.7. Let o = -56 - -61. Put -0.5, o, k in descending order.
o, k, -0.5
Suppose 0*q = 2*q - 6. Sort q, -7, -1.
-7, -1, q
Suppose -4*t + 5*b + 17 = 0, -t + 13 = -5*b + 2*b. Sort -1, t, -5, 2 in increasing order.
-5, t, -1, 2
Let y be (-1)/(-3) - 16/(-6). Put y, -5, 4/9 in ascending order.
-5, 4/9, y
Let j(t) = t**3 + 5*t**2 + 5*t + 1. Let h be j(-4). Let l be 1*(-2 - (8 - 5)). Sort l, 2, h in increasing order.
l, h, 2
Let v be 1 + -4 + 0 + 6. Let o be (3/(-12)*2)/1. Put o, -2/9, v in decreasing order.
v, -2/9, o
Let v = -39 - -34. Let m = -17 - -9. Let x = m - v. Sort x, 5, -2 in increasing order.
x, -2, 5
Let n be (-4)/(-26) + (-48)/(-26). Put -3, -2, n in decreasing order.
n, -2, -3
Let d = -8.6 + 0.6. Let h = d + 4. Let r = h - -4.2. Put r, 1/2, 0 in decreasing order.
1/2, r, 0
Let a = 85/2 + -583/14. Let h = 0.01 - 0.31. Sort h, a, 5 in ascending order.
h, a, 5
Let u = 19 - 34. Let l be u/6*24/(-15). Sort l, -4, -5 in decreasing order.
l, -4, -5
Suppose -5*g = -0*g - 125. Suppose -p + 5*p + 23 = -3*h, 5*p + g = 0. Let d(c) = c + 1. Let u be d(4). Put h, u, 2 in descending order.
u, 2, h
Let k = 13 - 11. Put -5, 5, k in decreasing order.
5, k, -5
Suppose g - 1 = -0*g. Let m be (-18)/6 + (-1 - g). Put 1, m, 4 in descending order.
4, 1, m
Let o(f) = f + 11. Let c be o(-9). Suppose -r + 5*r - 26 = 2*w, -2*r - 2*w = 2. Sort 1, c, r in descending order.
r, c, 1
Let k = 4 + -2. Let n = -3 - -6. Put n, k, 4 in descending order.
4, n, k
Let w be 6/2 + 1/1. Let a be (-1 + 12/15)/((-8)/20). Put 2, w, a in decreasing order.
w, 2, a
Suppose 2*u + 3*u - 15 = 0. Suppose 4 - 29 = 5*x. Put -4, x, u in ascending order.
x, -4, u
Let b = -0.02 - -0.02. Put b, 6, -