t be 1 - (19 - 4)/3. Which is smaller: y or t?
t
Let s = 14561 + -14565. Let f = 12301/390 + -446/13. Let z = f - -1/10. Which is greater: z or s?
z
Let j = 354872 + -126689489/357. Let c = 10/51 - j. Do c and 1 have different values?
True
Let k(h) = -h**2 + 18. Let t be k(-4). Let x be 1*-9*(-1)/3. Suppose 2*v - 4*b - 5 - 15 = 0, 3*v = -x*b - 15. Is v less than or equal to t?
True
Let w = -2/2989 + -1464604/8967. Which is smaller: w or -162?
w
Suppose -7*k = -4*k - 5*k. Is k at most -2/565?
False
Let l = -81 - -44. Let m = -39 - l. Let g = -7 - -7. Is g at most m?
False
Let u(i) = -i + 0*i - 1 + 6 + 3*i. Let g be u(-4). Does g = -19/5?
False
Let b = 14049924944/93036385 - -8/1431329. Let r = -151 + b. Is r less than -1?
False
Let z = 1645 + -1778. Which is bigger: z or -135?
z
Let o be 138/21 - 6/(-14). Let d be -1 - -41 - (4 - o). Which is bigger: d or 1?
d
Let r = 268 - 268. Is r bigger than -24.2?
True
Let q = -0.387 - 1.713. Let x = 0.1 - 0. Let s = q + x. Is s greater than or equal to -0.5?
False
Let i be ((-16)/(-66))/((-2)/(-59632)). Let o = 7227 - i. Let g = -5/11 - o. Is g < 8/5?
True
Suppose m = -2*m. Suppose 3*u - v - 30 = -4*v, 4*u - 4*v = 32. Suppose m = -6*s + u*s. Is s at most -7/5?
False
Suppose -4*w = -0*w + 2*k + 200, 0 = w - 3*k + 50. Let p be (w/14 - -3)*-2. Which is smaller: p or 1?
1
Let y = -489/8 - -61. Let p = 1.37 + -1.3. Let i = -1.07 + p. Which is smaller: i or y?
i
Let f = 1/24 + -37/24. Let j(q) = q**2 - 4*q - 3. Let g be j(4). Which is greater: f or g?
f
Let a(d) = d**2 + 3*d - 6. Let p be a(2). Let x be (-6)/(-292)*8/p. Which is greater: 0 or x?
x
Let u be 170/(-630) - 1/(-3). Let x = u - -358/315. Suppose 0 = 2*a + a + 9, -5*a = -2*q + 17. Which is smaller: x or q?
q
Let u = 867 - 866. Is -325 greater than u?
False
Let s = -893.06 - -893. Do s and -0.46 have the same value?
False
Let r be 80/(-12) - -6 - 40/(-69). Let u be (-2 + 1 + 3)/(-2). Do u and r have the same value?
False
Let h = 3/26 + 135/13. Which is bigger: h or 10?
h
Suppose -7*x + 287 = -98. Let c = -59 + x. Which is bigger: -38/7 or c?
c
Suppose 47 = 2*x - 3*c - 52, 4*c = -4*x + 168. Suppose 4*i - 249 = -69. Is x > i?
False
Suppose 4*y - 225 = 7*y. Let f be 45/y - 74/(-90). Which is greater: 8 or f?
8
Suppose 0*f + 2*f = 488984. Let j = -1706105/7 + f. Let w = 764 - j. Which is smaller: w or 2?
w
Suppose 19 = 6*n + 43. Which is greater: n or -11?
n
Let d be 1568/21 + (-2)/(-6). Suppose -3*v + y + d = 0, -3*v + 4*y = 2*y - 72. Is v at most 25?
False
Let s be (21/20)/7*-2. Let a(u) = -u**2 + 6*u + 1. Let n be a(6). Let w = n + -1. Does s = w?
False
Let w(j) be the second derivative of -j**3/6 + 3*j**2 - 2*j. Let r be w(14). Which is bigger: r or -1?
-1
Let v be 0 + (-3)/6*0. Suppose v = -12*i - 12 - 24. Suppose y - 1 = -4*g, 3*y - 3*g - 3 = -15. Are i and y unequal?
False
Let o be 5 + -2 - 1/(8/(-660)). Which is smaller: o or 86?
o
Suppose 2*v = -4*r - 224, -5*r - 280 = -4*v + v. Let d be (-63)/2*r/(-21). Is -85 bigger than d?
False
Let p be ((-1346)/5)/((-78)/(-20)). Let g = p - -69. Let c = 2578 - 2577. Which is greater: g or c?
c
Let t = 80/833 + -22/49. Let m = 7 + -1. Let n = 5 - m. Is n at most as big as t?
True
Let n(j) = -5*j + 18. Let f be n(6). Let i be 46/f + (12 - 9). Is i greater than or equal to -1?
True
Let g be 430/14 - (-4)/14. Let h = 464 + -434. Let b = h - g. Is b less than or equal to -1?
True
Let n = 8936496/37 + -241612. Let o = n + 85. Is -1 <= o?
True
Let l = -14/37 + 859/2368. Are 1 and l nonequal?
True
Let j(y) = -y**3 + 6*y**2 + 5*y + 14. Let b be j(7). Suppose -5*i + 6 + 74 = b. Is 16 > i?
False
Suppose 0 = -b - i + 10, -13 = -2*b + 5*i - 0*i. Suppose -2*q + 114 + 6 = 0. Let j be (-3)/(5/(q/b)). Which is bigger: j or -5?
j
Let w = 358 + -370.08. Let p = w - -13.3. Let q = -0.22 + p. Is q equal to 1?
True
Let b = 1149 - 1119. Which is bigger: 37 or b?
37
Let c = -375 - -420. Is 4 <= c?
True
Let y = 49 + -45. Let p(q) = q**2 - 4*q + 9. Let m be p(y). Is 10 less than m?
False
Let z = 0.608 - 6.378. Let c = z + -0.63. Let n = c + 6. Is -0.2 at least as big as n?
True
Let l(a) = -18*a**3 + a**2 + 5*a + 3. Let o be l(-2). Let b = 145 - o. Let q be (-161)/(-45) - (-2)/9. Is b <= q?
False
Let g(f) = f**3 - 8*f**2 - 9*f - 6. Let k be g(9). Let r be 20/(-6)*(-3 - k). Suppose 226*x - 229*x - 33 = 0. Which is greater: r or x?
r
Let u be 7 - 5 - (-1 + -1). Suppose -2*y + u*y = 54. Suppose 4*j = -3*x - 53, -j - j - x = y. Which is smaller: j or -16?
-16
Let j = -2947 + 1559. Which is smaller: j or -1389?
-1389
Let q = 98 - 74. Let h be q/21 - 2/14. Which is greater: 1/12 or h?
h
Let u(f) = -f**2 + 11*f - 10. Let v be u(14). Let b = 53 + v. Which is smaller: b or -2/41?
-2/41
Suppose -8*l + 30 = 70. Is 52 greater than l?
True
Suppose -5*w + 10 = 0, -14*w - 54 = -3*y - 17*w. Which is greater: 1 or y?
y
Let z = -0.035 + -19.965. Let i = 20 + z. Let l be ((-2)/(-4))/((-2)/2). Is i greater than l?
True
Let b be ((-12)/(-14))/(2/56). Let h be (-220)/18 - b/(-108). Let j be (-2*1)/(6/39). Does h = j?
False
Let v be ((-2)/(-5))/((-468)/(-260)). Which is bigger: v or 0?
v
Let q = -12/275 - -1/75. Suppose -4*n + 308 = -11*n. Let c = 45 + n. Are c and q equal?
False
Let g(p) = -22*p - 666. Let b be g(-30). Is 183 greater than or equal to b?
True
Let y be -2*2/12 - 56/(-6). Suppose y*k = 135 - 45. Let r(j) = 2*j + 1. Let s be r(5). Which is smaller: s or k?
k
Let p be (-978)/8 + 3 + 0. Let h = 120 + p. Which is bigger: 0 or h?
h
Let h(i) = 145*i**3 + i**2 - 2*i - 3. Let t be h(-1). Which is bigger: t or 1?
1
Let w = 388 + -387.9. Is -1703 at least as big as w?
False
Let r = 99 + -196. Is r greater than -92?
False
Let k(a) = -a**2 - 7*a - 9. Let c be k(-8). Let u = c - -17. Let d be 1/(-2) - 138/(-260). Which is greater: u or d?
d
Suppose -1540 = 12*h - 376. Which is bigger: h or -100?
h
Suppose 4*g - 4*x - 92 = 0, 16 = 5*g + x - 69. Let h = 14 - g. Let p be 3*1/(-6)*h. Is 2 at most p?
True
Suppose -5*i = 2*o + 354, 0*o + 2*o - 366 = 5*i. Let z = -200 + 129. Which is smaller: z or i?
i
Suppose 5*c + 10 = 0, 3*w + 5*c = 40 + 178. Which is smaller: w or 149/2?
149/2
Let x(z) be the third derivative of z**6/120 - 11*z**5/60 + 3*z**4/8 + 4*z**3/3 + 10*z**2. Let t be x(10). Let m be t/2*-2 - 2. Is -1/6 <= m?
True
Let k = -39 - -59. Let c = -21 + k. Is 1/39 <= c?
False
Suppose 122 = 19*a - 30. Suppose -4*o = 5*b - 125, -67 = 3*b - 5*b - 5*o. Suppose -4*m + m = -b. Which is greater: m or a?
a
Let v(b) = 12*b. Let f(d) = d**2 - 2*d - 1. Let h be f(2). Let y be v(h). Let j be (y/18)/((-4)/(-6)). Is j <= -1?
True
Let j = -40.7181 + 0.0181. Let o = j + 41. Is o greater than or equal to 0.9?
False
Suppose -p + 5*p + 4532 = 0. Let s = p + 103101/91. Which is bigger: s or 0?
0
Suppose 0*p = -6*p - 198. Let w = p + 31. Is -1 greater than w?
True
Let u = 0.8 - -2.9. Let b = u - 3.2. Which is smaller: b or 1?
b
Let n be (-1 - -38)*(-1 - 0). Let m = -645 - -670. Let h = n + m. Which is smaller: h or -11?
h
Let g = -32807/17 + 1931. Is 2 smaller than g?
False
Suppose -3*r = 2*r - 10. Let o be r - 2/(-2) - 2. Suppose -3*s - 3*p - 3 = 0, -4*s - 8*p + 3*p - 7 = 0. Is o equal to s?
False
Let v be ((-1)/7)/((-3)/(9/42)). Which is greater: 0.8 or v?
0.8
Let j(c) be the third derivative of 0*c**4 + 0*c**3 + 1/120*c**6 + 0*c + 0 - 4*c**2 + 1/30*c**5. Let p be j(-2). Do p and 3 have the same value?
False
Let q = -24 + 12. Let v be 4/24*8*q. Which is smaller: v or -17?
-17
Suppose -839 = -14*d + 813. Is d less than or equal to 119?
True
Let u = 0.181 + -112.181. Is -2/5 < u?
False
Let z(g) = g**2 - 4*g - 3. Let r(a) = a - 1. Let n be r(5). Let f be z(n). Let c be f/(-12) - (-6)/(-8). Is c at least as big as -1?
True
Let b = 22 - 20. Suppose 2 = -5*w - b*g, 4 = -3*w - 3*g + 1. Which is greater: -4/43 or w?
w
Let l = 1.69 + -1.73. Which is smaller: l or -1/5?
-1/5
Let v = 10.22 - 0.22. Let y = 9.52 - v. Let r = y - -0.28. Which is smaller: r or 3?
r
Let w = 183 + -152. Which is smaller: 28 or w?
28
Let w(n) = -n**2 - 11*n - 1. Let m be w(-9). Let v = m - 45. Which is bigger: -26 or v?
-26
Let v be ((-126)/(-8) - 4) + -10. Let u(z) = -z**3 + 5*z**2 + 6*z + 2. Let w be u(6). Is w less than v?
False
Let c = 2/49 + -57/196. Let s(b) = -26*b - 1 + 50*b - 25*b - b**2 + 0*b**2. 