7
Suppose -3*k + 0*k + 15 = 0. Let v = -1446 + 1446. Let u be (4 - 1000/255)/(2/3). Sort v, -5, k, u.
-5, v, u, k
Let u(x) = -x. Let d be u(-4). Let g be (d/(-4)*-1)/(-4). Let z = -252.8 - -247.8. Sort z, -4, g, 3 in ascending order.
z, -4, g, 3
Suppose 0 = -16*w + 3*w - 39. Let z = 380.4 + -382. Sort z, -0.3, 0.4, w.
w, z, -0.3, 0.4
Suppose -4*j = -u + 21, 5*j + 14 = -u + 2*j. Let m(v) = 5*v - 3. Let k be m(u). Put k, 21, -1 in decreasing order.
21, k, -1
Suppose -p = -3*p - b + 33, 0 = p + 5*b - 30. Let q = p - -30. Let f = q - 41. Sort f, 5, -15 in decreasing order.
5, f, -15
Let h = -5569 - -5568. Let b be -4 + (-5)/15*-6. Put h, 3, b in decreasing order.
3, h, b
Let d = -4567 + 4562. Sort 0, d, -75 in decreasing order.
0, d, -75
Let k = -72 + 82. Let h be (-10)/(-6)*(1/(-1) - -16). Suppose -k*m + 5*m = -h. Sort m, -41, 3 in decreasing order.
m, 3, -41
Let r be 9 - 1 - 3485/85. Put r, 1, 4, -4, -3 in decreasing order.
4, 1, -3, -4, r
Let g = 5742 - 5773. Sort -2, -28, g in descending order.
-2, -28, g
Let d(i) = 472*i + 43425. Let v be d(-92). Suppose -f - 242 + 88 = 0. Put v, f, 4 in descending order.
4, v, f
Let k be ((-918)/(-816))/(2/48). Sort 2, 0, -2, k, -4 in ascending order.
-4, -2, 0, 2, k
Suppose 5*m = 1972*c - 1973*c + 20, 0 = -c - 4*m + 17. Put c, -34, 1, -6, -4 in ascending order.
-34, -6, -4, 1, c
Let z = 0.294 + -0.091. Let f = -0.297 - z. Sort 3, f, -0.05 in ascending order.
f, -0.05, 3
Let w be (-18)/6 - (222/(-6) - -2). Suppose 11*m - 8 = 47. Sort 3, w, m.
3, m, w
Suppose -2*p + 5*f + 2 = -11, -5*p + 7 = -4*f. Let x(v) be the first derivative of -v**2/2 + 6*v - 2. Let y be x(8). Sort p, 0, y.
y, p, 0
Let v(c) = -c + 14. Let t be v(6). Let d = 4 - t. Let h = -1161 + 1166. Put -3, d, h, 1 in descending order.
h, 1, -3, d
Let z = -1112 + 1110.4. Put -3.3, 5, z, 0.4 in ascending order.
-3.3, z, 0.4, 5
Let h = -0.02 + 2.02. Suppose 0 = -564*l + 592*l - 112. Sort -3, h, 2/53, l in descending order.
l, h, 2/53, -3
Suppose -274 - 950 = -612*j. Let n be 2/(-2) + -4 - 0. Sort j, -59, 0, n in descending order.
j, 0, n, -59
Let o = 142 - 146. Put 2/17, 548, o in decreasing order.
548, 2/17, o
Let i = 11/3 + -3. Let h(a) = 20*a - 66. Let b be h(3). Let l be (-12)/(-28)*(-4)/b. Sort l, -0.5, i in descending order.
i, l, -0.5
Suppose s = 2*n + 10, -2*s - 7*n + 2 = -2*n. Let p = 684 - 249. Let g = -438 + p. Put g, s, 3 in ascending order.
g, 3, s
Let i = -298 + 288. Sort -2, 1/5, 8, i in descending order.
8, 1/5, -2, i
Let n(o) = -2*o**3 + 11*o**2 + 245*o - 1251. Let m be n(5). Suppose a + 4*u = -0*u - 14, -3*a + 2*u = 0. Sort 1, 3, m, a in decreasing order.
3, 1, m, a
Let w = -0.03707 + 5.03707. Sort -1, 1/7, w, -26 in decreasing order.
w, 1/7, -1, -26
Let v = 6063 + -6062. Sort v, 44, -3 in increasing order.
-3, v, 44
Suppose 1847*m - 168 = 1791*m. Put 0, m, -2, -154, 6 in descending order.
6, m, 0, -2, -154
Let x be (-18*(-2)/4 - 10)*2/25. Put 205, -1/3, x in ascending order.
-1/3, x, 205
Let h = -7890 + 7563. Put 3, 2, 4, h in decreasing order.
4, 3, 2, h
Let d = -884 + 362. Let y = -521.637 - d. Let f = y + -0.063. Sort f, 0.1, -0.2 in descending order.
f, 0.1, -0.2
Let q = 7 + 68. Let d = 75 - q. Suppose v + d = 2. Sort 4, -3, 0, v in increasing order.
-3, 0, v, 4
Let x = 189.2 - 189. Sort -798, -2/13, 0.4, x in increasing order.
-798, -2/13, x, 0.4
Let u = -19 + 10. Let c = u - 31. Let k = 39 + c. Sort k, 2, 1.
k, 1, 2
Let p = -1139/4700 - 9/1175. Put -0.8, 12, -2/5, p, 3 in descending order.
12, 3, p, -2/5, -0.8
Let y = 13 - 43. Let w be ((-10)/y)/(15/9). Put w, 0.06, -2 in descending order.
w, 0.06, -2
Suppose 4*m - 3*m = -3*s + 18, 0 = s - m - 6. Let a be (169/26 - 3)*(-4)/(-7). Put a, -3, s in descending order.
s, a, -3
Let u = 2.84 - -138.16. Let k = u + -142. Put k, 1, 0.03, 0 in descending order.
1, 0.03, 0, k
Let p = -4052 - -4052.2. Put -2, 78, 2, -6, p in descending order.
78, 2, p, -2, -6
Let z = -2.7 + 0.7. Let s = -6.62 + 6.62. Sort -18, z, s, 3/8 in decreasing order.
3/8, s, z, -18
Let g = 11 + -7. Suppose 0 = 7*v - 3*v - 12. Suppose 0 = 4*m + k + 8, -10 + 4 = v*m + 4*k. Put -1, g, m in ascending order.
m, -1, g
Suppose 365 + 91 = 4*p. Suppose -1177 = -243*a + 38. Put a, p, -5 in decreasing order.
p, a, -5
Let n(m) = 33*m + 26 - 13*m - 19*m. Let p be n(-8). Put p, 0.03, 4 in decreasing order.
p, 4, 0.03
Let q be 6/(-8) + 0 + 1215/36. Let y = q - 36. Put -1, 5, y, 1 in descending order.
5, 1, -1, y
Let h = 4629 + -4652. Sort h, -0.05, -0.1, 0.4, -3/5.
h, -3/5, -0.1, -0.05, 0.4
Let d = -157 - -197. Suppose 7*u = 16 + d. Let h(s) = -s**2 - 8*s + 5. Let v be h(-9). Put -1, u, v in increasing order.
v, -1, u
Let r = -12 - -15. Suppose 2*k = -2*l - 2, -13 = r*l + 5*k - 2. Let u be l + -5 + (1 - -1). Sort -3, u, -2, -5.
-5, -3, -2, u
Let x = 48954 - 48954. Let j = 15 + -11. Sort 3, x, j, -17 in decreasing order.
j, 3, x, -17
Let b = 1 + -3. Let f = 6 + b. Let z be 5 - 603/99 - 178/(-143). Sort z, f, 4/9, -6 in ascending order.
-6, z, 4/9, f
Suppose -3*x - 2 = -2*x. Let h be -5*(-2)/4*x. Let f = 5891/39 + -1968/13. Sort f, h, 3/4 in increasing order.
h, f, 3/4
Suppose -j - 5*t = 118, 2*t + 8 = 6*t. Let v = j + 385/3. Sort 2/17, -0.3, v, 3 in descending order.
3, v, 2/17, -0.3
Suppose -2*c + 20 = 2*c, 4*c = -k + 15. Suppose -34*w = -5*w - 1554 + 481. Put k, -1, w, -4 in decreasing order.
w, -1, -4, k
Let h = 2168 - 2170. Put -11, 7, h, 0, -4 in decreasing order.
7, 0, h, -4, -11
Let s = -34 + 42. Let w(h) = -h**2 + 9*h - 11. Let t be w(s). Sort -5, t, -2, 8 in descending order.
8, -2, t, -5
Let b = 5091 + -5091.02. Put -4, b, -0.4, -76 in descending order.
b, -0.4, -4, -76
Let y = 0.1 + -0.1. Let f = -225400 - -225404. Put y, 57, f in increasing order.
y, f, 57
Let s(n) = -3*n**3 - n**2 + 4*n + 3. Let f be s(-2). Suppose -3*q + 9 + f = 0. Suppose -9*b = -11*b - q. Sort -1, b, -2 in increasing order.
b, -2, -1
Let f = -1520 + 1433. Sort -4, f, 2 in increasing order.
f, -4, 2
Let p = -0.13788 + 3.13788. Let y = 27 - 22. Sort -100, p, y, -5 in descending order.
y, p, -5, -100
Suppose x - 16*x = -15. Let n be 114/15*x + (-4)/(-10). Let i(m) = -m - 3. Let k be i(-5). Sort n, -3, k, 4.
-3, k, 4, n
Let w = 2101.055 + -2099. Let t = 20 - 20.055. Let x = t + w. Put 0.3, x, 0.1 in ascending order.
0.1, 0.3, x
Let v = -6 - -2. Let j = 1523/2628 + -133/219. Sort v, 0, j in decreasing order.
0, j, v
Suppose 2*k = -270*v + 271*v + 11, -v + 5 = 2*k. Let r(w) = -w**3 - 5*w**2 + 5*w + 4. Let s be r(-6). Sort v, 2, s.
v, 2, s
Suppose 29 = 3*a - 4*x + 1, -5*x - 32 = -3*a. Suppose v + 3*v - 4*g = -84, a*v = -5*g - 93. Let k = v + 22. Put -0.1, 2/9, -0.4, k in decreasing order.
2/9, k, -0.1, -0.4
Let z be (-1)/((-3)/105) + -18 + 13. Suppose -38 = 17*q + z. Sort q, 1, -11.
-11, q, 1
Let h(t) = -t**3 + 9*t**2 + 5*t - 79. Let v be h(8). Let s be (-2 + 1 + 1)*-1. Put s, 3, -4, v in descending order.
v, 3, s, -4
Let z = 3 - 2.5. Let r = 0.2108 - -0.3892. Put 1, z, r, 0 in ascending order.
0, z, r, 1
Let p = -1587.13 - -1586.5. Sort p, -2, -5, -16 in increasing order.
-16, -5, -2, p
Suppose -4*h - 16 = -0*h. Suppose -84 + 203 = 11*b + 4*u, 4*u - 65 = -5*b. Sort h, b, 3, -1 in descending order.
b, 3, -1, h
Let d be 3*(-8 - -3)/(138/46). Sort d, -2, -11, 2, -43 in descending order.
2, -2, d, -11, -43
Let q = -1.18 - -0.18. Let h = 348 + -347. Sort -0.03, q, h in ascending order.
q, -0.03, h
Let q = 7 + -15. Let t be (-6)/q + (-1 - -1). Let h = 8653/3 + -2887. Put t, h, -4 in increasing order.
-4, h, t
Suppose 3*n - 2*k - 2 = 0, 3*k + 3 = -5*n + 38. Let h be 0*((-7)/(-2))/(-7). Suppose h = n*c - l - l - 2, 4*l = -c - 13. Sort c, -4, -0.5 in increasing order.
-4, c, -0.5
Let c be (-6)/(-15) - (-2)/(-5). Suppose c*g = g - 12. Let q = 0.5445 - 0.0445. Put g, -1/2, q in increasing order.
-1/2, q, g
Suppose 7*h + 10*h = 37*h + 2740. Sort 2, h, 3, -28 in descending order.
3, 2, -28, h
Let h = 6936.8 - 6937. Put h, -6, -0.7, 1/2, 0.1 in increasing order.
-6, -0.7, h, 0.1, 1/2
Let s be (-8)/(-7)*4 + (-75)/(-1925)*11. Sort -43, s, -4, 1, 4.
-43, -4, 1, 4, s
Let s be -1 - 228/(-24) - 10. Sort -17, s, 0.5, -35 in descending order.
0.5, s, -17, -35
Suppose -5*t - 6 = -8*t. Let p be 24/13 + (t + 2 - 6). Let s = -36/11 - -191/55. Sort -10, s, p in descending order