 i = 3 - 3.65. Is y greater than i?
True
Let x = -360 - -392. Let r = -35 + x. Which is greater: 3/20 or r?
3/20
Let y = -1804 + 1839. Which is bigger: 49 or y?
49
Let m be -1 + -1 - (-6 - -3). Let a = -19/20 - -3/4. Which is bigger: a or m?
m
Let h = -20412 + 20441. Is h greater than -61?
True
Let q(j) = 2*j**3 + 3*j**2 - 2*j + 3. Let l be 3/9 - 10/3. Let h be q(l). Let b = 5757 + -5776. Are h and b non-equal?
True
Suppose -7*u + 114 = -108*r + 105*r, 0 = 4*u - 3*r - 51. Suppose 5*k + 3*m = 26, 0*m = 5*m - 10. Are k and u nonequal?
True
Let o = -1516/13 - -20598/221. Which is smaller: -24 or o?
-24
Let g(v) be the second derivative of v**3/3 + 21*v**2/2 + 19*v. Let b be 3/5 - ((-53)/(-5) + -1). Let k be g(b). Is k less than -16?
False
Suppose 4*y + h + 8 = 0, 7*y - 17 = 4*y + 5*h. Let k = 18 + -8. Suppose 5*x = -0*x - k. Which is bigger: x or y?
y
Let h = 437725/82 - 5338. Which is smaller: h or -1?
-1
Suppose 67 = 6*x - 1751. Let h = -3336/11 + x. Which is smaller: 0.03 or h?
h
Let b = -40 - -38.95. Let d = -1.6 - b. Let c = d + 0.95. Which is greater: -8 or c?
c
Let t be (-9 - 281)/5*15/(-6). Which is greater: t or 724/5?
t
Suppose 96 = 459*z - 465*z. Do -24 and z have different values?
True
Suppose 0 = -4*q - 4*h - 400, 3*q + 216 + 88 = -h. Is q smaller than -103?
False
Let k(b) = -54*b - 1. Let p be k(-2). Let y be (-116 + 95)*(-36)/7. Which is smaller: p or y?
p
Let x = -8713 + 8886. Is 19 at most x?
True
Let w be 23842/637 - (3 - -10). Is 25 less than or equal to w?
False
Let j = -15 - -15.11. Let y = -102.7 + 113. Let w = y + -9.3. Is w less than or equal to j?
False
Let y(i) = -i**2 - 26*i + 84. Let g be y(-33). Let s be -3*(10/1)/(126/g). Which is smaller: 23 or s?
23
Suppose -153*o - 277211 - 11347 = 0. Is o not equal to -1886?
False
Let y be (2 - 14/(-6)) + (-76)/(-114). Let x be (-348)/8*y/(-30). Is x != 7?
True
Let t = 4446695/111 + -40061. Is t not equal to -1?
True
Let h = -580 - 69. Let i = -654 - h. Is -1.7 > i?
True
Let p = 35.66 + -33.16. Let z = 0.09 - 0.09. Is z greater than p?
False
Let h(c) = 82 + 26*c + 13*c - 42 + 290 - 5*c. Let m be h(-10). Which is bigger: -35/4 or m?
-35/4
Suppose 4*i = -5*j + 16, 0*j = 2*j - 3*i + 12. Let y = -197 - -103. Let m = 106 + y. Is m equal to j?
False
Suppose 210*v = 205*v + 235. Suppose 63 - v = -h. Is -114/7 > h?
False
Let k = 39555 - 39557. Are 6072 and k nonequal?
True
Suppose 2*d - 16*n + 11652 = -14*n, -2*d = 2*n + 11640. Let t = 52279/9 + d. Which is greater: t or -15?
t
Let b = -440.0503 - -0.0503. Let g = -439.9 - b. Which is smaller: g or -27?
-27
Let u = 105 + -105. Suppose -2*p - 158 + 20 = 2*y, 281 = -4*p - 5*y. Is p at least as big as u?
False
Let t(o) = -o**3 - 13*o**2 - 26*o - 33. Let s be t(-11). Is 3 equal to s?
False
Let i be (1/1)/(16/1776*-9). Are -6 and i equal?
False
Let x(p) = -22*p**2 - 9*p - 1. Let q be x(-6). Let u = 43 - q. Is 782 less than u?
False
Let w = 0.2313 - 0.0413. Which is smaller: w or 0.87?
w
Let b be (-17)/(102/(-3960)) - 4. Let p = 642 - b. Does p = -33?
False
Suppose 9*r = 22*r + 28041. Which is greater: r or -2159?
r
Let j be 12/18 - 22/6 - 336. Is j bigger than -339?
False
Suppose 0 = 6*h - 2*h - 116. Suppose -77 = 24*z - 701. Is z at most as big as h?
True
Let l = 14.7975 - 0.1135. Let g = l - 14.7. Which is bigger: 0 or g?
0
Let y = 24.145 - 23.835. Which is greater: 397 or y?
397
Let l = -128647.551 - -128420. Let f = l + 228. Do f and -2/7 have different values?
True
Let s = 2770.036 + -2759. Let c = s + -0.036. Let b = c - 11.3. Which is bigger: -12 or b?
b
Let x = -23 - -24. Let u be -1*(2 - (x/1)/1). Let k be ((-4)/(-30))/(u/(-5)). Which is greater: -0.19 or k?
k
Let j = -0.22 - 20.78. Let v = 20.2 + j. Let o = 501 + -3505/7. Which is smaller: v or o?
v
Suppose 0 = 3*c - 7*c + 3*i + 60, -4*i = c - 15. Let y(u) = 3*u - 25. Let b be y(c). Let n be (-11)/(-5) - (-16)/b. Is n less than -7?
False
Let b be 216/(-224) - 90/(-126). Do 430/9 and b have the same value?
False
Let g = 751306262/2915 + -257738. Is -1 > g?
False
Let t(r) = 390*r + 98. Let p be t(-7). Which is smaller: p or -5263/2?
p
Suppose 3 = -2*b + 3*z, -18 = -3*b - z + 5. Suppose -b*v + 292 = 106. Which is bigger: 2 or v?
v
Let c(s) = -s**2 + s - 3. Let r(w) = w**2 - 19*w + 90. Let n(l) = 2*c(l) + r(l). Let j be n(-20). Do j and 0 have different values?
True
Let o = 332 + -125. Let l = 200 - o. Is -4 < l?
False
Let r = -71 + 76. Suppose r*x - 9 = -l, 2*l - x = -0 - 4. Let z be (0 + l/1)*(-360)/(-2460). Which is smaller: 0 or z?
z
Let a be (-92)/529*2/24*2. Let q(i) = 8 - 24*i**2 - 20*i**2 + 45*i**2 - 10*i. Let j be q(9). Is a less than j?
False
Let v = 105 - 60. Let p = 223 - v. Is 1 equal to p?
False
Let c be -2 - -2*(26 + 2). Let s = 51 - c. Let u be (-3 - -4)*6*-1*s. Which is greater: 19 or u?
19
Let m = -125 - -130. Let f be 10/2*((-12)/m + 2). Is f != -24/7?
True
Let n = 7417411/631 - 11755. Is -1 less than n?
True
Let i(u) = -u**3 - 21*u**2 + 13*u + 310. Let j be i(-18). Is -894 >= j?
True
Suppose 5*k + 2*s - 19655 = 0, 12019 = 5*k - 2*s - 7636. Which is smaller: 3930 or k?
3930
Suppose -r = -v - 418, 3*v + 4*r = 225 - 1451. Suppose -571 = 3*s + 671. Do s and v have different values?
False
Let c = -0.3 - 0.7. Let g = 40 + -38.2. Let t = g + -1.78. Is t at least c?
True
Let u = 3526 - 21095/6. Is u at least -0.2?
True
Let f = -6380 + 6371. Which is greater: -43 or f?
f
Let w(n) = -n**3 - 44*n**2 + 97*n + 236. Let p be w(-46). Is p > -2?
True
Suppose 18*o - 45 = 3*o. Suppose o*t = -c + 5, 4*c = -t - 4*t + 6. Is t >= 21/10?
False
Suppose 0*s - k + 1 = 2*s, s = -4*k + 11. Let h be 3/(-4) - (305/(-60) + s). Which is smaller: h or 4?
4
Suppose 0 = -6*z + 4*z + 6. Suppose 2 = -5*p - z. Let j be ((-1001)/(-20163))/((-42)/36). Which is smaller: p or j?
p
Let k = -518488 - -518489. Let f be 9/(-41)*(-4)/(-6). Which is greater: k or f?
k
Let a = -33.9 - -33.9. Which is smaller: -744 or a?
-744
Suppose -2*a + 3*v - 344 = 0, -6*v = -2*a - 4*v - 342. Are -167 and a unequal?
True
Let h = 3943 + -3899. Is 41 less than h?
True
Let w be 476/(-6) + 1824/684. Suppose 0*a = a + 77. Which is greater: w or a?
w
Let j = 3723 + -3712. Which is greater: -30 or j?
j
Let g be 2303/(-4598) + 3/6. Let j be (2/(-3))/2*0. Which is greater: g or j?
j
Let w = -1933 - -1827. Do -51/7 and w have different values?
True
Suppose 0 = k - 3*i + 7*i - 22, 0 = 5*k - 5*i + 15. Suppose -3*w - 741 = -k*w. Which is smaller: w or -740?
w
Let z be 1254/(-4)*4674/(-369). Which is smaller: z or 3973?
z
Let n be (21/(-192164))/1*(-4309948)/6. Let w = n + 2/6863. Which is greater: w or 80?
80
Suppose 126 = 3*h - 9. Suppose 2*d = -3*d + 50. Suppose h = -7*k + d*k. Which is greater: k or 13?
k
Let n = -13201 + 13200. Which is bigger: -2/107 or n?
-2/107
Let i = 0.8 - 0.54. Let b = i - -107.74. Which is smaller: 2/5 or b?
2/5
Let w = 3179 - 2084. Suppose y - 618 = 2*s - 71, -w = 4*s - y. Is -272 <= s?
False
Suppose 0 = -5*v + 35 + 35. Suppose -23 = v*x - 9. Which is greater: -4/7 or x?
-4/7
Let l(r) = -8*r**3 + 6*r**2 - 2*r + 16. Let d be l(-4). Let w be (-4 - -2)*-316 + 0. Is w >= d?
True
Let w be (6/8)/((-34356)/(-168)). Which is smaller: 1 or w?
w
Let f = -997.075 - -997.1. Is f > 6/7?
False
Let d = -175/2 - -95. Suppose 7 = 3*h - 5, -4*h = m - 19. Let l be 8/1 + (0 - (m + -4)). Which is greater: d or l?
l
Let j be 14/(-8)*(80 - 48). Let f be 21*(-8)/j + 86/(-30). Do f and 1 have different values?
True
Let f = 0.003 - -0.112. Let m = -0.02 - f. Let u = m + 0.035. Which is greater: u or 2/7?
2/7
Let v = -766 - -870. Let q be 100 - (-3 - (-1)/(-1)). Is q equal to v?
True
Let a = 1465 - 1465. Are a and 3/1198 unequal?
True
Let w = -63289/26 + 2434. Which is greater: w or -1?
w
Suppose g + 3 = d - 3*g, 0 = 5*d - 5*g. Let b = 45169/31 - 1457. Does d = b?
False
Suppose 4517*x - 7 = 4524*x. Does 568 = x?
False
Let p be (-6 + 61)/((357/(-24))/(-17)). Which is bigger: -0.03 or p?
p
Let d be -9 + ((-19)/((-4503)/(-420)) - -9). Is d != -2?
True
Let z = -34.393 - -34.3. Let y = 1.093 + z. Is y greater than 0.009?
True
Suppose 7*p + 51 - 79 = 0. Let t(r) = 31*r**2 - r - 2. Let n be t(4). Let f be (-6)/p*13/(195/n). Which is bigger: -48 or f?
-48
Suppose -i = h - 28, -h = 3*h - 5*i - 67. Suppose 29*r = h*r - 54. Is -22 less than r?
T