Let b be (-3)/(-15) + 225466/46970 + -64 + 59. Which is greater: -1 or b?
b
Suppose 0 = -4*o - 28, -4*n - 2*o + 188 = -1258. Is n less than or equal to 3290/9?
True
Let p = -80 - -101. Suppose -4*t + 5*x - 12 = p, -3*t - 21 = -3*x. Let f be t/4 - 306/(-468). Which is smaller: f or -2/17?
-2/17
Let s = -2.3436 - 0.6564. Do 102 and s have the same value?
False
Let i be (-2)/(-5) - 32/30. Let q = 13.60263 + -275.60263. Which is greater: q or i?
i
Let c be 28/136*64/(-112) + (-30)/34. Which is bigger: 6/2359 or c?
6/2359
Let h be ((-113)/452)/(2/(-8)). Let a = -137 + 74. Let t be (-14)/a + 76/306. Is t != h?
True
Suppose -4*t = -3 + 7. Suppose 2*z = 10*z + 440. Let s = -55 - z. Is s < t?
False
Let w = -13.32 - 34.68. Is w < -4?
True
Let s = -9931/18 - -552. Let g = 11/72 - s. Let h(b) = b + 2. Let n be h(-2). Which is greater: n or g?
n
Let z(y) = -y**3 + y**2 - 7*y + 13. Let v be z(6). Let c = 2721/13 + v. Let u = 17.9 - 18. Is c at least u?
True
Let h be 614/6 - -2 - (-15 + 21). Which is greater: -0.1 or h?
h
Let h(f) = -f**2 + 69*f - 1160. Let r be h(40). Is 2/9719 bigger than r?
True
Let v(l) = 7*l + 4*l - 42*l**2 + 2 - 44*l**2 + 78*l**2. Let f be v(-8). Let j = 1732/3 + f. Which is smaller: j or -21?
-21
Let h(r) = 491*r + 8347. Let u be h(-17). Are -22/227 and u unequal?
True
Let j = -36 - -91. Let q = -57 + j. Let a be q + 5 - 196/8. Is -23 at most as big as a?
True
Suppose -5*n + 25 - 10 = 0. Suppose -4*w + 444 = -z, -4*z + w - 1776 = -n*w. Let j be 19/(-114) - (0 - (-110)/z). Which is bigger: j or -1?
j
Suppose -2*b + 3*f = 218 + 12, -5*f - 504 = 4*b. Let r = 41 + 27. Let a = b + r. Which is smaller: a or -55?
-55
Suppose 17*l = 18*l - 3*f + 26, -24 = 3*l - 3*f. Which is smaller: -5/5104 or l?
-5/5104
Suppose 228 = 14*i - 80. Suppose -i = 4*y + 42. Is -18 at least as big as y?
False
Let i be -193 + -75 + 4*-1. Let q(c) = c**2 + 33*c - 6. Let t be q(-14). Is i equal to t?
True
Let q(l) be the second derivative of -l**5/20 - 11*l**4/12 + 14*l**3/3 - 6*l**2 - 17*l. Let y be q(-13). Let g be (5/35)/(40/y - -1). Is g != -2?
True
Let u(f) = f + 14. Let w be u(-4). Suppose -12*o = -w + 82. Let t be 4*o/(-14) + (0 - 1). Which is smaller: 0 or t?
0
Let q = 803/5 + -18499/115. Let m = 1704 - 5114/3. Is q less than m?
False
Let n = 0.1897 - -0.3103. Which is smaller: n or -1/39?
-1/39
Let l be 4/8*-1 - (-230)/468. Let o be (-19)/(-12) - 20/16. Which is smaller: o or l?
l
Let r(l) = -l**3 - 46*l**2 + 54*l + 120. Let p be r(-47). Let s = -204 - p. Is 56/9 at least s?
True
Let o(b) = -b**3 + 6*b**2 + 9*b - 6. Let s be o(7). Suppose 5*i + 15 = 2*z, -z + 3*i + 10 - 2 = 0. Suppose s*a = -z*a. Which is greater: 1/10 or a?
1/10
Let p = 103.8 - 104. Let r = p - -0.2. Is 2/469 > r?
True
Let x = -1006 + 1006. Which is smaller: 1/2713 or x?
x
Let o(a) = -14*a**2 - 95*a + 16. Let r(u) = -7*u - 161. Let c be r(-22). Let t be o(c). Let p(z) = z**3 + 5*z**2 - 8*z - 9. Let l be p(-6). Is l greater than t?
True
Let d = -4752 + 4740.18. Is 0 > d?
True
Suppose -197 = 4*h - 21. Let n = h - -116. Is 71 <= n?
True
Suppose -9*g = -6*g. Let w be 11/22*g/(1 + 0). Let m be 9/6 - (w + 0). Which is bigger: m or -3/7?
m
Let l = -4815 - -601873/125. Is -10 less than l?
True
Suppose 0*s + 3*s + 6 = 0. Let b = -1.04 + -64.96. Let o = b - -100. Is s less than o?
True
Suppose -11 = -6*o + 7. Let q be (-1)/o - (-106)/6*-1. Which is smaller: q or -53/3?
q
Let f = 24 + 43. Let n = -32 + f. Is n less than 35?
False
Let s = 2987/81795 - 8/205. Which is greater: s or -1?
s
Let a(n) = -n**2 + 6*n + 10. Let k be a(8). Let l = 76 + -66. Let s be l/(-8)*(-70)/25*-2. Which is smaller: s or k?
s
Let o = -92 + 92.29. Let f = 79.29 - o. Let i = -62 + f. Which is greater: -0.2 or i?
i
Suppose m + 2*m = -0*m. Suppose m*p - 12*p = -108. Let l be 16*(-2 + -2)/(-8). Is p at least l?
True
Let z = -333.7 + 334.2. Which is bigger: z or -0.153?
z
Let a = 9.7 + -9.4. Which is bigger: -263 or a?
a
Let v = -189/5 - -38. Let z = -10063 - -10061.91. Which is smaller: z or v?
z
Suppose 87*v + 196 = 47*v + 47*v. Is v less than or equal to 28?
True
Let i(s) = -s**3 - s + 39. Let x(a) = -a**2 - 22*a + 3. Let y be x(-22). Suppose -3*l = y*l - l. Let m be i(l). Which is smaller: 40 or m?
m
Suppose -5*s + 0 - 2 = j, 5*j + 5*s - 10 = 0. Is -55 greater than j?
False
Suppose -5*a - 2*k = -526 - 2088, 5*a - 2606 = 2*k. Let p = a + -523. Are p and 5/127 nonequal?
True
Let m = 4179 - 4178. Let u = 74.6 - 63. Which is smaller: m or u?
m
Let v = 69 + -67. Let l = 709 + -723. Which is greater: v or l?
v
Let v be 7701702/(-9114) + 4/98. Is v > -845?
False
Suppose 0 = 12*y - 99 + 63. Let d(r) = -2*r**2 + 27*r - 74. Let u be d(y). Which is smaller: u or -94/9?
u
Let n be -1*6/(-12)*108. Let m be (n/(-12))/(11/(-44)). Let w(f) = -f**3 - 7*f**2 - 8*f + 3. Let z be w(-6). Do z and m have different values?
True
Let q = 131 - -638. Suppose t = -q + 770. Are 2/13 and t unequal?
True
Suppose -4*i = 5*t + 388 + 251, 164 = -i + 3*t. Let u = 2689734/16751 + -2/16751. Let f = u + i. Which is bigger: -1 or f?
f
Let m(t) = t - 1. Let n(q) = q**3 + 5*q**2 - 4*q + 3. Let l(r) = 4*m(r) + n(r). Let d(x) = 8*x - 5. Let b be d(0). Let s be l(b). Is 0.1 <= s?
False
Let a(s) = -5*s**2 - 3*s - 1. Let t be a(1). Let d = t + 52. Suppose 4*y + d + 41 = 0. Is -19 at least as big as y?
True
Suppose -5*v - 507 = -1747. Let i = 293 - v. Is 45 > i?
False
Let k(h) = -4*h**2 + 28*h + 33. Let l be k(8). Is -11/597 != l?
True
Let v be (-2)/(-8) - 65/100. Let i = 12.96362 - -0.03638. Does i = v?
False
Let i be (-60)/3*(5 - 44/8). Let b be (-3*1)/(((-300)/190)/i). Which is greater: b or 130/7?
b
Let c be (39/(-1) - 1) + 1. Let u(v) = 3*v**2 + 30*v + 31. Let p be u(-9). Suppose -5*j - 6 = 4, 0 = 5*d + p*j + 3. Which is smaller: d or c?
c
Let k = -3202/31 + 2474960/23963. Which is smaller: 1 or k?
k
Suppose -15672 = -4*u - 3268. Let x be (8/12)/(28/u). Let o = x + -74. Is o less than or equal to -2/5?
False
Let m = 402 - 1123. Let y = 655 + m. Which is smaller: -63 or y?
y
Let t = 94 - 64. Suppose -108*w + 138 = -618. Suppose -w*x = t - 2. Is -0.07 at least as big as x?
True
Suppose 0 = -2*i - 21 + 5. Let r = -3898/7245 + -747/161. Let a = r - 29/9. Which is smaller: i or a?
a
Let i = 190412/31 - 6143. Is 0 at least i?
True
Let w = 14402 - 13802.7. Let j = w + -597. Is 0.8 at least j?
False
Suppose 2*p = -p. Suppose -30 = -3*c - 36. Which is smaller: p or c?
c
Let a(i) = -9*i**2 + 349*i + 51. Let s be a(39). Which is greater: s or -35?
s
Let a = -160 + 147. Let t(b) = 8*b + 80. Let x be t(a). Is x less than 2/15?
True
Let f = 0.14799 - -18.85201. Which is smaller: 2/311 or f?
2/311
Let y = -0.19 - -0.232. Let m = y - 0.442. Which is bigger: -5/11 or m?
m
Let n = 1.5 + 6.5. Let o = n + -8.1. Let i = -0.4 - o. Which is greater: i or 1/7?
1/7
Let z = -3 + 2.7. Suppose -2207 = -4*p + f - 533, -p + 412 = 3*f. Let y = 422 - p. Is z greater than or equal to y?
False
Let f(p) = 2*p**3 + p**2 + 4*p - 18. Let s be f(0). Let l be ((-5248)/(-96))/((-8)/s). Is l < 120?
False
Let k = -3 + 10. Let x = k - 13. Let f = 1482271 + -1482268. Is x <= f?
True
Suppose -79*q - 169 = -11. Is q at least as big as -92/43?
True
Let i = -233.9 + 220.77. Let m = 12.13 + i. Let q = -1.2 - 6.8. Is m at most q?
False
Let w be (-1 + (-3)/12)/(4/(-16)). Suppose w*x - 18 = -23. Which is smaller: -2/119 or x?
x
Let v(x) = -4*x**2 - 25*x - 5. Let l be v(-6). Let u be ((-3 - 4) + 6)*l. Which is smaller: -1/97 or u?
u
Suppose 2*w - 642 = -2*i, 0 = 13*w - 8*w - 25. Which is greater: i or -3?
i
Suppose 254 = j + 3*f, 3*j - 2*f + 0*f - 740 = 0. Which is smaller: 249 or j?
j
Let d be 1 + 5 + (-1 - 2). Suppose 0 = -0*i - 3*i + i. Suppose 4*k = 5*c - 9, i*c - 8 = -5*c + d*k. Is 2/131 < c?
True
Let q = -607/26 - -47/2. Is q at most 39?
True
Suppose -146*q + 4262 = -56*q - 148. Which is smaller: -7 or q?
-7
Let t(j) be the second derivative of -9*j + 11*j**2 + 0 - 1/12*j**4 - 13/6*j**3. Let y be t(-15). Are -9 and y nonequal?
True
Let y = -1116.21 - -1109. Let o = y - -0.41. Is o >= -1/4?
False
Suppose 109*w - 354*w + 72765 = 0. Which is smaller: 287 or w?
287
Let w be 987/1284 + 12/(-16). Let t be ((-4)/(-10))/((-46)/115). Is t smaller than w?
True
Let w(g) = 2*g + 7. Let p be w(12). Let s = p - 96. Let c = 