f?
True
Let w = 532 + -531. Is w > 395?
False
Let p(x) = -x**3 + 9*x**2 + 3*x - 25. Let i be p(9). Suppose -i*a = 5*m - 81, 0 = -5*m + 2*a + 22 + 67. Is m >= 13?
True
Let o be (-62)/(-70) + (-15)/25. Let s = 12 - 8. Suppose -f = 3 - s. Which is smaller: o or f?
o
Suppose 0 = 4*r + 9 - 17. Suppose -3*y - 5*n - 3 = -7*n, -1 = 5*y - r*n. Which is bigger: -0.09 or y?
y
Let m be 3/(-4) + (-24)/(-32). Suppose -x + m = -3. Suppose -x*j + 9 = -0*j. Which is smaller: j or 7/4?
7/4
Let q(f) = f + 71. Let t be q(0). Let z = 565/8 - t. Which is smaller: z or 1?
z
Let m = -0.485 - -0.095. Let u = 26.61 - m. Let g = u + -27. Which is smaller: g or -16?
-16
Let q = 8 - 9. Let k be ((-45)/6 + 3)/(6/(-16)). Is k > q?
True
Suppose -5*p + 4*y = 9*y - 240, -3*p = -4*y - 116. Which is smaller: -2 or p?
-2
Suppose 125 = -20*g + 5. Let u = -4 - -8. Suppose -u*l - 22 + 2 = 0. Is l at most g?
False
Let v = 189362740650098 - 2745610142861305620503/14499210. Let q = v + -2/43937. Let d = q - 1/11. Which is greater: d or 1?
1
Suppose -28*g = -2652 + 580. Which is greater: 73 or g?
g
Let g = -1539 + 2162. Which is greater: 624 or g?
624
Let q(v) = 16*v**3 + v**2 - 5*v - 2. Let l be q(-2). Let r = -152 - l. Is r smaller than -37?
False
Suppose -2304*w - 1065 = -2309*w. Which is smaller: 214 or w?
w
Let q be -4 + -1 - (6 + -7). Which is greater: -1/28 or q?
-1/28
Let y(r) = 10*r**2 - r - 2. Let v(q) = q + 1. Let a(i) = 6*v(i) + 2*y(i). Let m be a(-2). Which is greater: -0.1 or m?
m
Let x = -0.19 + 39.19. Let v = -38.9 + x. Which is bigger: 19 or v?
19
Let l(t) = t**3 + 27*t**2 + 49*t - 59. Let r be l(-25). Which is smaller: -35 or r?
-35
Suppose 0 = -s + 3*o - 6, -s + o - 6 = -o. Let y(r) = r**3 - 3*r**2 - r + 2. Let d be y(-2). Let x = -21 - d. Is s bigger than x?
False
Suppose 2*w = -0*w. Let x = 188 - 8649/46. Which is smaller: w or x?
x
Let s = 2.64 - 17.64. Is -3/2 equal to s?
False
Let v = 940 + -12508. Let z = v - -763471/66. Let t = 1/6 + z. Are t and 1 non-equal?
True
Let u(i) = i**3 + 3*i**2 + 2*i + 3. Let p be u(-3). Let j = -3 - -4. Let g(b) = -4*b**2 - 1. Let k be g(j). Which is bigger: p or k?
p
Let z = 52 - 48.1. Let x = 0.1 + z. Let u = -4.3 + x. Which is bigger: 0 or u?
0
Let l be (2 - 3) + (-25)/(-23). Let r be 2*(-6)/(-4) - 785/230. Let m = r - l. Is m greater than or equal to -1?
True
Let h = -9 + 6. Let a = 1 + -2. Let t be a/(-3) + 14/(-6). Which is smaller: h or t?
h
Let f be 21/14*-2*56. Let x be ((-144)/f)/((-1)/(-35)). Is x equal to 30?
True
Suppose 10 = c - 0. Let z = 14 - c. Suppose 3*l + 44 = z*j, -3*l + 4*l = 3*j - 28. Which is greater: j or 7?
j
Let a = 1065 + -1070. Let t be 2/3 + (-39)/9. Which is smaller: a or t?
a
Let x = 83 - -39. Let b = -121.934 + x. Which is smaller: b or -1?
-1
Let c = 24 - 22.1. Let q = -2.2 - -4.1. Let r = q - c. Which is greater: -0.2 or r?
r
Let g = -66 - -68. Is 2/67 greater than g?
False
Let d = 0.8 - -3.2. Let p = 362 - 371. Let o = d + p. Which is greater: 0 or o?
0
Let i = 306 + -363. Is 0.3 < i?
False
Let l(w) = -w**2 - 4*w + 3. Let d be l(-5). Let s be (-2)/((-12)/d)*-6. Which is greater: s or 5/6?
s
Let c be (-3)/(-1) - ((-3 - -3) + -2). Suppose -4*k - r = -199, -2*r + 96 = -c*k + 348. Is k at most as big as 51?
True
Let q = 9 + -12. Let z = 1.4 - 4.3. Let j = z - q. Which is smaller: j or 0?
0
Suppose -6*n = 5*n + 1221. Let j = -111 - n. Is 1 at least j?
True
Let p = 3/7027 - -4244209/231891. Let v = 62/3 - p. Is v greater than 2?
True
Suppose -2*p - 35 = -81. Suppose -4*d - p = -5*g, -4*g = 4*d - 4 - 0. Which is bigger: g or -1.1?
g
Let a = 34 + -33.2. Let i = -11.2 - a. Which is bigger: i or -1?
-1
Let w = -3561 - -616051/173. Which is greater: w or -1?
w
Let d be (25/15)/1 + -2. Is -139 bigger than d?
False
Let q = -2144 - -2075. Which is greater: q or -57?
-57
Let m be (34/4)/((-5)/10). Let y(s) = s**3 + 16*s**2 - 20*s - 18. Let u be y(m). Which is smaller: 1 or u?
1
Let r(s) = -21*s**2 + 81*s + 7. Let j be r(6). Which is smaller: -262 or j?
j
Let f(i) = -3*i - 12. Let a be f(-8). Let m = a - 10. Let l be 3/2*m/(-3). Is l smaller than -5?
False
Suppose 2*g - 7*g + 3*i - 476 = 0, -372 = 4*g + 2*i. Is 2/3 >= g?
True
Let g(c) = 4*c + 20 - 14 - 3*c. Let v be g(-7). Let r be 180/385 - (-6)/(-21). Which is greater: r or v?
r
Let s be (-3)/(-4)*4 - -24. Let c be (1 - s/(-24))*(-1 - -5). Which is smaller: c or 9?
c
Let n = 24.028 + -0.028. Let f = n + -23.9. Let l = -2.5 + -13.5. Is f less than or equal to l?
False
Let l = -6460/3 + 34471/16. Let f be 605/(-176) - (2 - 5). Let v = f + l. Is 0 less than v?
True
Let m be 10 - (-1 + 3 - 3). Suppose -h + 2*v - 44 = -6*h, -5*v = -h + 25. Suppose h*o - 13*o = -30. Which is smaller: m or o?
o
Suppose -34*l - 11*l + 2880 = 0. Which is greater: 65 or l?
65
Let f = 106 - 110. Let m be 6/f + -6*(-7)/84. Is -1/6 <= m?
False
Let n = 8.38 + -8.34. Which is greater: -18 or n?
n
Suppose -2*l + 5*l + 5*s = -41, 0 = -2*l - 2*s - 26. Let y = l + -39. Is -51 >= y?
True
Let s = -42 - -10. Is s at least -35?
True
Let q(f) = f**2 - 10*f - 46. Let g be q(14). Let x be g/(-14) + 3/21. Which is smaller: x or -2?
-2
Let f be (-4)/((-98)/21 - -4)*(-10)/8. Let i be 7/2*2*-1. Let k be (0 - i/2)*-2. Which is smaller: k or f?
f
Let b(c) = -c**3 - 27*c**2 + 90*c - 27. Let v be b(-30). Which is smaller: -195/7 or v?
-195/7
Let t(q) = q + 11. Let y be t(-15). Let j = -8 + 11. Suppose z + 2 = j. Is z >= y?
True
Let m(d) = -3*d**2 + 2*d - 1. Let b be m(1). Let h be (b/(-8))/((-11)/(-484)). Which is smaller: h or -2?
-2
Suppose -21 = -3*z + 2*b, b + 19 = 4*z - 9. Let u be -1*4/(-36) - (-340)/45. Which is smaller: u or z?
z
Let z(f) = -f**3 - 8*f**2 + 11*f + 8. Let u be z(-9). Let k = 15 + u. Let g be k*(-4 - -2 - -1). Which is smaller: g or -4?
g
Let o(d) = d**3 + 6*d**2 + 5*d - 1. Let v be o(-5). Let p = 1/10 + -1/110. Which is smaller: p or v?
v
Let b = -24 + 46. Suppose -b + 42 = 4*h. Suppose -h*o = -o. Is o != 0?
False
Let k = 160 + -12636/79. Is k less than 2/3?
True
Let w(y) = -y**2 + 11*y + 16. Let i be w(12). Suppose j = i*j - 18. Suppose 2*p + p - 15 = 0. Is p equal to j?
False
Let r = -61/12 - -11/4. Is -3 > r?
False
Let b be (-1052)/(-5474) - ((-435)/(-85) - 5). Does 0 = b?
False
Let k(u) = u**2 - 7*u + 2. Let f be k(7). Let t be 44/f - (-3 + -1 - -2). Which is bigger: 25 or t?
25
Let x = 689/4800 - -1/320. Which is bigger: -1 or x?
x
Let i(w) = -w**2 - 9*w - 14. Let q be i(-7). Let m be (q/1)/(-1) - -10. Let k be ((-77)/(-11))/(m/6). Which is smaller: 5 or k?
k
Let w = -30.8 + 31. Suppose 3*k = -2*u + 2, 4*u + 2*k + 6 - 18 = 0. Let y = 6 - u. Is y bigger than w?
True
Suppose 3*j + 5*b = -40, -3*j = j + 5*b + 45. Let z be (-3)/(-285) - 1/j. Are 1/3 and z unequal?
True
Let n = -10537 + 3751169/356. Is -1 at least as big as n?
False
Let n(k) = -k**3 - 12*k**2 - 7*k + 26. Let w be n(-11). Let y = w - -23. Suppose -y = -3*v - 2*v. Is v not equal to -3/17?
True
Let v = 52838923711107484/1539 - 34333285045974. Let q = v - -1283071. Let l = q - -8/81. Which is bigger: -1 or l?
l
Let k = -104 + 105. Let r = -4 + 4. Which is smaller: k or r?
r
Let b(u) = -u**2 - 8*u - 13. Let z = 22 + -28. Let y be b(z). Is y smaller than -3/31?
True
Let d(f) = -13*f + 8*f - 7 + 4 + f**2. Let i(a) = 2*a**3 - 2*a**2 - 2*a + 2. Let l be i(2). Let w be d(l). Is 4 bigger than w?
True
Suppose -41*h + 252 = -39*h. Is h at most 127?
True
Let z be 0/((-8)/(-12)*3) + 3. Suppose -16 = z*x - 11*x. Is x greater than or equal to 2?
True
Let v be ((-31)/5 - -6)*4/218. Which is bigger: -1 or v?
v
Let f be 1/(-2 + (-2)/(4/(-2))). Let w be (-2)/(((-3)/(12/8))/f). Which is greater: w or 4/13?
4/13
Let j = -516 + 662. Which is smaller: 145 or j?
145
Let k = -1.86 + -0.04. Let j = k + 4.9. Which is smaller: j or 0?
0
Let o be 0 - (-8)/6*9/6. Suppose 0*b + o*b = -16. Is b less than -8?
False
Let v be 2/(-6) - 6174/(-18606). Which is smaller: v or 0?
v
Let z = 2/67 - -57/335. Suppose 2*k - h - 5 = -2*h, -5*h + 25 = k. Is z < k?
False
Let o be 63/(4*(-5)/420). Is o less than -1323?
False
Let h be (-8)/36 - 109765/(-45). Let w be 2433/h - 2/2. Let p = -1580/18699 + w. Is -1 > p?
False
Suppose -14*k = 50 + 6. Which is smaller: 7 or k?
k
Suppose 204 = -3*q + 2*c, -2*c + 6*c = 0. Is q at most -70?
False
Let z = 33.5 - 6.5. Let k = -