 Let f be 15308/u + 1 + 7/(-2). Which is smaller: f or 1?
f
Let r = -153449 + 1397766943/9109. Which is greater: r or 1?
1
Let r(v) = -v**2 - 2*v + 52. Let s be r(8). Let y be (-86)/330 - (s/(-10) - 3). Is 1 less than or equal to y?
False
Let l be (15/(-490))/3*(-8)/166. Let z = l - -2729/2720823. Which is smaller: -1 or z?
-1
Suppose -4*v = z, -2*v = z - 5*z. Are 2/2723 and z equal?
False
Let b be 2 - 108/57 - 1344/1216. Suppose -149 + 2489 = 5*v. Is b smaller than v?
True
Suppose 3764 = -69*o - 12195 - 8467. Which is bigger: o or -1421/4?
o
Let s = -342150 + 342158. Let z = -0.55 + 0.7. Which is smaller: s or z?
z
Let z = -1062 + 636. Let s be 1/((-12)/(-34)) - 71/z. Is s greater than or equal to 4?
False
Let w(j) = 3*j**3 + 4*j**2 + 55*j + 83. Let m be w(14). Is 9869 greater than m?
False
Suppose 3*i = -3*x - 6, -4*i + 0 + 1 = -5*x. Let f be 3*((-4)/32 - (-244)/1440). Are x and f non-equal?
True
Let v(h) = -h**2 - 10*h + 5. Let n be v(-9). Suppose n - 53 = -3*i. Let u(t) = -543*t - 1073. Let y be u(-2). Is i <= y?
True
Let t be 39618/(-24)*-32*1/(-12). Is t greater than -4404?
True
Let r = -704 - -704.109. Let h = r - 0.209. Let l = -7.7 + -56.3. Which is smaller: l or h?
l
Let h be 1/(-1)*2/(-2). Let j be (-4 + (-114)/(-21))*(-280)/(-16). Let u be (-1)/84*(-375)/j. Is h >= u?
True
Suppose -26*n = 5*s - 28*n - 27623, s - 5*n = 5497. Which is bigger: 5528 or s?
5528
Suppose 0 = -5*v - 5*s - 9165, 0 = -3*v - 65*s + 67*s - 5514. Which is smaller: v or -1834?
v
Let h(r) = r**2 + 11*r - 8. Let x be h(-11). Let w(a) = -5*a - 34. Let u be w(x). Is 3 < u?
True
Suppose -2*n - 104 = 3*x, 198 - 43 = -3*n - 5*x. Which is bigger: -71 or n?
n
Let w = -24690.21 - -24540. Let f = w - 4.79. Which is smaller: -0.1 or f?
f
Let d be -12 + 13 + (1 - 0). Let t be 7/2 + d*3/(-12). Let u be (4 - t) + 0*2/(-6). Which is bigger: 2/93 or u?
u
Suppose 0 = -3*o - 4*f + 1272, -2*f = -3*o + f + 1251. Suppose o = 4*m + 152. Let c be (-14)/35 + (0 - m/(-5)). Which is smaller: c or 12?
12
Let a = 6 + -1. Suppose -5*h - 16 = 4*k, -2*k - k - 12 = a*h. Suppose 4*x - n - 15 = h, 25 = -x + 4*x + 2*n. Is 15/4 bigger than x?
False
Suppose 2*y - 6 = 0, -l - 19*y + 689 = -15*y. Let s = -677 + l. Do s and -2/139 have the same value?
False
Suppose 5*a = -2*t - 455, -182 = 2*a - 0*t - t. Let c be (924/a - 2/(-13))*-1. Suppose 0 = 4*j - c + 2. Is 3 <= j?
False
Let k(c) = 17*c**2 + 4*c + 7. Let i be k(6). Is 643 greater than i?
False
Let n be ((2 - 0) + -1)*(30 - 29) + -1. Which is smaller: -11/226 or n?
-11/226
Let l = -89.09 + 86.18. Which is smaller: l or 0.06?
l
Suppose -16*x = -13*x - 9. Is x less than 23/6?
True
Suppose 0 = -5*u + 2*g - 16, -77*u - 13 = -78*u - 5*g. Which is smaller: -174/55 or u?
-174/55
Let l be 2 + (-2 + 0)*135/(-6). Let x = 79 - l. Suppose 0 = -c - 3*c - 4*p - x, 0 = 2*p + 10. Which is smaller: c or -2/15?
c
Suppose -14*w + 280 = -7*w. Let c = -46 - -49. Suppose 0 = -o - 3*o + u + 44, u - w = -c*o. Is 12 greater than o?
False
Suppose 107 + 335 = 26*o. Suppose 4*t = w - 29, o = 3*w + 35*t - 33*t. Is 8 equal to w?
False
Let o = -5404722/23 + 234642. Let y = o + 346. Which is smaller: y or 0?
0
Suppose 50548 = 222*q + 2618422. Does q = -11565?
False
Let f be (-2375 - -30)*((-18)/5)/2. Which is greater: -1 or f?
f
Let h(o) = o**3 + 15 - 6*o - 3*o - 233*o**2 + 226*o**2. Let q be h(8). Which is bigger: 8 or q?
8
Suppose -3*u - 5*w - 413 + 7 = 0, 3*u = -2*w - 400. Is u greater than or equal to -119?
False
Let o(y) = y**2 - 12*y - 299. Let s be o(-13). Which is bigger: 417/16 or s?
417/16
Let c(m) = 3*m + 2. Let v be c(3). Let a(g) = -6*g**2 - 3*g - 22. Let f(u) = -5*u**2 - 4*u - 19. Let s(x) = 6*a(x) - 7*f(x). Let p be s(v). Is -10 at most p?
True
Let l = 5477 + -5650. Let y = 242 - 415. Is l bigger than y?
False
Suppose 9*q - 27 - 18 = 0. Suppose 0 = q*s + 25, -r + 8*s + 7 = 7*s. Which is smaller: r or -82?
-82
Let l = 543334/27 + -20120. Which is bigger: l or -1?
l
Let r = 22.37 - 22.362. Let q = -717 - -731.008. Let w = q - r. Is -1 bigger than w?
False
Suppose 29 = 4*t - 211. Suppose 9*i - t = 6*i. Let r = 5 + -6. Which is bigger: i or r?
i
Let q = 0.76 + -0.891. Let k = q - -0.231. Which is smaller: -0.077 or k?
-0.077
Let x = -548.9 + 350.9. Does -0.09 = x?
False
Suppose -9*b = -6*b - 171. Let a(v) = -12*v - 2. Let z be a(-5). Which is smaller: b or z?
b
Let k = -21511 - -21510.936. Do k and 4/53 have the same value?
False
Let t = -48 - -124. Suppose 4*c = -2*f - 100, -t = 4*f - 4*c + 148. Let d be (0 - 0) + 6/(f/(-15)). Which is bigger: 3 or d?
3
Let i = 13753/5 - 2772. Suppose 3974 + 3132 = -323*z. Is z at least as big as i?
False
Let k(y) = -y**3 + 10*y**2 - 32*y + 22. Let i be k(15). Is -1584 greater than i?
False
Let c(i) = 3*i + 27. Let g be c(-12). Suppose 16 + 80 = 3*p. Let f = -43 + p. Is f bigger than g?
False
Let g be (-2)/(-18)*-1*8. Let p be (-34)/(((-8)/(-27))/4). Let i = p - -459. Is g not equal to i?
True
Let d(o) = o**3 - 10*o**2 + o - 10. Let v be (30/9)/((-3)/(-9)). Let m be d(v). Let w = -793 + 24589/31. Are w and m equal?
False
Suppose 4*m + 12 = 4*y, 0 = -4*y - 3*m - 9 - 0. Suppose -2 = 2*b, t - 2*t + 3*b + 4 = y. Is 38 greater than t?
True
Let k be (8/(-30))/((-8)/(-228)). Suppose -12 = -j + 3*t, 2*j + 3*t + 84 = 45. Which is bigger: j or k?
k
Suppose -141*v - 152 + 11 = 0. Let l = 2567/29583 + -14/173. Do l and v have the same value?
False
Suppose -2*k - 24*k + 174109 = -19227. Is k at least as big as 7437?
False
Suppose -120*r = -151*r - 2728. Do -81 and r have the same value?
False
Let r be 79305/26418 - (0/1 + 3). Let x = -985/26418 - r. Suppose -2*y + 6*y = -4. Which is smaller: x or y?
y
Let d(c) = c**3 - 31*c**2 - 55*c + 455. Let h be d(29). Are -2822 and h unequal?
False
Let r be ((-1)/3)/((-1)/3). Let a = 397 - 745. Let u be 5/(80/a) - r/4. Is u >= -20?
False
Suppose -5*m = 0, -4*p - 2*m - 9 = -49. Is 185/19 at least p?
False
Let p = 219 - 219. Let k be (p*2/(-10))/1. Let s = -28/45 - -8/9. Is s <= k?
False
Let o = -0.247 - -392.247. Let i = o - 392.065. Is 1 < i?
False
Suppose 892614 = -255*g + 441*g. Is g greater than 0.1?
True
Suppose 10*p = 82 - 22. Which is smaller: p or 78/11?
p
Let g = -45.811 - -45.83. Is g smaller than 6?
True
Suppose 2*d - 5*g = 5180, 0*d - 3*g - 5188 = -2*d. Let p be (-4)/26 - 224/d. Let q = -0.02 - -1.02. Which is smaller: p or q?
p
Let j = -5527 + 5533. Is 398 < j?
False
Let a = 25774403/119418 - 3/19903. Is 217 greater than a?
True
Let f be 2160/3355 + (-108)/(-44) + -3. Is 2 at least as big as f?
True
Let w = 11795 + -11797. Is -6862 <= w?
True
Let c(k) = 26*k + 12. Let n be c(-1). Let d(o) = o**3 + 6*o**2 - 15*o - 6. Let h be d(-8). Is n bigger than h?
False
Let d = 1 - 0. Let m = d + -1. Let i = -21277/3 + 7092. Which is smaller: i or m?
i
Let v be ((54/4)/(-3) + 106 + -112)*-794. Which is smaller: v or 8338?
v
Let m(j) = 9*j + 22. Let c be m(0). Let a(k) = 3*k**3 - 80*k**2 + 52*k + 24. Let q be a(26). Which is greater: q or c?
q
Suppose -5*l - 3*h = 23, 7 = -5*l + 2*l + 5*h. Let s be (-6)/33 - l/22. Let i be (s + 2)/(-2 + 6/4). Which is bigger: i or -11?
i
Let d be (2 - (-5 + -3 + 11))/1. Which is smaller: 9/97 or d?
d
Let z(m) = m**2 + 22*m - 46. Let q be z(-24). Let a be 3*(1 + q)/(-9). Let k be ((-48)/(-10)*a)/(11/165). Are -71 and k non-equal?
True
Let k be (9 - 56/8)/(5/(-34)). Which is smaller: k or 3?
k
Suppose -4*q + 415 = -5*d, 120 = 3*q - 2*d - 186. Is q at most 135?
True
Suppose d + 12 = 4*g, 0 = -4*d + 3*g + 12 + 5. Suppose -8*i = -3*i - 10. Let y be (-4 + 21 + 1)/i. Which is smaller: y or d?
d
Let c(r) = -6*r + 4 - r**2 - 4. Let b be 72 + -79 - 1/(-2 - -1). Let q be c(b). Is -1/37 <= q?
True
Let z = 5802 + -5811. Is -19 smaller than z?
True
Suppose 3740*x + 5920 = 3703*x. Is x greater than -160?
False
Let y be 1*(-3 - 95) - 3/1. Let k = 61 + y. Let g = 28 + k. Are g and -14 non-equal?
True
Suppose -245 = -7*k - 7. Suppose 0*q + 3*v + 28 = q, -2*q - 5*v + k = 0. Let w = q - 22. Are w and -6/5 non-equal?
True
Let r(y) = 32*y - 293. Let m be r(11). Let w = m + -120. Is w > -63?
True
Suppose 2*d - 8 + 32 = 2*b, d = 4*b - 24. Let p(n) = -n**3 + 4*n**2 - 3. Let z be p(4). Let c(s) = -s**3 - 3*s**2 + 3*s + 3. Let k be c(z). Is d > k?
False
Let p be (-2)/6*(-18)/(-8) + 624/64. Which is 