+ 11 = k + 12, 5*k - 5*n = i. Which is bigger: -3/34 or k?
k
Let y = -847 + 229. Is 0.1 <= y?
False
Suppose -4*q = -2*q - 4. Let n be q*-1 - (-2 - 0). Let i = 27483/258076 - -6/9217. Which is smaller: n or i?
n
Suppose -r + 0*q + 6 = -2*q, 0 = -r - 5*q - 22. Let a be r/4 + (-15)/(-24). Let i = -464106 - -464109. Do a and i have the same value?
False
Suppose -103*o = -118*o + 135. Let t be (0 - 0)*o/27. Is t smaller than -1/272?
False
Let o be (-9 + -3)*(-69)/63 - 9/(-21). Do o and 13 have different values?
True
Let b = -25908 + 26208.97. Let u = 301 - b. Suppose 0 = 2*i - 15 + 17. Are i and u equal?
False
Let p be -3*(-6)/(-36)*514. Which is bigger: p or -9?
-9
Let u(j) = -3*j**3 - j**2 + 86*j - 29. Let g be u(5). Which is greater: g or 270/209?
270/209
Suppose -12*t - 20*t = 50944. Let n = 65275/41 + t. Suppose a - 11 = 3*q, 3*a - q + 23 = -6*q. Which is greater: a or n?
n
Suppose 7*f - 2*f - 44 = 9*f, -3*f = -5*k + 278. Let z(y) = -y**2 + 6*y - 5. Let d be z(4). Suppose j = t - d*j - 37, 2*t - 4*j = 86. Are k and t nonequal?
False
Suppose -350826 = -39569*w + 39527*w. Which is smaller: w or 8352?
8352
Let h = 40552/133 + -2134/7. Let v = h - -10/19. Is -8 <= v?
True
Let m be (-14)/(-21) - 742/1140. Let h(i) = 3*i**2 + 130*i - 89. Let l be h(-44). Is l equal to m?
False
Let m = -5577 + 5577.2. Let i be (-292)/(-18) + (-4)/18. Are m and i unequal?
True
Let s be (-14)/(-66) + 80/(-360). Let y(d) = d**2 - 6*d + 5. Let b be y(5). Suppose 5 = -5*k - b. Which is greater: s or k?
s
Let k(d) = -d**3 + 4*d**2 + 3*d + 7. Suppose 3*a - 6*a + 15 = 0. Let v be k(a). Let i be (v/(-9))/(3/54). Which is smaller: i or 8?
i
Suppose f - 11 = -16. Let x be 2*((-11)/(-44) - 2). Is x at most f?
False
Let h(s) = -4*s - 66. Let l be h(-38). Is l > 79?
True
Let k = 90.26 + -90.26. Is k < 1687?
True
Suppose 89*f + 103*f = -25118 - 26914. Which is smaller: -273 or f?
-273
Let j be -15*(-36183)/(-90459) + 0 + 6. Which is smaller: j or 1?
j
Let d = -165.07 - -177.67. Is d less than -1/15?
False
Let i = 8578/5 - 1597. Let m be (-15)/1*-8 - (-2 - -3). Let l = i - m. Which is smaller: -1 or l?
-1
Let x(g) be the second derivative of g**5/20 - g**4/3 - 8*g**3/3 + 13*g**2/2 - 14*g - 1. Let p be x(7). Is p less than 47?
False
Let g(r) = r**3 + 23*r**2 - 5*r - 114. Let p be g(-23). Let v be (-487)/(-390) - 24/180 - p. Which is bigger: v or -0.3?
v
Let v be 9 - 6 - (-10)/(-2). Let q be (-1 + 6 - 6)/(1 + v). Let o be (-10820)/6600 + (-4)/(-6) + q. Is 0 greater than o?
False
Let a be (-43)/(-3) + (-4)/(-6). Let p = 1124 + -1113. Let g = p - a. Which is greater: g or -2?
-2
Let n be -13 - ((-336)/176 - 11). Which is smaller: n or 871?
n
Let i = 36.8 + -236.8. Is i less than or equal to 0?
True
Let s(z) = z**3 - 3*z**2 + 17*z - 80. Let y be s(4). Which is greater: y or 3?
y
Let n be (1 - 627/480) + 10/25. Suppose -4*q + 10 = -5*z, 0 = -3*q - 9*z + 11*z + 4. Which is smaller: q or n?
q
Let i = 2828 + -4448. Is i <= -1622?
False
Let m = -3.8 - -6. Let r = m + -2. Suppose 256*h - 110 + 320 = 221*h. Which is smaller: h or r?
h
Let f = 0.267 + -0.22. Let u = f + -28.047. Let s = u + 29.6. Is s greater than 0?
True
Let c be ((-1)/(2/4))/(26 + -28). Let n be ((-261)/(-116))/(c/4). Are 106/13 and n nonequal?
True
Let u(l) be the third derivative of -5*l**4/12 + 13*l**3 + l**2. Let x be u(19). Let r = 112 + x. Is r greater than or equal to 2/17?
False
Let b be (-12)/(-10) + (-902)/410. Which is bigger: b or -9/2276?
-9/2276
Let m(a) = -3*a**2 - 20*a - 22. Let x be m(-5). Let v be (-3)/x*(-4)/(5 - 1). Which is smaller: v or 1/326?
1/326
Let a(g) = g**3 - 10*g**2 + 17*g + 16. Let q be a(8). Suppose s - 175 = -q*s. Which is smaller: s or 11?
s
Let x(t) be the second derivative of 3/2*t**3 + 29*t + 0 - t**2. Let h be x(-1). Which is greater: h or -7?
-7
Let f = 223 + -376. Suppose 615 = -4*o - 1. Is f smaller than o?
False
Let i = -12 + 52. Let y be 24*i/225*-20. Let l = 8201/96 + y. Is l at most -1?
False
Let z = 9.3 - 11.3. Let g be 4 + (3 - 4)*4. Suppose 5 = -n - 3*m, g*m + 3*m = 2*n - 8. Which is smaller: z or n?
z
Suppose -5*t = 4*g - 83, g - 2*t - 3 - 34 = 0. Suppose -130 = -g*y + y. Is y not equal to 13/3?
True
Suppose -3*l + 59 = k, -3 + 19 = -4*l. Which is bigger: k or 211/3?
k
Let q = 277 + -249. Let z = q + -27.9. Is 7/4 equal to z?
False
Let a be 3/(-2)*(4 + -18). Suppose 4*t - a = z, 17 = -z - t + 4*t. Let b be (-5)/(7/(-21) + (-41)/(-24)). Is z equal to b?
False
Let y = -2 - -1.2. Let h = -4/221 - -229/442. Is h smaller than y?
False
Suppose -3*c = 5*z + 18, c + z + 2*z + 10 = 0. Let w = -1937912/649 + 2986. Let h = w - 733/27258. Which is smaller: h or c?
c
Let o(z) = -5*z - 83. Let f be o(-17). Let p be (16 + f - (-2)/1) + 1. Suppose t + t = 44. Is p equal to t?
False
Let a = 9989 - 12600. Is -2612 less than or equal to a?
True
Let y(p) = 4*p**2 - 4*p + 2. Let n be y(2). Suppose -n*d = -5*d - 10. Let x be (-4)/16*22 - d. Which is smaller: x or -1?
x
Let u = -1570 - 1452. Which is bigger: -3023 or u?
u
Let c be (-91)/(3 + 10) - -9. Which is bigger: 279 or c?
279
Let x be (-2)/(-13) + (-7106)/3094. Let m = 7 - 5. Does x = m?
False
Let z = 0.094 + 40.406. Let h = z - 42.5. Which is bigger: 159 or h?
159
Suppose -7*x + 92 = 1. Suppose 119 = -4*b - x*b. Which is smaller: -23/3 or b?
-23/3
Let v(r) = 2*r**2 - r - 45. Suppose 2*d + 54 = -2*x + 4*x, -120 = 5*d - 2*x. Let z = d - -16. Let c be v(z). Which is smaller: c or 31?
31
Let j be 18/4*444/9. Let c(z) = -310*z - 33569. Let v be c(-109). Is j at least as big as v?
True
Suppose -t = -5*q + 15, -34 - 41 = 5*t - 2*q. Let b be (-16 - t) + (-111)/3. Which is smaller: b or -39?
-39
Let c be (2/(-7))/((-680)/(-238)). Which is smaller: 1553 or c?
c
Let d = -1986 - -1996. Let r = 32 - 28. Let m be 1/r*4 - 3. Which is smaller: d or m?
m
Let x = -36 - -251. Let f = -202 + x. Which is smaller: 62/5 or f?
62/5
Let t = -510.06 - -4.06. Let p = -507 - t. Let g = 39 - 12. Does p = g?
False
Let r = -2586 - 16163. Is r != -18748?
True
Let d be 6/(-15) - (-8027)/16905. Is d < 1?
True
Let c = 91.55 - 91. Let w = c - -75.45. Are w and 0.2 unequal?
True
Let m = -0.09633 - 456.90367. Which is greater: m or -12?
-12
Let r be (3/(-6)*0)/2. Let i be 2190/(-21) - (-10)/35. Let n be (10/(-4))/(i/(-16)). Is r > n?
True
Let s = -6.17 + 2.38. Let m = s - -0.49. Which is greater: -0.2 or m?
-0.2
Let h = -5977.6 - -5978. Which is greater: h or -0.902?
h
Suppose 3*w - k - 2384 = 0, -1585 = -94*w + 92*w + 5*k. Does w = -2?
False
Suppose 2*r = 3*r - 3. Suppose -43 = r*x - 49. Let h(o) = 27*o + 3. Let d be h(x). Which is smaller: d or 58?
d
Suppose -118*k - 2175 = -193*k. Let n(b) = b**2 - 3*b + 2. Let u be n(3). Suppose u*d + 96 = 3*f + 5*d, 5*f - 130 = d. Which is smaller: k or f?
f
Let u(j) = -1. Let c(n) = -5*n - 9. Let o(x) = c(x) + 3*u(x). Let w be o(-3). Let s = -2 - -2. Is w <= s?
False
Let y be ((-4)/10)/(64/(-224)) - 2. Which is smaller: y or -4?
-4
Let q be -10 + ((-210)/(-3 + 0) - 1). Is 56 at most q?
True
Let j(d) = 239*d + 1554. Let h be j(-9). Is h less than -597?
False
Let c = 4705 + -4705. Does c = 5/159?
False
Let f = -5 - -4.94. Let v = 97.5 - -31.5. Let i = 119 - v. Do i and f have the same value?
False
Let c(k) = k**3 - 15*k**2 + 10*k - 9. Let b be c(15). Let z = b - 46. Let w = z - 1047/11. Is -0.03 > w?
True
Let g = -6676 - -6661. Which is smaller: -202/3 or g?
-202/3
Let o(j) = 34*j + j**2 + 39 + 42 - 27 + 0*j**2. Let l be o(-32). Let p be 11/(22/55 - (-6)/l). Which is smaller: p or -53?
p
Let c(r) = -2*r + 26. Let u be c(12). Suppose -j = u*i + 4, 4*i + 16 = j + i. Suppose -j*h = -5*x - 8 + 18, -3*h = 2*x - 4. Which is smaller: 6/5 or x?
6/5
Let g(b) = -64*b**2 - 3519*b + 49. Let d be g(-55). Let r(v) = 10 - v + 4*v**2 - 4 + 4 + v**3. Let o be r(d). Is -56 less than o?
False
Let k(c) = 389*c - 1759. Let y be k(5). Which is greater: y or 195?
195
Suppose 4*v = 4*y - 19 - 5, -v + 4*y = 21. Let l(m) = -5*m + 1. Let r be l(v). Suppose -47*k + 102 = -4*k - 9*k. Which is greater: r or k?
r
Let y(n) be the second derivative of -n**5/10 - n**4/3 + 5*n**3/6 - n**2/2 - 8*n. Let g be y(-4). Suppose -g = -4*m - 31. Is 6 < m?
False
Let g be 122/16 + (10 - (-308)/(-32)). Suppose -g*h = 15*h - 115. Is -1 greater than h?
False
Suppose -2*y = 2*y - 228. Le