be 138/276*8/2. Is y > 37/39?
True
Suppose -3120 + 3120 = -298*c. Let s(q) = q**3 + 8*q**2 + 8*q + 6. Let i = -24 + 17. Let j be s(i). Is c >= j?
True
Let u = -102443 + 35752697/349. Is 0 at most as big as u?
True
Let y = 0 + 0. Let z = -384 + 387. Let x be (-28)/280*(-8)/z. Which is greater: x or y?
x
Suppose 8 = -r + 5*r. Suppose 0 = -5*v + 3*v - r. Let w be (-840)/135*(-21)/(-56). Is w <= v?
True
Let g(m) be the second derivative of m**4/12 + 4*m**3/3 + 7*m**2 + 70*m. Let w be g(-6). Is 28/11 bigger than w?
True
Let p be -2*2*157542/6324. Is -99 < p?
False
Suppose 2*t + 2*p - 18 = 0, 3*p = -16 + 1. Which is smaller: t or -0.204?
-0.204
Let j = -99.06 + -0.94. Let p = 194 + -96. Let y = j + p. Which is bigger: y or -0.8?
-0.8
Let t be (3 - (-4 - -4)) + 3 - (-30)/(-5). Which is smaller: t or 101/81?
t
Let h = -246.412 + 248.4. Is h smaller than 0.1?
False
Let i = -703 - -1058. Let h = -456 + i. Do h and -102 have different values?
True
Let i be (2*2/4)/(-1). Let k(v) be the third derivative of v**5/60 - 7*v**4/24 - v**3/2 - 43*v**2 - 3. Let x be k(7). Is i bigger than x?
True
Let b = 2063 - 32999/16. Suppose 0*p = -2*p + 2. Is b bigger than p?
False
Let r be 21/(-15) - (-3 + 1). Let z = 16 + -13. Let j be 0/(3 - z - 2). Is j less than r?
True
Suppose -5*b + 225 = -215. Let a = b + -124. Let x be ((-4)/18 + (-62)/a)/3. Which is smaller: 1 or x?
x
Suppose -5*p - 2816 = z, -43*p - z = -44*p - 568. Let l be 7*(-5)/(-175) + p/(-105). Are 1/4 and l nonequal?
True
Let u be 1596/35 - 6/(-15). Let g = 85 - u. Let s be (-6)/g + 2/13. Is s greater than -2/67?
True
Let g(b) = 4*b**2 + 3*b + 9. Let d be g(-7). Suppose 10*r + 7*r - 187 = 0. Suppose r*f - 3*f = d. Which is bigger: f or 21?
f
Let i be 54229/(-3843) + ((-36)/(-3))/2. Which is smaller: -4 or i?
i
Let y(h) = 2*h**2 + 29*h + 54. Let q be y(-27). Let l = -700 + q. Which is bigger: l or 175/6?
175/6
Suppose -2*i - 29 + 43 = 0. Suppose -i*r + 2*r + 5 = 0, 5*v + 5*r = 10. Which is bigger: v or -2/47?
v
Suppose 2*o - 464 = 4*h - 4004, h = -o - 1776. Which is smaller: o or 1?
o
Let s(j) = -j**2 + 13*j - 16. Let b be s(11). Let o be ((-2)/(-4))/(b/(-2*828)). Is o < -138?
False
Let a = 129 - 128. Let l(h) = 18*h**3 - 3*h**2 + 2*h. Let g be l(a). Is g at most 22?
True
Let t be -1 - -2*(-10)/(-4). Suppose -2*w + 6*w - 244 = -t*k, 0 = 5*w + 3*k - 309. Suppose -3*z + 129 = -3*v, 3*z + w = -4*v - 123. Which is smaller: -46 or v?
-46
Let o be 4/10 - (-25 - -24)/(30/(-5262)). Is o equal to -212?
False
Suppose 0 = 29*b - 6*b - 109296. Let m be b/(-96) - (-6)/(-4). Which is smaller: m or -50?
m
Let l be 4*(-398)/(-8) - 4. Let n be (l + 2)/((0 - -1)*1). Which is bigger: 0 or n?
n
Let m(k) = k**2 - 82*k + 803. Let h be m(11). Which is smaller: h or 164?
h
Let v = 893 - 892. Let q = -0.25 + -4.75. Let j = -4.8 - q. Is j at most v?
True
Let g = 0.8014 - 0.7014. Is g less than -1117?
False
Suppose 7*g - 211 = -43. Suppose 0 = -x - 7*h + 3*h + 11, 3*h - g = -3*x. Let m be -1 + 7/(x/(-2)). Is m > -7/3?
False
Let b be 165/4 + (-21)/(-28). Let l be -461*((-32)/40)/((-14)/5). Let j = 132 + l. Are b and j equal?
False
Let y = 6.736 - 6.736. Which is smaller: -0.705 or y?
-0.705
Suppose 76*m - 41155 - 103473 = 0. Which is bigger: 1 or m?
m
Let a be 1 - -1 - (-26)/(-26). Let o be (a + -29)*(-117)/(-18). Is o <= -912/5?
False
Let z = -865 - -4351/5. Let i(h) = h**3 - 3*h**2 - 4*h + 3. Let g be i(4). Suppose -5*m = -2*x, 3*m + 2 = g*x - 7. Which is greater: z or x?
z
Let r = 2.12 + -0.12. Let h = 3038 - 3038.1. Which is smaller: h or r?
h
Suppose 7 - 15 = -2*y. Let o be (-91)/(-21) + y/(-3). Suppose -o*a = -4*a + 6. Which is smaller: a or 32/7?
32/7
Suppose 2*a + 5*a = -a. Which is smaller: a or 3/2456?
a
Let c = -139.5873 - -139.5. Let p = c - 0.0127. Which is smaller: -210 or p?
-210
Let k = 2.581 + -1.581. Do 551 and k have the same value?
False
Let o = -211 - -93. Let g = -4024 - -4128. Let t = g + o. Is t at least -14?
True
Let i be (-1)/26*(-4)/(-5). Let v(o) = -7*o**2 - 2*o - 8. Let m be v(-8). Let d = 441 + m. Which is bigger: d or i?
d
Let q be ((-1580)/4 + -3)*5/2 - -6. Is -991 less than q?
True
Suppose 5*v = -0*v - 4*v. Suppose -4*q - 348 + 364 = v. Which is smaller: 0 or q?
0
Suppose -2*m - 5*i = -3*m - 3285, 0 = 5*m - 3*i + 16425. Let w = 594583/181 + m. Let j = 899/543 - w. Which is greater: j or 3?
3
Suppose 5*b = -5*k - 12000, -1082*b - 3*k = -1081*b + 2398. Are -2403 and b equal?
False
Suppose 57 = -17*z + 36*z. Suppose t + z*f = -0 - 106, 2*t = -2*f - 228. Which is bigger: t or -119?
t
Let g be 916/44 + 10/55. Let a be -1 - ((-1)/(-3) - (-560)/g). Is -24 at most as big as a?
False
Let z = 0 + 0. Let c be 3597/45 + (-16)/(-240). Suppose z = j - r + 22, -4*j = 2*r - 4*r + c. Is -18 greater than j?
False
Let z(s) = -s + 14*s - s**3 - 16 + 7*s**2 - 3*s. Let g be z(8). Suppose -q - 4*r = 22, 4*q + g*q - 5*r = -109. Which is smaller: q or -25?
q
Let z be (-26)/1*4/(-8). Suppose -l + 2*c + z = -2*l, 2*c = l + 5. Let j be 2*(45/70)/l. Is 1 >= j?
True
Suppose -32*j + 30*j - 2 = 3*h, 0 = 4*h. Which is smaller: -87/59 or j?
-87/59
Let a(n) = 2*n**3 + 52*n**2 + 15*n + 387. Let o be a(-26). Which is greater: 220 or o?
220
Suppose -4*i - i + 20 = 0. Suppose 3*w = -6, 3*x + 7*w = i*w - 18. Let p be (-12)/x + 102/(-16). Is p greater than or equal to -2?
False
Let h = 39 + -23. Let n = 25 + -25. Let j be n/((-9)/(-5 + 2)). Which is greater: h or j?
h
Let q = 59051/253 - 1889/23. Which is smaller: 150 or q?
150
Suppose -39 = -5*g + 101. Let l be (-1)/2 + 6/g. Is l greater than or equal to -1/5?
False
Let q(u) = -u + 29. Let w be q(11). Suppose 2*s - w = 5*n - 53, 4*s - 5 = -5*n. Let k = 65 - 56. Do n and k have different values?
True
Suppose g - 18 = -r, 0 = -3*r - g + 2*g + 42. Suppose 3*j - 8*j = -r. Suppose 5*v - 22 = 5*s + 28, -j*v + 23 = -2*s. Which is greater: s or -5?
-5
Let p = -98 + 48. Let w = -6408 + 44854/7. Is w less than p?
False
Let y(z) = 3*z**3 - z**2 - 2*z - 1. Let d be y(-1). Let t = -366 + 544. Let c = 176 - t. Is c bigger than d?
True
Let g(o) = -2*o + 7. Let q(j) = -j**2 - 7*j - 1. Let x be q(-6). Let p be g(x). Is 48 bigger than p?
True
Suppose -5*m + 3*d - 146 = -137, m + 6 = 2*d. Is m greater than or equal to 2/2273?
False
Let s = 27 + -45. Let g be ((-6)/(-15) + 188/5)*(-4)/8. Which is smaller: g or s?
g
Suppose -189 = -13*n + 4*n. Suppose i - n = -11. Let a be 5 + (-835)/200 - 2/i. Is 2 greater than a?
True
Let w = -8081 - -8192. Is 199 < w?
False
Suppose -3*z + 4*l + 586 = 0, -582 = -0*z - 3*z + 3*l. Let h be (38/z - 8/15)/(-6). Let g be (-42)/(-24) - 2*1. Is h at most as big as g?
False
Let b = 1147233242/2135415 - 15580/29. Is -1 equal to b?
False
Let n be -1 - 1/(-2)*2. Let x be (8 + -8)/(1 - 2). Suppose -4*w + 3*h = 0, x = -4*w + 5*h + 8 - 0. Is w smaller than n?
True
Let m = -280.62 - -280.5419. Do m and 0.4 have the same value?
False
Suppose -3*q + 244 = -2*o + 7*o, 4*o = -4*q + 192. Let g be (-30)/o - 169/35. Is -4 at least as big as g?
True
Let q = 0.096 + 5.604. Let h = -2.6 + q. Let l = 3 - h. Are 1.5 and l non-equal?
True
Let s = -147 - -234. Let p be (247 + -19)*(-4)/6. Let h = s + p. Is -65 at least as big as h?
True
Let t be 14/(-6)*50/35*(-180)/102. Is 0.1 equal to t?
False
Let b be (-1197)/(-3) - 27/9. Let z be 3 + -98*3*4/b. Let j(t) = -t. Let u be j(-1). Is z > u?
False
Let a = 445079 + -445032.2167. Let d = a - -0.1167. Let g = d + -47. Which is smaller: -6/7 or g?
-6/7
Let n(j) = 5*j - 16. Let s be n(7). Suppose -2*a + 1617 = s*a. Is a > 76?
True
Let k = 2/4459 + 8796/271999. Let v = -1051 - -1052. Which is smaller: v or k?
k
Suppose 5 = q - v, -4*v = 5*q - 0*v - 34. Let k be ((-16)/120)/((-2)/q). Let h = -865/574 - -2/287. Which is smaller: k or h?
h
Let z = -1 + 1. Let v be 9 - 7/(84/60). Suppose z = -2*x, 3*r = -v*x - 3 - 15. Which is greater: -7 or r?
r
Let h(m) = 5*m**2 - 5*m + 4. Let v be h(1). Suppose -15*s = -v*s + 341. Let r = 29.1 + -29. Which is smaller: s or r?
s
Let w = 93 + -86. Let z be ((-21)/(-4))/w + (-37)/(-4). Let d(n) = -n**3 + 8*n**2 + 19*n + 11. Let i be d(z). Is -6/35 greater than or equal to i?
False
Let s = -24/1151 + 82657/44889. Which is bigger: 1 or s?
s
Suppose -102 = -4*y - 2*v, 2*v + 9 = -v. Let m be (8/(-6))/((-6)/y). Suppose -m*z + 3 = 3. Wh