16
Let a(i) = i**3 - 5*i**2 + 2*i - 11. Let r be 3 + 7 + (-4 - 1). Let b be a(r). Is b greater than 2/9?
False
Let o be 180/210 - 207/21. Is -154/15 at least o?
False
Suppose -y - 24 + 20 = 0. Let s(r) = -r**3 - 3*r**2 + 2*r - 4. Let z(q) = -1. Let k(g) = -s(g) + 2*z(g). Let d be k(y). Is -6 at most d?
True
Let t = -5 - -4.72. Let i = 125.28 - 123. Let x = i + t. Which is smaller: -0.07 or x?
-0.07
Let c = 4 - 2. Let q = 193 - 193. Suppose q = a + c*a + 4*x + 52, a = 3*x. Are a and -12 unequal?
False
Suppose -r - c = -0*r - 8, -5*c = 4*r - 37. Which is bigger: r or -20?
r
Let z = -225 - -253. Which is smaller: z or -3/4?
-3/4
Suppose 4*k - k + 11 = -2*r, 4*k - 3*r = -9. Let z = -865 + 38923/45. Is k not equal to z?
True
Let f(a) = 26*a + 112. Let n be f(-4). Is 11 equal to n?
False
Let m be (-5)/((-25)/15*(-9)/(-6)). Let j(n) = -n**2 - n + 6. Let y be j(m). Which is smaller: y or 1/234?
y
Let y = 22097251/21 - 1051962. Let p = 288 - y. Which is smaller: p or 1?
p
Let f be -6 - -1*138/6. Is 67/4 at most f?
True
Let o = -735/8 + -947/24. Is o equal to -132?
False
Let a = -100 + 95. Which is smaller: a or -1/66?
a
Let o = -1.4 - -4.9. Let s = o - 1.5. Let x = s + -4. Which is smaller: 0.2 or x?
x
Let q be 6 + 7/(7/(-2)). Suppose -3*t = -l + 7, -q*l + 10 = -t - 7. Suppose -k - l = -5. Which is greater: k or 2/15?
k
Suppose -11*p - 1072 = -3*p. Let g be p/11 + (-10)/(-55). Is g bigger than -14?
True
Let x be -2 - (-1 - -2 - 3). Suppose -35 = -2*y + 25. Let n be (-10)/(-52)*-4*(-3)/y. Is x > n?
False
Suppose 0 = -5*q + 4*w + 61, 4*q = -5*w + 7*w + 44. Which is smaller: q or 7?
7
Suppose t + t = f + 20, -3*t + 48 = 3*f. Let o be (3 + (-2 - 1))/(-1). Suppose -q - 41 = -4*h, -4*q + 12 + o = 0. Is h > t?
False
Suppose 16 + 0 = 4*t. Suppose -t*o + 8 = -5*o. Let x = o + 6. Which is bigger: 0 or x?
0
Suppose 4*p + 4*f - 2 + 10 = 0, -3*f = 0. Which is greater: p or 35?
35
Let d = 2948.9 - 2685. Let s = d - 264. Suppose -4*n + k + 24 = -0, -30 = -5*n + 2*k. Which is smaller: n or s?
s
Suppose 3*x + 2*r + 3*r = 88, 4*x - 127 = 3*r. Let f = x - 18. Suppose f*w - 44 = 9*w. Which is greater: 10 or w?
w
Let a = 6.5 - 5.5. Let i = 608/3 - 139. Let k = i + -65. Which is bigger: k or a?
a
Let u = 1072.8149 - -0.1851. Which is smaller: u or -0.1?
-0.1
Let d(q) = q**2 - 30*q - 66. Let p be d(32). Suppose -5*s + 20 = 165. Let c be (-4)/10 + s/15. Is p != c?
True
Let n be ((-2)/(-8))/(5/8). Suppose 5*u - 7 = 3*v, -2*u + 32 = -5*v + 14. Which is smaller: u or n?
u
Let k = -358 + 301. Which is bigger: -58 or k?
k
Let h = -143/5 - -956/35. Suppose 2*g - 2*f = 5*g + 9, 4*g + 4*f = -8. Let v be -4 + g/(20/(-8)). Is v less than or equal to h?
True
Let f = -54 + 53. Let w be -47*1/9 + f/(-3). Does w = -4?
False
Let o = -35/186 - 9/62. Is 0 at least o?
True
Suppose 0 = d - 0*d. Suppose 3*h - 4*h = d. Let i = -761/4 - -189. Which is smaller: h or i?
i
Let u = -105587/126 - -838. Which is bigger: u or 1?
1
Let m = 13790/13 - 1033652/975. Which is greater: 2 or m?
2
Let k be 704/1089*3 - 4/2. Suppose g = -2*t + 9, 0*g = 3*g + 4*t - 17. Is k < g?
False
Suppose 5*h = -4*k - k - 25, 0 = -4*h - k - 17. Let u be (h/8)/((-38)/12*-3). Which is greater: 1 or u?
1
Let w(h) = 4*h + 1. Let l(y) = -5*y - 2. Let p(k) = -2*l(k) - 3*w(k). Let a be p(0). Suppose 0 = -2*j - 2, 4*r + a = -2*j - 5. Which is smaller: 3 or r?
r
Let h be (-4)/((-1)/5*2). Suppose -h = -4*f - f. Let r be (-3)/(-10)*(-42)/(-9). Is r greater than f?
False
Let q = 2/1483 - 3776/600615. Which is smaller: q or -1?
-1
Let q = -35 + 34. Is q at most as big as -3/101?
True
Let b(y) = -y**3 + 7*y**2 - 6*y + 3. Let t be b(6). Suppose -a - 14 = -t*q, q + 3*a - 9 = 9. Let s be ((-15)/q - -2)*-2. Which is smaller: s or 5/3?
s
Let v = 126 + -151. Let r(b) = b + 4. Let j be r(-4). Suppose j*m - 125 = 5*m. Is v < m?
False
Let u = 1428 + -1427. Which is smaller: -164 or u?
-164
Suppose -5*r = -3*r + 4, 5*l + 2 = -r. Is l < -147?
False
Let w be 6/4 - (-13)/26. Suppose 0 = o - 5*p - 24 + 9, 6 = o - w*p. Which is smaller: o or 0.02?
o
Let v be (-170)/35 + -5 + 1. Let t = 9 + v. Is t at most -2/3?
False
Let q = 9.34 - 4.34. Which is bigger: q or 215?
215
Suppose -s + 5*r = s + 62, s + 5*r = -1. Let v = 583 + -584. Which is smaller: s or v?
s
Let z = -3376.003 - -3367. Let p = 0.097 - z. Let f = 9 - p. Is f less than or equal to -0.2?
False
Suppose -3*k - 16*x = -11*x + 32, -31 = 4*k - 5*x. Is k smaller than -13?
False
Let l = 561 - 1699/3. Let q be (13/(-2))/(13/(-26)). Suppose -3*o = -2*r - 16, r - o - 3*o = -q. Is l less than r?
True
Let j be ((2 - 4) + -6)/59. Which is bigger: j or 1?
1
Suppose -4*h - 58 = 3*u + 16, -5*h - 10 = 0. Let r = u + 23. Is r not equal to 4/9?
True
Suppose 4*n = -0*n + k + 102, 2*n = 3*k + 56. Suppose -4*j - n = -33. Which is bigger: 0 or j?
j
Let k = 268 - 262.04. Let q = -6 + k. Let g = q - -0.04. Which is smaller: 9 or g?
g
Let o be (-4269*(4 + -6))/(-17). Let g = o + 502. Which is smaller: g or 0?
g
Suppose 0 - 4 = t - 3*d, 5*d = t. Let n = -1 + t. Let q be n*1/(-2) + -2. Which is greater: 5 or q?
5
Let u = 2538/85 + -4679/2380. Let m = 28 - u. Let f = m - -41/140. Is 1 at least as big as f?
True
Suppose -3*s = r - 11, 2*s - 18 + 2 = -5*r. Let q = 44 + -5. Let o be ((36/q)/3)/2. Is o equal to s?
False
Let m = 117185435 + -127146225846/1085. Let z = 133/5 + m. Which is bigger: z or -1?
z
Let c be 28*((-4)/(-6))/(4/(-6)). Are c and -26 nonequal?
True
Suppose -15 = -2*u + u. Let i be ((-225)/(-200))/(u/4). Is 1 at least i?
True
Let m = -185 + -1228. Let w = 7042/5 + m. Which is smaller: -5 or w?
-5
Let i(l) = 3*l - 12. Let v be i(5). Suppose v*n = -0 + 15. Suppose -23 = -4*t + n. Which is smaller: t or 8?
t
Suppose p + 2*p = 69. Let q(d) = 2*d - 21. Let m be q(p). Is 26 >= m?
True
Let u(x) = x**3 - 3*x**2 - 4*x + 6. Let z be u(5). Let n = 366 - 329. Is z < n?
True
Let p = 36 - 18. Suppose -6*a = p - 48. Suppose -y = -k - 20, -5*k - 100 = -a*y - 4*k. Which is smaller: 19 or y?
19
Suppose -2*n - 10 = -2*f, f + n = 3*f - 8. Let b be -1*((-1 - -3) + f). Which is smaller: -2 or b?
b
Let u = -0.798 + 0.058. Let m = u + 0.14. Is m > -3/4?
True
Let a = 674 + -6058/9. Let s(x) = -x**2 - 8*x. Let y be s(-8). Which is bigger: a or y?
a
Let f = -280.1 + 280. Which is bigger: -1/175 or f?
-1/175
Let f = -3 - -2. Let i = 636 - 627. Which is smaller: i or f?
f
Suppose 0 = -4*p - 5*q - 5, -21*q + 3 = 3*p - 24*q. Let i be 3/(-18) + 70/276. Do i and p have different values?
True
Suppose -t - 4*a + 15 = 0, -3*a = -2*a - 3. Suppose 22 = -j - j + 2*q, -3*j - t*q - 9 = 0. Are j and -4 non-equal?
True
Suppose -o + 4*p = 394, -5*o - p - 1949 = -0*p. Let s be ((-2)/4)/(13/o). Let j be (-5)/s*3*1. Which is bigger: -3/10 or j?
-3/10
Let u(q) = -q**3 + 2*q**2 + 12*q + 6. Let k be u(-2). Is k at least 8/9?
False
Let i = 165 + -166. Which is smaller: i or 2/633?
i
Let i(q) = q**3 - q**2. Let d be i(2). Let z be -3*d/9*3. Let r be z/18 + (-4)/(-18). Is 0 at least as big as r?
True
Let n = -14.2 + 13.2. Which is bigger: n or -2.7?
n
Let s(k) = -k**3 - 11*k**2 - 13*k - 11. Let h be s(-9). Is -58 bigger than h?
False
Suppose 3*u = 5*n - 44 - 24, 0 = 4*n + u - 51. Are 64/5 and n nonequal?
True
Suppose -4*b + 4 = -0*b. Let g be (b - 3)*(-3 + (-15)/(-6)). Is 8/11 greater than or equal to g?
False
Let z(c) = -c**3 + 16*c**2 - 2*c + 20. Let a be z(16). Which is greater: a or -11?
-11
Let k be -4 - (-4 + 3 + -1). Let a be 0/4 + k/(-1). Is a less than or equal to 2?
True
Let c = -2/3069 + -97/3069. Is 19 at least as big as c?
True
Let t = -25.04 - -19. Let n = t - -6.1. Is 1 greater than n?
True
Let q(j) = -2*j**2 + 36*j + 4. Let w be q(15). Let k = w + -96. Which is smaller: -4 or k?
-4
Suppose 14 = 38*w - 37*w. Let m be (7/w)/(4/(-40)). Which is greater: -21/4 or m?
m
Let l(v) = -v + 13. Let z be l(-30). Which is bigger: z or 46?
46
Suppose 2*o + 2*y + 16 = -0*o, 4*o = -5*y - 36. Let m be (-11)/(-3) - (-8)/(-12). Which is greater: o or m?
m
Suppose 4*v + 13 = -q + 2*q, 4*v + 2*q = 2. Suppose -516*b = -529*b + 260. Which is bigger: b or v?
b
Let s = 11 - 13. Let p be (-2 - -21) + 5 + s. Which is smaller: 21 or p?
21
Let c = 42/23 + -627/230. Suppose y + 3 = -2*y. Is y bigger than c?
False
Let v = -0.2 - 12.8. Let h = -14 - v. Is h at most as big 