Suppose -5*c = 4*k - 101, 0 = -4*k - 0*k + 2*c + 66. Let g = k + z. Which is smaller: g or -5?
-5
Let h(j) = -7*j**2 - j - 2. Let l be h(-2). Let n = -32 - l. Let z be n/12 + (-51)/(-45). Is z smaller than 0?
False
Let q = -6698/7 + 960. Let y = 36 - 33. Which is smaller: y or q?
y
Let o be (-27)/2*16/66. Let n = o + 355/132. Is -2 less than n?
True
Let m = -0.1277 - 5.2623. Let d = 1.71 - m. Which is smaller: d or -0.1?
-0.1
Let v be (2 - 0)*(0 + 5)/5. Let u be 4/30*14 - v. Which is bigger: 1 or u?
1
Suppose -3*x + 9*x - 258 = 0. Let d = -88 + x. Which is bigger: 1 or d?
1
Let w be (-2121)/(-84) + (-1)/4. Let s = w - -11. Let k be (10/54)/((-3)/s). Which is greater: -2 or k?
-2
Let t = 171 - 165.03. Let g = t + 0.03. Suppose n = -2*c - 10, 2*c = -12 + 4. Which is greater: g or n?
g
Let u = 4.45 - 4.55. Are -14.8 and u unequal?
True
Suppose 22*p - 328 = -20. Let b(v) = -3*v**2 - 4*v + 2. Let c be b(-4). Let x = -16 - c. Are p and x nonequal?
False
Let k = -1008 + 1175. Do k and 168 have different values?
True
Let x be 9/(2*(-12)/16). Let l be x/(-54) + 2/9. Is l <= 1/2?
True
Let k be ((-60)/45*3)/(4/34). Which is bigger: k or -436/13?
-436/13
Let c = 12 - 37/3. Let o = 10 + -7. Suppose -r = -3*h - 3, o*h - 1 = -2*r - 4. Are c and h nonequal?
True
Let z = 1271 + -1271.1. Are 0.705 and z nonequal?
True
Let i be (-64)/80 - 858/(-135) - 6. Let h = 0 + 2. Is i != h?
True
Let h(s) = -4*s - 12. Let f be h(-6). Let v be (f/15 - -3) + -3. Which is smaller: 1 or v?
v
Let a = -12/67073 - -102689015/1408533. Let h = 73 - a. Which is bigger: h or 1?
1
Let g = 470 - 468. Is -80 <= g?
True
Suppose 5*f + 38 = 13. Suppose -3*o + 2*o = -3. Suppose 0 = -l - o*l - 12. Which is greater: f or l?
l
Let w = -1927682 + 175415098/91. Let u = -34988/7 + 5042. Let x = u + w. Which is bigger: -1 or x?
x
Let h(y) = -7*y**2 + 264*y - 70. Let l be h(37). Which is greater: 119 or l?
119
Suppose 4*n - 3*n + 10 = 0. Let y be ((-9)/135)/(4/n). Is 0 at least as big as y?
False
Let q = 1901 + -1761. Are q and 143 equal?
False
Let i = 0.42 + -1.02. Let f = -0.4 - i. Is -2.1 at least f?
False
Suppose -3*k = 4*f - 6, 3*f + 6 = 5*k - 4. Which is smaller: f or 2/73?
f
Let p be (1*-4)/(-2) + -1. Suppose -3*y + 2 + p = 0. Let q be (-102)/(-1260) + (-4)/(-30). Which is bigger: y or q?
y
Let z be 1/((-5)/(-19))*3/3. Let j = -17/5 + z. Let d = -3 - -4. Which is bigger: d or j?
d
Let p = -161557/87 - -1857. Let h = 158 + -157. Is p less than h?
True
Let a(l) = -l**2 - 7*l - 10. Let g be a(-2). Suppose -2 = -2*b, 8 = 3*h - g*h + 5*b. Is h != 1/44?
True
Suppose -27 = -7*g + 4*g. Suppose g*z = -15 - 3. Let u = -2.1 - -2. Is z != u?
True
Let g be (-2)/39*255/(-10). Are g and 0 unequal?
True
Let f = 6/83 - 5046/913. Is f less than -5?
True
Let r = -117 - -134. Is r less than or equal to 19?
True
Let a = -429/8 + 2603/56. Is a bigger than -8?
True
Let o(d) = -1 - 13*d**2 + 0 + 2 + 5*d - 7*d. Let m be o(1). Which is greater: -2/7 or m?
-2/7
Let l be 2*(2 - (-48)/(-28)). Let t = 12 - 5. Let p = -6 + t. Which is bigger: l or p?
p
Let q = -2/351 + -2437/3510. Suppose -5*p + 68 = -12. Suppose 0 = 4*y + 3*s + 12, -4*s = -3*y - 0*y + p. Which is smaller: q or y?
q
Let h be 1/(-3) - (-8)/6. Let g = 56 + -27. Let t = g - 83/3. Is t > h?
True
Suppose -120 = -5*o + 15*o. Which is bigger: o or 4/3?
4/3
Let f = -0.367 - 0.103. Let v = 0.4 + f. Let h = v + 0.17. Is 2/9 at least as big as h?
True
Let s be 28/42*(-6)/4 - -398. Which is bigger: 396 or s?
s
Let w = -3.4 + 0.8. Let a = -3 + w. Let j = 0.6 + a. Is 2 bigger than j?
True
Let x = 3 - 1.2. Which is bigger: x or -5?
x
Let x = -479/318 + 1/159. Do x and -2 have the same value?
False
Let v(s) = -s**3 + 8*s**2 - 8*s + 7. Let k be (-264)/(-36) - 2/6. Let r be v(k). Let q be 0 + (-7)/(-5) + -1. Which is bigger: q or r?
q
Suppose 11*x = -0*x - 495. Let w = -62 - x. Is -18 at most w?
True
Let t(k) = -k**2 + 11*k - 10. Let u be t(12). Let o be u/7*(7 - 14). Is o greater than 22?
False
Let y = 3373 + -2311. Is y at most as big as 1062?
True
Let r be 124/93*(-54)/(-2). Which is bigger: 44 or r?
44
Let y(h) = -h**3 - 13*h**2 - 12*h + 16. Suppose 0 = -2*v + 3*v + 12. Let u be y(v). Let i = u + -15. Is 1/10 equal to i?
False
Suppose -2*o + 4*u = 0, -3*u + 5 = -1. Suppose 4*t + 5*a + 1 = 0, -a = o*t + 3*a. Are t and 1/31 non-equal?
True
Let o be 54/(-13) + (-8)/(-52). Let a be ((-54)/(-12) - 5) + (-2)/o. Is -3/32 at most a?
True
Let a be -4*(-2)/112*-4. Which is bigger: a or 59?
59
Let i be (1/(-42)*4)/((-3)/7). Let w = -5.99 + 2.96. Let g = -0.03 - w. Which is smaller: i or g?
i
Let c(m) be the first derivative of -m**2 - 1/4*m**4 + 5 - m**3 - 2*m. Let t be c(-2). Which is smaller: t or -4?
-4
Suppose -2*f - l = -6*l + 18, f + 15 = 4*l. Let u = f - -3. Suppose -j - 1 = 3*s, -2*s + u*j - 1 + 5 = 0. Is 7 less than s?
False
Let q = -0.1 + 0.3. Suppose -25*r - 94 = -69. Is q < r?
False
Let f(r) = r**3 + 8*r**2 + 5*r - 10. Let h be f(-7). Suppose h*y - 6*y = 30. Are y and -16 non-equal?
True
Let n = -6/293 + -88/24319. Let x be (13/(52/36))/((-6)/8). Let d be 2*(-4 + (-42)/x). Is n less than d?
False
Let g(w) be the first derivative of w**3/3 - w**2 + 3*w + 3. Let i be g(3). Let f be 3/i - (-2)/(-4). Does f = 6/11?
False
Let r = -193 - -194. Let y = 941 - 78102/83. Which is smaller: r or y?
y
Suppose 228*c - 237*c - 837 = 0. Which is greater: -367/4 or c?
-367/4
Let h = 109 - 49. Let j = 302/5 - h. Let k = 1.3 - 0.3. Which is bigger: j or k?
k
Let w = -1002 + 6013/6. Which is smaller: w or -0.6?
-0.6
Suppose -9*i - 714 = 258. Let b be i/20 - -5 - (-31)/15. Let u = 0.02 - 2.02. Is u smaller than b?
True
Let q be (602/40)/(-7) + 2. Suppose -11 - 5 = 4*w. Let i(g) = g**3 + 5*g**2 + 4*g + 1. Let z be i(w). Do q and z have the same value?
False
Suppose -t - 2 = -d, -3*d - 2 = -32*t + 37*t. Which is bigger: -3/2581 or d?
d
Let d = 44833 + -315019/7. Suppose -1357*t + 1365*t + 1360 = 0. Let l = d - t. Which is smaller: 0 or l?
0
Let x = 0.0434 + -0.1854. Do 0.3 and x have the same value?
False
Let j = -205 - -180. Is j < -25?
False
Let p be (3/((-3)/4))/((-210)/(-20)). Which is bigger: p or 1?
1
Let y = -154 - -161.7. Let n = 7.9 - y. Is -0.25 <= n?
True
Let s(x) = -x**2 + 22*x + 22. Let f be s(23). Which is smaller: -3/104 or f?
f
Let g(k) = -15*k - 82. Let z be g(-5). Suppose -2*t = -6*t - 4. Which is bigger: z or t?
t
Let v = -1.83 + 0.83. Let o(u) = -u - 23. Let k be o(0). Which is smaller: k or v?
k
Suppose -7*c + 3*c = -2*p + 34, 0 = -c + 5*p + 14. Do c and -11 have the same value?
True
Let k = 2.2 - 5.9. Let x = 106 - 100.3. Let h = k + x. Is 2 > h?
False
Let t = 86 + -88.05. Let m = 30.05 - 30. Let j = t + m. Is j >= -1/3?
False
Let h be (14/(-5))/((-35)/1225). Is h > 100?
False
Suppose -4*z - 8 - 4 = 0. Let b be (8/(-16))/(2/(-48)*-20). Does b = z?
False
Let s = 1 + -1. Let k = -326.34 - -331. Let w = k - 1.66. Which is smaller: w or s?
s
Let a(k) = -k**3 - 6*k**2 + 2*k + 7. Let l be a(-6). Let r(v) = v + 5. Let s be r(l). Let n(q) = -q**2 + 13*q - 33. Let i be n(10). Is s smaller than i?
False
Suppose -5*n - 20 = -z, -5*n - z - 21 + 1 = 0. Let h be (-2)/((-5)/(-3) + -1). Let c = h + n. Which is smaller: -8 or c?
-8
Let y = -6 + -1. Let i(m) = -8*m**2 - 56*m. Let j be i(-7). Which is bigger: y or j?
j
Let k(o) be the third derivative of -o**6/120 - o**5/60 - o**4/12 + o**3/2 + 6*o**2. Let v be k(1). Is -9/8 at most as big as v?
True
Let k = -779 + 10117/13. Is -1 smaller than k?
True
Suppose 15 = -r - 4. Let q = r + 22. Suppose 5*v + h + 0*h + 5 = 0, q*v = 3*h + 15. Which is bigger: v or 9/8?
9/8
Suppose 82 = 5*m - 83. Let b = m - 28. Do 10 and b have the same value?
False
Let k(u) = u**3 + 3*u**2 - 18*u. Let r be k(-6). Which is bigger: r or -3/145?
r
Let d = -1020 + 1023. Let x be 3/12 - 5/(-4). Is x != d?
True
Let q be (-1)/(1576/392 + -4). Is q smaller than -1?
True
Let k(j) = -9*j**2 + 177*j + 64. Let x be k(20). Let b = 27 - 17. Let l = b + -4. Which is smaller: x or l?
x
Suppose -4*a = -4*x + 44, 4*a + 17 + 29 = 2*x. Let b = a - -12. Suppose b = -5*n - 3*k - 3, 3*n + 1 = k + 2. Which is smaller: 2/7 or n?
n
Let q = -105/4 - -27. Let m(x) = 2*x**2 - 4*x + 2. Let z be m(2). Suppose -7*d = -z*d. Is d greater than or equal to q?
False
Let w = 89503/13 - 6889. Whi