 -3
Suppose 0 = 3*r + 1 + 2. Let i be r*(-2)/(-1)*-2. Suppose 4 = -2*w - i. Sort 0, w, 2 in descending order.
2, 0, w
Suppose -40 = -3*w - 4. Suppose -9 = 5*p - 4*g, 5*p + 3*g + 25 = -w. Put 1, p, -1 in increasing order.
p, -1, 1
Let n be 4/18 + 25/9. Let l = -1 - n. Suppose -c - 25 = 4*c. Sort 2, l, c.
c, l, 2
Let o = 38 - 149/4. Sort 10, o, -0.5 in increasing order.
-0.5, o, 10
Let u = -19/8 - -25/24. Put 0.2, -30, u in increasing order.
-30, u, 0.2
Let i = -2 - -5. Suppose -2*q - t + i*t + 8 = 0, 5*q = -2*t - 1. Put -4, -1, q in descending order.
q, -1, -4
Let z(w) = -w - 1. Let f be z(-6). Suppose 16 = -f*b - y, y = 2*b + 2*b + 11. Suppose -9*c - 2 = -7*c. Sort b, c, -5 in increasing order.
-5, b, c
Let d(b) = 3*b - 3. Let f be d(2). Let t be f + 47*1/(-15). Put 5, t, 1 in descending order.
5, 1, t
Let p = -15 + 13. Sort 1, 5, p in increasing order.
p, 1, 5
Let r be (8/(-14))/(2/(-7)). Suppose -r*d + 5 = f - 3*d, 2*d = -4*f + 8. Suppose -3*o - 3 = h + 5, 4*h + 10 = -o. Sort f, o, -3 in descending order.
f, o, -3
Suppose -3 = 2*g - 5*s, 3 = -2*g - s + 6. Let p be ((-1)/5)/(g/2). Let h = 0.3 + -0.4. Put h, 1, p in increasing order.
p, h, 1
Suppose v = -5*a - 4*v, 0 = 3*a + 5*v. Suppose a = m - 4. Suppose 27 - 9 = -6*t. Put t, m, 2 in decreasing order.
m, 2, t
Suppose -2 = -4*d + 18. Let x(f) = -f - 7. Let b be x(-10). Suppose q + 3 = b*j, -d*q - 5*j = -j - 4. Sort -1, q, 2.
-1, q, 2
Let x be ((-3)/18)/((-2)/(-4)). Let u = -1.6 - -4.6. Let p = -2 - -2.1. Put u, p, x in decreasing order.
u, p, x
Let a = 0.03 - 0.43. Let t = a - -5.4. Let h = 10 - t. Put h, -1, -5 in decreasing order.
h, -1, -5
Suppose -5*i = -4*u + 36, -u = -4*u - 3*i. Let r(q) be the second derivative of q**4/6 - q**3/3 + q**2/2 + q. Let f be r(1). Sort u, f, -5 in increasing order.
-5, f, u
Let i = 6 - 8. Sort 5/2, 5, 0, i.
i, 0, 5/2, 5
Suppose -9 = -5*z + 4*z. Suppose -z = -7*j - 30. Put -2, j, 3 in decreasing order.
3, -2, j
Suppose 2*o + o + 9 = 0. Suppose 3*u = -3*u. Put o, u, -6 in increasing order.
-6, o, u
Let x = 3.6 + -3. Let m = -0.9 + x. Let c = 0.2 + -0.4. Put 0, c, m in descending order.
0, c, m
Let h(a) = -3*a - 3. Let l be h(-3). Suppose i - 7 + l = 0. Suppose -d - 2 = 0, 3*d = 5*b + 7*d + 33. Put -4, i, b in decreasing order.
i, -4, b
Let r be 6/(-4)*(-8)/6. Suppose -24 = 4*n + 5*g, n + r*g = -10 + 1. Let w(o) = o. Let v be w(0). Sort v, -4, n in ascending order.
-4, n, v
Let x = -13.08 + 8.29. Let j = -0.21 + x. Put j, 1/5, 2/13 in descending order.
1/5, 2/13, j
Let b = 21.1 - 3.1. Let j = b + -17.6. Sort 1, 0, j in descending order.
1, j, 0
Let g(a) = -a**2 + a - 1. Suppose 0 = -2*u - 3*u. Let s be g(u). Sort s, 4, 5 in descending order.
5, 4, s
Let q be -1 + 0 + 2 - -1. Let m be (1/(-11))/(q/28). Let b = m + -5/22. Sort -0.5, b, 0.1.
b, -0.5, 0.1
Let f = -3 - -3. Let l = 4 - f. Suppose z + 0*z = 0. Sort z, l, -4.
-4, z, l
Let p be ((-55)/(-22))/(0 - 2/(-4)). Sort -0.4, -4/9, -8, p.
-8, -4/9, -0.4, p
Let z be (-1)/(0 + 0 - -1). Let a(d) be the first derivative of d**4/4 + d**3 + 3*d**2/2 + 2*d - 3. Let f be a(-2). Sort f, z, 1 in increasing order.
z, f, 1
Let u = -4.4 - -5. Let c = u + -1. Let j = -1 - 0. Sort -2/17, c, j.
j, c, -2/17
Let n = 12 + -7. Let i = -3.72 - 0.08. Let o = -0.2 + i. Sort -1, o, n in ascending order.
o, -1, n
Let t = 9 - -5. Sort 2, 1, t in descending order.
t, 2, 1
Suppose 1 = -4*w + 13. Sort 2, 5, w in increasing order.
2, w, 5
Let z = -2 + 1.7. Let f = 0.184 - -0.016. Sort f, 0, z.
z, 0, f
Let s be -3 + -2 + (3 - 1). Suppose 0 = -3*f - 4*c + 24, -5*f - 3*c - 2*c = -45. Suppose -2*u = u + 3*g - f, -6 = -3*u - g. Sort u, 0, s.
s, 0, u
Let n = -0.357 + 0.157. Sort n, -0.5, -0.06, 2/9 in ascending order.
-0.5, n, -0.06, 2/9
Let a = 8/5 - 11/10. Put -1/7, 4, a in decreasing order.
4, a, -1/7
Let w = 4.5 - 0.5. Let z = 4.2 - w. Let c = 10 + -6. Sort z, 3/7, c.
z, 3/7, c
Let i(r) = r**2 - 7*r - 10. Let o be i(7). Let u = 6 + o. Let l be u/(-3) - (-8)/12. Put -2, l, -3 in increasing order.
-3, -2, l
Suppose 3*b = 3*l - 27, -3*b - 25 = 2*b. Let t be 3 - (-1 + 2) - 1. Put 3, l, t in increasing order.
t, 3, l
Let o = 188 - 193. Suppose -4*u = -3*v - 41, 42 = -5*v + 2*u - 3. Let t = -2 - v. Put t, o, 4 in increasing order.
o, 4, t
Let h(c) = -c**3 - 5*c**2 + 6*c + 5. Let o be h(-6). Let j(r) = -r**3 - 14*r**2 - 24*r - 1. Let k be j(-12). Sort -3, k, o in decreasing order.
o, k, -3
Let s = 26.3 - 25. Let h = 1.3 - s. Sort 5/2, h, -1 in increasing order.
-1, h, 5/2
Let c = -3 - -7. Let n = -258.3 + 247. Let f = n + 11. Sort c, 0.5, f in increasing order.
f, 0.5, c
Let s = 1 + 1. Sort 0, 1, s, 4 in descending order.
4, s, 1, 0
Let k = -10 - -2. Let c = -7 - k. Put 2/7, c, -0.4 in increasing order.
-0.4, 2/7, c
Let y = 2 - 1.8. Let g be 1 + (-1)/2*4/(-4). Put y, -0.4, g in descending order.
g, y, -0.4
Let g(y) = y**3 + 18*y**2 + 18*y + 20. Let c be g(-17). Put 6, c, 0.4 in decreasing order.
6, c, 0.4
Let w(c) = -c - 14. Let l be w(-9). Let f = -354/11 + 2588/77. Let u = f - 44/21. Sort 2, u, l in descending order.
2, u, l
Let r = 26 + -21. Sort -1, -9, r in decreasing order.
r, -1, -9
Suppose -63 + 9 = -2*d. Suppose -4*k + d = -k. Put k, -1, -2 in decreasing order.
k, -1, -2
Let h = 9 - 11. Sort h, -5, 2.
-5, h, 2
Suppose j = 4*s + 12, -3*j + 7*s + 8 = 2*s. Let b = 7 + j. Put b, -5, -1 in decreasing order.
b, -1, -5
Let l be (-21)/(-49) - 6/14*1. Let j = 0.01 + -2.01. Let i = 6 - 2. Sort j, l, i in increasing order.
j, l, i
Let t(v) = 15*v**2 + v. Let b be t(-1). Suppose 3*r + b = -4*z - 17, 5*r - z + 21 = 0. Let q = -5.4 + 5. Put q, 5, r in ascending order.
r, q, 5
Suppose j + 2*j = -s + 186, 4*s + 5*j - 744 = 0. Let k be (-2)/(-12) + s/(-36). Sort 0, k, -1 in ascending order.
k, -1, 0
Let f = 81 + -80.5. Suppose 4*z = 10 + 6. Put z, f, -0.3 in decreasing order.
z, f, -0.3
Let m(d) = d**3 + 2*d**2 + d. Let z be m(-2). Let u be 8/16*(z - 2). Put 0.4, 0.6, u in decreasing order.
0.6, 0.4, u
Let o = 14 - 14.4. Let v = -0.7 - o. Sort v, -0.2, -4 in decreasing order.
-0.2, v, -4
Let t = 4 + -4.4. Suppose 3*l + 4*f - 34 = -f, 5 = 5*l - 2*f. Put l, t, 1 in ascending order.
t, 1, l
Suppose -3*j - 10 = -i + 5*i, 2*j = -4*i - 8. Suppose -13 = -3*k - 4. Sort 5, i, k in decreasing order.
5, k, i
Let c = -0.84 + 0.14. Let j = 2.7 + c. Let m = 1/5 + 1/5. Sort m, j, -4/7.
-4/7, m, j
Let o be (1 + 0)*-1*(-320)/(-64). Put -1, o, 17 in increasing order.
o, -1, 17
Let v = -4 - -9. Let q(d) = -d**2 - 7*d - 4. Let h be q(-4). Suppose 4*b + 4*z = h, -b - z = -6*z + 16. Sort -3, v, b in increasing order.
-3, b, v
Suppose -6 = -q - q. Suppose 0*l = q*l + 9. Let x(t) = -t**3 - 3*t**2 - 2*t + 2. Let m be x(-2). Sort l, m, -5 in descending order.
m, l, -5
Let w = 88/13 + -160/39. Put w, 0.1, 1 in descending order.
w, 1, 0.1
Let a = -64 + 62. Suppose 10 = 3*g + c, g - 6 - 8 = 5*c. Sort a, -4, g in ascending order.
-4, a, g
Let o = -13.5 - -9.5. Sort -2, 0.1, 1/5, o.
o, -2, 0.1, 1/5
Let a be (-10)/(-45) + (-32)/(-18). Suppose 24 - 28 = d. Sort 5, d, a in ascending order.
d, a, 5
Let b = -6 + 3. Let r = b + 2.5. Let n = r - -0.9. Sort n, 5, -2 in descending order.
5, n, -2
Suppose 4*p = a - 6 - 15, p = a - 6. Suppose -2*d - 3 = -13. Suppose 2*x = -4*o - 2*x, 0 = -5*o + 5*x + 40. Sort o, a, d in descending order.
d, o, a
Let m(w) = -w**3 + 6*w**2 + 8*w. Let r be m(7). Let p be (-1)/(-1) + r + -10. Sort 2/5, 3, p in descending order.
3, 2/5, p
Let b = -14 - -7.6. Let p = -7.9 - -1.9. Let d = b - p. Sort -1, 1, d.
-1, d, 1
Let k be 2/(-8)*4/(-6). Sort -3/4, -24/5, k.
-24/5, -3/4, k
Suppose 22 = -2*w - 0. Let j = 12 + w. Sort -5, j, 8 in increasing order.
-5, j, 8
Let y be 2/4 - (-34)/4. Let k be ((-6)/y)/(2 + 1). Suppose 0 = -i - 4*w - 5, 4*w + 2 - 9 = -5*i. Put i, k, -5 in ascending order.
-5, k, i
Let t(i) = -i**2 + 4*i + 2. Let g be 4*1/(3 + -2). Let s be t(g). Suppose 5*a + 2*y = -25, 6*y + 20 = 2*y. Put 4, s, a in descending order.
4, s, a
Suppose 0 = -3*v - 3. Let y be (-12)/(-7) + 4/14. Let f be (1 - 1)/(6/3). Put y, f, v in decreasing order.
y, f, v
Let j = -0.4 + 0.2. Let p be ((-24)/(-9) - 0) + -1. Put p, -1, j in increasing order.
-1, j, p
Let c = 16 - 26. Let p = -10 - c. Let t = 0 - 3. Put -0.5, t, p in decreasing order.
p, -0.5, t
Let s(f) = -f - 10. Suppose 