. Which is smaller: -3074 or c?
c
Let o = 7.828 + -0.028. Let r = 11.2 - o. Let g = 3.3 - r. Which is greater: g or -2/31?
-2/31
Let z = 12 - 23. Let d be 4/24 + 145/(-6). Let v be (15/d*2*-8)/(-1). Is z less than v?
True
Let o = -14562 - -276665/19. Which is smaller: -7 or o?
-7
Suppose -5*b + 2*c = -4*b + 2, 5*b - c = 35. Let u be -8 - 1*b/(-4). Is -6 > u?
False
Let q = 64 + -49. Let n be ((-3)/(q/10))/(-1 - 0). Let z be -1*(-11)/(-9) + 2/n. Is 1 > z?
True
Let a(r) = 4*r + 16*r - 5*r**2 - r**3 + 157 + 2*r**2 - 131. Let k be a(-6). Are 2 and k equal?
False
Let p(v) = 11*v**3 + 10*v**2 - 40*v - 31. Let r(b) = 2*b**3 - b**2 + 1. Let w(c) = p(c) - 6*r(c). Let f be w(13). Which is smaller: -52 or f?
-52
Suppose -6*n + 146 = 134. Is n at most 13094?
True
Suppose 7*w - 4*w = -3*w. Let q be (-376)/(-423)*(-2)/(-600). Which is bigger: q or w?
q
Let p be 13 + 230/23 - 20. Let j = 185689 - 19682745/106. Let d = j - -5/212. Is p >= d?
True
Suppose 5*d - 134 = -9. Let q = 1 + -7. Let s(w) = -5*w - 6. Let z be s(q). Is z < d?
True
Let t be 24/8832*46 + 14013/8. Is t greater than 1751?
True
Let f = -22900 + 22910. Suppose a = 3*h + 3, -2*h - a - 2 = 3*a. Which is bigger: f or h?
f
Suppose -796*j + 494*j + 5740114 = 0. Which is bigger: j or 19006?
j
Let u(y) = -6*y + 42. Let a = 28 + -21. Let l be u(a). Let g be 2/((-52)/(-14)) - 1. Which is smaller: l or g?
g
Suppose -10*p = -7*p. Let c be p + -3 + (-6 - -1) + 6. Let i be -2*(11286/2826 + 2*c). Which is greater: 0 or i?
i
Let i = 2.9 + -3. Let a = 2.9312 - 0.0372. Let l = 0.006 + a. Which is smaller: l or i?
i
Let z = 72.9 + -423.9. Let f = z - -342. Which is bigger: f or -4/5?
-4/5
Suppose -2*z - 420 = 4*b, -7*b - 211 = z - 4*b. Which is greater: z or -209?
z
Let u be 105/6*2/(-3)*9. Let l = u - -111. Let m = -10 + 13. Is m at least l?
False
Let n = -289.5 - -117.6. Let i = -171 - n. Is -15 greater than i?
False
Let o = -451 + 538. Is 91 less than o?
False
Let z(a) = a**3 + 3*a**2 + 13. Let w be z(-7). Let g = w - -179. Let d = 11 + -7. Is g > d?
False
Let p be 0 + (-189)/(-2)*(-13)/6. Let g = 205 + p. Is 0.168 at most g?
True
Let n(h) = 4*h + 21. Let f(s) = -10*s - 62. Let z(o) = 3*f(o) + 8*n(o). Suppose u - 10 = -1. Let y be z(u). Is y at least as big as -2?
True
Let p be 6/(-1) + (0 - 0). Let k be ((-2)/p)/((-42)/9). Let m = 30303 + -30303. Do m and k have different values?
True
Let j be (62/4)/((-2)/(-4)). Let g = j - 30. Let m = 28/25 - 989/950. Is m smaller than g?
True
Let o = 2648/7 - 378. Suppose 0*n + 6*n = 18. Suppose -3*h = 2*k + 10, -n*h = -5*h - 8. Is o equal to k?
False
Let x = -3147626/45 - -69944. Let t = 17347/90 + x. Let n = 196 - t. Which is smaller: n or 6?
6
Let b be (-1428)/(-357)*1/4. Is b >= 1767?
False
Let y be (186/(-248))/(18/168). Which is smaller: -4/23 or y?
y
Let f = 191 - 194.9. Let o = f + -38.1. Which is greater: 1/2 or o?
1/2
Let v = 131 + -134.45. Let g = 3.63 + v. Is -12 greater than g?
False
Let d = 89283/11 - 8112. Which is smaller: d or -3/5?
-3/5
Suppose -3 = -5*q + 3*q - v, 5*v = -4*q + 15. Let a = 198 - 55. Let l = 2285/16 - a. Are l and q nonequal?
True
Let u be 161/(-1449) + (532/(-660))/(-7). Let j(h) = h - 2. Let g be j(2). Which is smaller: g or u?
g
Suppose 4*r - 9 = -1. Let s = 1399 - 1397. Suppose 0 = 2*g + s*g + r*t + 6, -5*t = 15. Which is greater: g or -39?
g
Suppose -308 = 61*g - 138*g. Which is smaller: 1.182 or g?
1.182
Let w = -13.7 + -55.3. Let o = w - -140. Let y = o + -60. Is 4 less than y?
True
Let g = 112 + -103. Suppose -g*b + 2*b - 189 = 0. Let v = -11 - b. Which is smaller: v or 50/3?
v
Let z = -0.255 + 1.255. Is z >= -144?
True
Suppose -35*o + 41*o = 30. Suppose 0 - 8 = r + o*v, 4*v = 2*r + 16. Let w(l) = l**3 + 9*l**2 + 11*l + 16. Let b be w(r). Are -10 and b nonequal?
True
Let u(g) = -41*g - 2873. Let l be u(-87). Is 692 less than l?
True
Let z be 8/10*75/(-6). Let v be 7/((-539)/44) - (-90)/(-14). Which is smaller: z or v?
z
Let g = 25.184 - -9478.816. Does g = 2/7?
False
Suppose 49*s - 45*s = 2296. Is 582 at least s?
True
Let k = -165 - -153. Let c = k - -12.04. Let y = 1.02 - -0.08. Is c >= y?
False
Let k be (-2)/6*-7*3. Let h = 135 - 135. Suppose 2 = 2*w + 2*q - 2, w - 2*q + k = h. Which is bigger: w or -1/114?
-1/114
Let s(g) = -9*g + 1. Let y be s(1). Let w = 24 + y. Let q = -65996 - -66015. Which is smaller: w or q?
w
Suppose 19*c - 3589 = -4*c - 346. Which is smaller: 131 or c?
131
Let d be ((-894)/4)/((-45)/54). Let x = 267 - d. Let h be 2/7*3/(-2). Is h equal to x?
False
Let h = 3596 - 3742. Which is smaller: h or -53?
h
Let r(w) = 2*w**2 - 25*w + 11. Let h be r(12). Let j be 60/(-48)*-1*h/8. Let t = -49/96 + j. Is 62 at least t?
True
Let r = -59.6401 - -0.0401. Let s = r + 60.3. Which is smaller: 1/5 or s?
1/5
Let o be 2688/70*(-15)/6. Which is bigger: o or -133?
o
Let x(n) be the third derivative of -n**6/30 + n**5/60 - n**4/3 + 7*n**3/6 + 42*n**2. Let b be x(1). Which is bigger: 3 or b?
3
Let m be (-3)/(-15) - 279/45. Let i be (-1)/3 - (m/(-36) + 0). Which is smaller: i or 0?
i
Suppose -4*a - 2 = -2*a. Let f be (9468/(-16))/(23/6). Let y = f + 309/2. Which is smaller: a or y?
a
Suppose 21*i - 25*i = 32. Let m be 0 + (1365/(-5420) - 2/i). Are m and 1 non-equal?
True
Let h be 1*2 - 8/(-12)*-6. Let i = 11/5 + h. Let f = 16.6 + -18. Which is bigger: f or i?
i
Let i(d) = -3*d**2 + 7*d**2 + 238*d + 10 - 137*d - 139*d. Let n be i(9). Suppose 0*j - 8 = -4*j. Which is smaller: n or j?
n
Let h(d) = d**3 - 7*d**2 - 2*d + 15. Let k be h(5). Let a = k + 159. Is a at most as big as 113?
False
Let c(m) = 36*m + 68. Let n be c(2). Let z be n/175 + (-18)/10. Which is smaller: 2/27 or z?
z
Suppose 2*p - 587 = r, -2*r - 882 = -3*p - 0*p. Let z = -367 + p. Is -73 bigger than z?
True
Let c = -122/3 + 41. Let k be -3 + (-1 - 0)*-2. Let t be (1/3)/(k/(-3)). Is t at most as big as c?
False
Let z = 4979/2588662 + 6/7151. Is -11 < z?
True
Suppose 0 = 2*i - 0 - 18. Let u be i + -11 - (-1 - 618/(-184)). Let n = 14/23 + u. Which is smaller: n or -1?
n
Let z(q) = -q**2 + 16*q - 191. Let h be z(35). Is -852 at least h?
True
Let a = -25149798/11 + 2288820. Is a greater than or equal to 2476?
False
Let z = -989 + 1159.36. Let s = z - 209.4. Let v = 39 + s. Which is smaller: v or -1/4?
-1/4
Let b = -121.98 + 122.58. Which is greater: b or -1737?
b
Let m = 10 - 25. Let p = m - -30. Let r = 2852 + -2839. Are r and p unequal?
True
Let c be 36/(-24) + ((-460)/8 - -2). Is -500/9 less than or equal to c?
False
Let d = -0.18 + 1.18. Let k be (-1)/(1 - (-20)/(-18)). Let q be ((-6)/k)/(40/345). Is q at least d?
False
Let i = -3186 + 3185. Is i < 16/141?
True
Let r be ((-484)/(-3) + (-35)/(-21))/(6 - 3). Let u be (0 - -5)*11/1. Which is smaller: u or r?
r
Let p be 1*((-22)/99 - (-50)/(-18))/3. Suppose 0 = 5*o - o - 12. Suppose -n = -5*k - 12, -o*n = -2*k - 1 + 4. Are k and p unequal?
True
Let y be (7 - 14988/92) + 4/(-46). Let v = 144 + y. Which is bigger: -19 or v?
v
Let a(n) = 204*n**2 + 2*n - 2. Let b be a(1). Let x(c) = -4*c**2 + 123*c - 567. Let w be x(22). Which is smaller: b or w?
w
Let k = -36.623 + 4.493. Let h = k + 0.13. Let q = -38 - h. Is 0 bigger than q?
True
Let p be (-60)/(-55) - 157136/111573. Suppose -2*f = 5*c - 2, 3*f + 2*c - 4 = -1. Are f and p equal?
False
Suppose 0 = 36016*r - 36038*r + 465894. Is r less than 21178?
True
Let c = -0.18 + 0.2. Suppose -21*l + 23*l = 0. Suppose l = -28*q + 40*q. Are c and q nonequal?
True
Suppose 4*l - 26 - 2 = 0. Suppose 5*t + 65 = -4*o, -l*o = -3*o + 2*t + 74. Which is greater: o or -21?
o
Let h = -1.25 + 0.25. Let g be ((-2982)/16072 - 54/63) + 3/4. Is h less than g?
True
Let u be ((-57)/(-12) - 5) + (3 - (-5876)/144). Is u < 0.2?
False
Let p = 63382265/164787 + -7308/19. Let r = 156145/268863 + p. Which is smaller: 2 or r?
r
Let p be 10/(-4)*((-310)/(-300) - 1). Let s be 105/91 - (-4)/(-26). Let k be (1 - s)*(-1)/(-3). Are p and k nonequal?
True
Suppose 47*p + 14179 = 14226. Which is greater: -1/355 or p?
p
Let w(p) = -10*p**2 - p + 1. Let d be w(-1). Let i be (-5)/2*d*(-1)/(-1010). Let v(q) = -q**3 + 11*q**2 - 2*q + 22. Let h be v(11). Which is smaller: h or i?
h
Let c(l) be the third derivative of 7*l**4/24 - 7*l**3/6 + 158*l**2. Let y be c(-9). Is -67 bigger than y?
True
Let h(n) = n**2 - 11*n - 153. L