. Which is greater: t or y?
y
Let n = 3.4 + 2.1. Let u = n + -19. Let o = u - -0.5. Which is greater: o or 2/3?
2/3
Let l = 5096 + -66172/13. Which is smaller: l or 7?
l
Let n(f) = -f**3 - 13*f**2 - 14*f - 20. Let d be n(-12). Suppose -2*a - d*a - 378 = 0. Is a <= -63?
True
Let c be 1/(-4) + (-166892)/(-112). Let b be ((-1)/(-4))/(6/35592). Let k = c - b. Which is smaller: k or 8?
k
Let w = -6535 - -8793/2. Is -2140 smaller than w?
True
Suppose 0 = 6*w + 3*w + 22 - 4063. Does w = 437?
False
Let p(g) = 4*g - 5. Let k be p(2). Let t be ((-4)/(-1) + -1)/1. Suppose -t*m + 29 = -2*m + k*v, v = m - 49. Which is smaller: 45 or m?
m
Let i = 2157 - 2142. Which is smaller: -1.83 or i?
-1.83
Let l = -123.27 - -131.27. Let j be (-1)/(-4) + 9/(-12). Which is greater: l or j?
l
Let a = -2946 + 2931. Is a >= -82?
True
Let a(g) = g**2 - 9*g - 35. Suppose -j + 168 = 13*j. Let n be a(j). Is n smaller than 0?
False
Let t be 15*(-13)/(-78)*208/(-10). Which is smaller: -24 or t?
t
Let u = 12 - 13. Is u at least 27/160?
False
Suppose -29 = -3*v + 4*b, -3*v - 8 - 3 = 4*b. Suppose 3*q + 9*y - 110 = 4*y, q = 5*y + 70. Let i be (q/(-20) - -2) + (-7)/(-4). Which is bigger: i or v?
v
Suppose -3*w - 2*w = -4*w. Let g(u) = 37*u - 2. Let v be g(w). Are 4 and v nonequal?
True
Let r be (-30)/(-12)*2/20*-67*-8. Which is bigger: r or 531/4?
r
Suppose 4*m + 52 = 4*k + 20, -5*m = 5*k + 10. Is 68/25 bigger than k?
False
Let w be ((-272)/4)/(-4) - -1. Let u be (-12)/(12 - 6) + w. Is 73/5 > u?
False
Let b = 188319 + -1693157/9. Let c = 192 - b. Let p be (-6 - (-297)/44) + 15/12. Which is smaller: p or c?
c
Let p(q) = -q - 5. Let f be p(-8). Suppose -13 = -c + f*h, 2*h = 6*h + 12. Suppose 4*z = -c*z. Which is smaller: 2/7 or z?
z
Let t be 30/(-18)*1/(3/(-9)). Suppose 8*k - 1080 = t*k. Let x be (13696/k)/(-8) - 8/10. Which is smaller: x or -5?
x
Let p be (-12)/(-108)*-66 - -8. Which is smaller: p or -5.13?
-5.13
Suppose 4*t + n = -1, 5*n + 28 = 2*t + t. Which is greater: t or 1/280?
t
Suppose -3*g - 13*g + 138 = -1334. Is g greater than or equal to 69?
True
Suppose -3*o = 15 - 3. Let z = 184 + -327. Let x be 124/(-39) + 22/z. Which is smaller: o or x?
o
Let b = 8244 + -8245. Which is smaller: b or 87/50?
b
Let z be (-18 - (-3 - -4))*4 + -5. Suppose -2*f - 2*i + 156 = -0*f, -4*i = 12. Let l = f + z. Which is smaller: 12/29 or l?
l
Let o be (-118641)/4456 - (-2)/(-32). Which is smaller: o or -26?
o
Let h = -44.13 + -1.87. Let w = h + 43. Is 26 bigger than w?
True
Suppose 0 = -2*y + 5*b + 28, -2*y + 2*b - 1 = -17. Let x be (2 + 0 - y)*1. Let i = x + 7. Is 5 greater than or equal to i?
True
Suppose -315 + 31 = -35*c + 1221. Let b be 123/(2 - -1) + 2. Is c greater than b?
False
Let w = -1054 + 243. Let c = w - -744. Is -68 at least as big as c?
False
Let n = -18 + 0. Let d be 4/44 + 41197/(-143). Let x be (128/d)/((16/(-3))/4). Is x > n?
True
Let m be (-9)/2*16/66. Let r(b) = -b**2 - 14*b - 13. Let v be r(-13). Suppose v = -2*l - 4, -4*g - l = l + 12. Is g at least m?
False
Suppose 5*w + 96 = d - 166, 0 = 4*w + d + 206. Suppose r - 4*f = -71, -3*f = 3*r - 0*r + 138. Is r greater than or equal to w?
True
Let k = -1292 + 2021. Let v be (1/1)/(27/k). Is v bigger than 26?
True
Suppose 146*i + 43091 = -60447 + 13602. Which is bigger: i or -621?
i
Let b(p) = 4*p**2 - 20*p - 122. Let k be b(16). Let z = 172178/5 + -1225566/35. Let a = k + z. Does a = 1?
False
Let d = -714 - -484. Let v = -229 - d. Let r = 15 - 12.3. Is r greater than v?
True
Let w be 8 + 515/(-65) + (-19)/(-91). Which is smaller: -342 or w?
-342
Suppose -8*u - 11*u + 3610 = 0. Let k = 192 - u. Which is smaller: 15/22 or k?
15/22
Let s be 1/((-2)/54*-3). Let f be (-156)/(-15) + (-30)/75. Suppose -22 = -f*c + 58. Which is bigger: c or s?
s
Let o = 1866/25 + -23337/175. Is -59 at least o?
False
Let r = -84212 - -86369.95. Let t = 2232 - r. Let x = t - 74. Is x at least -7?
True
Let f = 2459 + -3516. Which is bigger: -1060 or f?
f
Let h = -35676/11 - -6487/2. Let r = -16 + 13. Let t be (1/(-12))/(r/12). Which is smaller: t or h?
h
Suppose 0*h + 20 = -u + 3*h, 0 = u - 2*h + 19. Let m = u - -22. Let k(v) = v**2 + v + 2. Let c be k(0). Is c equal to m?
False
Let s be 43/28 - (-6)/(-21). Suppose -7*f = -9 - 5. Let x be (2 - 7/f)/((-5)/(-10)). Which is smaller: x or s?
x
Let j(h) = -3*h**2 - 44*h + 218. Let s be j(-19). Let l = 53 - 24. Let y = s + l. Which is smaller: y or 8/15?
y
Let q = -4.09 - -5.09. Which is smaller: -88 or q?
-88
Let g = -0.08461 - -0.28461. Which is greater: g or 0.05729?
g
Suppose -o + f + 4 = 0, -6*o = -5*o + 4*f - 19. Suppose 50 = h + 3*s, -3*h + 2*s + 142 = o*s. Suppose -31 = 2*u - 117. Is h at most as big as u?
False
Let q = 42.2 - 42.2. Is 1224 at most q?
False
Suppose 697*g - 688*g = -3780. Let u = g + 420. Which is smaller: u or -2/279?
-2/279
Let y be (-424)/40 - -11 - (1 - (-96753)/(-161205)). Is y not equal to -1?
True
Let u(g) = -16*g**2 - 5*g - 2*g**3 - 19*g + 14*g - 21. Suppose -40 = 22*f - 17*f. Let t be u(f). Is 58 greater than t?
False
Let v be (30/8)/((-6)/5972). Let d = v - -3647. Which is bigger: d or -87?
d
Let h = -2738 - -3169. Which is smaller: h or 421?
421
Let c(j) = j**2 - 20*j - 52. Let x be c(22). Let t be x*(-1 - 4)/(-5). Is -25/3 equal to t?
False
Let t be 4 + (501 - -4) + 2*3. Are 516 and t equal?
False
Suppose -20440*b = -20431*b. Is b less than -48?
False
Let t = -1273.4 - -1273.54. Which is greater: -1/139 or t?
t
Let v be (-21)/14*8/30. Let n = 95 - 71. Let z = n - 22. Is z at least v?
True
Suppose 3*h = 3*s - 12, -19*h = -18*h + s - 8. Is 9/100 bigger than h?
False
Let z = 0.324 + 95.176. Let k = 112 - z. Are 0 and k unequal?
True
Let n = -1699 - -1706. Let q be (0 - -1) + 1 + -1 + 4. Which is bigger: n or q?
n
Suppose 98 = -d + 100. Suppose -2*m + d*m = -2*m. Suppose -3*n - 27 = -3*r, -n + 3 = -m. Is -1 not equal to r?
True
Let o = -77.0265 + 77. Let c = 1.9735 - o. Which is smaller: c or 1.76?
1.76
Let y be (-5)/(-3) + 3235/(-15). Is y bigger than -212?
False
Let q = -8691 - -8484.94. Let x = -206 - q. Which is smaller: x or 8/7?
x
Let i = 0.29042 - 213.28042. Let x = i + 213. Are 0.09 and x unequal?
True
Let j be 11832/56 + (-92)/322. Which is greater: 839/4 or j?
j
Let y = 4167.02 - 4167. Are 370 and y non-equal?
True
Let t be 196/8512*(-1 + -1)*1. Which is smaller: t or 1?
t
Let w = 13343 + -13343. Is w at least as big as -9196?
True
Let h be (6/(-12))/((-3)/(-6)). Which is greater: 1/5005 or h?
1/5005
Let h(q) = 3*q + 1 - 365*q**2 + 384*q**2 - 2*q. Let d be h(-1). Suppose -5 = -2*y + x + d, 5*y = -3*x + 38. Which is smaller: 8 or y?
8
Let s be ((-1)/(-4) - 1740/5040) + (-234996)/(-63). Which is smaller: s or 3729?
3729
Let i = -2039 + 2039. Which is smaller: i or 1092?
i
Suppose 0 = 5*d + 5*x - 75, 2*x - 49 = -3*d + 3*x. Suppose 3*t - d = -5*v + 74, -4*v + 137 = 5*t. Let a be ((-30)/(-75))/((12/245)/3). Is a < t?
True
Let f(p) = -4*p - 17. Suppose 14 = -q + 5*w - 3, -4*q = -4*w - 12. Suppose -r - 2*s = -1, 3*r + q = -r - 4*s. Let t be f(r). Which is smaller: t or 20/7?
20/7
Suppose -4*y = -28, -4*q - 25*y + 26*y + 465 = 0. Which is bigger: q or 91?
q
Suppose 3*k + 14 = 5*z + 3, -1 = k - z. Suppose 3*y = k - 9. Which is greater: 4 or y?
4
Suppose -2*v + 21 = -3*l, 2*l - v - 15 = -29. Is 16 equal to l?
False
Let u = -30066 - -30110. Does -11/17 = u?
False
Let g(r) = -r + 11. Let a be g(13). Let b be -1*10/(1*4/(-2)). Which is greater: a or b?
b
Let w(g) = 127*g - 81. Let n be w(2). Suppose -184*l = -n*l + 22. Do -65 and l have different values?
True
Let s(p) = p**3 + 30*p**2 + 29*p - 2. Suppose 0 = 32*g + 1549 - 621. Let u be s(g). Let l be (-10)/16 - (1 - 1). Do l and u have different values?
True
Suppose 4*h - 1 - 3 = 0, -4*z - 59 = -3*h. Let j = z + 25. Let v be 528/78 - 18/(-78). Which is greater: j or v?
j
Let a(g) = g**2 + 8*g + 11. Let m = -105 + 101. Let p be 80/35 + m - (-2)/(-7). Let c be a(p). Is c bigger than -1/2?
False
Suppose 3*j - 4*h = 282 - 130, -3*h - 49 = -j. Suppose -2*l - 3*l = -325. Let y = j - l. Is y at least -13?
True
Let p = -252 + 512. Suppose -6*d + p + 442 = 0. Let g = -51 + 167. Do g and d have different values?
True
Let i = -103.722 - -0.722. Let l = i - -103. Which is smaller: 2 or l?
l
Let n(v) = 2*v**3 + 48*v**2 + 43*v**2 + 7*v - 14 + 