 - f + 1. Let x be d(0). Sort g, x, 2 in descending order.
2, x, g
Suppose -i + 3 = -2*i. Let v = i - -4. Suppose -3*d - v = -7. Sort -2, d, -5 in increasing order.
-5, -2, d
Let a = -46/3 - -14. Sort -1, a, 0.3.
a, -1, 0.3
Suppose 7 = 10*b + 17. Sort b, 2, 5, -2.
-2, b, 2, 5
Let m = -17 - -16.63. Let x = -0.07 - m. Put -0.5, x, -3 in decreasing order.
x, -0.5, -3
Let c = -5.02 - -0.02. Let t be 2/(-8) + (2 - 339/180). Sort c, t, 0.3 in descending order.
0.3, t, c
Let z = -437/572 + 2/143. Let b = -0.6 + 1. Let r = -1.3 - -0.3. Sort b, z, r.
r, z, b
Let t(h) = -h - 12. Let s = 19 - 31. Let p be t(s). Put p, 3, -5 in descending order.
3, p, -5
Suppose l = 4*g - 4, 7*g - 3*g = 0. Put 6, -1, l in increasing order.
l, -1, 6
Suppose 0 = -a - 1 - 3, 0 = 2*g + 4*a + 26. Sort g, 1, -34 in decreasing order.
1, g, -34
Let v be 27/88 + (-2)/11. Let n = v + -3/8. Sort -3, n, 0.01 in descending order.
0.01, n, -3
Let w = 746238 + -672360264/901. Let t = 4/53 - w. Put -1, t, 0 in descending order.
0, t, -1
Suppose 4*w = 4*x + 2 + 2, -2*w - 5*x + 30 = 0. Sort 3, w, -5.
-5, 3, w
Let u(y) = -3*y + 4. Let h be u(2). Let w be 1*-1*(-1 - -2). Put 2, w, h in descending order.
2, w, h
Suppose -5*r = 5*k + 10, 2*r - 5*k - 11 = 6*r. Put 3, r, 5 in descending order.
5, 3, r
Suppose 3*p = 5*b - 25, 3*b + 31 = -3*p + 2*b. Sort p, -3, 4 in increasing order.
p, -3, 4
Let q = 0.3 + -0.3. Let b = q + -3. Let l be 3 + -4 - (-2)/6. Sort 1, l, b.
b, l, 1
Suppose 0 = 5*s - k - 38, 0 = -4*s - k + 39 - 14. Suppose c + 5 = 2*c - 2*g, s = 2*c - 3*g. Sort c, 4, -4.
-4, c, 4
Let a = 9.5 + -7.5. Sort 4, -1, a in descending order.
4, a, -1
Let g(r) = -r**2 + 4*r + 4. Let t be g(4). Let y(a) = -a**3 + 4*a**2 + 5*a - 6. Let z be y(5). Let s be 3/z*-2*-4. Put -1, s, t in decreasing order.
t, -1, s
Suppose 16*v - 10*v = -18. Sort v, -2, -1, 0 in descending order.
0, -1, -2, v
Let t be 5*10/25 + -1. Let h = -2 - -7. Put h, 0.3, t in descending order.
h, t, 0.3
Let d = -3 - -7. Let j = -9 + d. Sort j, -4, 3 in increasing order.
j, -4, 3
Suppose -3*w + 5*k + 3 + 13 = 0, 0 = -3*w - 5*k - 4. Let d be 22/4 - 3/(-6). Sort -4, d, w.
-4, w, d
Let v(t) = -t**2 + 5*t + 8. Let w be v(6). Let u = w + -2. Let l(f) = 3*f**3 - 2*f**2 - f. Let m be l(-1). Put m, 3, u in increasing order.
m, u, 3
Let y = 123 + -216. Let m be (-6)/(-33) + y/(-33). Suppose -m*a = 12 + 3. Sort 2, 3, a.
a, 2, 3
Suppose -c = -5 + 1. Let d(i) = i**2 - 3*i. Let u be d(c). Suppose 6 = 2*g - u. Put 0.3, g, 1 in increasing order.
0.3, 1, g
Let n(d) = d + 8. Let p be n(-9). Let w be -1 - p/(-2)*-6. Suppose 5*m + 15 - 5 = 2*j, -2*j = 0. Sort w, m, 3 in decreasing order.
3, w, m
Let d = 9.7 - -0.3. Sort d, 4, 0.3.
0.3, 4, d
Let i be (3/(-4))/(14/56). Let n = 8 + -13. Sort i, n, 1.
n, i, 1
Let d = 9 + -5. Let s = d + -3. Put -2, 0, s in increasing order.
-2, 0, s
Let s = -0.2 - -1. Let w = 8 + -8. Put 2, s, w in decreasing order.
2, s, w
Let p be (9/(-2))/(9/36*-2). Let m = 7 - 3. Sort p, m, 2 in decreasing order.
p, m, 2
Suppose -4*c - 19 = 3*t - 2*t, -11 = -3*t + 5*c. Let o = t + 8. Sort -1, o, 2 in descending order.
o, 2, -1
Let z(v) = v**2 - 7*v + 4. Suppose 32 = 5*q + 2. Let o be z(q). Sort o, 3, 5 in decreasing order.
5, 3, o
Suppose -16 = -3*d - 4. Let o be (1/2)/(2/d). Suppose -5*u + 2*j + 3*j + 15 = 0, 5*u - 8 = -2*j. Put 3, u, o in ascending order.
o, u, 3
Let i = 27 + -30. Put i, 3, 4, -2 in descending order.
4, 3, -2, i
Let a be ((-2)/(-4))/(1/1). Sort 3/5, a, -1 in ascending order.
-1, a, 3/5
Let n = 8 + -5. Suppose 0 = n*g + 4*z - 15, -2*g = 5*z - 3*z - 10. Suppose 2*t - g*t = 12. Put 1, t, 3 in ascending order.
t, 1, 3
Suppose 0 = 2*d + c + 5, -3*d - 19 = 2*d - 4*c. Sort d, 30, 1.
d, 1, 30
Suppose 3*o - 10 = r, -2*r + o - 17 = -4*o. Sort 5, r, -2 in decreasing order.
5, r, -2
Let n = -3 - -3. Suppose 2*d - 6 = 2*k, -14 = 2*k - n*d - 4*d. Sort -4, k, 2 in descending order.
2, k, -4
Let l = -21 - -32. Let b = l + -12. Let u = 1/12 + 19/60. Put b, u, -0.4 in descending order.
u, -0.4, b
Suppose 7*y = -3*y - 30. Let p = 2 - 6. Sort p, y, 3 in ascending order.
p, y, 3
Let g = -0.59 - -11.59. Put 4, g, 0.1 in decreasing order.
g, 4, 0.1
Let z be (-13)/(-1) + 2/(-2). Let x(a) = a**3 - 12*a**2 - a + 17. Let f be x(z). Put f, 2, 0 in descending order.
f, 2, 0
Let y = -23 - -163/7. Let p = -1 + 7. Suppose 2 = r + p. Sort -5, r, y.
-5, r, y
Suppose -3*g = -5*g + 4. Suppose d = -4 + g. Sort -3, 6, d in increasing order.
-3, d, 6
Let h = -27 - -46. Let p = -13 + h. Let k = -5.6 + p. Sort k, -0.3, 3/5 in ascending order.
-0.3, k, 3/5
Let d = -79 - -80. Put 5, 0, d in descending order.
5, d, 0
Suppose -4*i - 3 = 1. Sort 2, 0.5, i in descending order.
2, 0.5, i
Let x = -7.8 - -7.5. Put -0.5, -1/3, 0.4, x in ascending order.
-0.5, -1/3, x, 0.4
Suppose -6 + 14 = 4*z. Put -1, -2, -5/3, z in ascending order.
-2, -5/3, -1, z
Let t = -1 + 2. Let u = 2 + -2.4. Sort -4, t, u.
-4, u, t
Let o be (27/(-6))/9 + (1 - 2). Sort o, -0.3, -1/6, 1/3 in descending order.
1/3, -1/6, -0.3, o
Let x(q) = -q**3 + q**2 + 8*q - 4. Let t be x(3). Sort t, -3, 1, -4 in decreasing order.
t, 1, -3, -4
Let x = -4.38 + -0.62. Put 5, 0.13, x, 3 in decreasing order.
5, 3, 0.13, x
Let q(l) = l**3 - 6*l**2 + 6*l - 4. Let o be q(5). Suppose 6 = -4*f + 5*d, 3*f + 4 + 12 = -2*d. Let n = -4 - f. Sort n, -2, o in descending order.
o, n, -2
Let y = 133/4 - 33. Let u be (24/10)/(6/(-20)). Let a = 49/6 + u. Put a, y, 3 in descending order.
3, y, a
Let o be (-43)/(-3) + (-2)/(-3). Suppose 0 = 2*l + 5 - o. Suppose -i = -3*i + 6. Sort i, -2, l in descending order.
l, i, -2
Let s = 1086/5 - 218. Sort 3, -8, s, -4 in decreasing order.
3, s, -4, -8
Suppose 0 = -w + 3*w. Put w, 0.03, -0.2 in descending order.
0.03, w, -0.2
Let d be (-6)/2 - (6 + -9). Suppose d = q + 2. Sort -3, q, 2.
-3, q, 2
Let u be (-1 - 9)*2/27. Let h = u + 2/27. Put 5, 0.4, h in decreasing order.
5, 0.4, h
Let o = -361.7 + 362. Let i = -6 - -8. Let z = i + -1. Put z, 0.06, o in descending order.
z, o, 0.06
Suppose -4*y = -n + 9, -3*n = 4*y - n + 18. Sort -4/5, y, 2/3.
y, -4/5, 2/3
Suppose -5*y - 27 = 2*o - 10, -4*y = -3*o + 9. Sort -3, o, 4.
-3, o, 4
Let h(y) be the first derivative of y**3/6 + 4*y**2 + 2*y + 1. Let x(s) be the first derivative of h(s). Let k be x(-7). Sort k, 5, -1 in ascending order.
-1, k, 5
Let i = 1/44 + -109/924. Let t = 7.24 + -1.14. Let f = t + -6. Sort i, 5, f.
i, f, 5
Let o(s) = s - 7. Let q be o(4). Let z = -7 - -7. Let w = z - -5. Put q, 0, w in descending order.
w, 0, q
Let s = 2 - 3. Suppose h = -5, 4*d - 6*d = h + 1. Let f = -17 + 21. Put s, f, d in decreasing order.
f, d, s
Let t = 0.06 + -0.46. Let n = 8 + -10. Sort t, n, 1/3.
n, t, 1/3
Let h be (24/75)/(10/25). Put -2/11, 0.3, h in decreasing order.
h, 0.3, -2/11
Let p = -26 + 22. Sort 4, p, 1.
p, 1, 4
Suppose w + 112 = 5*w. Let o = 24 - w. Sort 0, 2, o in ascending order.
o, 0, 2
Let i = -15 - -17. Let k be (12/(-3) + -1)*-1. Suppose -5*x = -3*d + 22, -20 = -0*x + 3*x + k*d. Sort -3, i, x in descending order.
i, -3, x
Let t be (10/(-4))/(12/24). Put -12, 5, t in decreasing order.
5, t, -12
Let m be (7 + (-5)/2)*8/18. Put 5, 1, m, -1 in decreasing order.
5, m, 1, -1
Let x = -4.8 + 0.8. Let i = 28.77 + -29. Let g = 0.07 - i. Put g, x, 0.4 in decreasing order.
0.4, g, x
Suppose -3*f - 6*z + 7*z - 8 = 0, 4*f = 4*z - 8. Put 1, f, 11, -5 in increasing order.
-5, f, 1, 11
Let g be (-132)/(-28) - 8/(-28). Sort -2, -1, g.
-2, -1, g
Let u be -1*2 - (-2 - (4 - 5)). Suppose 0 = 2*f + 4*z - z + 8, -5*f + 5*z - 45 = 0. Sort -5, f, u in ascending order.
f, -5, u
Let b be ((-120)/(-18))/((-1)/3). Let r be b/(-105)*7/6. Let w be -2*(-2)/(-16 + -2). Put w, 0.4, r in ascending order.
w, r, 0.4
Let u(h) = -h - 3. Let z be u(-9). Let r be ((-6)/5)/(z/15). Sort 3, 2, r in decreasing order.
3, 2, r
Let c = 32 - 24. Put 2, c, -1 in increasing order.
-1, 2, c
Let u = 3180617/42 + -487831/7. Let d = u + -6004. Let w = -35 + d. Sort -4/3, w, -1 in descending order.
w, -1, -4/3
Suppose 0 = -h - 1 + 6. Suppose 0 = j - 0 - 2. Suppose -j*g = g + 2*x + 1, -g = -h*x + 6. Put -4, -5, g in descending order.
g, -4, -5
Suppose 4*k + 21 = 4*x + 1, 0 = -4*k - 5*x - 20. Put -2, 4, k in decreasing order.
4, -2, k
Let k be (0 - 0) + -2 + -1. Let z = -4 - -7. Put z, -2,