Suppose -u*f = -11 - 1. Let x = -11 - -7. Which is smaller: x or f?
x
Let n(p) = -p**3 + 4*p**2 + 59*p + 43. Let v be n(13). Does v = -712?
False
Let t = 4177 + -4169. Which is smaller: -134 or t?
-134
Suppose t = 5*r + 101 - 105, 0 = -4*r + 2*t + 2. Does r = 1/14977?
False
Let d(z) be the third derivative of -3*z**4/8 + 5*z**3/6 - 22*z**2. Let t be d(-4). Let p be -2*(3 - t/6)*3. Is p greater than 23?
False
Let w(m) = -3*m**3 + 69*m**2 + 5*m - 377. Let z be w(23). Are -265 and z equal?
False
Suppose 0*d = -5*d + 3*o + 270, 2*d - 3*o - 108 = 0. Let h be (1/1 - 7)*12. Let i be (2/(1*d))/((-12)/h). Which is smaller: i or 1/3?
i
Let m = 8 - -8. Let f = -12 + m. Suppose -1 = 3*h - f*h. Is 1/32 at least as big as h?
False
Let k = 1297 + -1531. Which is greater: -706/3 or k?
k
Suppose -22*k - 69 - 62 + 109 = 0. Let x be ((-2)/(-7))/((-3636)/(-28))*3. Is x greater than k?
True
Let n(c) = -c**3 - 3*c**2 + 17*c - 6. Let x be n(-6). Suppose x = 21*y + 35 - 14. Which is smaller: 1/196 or y?
y
Suppose 9 + 7 = 5*s + 4*h, 0 = -4*s - 2*h + 8. Suppose s = 2*p + 8, -5*w = -p - 0 - 184. Is w >= 38?
False
Let i = 6478/11 - 590. Which is greater: i or 0.05?
0.05
Let t(u) = -u**3 + 8*u**2 + 48*u + 12. Let n be t(12). Let i be n/(-9)*((-30)/(-8))/(-5). Is 4/13 greater than i?
False
Let n = 112 - 161. Let g be (-6)/45 + n/(-300). Is 0 at most as big as g?
True
Suppose 6*z = -42260 + 42278. Which is bigger: z or 54?
54
Let x be 19/7 - 3 - 0/(-2). Let b = 107.6 + -106. Which is smaller: x or b?
x
Let o be (-6631)/(-38) - (9/21 - 11/(-154)). Is o smaller than 178?
True
Let d = 295/99 + 392/99. Are d and 7 unequal?
True
Suppose 12843 = -23*k - 4223. Is k greater than -742?
False
Suppose -y = 5*a + 369, 6*y - 2*a + 348 = 5*y. Let m = 2482/7 + y. Which is smaller: m or 2?
m
Let t be (10/(-16)*1)/51. Let x be 4/38 - (-73969)/(-868224). Let n = x + t. Which is greater: -1 or n?
n
Let o = -55 - 88. Let w = 1246 - 1390. Which is smaller: w or o?
w
Suppose 0 = 2*d - 83 - 111. Let a = d - 103. Let b = -44 - -34. Which is greater: b or a?
a
Let j = 0.62 - 0.32. Let q = -5.9 - -5.82. Let h = q - 0.06. Do j and h have different values?
True
Suppose 0 = -2*z - 7*z. Suppose 9*d - 2 - 7 = z. Suppose 5*x + 10 = -5*j, -4*x - d + 0 = -3*j. Which is greater: x or 53?
53
Let i = -1932.4 - -1818. Is i less than or equal to 2?
True
Let v = 570.9 - 570.9268. Is v smaller than 2?
True
Let g = -2933 + 2934. Which is greater: 1/2894 or g?
g
Let p be -5*(64/20)/(-2). Suppose -2*o = -0*o - p. Let b = -4423 + 4427. Is o equal to b?
True
Let x = -117 - -703/6. Let i = 27 + -11. Let f = i - 16. Which is smaller: x or f?
f
Suppose -17 = 3*r + 8*m - 10*m, -9 = -r - 3*m. Let t be (2/r)/((-23)/(-69))*-4. Which is bigger: t or 0?
t
Let x = -45/643 - -19/18647. Let v be (-5)/5*1*9. Is x at least as big as v?
True
Let c be -1*25173/6309 + -2*4/(-2). Does 0 = c?
False
Let d be 3/2*(-28)/((-1680)/106130). Is 2653 > d?
False
Let y = -0.07 - -48.07. Let z = -37 + y. Let u = 9 + z. Which is smaller: 3/4 or u?
3/4
Let c(z) = z**3 - 3*z**2 - 2*z - 2. Let a be c(3). Let d be (5/(-60)*a)/(2/69). Suppose -4*v - v = b - 123, 3*v - 81 = -3*b. Is d >= v?
False
Let h(z) = 5*z**2 - 4*z + 11. Let b be h(3). Let l be 64/3*66/b. Suppose -2*n - 102 = -5*n. Is l <= n?
True
Let h = 1/1209 + 2089/397761. Let i = 192 - 191. Which is bigger: i or h?
i
Let r = 5.22 + -34.32. Let n = r - -29. Let h = n - -0.1. Which is greater: h or -1/8?
h
Let n = -1082099/6 - -179937. Which is greater: -413 or n?
n
Let x be (-77)/(-7) + (-958527)/87138. Is x at most as big as 0?
True
Let o = -40 - -45. Let y(u) = 9 - 4*u + 8 - 12 + 17. Let a be y(o). Is 3 less than a?
False
Let z = -1702.9 + 1700.99. Which is greater: 60 or z?
60
Let f = 2752 + -2745.098. Let g = f - -0.098. Let q = 0 + 2. Do q and g have different values?
True
Let p = -312/5 + 62. Let z be 3/4*-4 + 453/(-4). Let v = -113 - z. Which is smaller: p or v?
p
Suppose -2*v = -v - 3. Suppose -5*n - v = 17. Let h be (n - -21) + -2 + 1. Is 15 >= h?
False
Suppose -965 = -6*w - 1013. Let g be ((-4)/w*-7 - -4)*-2. Let o = -2077/122913 - -2/1951. Which is greater: o or g?
o
Suppose 6604 = -17*u + 20017. Suppose -x - 3*z - 263 = z, u = -3*x - 3*z. Which is smaller: x or -525/2?
x
Let m(h) = -h**3 + h**2 + 3*h - 3. Let a be m(2). Let f = 617/1178 - 15/38. Are a and f equal?
False
Let p(q) = -968*q - 248. Let b be p(0). Which is smaller: b or -2471/10?
b
Suppose 0 = -3*s + 5*s - 98. Let w = s - 41. Suppose 0*q + q = 5. Which is greater: q or w?
w
Let d be (-14)/6 + -4*(-6)/(-36). Let t be 2 + 0 - (-1 - d). Is t smaller than 1/11?
True
Let p = 211.4 - 171.4. Is p equal to -1?
False
Let r be (51/(-68))/((-1)/(144/(-1))). Which is smaller: r or -102?
r
Suppose -64 = 5*f - 84. Let b be f*-1 - (-60)/15. Let x = b + 3/2. Is x < 1?
False
Let a(n) = -n**3 + 9*n**2 + 4*n + 7. Let s be a(7). Suppose 2*d + s = 187. Which is greater: 32 or d?
32
Suppose 10*u - 2781 = u. Let t = -318 + u. Which is bigger: -4 or t?
-4
Let n(g) = -8*g - 6. Let m be n(-2). Suppose 3*q - m + 43 = 0. Suppose 94*w - 8 = 96*w. Are w and q equal?
False
Let m(g) = 9*g**2 - 101*g - 83. Let r be m(12). Let o = -184 + -32. Let y = -146 - o. Is r greater than y?
False
Let l = 5 + 30. Let u be (l + 1)/(-12 + 11). Let i = -37 - u. Is i != -1/44?
True
Let f = -5.05 + 5.15. Which is greater: f or 5102?
5102
Let n be (-9)/3 + 132*2. Let w = n + -643. Is -381 not equal to w?
True
Let g(r) = -r**3 - 4*r**2 - 3*r + 2. Let x be g(-3). Suppose -3*l = -3*v + x*l - 1, -3*l - 3 = 0. Let c be (-138)/92 + (-45)/(-70). Which is greater: c or v?
c
Let z = 61.9438 + 0.0562. Is z less than -26?
False
Suppose 5*y = 2*y - 684. Let x be (45/160)/((-9)/y). Which is smaller: 8 or x?
x
Let c = 51/2 - 463/18. Let w(o) = 2*o + 9. Let z = -4 + 0. Let a be w(z). Which is bigger: c or a?
a
Suppose -a = 7 - 7. Suppose 0 = -a*o - o + 8*o. Which is smaller: o or 101?
o
Let a be (-4 + -1)*2/122926*12293 - -1. Is a greater than or equal to -1?
True
Let c = -12 - -6. Let n = 9 + c. Let d = -3693 + 7387/2. Is n at most d?
False
Let y = -13767 - -454310/33. Is -0.005 greater than y?
True
Suppose -f - 5*m + 11 = -3*f, -4*f = -4*m + 4. Suppose 2*s = v - 4*v + 20, -2*v - 3*s + 20 = 0. Suppose -v = f*r - 4*r. Is -2 >= r?
False
Let h = -36 - -15. Let q = h - -20.43. Let g = q + 0.87. Is g > 6?
False
Let i(y) = 2*y**2 - 23*y - 8. Let p be i(12). Let z = -112 - -106. Is z > p?
False
Let u = -0.271 - 122.729. Let z = 124 + u. Let m be 20*(-5)/(-4)*33/(-15). Which is smaller: m or z?
m
Suppose -i - 40 = -3*i. Let p(j) = i - 8 - 13 + j**2. Let f be p(-1). Is f greater than 2/31?
False
Let z = -1486.5 - -1353.5. Which is greater: -2/11 or z?
-2/11
Let h = -2892.79 - -2893. Is h greater than or equal to -5/13?
True
Let u be ((-15)/(-60))/((-122)/(-24) - 1). Let s = u + 96/833. Which is smaller: s or -1?
-1
Let f(m) = -m**3 + 21*m**2 - m + 24. Let l be f(21). Let t be (-422)/(-4) + l + 56/(-21). Let z = -105 + t. Is 1 greater than or equal to z?
True
Let h(m) = -m**3 - 9*m**2 + 7*m - 23. Let y be h(-10). Let p be (-7)/y*3 - -3. Is p != -2/7?
True
Let a be ((-5 - -6) + -3)*(-1 - 1). Let m(t) = -t**2 + 2*t + 1. Let r be m(2). Let g be 1/(-1) - (a - (r - 2)). Which is bigger: -2 or g?
-2
Let v = -1325 - -1324. Let l = 1/419 - -331/36872. Is v at most l?
True
Let o be (2 - 8) + (-23408)/(-3892). Do o and 1 have the same value?
False
Let i = 224 + -109. Suppose -72*x = -77*x + i. Is 0 > x?
False
Let j = 60 + -44.6. Let r be 75/(-27) - (-16)/(-72) - -2. Does r = j?
False
Let d be 3/(54/(-5001)) - 85/(-102). Which is smaller: -1/11 or d?
d
Let t = -307300151/39 - -7880414. Let y be 919 + -1*(-3 - 1). Let u = t - y. Which is greater: u or 1?
1
Let t = -664.067 + 664. Let z = t + -1.933. Are z and 3 equal?
False
Suppose 21 = -5*g + 4*a, -5*a = -2*g - 9*a + 14. Let z be ((-16)/8 - g) + 10. Is z less than 9?
False
Let d = 221 - 225. Let v be (19 - 3)*(5 + d + 0). Which is greater: v or 15?
v
Let u = 115 + -107. Let h be 7/u - (-102)/(-272). Let t be -2 + -17*(-1)/(-5). Which is greater: h or t?
h
Let a be 3 + -7 + 3 + 1. Let p be ((-120)/(-9))/((-11)/2). Let k = -12/11 - p. Is k <= a?
False
Suppose 212*c + 30 = 182*c. Is c at least as big as -29/91?
False
Suppose 0 = 4*g + 3*x - 20, 5*g - 70 =