 2/30579. Which is bigger: 7 or c?
c
Let z = 2729 + -2728. Which is smaller: 1/3531 or z?
1/3531
Let g(n) = -6 + 2 - n + 8*n + n**2. Let j be g(-3). Let f = 14 + j. Which is bigger: f or -0.6?
-0.6
Let f be 12/8*((-39)/(-9) + -3). Suppose -f*j + 4*l - 19 = -j, 3*j - 3*l = -12. Is 5/3 greater than j?
True
Let n(b) = 4*b**2 - 7*b - 6. Let l be n(-1). Suppose 3*z + 3*a + 33 = 0, 3*z - 4*a + l = -7. Let u be (z + 5)/3*4. Is -5 smaller than u?
True
Suppose 2*a = -10, 3*a + 520 = 2*g + 3*g. Let l = g - 93. Suppose -h - 5*y - 14 = -2*h, y = -h + l. Do 8 and h have the same value?
False
Suppose 621 + 12048 = 103*i. Which is smaller: i or -3?
-3
Let b be (81/(-18))/(12/(-56)). Which is smaller: 111/5 or b?
b
Let d = 41 + -42. Let t be 1/((-2 - d)*(-4)/4). Suppose 9 = w + t. Is 8 less than or equal to w?
True
Let j = -16/449 + -11803/8980. Let n = j - -359/260. Which is smaller: 1 or n?
n
Let z be (-8)/(-684)*(-861)/(-10) + -1. Let k = 584/1995 - z. Let s(c) = c + 9. Let h be s(-9). Is k greater than or equal to h?
True
Let j = -18567.03 + 18652. Let q = j + -68.9. Let p = 0.93 + q. Which is bigger: p or 0.1?
p
Let z = -798 - -1003. Let m = z + -217. Let l = -1 - -2. Which is smaller: l or m?
m
Let b = -1782 - -1779. Which is greater: b or 625?
625
Let b = -3909 + 3864. Do b and -26 have the same value?
False
Let o(v) be the second derivative of -v**5/20 - 5*v**4/12 + v**3 + v**2 - 870*v. Let u(r) = -r - 6. Let m be u(0). Let a be o(m). Is a at most 21?
True
Let g = 242 - 45. Let y = g - 200. Is -5 >= y?
False
Let t = -47.18 + 47.13. Which is smaller: -6/31 or t?
-6/31
Let o(p) = -204*p**2 + 2*p - 1. Let n(m) = -2*m**2 + 2*m. Let v(x) = 2*n(x) - o(x). Let z be v(1). Is z at most as big as 203?
True
Let o(s) = 10*s + 25. Suppose 16 = -18*g - 20. Let l be o(g). Let w = 25/12 - -29/12. Which is smaller: l or w?
w
Let g = -61.973 - 0.027. Let r(v) = -2*v**3 + 489*v**2 + 239*v + 1475. Let q be r(245). Are g and q equal?
False
Let x(s) = -s + 1. Let m be x(1). Let i = 1993998/37 - 53892. Which is greater: i or m?
m
Let a be 308/10 - (-4)/(-5). Suppose -5*l - 4*v = 137, -2*l - 2*v + 0*v - 56 = 0. Let h = a + l. Is -2/7 at most as big as h?
True
Suppose h - 6*h + 190 = 0. Let z = -35 + h. Let y be (z/117)/(5/90). Do y and 1 have different values?
True
Suppose -6*p = 1750 + 1466. Let k = 558 + p. Which is smaller: 2 or k?
2
Suppose 4*f - 9*f = -110. Let h be 4 + ((-96)/f - -4). Let o(n) = -n - 1. Let l be o(-4). Is h < l?
False
Let f be -31 - (4 + -13) - 6*1. Which is bigger: f or -4?
-4
Let p = 208181/1719 - 1090/9. Suppose -132*b + 385 - 36 = -481*b. Is b < p?
True
Suppose 4*f - 22 = -2. Let n be ((-5)/(-50))/(f/(-2)). Let r = 1292.9 + -1293.9. Which is smaller: r or n?
r
Let x = -70 - -73. Let u be -3*(2 - 5/x). Let y be ((-6)/(-4))/(46/4). Which is greater: u or y?
y
Suppose 2*y + 4*w + 100 = 0, 88*w - 277 = 5*y + 89*w. Which is smaller: -74 or y?
-74
Let m(u) = -u**2 + 28*u + 8. Let q be m(28). Suppose 2*d - w + 12 = q, -2*d - 12 = -5*w. Is d greater than 1/138?
False
Suppose 12*l + 2*l = -12*l - 3536. Let b = -70 + -64. Is l >= b?
False
Let f = -0.032 - 0.087. Let t = f + 0.019. Is 4/85 smaller than t?
False
Let b = -2110 - -2112. Let r(u) = -3*u + 2. Let q be r(2). Let g be 4*q/(-32) - (-1)/b. Is -3 >= g?
False
Let m = -140 - -196. Let t be (-6)/4*(-9)/((-36)/m). Let y = t + 78. Which is smaller: y or 56?
56
Suppose 26*c + 5*d = 21*c - 80, 5*c = 5*d - 30. Which is bigger: c or -26?
c
Suppose 5*n - 1335 = -3*f, 0 = -n - 4*f + 6*f + 254. Let w be (-1)/(-22) - 3392478/(-12804). Is w less than n?
False
Suppose 2*t = -5*p + 15, p - 26*t + 21*t = -24. Is p not equal to -183?
True
Let a be (-57)/9 + 1 + (-7)/(-21). Let z be 33/10*(11 + a). Is 21 != z?
True
Let l(c) = -c**3 - 2*c**2. Let s be l(-2). Suppose 0 = -3*t, 2*d - 106 = -s*d + 4*t. Suppose -6*n = -d - 7. Which is smaller: 9 or n?
9
Let s be (-1403)/5152*18 + (-5)/(-1). Is 0 not equal to s?
True
Let w be 39368/1311 - 2/69 - 15. Let a(c) = c + 14. Let z be a(0). Are z and w non-equal?
True
Let a(s) = -s**3 + 6*s**2 - 9*s + 17. Let o be a(5). Let u be -4*(-3)/(-6)*o. Suppose u*c - 80 - 106 = 0. Is 31 less than or equal to c?
True
Let c be ((-266)/(-28) - 8)/(3/(-64)). Let g(i) = i + 10. Let o be g(3). Let h = -43 + o. Is c < h?
True
Let o = 9 - 13. Let l(n) be the third derivative of n**4/12 + 2*n**3/3 - 48*n**2. Let k be l(o). Are k and -4 unequal?
False
Let m be (10/7)/((-26)/(-91)). Suppose -3*b = -m*p, -3*b = -3*p + 4*p. Suppose -5*c - 2*d - 8 = 5, -2*c - 2*d - 10 = p. Which is smaller: c or 1?
c
Let w = -1/1925 + -1458/898975. Are w and 1 non-equal?
True
Suppose -38*q + 42*q - 16 = 0. Suppose 5*n = q*l + 15, -3 = -0*n - 2*n + l. Is n at most as big as 8/23?
True
Suppose -5*f = 175*i - 171*i + 24448, 0 = 2*f + 2*i + 9780. Is -4888 at least f?
True
Let p(t) be the first derivative of -t**3 + 5*t**2/2 + 2*t + 4. Suppose -2*o + 112 = 108. Let l be p(o). Which is bigger: -1/51 or l?
l
Let v = -132542/7 + 18878. Is -1 at least v?
True
Suppose 7*s - 432 = 5*s. Suppose -r + 13*r = -s. Let k = -46229/2802 - 2/1401. Is k > r?
True
Let x(i) = 21*i**2 - 27. Let p be x(-9). Let f be (p/(-12))/(-3) + (-1)/2. Let v be 50/f + (-4)/46. Are 5/33 and v unequal?
True
Let x = -299 - -493. Let s = 150335 + -1951825/13. Let o = s - x. Which is greater: o or 1?
1
Let c be 76944/(-54)*2/(-4). Is c smaller than 711?
False
Let h be 27 - -24 - (-4)/(-1). Is h greater than 239/5?
False
Suppose 2*l + 3*l = -5*r + 15, 4*r - 17 = -5*l. Let m be 112/324*(-3)/r. Are m and 1 non-equal?
True
Let g(d) = -d**3 - 123*d**2 - 2454*d - 100. Let j be g(-25). Suppose -4*a + 4*t = -3*a - 17, t = -2*a - 2. Let o be a + 1 - (-186)/(-92). Are o and j non-equal?
True
Suppose 3*v - 5*p = -1, 0 = -5*v + 3*p - 3 + 12. Suppose 5*w = 0, -w = -v*z + 4*w. Let k = 162 - 201. Are z and k non-equal?
True
Let n = 55 + -55.113. Let y = n + 0.013. Let j be 4 - 1 - (-137)/(-45). Which is greater: y or j?
j
Let a be 5*((-376)/50 - -2). Let t = 31 + a. Suppose -y = 5*l - 19, 5*y = -3*l - 4 + 33. Which is smaller: t or l?
l
Suppose -p - l = 3*p - 80, 0 = 2*l. Let a be (p - 22)*58/(-4). Which is greater: a or 31?
31
Let c be 4/18 - 86/63. Let t be (9/(-15))/(216/(-96)). Is c bigger than t?
False
Suppose -2*d - 2*g + 6*g = -46, 5*d - 87 = -4*g. Let i be ((-18)/(-15))/(9/150). Which is smaller: d or i?
d
Let d = 4465 + -6415. Is -1949 at most d?
False
Let v be 426*-1*10/4. Let p be (7/28)/((-106)/(-451576)). Let b = p + v. Is b <= 0?
False
Suppose -i = 3*s - 6, -5*i - 2*s + s = -16. Let b = -6401 + 6413. Which is smaller: i or b?
i
Let v = 4670 + -32686/7. Let y = -13/6 - -11/3. Which is bigger: v or y?
y
Suppose -282 = -5*s + 2*s. Suppose 3*q = s - 97. Let z be q/(15/5 - 4). Which is smaller: z or 2/55?
2/55
Suppose 0 = 55*p - 109*p. Let b = -223 + 5351/24. Which is greater: p or b?
p
Let p = -220 + -64. Let h = p + 282. Is -10/17 at most h?
False
Let c = 126.118 - 0.118. Let h = c + -114. Which is smaller: 1 or h?
1
Let v be (552/(-114126))/((-30)/(-1)). Is v equal to -1?
False
Suppose -5*l + 107 = 2*u, -70 = -4*l - 4*u + 5*u. Do l and 248/13 have the same value?
False
Let d = 81 - 77. Suppose 0*k - 4 = d*k, 3*k = -t + 58. Let x be t/(-4) - 1/(3 - 7). Is -18 at least as big as x?
False
Suppose 0 = -4*n + 2*s - 4, 1325*s + 24 = -3*n + 1330*s. Suppose -26 = -f - 4*o + 2, 3*f + 5*o - 63 = 0. Let j be ((n/f)/(6/24))/36. Which is smaller: 0 or j?
0
Let q = 20408 - 20360. Is -0.31 != q?
True
Let v = -1823543/22 - -82873. Is -16 smaller than v?
True
Let h = 35.9 + -202.9. Let g = -168 - h. Suppose 0 = -l + 20 + 22. Which is bigger: l or g?
l
Suppose -614*o - 21 = 2*x - 615*o, 3*o = 4*x + 49. Let b = -0.1 - 0.1. Which is smaller: b or x?
x
Let v be (14/(-21))/((-4)/(-78)). Let p be ((-39)/v)/((-1)/(-2)). Which is bigger: 10 or p?
10
Let h be (-4)/(36/(-3)) + 187/33. Let j = -2 + h. Which is smaller: j or -35?
-35
Let g = -4 - -4.17. Let b = 2274 + -2256.83. Let y = b - g. Does 0.1 = y?
False
Let w be -113 + 113 - ((-143)/(-36) - -2). Are -7 and w equal?
False
Let z(r) = 2*r**3 + 177*r**2 - 26*r + 365. Let k be z(-88). Is 10396 smaller than k?
True
Let h = -1.4 - -1.5. Let j be (-5)/24*(-61686)/2925. Let l = -1/156 - j. Which is smaller: h or l?
l
Let j = 17182 + -8573. A