/(-10))/((-5)/(250/15)). Let s = 53 + m. Let a be ((-18)/(-8))/(3/24). Which is greater: a or s?
a
Suppose 16 = -8*a - 24. Let h be 49/a + -1 - (-3)/(-15). Is h > 4?
False
Let k = -0.43 - -62.43. Let u = -61.89 + k. Let w = u + -0.01. Is -18 less than or equal to w?
True
Let x(t) = -8*t - 73. Suppose 0 = -4*z - 29 - 7. Let a be x(z). Which is greater: a or -2/349?
-2/349
Let u be 368/52 - 7 - 112440/(-130). Which is greater: 864 or u?
u
Let v(c) = c**2 + 10*c + 9. Let b be v(-7). Suppose -4*r = -2*k - 6, 0 = -k - 3*k + 4*r + 4. Suppose k = -2*f - 21. Is b <= f?
False
Let l = 100 + -144. Let h = l + 45. Is 1/30 at most h?
True
Let o(x) = -3*x**2 + 69*x + 3220. Let d be o(-41). Is -4652 bigger than d?
False
Let u(s) = -367*s + 1469. Let v be u(4). Which is smaller: v or 3/2?
v
Let m = -64 - -87. Suppose 3*i - 4*h = -m - 21, -2*i - 5*h - 14 = 0. Let b be (i/2530)/3*5. Which is smaller: 0 or b?
b
Let o = 1211 - 1207.8. Let u = 14.25 + -0.25. Let y = 15 - u. Are y and o unequal?
True
Let v = -164042/3 + 54655. Suppose y - 4*i + 37 = 0, -3*i = -y + 2*i - 40. Which is smaller: v or y?
v
Let d = 25182 - 25181. Let k = 2.22 + -1.9. Is k at least as big as d?
False
Let t = 2132 + -2131. Which is smaller: t or 10/187?
10/187
Let j be -15 - 4/(56/1190). Is j at least -110?
True
Let g = -527 - -536. Suppose 4*m - 39 = -21*b + 24*b, 0 = -m + b + g. Is 13 > m?
True
Let t(n) = 136*n**3 + 12*n**2 - 27*n - 4. Let l be t(2). Is 1076 greater than l?
False
Let o(q) = 46*q**3 - 3*q**2 - 2*q - 2. Let b be o(3). Suppose 3*x - b = -130. Is 359 at most as big as x?
True
Let p = 0.12 - 6.12. Let d = 4 - p. Let w(q) = q**3 + 7*q**2 + 6*q - 1. Let x be w(-6). Which is smaller: x or d?
x
Let j be 15 + (-9 - -119)*-4. Is -425 at least as big as j?
True
Suppose -2*o = 5*d - 106 - 57, -3*o - 2*d = -272. Suppose 90 = -4*b + 5*b - 3*m, -2*m + 374 = 4*b. Is o < b?
False
Suppose 477*p - 513*p = -72. Which is smaller: p or 50/41?
50/41
Let u(f) = 4*f**2 + 134*f - 2131. Let x be u(16). Is x at most 1040?
True
Let k = 19825 - 19761. Suppose -3*r + 193 = 2*o, -4*r + o + 246 = -2*o. Which is greater: r or k?
k
Suppose -3*h - o = 122, -3*h - 4*o = 84 + 44. Let a(y) = 2*y + 81. Let v be a(h). Does v = -2/607?
False
Let f be (132/(-18) - -7)/(42/18)*-7. Is f at least as big as -2/3593?
True
Let c(u) = 19*u**3 + 80*u**2 + 9*u - 29. Let f be c(-4). Is 25/1037 greater than or equal to f?
True
Let r = -973 + 824.1. Let h = r + 149. Is h at least as big as -103?
True
Let o(l) = 2*l**2 - 8*l + 2. Let n(k) = k**3 - 3*k**2 - 2*k + 10. Let d be n(3). Let h be o(d). Let g be ((-126)/(-24) - 5)*(-1 + 7). Does h = g?
False
Let h = 137 - 118. Is h greater than or equal to -7?
True
Let m(j) be the third derivative of j**5/60 - 2*j**4/3 + 21*j**3/2 - 5*j**2 - 6*j. Let x be m(6). Which is smaller: x or 7?
x
Let t(p) = -14*p - 20. Let w be t(-5). Suppose 54*a = w*a - 412. Are -103 and a equal?
True
Suppose -2165 = 88*h - 10085. Which is smaller: h or 74?
74
Let v = 1850 + -2327. Is v at least as big as -476?
False
Let y = 16 + -11. Suppose -y*g - 4*n = -2*g - 199, 3*g - 205 = -n. Is 69 greater than g?
False
Suppose 11*k + 100 - 22 + 373 = 0. Are -43 and k non-equal?
True
Suppose 7*u - 5 = 9. Let m be (-480)/1430 - u/(-13). Let k = 1/10 + -23/30. Are k and m unequal?
True
Let c = 287.999 + 0.001. Let i = -286.53 + c. Let d = i - 0.47. Which is smaller: d or -4/7?
-4/7
Let t(p) = 7*p**2 + 679*p + 89. Let u be t(-97). Is u at least as big as 86?
True
Let q be 871590/40970 - (1 + 20). Which is smaller: q or 0?
0
Suppose -6*q + 4*l - 1926 = 0, -17*q + 3*l = -15*q + 652. Which is greater: q or -321?
q
Let b = 0 + 21. Let a = b - 21. Suppose -5*n + a*n = 5. Which is smaller: 0 or n?
n
Suppose 9691 = 3*j - 16910. Suppose -47 + j = 7*a. Let x be 2/(-7) + a/(-49). Which is smaller: x or -27?
-27
Let y = -735 - -688.3. Let t = y + 48. Let i = t - 1.5. Do i and -2.5 have different values?
True
Let z = 239 + -224. Let s(y) = 4*y**2 - y**3 - 1 + 6*y**2 + 5*y**2. Let u be s(z). Is u less than -2/41?
True
Let p = -4523 - -4618. Is p at least 1?
True
Let b = -269180 - -269196. Let y(v) be the first derivative of v**3/3 - v**2/2 + 4*v - 2. Let c be y(4). Are b and c unequal?
False
Let t = -237 + 119. Let m = t + 117. Let i be ((-2)/(-89))/(1*m/(-1)). Is i smaller than -1?
False
Let w be (-3 + -3 + 4)/2. Let i be w*-1*(-8)/4. Let k = 199 + -201. Is i at most k?
True
Let s = -1.4858 + 1.2858. Which is bigger: 4885 or s?
4885
Let a = -99956/3 - -33319. Let i(d) = 4 + d + 5*d - 5 + d**2. Let l be i(-6). Are a and l nonequal?
True
Let r = 787/2310 - 11/30. Suppose -28*d = 2*d - 210. Let j(m) = -m**2 + 3*m + 27. Let a be j(d). Which is smaller: r or a?
a
Let n = -1703873/35 + 48689. Which is greater: n or 7?
7
Let j = 28 + -30. Let h(p) = -2*p - 5. Let x be h(j). Let c = 5/4 - 4/3. Is x at least c?
False
Let k(g) = 2*g + 5. Let n be k(9). Which is smaller: n or -3/5?
-3/5
Let j(q) = -q**3 - 14*q**2 - 17*q - 53. Let g be j(-13). Which is greater: -1/121 or g?
-1/121
Let t = -7062/23 - -307. Let i be 3*-12*14/(-504). Which is smaller: t or i?
t
Let r = 81 - 77. Suppose 3*w - 3 = 0, 1 = -a - r*w + 37. Which is greater: 30 or a?
a
Let y = 20 + -80. Is y at most as big as -28?
True
Let x(u) = -130*u - 1036. Let i be x(-8). Are i and 2245 equal?
False
Suppose -11068*h = -11065*h - 4890. Which is smaller: 1629 or h?
1629
Suppose 4*r - 6 = 6*r. Let n be r/2*(2 + -4 + -4). Suppose y - n*y = -4*y. Does y = 1?
False
Let c be 47/((-799)/(-34)) - (-390 + 3). Which is smaller: 400 or c?
c
Suppose -4*m - 118 = -5*w, 0 = w - 0*m - 2*m - 26. Let y = -112 - -99. Let n = 38 + y. Which is bigger: n or w?
n
Let b = -8360 - -8248. Let h be -1 - (2 + -5 + 111). Is b at least h?
False
Let x be ((-56)/(-590))/((6/12)/((-1)/2)). Which is bigger: x or -0.1?
x
Let y(a) = 37*a**2 + 227*a + 32. Let i be y(-6). Let j be -1 - 43*5/(-213). Is j less than or equal to i?
True
Let u(o) = o**2 - 16*o - 12. Let g be 1/(2/4*27/135). Let y be u(g). Which is smaller: y or -73?
-73
Suppose 0 = -9*k - 7*k - 3424. Let p = k + 643/3. Is 141/7 greater than or equal to p?
True
Let l(r) = r**3 - 46*r**2 + 43*r + 94. Let s be l(45). Suppose -4*q + 3*n - 4*n = -7, 3*q - s*n + 9 = 0. Which is greater: q or -1/795?
q
Let y(d) = -2*d**3 + 193*d**2 + 284*d + 105. Let c be y(98). Is -3497/4 at least c?
True
Let y = -4516 - -356769/79. Let d = 53/1659 + y. Which is bigger: 1 or d?
1
Let x = 4.696 + -133.696. Are x and 0.2 equal?
False
Let a be ((-17)/24)/((-218)/(-436)). Are 0 and a nonequal?
True
Let r = 1241 - 1508. Which is greater: 0.3 or r?
0.3
Let o be (36/21)/(2/21). Let r be (-6)/6 - 52/3. Let j = o + r. Which is smaller: j or 1?
j
Suppose 38*v = 65*v + 47 + 250. Are 19 and v equal?
False
Let y = 5067/2 + -2533. Is -24/11 equal to y?
False
Suppose 62*w = 28*w - 442. Which is smaller: w or -370/29?
w
Let s be 9/330*-11*70/(-36). Let h(v) = -v**2 - 3*v + 5. Let r be h(-4). Is r equal to s?
False
Let d be ((-9)/(-27)*158370/(-95))/1. Let s = -786 + 230. Let w = s - d. Which is smaller: w or 1?
w
Let u(s) = -9*s - 11. Let c be u(-1). Let k be (4 + -4)/((-1 + c)*-1). Which is greater: 2/305 or k?
2/305
Let r = -1174 - -598. Let p = r - -588. Which is smaller: 6 or p?
6
Suppose -z = -3*z + 46. Let n be 11/((-99)/(-12))*3/2. Let u(q) = 8*q**2 - 6*q + 4. Let m be u(n). Which is smaller: z or m?
z
Let v be -35*(1 + (-48)/15 + 2). Suppose 17 = 3*z - 4*y, 0 = -4*z + 3*y + 2*y + 21. Let r be ((-3)/(-2) + z)*10. Is r at most v?
True
Let n = -0.057 - -56.057. Let s = -56 + n. Is -1.7 at least s?
False
Let l(m) = -3*m**3 - 11*m**2 + 22*m + 13. Let o be l(-8). Which is bigger: o or 671?
671
Let x = -1 + 2. Suppose 6*c - 15 = c. Let b be 228/21 + -8 - c. Which is greater: x or b?
x
Let g = 274.15 + -273. Let f = g + -12.85. Is -0.1 less than or equal to f?
False
Let x = -304 - -304.0124. Let b = x - -382.9876. Is b >= -1/4?
True
Suppose 3*b - k = 8, -753*b - 16 = -754*b + 2*k. Which is greater: 81/568 or b?
81/568
Let c(v) = -15*v**2 - 62*v - 41. Let s be c(-3). Let b = 9 + 1. Is s less than b?
False
Let r = 39348/61 - 645. Suppose 0 = -4*n - n. Let k = n + 1. Which is greater: k or r?
k
Let v(a) = -2*a**2 - 2*a. Let h(n) = -8*n**2 - 34*n + 10. Let y(j) = h(j) - 2*v(j). Let c be y(-7). 