 l = 166.88 - 165.45. Is l greater than 6.3?
False
Let f = 2 + -2. Let r = 1026 + -388. Let i = -7657/12 + r. Which is greater: i or f?
f
Suppose 204*u = 200*u - 340. Let w = 71 + u. Which is greater: w or -21?
w
Let p(d) = d - 5. Let v be p(7). Suppose -v = -3*w - 2. Let s(c) = 2*c**2 - 6*c + 8. Let z be s(0). Is w less than z?
True
Let j = 73 + -38. Let f(y) = 10*y**2 - 32*y + 1. Let h be f(4). Is j < h?
False
Suppose 68*j = 70*j - 32. Suppose 0 = -g - 0 + 4, -m = 4*g - j. Which is smaller: -2/499 or m?
-2/499
Let q be (-119)/(-5 - (-1 + -3)). Suppose 13*h - q = -587. Is -34 at most as big as h?
False
Suppose 0 = k - 0*k + j - 746, -4*k + j = -2959. Which is bigger: k or 743?
743
Suppose -3*c - 4*y + 101 = 0, 43*y - 45*y = -10. Suppose 5*q - 3 = 42. Let d = 18 + q. Does d = c?
True
Suppose 4*n - 8 = 4. Suppose -4*i = -n*i. Let h = 13981 + -181755/13. Which is greater: h or i?
i
Let h = -547 - -542. Let w(v) = v**3 - 8*v**2 + 7*v + 5. Let r be w(7). Suppose 11 = -4*c - 5, -3*c = -r*n + 2. Which is greater: n or h?
n
Suppose -2 = -2*r, -2*w + 531 - 55 = 2*r. Which is smaller: 232 or w?
232
Suppose -8*u + 2863 = -908 - 9013. Is u <= 1598?
True
Suppose 2*z - 3*h = 34, 5*z + 44 = 4*h + 115. Suppose z*n + 12*n = 28*n. Do n and -1/98 have the same value?
False
Let v = 84.6 + -215.6. Which is bigger: -15 or v?
-15
Let p be (-28223)/10452 + 2 - ((-28)/(-12) + -3). Do p and 0 have different values?
True
Suppose -16*j + 1859 + 93 = 0. Suppose o = -2*k + 67, 3*k + 12 = 2*o - j. Let f = o + -51. Do f and 14 have the same value?
False
Let z be (-46)/65 + 10/25. Suppose k - 21 = 5*j, -5*j = -j + 16. Is z at most k?
True
Let s = -0.3 + 1.9. Let t = 20.718 - 13.718. Which is smaller: s or t?
s
Suppose 11 - 17 = -q + 53. Is 20 greater than q?
False
Suppose 3*d - 10 = 4*h + 168, 2*h = d - 90. Let i = 6/35 + -53/105. Is i > h?
True
Suppose -5*i + 6 = -124. Let u = i - 106/3. Let s = -109882 - -109873. Which is smaller: u or s?
u
Suppose 0 = 2*c - 3*j - 30, 4*c - 3*c - 16 = 2*j. Let b be -2 + c/10 + (-5229)/(-105). Is b <= 50?
True
Suppose -109*m - 152*m = -315*m. Are m and -11/58 non-equal?
True
Let c = 0.026 + -20.026. Let a(o) = o**3 + 14*o**2 - o + 1. Let b be a(-14). Let g be (b/25)/1*4/(-6). Do g and c have the same value?
False
Let h = -64/15 - -28/5. Suppose -16*g + 12*g = -220. Let y = 57 - g. Is h bigger than y?
False
Let j = 6140 + -6139.9. Which is smaller: j or -6676?
-6676
Let j be (-1 + 1 + -36 - (-756)/108) + 3. Are -121 and j nonequal?
True
Let a = 27194 - 27191. Suppose 146 = -5*p - 3*i, p - 5*p + i - 127 = 0. Does a = p?
False
Let o(w) be the first derivative of -9*w**2 + w + 57. Let l be o(0). Is l > -2/381?
True
Let s = 561 - 509. Which is bigger: s or 53?
53
Suppose 29*h = 53*h - 50568. Suppose -11*w = -995 - h. Is w less than or equal to 0?
False
Let t = -19 + 19.22. Let r = -7.5 + 8.28. Let j = r + t. Is j > 0.17?
True
Let p = 177 + -219. Let l be (-2)/57 - (p/(-7) + -6). Are 1 and l non-equal?
True
Let z be ((-334)/8)/(21/84). Let a = z + 136. Which is bigger: a or -30?
-30
Let s(m) = 2*m**2 - 15*m - 21. Let q be s(-7). Let v = q - 182. Which is smaller: 7/8 or v?
v
Suppose 2*y + 2*m = 5*m + 247, -2*m - 10 = 0. Let v be ((-18)/4)/(4089/y). Suppose 0 = 4*u - 3*z - 11, 2*z + 3 = -7. Which is smaller: v or u?
u
Let b(f) = -230*f + 91. Let i be b(-3). Let k = 707 - i. Which is greater: k or -372/5?
k
Let h = -0.159 - -2.279. Let o = 1.12 - h. Does o = -2.3?
False
Let y = 66.52 + -102.52. Which is bigger: y or -4/5?
-4/5
Let r be ((132/10)/(-11))/((-3)/1330). Let u = r - 512. Is 93/5 at most u?
True
Let u = 33566/3 + -11318. Which is smaller: u or -128?
u
Let i = 166 + -341. Let a = i + 170. Let x = -3 - -4. Is a less than x?
True
Suppose 73*j = 1327*j + 1267*j. Let q = 531.0555 + -0.0555. Which is greater: q or j?
q
Suppose 0 = -2*k - a + 6, 0*a = k + a - 5. Let f = 778325/9 + -86043. Let w = -438 + f. Are w and k nonequal?
True
Let u = -9.1 + 15.8. Suppose -z + 19*y + 39 = 0, -2*z + 3*z = -3*y - 5. Which is bigger: z or u?
u
Let t = -28.6 + 57.8. Let l = -29.232 + t. Is l greater than or equal to -2?
True
Let m be (0 + (-3)/6)*(-50)/(-17). Let x be (-17)/(510/(-24)) + (-54)/30. Which is greater: m or x?
x
Let u = -0.43316 - -79.43316. Is 0.107 at most u?
True
Let u(k) = 289*k + 370. Let i be u(-6). Which is greater: i or -1368?
i
Let w = 1220.7 + 2357.3. Which is bigger: w or -2/7?
w
Let o = 0.09 + 0.07. Let q = o - 1.16. Let v = -0.0692 + -0.0308. Is v >= q?
True
Let z be 1*(16/11204)/(-2). Which is smaller: z or -2?
-2
Let c = -23760 - -3587755/151. Which is smaller: c or 1?
c
Let w = -2380817857/10983 + 216773. Which is smaller: -1 or w?
-1
Suppose 134 = 25*r - 16. Suppose 0 = 3*q + r, 13 = -5*s + 5*q + 143. Are s and 24 equal?
True
Let d be (-4)/(-18) + 2*608/(-4176). Let y = 12 + -9. Which is greater: d or y?
y
Suppose -g - k + 5 = -1, -3 = g + 4*k. Let o be -4*g/(-20) - 4. Which is bigger: o or -0.2?
-0.2
Let p = 98310081/271150 - 161067/550. Let f = -1194/17 + p. Are -1 and f unequal?
True
Suppose -26 = 5*g - 2*t + 60, 2*g + 2*t + 26 = 0. Is g equal to -0.036?
False
Let p = -13435 - -255262/19. Let g = -2 - -1. Is p equal to g?
False
Suppose -2*x + n + 4 = 0, 0 = -x + 3*n + 2*n - 16. Suppose x*o = -2*m + 90, 8*m - 9*m - 1 = 0. Are 25 and o equal?
False
Suppose -11*p + 3*p = 8. Let b be (-1)/((2/258)/p). Are 127 and b unequal?
True
Let b = 3208 - 3204. Which is smaller: -2/277 or b?
-2/277
Let y(t) = 118*t - 24. Let r be y(-8). Let p = 965 + r. Let w = 12 - 4. Which is greater: w or p?
w
Let y be -17 + (14 - -4) - 12/26. Is 11 > y?
True
Let c be (-9 - (-1519)/168)/(1/142). Suppose 0 = 7*k - 7 - 28. Are k and c nonequal?
True
Let z = 223 + -209. Let c = -23 + z. Is c > 13?
False
Let z be (((-3168)/(-55))/(-24))/((-2)/(-25)). Is z bigger than -495/16?
True
Let x = -12985 + 14311. Which is smaller: 1324 or x?
1324
Let j = 1231 - -2522. Let g = 228939/61 - j. Are g and 1 nonequal?
True
Let s(n) = 38*n**3 - 2*n**2 - 3*n - 2. Suppose -9*k + 19 = 28. Let r be s(k). Is -43 > r?
False
Suppose -5 = -5*w - 4*s, -4*w - 5*s = -1 + 6. Suppose 5*x + p = 41, 5*x = 6*p - w*p + 39. Suppose -3*r - 5*h = -x*r, -3*r + 1 = -2*h. Which is greater: -5 or r?
r
Let v be (-8*(-9)/36)/(1*(-2 + 4)). Suppose 3*t = -0*t - x - 27, -3*t - 24 = 2*x. Let f be -30 - v - (t - -5). Is -27 at least f?
False
Let x be 524/(-22) - (-80)/(-440). Which is bigger: 375 or x?
375
Suppose 8*h - 684 = 11*h - w, -5*h = -2*w + 1141. Which is smaller: -228 or h?
-228
Let o be (-516)/(-252) + -6 - (0 + -9). Is 4 bigger than o?
False
Let q be (600/18)/(-20) - (2 + 3)/(-5). Let j = -94 - -137. Let v = j + -98. Which is smaller: v or q?
v
Suppose 2*m - 29 - 47 = 0. Let h = 37 - m. Let x be (506/115)/(h/5). Is x at least -22?
True
Suppose -111*y - 41*y = 986784. Are y and -6494 unequal?
True
Let b be (7159/(-1023) - (-97 - -94)) + (-3 - -7). Which is bigger: 1 or b?
1
Let c be (-195)/364 + (-7)/(-28). Suppose j + 0*j = -5*j. Does j = c?
False
Let c = -32809487/261 - -125707. Is 1 at most c?
False
Suppose 5*a - 7*a + 5*v - 9 = 0, -3*a + 3*v - 27 = 0. Let c be (-18)/a*26 - (-1 + 0). Which is greater: c or 41?
41
Suppose -7*u + 7 - 217 = 0. Let a = 40 + u. Suppose 6*b - 7*b + 9 = -2*h, 4*h - 17 = -3*b. Which is smaller: b or a?
b
Let t(n) = 3*n - 28. Let c be t(8). Let x = 20 - 10. Suppose -17 + x = 7*k. Is c > k?
False
Let c = 151009 - 1356799/9. Is c bigger than 254?
False
Suppose -4*x = -8*x + 588. Suppose -18*a = -19*a - 2*d - 81, x = -2*a - d. Is -71 > a?
False
Let r = -1.3008 - -0.3008. Do r and -80 have different values?
True
Let f be 11/3 - (-2)/(-3). Suppose 0 = n + 2, 5*q = 5*n - 411 - 119. Let u = q + 109. Is f > u?
True
Let t = 8336 + -8294. Let v = -8 - -11. Let f = t - v. Is 39 less than or equal to f?
True
Suppose -4*q = 25*q - 290. Which is smaller: q or -637?
-637
Let k = -3548.6 + 3369.6. Let h = 1 + 0. Is h at most k?
False
Suppose 19 - 35 = -8*g. Let l be -32*(4/1 - g). Is -65 != l?
True
Let n(r) = -5*r + 45. Let p be n(12). Let m be (6 - 7392/1230)*p/78. Which is bigger: m or 1?
1
Let d be (18/(-69))/(-5 - -3). Suppose -2*h = 5*k + 4, -3*k + k + 10 = -5*h. Suppose -4*v + 10*v = k. Is d bigger than v?
True
Let l(y) be the second derivative of y**5/20 + 2*y**4 - y**3/3 