27. Let w be m(0). Let t = w - -31. Let u be (-8)/36*(-2)/t + 1. Which is smaller: u or 2?
u
Let a(d) = -5*d**3 - 2*d**2 + 5*d - 19. Let v = -146 - -150. Let t be a(v). Which is greater: t or -352?
t
Let h = 45241.1 + -45241. Let j = 262 + -505/2. Which is greater: j or h?
j
Let b = 2370 + -133. Are 2237 and b non-equal?
False
Let w = 2862 - 2957. Which is smaller: w or -851/9?
w
Let w = -0.024 + 22.124. Let q = w - 33. Is q at most -0.1?
True
Let q be 28 - ((-6)/(-9))/((-6)/9). Suppose i - 5 = 0, w + w + i - q = 0. Do w and 23/2 have the same value?
False
Let h = -31 + 128. Let x = -97.06 + h. Which is bigger: -34 or x?
x
Let l(g) = -g**2 + 8*g - 1. Let t be l(8). Let d = 121 - 250. Let w be (d/39 + 4)*2/12. Which is greater: w or t?
w
Suppose 5*q + 2*w = -70, w + 0*w = -5. Let m be (q/15)/(((-6)/25)/(-3)). Is -10 less than m?
False
Suppose -3*f - 280 = 4*o, -54*o - 5*f - 345 = -49*o. Is o <= -79?
False
Suppose 3*g = -c + 72, c - 4*c + 4*g = -242. Which is smaller: 60 or c?
60
Let q = -65 - -66. Let g = -5060890/321 + 15766. Is q > g?
True
Suppose -8*c + 3*c - 5*x = -105, -4*x = 5*c - 100. Suppose -c*u = 42 - 10. Which is smaller: u or -7/9?
u
Let r = 239.056 - 239.37. Which is greater: r or -15?
r
Let n = 731/964 - 2/241. Let g = -84 + 41. Let s = g - -52. Is n < s?
True
Suppose -4*r + 8 = 0, 2*p + 0*r = 9*r - 16. Which is smaller: -5/3157 or p?
-5/3157
Let b(w) = 12*w**2 - 45*w + 1. Let t be b(-7). Suppose 0 = -5*h - 3*h - t. Is h greater than 0?
False
Let z = 41.031 + -0.031. Let h = z + -63.3. Let m = h - -21. Is 2 <= m?
False
Suppose 3*q + 1785 = -4*r + 2*q, 0 = -2*r - q - 891. Is -453 at most r?
True
Let p = 2365136/228217 + 2/20747. Let c(a) = a**3 - 2*a**2 + 8*a - 23. Let t be c(3). Which is smaller: t or p?
t
Let x be ((-6)/(-9))/((-4)/(-18)). Suppose 3*p - j + 111 = 0, 0*p + 37 = -p - x*j. Is p <= -34?
True
Let u = -739/9266 - -7/226. Let p(z) = z**2 + 6*z + 2. Let o be p(-6). Let r be ((0 - 1) + o)*-1. Is r at most u?
True
Suppose -4*y + 76 = -5*g, -5*g + 15 = -2*y + 83. Let h be 8683/380 - -1*3/g. Is h at most as big as 24?
True
Let t = -10499/52 - 36684/13. Is -3023 < t?
False
Let d(j) = j**2 - 4817*j - 33759. Let r be d(-7). Let b be 15/3 - 0/2. Which is smaller: r or b?
b
Let p = 302825 + -2114843/7. Which is greater: 705 or p?
705
Let h be ((-6524)/6 - 3/(-9))/(-1). Suppose -h = -3*d + 380. Let w be 6/8 + d/(-636). Are 0 and w nonequal?
True
Let g be -12 + 15 + (-50)/2. Let b(y) = y**3 + 23*y**2 + 21*y - 25. Let v be b(g). Let h(j) = 5*j**2 + j + 2. Let s be h(v). Are s and 44 nonequal?
False
Suppose 210*j - 19 - 1031 = 0. Suppose 10*k - 5*k = -230. Let m = 151/3 + k. Is m at most j?
True
Let a be (4 - 8/2)/(-17 + 18). Which is bigger: 52/49 or a?
52/49
Let l = 1081 + -2745. Let y = l + -462. Let v be -22 + 17 + y/(-426). Which is smaller: v or -1?
-1
Let m = -13.21 + -0.69. Let y = m - -15. Let p(b) = 9*b - 46. Let r be p(5). Is r less than y?
True
Let k be 20/6*4/3540. Which is bigger: 4/9 or k?
4/9
Let l = 5137 + -15416/3. Which is greater: 6/47 or l?
6/47
Let m(q) = -58*q - 69. Let p be m(-6). Let r = -308 + p. Are -33 and r unequal?
True
Let s = -31 + 65. Suppose -s = w - 12. Do -24 and w have different values?
True
Let m = 0.249 - 126.249. Let f = 81 + m. Let t = 46 + f. Which is greater: t or -4/3?
t
Let a = -119891/724163 + 78/473. Let k = a - 1397/205154. Are 2/7 and k non-equal?
True
Suppose 2*m - 4*m = 3*t + 37, -3*t + 4*m = 43. Let g be 0/1 + t/(65/2). Let a = 58.7 - 59. Are a and g unequal?
True
Suppose -8*j + 65 = -21*j. Let r(v) = 8*v + 5. Let n be r(j). Is -41 <= n?
True
Suppose 2*v - 695 = -7. Let x = v + -343. Is x less than 21/13?
True
Let i(c) = -41*c - 154. Let h be i(-4). Let z be 6*4/(-48)*h. Which is greater: -31/5 or z?
z
Suppose 0 = -352*p + 354*p + 76. Which is smaller: p or -191/5?
-191/5
Let y be (1425/(-50) - 27)/(1/(-12)). Is 664 less than y?
True
Let c be 4/((-16)/(-28)) + -4. Suppose c*a + 5*y = 3*y - 182, 4*a + 2*y + 242 = 0. Let l = a - -64. Are 4 and l nonequal?
False
Let n be 22515/665 + 13/(-7) + 1. Let m be 99/n*(-3)/9. Which is smaller: -155 or m?
-155
Suppose 5*w = 2*d + 34, -5*w - 2*d - 2 + 28 = 0. Suppose -3*s - 2*n = -20 + 18, 2*s - n - w = 0. Suppose 2*g - 4*g = -8. Which is greater: s or g?
g
Let w = -1.5 + 1. Let o = 1 - w. Let p = -4186/3 + 4187/3. Is o at most as big as p?
False
Let k(s) = -6*s - 32. Let o(a) = -5*a - 32. Let i(q) = 3*k(q) - 4*o(q). Let f be i(-15). Let r = 111/68 - 15/17. Which is bigger: f or r?
f
Let c = -1/1310 + -1939/34060. Suppose 6*f + 11 = 4*d + 7*f, -f - 9 = -d. Let q be 1*-3 + 6/(d + -2). Is q greater than c?
True
Let a = -45 - -46. Let s(w) = -w**2 + 8*w - 6. Let x be s(a). Is -0.67 at least as big as x?
False
Let j = 69/2 - 33. Let a(z) = 12772*z - 140491. Let n be a(11). Is n bigger than j?
False
Suppose -3*g + 6*g = -5*c - 415, g = 5*c + 395. Let y = c + 161/2. Let f = -41 + 40. Is f > y?
False
Let w be 1/(-11) + 8917/48840. Which is smaller: -1 or w?
-1
Let s(h) = -8*h + 6. Let l be s(5). Let x = 54 + l. Let u = 36 - x. Are 31/2 and u nonequal?
True
Let v be (280/16)/(20040/288). Which is bigger: 1 or v?
1
Let i = 216 + -93. Let w = -114 + i. Which is smaller: w or 16?
w
Suppose 7*s + 4*s = 8*s. Is s greater than 0.0491?
False
Let y be 4/23*(-28 - (-1130)/40). Suppose s + 2 = 3. Is s less than y?
False
Let g(d) = -3*d + 8. Let s be g(6). Let p be 2 + 8/((-48)/1314). Let c = -225 - p. Do s and c have different values?
True
Suppose 3*b + 27 = 3*a, 2*a - 3*b = b + 12. Suppose 3 = a*k + 15. Which is greater: -1/28 or k?
-1/28
Let b = -1198 - -1189. Is b > 1/48?
False
Let c = -318.9 - -308. Let x = c + 10.8. Which is smaller: x or 84?
x
Let k be 2504/(-5852) - (-17)/(-187). Which is smaller: 0 or k?
k
Let o = 16 + 0. Suppose 2*f = r - o, 2*f + 2*r + 20 = 4*r. Which is smaller: f or 0.1?
f
Let c be -5 + (-13 - (1 - -1)). Let i be 0 + 308/c - (-4)/10. Is i smaller than -18?
False
Let j be (((-1040)/(-36))/(-13) - 2/(-9)) + 2. Do j and 7/1184 have different values?
True
Let p be ((-2340)/(-72) - 31)/((-3)/(-236)). Let f be 6/(-8)*1/(-3). Which is bigger: p or f?
p
Let x = -146 + 149. Let j be 42/(-60) - x - -1. Which is smaller: -2 or j?
j
Suppose 8*c = 11*c + 3. Let h be (-166)/(2/(-2)) - c. Suppose -3*y + h = 5*t - 3, 0 = -t - y + 34. Which is smaller: t or 33?
33
Suppose 0 = -0*y + 7*y - 133. Let v = 56/3 - y. Let w = -39/5 - -7. Do v and w have the same value?
False
Let g = -1170 - -3542/3. Let c = 1491.7 - 1492.7. Which is bigger: c or g?
g
Let x(a) = -4*a**2 + 12*a - 3. Let b be x(2). Suppose 3*m = b*w + m + 1027, -m - 832 = 4*w. Which is smaller: -208 or w?
-208
Suppose 0 = -3*o + g - 6, -5*o = -3*o + 7*g - 19. Let r = 9040 - 524305/58. Is o > r?
False
Let o be (24/76020)/(320/(-224)). Do o and 1 have the same value?
False
Let u be (-6)/(-58)*(-4985)/2805 + 34/187. Is u less than or equal to -1?
False
Let x = -8/593 + 88389/2372. Which is greater: x or 37?
x
Let k(t) = -t - 73. Let n be k(-72). Do n and -2/31019 have the same value?
False
Let v = -2 + 33. Let t = 12.3006 - 12.6. Let f = t + 0.0994. Which is smaller: f or v?
f
Let x = 36 - 36.7. Let p = x - -1.3. Let r = -1.0469 + 0.0469. Is r equal to p?
False
Let z = 105117 + -105171.139. Let x = -0.139 - z. Let u = x + -53. Is 0.2 at most u?
True
Let a = -77 - -270. Let x = a + -237. Which is smaller: 0.3 or x?
x
Let z be ((-349150)/(-275))/((-12)/(-66)). Is 6983 != z?
False
Let h be (36/(-24) - 1)*-124. Which is smaller: 324 or h?
h
Suppose -11*q = -7*q - 2*v - 4392, q - 1107 = -4*v. Is q >= 1102?
False
Suppose -u = -5*t + 45, -2*u + u - t = 75. Let p(o) = o**3 + 17*o**2 + 33*o - 25. Let a be p(-15). Is a <= u?
True
Let d = -0.11635 - 30.68365. Is d equal to -7?
False
Suppose 0 = -37*j + 34*j - 9. Let q be ((-4)/(8/209))/(j/(-6)). Is q > 0?
False
Let d = 18742 - 18741. Which is bigger: -1/174 or d?
d
Let c = 45491 - 45653. Is -148 smaller than c?
False
Let o be 17409/(-10494) - -2 - (-4)/(-12). Let s = o + -45196/1749. Is s < -25?
True
Let y be -3 + 6 - (-1)/2. Let m(h) be the third derivative of h**4/24 - 2*h**2. Let b be m(3). Which is smaller: b or y?
b
Let g = 41 - 82. Let h = -1 + g. Let d = h - -45. Which is bigger: d or 8?
8
Let j be 304 + -298 + 1272/7. Which is smaller: j or 188?
