 + 18/(-4) + h. Which is greater: o or w?
w
Suppose 2*q - 3*n = 23, 24 = -0*q + q + n. Let o(d) = -d**3 + 20*d**2 - 14*d - 47. Let w be o(q). Is 46 > w?
False
Suppose -r = 15*r. Suppose r = 49*h - 51*h. Is h less than or equal to 9/13?
True
Let r be (-5)/(270/1524) + 4/18. Let n be (4/4)/(2/(-158)). Let s = n + 50. Are s and r unequal?
True
Let j = 2 - 2.1. Let d = 0.3956 - -0.6044. Are j and d equal?
False
Let f(l) = -l + 3. Let j be f(4). Let z = 1034 + -1550. Let y be (-10)/196*(z/(-100) - 5). Which is bigger: j or y?
y
Let k = 50 - 72. Let t = k + 24. Let b = t + -0.4. Is b smaller than 1?
False
Let x = -25 - -10. Suppose 3*c = -9, -4*c - 40 - 17 = -5*f. Suppose 2*s - f = -41. Which is smaller: s or x?
s
Let l(m) = -25*m + 1074. Let o be l(43). Which is bigger: o or -21?
o
Suppose -i - 1727 = 536. Let z = i + 5365571/2371. Which is smaller: -1 or z?
-1
Let r = 11406 - 9775. Is 1631 bigger than r?
False
Let z(r) = -946*r + 13. Let l = 48 - 51. Let g be z(l). Let d = -19996/7 + g. Which is smaller: d or -5?
d
Let p(r) = -2*r**3 + 13*r**2 - 3*r - 16. Let m be p(6). Suppose -2*q + 6 = -m*f, 5*q - 11 = -4*f + 4. Which is bigger: q or 10?
10
Let i be ((-4)/(-2))/(4/10*1). Suppose -3*q = i*q - 328. Suppose 0 = 3*a + 2*c - 70, 3*a - q = -5*c + 17. Is a greater than or equal to 26?
True
Let u = -22 + 14. Suppose 0 = h + 4*m + 46, 26*h + 388 = 312*m - 315*m. Which is bigger: h or u?
u
Let l be (0 - -3) + -2 + 2. Suppose -b + 4*r - l*r = -135, 3*r = 4*b - 539. Does b = 132?
False
Let k(i) = -8*i**2 + 336*i - 114. Let u be k(41). Is 213 not equal to u?
True
Let r = -8357814/67 - -124746. Which is smaller: 4 or r?
r
Suppose 22*v - 30*v = 29624. Let y be -3 + (-3749)/v + 2/1. Which is greater: -1 or y?
y
Let b = -1090.869 - 6.131. Is 5/2 >= b?
True
Let x be -4 - (25164/(-96))/((-6)/(-8)). Let i = 350 - x. Which is smaller: 5 or i?
i
Let f be (-4)/(-10) + 188/(-220). Let a(p) = -2*p**2 - p. Let d(w) = 11*w**2 + 24*w - 19. Let b(s) = 5*a(s) + d(s). Let l be b(-20). Which is smaller: l or f?
f
Let s(i) = -5*i**2 + 67*i - 26. Let n be s(13). Let l be 2 + 3 + (125/(-40) - 2). Is n greater than or equal to l?
True
Suppose 2*a - 132 = -69 - 65. Let y = 355047124713/7981 - 44486546. Let d = y + -2/347. Which is smaller: a or d?
a
Let m = -58 - -61. Suppose w = i + 4 - 1, m = 4*w + 5*i. Let o be (-1)/2*(3 - (-1 + w)). Which is greater: o or -5?
o
Suppose 158*s - 81 = 185*s. Let h = 7 + -13. Let a be (-18)/h + (-7 - s). Which is greater: -1/97 or a?
-1/97
Suppose 96*p - 94*p = 6. Suppose -37*a + t + p = -35*a, -a = -5*t - 6. Is 0.8 bigger than a?
False
Suppose -5*c + c - 20 = -2*y, 2*y = 2*c + 10. Suppose -4*z - j + 34 = y, -z = 3*z + 5*j - 42. Let b be (-20)/z*4/8. Which is smaller: b or -2?
-2
Let z(j) = j**2 + 8*j - 4. Let a be z(6). Let v = 35.47 - 34.47. Which is bigger: a or v?
a
Let o = -1440.2 - -1144. Let c = o + 296. Is 1/2 < c?
False
Suppose -2879*b + 2861*b - 211302 = 0. Which is smaller: -11740 or b?
-11740
Let k = 198815 - 198815. Suppose 5*s - 10 = -i, -i - 4 - 2 = -3*s. Let u be (-1)/4*s/4. Which is smaller: u or k?
u
Let f = 2522872754674/1701225975 + 3/22683013. Let l = f - 1483. Do l and -1 have different values?
True
Let c = -313 + 313. Let i = 1 - c. Do i and -0.27 have the same value?
False
Let p = -1438/1985 - 30/397. Is 6/25 bigger than p?
True
Let o = -205 + 205. Suppose 2*a = j + 5, 2*a + o = -2*j + 8. Are -1/332 and j equal?
False
Suppose p = 4*q - 6 - 0, 4*q = -p + 10. Let o be 2*p/(-104)*(-2)/4. Is -1 less than o?
True
Let v be (-15400)/1066 + (-22)/(-143). Which is smaller: -14 or v?
v
Let s = 81 + -75. Suppose 4*h + s*h = -440. Let d be 3/9*9 + -48. Is d smaller than h?
True
Let q = -10077 - -10077.1. Is q at least -154.5?
True
Suppose 0*r + 178 = -3*q + 4*r, -4*q + r = 246. Let p = -59 - q. Let h be (-1 + 1 + 1)/(25/p). Is h > 1?
False
Let a = 97 - 169. Let t be (15/(-40))/((-5)/40) + -76. Is t >= a?
False
Let o = -1437 - -1441. Is o at most as big as 480?
True
Let p be 609/18 - 4/(-24). Suppose 5*c - 81 + 2 = 3*t, 0 = -3*t - 4*c - p. Let o = 13 + t. Do -2 and o have the same value?
False
Let q be 740/9 + 8/(-36). Suppose 0 = 2*a + q + 338. Is a greater than or equal to -209?
False
Let y = -392 - -392. Suppose y = 26*h - 3*h. Which is greater: 1/861 or h?
1/861
Suppose l - 5*l = 304. Let m = l - -82. Let c be (-13 + -5)*((-2)/m - 1). Is 2 less than c?
True
Let c = -880 + 659. Is c >= -227?
True
Suppose -133*k - 88 = -131*k. Let p = -24 - k. Suppose 0 = -a + 4*r - 2, a + 2*r + 4 = p. Which is smaller: 9 or a?
9
Let w = 5 + -6. Let r = 25 + -27. Let c be (r - 22/18) + (-81)/(-27). Which is greater: w or c?
c
Let q = -4377 - -4355. Let g = -124 + 116. Is g less than or equal to q?
False
Let r(y) = -y**3 + 10*y**2 - 27*y + 16. Let h be r(6). Let f be h/16 + 33*3/(-360). Which is smaller: -385 or f?
-385
Let g be (-1160)/72 + 16 + 275684/(-36). Is -7658 <= g?
True
Let d = 0.69 + -0.8. Let g be -5*((-62)/130 + 1). Let u = -149/52 - g. Which is smaller: d or u?
u
Let g = 253 - 326. Let r = 42 + -85. Let l = g - r. Which is bigger: -2 or l?
-2
Let n = 42 - 43. Let i be (n - -1)/(2/((-6)/3)). Let h be (-6)/(-8)*(i - 12) - -3. Which is smaller: -2 or h?
h
Let g = 19/597 - 3412/125967. Which is smaller: g or -0.2?
-0.2
Let j = -6905915848/25475 - -271086. Is 1 not equal to j?
True
Let q = -6850317/41734 + -3/5962. Which is bigger: -164 or q?
-164
Let m(z) = -z**2 + 13*z + 20. Let f be m(16). Let y = 30 + f. Suppose -y*h + 10 = -0*h. Which is greater: 28/5 or h?
28/5
Let t(r) = -r**3 - r**2 - r - 1. Let j(g) = g**3 - 6*g**2 + 8. Let p(x) = -j(x) - 2*t(x). Let i be p(-7). Let o = 264309 - 264281. Which is greater: i or o?
i
Let d(s) = -13*s**3 - 3*s**2 - 16*s + 18. Let a be d(-8). Let z = a + -449489/68. Are z and 1 non-equal?
True
Let o = 29.02 + -21.9. Let d = 6.9 - o. Suppose -3*t + 12 = 0, 3*w - 8*w - t = 1. Is w less than d?
True
Let m = 10.09 - 0.09. Let f = m + -16.1. Let p = -6.15 - f. Is 2 greater than p?
True
Let b = 162/25 + -1084/175. Which is smaller: 1/791 or b?
1/791
Let p = -1169/10622 + -8/113. Which is smaller: -1 or p?
-1
Let i = 372 + -178. Let x be -1 + -5 + 1172/i. Is x > 1?
False
Let t = 173 + -606. Does 3/5 = t?
False
Let w(c) = 8*c - 75. Let l be w(10). Suppose -l*p + 36 = -8*p. Is p less than or equal to -45/4?
True
Let y(u) = 18*u - 16. Suppose 0 = -3*p - 2*k + 12 - 8, p + 5*k = -16. Let t be y(p). Is t < 56?
False
Let l = 392 + -3141/8. Let z = 1 + -17. Let n = 15 + z. Is l >= n?
True
Let r = -25624/7938711 + 10/5247. Which is smaller: r or 0?
r
Suppose -i = 7 - 2, 0 = 4*f - 3*i - 35. Suppose 4*w + f*g - 37 = 0, -5*w + 7*w = -2*g + 18. Do 10 and w have different values?
True
Suppose 17*s - 19*s = -2*k, 0 = -3*s - 4*k + 21. Suppose 52 = s*a + z, -23*z + 85 = 5*a - 21*z. Is a > 20?
False
Let k = -1034.741 + 1028.9. Let q = k - 0.159. Is 0.3 bigger than q?
True
Let t = -65135/53 + 1229. Let h = 340/583 - t. Is 1 equal to h?
False
Let p be (-4)/34 - 2985/(-85). Let s = p - 5. Suppose 4*b - 7*b + s = 0. Which is smaller: b or 3?
3
Let z = -121598 - -852841/7. Which is greater: z or 236?
z
Let l be 1/1*-6 - 36/16704*-2796. Let n(a) = -a**2 - 8*a + 9. Let c be n(-9). Is c < l?
True
Let l(n) = 4*n**2 + 109*n - 85. Let m be l(-28). Are m and -2/10117 nonequal?
True
Let w = 2.001 - -117.999. Is -4 less than w?
True
Let m be (12/(-10))/((-3)/7790) - -7. Does m = 3124?
False
Let j be ((-783)/276 + 3)*12. Which is greater: j or 2?
2
Let s be (-1*20/6)/(4/(-54)). Suppose -2*b + 11 + s = 0. Let l be 4*(12/b + (-4)/(-7)). Is l not equal to 6?
True
Let k = -7183 + 7183. Which is smaller: k or 22/699?
k
Let c = -3088 - -3090.63. Is c less than or equal to -0.03?
False
Let d = 1083/10 - 14979/130. Which is greater: d or -2?
-2
Let i = 249239/41029 - 542/89. Do 0 and i have the same value?
False
Let z(j) = -5*j - 27. Let c be z(-24). Suppose -3*b - 93 = 4*n, -n + 4*n = 3*b + c. Is b != -32?
True
Let a = -0.4384 + 4.9149. Let w = a - 4.47. Which is greater: 0.1 or w?
0.1
Let x be 3 - (26213/(-33) - -15). Which is greater: 782 or x?
x
Suppose -228 = 10*g - 8. Let a be (1/(-2))/(g/(-44)). Which is greater: a or 3/47?
3/47
Let k(a) = 6327*a + 94904. Let f be k(-15). Let j = 2411994 + -55494073/23. Let r = -792 - j. Are r and f equal?
F