der.
2, 0.5, r
Suppose 0 = 3*m - 7 - 8. Suppose 2*b + 9 = 3*b - 3*c, m*c = b - 13. Put b, -5, 0 in increasing order.
-5, 0, b
Let i(d) = -d - 10. Let t be i(-6). Let h = -8 - -6. Put 2, t, h in increasing order.
t, h, 2
Let k = -110 - -114. Put -1/2, k, 2 in decreasing order.
k, 2, -1/2
Let o(y) = 20*y - 4. Let n be o(3). Let s = -221/4 + n. Put s, 1, -4 in decreasing order.
1, s, -4
Let l = -0.277 - 0.023. Suppose 5*u + 7 = -v, 4*u + 5*v = u + 9. Sort u, 10, l in increasing order.
u, l, 10
Let g(z) = z + 1. Let a be g(2). Suppose l + 14 = a*n, -l = n - 0*l + 2. Put 5, -4, n in increasing order.
-4, n, 5
Let g(o) = o**2 - 10*o + 11. Let r be g(8). Let b(u) = 2*u**3 + 4*u + 2 - 1 - u**3 + 5*u**2. Let l be b(-4). Sort l, r, 0 in increasing order.
r, 0, l
Let r be (-1)/(-3) + (-1)/(-3). Let c = -901/1995 - 2/133. Let n = c + r. Put 1/2, n, 2 in increasing order.
n, 1/2, 2
Let g = -4.91 + -0.09. Let a = -2 - g. Let o = 0.16 + -4.16. Put a, o, -3 in ascending order.
o, -3, a
Let a be 0 - (-1 + -1)/2. Let f = -21 + 20.98. Sort a, 2/11, f in increasing order.
f, 2/11, a
Let r = -16 + 5. Let h = r + 7. Sort h, 5, -6.
-6, h, 5
Let y = 45 + -46.9. Let k = 1.4 + y. Sort -0.3, -2, k in decreasing order.
-0.3, k, -2
Let d = 13 + -8. Suppose 2*z + 13 + 6 = 3*j, -5*z = -3*j + 34. Put -1, d, j in descending order.
d, j, -1
Let t = -15 + 20. Suppose -2*u + 4*u + 3*v = 9, 3*u - 4*v - t = 0. Suppose 4*r = a + 6*r + 3, 5*a + r - 3 = 0. Sort u, a, -1 in decreasing order.
u, a, -1
Suppose 0 = -2*l + 2 - 0. Let u(b) = 2*b**3 - 1. Let w be u(l). Suppose 2*s - w = 1. Put -1, s, 2 in decreasing order.
2, s, -1
Let q be 68/(-80) + 2 + (-7)/5. Put -1/6, q, -2 in decreasing order.
-1/6, q, -2
Let i = 0.8 + -0.5. Let s = 23/7 + -22/7. Put 4, s, i in ascending order.
s, i, 4
Suppose -x + 6 = 5*d, d - 4 = 2*d - 5*x. Suppose -4*s + 19 = -d. Sort s, 2, 0 in decreasing order.
s, 2, 0
Let a = 0 - 3. Suppose 12 - 8 = 4*v. Sort -2, a, v in increasing order.
a, -2, v
Let k = -58 - -60. Let m(i) = -2*i**3 - 4*i**2 - 4*i - 3. Let d be m(-2). Put 0.06, k, d in increasing order.
0.06, k, d
Let l = 5 - 4. Suppose l = -2*w - 3. Put 0.5, -1/3, w in decreasing order.
0.5, -1/3, w
Let p be ((-52)/36 + 1)/(-2). Put -0.4, p, 0.3 in ascending order.
-0.4, p, 0.3
Let z(c) = 8*c - c**2 - 4 + 4 + 2*c**2 + 7. Let h be z(-7). Suppose -r + 4 = -h*r. Put 0, r, 1 in ascending order.
0, 1, r
Let x = 13 - 12.9. Let d = 0.1 - 0.3. Let r = d - -0.1. Put x, r, -0.4 in ascending order.
-0.4, r, x
Suppose -5*c - q = -104, -c + 2*q + 5 + 7 = 0. Suppose -c = 2*x + 5*l, 2*l = l - 4. Let f(o) = -2*o + 3. Let r be f(4). Put -2, r, x in ascending order.
r, -2, x
Let o(c) = -c**2 - c + 3. Let s be o(-3). Sort s, -1, 1 in descending order.
1, -1, s
Let o = -29 + 117/4. Let w = 2 - 2. Put w, o, 0.5 in increasing order.
w, o, 0.5
Suppose -12 = 2*o + 5*b, -4*o + 8 = -7*o - 5*b. Let g be (2/o)/1 + 0. Let p be 6/117*(-6)/2. Sort p, 3, g in ascending order.
p, g, 3
Let g = -31 - -16. Let p be 81/g + (-4)/(-10). Suppose 5*c + 7 = 5*r + 27, 4*r - 20 = -5*c. Sort p, c, 1 in descending order.
c, 1, p
Let r = 3 + 0. Suppose -5*j + 8 = -2*i, -i = -2*j + r*i. Sort j, -5, -4 in decreasing order.
j, -4, -5
Let x be -1 + 6/3 + 78/(-66). Sort 0.2, x, 4, 3/5 in decreasing order.
4, 3/5, 0.2, x
Suppose 4*b + 4*d = -16, 3*b - 2*d = -7*d - 20. Suppose -z + 5 - 3 = b. Sort 4, z, -3 in descending order.
4, z, -3
Let j = 98 + -106. Put -0.1, j, -1/7, -0.4 in descending order.
-0.1, -1/7, -0.4, j
Suppose 0 = 2*o + o. Let u(d) = 3*d - 6. Let i be u(3). Let y be o/i + 2 + -2. Put y, 4, -2 in descending order.
4, y, -2
Let p = -0.971 + -0.029. Let h = 2.5 - 3. Let i = h - p. Sort -1/4, i, -1 in descending order.
i, -1/4, -1
Let h be (-12)/(-105)*(-10)/(-4). Let n = 0.5 + -0.7. Let w = -0.2 - n. Put w, 1, h in ascending order.
w, h, 1
Let f = 36 - 32. Sort -1, 2, f.
-1, 2, f
Suppose -4*d + 16 = -4*r, 3 = -r - 4*d - 1. Sort -3, r, 12 in decreasing order.
12, -3, r
Suppose 4 = -h - 0*h. Put 3, h, 0 in increasing order.
h, 0, 3
Let f(d) = d. Suppose 0*j - 10 = -2*j. Suppose -3*z + 1 = n - 11, -3*z + j*n + 12 = 0. Let a be f(z). Put -3, 3, a in decreasing order.
a, 3, -3
Let z be 13 - (-2 - (0 + 0)). Suppose 5 = -4*f - z. Sort 3, f, 5 in descending order.
5, 3, f
Suppose 9 = -5*m + 54. Let a = m + -3. Suppose 0 = 3*w + a, 3*j + 2 + 7 = -3*w. Sort j, -2, 2 in increasing order.
-2, j, 2
Let y = -24 - -21. Sort -5, 1/3, -1, y in decreasing order.
1/3, -1, y, -5
Let t = -1.9 - -2. Let v = 0.008 - 1.008. Sort v, t, -2.
-2, v, t
Let y = 20 + -18. Suppose -3*w - 8 = -w. Put w, y, 5 in decreasing order.
5, y, w
Let j = 1.57 - -0.53. Let p = 2.4 - j. Put p, 1/6, -0.5 in decreasing order.
p, 1/6, -0.5
Let m(j) = -3*j + 24. Let c be m(7). Put 6, 2, 4, c in descending order.
6, 4, c, 2
Let a = -4.93 + -0.07. Put 0.06, a, 1 in increasing order.
a, 0.06, 1
Let k = 62 - 69. Sort -3, k, 0, -5 in descending order.
0, -3, -5, k
Let c = -3.9 - -0.9. Put c, -2/3, 3 in decreasing order.
3, -2/3, c
Let p = 1 + 2. Let f(y) = y**2 + 1. Let t be f(0). Suppose -5*u - t = -6. Sort u, 2/17, p in descending order.
p, u, 2/17
Let f = -1 - -1. Let j = -3 - -10. Let m = j + -7.3. Put f, m, -2 in decreasing order.
f, m, -2
Let j = -55 + 60. Put -3, 2, j, -5 in decreasing order.
j, 2, -3, -5
Let v = -21 - -39/2. Let y = v + 13/6. Let b = -358/5 - -72. Sort 1/7, y, b in decreasing order.
y, b, 1/7
Let m = 0 + 0.3. Let t be 6/(-15) + 128/420. Sort m, t, 2 in decreasing order.
2, m, t
Suppose -2*t - 2*t - 4*n = 0, 4*n = -2*t. Suppose 0 = 5*r + v - 51, -2 = -r + 4*v + 4. Let x be (r/3)/(2/3). Sort x, t, -2 in descending order.
x, t, -2
Let h(m) = m - 3. Let p be h(6). Let s be (39/(-65))/((-6)/(-2)). Sort p, s, -1 in descending order.
p, s, -1
Suppose 3*r = v - 4, -5*r - 8 - 1 = -4*v. Let n = v - -2. Sort n, -4, -1 in decreasing order.
n, -1, -4
Let d = 51 - 54. Sort 2, d, -4.
-4, d, 2
Let h = 42 - 39. Sort -7, h, -2.
-7, -2, h
Let l(t) = -3*t - 2. Let b = -6 + 4. Let h be l(b). Let n be 28/(-6) + h/6. Sort 1, n, 4.
n, 1, 4
Suppose k - 5*c - 15 = 0, 0*k - 2*c - 6 = 2*k. Suppose -5*t + k*h = -3*h + 30, 3*t = -2*h + 1. Let r be (2/(-4))/(2/8). Sort r, t, -4.
-4, t, r
Let t be (-1 + 3)/(-2 + 4). Sort t, 2, 0 in decreasing order.
2, t, 0
Suppose -4*u + 3*u + 3 = 0. Suppose 0 = u*q - 2*q. Suppose 2*k = -5*o + 7, -2*k = -q*k + 3*o - 5. Sort -3, 3, k.
-3, k, 3
Let v be 5/11*(-2)/5. Suppose 0 = -x - x. Let c be (x/(-3))/1 - 5. Sort v, 1, c in descending order.
1, v, c
Let k be 21/(-4) + 3/12. Sort -3, 0, k in decreasing order.
0, -3, k
Let x = 0.15 - 13.15. Let m = 11 + x. Let y = 4 - 2. Sort m, 5, y in descending order.
5, y, m
Suppose -2*c + 16 = -3*c. Let d = c - -13. Sort d, -1, 4 in ascending order.
d, -1, 4
Let i = 4 - 4.5. Put -6, i, -5 in decreasing order.
i, -5, -6
Suppose 23 = -9*f + 5. Sort f, 1, 0.4, 3 in increasing order.
f, 0.4, 1, 3
Suppose n = 4*f + 22, 3*f + 0 = 5*n - 25. Let g = -5 - f. Sort 4, g, -5.
-5, g, 4
Let y = 25 + -21. Put y, -2, 9 in ascending order.
-2, y, 9
Let c = 0.6 - 0.4. Let z = 87/4 + -22. Put c, z, -5 in descending order.
c, z, -5
Let c(d) = d - 7. Let b be c(10). Sort 0.3, 16, b in descending order.
16, b, 0.3
Let h be (-40)/(-15)*6/(-4). Let b(q) = 3*q + 1. Let c be b(1). Sort 2, c, h.
h, 2, c
Let k(d) be the first derivative of -d**4/4 + 10*d**3/3 + 11*d**2/2 - d - 1. Let w be k(11). Put w, 0.4, -2 in decreasing order.
0.4, w, -2
Let w = -51 + 20. Put w, -1, 0.5 in decreasing order.
0.5, -1, w
Let q = -5 + 8. Let z = -2 + 2.2. Sort z, 2, q in increasing order.
z, 2, q
Let o = -0.084 + -0.386. Let h = o + 0.27. Let a be 3/(-4)*(-4)/18. Sort -0.3, a, h in increasing order.
-0.3, h, a
Suppose -2*q + 14 = 24. Put -4, q, 3, -1 in descending order.
3, -1, -4, q
Let x = 47 + -47.4. Let j = -0.2 - -0.1. Let t = -5 - -4.7. Put x, j, t in descending order.
j, t, x
Let c be (3 - 166/54)/(1/(-3)). Put c, 2, -2, -4 in descending order.
2, c, -2, -4
Let t = 5.9 - 6. Sort t, -4, 0.1 in increasing order.
-4, t, 0.1
Let l = 43 - 44. Put 7, l, 2 in decreasing order.
7, 2, l
Let f = 62 - 63. Sort 7, 1, f in descending order.
7, 1, f
Suppose 5 = 2*u - 1. Let x(i) = -u + 10*i - i**2 + 1 - 4. Let q be x(9). Sort -4, -1, q.
-4, -1, q
Let i be ((-2)/(-4))/(1/2). Let k(y) b