53 + -2141/3289. Which is greater: w or h?
w
Let m = -136813 + 477887812/3493. Which is smaller: -2/3 or m?
-2/3
Let h be (52/(-16))/((-5)/(-4)). Suppose 21 = -13*d + 8. Let t be (10/6 + d)/((-96)/432). Is h greater than t?
True
Suppose 156*v + 4600 = 164*v. Which is smaller: v or 574?
574
Let b be ((-253)/(-1265))/(1/(2/4414)). Is 1 equal to b?
False
Suppose h - 127*y = -129*y + 6054, -2*y = -16. Is h less than or equal to 6040?
True
Let w be 30/(-4)*-6*6/10. Suppose 19*t + 528 = w*t. Are 129/2 and t non-equal?
True
Let c = 1.7268 + -36.2894. Let q = 0.0374 - c. Is q < -1/3?
False
Let n(v) = -v**3 + 5*v**2 - 2*v - 3. Let k be n(4). Let c(g) = -g**3 + 3*g**2 - 10*g + 34. Let t be c(k). Is t not equal to -64?
True
Let l = -25 - -126. Let t = l + -80. Let x = t + -28. Is -7 greater than x?
False
Let i = 2712 - 7876/3. Let f(j) = -j**3 + 3*j**2 - 5*j + 87. Let o be f(0). Which is smaller: o or i?
i
Let p be 3 + 11 - (13 - 22 - -12). Which is smaller: p or -0.17?
-0.17
Let r(t) be the first derivative of 27*t**4 + t**2/2 - 2*t + 24. Let k be r(1). Which is greater: k or 106?
k
Let z(k) = -k**3 + 24*k**2 - 3*k + 4. Let d be z(23). Is d greater than or equal to 463?
True
Let f = 6762970/273 + -24773. Let u = 4/21 + f. Is -0.1 < u?
True
Let a = 15984 + -15976. Which is smaller: a or -124/13?
-124/13
Let c(k) = k**3 - 7*k**2 - 2*k + 17. Let o be c(7). Let p be 1 + 0 - (1 - 0)*o. Let n be p*(-2)/12*-3. Which is smaller: 3 or n?
n
Let a = -60 + 28. Let x = 2417 - 2452. Which is bigger: a or x?
a
Let u be 27096/8966 - (-5 + 4 + 4). Let d = 1775819/381055 + u. Let h = 24/5 - d. Do h and -0.6 have different values?
True
Let x = -12.9 - -13. Let t = -374 - -313. Which is bigger: t or x?
x
Suppose 52*l + 14 = 56*l - 2*u, -3*l = -2*u - 14. Is l bigger than 8/333?
False
Let v = 73.49 - -816.41. Let g = v - 890. Which is smaller: -2/45 or g?
g
Let d = -98 - -101. Let b be (-52)/(-15) + -3 + 0/d. Is 1 equal to b?
False
Let z = -2654 - -2654. Which is greater: -1500 or z?
z
Let m be (20 + -17 + -4)/(-2 + (-81)/(-42)). Is m bigger than -69?
True
Let p(b) = -b**3 - 27*b - 200. Let v be p(-17). Is 5172 less than or equal to v?
True
Suppose 9*s + 5*d + 45 = 5*s, 3*d + 15 = 0. Let q(k) = -199*k**3 + 2*k**2 - 1. Let m be q(-1). Let w be (m/110)/((-1)/3). Is w at most as big as s?
True
Let j be ((-4)/(-6))/(308/(-264)) + (-249)/(-441). Let s be -1 - 2*(-3 - -2). Do j and s have the same value?
False
Let x be (472 - 478) + -178*(-29)/860. Which is bigger: x or 1?
1
Let g = 860/61817 - 5362797/76343995. Let b = g + -1/1235. Is 1 <= b?
False
Suppose 3 = -m + 5. Let s be 0 - m*20/(-8). Let q(k) = k**3 - 6*k**2 + 8*k - 13. Let u be q(s). Is u >= -4?
True
Let g(x) = -x**2 + 9*x - 19. Let j(q) = -4*q - 54. Let h = -31 + 16. Let f be j(h). Let y be g(f). Do 9/23 and y have the same value?
False
Let m(b) = 2*b**2 - 4. Let y be m(2). Suppose y*a - 16 = 12. Is 5 <= a?
True
Let p be ((-2737)/(-16660) - (-1)/(-5))*(-12)/(-9). Is p bigger than -165?
True
Let t(s) = 67*s + 13. Let z(p) = -2. Let y(j) = -t(j) - 6*z(j). Let u be y(1). Does -69 = u?
False
Let a be (-2 - -6 - (-22)/(-8)) + -1 + 3. Is 0 greater than or equal to a?
False
Let f = -5/47742 - 10241/3516994. Suppose 1 = 5*o - 4. Which is smaller: o or f?
f
Let z be ((-70)/25)/((-50)/3875). Which is greater: z or 211?
z
Let s be (396/(-21))/((-3)/42 - 0). Let x be s/110*(-1)/4. Which is smaller: x or -3?
-3
Let k be 26 + -24 + 257598/200. Let x = k - 1290. Which is smaller: -1 or x?
-1
Let l = -104 + 106. Suppose 0 = -4*k + l + 6. Which is smaller: -14 or k?
-14
Let b(s) = s - 16. Let g be b(-12). Let h be (266/112*-6)/((-1)/(-2)). Which is smaller: g or h?
h
Let u = -0.8099 + -303.1901. Which is smaller: u or 4?
u
Let m = -23 + 25.4. Let q = 1.4 - m. Let h = 3.05 + -3.06. Is q less than h?
True
Let r = -3.8708 - -2.8708. Is -4020 != r?
True
Let n(w) = -2*w. Let p(f) = -18*f + 28. Let q(g) = 30*n(g) - 3*p(g). Let u be q(-17). Let o = 5649/4 - 1395. Which is smaller: o or u?
o
Let c = -255/77 - -38/11. Let i(j) = -2*j**3 - 7*j**2 + 15*j + 10. Let f be i(-7). Let g = 247 - f. Is g <= c?
True
Let j = -13835 + 6849. Which is smaller: -6988 or j?
-6988
Let a = 229291 - 229312. Let b be (26/5)/(1/(-5)). Which is greater: a or b?
a
Let t = -224/57 - -79034/20121. Let c(a) = -31*a + 124. Let h be c(4). Is t at most h?
True
Suppose 11 = 2*c - 1. Suppose 5*i = 3*i + c. Suppose 31 = -i*m + 5*z, 4*z = 5*m + 5*z + 5. Is -7/3 at least m?
False
Suppose -2*d - 1 = 3*i, 110*i - 114*i = 3*d + 2. Which is greater: i or 3/20218?
i
Let u be -1*1/1 + 67 + -66. Is 3/5059 bigger than u?
True
Suppose -13 = -k + 4*s, -15*k = -13*k + 2*s + 4. Let z(x) = 262*x**2 + 16*x - 17. Let u be z(k). Which is greater: 260 or u?
u
Let d be (3 - (-59)/(-5))*5. Let m be 3 + (-1416)/36 + -8. Which is bigger: m or d?
d
Let q = -156700/2154369 + 38/519. Is q at most 0?
False
Let x be 10 + ((-204)/4879)/(6/(-819)). Which is smaller: 17 or x?
x
Let f = 1898 - 1898.1. Which is bigger: 1157 or f?
1157
Suppose -2*k = -8 - 6. Suppose -5*b + 11*f - 8*f - 36 = 0, -2*b = -3*f + 18. Let t(d) = 15*d**2 + 91*d + 8. Let z be t(b). Is z at most k?
True
Let j be (-2)/(-8) - 10101/42180. Let r = 456 + -457. Are j and r non-equal?
True
Suppose -8 = -2*c + 4*p, -2*c + 2*p + 3 = 5. Let h be 123624/18*c/88. Let y = h + 467. Is y <= -1?
True
Let v = 328 - 10823/33. Suppose 9*t - 13*t - 6 = 3*o, 0 = -3*o - 6. Let u be (115/20 - 6)*t. Which is greater: v or u?
v
Let t(w) = -199 - 11 + 45 - 62*w + 0*w**2 - 170 - w**2. Let o be t(-56). Is o equal to 1/500?
False
Let c = 32010 + -33364. Which is smaller: -1362 or c?
-1362
Suppose -7*h - 25 = -x - 3*h, 45 = 4*x - 5*h. Let u(a) = 2*a + 7. Let m be u(x). Is m at least as big as 15?
True
Let t be ((-2)/(-8))/((-7)/(-112)*4). Let a be 2/(-3)*-2*(-9)/309. Which is smaller: a or t?
a
Let g be (24 + 1)*(3/(-54))/((-31)/11253). Is 504 equal to g?
False
Suppose -5*x = 15, -2*w + 4*x + 21 = 3. Suppose 103*u - 86*u = 1122. Suppose -w*f = 3*f - u. Is f at least 13?
False
Let o(y) = 3*y - 42. Let v(a) = a - 14. Let u(p) = -6*o(p) + 17*v(p). Let f be u(11). Suppose -2*b + 62 = -0*i - 4*i, b + 59 = -f*i. Is i < -20?
False
Let j = 1959 - 1952. Is -2.43 greater than or equal to j?
False
Suppose -20*s - 2*s = -7414. Let o = s - 338. Is o <= 4?
True
Let c be (-4594)/(-12) + 14/12. Are c and 0.03 unequal?
True
Let h = -1 - 1. Let p = -785.3 - -890.3. Which is smaller: h or p?
h
Let b be (-935)/3*(-882)/735. Is 359 at least as big as b?
False
Suppose -181*v = 92*v + 546. Which is smaller: v or -253?
-253
Let p(q) = -196*q - 838. Let j be p(-4). Let m be 134*1 + 2/2. Let i be m/(-18)*16/j. Which is greater: 1 or i?
i
Let s be (-15)/1 - 70470/(-4617). Let w be (-8)/(1 - (2 + 0)). Let z be 6/w - (-7)/(-4). Which is smaller: s or z?
z
Suppose -4*s + 5 = -9*s. Let q(z) = -2*z**2 - 62*z - 24. Let d be q(-30). Let m be ((-3)/18)/(4/d*21). Is s at least m?
False
Suppose -2*k - 4836 = -15*k. Let x = 482 - k. Is 108 at most as big as x?
True
Let m = 7626 + -7562. Let u = -3.1 + 3. Is u at most as big as m?
True
Let o = -15743873/102775725 + 8/501345. Let i = o - -3/41. Is i less than 0?
True
Let o = 3478 - 3072. Is o less than 399?
False
Suppose 7*j + 15 - 1 = 0. Let g be -4 - (j + (2 - 80)). Suppose 4*d - 3*i = -g, d = -3*i + 5*i - 24. Is d at least -18?
True
Suppose 4*p - 29 = 5*t, 0 = 5*p + 5*t + 1747 - 1727. Let d = -11.745 - -11.4. Is d bigger than p?
False
Let y = 35554.108 + -35555. Does -20 = y?
False
Let s be (((-1683)/(-578))/(-33))/((-3)/(-191)). Which is greater: -6 or s?
s
Suppose -147 + 21 = -7*f. Suppose -2*h + 0*h - 3*p - f = 0, 2 = -2*h + p. Is -15/8 < h?
False
Let r = -388083/1054 + 1/5270. Is -368 at least r?
True
Let t = -2139 - -2264. Which is smaller: t or -1?
-1
Let z = 14 + 2. Let n = -106.22 - -8.52. Let j = n - -98. Is z at least as big as j?
True
Let j = -746.3 - -466.3. Is j > -51?
False
Suppose 0 = 2*v - 128 - 78. Let c = 117 - v. Let q(h) = -h**3 + 15*h**2 - 15*h + 18. Let j be q(c). Is j bigger than 25/9?
True
Let q be (((-9805)/(-222))/(-53))/((-7)/6). Are q and -41 nonequal?
True
Let u = 246 + -259. Let b be (-2)/u + (630/(-312))/(-21). Is -53 smaller than b?
True
Let f = 212 + -208. Suppose 0 = 3*r - f*m + 263, -4 + 9 = -5*m. Which is small