h is smaller: a or 725?
a
Let n be (-80)/(-6)*216/(-96). Let f be (8/n*43)/((-20)/(-30)). Which is smaller: -16 or f?
f
Let w be (-8458)/(-132) - (-210)/252. Which is smaller: w or 64?
64
Let q(d) = d**2 - 14*d - 1. Let t be q(13). Let z be 4/t + (-1092)/(-49). Suppose 2 + z = -3*i. Is -7 greater than i?
True
Let f be (-173)/(-390461)*(-4)/(-98). Which is smaller: -1 or f?
-1
Let u = 3.485 - -0.015. Let q = u + -21.2. Which is greater: 0 or q?
0
Let s = 1 - 0.977. Let i = 3.223 - s. Let m = 0.257 + -0.157. Are m and i equal?
False
Let p = 74 + -34. Suppose 9*g + 3*g = 492. Which is bigger: p or g?
g
Let k = 785.1 + -785. Let w = 0.438 + -69.438. Is w less than k?
True
Let w = 0.2531 + -0.2531. Let r = -121 - -429. Is r less than w?
False
Let s = 1/14730 + -44203/191490. Suppose -4*h + 3*g - 3 = 0, -5*g + 3 = 2*h - 2. Is s less than h?
True
Let u be ((8 - 64) + (-12)/16)/(1/(-4)). Is 227 at least u?
True
Let x(a) = a**3 + 74*a**2 + 65*a + 1201. Let z be x(-72). Is z at least 6889?
True
Let h(t) = -46*t - 46. Let j be h(-50). Which is greater: 2253 or j?
j
Let r = -61 + 64. Suppose -2*m + a = 20, -r*m = -4*m - 2*a. Let l(k) = k**2 - 4*k - 6. Let y be l(4). Is y greater than or equal to m?
True
Let z be 96/72*3/(-4). Is z less than 11/1154?
True
Let g be -6 + (-242)/(-33) + 14/(-6). Is 9139 >= g?
True
Let q = -17466 + 17456. Which is smaller: q or -381/35?
-381/35
Let h be (-15)/17 - -4 - 8/68. Suppose 2*s - 3*o = -9, 4*s - h*o = -s - 9. Is -1 at most s?
True
Suppose 18*y + 98*y - 148293 = -53753. Which is bigger: y or 812?
y
Let l be -5 - (-1967)/(-14) - (-2)/4. Let t be ((-22)/55)/(1/365). Is l at least as big as t?
True
Let b(f) = -f**3 + 13*f**2 + 44*f - 211. Let l be b(15). Which is bigger: -173/70 or l?
l
Let v = 0.28981 - 9.28981. Is -163 equal to v?
False
Let y be 16/(-4 - 0) - 3*-4. Let b = 15 - 6. Let z = b - y. Is 3/4 at most z?
True
Let g = -175.966 + -0.034. Let p = -175.64 - g. Is p <= -3?
False
Let v = -6130025/348 - -17615. Is -1 < v?
True
Suppose -6*n = -n - 3*k + 3, 0 = n - 3*k + 3. Let o = -6/125 - -2758/5375. Let p = -201/215 - o. Which is smaller: n or p?
p
Let f be 486/868 + (-16)/7 + 2. Let c = f + -5497/20274. Do c and 0 have different values?
True
Suppose 328*f + 1200 = 262*f - 846. Which is smaller: -1094/35 or f?
-1094/35
Suppose 0 = -2*u + 4 - 46. Let x(a) = -2*a**3 + 24*a**2 - 21*a - 29. Let f be x(11). Is u greater than or equal to f?
False
Suppose 0*a + 7*a + 7 = 0. Let d = 3 + a. Let y(u) = 3*u**3 - 3*u**2 + 3*u - 5. Let q be y(d). Is q not equal to 13?
False
Suppose 5*y + 2*d + 16 = 0, y + d = -0*d - 5. Let u be (y/(-3))/(141/9). Let i be -1 + (-4)/(-2) + -1. Is i at most as big as u?
True
Suppose -1247 + 2717 = -15*o. Is o smaller than -2805/29?
True
Let f = 2888 - 2888.3538. Is f < 0.1?
True
Let w = -454 - -455. Suppose u - 27 + 23 = 0. Let d be 196/126*2/u. Which is smaller: w or d?
d
Let g = -100 - -100.18. Let k = g + 0.194. Which is smaller: -2/5 or k?
-2/5
Suppose -30*l - 137 = -17. Let v be (6/4)/((-60)/116). Which is bigger: v or l?
v
Let s = 26681 + -26680.993. Is -158 bigger than s?
False
Let a = 16270/11 - 146408/99. Let z = 188/5 - 2474/65. Which is greater: a or z?
a
Let b(y) = 21*y - 318. Let j be b(17). Suppose -3*m + 129 = 4*i, 2*m - i - 86 = -0*i. Suppose 0 = -5*o + m + 147. Is o at most as big as j?
True
Let i be 1/6*2 - 190/228. Which is bigger: 278 or i?
278
Let m(v) = -33*v**3 + 3*v**2 - 24*v + 123. Let p be m(8). Which is bigger: p or 0.1?
0.1
Let o be 56/252 + (133/(-116))/(18/(-16)). Which is greater: o or 1?
o
Let o = 291.7 - 325.7. Let p = -0.05 - 0.95. Which is bigger: o or p?
p
Let p be (-6168)/(-7) - (1584/168)/(-11). Is 878 smaller than p?
True
Let a(l) = 71*l + 173. Let j be a(-3). Which is bigger: -77/2 or j?
-77/2
Let z = -2880 + 2964. Is 85 greater than z?
True
Suppose -18 = 8*j - 2. Let a(m) = -m - 20. Let t be a(-24). Let f be 1/j*t/(-10). Which is bigger: f or 0?
f
Let b = -206 - -282. Suppose -b = -t - 88. Is t != -15?
True
Let d = 234/107 + -225549/535. Let o = d + 425. Is o <= 7?
True
Let f(x) be the third derivative of x**5/15 - 25*x**4/24 + 4*x**3/3 - 52*x**2 - 1. Let j be f(6). Is j <= 5?
True
Let d = 354 - 114. Let x be 1220/8*6/d*-4. Which is bigger: x or -16?
x
Let m(o) = -3*o**3 + 49*o**2 + 91*o - 132. Let z(v) = -v**3 + 17*v**2 + 31*v - 44. Let i(x) = -6*m(x) + 17*z(x). Let j be i(9). Which is smaller: 199 or j?
j
Let y(w) = w + 9. Let s be y(-5). Suppose 0 = 4*z + s - 28. Let p = 599/2 + -294. Is z at least as big as p?
True
Let x(v) = -v**3 - 77*v**2 + 242*v + 178. Let j be x(-80). Which is smaller: 447/23 or j?
j
Let l = 42.09 - -0.91. Let j = l + -43.25. Let i = -0.35 - j. Is -2/123 >= i?
True
Suppose -5*b + 0*o + 45 = -2*o, 32 = b - 5*o. Let u be 1 - b/((-7)/(-20)). Suppose 3*y - 8*y - 105 = 0. Does u = y?
False
Let r = 18125 - 90628/5. Let i = -23288/1587 + 4/529. Let h = 226/15 + i. Is h at least r?
True
Let c = -6.549 - -155.489. Let g = -149 + c. Let i = 0.4 + -0.3. Is i less than g?
False
Let s = -2122.2 - 3550.8. Is 1 less than or equal to s?
False
Let w = -28 + 34. Let o = 463/1085 - -2/1085. Which is smaller: o or w?
o
Suppose q - y = -21, -2*y + 16 = -3*q - 46. Let d be 52 + 4*35/q. Which is smaller: d or 47?
d
Let k be 5451/15 + (72/(-20))/9. Let d = k - 365. Let y = 27/25 + -447/275. Which is smaller: d or y?
d
Let t(y) = -y**3 - 14*y**2 - 10*y - 134. Let g be t(-14). Which is bigger: 96/19 or g?
g
Let l be 2/9 - (0 - 34/(-45)). Let g = 59/30 - l. Suppose 6*o = 2*o + 16. Is o less than g?
False
Suppose 944 = -r - 4*m - m, 5*r = -4*m - 4678. Let o = r - -5623/6. Let h = -4 + 7. Does o = h?
False
Suppose 2*l - 9*g + 4*g = 19, -5*l + g = -36. Suppose l*h = -29*h + 9*h. Do h and -6/49 have the same value?
False
Let m = -6 + 6. Let r = -115 + 115.3. Let h = m + r. Which is smaller: 2/5 or h?
h
Let j = 225899/305 - 3704/5. Suppose 60 = 696*u - 636*u. Is u <= j?
False
Suppose -1845 = 6*f + 9*f. Let j = 137 + f. Suppose 0 = -j*w + 6 - 6. Is -1/51 less than w?
True
Let u be (3 - (1 - -4))*-2. Suppose 0 = -w + 2*g - 22, 4*w + 8*g + 88 = u*g. Is w at least -23?
True
Suppose -5 + 107 = -6*z. Let v be (z - -18)*(-1 - -2). Which is smaller: v or -11?
-11
Suppose 1475 - 419 = 8*c. Let f be ((-64)/(-6))/(88/c). Is f at least 14?
True
Let a be -4*(0 - 10/5). Suppose -5*d = -a*d. Which is smaller: -4/31 or d?
-4/31
Suppose -5*u - 4 = -r, -7*r + 20 = 5*u - 2*r. Is u at least as big as 3/2083?
False
Let f be ((-8329)/5)/(442/65). Let y = -245 - f. Let k = y + -13/714. Which is smaller: k or 1?
k
Let y = -277 - -276. Is -10/361 greater than y?
True
Let a = 8579 + -8399. Is 3068/17 > a?
True
Let g(w) = w**3 + 17*w**2 + 8*w + 48. Let o be g(-11). Let s = -561 + o. Is s smaller than 123?
False
Let q(z) = -3*z - 14. Let l be q(8). Let i(s) = -2*s - 14. Suppose 5*b = 3*b + r + 25, -4*b = 2*r - 46. Let j be i(b). Is j >= l?
True
Let l = -70 - -76. Let u be (3 - 19/l)/((-726)/12). Which is bigger: u or 1?
1
Let h = 70 + -143/2. Let c = -1/7094 - 42551/92222. Is h <= c?
True
Let g = 2363 - 2412. Which is bigger: g or -80?
g
Let l = -9668 - -9682. Is l at most as big as -2?
False
Suppose -39*r - 462543 = 42*r + 831999. Which is bigger: r or -15983?
r
Let b be 46048/42*(-473)/(-1815460) - 4/14. Is -1 equal to b?
False
Let l = -14.626 + 41.906. Which is smaller: 0.1 or l?
0.1
Let b be (-3240 + -1 + 0)*(126 - 131). Let a be (-2)/5 + (0 - (-6412)/b). Is a greater than or equal to 1?
False
Let d be ((-1184)/(-64))/(1/2). Suppose 2*k = -5*z + 198, -184 = -4*z + 4*k - 48. Are z and d nonequal?
True
Let u(m) = 2*m**3 + 24*m**2 - 2*m - 19. Let y be u(-12). Suppose 5*g - 8*g - 24 = -3*w, 5*w + y*g = 50. Is w >= 2?
True
Let l = -22 - -26. Suppose -3*w - w - 101 = -k, 2*w - l*k = -68. Let m = -47/2 - w. Is m < 0?
False
Let a = 14 - 27/2. Let k = 320.8 - -79.2. Let z = -405 + k. Which is smaller: z or a?
z
Let i(q) = 12*q**3 - q**2 - 27*q + 11. Let c(k) = 5*k**3 - 14*k + 5. Let b(y) = -5*c(y) + 2*i(y). Let h be b(-5). Is h greater than 30?
False
Let f = 820 - 830. Let g = -6 + 227/38. Which is smaller: f or g?
f
Let r be (1 - 3)/(7/(187215/30)). Which is bigger: 0.2 or r?
0.2
Let p(c) = 149*c + 147. Let m be p(-1). Let w = -37/120 - -7/40. Which is smaller: m or w?
m
Let d(y) = 2*y + 3. 