 = k**3 + 40*k**2 - 190*k - 669. Let j be y(-44). Which is greater: r or j?
r
Let c be (((-18)/3)/2)/(-197 + -2). Let g be 0 + (-8 - -3) + 5. Is g at most as big as c?
True
Let z be 5 + -5 + -3 - 2/(-8). Suppose -w - 13 = -4*i, i - 2*w = 6 - 1. Suppose -5 = c - i. Is z less than c?
True
Suppose 0 = -4*a - 16, -2*z - a + 78 = 616. Which is greater: z or -265?
-265
Let g = -269 + 276. Suppose -3*r + 5*r = 5*l + g, -4*l = 4*r. Which is bigger: l or -4/11?
-4/11
Let d = -643 - -642.521. Let g = 749 - 749. Is g less than d?
False
Let j(c) = c**3 + 10*c**2 + 13*c + 20. Let i be j(-9). Let v = -46098/7 - -6570. Is v at most i?
False
Let v(i) = i**3 - 5*i**2 + 2*i - 7. Let y be v(5). Suppose 0 = -y*c - 7 + 22. Let q be (((-11)/c)/(-1))/((-8)/(-20)). Which is smaller: -2 or q?
-2
Let m be 2 + ((-912)/(-40))/((-9)/(-30)). Suppose -26 + 3 = -s. Let c = s - m. Is -55 <= c?
True
Let a = 1.78 - 1.38. Let x = a + 0.78. Which is smaller: x or 0.1?
0.1
Let z(t) = -t**2. Let a be z(0). Suppose 3*b - 5*m = 86, -3*b + m + 95 - 13 = a. Suppose b*w - 24*w + 9 = 0. Which is greater: w or -18/11?
-18/11
Let i be 2/14 + (-241047)/63 + -8. Which is bigger: i or -3835?
i
Suppose 0 = 71*n - 81*n - 360. Which is smaller: -393/11 or n?
n
Let r(n) = -477*n + 1578. Let f be r(3). Is -7 > f?
False
Let z be (-12)/9 - 1957/342. Let n = -68/9 - z. Which is greater: -9/2 or n?
n
Let a = -5/2776 + -979903/13880. Let c = 21666 - 21737. Are a and c non-equal?
True
Let c = 23123 - 23270.17. Let v = c + 3.17. Which is smaller: v or -0.1?
v
Let v = -2.111 - -1.911. Let m = 0.34 + -198.34. Which is smaller: v or m?
m
Let i be (128/(-68) + 2)*1. Suppose -2*p - 8*p = -40. Suppose -8*j = -4 + p. Which is smaller: i or j?
j
Let n = 176793/5 + -35055. Which is bigger: n or 303?
n
Suppose 15*h - 25 = 10*h. Let b be (-108284)/208 - 6/39. Let z = b - -525. Is h != z?
True
Let d be 0 - 3 - 23/(184/4752). Is -601 <= d?
True
Let x = 78 + -78. Suppose -2 = -w - x*w. Suppose -3*r = 5*c - 18 - 127, 0 = -w*r. Are 0 and c unequal?
True
Let m = -536.9 + 537. Is m >= -5274?
True
Suppose 319*r - 182 = 305*r. Do 109/9 and r have different values?
True
Let u(n) = n**3 + 20*n**2 - 10*n - 5. Let k be u(-18). Which is smaller: k or 2467/3?
2467/3
Suppose -k + 0*m + 60 = 3*m, 3*m = 3. Suppose -2*w = -153 + 17. Let x = k - w. Which is smaller: x or -8?
x
Let j(q) = q**3 - 7*q**2 - 8*q + 4. Let a be j(8). Suppose -3*r - r - 2 = 3*c, -a*r = 5*c - 2. Let t be r + (2 + 1)*-2. Is t less than -6?
True
Suppose 2*s = 4*k + 3903 + 2859, k + 1708 = -3*s. Do k and -1693 have the same value?
True
Let b = 0.10952 - 0.26052. Let z = 0.01 + -0.01. Which is smaller: z or b?
b
Suppose -4*v + 5*y = 24, 23*v + 19 = 24*v + 5*y. Is v greater than or equal to -1/25410?
False
Let v be (11 + -5)/((-80)/(-12) + 12/(-2)). Which is bigger: -2/11 or v?
v
Let g = -6986 + 6887. Let c be (-15)/25 + -1 + 2. Which is greater: g or c?
c
Suppose 8*u + 10 - 298 = 0. Let p = -35 + u. Suppose a = p, 5*m - 2*a - 257 = -4*a. Which is bigger: m or 50?
m
Suppose -5*m = 20, 0*m - 16 = -4*b + 4*m. Let l = b - -1. Let j be (-754)/(-5742) + (301/(-77) - -4). Which is bigger: j or l?
l
Let u(t) = t**3 + 6*t**2 + 9*t + 3. Suppose -3*z - 99 = -2*i + i, z = -5*i - 17. Let k = -37 - z. Let f be u(k). Which is bigger: f or -19?
f
Let z = 129 - 126. Let l be (-1 + 2/z)*54/(-1629). Let r(s) = s**2 + 7*s + 6. Let o be r(-6). Which is smaller: l or o?
o
Let f = 62.57 - 63. Let j = 3053 + -3058.43. Let r = j - f. Is 1 >= r?
True
Let q be -13 - 7*(-7)/21*(-348)/(-58). Let y = -1261 + 99623/79. Which is smaller: y or q?
y
Let k be 11/(-6)*-34 + -1. Suppose -4*j + 136 = 2*r, j = -36*r + 18*r + 1119. Which is smaller: k or r?
k
Let n(d) = -5*d - 341. Let a(s) = 3*s + 169. Let i(c) = -13*a(c) - 6*n(c). Let l be i(-17). Are 21/26 and l unequal?
True
Let m(l) = l**3 - 5*l**2 + 17*l + 70. Let v be m(-3). Which is bigger: v or -52?
-52
Let p = 3355 - 3331.2. Let d = 21 - 45. Let q = d + p. Is 15 less than q?
False
Suppose 386*o = 384*o + 1912. Let p be o/(-130) - (-60)/390. Is -7 bigger than p?
True
Suppose m - 303 = -5*q + 992, 3865 = 3*m - 5*q. Is 1289 bigger than m?
False
Suppose -3*j - 2415 + 155 = 2*o, 4*j - 4*o + 3020 = 0. Let h be 1*(-4 + 3)*j/13. Which is bigger: h or 59?
59
Let o = 2132/29 + -52927/116. Let i = o - -111777/292. Is 1 equal to i?
False
Let t = 19260 + -19426. Is t less than -47?
True
Suppose -2*t - j = 106 + 76, 485 = -5*t + 5*j. Let v be (-374)/4 + 3 + (-6)/4. Is v greater than t?
True
Let t = -510.3 + 510. Let c = 270 - 269. Which is greater: c or t?
c
Let r be -11 + (-53)/((-212)/48). Is 41/42 > r?
False
Suppose -r - 6*l = -3*l + 4, l = 2*r + 1. Let f be ((0/(-6))/3)/r. Are f and 2/25 equal?
False
Let i = -69.9 - -73.67. Let y = i + 0.23. Is y bigger than -6?
True
Suppose -4*r = 5*h + 2, -r + 4*r + 2*h - 2 = 0. Let z(t) = t**r + 5 + 1122*t + 0 - 1124*t. Let o be z(2). Which is bigger: -2 or o?
o
Let a = 169 - -108. Let h(b) = -b - 38. Let x be h(-39). Is a < x?
False
Let z(v) = v**2 - 25*v + 105. Let m be z(17). Suppose -2*j + 4*j + 2 = 0. Let r be (-58*(-1)/2)/j - 1. Which is bigger: m or r?
r
Let o = -5329/276 + 239/12. Let x = -29/161 + o. Let q = 1197 - 1196. Is q less than or equal to x?
False
Let p = -7 + -18. Let k = 37 + p. Let j = -248 - -258. Which is smaller: j or k?
j
Let c = 12622 + -12895. Is -278 bigger than c?
False
Suppose -61*k + 60*k + 3959 = 0. Let r = k - 114787/29. Is 0 >= r?
False
Let o = -198 + 21187/107. Let r = -5/39 + 6/13. Which is smaller: r or o?
o
Let z be -801*(-30)/(-35) + (-3)/3*3. Are z and -689 nonequal?
True
Let j = 55 + -52. Suppose 0 = -2*t - j*t + 35. Suppose t*v = 2*v. Does v = 3/5?
False
Let n = 0.24 - 0.64. Let v = 0.31 + n. Let h = v - -0.09. Which is smaller: h or -13?
-13
Let n = 24236/5 + -234313633/48340. Which is smaller: n or 0?
0
Suppose 7 = -l + 5*p, 2*p - 4 - 6 = -2*l. Let f be 3/7*(-16)/(-3). Is l less than or equal to f?
False
Let t = -14896 - -42528084/2855. Which is smaller: t or 0?
0
Let s be -5*18/3120*6. Let r be ((-1)/52)/(1/(-4)). Let m = s - r. Is -5/6 != m?
True
Let a(w) = 52*w**2 - 11*w - 6. Let c be a(-1). Is 396/7 smaller than c?
True
Let x be (168/(-35))/((-8)/(-420)). Let d be (0 + -1)/(x/(-246) - 1). Suppose 0*n - 3*n = 126. Which is bigger: n or d?
d
Suppose 3*m + 11*v = 12*v + 578, 0 = 4*m - 4*v - 768. Let t be m/472 + 12/(-32). Is -1 smaller than t?
True
Let p = 0.007639 - -1.392361. Let b = 0.1 + -2.1. Which is greater: b or p?
p
Let p = -234 + 356. Let f be (p/33)/(-1) + 3. Let s = 4/11 + f. Which is bigger: 0 or s?
0
Let u = -1667761 + 1667762. Suppose -6 = f + 7. Which is greater: u or f?
u
Let g(u) = -u**2 - 27*u - 147. Let f be g(-15). Suppose -4*y - 168 = -44. Let w = f + y. Is 6/7 greater than or equal to w?
False
Suppose 4 = 3*d - d, 4*d + 60 = 2*k. Suppose 5*z + k = -26. Let f(r) = r**2 - 40*r + 162. Let s be f(35). Are z and s non-equal?
True
Let t(u) = -u**2 - 47*u - 726. Let d be t(-37). Is -0.5 bigger than d?
True
Let a be 1054/(-49) + 21 + 3/6. Are -1 and a unequal?
True
Let a = -44223 - -44174. Let x = -0.1 - -0.4. Which is smaller: x or a?
a
Let a = 1.291 - -0.249. Let p = -2.42 + a. Is -0.1 < p?
False
Let y(j) = -j**2 + 27*j + 1077. Let r be y(-22). Which is greater: r or 11?
11
Let d = 3889 + -3857. Is 2.9 smaller than d?
True
Suppose 20 = -3*b - v, -5*b - 2*v - 3*v = 40. Let l be b/(-60)*(0 + -2). Let n = -60 + 59.8. Is n smaller than l?
False
Suppose 5*t - 32 = 7*t. Let s be (-30)/8*-3 + t/64. Let r be (18/14 - 0) + (-11)/s. Which is bigger: r or -12?
r
Let j(p) = -48*p - 75 + 52*p + 24. Let u be j(8). Is -19 < u?
False
Let u(a) = 3*a + 0*a + 2 + a**2 + 1. Let m(x) = -x**2 + 24*x - 83. Let n be m(4). Let g be u(n). Which is smaller: 2 or g?
2
Let p be (-72)/(-15)*5330/(-328). Which is greater: -76 or p?
-76
Suppose 16 = -4*y - 4, 3*d + 2*y - 17 = 0. Suppose -n = -2*u + 9, -d = n + 11*u - 7*u. Which is smaller: n or -12?
-12
Suppose 0*y = y + 13. Let s be (2 - 4)*(12 - 2). Is y >= s?
True
Let f(v) = -v**3 - 9*v**2 - 6*v + 4. Let x be f(-6). Let q = x - -68. Are q and -11/26 nonequal?
True
Let u = -6908/1672437 - -8/1159. Is u at most 1?
True
Suppose 0 = 2*h + 4*n - 1082, -2*h = 3*h - 2*n - 2729. Let f = -529 + h. Which is smaller: f or 18?
f
Suppose -q -