r.
4, 0.3, b
Let l = -2.9 - -1.9. Let x(n) = n. Let j be x(0). Let w = -10 + 15. Put w, l, j in descending order.
w, j, l
Suppose 5*b + 2*t - 19 = -0*t, 0 = -3*b - 3*t + 15. Suppose -2*x + b = 1, 11 = q + 5*x. Let d be q/21 + 66/14. Put -0.3, d, 0.1 in increasing order.
-0.3, 0.1, d
Let c = -429.2 + 429. Let d = 2.9 - 3. Sort d, c, -1 in descending order.
d, c, -1
Let c = 1 + 2. Suppose -s - 10 = s. Put c, s, 4 in descending order.
4, c, s
Let p = 13 + -18. Let a = 27/4 - 57/4. Let y = a + 31/4. Put p, 0.1, y in increasing order.
p, 0.1, y
Suppose -2*y = 3*y + 4*r - 7, -12 = -3*y - 5*r. Sort -3, 10, y in decreasing order.
10, y, -3
Let g be (-21)/(-6) + (-2)/(-4). Let w be 6/4*g/18. Let m be (2 - (-4 + 0))/(-5). Sort m, w, 0 in ascending order.
m, 0, w
Let t be (2 - 2/4)*2. Let a be (-6)/(-3)*3/(-2). Sort 4, a, t.
a, t, 4
Suppose 0 = -5*u - 30 - 0. Let g = u - -10. Sort g, -0.4, -1 in decreasing order.
g, -0.4, -1
Suppose 4*i - 20 = -4*b, -5*i = 2*b - 0*i - 10. Sort b, -1, -11 in descending order.
b, -1, -11
Let j = -0.2 - 0.8. Let g = 15.1 - 12.1. Put j, 1, g in increasing order.
j, 1, g
Let n = 4767643/15 + -317528. Let y be 4/(-10) + (-7865)/25. Let o = y + n. Sort 0.2, o, 4 in ascending order.
o, 0.2, 4
Let z(r) = -4*r**3 + 5*r - 1. Let g(a) = -5*a**3 - a**2 + 6*a - 1. Let c(n) = -3*g(n) + 4*z(n). Let k be c(3). Let y = 10 - k. Put 3, y, -5 in decreasing order.
y, 3, -5
Let z = 0.35 + -0.2. Let x = 0.05 + z. Sort x, -3, 3 in decreasing order.
3, x, -3
Let t = 1 - 1. Let i be (3 + -6)*-1 - -9. Let d be -3*(0 + (-20)/i). Sort 4, t, d.
t, 4, d
Let a = -9 + 13. Let k be 9/36*0/(-1). Let v be k + (8/4)/2. Sort v, -3, a.
-3, v, a
Let r = -377/4 + 94. Put -0.1, 0, r in increasing order.
r, -0.1, 0
Let d = 2 - 1. Let q(g) = -g**3 + 9*g**2 + 9*g + 9. Let w be q(10). Sort w, d, -2.
-2, w, d
Let x = 24 + -43. Let d = x - -19.1. Sort -2, -4, d in decreasing order.
d, -2, -4
Let p = 3 - 2. Let r(u) = u**3 + 5*u**2 - 6*u - 1. Let b be r(-6). Sort -3, p, b in descending order.
p, b, -3
Let j = 13 - 12. Sort 3, j, -1 in descending order.
3, j, -1
Suppose -2*q + 6 = q. Suppose -4*m - 2*y = m, q*y = 3*m. Sort m, 5, 2 in decreasing order.
5, 2, m
Let l = 0 + 0. Suppose 3*c + 21 = 75. Let x be c/(-3) - (l - 1). Put 4, x, 2 in ascending order.
x, 2, 4
Suppose 3*w - 11 - 13 = 0. Sort -5, w, 3.
-5, 3, w
Let v = 0.16 + -0.66. Suppose 0 = -0*a + 5*a + 15. Put 0, v, a in decreasing order.
0, v, a
Let b = 9 + -6. Let y be ((-5)/2 - -2)*-33. Let h = y - 16. Sort 1, b, h in decreasing order.
b, 1, h
Suppose 0 = -5*m + n + 45, -4*m + 5*n + 0*n + 36 = 0. Put 0, 3, m in decreasing order.
m, 3, 0
Let l(q) = -q - 2. Let t be l(3). Put t, 1, 0 in ascending order.
t, 0, 1
Suppose 0 = 4*x - 0*z + 3*z - 39, 2*z + 8 = 3*x. Put x, -3, -5 in decreasing order.
x, -3, -5
Let f = -192 + 198. Sort 2/3, f, -1 in descending order.
f, 2/3, -1
Let v = -0.2 + 0.3. Let j = 12.8 + -13. Let h = j + v. Put -1/6, 1/2, h in descending order.
1/2, h, -1/6
Let d = -32 + 32.3. Sort d, -1/6, -0.3 in descending order.
d, -1/6, -0.3
Let u be (-12)/(((-45)/6)/(-5)). Put u, 5, 2, 3 in descending order.
5, 3, 2, u
Let b = -37 + 33. Put -3, 11, b in decreasing order.
11, -3, b
Let s = -273 + 4093/15. Sort 4, 0, s in decreasing order.
4, 0, s
Let p = 23.9 - 23. Let u = 0.7 - p. Put u, 0, 3/7 in decreasing order.
3/7, 0, u
Let t be 0 + 2*(-3)/6. Let z(s) be the first derivative of -s**4/4 - 5*s**3/3 - s**2 - 7*s + 1. Let c be z(-5). Sort c, 2, t in increasing order.
t, 2, c
Let i be 2/3 + 6/(-9). Let p(b) = b**3 + 5*b**2 - 6*b - 2. Let n be p(-6). Put 4, n, i in ascending order.
n, i, 4
Let q = 39 + -44. Let t be (-4)/(-2 + (2 - 1)). Put 1, t, q in decreasing order.
t, 1, q
Let p(k) = -3 + 5 - k - 3. Let b be p(-2). Put 3, -3, b in descending order.
3, b, -3
Let x(t) = 20*t + 57. Let j be x(-3). Put 22, 5, j in descending order.
22, 5, j
Suppose -5*u + 2 = -33. Suppose 3 + u = -2*o. Sort -1, o, -2 in descending order.
-1, -2, o
Suppose -3*c = -9, -2*s + 3*c - 20 + 5 = 0. Put 3, 5, -5, s in ascending order.
-5, s, 3, 5
Suppose -3*a + a + 5*z = -19, -7 = 4*a + 5*z. Suppose 0 = -3*y + i - 7, -a = -2*y - 0*i + 4*i. Let u be (-1)/(2/3 + -1). Sort y, 5, u in decreasing order.
5, u, y
Let l = 2 - 2.1. Put 0.24, 4, l in descending order.
4, 0.24, l
Suppose x - 4*v + 5 = 0, 0 = 2*x - 0*v - v + 10. Put -4, x, 3 in increasing order.
x, -4, 3
Suppose -2*q = 6, -s + 10 = -0*q - 4*q. Suppose 0 = -4*w + 8. Put s, w, 4 in ascending order.
s, w, 4
Let c = -40.3 - -40. Put 5/3, -0.06, c in ascending order.
c, -0.06, 5/3
Let l(a) = -a**2 - 5*a - 5. Let t be l(-4). Let y be (-2 - t)*(-2)/(-6). Let f = 2/305 - -592/2745. Put y, f, 4 in decreasing order.
4, f, y
Let w = -6 + 4. Put w, 2, 1/6 in increasing order.
w, 1/6, 2
Suppose 0 = -4*d - 5*n + 8, -6*n + 6 = 3*d - 4*n. Let p be d*(2 - 2/(-4)). Let t(c) = -2*c - 32. Let w be t(-17). Put w, p, 3 in descending order.
p, 3, w
Let m = -22 - -18. Put 0, 2, m in decreasing order.
2, 0, m
Let b be 0 - ((-17 - -22) + (-5 - -1)). Put -6, b, 4 in increasing order.
-6, b, 4
Suppose 0 = 2*x + q - 3, 2*q - 4 = -2*q. Sort 2, 15, x.
x, 2, 15
Suppose 0 = 4*w - 4*l - 3 - 1, 0 = 4*w + l - 14. Sort w, 0, 1 in increasing order.
0, 1, w
Suppose 0 = v + 11 + 3. Sort v, -4, 0.
v, -4, 0
Let q be (-3)/(-2)*(-70)/15. Let d = q - -12. Sort -1, d, -5 in increasing order.
-5, -1, d
Let k be 1/(-4) + 7/12. Let c = -0.3 + 0.6. Let b = c + -0.1. Sort k, 1/2, b in ascending order.
b, k, 1/2
Let b = -2 - -1. Let i(k) = -k**3 - 5*k**2 - 3. Let h be i(-5). Let g be 1*3/(3/(-2)). Sort h, g, b in descending order.
b, g, h
Let f(q) = -q + 1. Let h be f(2). Sort h, -4, 5 in ascending order.
-4, h, 5
Let z = -5 - -6. Suppose z - 7 = 3*g. Sort -1, g, -5.
-5, g, -1
Let z(p) be the first derivative of -p**4/4 - 8*p**3/3 - 7*p**2/2 - 2*p - 1. Let h be z(-7). Let m(y) = -y - 1. Let f be m(3). Sort -1, h, f in ascending order.
f, h, -1
Let p(w) = w**3 - 3*w**2 - 6*w + 4. Let x be p(4). Suppose 5*t = 2*j + 23, 0 = -j - 2*t + 16 - 5. Let o = -2 + 4. Sort j, x, o.
x, j, o
Let d = 6 + -3. Suppose d*o - 3 = 3. Put -1, o, -4 in descending order.
o, -1, -4
Let v be (10/6)/5 + (-4)/(-3). Let u = -0.39 + -0.01. Put -0.1, v, u in decreasing order.
v, -0.1, u
Let m = -2.13 + 2. Let r = m - -0.33. Sort r, 1, 3 in descending order.
3, 1, r
Let y = 0.31 + -0.17. Let t = 0.06 + y. Sort -4, -0.1, t in ascending order.
-4, -0.1, t
Suppose 7 = -4*g - 13. Suppose -5*m + 5 = -0*m. Let b be 5 + (-1)/(-2)*0. Put g, m, b in descending order.
b, m, g
Let t = -0.06 - -0.26. Let v = 0.2 - 0.4. Let d = v - t. Sort 1, -0.5, d.
-0.5, d, 1
Let u be 5/(-2)*(-3)/(-6). Let s = 9.06 + -0.06. Let j = s - 4. Put 0, u, j in decreasing order.
j, 0, u
Let y = 0.37 + -0.07. Let w = -0.6 - -0.2. Put w, y, 0.4 in descending order.
0.4, y, w
Let w be -2*1/(-2)*1. Let o = w + -6. Let z = -13 - -9. Sort 1, o, z.
o, z, 1
Let b = -119.4 - -134. Let v = b - 15. Put 3, 0.5, v in decreasing order.
3, 0.5, v
Let w = 88 - 86. Sort 4, 5, w.
w, 4, 5
Let l = 3 - 8/3. Let y be 3564/4592 + (-1)/4. Let d = 4/41 - y. Sort l, d, -0.1.
d, -0.1, l
Let s(r) = -5*r**3 - 5*r**2 + 6*r + 3. Let h(f) = 4*f**3 + 4*f**2 - 5*f - 2. Let u(m) = -4*h(m) - 3*s(m). Let l be u(1). Put 5, -4, l in descending order.
5, l, -4
Let v = 4 - 1. Let r be ((v - 2)*-2)/4. Sort 2, -4, r in ascending order.
-4, r, 2
Suppose 0 = 5*d - 2*l + 26, 5*d - 11 + 28 = -l. Sort d, 5, -2 in descending order.
5, -2, d
Let d(w) = -w**3 - 3*w**2 + 3*w - 3. Let s be d(-4). Let p(j) = 5*j**2. Let l be p(s). Let t(n) = -n**2 - n. Let x be t(0). Sort x, l, 2.
x, 2, l
Suppose -5*x + n + 16 = -5, n = 4. Suppose v + 0 = -x. Let o = 15 + -11. Sort -1, o, v in increasing order.
v, -1, o
Let o(a) = -a**3 + 3*a**2 + 3*a + 2. Suppose -6*z = -4*z - 8. Let n be o(z). Sort -5, n, 1 in increasing order.
-5, n, 1
Let d(n) = n**2 - n + 1. Let f be d(3). Let y be ((-20)/(-6))/((-2)/3). Let o = y + f. Sort -2, -3, o.
-3, -2, o
Let h(c) = 6*c - 19. Let g(k) = 13*k - 39. Let p(v) = -4*g(v) + 9*h(v). Let a be p(13). Put a, 4, 0 in decreasing order.
a, 4, 0
Suppose -l + 2*l - 18 = 0. Let n be 6/27 - 40/l. Put n, 0.2, 5 in descending order.
5, 0.2, n
Let w = -2 + 2. Let c = w - -0.2. Let j = 534/7 + -76. Put c, 0.5, j in decreasing order.
0.5,