Let m(f) = f**2 - 17*f + 54. Let j be m(8). Is g greater than or equal to j?
True
Let w(u) = 1804*u**2 + 180*u + 179. Let s be w(-1). Is 1803 at most as big as s?
True
Suppose 0 = o + 296 + 228. Let c = o + 1591/3. Let t(r) = 115*r + 1962. Let q be t(-17). Which is bigger: c or q?
q
Let o = 607 - 589. Let f = 19 + -9. Suppose 0 = o*v - f*v + 16. Is v at least as big as -4?
True
Suppose 265*b - 9692 = 261*b. Suppose -846 = -7*k + b. Is k > 468?
False
Let o(g) = -5*g**3 - 2*g**2 - 10*g + 23. Let m be o(-4). Let a = m + -430. Let b = -0.19 + 0.09. Which is smaller: b or a?
a
Let g be (-26)/(-7) + (-26)/(-91). Let c be (-182)/(-28) + (18/g)/(-3). Suppose 0 = -c*u - 3*j - 0*j + 85, -4*u + 5*j = -31. Do 12 and u have different values?
True
Let n be (8/(-32))/(29/71572). Is n less than or equal to 8?
True
Let t be (-127)/(-3)*(76 + -88). Which is greater: -1522/3 or t?
-1522/3
Suppose 24*n - 13*n = 55. Suppose 0 = -2*h + 2*t + 376, -h = -n*t - 141 - 67. Do 184 and h have the same value?
False
Suppose 3*x = x + r + 5, -r + 7 = 2*x. Suppose -2*w + 2*u = -2*u + 36, x*u - 31 = 2*w. Let j = -2 + 2. Which is smaller: j or w?
w
Suppose -812 - 742 = -21*r. Is r > 59?
True
Let m = 2/4885 - 195422/53735. Let t(w) = -2*w**2 + 14*w - 20. Let a be t(4). Suppose -35*q - 7 = x - 37*q, 0 = 5*x - a*q + 23. Do m and x have the same value?
False
Suppose 66 = 13*i + 14. Is i != 149?
True
Let k be 175/55 + -2 + 4/(-22). Let x = -14.5 - -17. Let w = x + -1.5. Is w not equal to k?
False
Let o = 1.554 + 309.896. Let f = 312 - o. Which is smaller: 0.1 or f?
0.1
Let l be (-45)/(-9) + 6*-1. Let h be (l/(-5))/(-8 - 156/(-20)). Which is bigger: 6/55 or h?
6/55
Let n = -1.854 + -344.146. Is n smaller than 0.09?
True
Let o = 565 - 565.0211. Let x = -27.9789 + o. Are x and 12 nonequal?
True
Suppose -b = -0*b + 35. Let w be (-118)/6 - 152/(-228). Let o = w - b. Which is smaller: 15 or o?
15
Let z = 238 + -127. Let i = z - 75. Let v = -50 + i. Is 0.2 at most as big as v?
False
Let q be 4/3*-28*(-45)/105. Which is smaller: 13 or q?
13
Suppose -106*c = -101*c + 25. Let b be (2 - 5)*3 + 1. Let t = b - c. Is t greater than -1?
False
Let u = 24 + -16. Suppose -4*o + 0*o = u. Let s(x) = 3*x**2 + 3*x + 3. Let a be s(o). Is a at most as big as 6?
False
Let g be (-1265)/(-10)*(-1256)/(-44). Is 3611 != g?
False
Let m = 0.0516 - -2.0264. Let b = m - 0.178. Which is smaller: b or 1?
1
Let f = -928 - -928. Let o = 206 - 117. Is o less than f?
False
Let p = -6.2 - -75.2. Let r = p - 68.95. Let a = r - 0.18. Is -3 at least a?
False
Let x be ((-77)/(-22) - -2 - 6)*(-2 - -2). Is x at most -3/4?
False
Let h(y) = 6*y**2 - 81 + 67 + 8*y - 4*y. Let v be h(-5). Is v smaller than 117?
True
Let u = -1478.43 + 1478. Which is bigger: u or -48?
u
Let t = 0.142 - 0.212. Let g = -28 - -30. Let w be -1*g/(-6)*(-3)/2. Which is smaller: w or t?
w
Let r = -7613 + 7598. Is r bigger than -146?
True
Let s = 0.01985 + -1.01985. Which is smaller: s or 1805?
s
Let r be ((96/3460)/4)/(672/(-105) + 7). Let v(j) = -j - 6. Let l be v(-5). Let f be -2 - l - 1*-1. Is r at least f?
True
Let i be (-55)/(-187)*2/(-135). Which is smaller: 0 or i?
i
Let g = -33344.9 + 33345. Which is smaller: g or -11021?
-11021
Let s = 3.282 - 2.582. Is 10/13 smaller than s?
False
Suppose 0 = 2*x - 9692 - 3188. Suppose -34*a - 12*a + x = 0. Which is bigger: 279/2 or a?
a
Let i be (-3652)/(-3320) - ((-22)/(-20) + -1). Which is greater: i or 13/66?
i
Let j = 1 - 1.8. Let c = j + 0. Suppose 3*s + 0*g - 22 = -2*g, 0 = 2*s - 3*g + 7. Which is smaller: s or c?
c
Let r(q) = q**3 + 4*q**2 - 5*q + 9. Let i be r(-5). Let b(z) = -5*z + 5. Let c be b(7). Let u be (-1 - 2) + 2/((-4)/c). Which is smaller: i or u?
i
Let k = 0.08589 - 0.07801. Which is bigger: -0.5 or k?
k
Let t be ((-44534)/28)/((-1734)/(-4)). Let j = t + 2/867. Let f = 261 - 260.8. Is j greater than f?
False
Suppose -8*t - 130 = -13*t. Suppose 0 = 3*n - 3*v - 8 - 4, t = -n - 5*v. Let w be (-6)/(-54) + 3 + 1 + n. Are 2 and w nonequal?
True
Let q = 1105 - 870. Which is greater: 238 or q?
238
Let p(w) = 4*w + 14. Let c(h) = 6*h + 21. Let t(b) = 5*c(b) - 8*p(b). Let l be t(-6). Let s = 207524 + -207524. Which is smaller: s or l?
s
Let p be ((-3)/(-6))/(3/(-30)) + -75. Let u be p/(-160)*(-4)/6. Is 0.099 <= u?
False
Let w(s) = -s**2 + 6*s - 2. Let t be w(3). Suppose l - 366 = t*l. Let k = -61 - l. Which is greater: -3/23 or k?
k
Let w(u) = 548*u**3 - 5*u**2 - 13*u + 20. Let b be w(1). Let l = -18 + 17. Which is greater: l or b?
b
Let h = -3/75565 + -53458/556838485. Which is bigger: h or 1?
1
Let m be (-2)/(1*8) + 339706/232. Is 1464 < m?
False
Let l = 12379.6 - 12381. Which is smaller: l or -1/61?
l
Let b = 0.0480018 - 730.0340018. Let p = b - -730. Which is bigger: p or 3?
3
Suppose 14*w - 8*w = 1044. Suppose -3*t + s = -8*t - w, 4*t = 2*s - 128. Let u = 52 + t. Is 20 < u?
False
Let r = 2.28 - 2.405. Let d = 161.125 + r. Which is smaller: 0 or d?
0
Let a be 516/66 - (4 - (-12 + 11)). Is a bigger than 1?
True
Let k(a) = a - 5. Let w be k(4). Let j be (-10)/(-75) + 604/(-30). Which is smaller: j or w?
j
Let w be (3/(-1 - -2))/(19 - 16). Which is greater: w or 45/316?
w
Suppose 2*h + 2*h = 4. Let c be 78/104 - 298/(-8). Let k = 115/3 - c. Which is greater: h or k?
h
Let j be ((-108)/(-4))/(3/(-2)). Let r be (3/(-71))/(j/(-12)). Let g(u) = 30*u - 660. Let p be g(22). Is p equal to r?
False
Let t = 1.42 + 186.58. Let p = -90 + -24. Let h = t + p. Are h and 1/4 nonequal?
True
Suppose -22*y - 159 = -25*y. Let o = 48 - y. Let t be (-173)/5 - 3/o. Is t equal to -34?
True
Let k(b) be the third derivative of b**5/60 + 11*b**4/24 + 4*b**3/3 - 19*b**2. Let d be k(-6). Let v = -16 - d. Which is greater: v or 11/2?
v
Suppose 5*s - 295 = -1045. Let z be s*(-2 - (-20)/12). Let m be (32/40)/(4/z). Is m greater than 10?
False
Let l = -1399/735 + -8/49. Which is greater: l or -1?
-1
Let f = -49264 - -40648. Is -8616 greater than f?
False
Suppose -58*o = 56*o. Which is smaller: o or -110/127?
-110/127
Suppose -65*r = -67*r + 576. Let d(p) = 8 + 293*p - r*p - 1. Let l be d(-2). Is 0 greater than l?
True
Suppose 9*f + 5*c = 7*f + 169, -2*f + c + 187 = 0. Is f at least 104?
False
Suppose -50 = 13*i - 63. Let k be 18/237*(-4)/(-8). Which is smaller: k or i?
k
Let l(h) = -3*h**2 + 168*h + 136. Let x be l(57). Which is bigger: x or -454/13?
-454/13
Suppose 255 = -127*w - 76*w - 1978. Let m = -15.47 + 14.6. Let n = 0.13 - m. Is w less than or equal to n?
True
Let y = 292 + -2401. Which is greater: -2108 or y?
-2108
Suppose 1538 + 7975 = 63*x. Suppose -4*w + 69*n - 126 = 74*n, -5*w - x = 3*n. Is w smaller than -34?
False
Suppose 2*z + 9 = 3*l, 0 = z - 5*l + 24 - 9. Is z > 1863?
False
Suppose -8626*u + 8599*u = 3105. Is -103 less than u?
False
Let i(y) = -3*y + 12. Let q(c) = -c + 6. Let z(g) = -4*i(g) + 10*q(g). Let u be z(-5). Suppose -46 = -u*f + 4*a, 54 = 3*f + 3*a - 6*a. Are f and 1/3 nonequal?
True
Let p(j) = 7*j - 99. Let f = -117 - -131. Let k be p(f). Which is bigger: -1/7 or k?
-1/7
Let i(x) = -x**2 - 16*x - 57. Let q be i(-9). Let k be (-9)/q*7*(-14)/(-49). Is k <= -29/8?
False
Let v = -11398.3 - -10678. Which is smaller: -2/7 or v?
v
Let f be (-4)/(-18)*35903/(-98). Let s = 698/9 + f. Which is greater: s or -3?
-3
Let z = -102 - -112. Let g be (-135)/(-3) + (12 - z). Let c = 22 - g. Which is bigger: c or -24?
-24
Suppose -5*a + 4*z = 54, -5*a + z = -630 + 681. Let k = 2 - 2.7. Is k <= a?
False
Suppose 0 = -m - 816 + 788. Let y be (-580)/21 + (-10)/(-35). Which is smaller: m or y?
m
Let z = 9 + -42. Let n = z + 33.96. Let b = 0.04 + n. Which is smaller: -0.1 or b?
-0.1
Suppose 3*v - 2 - 7 = 0. Suppose v*c + c = 12. Let d be 8 - (210/(-245) - (-48)/7). Which is smaller: c or d?
d
Let h(x) = -336*x + 4 - x**2 + 343*x + 0*x**2. Let j be h(8). Let r be (-14)/j*-2*(-1)/14. Is r less than 10?
True
Let n(k) = -2*k**3 - 9*k**2 + 33*k + 538. Let j be n(-10). Which is smaller: j or 1304?
1304
Let z = -47957.099 - -47892. Let t = z - 0.901. Which is greater: -2 or t?
-2
Let q be ((-30)/24)/((-2)/24). Suppose 0 = 3*c + q, -2*t - 2*c = -3 + 11. Let x = -54 + 65. Is t smaller than x?
True
Let t = 2.2 - -0.8. Let k = -5 + t. Let f = 13497.007 + -13497. Which is bigger: f or k?
f
Let g = -2.45 - -4.19. Let m = 1.54 - g. Which is