et c = 233.98 - 234. Let x = c + -0.07. Which is smaller: 4 or x?
x
Let g(t) = 96*t - 11225. Let b be g(117). Which is bigger: 700/93 or b?
700/93
Suppose 2*z = -2, -4*h - 229 = -h - 5*z. Let p be h/(-65)*5/3. Suppose 4 = -p*c + 2*j, -6 - 2 = c - 3*j. Is c equal to 2?
False
Let c(h) = -h**2 - 10*h - 13. Let n be c(-8). Suppose -2*g + n = -1. Let z be 9/9 - g/(-6). Which is smaller: 1 or z?
1
Suppose 228*d + w - 3 = 233*d, -2*w + 6 = 4*d. Which is smaller: -2/20765 or d?
-2/20765
Let j be (-13)/57486*9*(-14)/(-49). Is 1 greater than or equal to j?
True
Let s = -0.674 + -28.326. Let g = 64/69 + -6/23. Is g at least s?
True
Let x = 0.05 + -0.15. Let f = -46673 - -93345/2. Which is smaller: f or x?
f
Let m = -18 + 11. Let c(i) = i**2 - 12*i - 11. Let t be c(13). Suppose 18 + t = -2*r. Do r and m have the same value?
False
Let t = 3.844 - 4.244. Which is bigger: 0.591 or t?
0.591
Let h(p) = 3*p**2 + 157 - p**2 + 2*p - 161. Let y be h(-2). Suppose y = 3*o - 2*t, -5*o - 4*t = -7*o. Is o > 2?
False
Let y(x) = -89*x - 533. Let r be y(-6). Which is greater: -3/193 or r?
r
Let b(t) = t**2 + 2*t - 1. Let c = -75 - -75. Let n be b(c). Is n < -4/15?
True
Let m = -127 - -130.7. Is m greater than -21?
True
Let f(v) = -v**2 - 4*v - 30. Let d be f(9). Let u = d - -151. Suppose 2*q = q + 5. Is u < q?
True
Let p = 5209 + -5203. Which is smaller: -139 or p?
-139
Let o(x) = -5*x - 17. Let y be o(-7). Suppose -y = -d + 3*a, -4 = -4*d - a + 3. Suppose -d*p + 4*p = 1. Which is smaller: 1/16 or p?
1/16
Suppose -3*v - 2*w - 1376 + 204 = 0, 4*v + 1558 = 2*w. Let p be v/40 - (-2)/(-8). Suppose -5*r = 2*a + 19, -22 = 3*a + 4*r + 10. Which is smaller: a or p?
a
Let y(o) = 2*o**2 + 4*o - 3. Let h be y(1). Suppose -3*q + 2*q = -h*j - 6, 5*q + 5*j + 10 = 0. Let n be (-4 - q/2)*13/(-182). Is n at least 4.2?
False
Suppose 5*i - c - 13 = -51, i + 2*c + 1 = 0. Let f = 95/4 - 24. Is i less than or equal to f?
True
Suppose -4*i - 131*r + 134*r - 394 = 0, 18 = -3*r. Do -105 and i have the same value?
False
Suppose -5*p - 4*c + 2*c = 3137, 0 = -3*c - 3. Let a be ((-4)/(-7))/4 + p/(-21). Let z be 806/a + (-6)/(-45). Is z at most as big as 26?
False
Let i = -14.394 - -17.394. Which is bigger: -41.6 or i?
i
Let o(l) = -l**2 + 4. Let u be o(0). Suppose -3*x + 7*f = 6*f + 9, -u*x + 4*f = 20. Are x and -8 nonequal?
True
Let d = -52 - -82. Suppose -4*h + 6*h + 4*f + 8 = 0, d = -5*h - 5*f. Which is bigger: -76/11 or h?
-76/11
Let h = 0.00161 - -0.32439. Which is bigger: 0.3 or h?
h
Suppose 0*t - 10*t = 9*t. Is 12.38 less than or equal to t?
False
Let s(a) = a**2 - 5*a + 1201. Let c be s(0). Let u = -10798/9 + c. Are u and 0 non-equal?
True
Suppose 18*m - 36 = d + 22*m, -3*d - 43 = -m. Are d and 0 equal?
False
Let p(b) = -b + 17. Let t be p(-3). Suppose 92 + 628 = t*g. Which is bigger: 34 or g?
g
Let q = -2234558/7 - -1800711161/5642. Let g = q + 790/13. Let m be ((-1)/1)/(-1) + -2. Which is bigger: g or m?
g
Let g(h) = h**2 - 72*h + 1304. Let d be g(32). Is d at most -23?
False
Let s = -1 + 1. Let g(q) be the second derivative of -q**3/3 + 644*q. Let j be g(s). Which is bigger: j or 3/13?
3/13
Let n(h) = -6*h**2 + 2*h + 7. Let p be n(3). Suppose 6*m = -m. Suppose -d - 4*g = 57, m = d - 0*d + 3*g + 53. Do d and p have the same value?
True
Let v(y) = -y - 1. Let n be v(2). Let m be (9/4)/(n/12). Let t = 301953 + -301961. Is t equal to m?
False
Let g be (-1 - -1) + -1 + 59. Let h = g + -44. Let v be (-2 + (-5 - -2))/(6/(-18)). Is v at most as big as h?
False
Let b be (3/2)/(1/(-8)). Let h(k) = -k**2 + 13*k + 2. Let j be (-5936)/(-420) - 3/((-45)/(-2)). Let v be h(j). Is b bigger than v?
False
Let c be (((-360)/(-528))/15)/((-2)/12). Is -407 bigger than c?
False
Let h(m) = -12*m + 479. Let j be h(40). Is j at least as big as 54/161?
False
Suppose 3*f = 0, -3048 = 5*j + 2*f + 2*f + 342. Is -673 at least as big as j?
True
Let h(a) = -6*a**2 + 166*a - 106. Let o be h(26). Which is greater: 179 or o?
179
Suppose 0 = 8*z - 26*z + 54. Let n be (2 - z - -194)*1. Is -0.1 < n?
True
Let w = -2/83 - -180/581. Let r = -13 + 18. Suppose -r*f + q + q = 180, -q - 36 = f. Do f and w have the same value?
False
Let z(v) = -v**2 - 105*v + 2073. Let f be z(17). Is f < -2/2093?
True
Let q be 253/(-2) + 5*2/20. Let z be (2 - -2)/((175/q)/(-25)). Which is smaller: -3 or z?
-3
Let b = -732.8734 + -0.1266. Let c = 732 + b. Which is bigger: c or -1/715?
-1/715
Let i = 2.6 - -0.4. Suppose -3*c + 2*w + 0*w - 37 = 0, 64 = -5*c + w. Let l = -40/3 - c. Are l and i unequal?
True
Let f(h) = 958*h**2 - h - 28. Let p be f(-7). Let n be -2 - (-3)/(-79)*(p + 4). Let b = -1784 - n. Is 0 at least b?
True
Suppose -n - 31 = -3*y, -y + 3 - 6 = 0. Let v = -130 + 457. Let d = 287 - v. Is n less than d?
False
Let l(u) be the third derivative of u**5/60 + 3*u**4/4 + 11*u**3/2 + 58*u**2. Let r be l(-16). Is r > -2/907?
True
Let i = -630 - -912. Let s = i + -305. Which is greater: s or 0?
0
Let r = 386255/151 - 2558. Suppose -21377*n = -21324*n - 53. Is r at least as big as n?
False
Let t be ((9/15)/(8/(-40)))/(-1). Suppose -t*c + 0*y = -2*y + 686, 4*c - y + 923 = 0. Is 0.1 equal to c?
False
Suppose w + 3 = 3*s, -3*s + 4*w = 8 - 2. Suppose s = 3*g - 4*u - 4, 5*g - 10 = -u. Let q be g/4 + (-611)/26. Is -23 at most as big as q?
True
Let q be 13 - -9 - 4 - 215. Which is smaller: -1765/9 or q?
q
Let v be (-2 - (-2 + 3)) + 0. Let i = -19/6 - v. Which is greater: -0.05 or i?
-0.05
Let c = 27143 + -31287. Is c less than or equal to -4144?
True
Let f be 36/4 + 8 + -15. Which is smaller: 172/147 or f?
172/147
Let c(q) = -q**3 - 10*q**2 - 15*q + 85. Let t be c(-5). Which is greater: t or -35?
t
Let j = -0.0184 - 0.3016. Let a = 0.074 + 0.296. Let u = j + a. Does 2 = u?
False
Let t = -39 - -57. Let n = t + -13. Suppose n*o - 3*w - 55 - 6 = 0, -2*o - 4*w + 40 = 0. Which is bigger: o or 13?
o
Let q = 75 - 72. Suppose 2*m - q = -21. Let l be -1 - (m/21)/(2/10). Which is greater: l or -2?
l
Let v = -0.4404 + 0.4494. Which is bigger: v or -23?
v
Let b = 628/9 + -967721/13869. Which is smaller: 0 or b?
0
Let b be (-933279)/8745 - (276/(-66) - -4). Let d = b + -300/53. Which is smaller: -111 or d?
d
Let l be (3 - 36156/8)*((-484)/(-33))/(-22). Which is bigger: 27094/9 or l?
l
Let p be 7/(-2)*12/(-21)*1620/(-6000). Which is smaller: p or 0?
p
Let b = 611 + -707. Let c = 114 + b. Which is greater: c or 26?
26
Suppose t + 2*g - 12 = 0, -44 = -t + 5*g + 3. Let f(o) = t - 39 + 0*o + 26 - 2*o. Let l be f(7). Which is greater: l or -16/3?
l
Let r = 100 - 101. Let j = -5/8 + 21/136. Is j smaller than r?
False
Let d = 40921 - 531519/13. Which is bigger: d or 36?
36
Let p be (-26)/(-15) + -1 + -1. Let t be (33/9 - 3) + (-125)/3. Let n = t - -41. Which is smaller: p or n?
p
Let g = 459697 + -459790. Let o = -1.2 + 0.2. Which is bigger: g or o?
o
Let n(h) = -3*h**2 - 404*h - 1825. Let a be n(-130). Let d be (18/8)/((-12)/32). Are a and d nonequal?
True
Let x = -73/838 + -724997/3352. Is x at most as big as -215?
True
Let t(r) = -30*r**2 + 3*r. Suppose -4*x + 21 = -3*n - 2, -n + 24 = 5*x. Let m be t(n). Let c(z) = -10*z**2 + 4*z - 1. Let q be c(2). Are m and q equal?
True
Let j = -9 + 11. Suppose -78 = -2*l + 4*p - 14, -5*l + 4*p + 172 = 0. Suppose 3*k = j*y - l, -6*k + 9*k - 36 = -2*y. Is y >= 55/3?
False
Let i be ((-30)/62)/((-30963)/(-1068) + -29). Is 58 less than i?
False
Let r = 249.3285 + -249. Does 0.1 = r?
False
Let h(s) = -s**2 - 2*s + 4. Let b be h(-3). Let m = -70 + 57. Let k be (-1 - m/11)/(10/75). Which is greater: b or k?
k
Let u(z) = -11 + 12 + 19 + z**2 - 12*z. Let n be u(10). Suppose n = -37*h + 39*h. Is -1/14 greater than h?
False
Let z be 80/24*5/(100/1068). Which is bigger: z or 186?
186
Let v = 664076/2895 + -52/965. Let u be 30/135*(-57)/(-5)*-94. Let l = v + u. Are -8 and l unequal?
True
Suppose y = 2*h - 24, -3*y + 41 = 53. Let z be (-8)/h*(-65)/(-1378). Is z less than -1?
False
Let b = 2191/11 + -199. Let i(r) = -242*r - 2904. Let j be i(-12). Is j >= b?
False
Let k = -2203 + 2141. Is 13 at least k?
True
Let p = -733/3 - -241. Let a = -2.517 + 2.497. Which is greater: p or a?
a
Let f be ((-24280)/(-21924))/(-5) + 18/(-243). Which is greater: -1 or f?
f
Let d = 37452 + -36315. Which is smaller: -0.5 or d?
-0.5
Let k(x) = -2*x**2 - 14*x + 61. Let