 -13
Let h = 34 - 30. Suppose h*y - 3*m + 3 = 0, -5*y + 2 = -0*y + 2*m. Put 2, y, 5 in decreasing order.
5, 2, y
Suppose -16 = 4*d - 4*k, -2*d + 5*k + 0*k - 8 = 0. Let r be (-2)/(-4) - 2/d. Suppose 4*n - 20 = 0, 5*b - 200 = 3*n - 190. Sort r, b, 4.
r, 4, b
Let j be (0 - 1 - 1)*-1. Suppose -2*l - 12 = -f - 2*f, -5*l + f = 17. Let t = -36 - -34. Sort j, t, l in increasing order.
l, t, j
Suppose 0 = 2*x - 7*x + 2*p - 52, 3*p = 3*x + 24. Let q = 38 + x. Let j = q + -27. Sort j, 3, 4 in decreasing order.
4, 3, j
Let v be 1/(2/(6/1)). Let x be (-3 - 26/(-10))*-5. Let z(g) = -3*g + 28. Let w be z(7). Sort v, w, x in descending order.
w, v, x
Let b = 1.8 - 2. Let u = 11 - -2. Suppose -2*m - m - 5*f + u = 0, -6 = -4*m - f. Sort -2, m, b.
-2, b, m
Let l = -1073 + 1011. Sort l, 4, 2/7 in decreasing order.
4, 2/7, l
Let t(z) be the second derivative of z**5/20 + 5*z**4/6 - 7*z**3/2 + 13*z**2/2 - 12*z. Let i be t(-12). Let r = i - -23. Put r, 5, -14 in descending order.
5, r, -14
Let y = 0 - 2. Let d = 553 - 551. Put 3, y, 0, d in ascending order.
y, 0, d, 3
Suppose 0 = -0*p + 4*p. Suppose -28 = -5*z + 62. Let d be (-52)/z - (-17)/(-153). Sort d, p, 5 in increasing order.
d, p, 5
Let y be (-5 - 0) + 88 + -77. Let i(g) = g**3 - 5*g**2 - 5*g - 2. Let h be i(6). Sort y, -1, h.
-1, h, y
Let o = 34 + -24. Suppose -o = -b + 26. Let r = 38 - b. Put r, -2, 5 in ascending order.
-2, r, 5
Let q = -230 - -128. Let d = -101.4 - q. Suppose 0 = 5*o - 4 - 1. Put 3, d, o in decreasing order.
3, o, d
Let n = 268 + -275. Put -3, 30, n in decreasing order.
30, -3, n
Let w be (-12)/(-42) - (-582)/(-567). Let g be -2 - -1 - (-13)/27. Let q = g - w. Sort q, 10, -1/2 in decreasing order.
10, q, -1/2
Let m = 624/5 + -626/5. Sort m, 0, 12 in decreasing order.
12, 0, m
Suppose 0 = -12*y - 30*y + 210. Sort -1, -5, -16, y in increasing order.
-16, -5, -1, y
Let f = -148 + 148.5. Let s be 10/4*6/5. Sort 2, -4, f, s in ascending order.
-4, f, 2, s
Let r be 9 - 4 - (2 - 2). Suppose 12 = -4*s - r*n, 10 = -5*s - n - 26. Let y = 2 - 3. Sort 0.1, s, y in descending order.
0.1, y, s
Let d(i) = -i**3 - 3 + 10*i**2 + i - 1 - 7*i**2. Let y be d(3). Let f be (-2)/((-3)/(6/y)). Put 6, f, -5 in descending order.
6, f, -5
Suppose -3*l + 2*g - 6 = 0, -4*l + 240*g - 245*g = 31. Let o be (-2)/(-3) + (-20)/(-6). Sort o, l, -3, -5 in descending order.
o, -3, l, -5
Let u = 54/11 - 292/55. Sort u, 2, 0.1, -3 in increasing order.
-3, u, 0.1, 2
Let a(d) = -d - 6. Let k = 13 + -17. Let z be a(k). Sort 6, 4, z in descending order.
6, 4, z
Let a = -1246 + 1242. Sort -11, 12, -2, a in decreasing order.
12, -2, a, -11
Suppose -5*n = 3*t - 5 - 16, n = t + 1. Put t, -5, 9, -4 in descending order.
9, t, -4, -5
Let w = 11 - 12. Let g = w - -1. Sort -3, 5, g in descending order.
5, g, -3
Let w = 1387 - 1390. Sort 0, -5, w, 1.
-5, w, 0, 1
Let q be (-1 + 2 - -8)/((-27)/(-72)). Let u be (15/6)/(30/q). Sort -13, 3, 5, u.
-13, u, 3, 5
Let i(b) = 7*b**2 - 128*b + 44. Let c be i(18). Put c, 69, -1 in descending order.
69, c, -1
Let j = -20 + 16. Put -5, -3, j in descending order.
-3, j, -5
Let j(s) = 2*s**2 - s - 3*s**2 + 0*s + 2. Let w be j(0). Suppose 4*f - 4*r + 10 - 2 = 0, -3*r = -2*f. Sort w, 1, f in decreasing order.
w, 1, f
Let m = 0.528 - -0.062. Let p = m - 0.19. Sort p, 3/2, 0.3, -5 in increasing order.
-5, 0.3, p, 3/2
Let h = -2.3 - 1.7. Let s = -10 + 9.6. Sort 3, h, s in decreasing order.
3, s, h
Let i(k) = -k - 1. Let w be 8 + (0 + -6)/3. Let q be i(w). Let u be (6 + -9)*(4/6 + -2). Put 0, q, u in decreasing order.
u, 0, q
Let p = 238 - 238.3. Sort p, 1, -4, -0.5 in ascending order.
-4, -0.5, p, 1
Let j be (-16)/(-24) + (-4)/6. Let a be ((-18)/24)/(1/4). Put a, j, 5 in decreasing order.
5, j, a
Let l = 262.61 - -0.39. Put 0.4, 1/3, l, -3 in descending order.
l, 0.4, 1/3, -3
Let c(r) = -r**2. Let z be c(2). Let v = 1 + -2. Suppose 5*i = 0, 10*u - 3*i - 5 = 5*u. Put z, v, u in ascending order.
z, v, u
Suppose -11*u = 21*u + 32. Put 5, -31, u, 2 in increasing order.
-31, u, 2, 5
Let l = -0.6487 + 0.0487. Let c = 2 + -1.9. Let j = c + l. Sort 1/6, -1/8, j in increasing order.
j, -1/8, 1/6
Suppose -2*t = 4*g - 18, -4*t = -3*g + 7 - 21. Put 291, t, 4, -5 in descending order.
291, t, 4, -5
Let n = -2062 - -2060. Put n, 3, -3/2, -77 in decreasing order.
3, -3/2, n, -77
Let d = -269.01 + 269. Sort 4/9, d, 0.5 in ascending order.
d, 4/9, 0.5
Let y(g) = 2*g**3 - 24*g**2 + 2*g - 4. Let b be y(12). Put -2, -3, b in decreasing order.
b, -2, -3
Let t = 0.335 + -0.105. Let v = 6.23 - t. Let n = -15/4 + 49/12. Sort n, v, 1.
n, 1, v
Let f be (-5)/2 + (-5)/(-160)*72. Put 2, f, -0.2, 6/35 in increasing order.
f, -0.2, 6/35, 2
Let s = 19 + -16. Let m be 0/(-5) + -1 + s. Let y be (18/27)/((-4)/6). Sort m, 1, y in decreasing order.
m, 1, y
Let a = 4.194 + -1.194. Let v = 0.6 - -1.4. Let z = 2.5 - v. Put a, z, -4 in increasing order.
-4, z, a
Let f be 28/70 - (1 - (-286)/(-10)). Put -5, 2, 1, f in decreasing order.
f, 2, 1, -5
Suppose 2*h - 6*h = -3*h. Let v be (-3 - -3) + -2 - 0. Put 0.3, h, v in ascending order.
v, h, 0.3
Let g = -801 + 798. Sort g, 0.13, -2/9.
g, -2/9, 0.13
Let o be 4/(-10) + 3/((-45)/(-6)). Let u = -2.93 + 3. Sort o, -4/7, u.
-4/7, o, u
Let h = 0.063 + -0.133. Put -3/5, 0, h in decreasing order.
0, h, -3/5
Suppose f - 3 = n, 3*f + 15 = 4*f - 5*n. Suppose -2*i + i - y - 2 = 0, -5*i + 3*y + 30 = 0. Suppose 0*s + s - 2 = 0. Sort s, i, f in descending order.
i, s, f
Let a be 1569/(-9) + 0 + 8/(-12). Sort -2, -3, a in descending order.
-2, -3, a
Let l = 248317/702 - 314/351. Let q = l - 353. Let m = 8/49 - 87/833. Sort m, -4, q in descending order.
m, q, -4
Let z = 1 - 2. Let f be 3*(z - 15/(-9)). Sort 0.6, f, -1 in descending order.
f, 0.6, -1
Suppose 0 = y + 2 + 3. Suppose 3*r - 14 = -5. Suppose 6*o - 2*o = 4. Put o, y, r in descending order.
r, o, y
Let m = 28 + -19. Let a be (-32)/(-14) - 6/21. Sort m, a, 3 in ascending order.
a, 3, m
Suppose -2*c - c = 0. Suppose 5*y = 2*q - 23, c = -y - 0*q + 3*q - 15. Sort 5, y, 0 in descending order.
5, 0, y
Let p = -0.22 - -0.42. Let b = 109 - 761/7. Sort -2, b, -1/2, p in decreasing order.
b, p, -1/2, -2
Let j(q) = q - 7. Let o be j(3). Let l = o - -5. Let n = 0.53 - 0.03. Put n, 0.1, l in decreasing order.
l, n, 0.1
Let n(s) = s**2 - 5*s + 1. Let r be n(4). Sort 2, r, 5 in descending order.
5, 2, r
Suppose -3*z - 3*f + 5 = -7, -2*f = z - 6. Suppose -4 = -4*g, 5*g = -3*p + g + 43. Sort z, p, 4 in decreasing order.
p, 4, z
Let c = 17 + -12. Let t = 0.064 - 0.264. Sort 4/7, c, t in increasing order.
t, 4/7, c
Let w = 68 + -131. Let y = w - -59.9. Let s = y - -2.7. Sort -2, s, 3 in decreasing order.
3, s, -2
Let k = 444 - 443.9. Sort 0.13, k, 2/9 in descending order.
2/9, 0.13, k
Let b = 1171 - 12891/11. Let x = -440303/55 + 8005. Let o = b - x. Sort o, -4, -7.
-7, -4, o
Let w(f) = 5*f**2 + f. Let c be w(-1). Let d = -263 + 263.1. Sort d, 5, c in increasing order.
d, c, 5
Let q = 14 + -14. Suppose q = 5*y + 6 - 41. Suppose y*v - v = -30. Sort 5, v, 4 in decreasing order.
5, 4, v
Suppose 0 = -12*j - 57 - 159. Suppose 0*d + d + 3 = 0. Sort j, -1, d in increasing order.
j, d, -1
Let d = -792 + 787. Put 0, -12, d, 1 in decreasing order.
1, 0, d, -12
Let m = -0.029 + -25.971. Let f = m + 25. Sort -2/15, 44, 0.5, f in descending order.
44, 0.5, -2/15, f
Suppose -22*d + 24*d = 4*o - 8, -o = -d - 3. Put 11, 1, d in descending order.
11, 1, d
Let g(v) be the second derivative of v**4/12 - v**3/6 - 2*v**2 - 2*v. Let w be g(0). Let n be 5/(-40) - 330/48. Put n, 2, w in increasing order.
n, w, 2
Suppose -y + 10 = z, 3*y = -2*y - z + 46. Let w be (-1 + 2 - (y - 7))*0. Suppose -4*t - 20 = t. Sort 3, t, w in increasing order.
t, w, 3
Let k = 64.5 - 65. Let g be 1 - 0 - -1 - 6. Sort 2/5, g, k, -2 in decreasing order.
2/5, k, -2, g
Let f = -1.14 + -1.86. Let s = 2 + -2.08. Sort f, s, 0.2 in increasing order.
f, s, 0.2
Let a be -3 + (-27)/20*-2. Sort 0.2, a, 10, -0.2.
a, -0.2, 0.2, 10
Let d = -958.2 + 958. Sort 2/5, d, -1/6.
d, -1/6, 2/5
Let l = 60.041 - 0.041. Let a = 64 - l. Sort a, -5, -15/4 in increasing order.
-5, -15/4, a
Suppose -5*o + 16 = -h - 13, 3*h = -12. Put 15, -3, o in increasing order.
-3, o, 15
Let k be (50/(-20))/(7 + 244/(-32)). Let g = -11 + 3. Let c = -1 + 1. Sort c, k, 