 smaller: 1 or t?
t
Let t(k) = k**2 + 101*k + 2451. Let u be t(-124). Which is smaller: u or 5302?
5302
Let n = 892/69 - -3052/1173. Let f = n + -2632/187. Suppose 2 + 4 = 3*k. Which is smaller: k or f?
f
Let q(r) = 2*r**2 + 87*r + 126. Let p be q(-42). Is -3/1834 bigger than p?
False
Suppose -798 + 10271 = -39*m - 9325. Is -483 less than m?
True
Suppose 2*h = -3*j - 42, -h - 3 - 10 = j. Let f = 316448 - 316460. Is f at least j?
True
Let b be (2/4)/((-102)/204). Which is greater: -37/44 or b?
-37/44
Let m = -168008 + 4579394054/27257. Is m at least as big as -1?
True
Let c = 71.1311 - -0.0689. Let n = c + -71. Let b = 0.3 - n. Which is bigger: b or 2/11?
2/11
Suppose 0 = 107*c + 29*c + 2448. Are c and -518/31 equal?
False
Suppose -3*k + 12 = 3. Suppose 209 + 421 = 9*c. Suppose -o - c = -6*o. Which is smaller: k or o?
k
Let i = -1187/167478 + 1/1626. Is i greater than or equal to -1?
True
Let t = -2029 - -2056. Is t greater than or equal to 35?
False
Let r(q) = -37*q - 439. Let l be r(-12). Which is greater: l or 228/53?
l
Let u be ((-2)/(-3)*50/20)/(-43). Let w = 8246 - 8246. Are w and u nonequal?
True
Let b(r) be the first derivative of -r**5/20 - 2*r**3/3 + 2*r**2 - 12. Let a(t) be the second derivative of b(t). Let n be a(-3). Is n at least -32?
True
Let b = 4804 - 4803.95. Which is greater: 3/20 or b?
3/20
Let f be 3/24 - (-671439)/(-5380344). Which is greater: 0 or f?
f
Let q = 126 - 132. Let x(o) = 2*o**2 + 15*o + 8. Let g be x(-7). Let c be (g/q)/(21/(-12)). Which is smaller: -1/3 or c?
-1/3
Let z = 0.0198 - 0.0303. Let j = -5.9895 + z. Which is greater: j or 3?
3
Let f(w) = 53*w - 1. Let z be f(-1). Let c = -38 - z. Let k = -215 - -232. Are k and c equal?
False
Let v = 0.07804 - -0.02196. Do v and 308 have the same value?
False
Let y(z) = z**2 + 8*z - 2. Let p be y(-6). Let j be ((-3)/p)/((-2)/7). Suppose 6*a = a + c - 19, 2*a + 13 = -5*c. Which is greater: a or j?
j
Let p = 7 - 7.02. Let d = 1.34 + 199.66. Let n = d + -200.9. Which is bigger: p or n?
n
Let y = -23985828 + 1559120809/65. Let u = -646 + y. Is 0 < u?
False
Let v(n) = 65 + 11*n - 12*n - 87. Let w be v(-5). Which is smaller: w or -13?
w
Let v = -1164 + 1162. Is v at least 324?
False
Suppose -26*b - 196 = -690. Which is smaller: b or 203/10?
b
Let o = -2116.763 + 2117. Which is bigger: o or -0.02?
o
Let j be 42/(-1617) - 370/3542. Which is bigger: -358 or j?
j
Let g(i) = -2*i - 27. Let w be g(-12). Let v be (-1 - w)/(-66 - -312). Which is smaller: v or -1?
-1
Suppose 12*q + 4 = 8*q, -5*g = q + 176. Let j be (-1 - (-84)/(-20))/((-9)/g). Which is bigger: -19 or j?
-19
Let h = -11.04 - -43.49. Is h at most as big as -1/8?
False
Let x(b) = 6*b - 84. Let q(g) = g - 17. Let l(w) = -11*q(w) + 2*x(w). Let a be l(-6). Suppose 20*t = 21*t - 13. Is a less than or equal to t?
True
Suppose -1601*v = -1587*v + 4046. Which is smaller: v or -296?
-296
Let v = 8689.7846 - 8690. Is v less than -2?
False
Let q = -28439/166091 + 2/4051. Is 1 equal to q?
False
Let y(l) = l**2 + 11*l + 2. Let j be y(-11). Suppose 31*o - 23*o - 24 = 0. Is o bigger than j?
True
Let p = 2 - 1. Let v(s) = -s**3 + 17*s**2 + 83*s + 13. Let y be v(21). Let c be 2/y - 326/(-1240). Do p and c have the same value?
False
Let b(y) = -386*y - 3927. Let w be b(-10). Let g = 6 + -9. Let v be 203/g + (-2)/6. Which is smaller: w or v?
v
Let t(g) = 7*g - 39. Suppose 0 = -10*f + 8*f + 12. Let b be t(f). Suppose 0 = b*k - k + 4*k. Is k at least as big as 2/47?
False
Let f = -3080 - -3079. Let x be (-24)/(-80)*4/(-15). Which is smaller: f or x?
f
Let v = 282 + -329. Let x = -47 - v. Is x less than or equal to 79?
True
Let v = -2.865 - 0.035. Let h = v + 2.9. Let l = -5 - h. Which is greater: 3 or l?
3
Suppose 5*q - q = 176. Let j = 229 + -275. Let w = q + j. Are -11 and w unequal?
True
Let x = -8.98 + -592.02. Let j = x - -600.5. Is j greater than 38?
False
Let r = -0.1 + 2.1. Let q = r + -2. Let f = -5.1007 + -7.8993. Which is smaller: f or q?
f
Let o = 47209/52 - 908. Let g(y) = -8*y + 520. Let l be g(65). Which is bigger: l or o?
l
Suppose 4*k = -q + 18, -6 + 4 = -q. Let o be ((-792)/32 - 6) + k. Is -1/4 <= o?
False
Suppose -3*x + k = 978 + 987, -2*x = -3*k + 1310. Does 5 = x?
False
Suppose -16*b = -78*b + 2046. Suppose -2*o - b*x + 5 = -34*x, x + 5 = -2*o. Which is greater: o or 1/582?
1/582
Suppose 3*b - 18 = -6*b. Suppose -b*c - 6 = 0, -5*n + 5*c = -9 - 31. Suppose -4*j - n*i = -j + 203, 0 = -2*j + 3*i - 110. Is j at most -61?
True
Suppose -18*t = 263 + 133. Let s be 12/t + (-138)/(-253). Is -9/47 > s?
False
Let c(u) = -8*u + 100. Let i be c(12). Suppose -2*v = r - 0*r + 23, 40 = -i*v + 4*r. Is -9 greater than or equal to v?
True
Let b = -26774 - -26920. Is 1/6 greater than or equal to b?
False
Let v = -251.496 - -0.496. Let j = v + 247. Let h be -2 - -3 - (-2)/(-4). Do h and j have different values?
True
Let t(x) = 6*x**2 - 26*x - 43. Let a be t(4). Is a less than -199/4?
True
Let u(r) = -2*r**2 - 92*r + 93. Let a be u(-47). Let j be (a*54/273)/((-21)/(-98)). Which is smaller: j or -2?
-2
Let m(i) = -373*i**2 + 8*i - 1. Let u be m(-4). Let r = -1806299/301 - u. Is -1 greater than r?
False
Suppose -37 = -3*u - 0*m + 4*m, -4*u + 54 = -3*m. Let v = 30 - u. Suppose 11*t = -895 + 1082. Is t smaller than v?
False
Let b(s) = -s**2 - 8*s + 3. Let q be b(-3). Suppose -q = 18*y - 15*y. Let x be -3*y/63 + 16/(-7). Is x bigger than -13/7?
False
Let n = -15.9 + -2.1. Let m = 72.49 - -3.61. Let u = 76 - m. Which is greater: u or n?
u
Suppose g = 5 - 13. Let f = g + 1. Let n = 31 + f. Which is smaller: n or 23?
23
Let m(d) = -63*d - 3. Let c be m(1). Let u be ((-88)/c)/(2/447). Which is bigger: u or 297?
u
Let v be (-22784)/253344 - (16/(-84))/2. Which is smaller: v or 1?
v
Let p = -0.2 + 1.2. Let t be (-8)/(-54) - 3823033/120798. Is t at least as big as p?
False
Suppose -f - 51 + 66 = 0. Suppose -10*l = f*l - 50. Which is smaller: l or 21/13?
21/13
Suppose -6*x + 9*x - 81 = -5*n, 2*n - 12 = 0. Is x < -65?
False
Let d be (-29057)/14*((-64)/14)/8. Is 1186 less than d?
False
Let c(a) = -2*a + 8. Let r be c(6). Let h be (0 + 4)*(0 - r). Let q be (-252)/45*15/(-6). Which is smaller: h or q?
q
Let p be 6/(-3)*8459/22. Let m = 23837/31 + p. Is 1 at most as big as m?
False
Let n = 165 - 168. Let b be -2*n*5/(-30). Is b equal to 7/33?
False
Let o = 441197584892610418/11523481827 - 312686978522/8167. Let g = o + -23092/121. Let r = 6/169 - g. Which is greater: r or 1?
1
Let m = 3/134548 + 190919/3506186332. Which is smaller: 1 or m?
m
Let i be (13 + -10)/(1 + (-4)/10). Suppose -3*w + 75 = i*p, 2*p = p - w + 15. Suppose 4*c - 13 = 3*x - 0*x, 4*c - p = x. Which is smaller: x or 10/7?
x
Suppose -101*j + 100*j = -n - 6, 3*n + 3*j = 18. Which is bigger: -25/59 or n?
n
Suppose -2*k = -9*k + 266. Suppose -3*j - k = 2*h, -9*h + 10*h = -2*j - 26. Suppose 0 = 6*t - 4*t + 22. Are t and j equal?
False
Let o(c) = 23*c - 115. Let p be o(5). Which is bigger: -3/644 or p?
p
Let c be 3*-2 + (1215320/8804)/23. Is c bigger than -0.3?
True
Suppose 1309*z = 661*z + 656*z. Is 2/1059 >= z?
True
Let n = -5996.8895 - -5997. Which is greater: -3 or n?
n
Let i = -49.07 - -5.07. Let n = -6709/202 + 17643033/535906. Let q = -2/379 - n. Is i at most q?
True
Let d be (-4)/(-7) - (-73362)/(-68628). Let f = d - 2/817. Is -23/8 less than f?
True
Suppose 4*u - n = -u - 23, 12 = -2*u - n. Let p(k) = -k**2 + 6*k - 11. Let f be p(5). Is f > u?
False
Let m = 81 + -53. Suppose 0 = 76*i - 2*i - 3376 + 934. Which is greater: m or i?
i
Let y = 0.562 - 10.562. Is 159 at least as big as y?
True
Suppose -p + 25 = c, 3*c - 4*p = -0*c + 75. Let t = -77 + 78.03. Let o = t + -0.03. Which is smaller: o or c?
o
Let i = -1234.9928 - -1235. Which is greater: i or 2?
2
Let u(s) = 31*s**2 + 7*s + 9. Let k be u(-2). Suppose -23*t + 533 - k = 0. Which is smaller: t or 14?
14
Let z(d) = d + 3. Let w be z(3). Suppose w*f = 3*f - 15. Let c be f - (-1 + 0/1). Is -4 > c?
False
Let t be (651/(-18))/7*2*-1. Let a = -149/15 + t. Which is bigger: 0 or a?
a
Let r be ((-690)/48 - -13)*30. Do r and -41 have the same value?
False
Let u = -62.815 - -62. Let x = -0.185 + u. Let l = 0.3 - 2.3. Do x and l have different values?
True
Let y = -1962 + 1896. Which is greater: -3 or y?
-3
Let r = -239/2 + 135. Let f(o) = -