(f) = -f**3 - 14*f**2 - 6*f - 9. Let r be i(-14). Suppose b*n - 6*n = r. Is n smaller than 15?
False
Let t(g) = -g**3 - g**2 + 2. Let q be t(0). Let z be 1*(q - 0)/(-2). Let f be (-64)/(-16) - (-41)/(-10). Which is greater: f or z?
f
Let a(m) = 11*m + 11*m - 21*m + 94. Let x be a(-23). Is 71 less than or equal to x?
True
Let x = -2 + 2.09. Let l = -17.83 + 11.83. Which is smaller: l or x?
l
Suppose 0 = 37*j - 44*j - 1890. Is j at least 2?
False
Let u(k) = 3*k + 6. Suppose 4*s = 5*o + 2, -2*o + 2 = -3*o. Let p be u(s). Suppose -5*v = 5, p*g + 2*v = -2*g - 10. Is -8 <= g?
True
Let v = 1806 + -2114. Is v less than 0?
True
Let w be 368/230*1/14. Which is smaller: w or 1?
w
Let p = -6 - -6.11. Let w = 0.01 - p. Which is smaller: w or -4?
-4
Let q = 10 + -39. Let y = -17 - q. Which is bigger: 37/3 or y?
37/3
Let o = 23 - 22. Let w be (o - 0) + -1 - (-150)/(-45). Is -2 greater than or equal to w?
True
Suppose -k = 10*k - 11. Which is greater: 7/24 or k?
k
Let v(z) = -2*z**2 - 28*z + 14. Let h be v(-15). Let g be 8/(-2) - 56/h. Is 0 equal to g?
False
Let z be 0/(-4) + (-3 - 130). Let l = z - -1327/10. Is l at least 1?
False
Let h = 1433 - 1435. Is -6/11 at least as big as h?
True
Let z(g) = -g**3 + 8*g**2 - 2*g + 10. Let d be z(8). Let n be d/((-84)/16*2). Is n > 1?
False
Let u = 660/7 - 3827/42. Let c be 18/24 - (-39)/12. Which is bigger: c or u?
c
Let b(y) = y**3 - y + 1. Let d be b(-1). Suppose 0 = -3*p - d - 2. Is p less than or equal to 3/31?
True
Let h = 50 + -52.1. Let z = h + 0.1. Let m = z + 2.4. Does m = -0.1?
False
Let n = 40.9 - 38.01. Let v = 1.11 + n. Which is smaller: 0.11 or v?
0.11
Let l(w) = -8*w**3 + 2*w**2 - w. Let j be l(1). Suppose 27*u + 336 = 21*u. Let y = 48 + u. Is y < j?
True
Let q be (-1)/((-2)/(-7))*(-14)/(-98). Which is smaller: -43 or q?
-43
Let f(x) = x**2 + 5*x + 4. Let l be f(-5). Suppose -5*c + 114 = -0*s + l*s, 0 = 4*c - 3*s - 85. Are 23 and c nonequal?
True
Let c = 0.037 - 37.037. Let d = 35 + c. Is -2/71 >= d?
True
Suppose -30*b - 60 = -18*b. Suppose 3*q + 13 = -y + 2*y, 0 = -3*y - 4*q - 13. Let x be y/b*9/9. Which is bigger: 1 or x?
1
Let y = -822 - -69872/85. Are 0 and y equal?
False
Suppose 5*y - 4*w + 44 = 0, -w - 74 + 10 = 5*y. Suppose 23 = -5*p - 3*r - 39, 0 = -2*p + 3*r - 29. Let c = p - y. Which is greater: c or 1/24?
1/24
Let j be -52*(0/1 - (-8)/(-32)). Suppose 6*o - j*o + 63 = 0. Is o > 11?
False
Suppose -3*d - 6*m + m = 77, -3 = 3*m. Let v = d + 37. Let g = v + -13. Which is greater: 6/11 or g?
6/11
Let r(q) = q**3 + 26*q**2 + 33. Let a be r(-26). Is a less than 33?
False
Suppose t - 9 = -2*t. Suppose -3*m = 2*m + t*g + 35, -2*g = 0. Which is bigger: -6 or m?
-6
Let f(s) = 2*s**3 - 8*s**2 + 13*s - 22. Let g be f(3). Is g < -2/1143?
True
Let c be 1/4 + 118/8. Let f(q) = 31*q**2 - 8*q + 7. Let j be f(2). Let w be (4/(-6))/(j/c). Is w >= -1?
True
Let l be 184/(-24) - (-4)/(-3). Which is bigger: l or -4?
-4
Let c = 58.87 + -1.87. Is -1 > c?
False
Let o = -553 + 481. Are o and -72 nonequal?
False
Let o = 111808 - 892739/8. Which is greater: o or 215?
o
Let o be 3 + 146/(-66) + -4. Let j = o - -28/11. Let d be 5/25 + (-54)/70. Which is bigger: j or d?
d
Let s be 64/12 + 0/(-4) - 2. Which is greater: s or -6?
s
Suppose 0 = s + 5*f - 18, -3*s + 5*f = 4*f - 102. Suppose 5*k - 32 = 2*m, -s = -4*k - 4*m + 15. Is 6 at most as big as k?
True
Let p be 1 - 3/(-1 + 2). Is p smaller than -28/9?
False
Let v be (-3)/((-45)/(-6))*4. Let n(h) = -h**3 - 5*h**2 - 5*h. Let g be n(-2). Which is greater: v or g?
v
Let d be (-3 + 2336/780)*(-1078 - -2). Let r = -70/13 + d. Does -0.1 = r?
False
Suppose 0 = -k - 3*r + 7, -3*k = -3*r + 5*r - 42. Let q be (1/(-4))/((-10)/k). Is q greater than -19?
True
Let a be 2/30 - (-279)/(-11935). Do -1 and a have different values?
True
Let i be ((-11)/(-1) + (-54 - -53))*-1. Is -7 at most i?
False
Let j be (-6573)/33 - (-8)/44. Is j > -199?
False
Let r = 2/2123 - -23119/248391. Let f = r - -25568/585. Let u = -44 + f. Which is smaller: -1 or u?
-1
Let c = 4313861/210 - 143286/7. Let w = -364/5 + c. Is w greater than 0?
False
Let f = 9.07 + -0.07. Let w = -2.1 - 7.3. Let m = w + f. Which is greater: m or -2?
m
Let p = -18 + 22. Let q be 6 - p - 37/2. Which is smaller: -18 or q?
-18
Suppose -5*i - 6 = 4. Let l(r) = -r**3 - r**2. Let m be l(i). Suppose -24 = -g - 3*g. Which is smaller: g or m?
m
Let g be -7 - 1 - 770/60. Which is greater: -22 or g?
g
Let h = 1395 - 1396. Is -4/67 smaller than h?
False
Let b be (-8)/10*(-10)/76. Which is greater: b or 34?
34
Suppose -9*s + 98 = -11*s. Is -51 >= s?
False
Suppose 3*s = 2*o - 92, 5*s = 3*o + 31 - 183. Let q be 3 - 4 - (s + -1). Let n be (-7)/q - (-7)/12. Which is smaller: 0 or n?
0
Suppose 2*k = -5*l - 2344, l + 460 = 2*k + 2*k. Let b be (24/l)/(8/(-9)). Is 0 less than b?
True
Let o(m) = -5*m - 4 + 3*m + m. Let v be o(-3). Is v greater than or equal to -5/8?
False
Let q be ((-1869)/87)/((-2)/66). Let l = 709 - q. Let w = 309 + -309. Which is smaller: w or l?
w
Let c = 5 - -5. Suppose -5*z + 208 - 58 = 0. Suppose z = 5*l - c. Which is bigger: l or 2?
l
Let s = -45.76 + 46. Let c = s + -0.34. Is -53 > c?
False
Let o = -28 + -11. Let b be (65/o)/(2/(-6)). Suppose 3*x = z + b, x = z - 0*x + 3. Which is bigger: z or 1?
1
Suppose 0 = -2*x - 0 + 2. Let g be x/(-7)*8/2. Suppose 0 = 4*t - 2*t - 3*t. Which is smaller: t or g?
g
Let m be (-544)/90 - (-144)/24. Which is smaller: 1 or m?
m
Let u = -13.5 - -13.5. Is u at least 77?
False
Let l = 199 + -493. Let a = 321.9 + l. Let u = 28 - a. Which is smaller: -0.22 or u?
-0.22
Suppose 3*q + 18 = 6*q. Let b = -729 - -5871/8. Which is bigger: b or q?
q
Let t = -1/223 + 235/2676. Which is bigger: t or -2/5?
t
Suppose -4*t - 3*o + 235 + 525 = 0, -5*o + 20 = 0. Is t greater than 187?
False
Suppose 4*a + 3*a = -a. Which is greater: 3/13 or a?
3/13
Let i = -1 + 1. Let q(z) = -z**3 + 6*z**2 + 22*z + 1. Let t be q(7). Let o = -105 + t. Which is smaller: o or i?
i
Let t = 3082/7 - 440. Which is smaller: 463 or t?
t
Let u be -108 - -119 - 874/(-14). Which is smaller: 72 or u?
72
Let d = 1 - 7. Let m = -6.2 - d. Let j = -45 + 45. Is m bigger than j?
False
Let w = -8137/2359 + 7/337. Suppose -4*b + 4*r - 32 = 0, 5*b + 4*r + 78 = 74. Is b less than or equal to w?
True
Let c = -154 + 154.355. Let s = c - 0.055. Is 0 not equal to s?
True
Let f(v) = v - 10. Let s be f(7). Let h be 36/(-3) + (s - -1). Let y = 221 + -236. Is h > y?
True
Suppose 0 = -4*u + 16, 3*n + u - 47 = 140. Let l = 44 - -17. Is n greater than or equal to l?
True
Let j = -15 - -23. Let t be (-5 + -1)*1/j. Suppose 0 = -5*m + 3*m. Are t and m unequal?
True
Suppose -11*o = -19*o - 24. Let m be -15 + 0 + -1 + (o - 0). Is -20 smaller than m?
True
Suppose 3*p + 78 + 84 = 0. Let d = p - -52. Which is greater: -10/9 or d?
-10/9
Let l = 279/10 - 28. Let f(v) = -v + 14. Let x be f(11). Suppose 7*a = x*a. Which is smaller: a or l?
l
Suppose 4*m - 60 = -2*i, -3*i + m + 44 = -11. Let p = -20 + i. Let y = 5 - 19/4. Which is smaller: y or p?
p
Let v = -33 - -56. Suppose -7 = -r + 4*r + t, 3*r = -5*t - v. Let a(l) = -2*l**3. Let z be a(r). Is z at least 5/2?
False
Let u = -26354/57 - -1387/3. Let i be (2 - (1 - -1)) + -1. Which is smaller: i or u?
i
Suppose -16 = 2*w - 6*w. Suppose -2 + w = 4*k - x, k = -x - 2. Let y be k - 96/(-46) - 2. Is 0.1 at least y?
True
Let c = -58 + 15. Let i = -12 - c. Let w = 158/5 - i. Which is bigger: w or 1?
1
Let d = 189938/5 - 37801. Let m = d - 6781/35. Is -7 greater than or equal to m?
True
Suppose -5*v + 2 = -13. Suppose v*n + 47 = -4*z, -2*z + 20 = -4*z + 2*n. Is -12 less than z?
True
Let t be 8/((-192)/36) + 84/10. Which is greater: t or 8?
8
Let x = -67364581/1833 + 36751. Do 0 and x have different values?
True
Let i be (2/2)/(2/6). Let z be -3 + (-39)/(-4) + -1 - 4. Which is smaller: i or z?
z
Suppose 4*h = -4 + 20. Suppose -3*w - h*k = 4, 3*k + 2*k = -5. Let l = 10/19 + -131/285. Is w bigger than l?
False
Suppose -13*g = -11*g - 6. Suppose a - 3*u + g = -0*u, 3*u = -3*a + 27. Let y be (1/3)/((-4)/a). Is -1 smaller than y?
True
Let u be (-6)/(-12)*(-13 - -1). Let i(f) = -f**3 + 12*f**2 - 4*f + 48. Let h be i(12). Which is smaller: u or h?
u
Let k be (-3 - (-35)/14)*(2 + -1). Let z(y) = y**3 + 11*y**2 + 10*y - 1. Let w be z(-10). Is k a