h is smaller: g or q?
g
Let i = 471 + -587. Is i bigger than -116?
False
Let g = 272498536/45 + -6055940. Let j = -417 - g. Let z be (360/(-44) - -7) + (-4)/(-22). Which is smaller: z or j?
z
Let w = 651 + -647. Suppose -18*v = -w*v - 294. Is 22 less than v?
False
Let v be 2/(-8) - (-9)/4. Let a be v*3/12*-1. Let z be -7 - (100/80)/(2/(-8)). Which is greater: a or z?
a
Suppose 4*q - 32 = -3*o, o + 0*q + 5*q - 7 = 0. Suppose o*k + 223 = -2093. Is k > -192?
False
Let x = -51 - -89. Let z be 4/8 - x/60. Let b = z + -1/15. Is b > 2/13?
False
Let d = -104 + 188. Let y = -87 + d. Let j be -2 + 96/(y + 1). Is j greater than or equal to -50?
True
Let b(i) = 5*i**2 - i + 3. Let q be b(1). Let g(o) = -5*o**2 + 33*o + 15. Let y be g(q). Which is smaller: -5/14 or y?
-5/14
Let n be ((-2)/(-3))/((-34)/(-153)). Suppose -2*z + 5 = -2*m + n, 3*z + 4*m = -11. Let q be 3 + (4 - (-3 - z)). Is q >= 3?
True
Let v be (-4)/38 + 239112/513. Let n = v + -315. Is n smaller than 149?
False
Let p(s) = 18*s**2 - s + 2. Let y be p(-4). Let c(q) = 21*q**2 + 183*q - 854. Let x be c(5). Suppose x = -11*o - y. Is -81 less than or equal to o?
True
Let z be ((-138)/9)/(2/(-3)). Let w(a) = -106*a**3 + 3*a**2 + 5*a + 3. Let l be w(-1). Let x = -83 + l. Are x and z equal?
False
Let m(j) = -26*j**3 - 2*j**2 - j. Let d be m(-1). Let v be (-268)/10 + 25/d. Which is smaller: -25 or v?
v
Suppose 2*a - 65 = -21. Let s be (-228)/(-342) - (-256)/12. Are a and s nonequal?
False
Let g(y) be the third derivative of 11*y**4/12 - 83*y**3/6 - 114*y**2 - 2. Let a be g(7). Which is smaller: a or 495/7?
495/7
Let g = -195 - -303. Let y = -871/8 + g. Which is bigger: y or -1?
y
Let c = -1136172/11 + 103112. Are -177 and c nonequal?
True
Let r be 0 - (2 - (-1146)/(-572)). Suppose 5*x - p + 2 = 0, -5*x - 29 = 3*p - 15. Which is greater: x or r?
r
Let m = 69.5 + -47.4. Let b = m - 21.74. Is b > -0.3?
True
Let j = -8 + 13. Suppose -6 = -2*t + j*t. Let c be (18/(-1 + -2))/(2156/385). Do c and t have the same value?
False
Let p be 2/(-2)*27/((-230769)/(-42)). Is p != -1?
True
Let t(l) be the second derivative of -1/20*l**5 + 1/12*l**4 + 0*l**3 + 5*l + 0 + 0*l**2. Let v be t(0). Are 2/41 and v equal?
False
Let x(u) = 95*u - 633. Let a be x(13). Is 600 >= a?
False
Suppose -39*h = -7 - 32. Is h at most as big as -4/3225?
False
Suppose 0 = -3*w + 5*o - 53 - 23, -3*w + 2*o - 79 = 0. Let z be 57/(-114)*(0 + (54/1 - 2)). Which is smaller: w or z?
w
Let f = -5.897 - -5.9896. Which is greater: 2 or f?
2
Let j = -46/1843 + 71126/3735761. Which is smaller: j or -1?
-1
Let c(i) = -21*i**3 - 2*i**3 + 24*i**3 - 20 + 19*i - 19*i**2. Let p be c(18). Which is bigger: 0 or p?
0
Let l be 1*-2 - ((-1670)/(-95) + 6). Let j = -24 - l. Which is bigger: j or 3?
3
Suppose m = 2*z - 5*z + 40, -m = 2*z - 43. Let a be (-21)/m + (-988)/14. Is -71 less than or equal to a?
True
Let v be (-4)/(-6)*27/18. Let z be (0/v)/(-12 + 9). Suppose -2*t = 5*s - 18, 4*t = -z*s + 3*s + 10. Which is greater: 7 or s?
7
Let m = -73163/7 + 31319/3. Let p = m - -73/6. Let u = -1 - -2. Is p equal to u?
False
Let o(a) = -15*a**2 - 5*a - 28. Let l be o(-6). Let w = 919 + l. Is 381 less than or equal to w?
True
Let i be 345/9 + 4/6. Let r = -36 + i. Let o = 28/33 - -251/132. Does o = r?
False
Let v(o) = 3*o + 22. Let t be v(-6). Suppose -t*k = 3*x + 65, -x - 40 = -3*k + 8*k. Which is smaller: x or -12?
x
Suppose -14*m + 13*m + 12 = 0. Let f(a) be the third derivative of 5*a**4/12 - a**3/3 - 23*a**2. Let b be f(2). Which is greater: b or m?
b
Let k(y) = -6*y**2 - 6*y + 4. Let x be k(7). Suppose 10*v + 48*v + 25 + 33 = 0. Is v at least x?
True
Let u be (-5)/((-33)/140 + (-10)/(-35)). Is u less than or equal to -85?
True
Let p be 54/(-14) + 4 - (-1358)/(-8477). Suppose -145 + 62 = -83*y. Are p and y non-equal?
True
Let a = 29.96 - 31.9. Let p = 9.94 + a. Does p = 0.21?
False
Suppose 16*a + 4914 = -5*a. Let v = a + 222. Is v != -8?
True
Let u = 41 - 51. Let y = u + 8.5. Let g = 1.5 + y. Are 0.32 and g non-equal?
True
Let v = 8.6 + 152.4. Let n = -107 + v. Let j = n + -52. Which is smaller: j or -4/7?
-4/7
Suppose 7*m + 54 = m. Let b = -31 - -5. Is m at least as big as b?
True
Let x(v) = -10*v - 160. Let h be x(-16). Let f(j) = 49*j - 1. Let l be f(h). Let q = -1.6 + -5.4. Which is bigger: l or q?
l
Let z = -1.2 + 18.2. Let i = 20.6 - z. Let l = 1.6 - i. Is -1 >= l?
True
Suppose 0*r + 12 = -3*r. Suppose 0 = -x + 132 - 127. Suppose 2*f - 4*s + 16 = 0, 4 = x*f - 2*f + s. Is r greater than f?
False
Let l(j) = 5*j**2 - 35*j - 9. Let b(z) = -9*z**2 + 72*z + 18. Let v(f) = 3*b(f) + 5*l(f). Let m be v(20). Which is bigger: -1 or m?
m
Let v = -2297 - -514529/224. Let d(a) = -a**2 - 11*a - 9. Let f be d(-10). Is f greater than or equal to v?
True
Let u = 3645.334 + -3641. Let i = 0.034 - u. Which is bigger: i or -2/7?
-2/7
Let v = -0.092 - -7.792. Let f = v - 7.1. Let c be 5/(-20) + (-2)/(-8). Do c and f have the same value?
False
Let b = -99355.9711 - -99348. Let p = -0.0289 + b. Are -3/2 and p nonequal?
True
Let q = -15.0585 - -15.55. Let v = -0.0085 - q. Is v less than 6?
True
Let g = 184 + -199. Let o be (5 - (-138)/g)*6/(-81). Which is bigger: o or -1?
o
Let r = 5/1993 - -21893/11958. Which is smaller: 10/51 or r?
10/51
Let w = -24179757412788 - -5484186599046609890/226809. Let z = -2/25201 + w. Are z and 43 non-equal?
True
Let p(l) = -l + 3. Let u be p(-9). Suppose -20*j + 63 = -37. Suppose 4*r - j - 39 = 0. Which is smaller: r or u?
r
Suppose 3*n + 4978 - 4975 = 0. Is 3/6524 at most as big as n?
False
Let q be (-9)/((-6)/(-232)*-2). Let c = -191 + q. Is c <= -11?
True
Let j be (12/(-42) + 3/(-63))*-69. Let d(x) = -8*x**2 - 2*x**2 + 23*x + x**3 + 13*x**2 + 22*x**2 - j. Let m be d(-24). Which is smaller: m or 3/40?
3/40
Let f = -3.6 + 7. Let z = f + -2.95. Let r = -1.55 - z. Which is bigger: -16 or r?
r
Let j(z) = 14*z + 10. Let o be j(-4). Let y = -101 - o. Let h = y - -54. Which is smaller: h or -3/34?
h
Let f = -9567781/21 + 455525. Are -83 and f equal?
False
Let k be (2 + 143/(-22) - -5) + (-1)/2. Which is smaller: -14/481 or k?
-14/481
Let m = 4047114/13 - 310478. Let t = -838 + m. Let g = 0.9 - -0.1. Is g not equal to t?
True
Let c = 5044 - 5044. Is c at least as big as 38/43?
False
Let g(p) = 437*p**2 - 18*p - 6. Let r be g(-4). Let f = -755200/107 + r. Which is smaller: f or -1?
-1
Let j be ((-6)/18*-82)/(2 - 68/36). Is 243 at least as big as j?
False
Let g be 448/80*15/(-6). Let h(z) = z**2 + z - 14. Let a be h(0). Is g at most a?
True
Suppose -4*q = 2*s - 20, 2*s - 2 - 8 = -2*q. Let o = q + 0. Suppose o*b = b. Is -14/11 at least as big as b?
False
Let m be (-216)/(-135) + (-4)/(-10). Suppose x = 4, -2*x - 3*x + 26 = -m*d. Which is greater: -18/7 or d?
-18/7
Let m = -29557/2140 - -5/428. Suppose -x - 22 = -7. Is x smaller than m?
True
Let s be 10 + -336*(-14)/42. Which is smaller: s or 120?
120
Let i = -72152 + 71932. Let u(z) = 221*z. Let y be u(-1). Is i at least as big as y?
True
Suppose 5*o - 20 = 5*x, 0 = -0*o - 3*o + 2*x + 10. Suppose j = -2*q - 2, 0 = 5*j + o*q - 4*q + 46. Let i = 0.9 - 1. Which is greater: i or j?
i
Suppose -3 = 5*r + 12. Let b be ((-16)/(-10))/(18/(-45)). Let q be (b/(-56) - 1/(-2))/(-2). Is r less than q?
True
Let i be (-59525)/(-3465) + 5/(-15). Let x = 186/11 - i. Which is bigger: 0 or x?
x
Let j(n) = -n**3 - 6*n**2 - 9*n - 22. Suppose 6*k - 3*k + 19 = -f, 3*f + 7 = k. Let t be j(k). Let g(m) = 3*m - 14. Let u be g(t). Which is greater: u or -17?
-17
Let q be 4080/(-2030) + 0 + (-4)/(-2). Let y(h) = -4 + 8 + 7*h + h**3 + 2 - 20*h - 4*h**2. Let i be y(6). Which is bigger: i or q?
i
Let f = 0.492 + -0.76. Let d = -0.368 - f. Which is smaller: d or -0.55?
-0.55
Suppose 2*q - 30 = -3*q - 5*k, -k - 48 = -5*q. Suppose 4*p + 4*h = 2*p - 12, q = -3*h. Is 6 > p?
True
Let s be (2/20*1)/((-3454)/110 + 21). Which is bigger: s or -4?
s
Let d = -1185 + 1154.64. Let m = d - -30.4. Which is bigger: -0.18 or m?
m
Let b = 122.73 - 122.83. Is b smaller than 7782?
True
Let f be -6 + ((-56490)/(-8460) - (-2)/(-3)). Let o = -413/25568 + f. Is o bigger than 1?
False
Suppose 0 = 28759*i - 28754*i + 9870. Is 2 bigger than i?
True
Let c be (-478)/(-6) + 10/15*2. Let n be -6 - (1 - 565/c). Which is smaller: 1 or n?
n
Let k be (582/8)/((-27)/864). Let 