ich is smaller: 9/13 or d?
d
Let w = 28 + -26. Let y be (-1)/w*24/(-52). Suppose -3*h + 0 - 3 = 0. Which is smaller: h or y?
h
Suppose -235992 = 66*y - 66306. Are y and -2570 non-equal?
True
Let v = 44117 - 44119. Is v < 1111?
True
Suppose -2*l = 4*d - 754, 0 = -2*d - 2*l + 246 + 136. Let i = d + -109. Which is smaller: 78 or i?
i
Let z(v) = -2*v**3 - 80*v**2 - 85*v - 179. Let a(q) = q**3 + 39*q**2 + 43*q + 89. Let i(u) = -5*a(u) - 2*z(u). Let o be i(-34). Which is smaller: o or 289?
o
Let q = -0.52 - 0.48. Let p be 329/245 - 16/14. Which is greater: q or p?
p
Suppose -z = 7*o + 6, -103*o = z - 107*o - 5. Is 42/215 at most as big as z?
True
Let x be (-7)/364*-8 - 2430/(-13442). Let b = x - -27/47. Let j(n) = -n + 8. Let r be j(8). Is b less than or equal to r?
False
Let c(t) be the first derivative of 2*t**3/3 + 35*t**2/2 - 18*t + 7. Suppose 4*v + 82 = 6. Let k be c(v). Which is greater: k or 40?
40
Let h = -21867 + 21764. Which is smaller: -154 or h?
-154
Suppose 0 = 6*s - 4*s - 1056. Suppose -4*b + 2*b - s = 0. Let g be 2/(-8) - 11/(b/54). Is g not equal to 9/4?
True
Let z be -3 + 1 + 85536/42669. Let q = z + -924/13361. Does q = 0?
False
Let p = -7.08 + 6.9. Let j = -17 - -16.85. Let t = 0.85 - j. Is t smaller than p?
False
Suppose 0 = 2*s - 2*b - 11960, 10*s - 4*b = 9*s + 5980. Let h = s - 322951/54. Let p = h + 3271/5886. Is -2/3 less than or equal to p?
True
Let o be 768/(-354)*1/2*1. Let q = -5379/118 - o. Suppose 4*x + 188 = -5*m - 1, 5*m = 2*x + 87. Is x at least q?
False
Suppose -244*r + 253*r = 36. Suppose 2*t = 5*k - 86, r*k = -3*t + 5*k - 155. Is t bigger than -56?
True
Let d = 9439/3 + -3145. Suppose 8 = 2*h, 3*m - 2*h + 20 = 51. Suppose 0 = -n + 6*n + 4*b - 17, -4*n = 3*b - m. Do n and d have different values?
True
Let t = 1/2190 - -4153/497130. Let f(x) = 228 - 504 - 2*x + 214. Let s be f(-31). Is t less than s?
False
Let a = 32819/20 - 8556/5. Let y = a - -27817/396. Is 1 at most y?
False
Let x be 1 + -4 + 9 + (1105 - 1). Let l be 1/((-1)/(-4))*(-4625)/x. Which is smaller: l or -18?
-18
Suppose 26 = -24*f - 5 + 7. Which is bigger: f or -2/14405?
-2/14405
Suppose 61 = -4*a + 3*g, 4*g - 18 = 3*a - a. Suppose -y + 6*b = -25, -5*b - 41 = 2*y - 4*b. Which is smaller: y or a?
a
Let j be (-50)/(-15) + (8 - (-27040)/(-1740)). Is -4 greater than or equal to j?
True
Let l be (7/14)/(27/36). Is l >= 511?
False
Let t(i) = -i**2 + 3*i + 17. Let v be t(-4). Let l be v - 12/(4 + -1). Let a be l - (0 + -4 - -2). Is a > -57/4?
True
Let x(p) = p**2 + 37*p - 11. Let t be x(-38). Let y = t + -124. Which is smaller: -98 or y?
-98
Let w(a) = a**2 - 15*a - 54. Let o be w(-6). Suppose 67*p = o*p - 625. Is p at most as big as 123?
False
Suppose 3*r = 18569 - 5867. Is r at most as big as 38110/9?
True
Let r be 420/126 - (-100)/(-3). Is r less than or equal to -26?
True
Let u be (4/26)/((-80)/(-40)) - 729/7111. Is u bigger than 1?
False
Let m(c) = c**3 + 27*c**2 + 77*c + 29. Let h be m(-24). Is -367/4 not equal to h?
True
Let s(v) = 2*v - 35. Let x = 21 + -1. Let t be s(x). Suppose -p - 83 = 2*p + d, t*d - 79 = 4*p. Which is smaller: p or 0.1?
p
Let p(m) = -m**2 - 12*m - 15. Let w be p(-10). Suppose 3*j + y = 3*y + 25, -w*j + 3*y + 42 = 0. Suppose -2*l + j*l = -7. Is l smaller than 1/3?
True
Let i = -0.8941 + 0.7101. Let q = -76.686 + 76. Let d = q + i. Which is smaller: d or 0?
d
Let u = 2/2717 + -418428/13585. Suppose 2*a + 94 = -a - 2*j, 5*a + 158 = -2*j. Is a less than u?
True
Let s = -7472 - -7615. Which is smaller: s or 151?
s
Let w be 10/(-25) - (-1)/(25/42210). Which is bigger: w or 1690?
1690
Suppose -l + 4*l - 12 = 0. Let a(m) = -m**2 - 5*m + 13. Let w be a(l). Let f = w + 40. Is f less than 17?
False
Suppose 5*a + 6 = -3*v, 3*a + 4 = 4*a - 2*v. Which is greater: -1/362 or a?
a
Let m be 4/34 - (-20738886)/(-2958). Are -7011 and m nonequal?
False
Suppose 15*s + 1308 + 1317 = 0. Let m be 5/s + (-12)/(-28). Do m and -109/2 have the same value?
False
Let n = 15.97 + 9.91. Let d = n - 26. Let t = d + 0.03. Which is bigger: 0.2 or t?
0.2
Let i = 930 + -916. Suppose -v + 2 = i*q - 10*q, 0 = q - 3*v - 7. Let y = 365 - 8393/23. Is q at least as big as y?
True
Let a(p) = -62*p + 556. Let t be a(9). Is 33 at least as big as t?
True
Let j = -251.46 - 3.54. Let o = 272 + j. Which is smaller: o or -1?
-1
Let b be ((-3)/(-150))/((-152)/1712). Let z = b + 3/25. Let v(i) = -2*i**3 - 2*i**2 + 1. Let j be v(-1). Which is smaller: j or z?
z
Suppose 2*y + 565 = 5*v - 2*y, 3*v = 2*y + 341. Let l = 33 - v. Let i be 0 - (-6)/(-15) - 413/5. Is i equal to l?
False
Suppose 101*g - 4*z + 1403 = 106*g, 4*z = -3*g + 837. Which is greater: g or 270?
g
Let z = 1403 - 1411. Let x = 178 + -1600/9. Is x greater than z?
True
Let g(k) = 3*k - 43. Suppose -2*t = 5*w - 82, 3*w + 5*t = 4*w - 11. Let q be g(w). Which is greater: 13/3 or q?
q
Let p = 4855/1116 + -28/279. Is -0.045 <= p?
True
Let l = 3 + -46. Let f = 18905 - 56846/3. Is l >= f?
True
Suppose 3*f = w - 17, -2*w - 62 = -5*w - 2*f. Let u(o) = -5*o**2 - 4*o + 3. Let z be u(3). Let t = z - -73. Do t and w have the same value?
False
Suppose 90*d = 60*d - 132 + 42. Suppose 5*s - 3 = -3*j + 2*j, 0 = -5*j + 4*s - 43. Are d and j unequal?
True
Let w = -113824703 + 798350359/7. Let t = w + -223254. Let r = t + -2098. Is -5 != r?
True
Let r be (-3)/6*(-2 - 0). Suppose i + r = 2*i. Let k be 244/(-350) + (-996)/5229*(-18)/4. Which is smaller: k or i?
k
Let b = 10 - 6. Suppose 0 = b*i + 2*r + 28, 0*i = -5*i - r - 32. Suppose -d = -4*m - 21 - 11, 3*d - 8 = m. Which is smaller: i or m?
m
Let i(s) be the third derivative of s**5/60 - s**4/4 + 5*s**3/6 + s**2. Let u be i(5). Let z = -3632 - -3625. Is z at most u?
True
Let u(a) = -a**3 - a**2 - 4. Let k be u(0). Let c be -9 - ((-16)/k - 4). Let j(i) = -i**3 + 7*i**2 - 15*i + 1. Let d be j(2). Is c greater than or equal to d?
True
Let j be 10/7 - 1 - -262*290/812. Let t(u) = 95*u**3 - u**2 + 2*u - 1. Let p be t(1). Which is smaller: j or p?
j
Let a = 1/4762 + 4377/1833370. Let b be (-3852)/770 - (-1)/(-2). Let m = a + b. Is m greater than or equal to -6?
True
Let n = -3.29 + 3.19. Let j = -10 - -13. Which is bigger: n or j?
j
Suppose -3*v = -q + 678, 2*q - 1089 = 5*v + 266. Which is smaller: q or 676?
q
Suppose 77*s - 70*s - 77 = 0. Which is smaller: s or 9?
9
Let a = 5426 + -5472. Which is greater: -867/19 or a?
-867/19
Let k = 41 + -39. Let r(b) = -6*b + 9. Let a be r(k). Let t = 14 + a. Which is greater: 3 or t?
t
Let p(w) = 13*w**2 - 22*w + 41. Let r(k) = -16*k**2 + 23*k - 40. Let s(a) = 5*p(a) + 4*r(a). Let y be s(15). Which is smaller: 234 or y?
y
Let y(x) = -x**3 + 5*x**2 - x + 5. Let a be y(5). Let n = 132.042 - 113.28. Let s = 0.238 + n. Which is greater: s or a?
s
Let q be ((-1)/(-90))/((-1)/14). Let o = 487/4068 - -21/113. Let s = q + o. Are 0 and s unequal?
True
Let w = 223.9 + -455. Let d = 231 + w. Suppose -b = -3*r + 28, r - 4*b - 2 = -0. Which is bigger: r or d?
r
Let v be -44*((-6)/(-8) + 0). Suppose -5*n - o = 13, -10*n + 2 = -8*n - 2*o. Let x be -4 + (8 - 7) + 58/n. Is x at least as big as v?
True
Let g be -10 - (-1 - (-3 + 6)). Let r be 2 + (-4)/(-6)*g. Let i be (r + 1)*(-30)/22. Which is smaller: 2 or i?
i
Let b be 2/110 - ((-78)/(-572))/((-6)/8). Is b > -37.1?
True
Suppose 7*z = 14*z - 5005. Let a = z + -10005/14. Which is smaller: a or 1?
a
Suppose 2967 + 3303 = -19*s. Let f = s - -334. Do 46/15 and f have the same value?
False
Let j = 7/30 + -1/30. Let l(y) = y - 214. Let u be l(46). Let d = 169 + u. Is j at least as big as d?
False
Let w(i) = -2*i**3 - 16*i**2 + 8. Suppose 127 = -8*r + 63. Let u be w(r). Are u and 72/11 equal?
False
Let y be (-1)/5 - ((-21)/(-3780)*5526)/(-1). Let l(m) = 3*m**2 + 3*m - 4. Let h be l(-4). Is h <= y?
False
Suppose -24*r + 22*r + 5*j = -3030, 9*r - 13553 = 2*j. Which is smaller: r or 1506?
r
Suppose q = -81*u + 86*u - 223, 5*q = -3*u - 1255. Is q at least as big as -10?
False
Let v = -20 + 22. Suppose v*l - 9 - 21 = 0. Suppose -3*g + 9 = -l. Which is smaller: 10 or g?
g
Suppose 5*v + 5*n + 3352 + 5608 = 0, -5*n + 30 = 0. Is -1797 greater than v?
True
Let h(s) = s**3 - 8*s**2 - s + 5. Let j(u) = u**3 + 2*u**2 + u - 2. Let m be j(1). Let n be h(m). Which is smaller: -19 or n?
n
Let q be 47 - (-117)/(-72)*8. Are -27 and q unequal?
Tr