 n(m) = -m**3 - 14*m**2 - 8. Let q be n(-14). Let i be a(q). Which is greater: i or 8?
8
Suppose -5*g = -3*g - 720. Suppose 3*f = -2*f + g. Which is smaller: 71 or f?
71
Let m = -114 + 132. Let q be 4/m - (-2044)/(-126). Is -29/2 smaller than q?
False
Let o = -1/163 - -335/1467. Let p = 6.06 - 6. Which is bigger: o or p?
o
Suppose 7*n - 2*n = 190. Suppose 5*a + n = -32. Let u be -2*1 - (8 + a). Which is bigger: 5 or u?
5
Let g = -98 - -96. Which is greater: g or 8?
8
Let b(a) = 3*a**2 - 1. Let s be b(-1). Suppose -5*i = -4*m - 153, -43 = -s*i - m + 26. Let d = -131/4 + i. Are -1 and d equal?
False
Let s be (-2 + (-305)/10)*8/(-2). Are 129 and s non-equal?
True
Let l(c) = 3*c + 6. Suppose -2*x = 8 - 18, 1 = -2*s - x. Let h be l(s). Which is bigger: h or -4?
h
Let q = -1 - -1. Let s be (-223)/(-10) + 24/120. Let t = 22 - s. Is q smaller than t?
False
Let i = 3/973 - -2322/193627. Do 1 and i have different values?
True
Let f(n) = -n**2 + 6*n + 46. Let z be f(9). Are 1 and z non-equal?
True
Let m(x) = 2*x**2 - 44*x + 43. Let u be m(21). Which is smaller: u or 16/111?
16/111
Let p = 17 - 87/5. Let a = 648/5 + -129. Which is smaller: a or p?
p
Let i = 38 - 20. Suppose -13*v = -i*v - 5. Is -0.06 at most v?
False
Let p(h) = h**3 + 2*h**2 - 5*h - 2. Let y be ((-24)/(-30))/(1/(-5)). Let m be p(y). Let s be -6 + 7 + 20/m. Which is smaller: -2/7 or s?
s
Suppose 4*g - 102 - 50 = 0. Suppose -42*l = -g*l + 108. Which is smaller: l or -28?
-28
Let f = 43/26 + -28/13. Let w = -12 - -11.78. Which is greater: w or f?
w
Let o = -4 + 3. Suppose -d + 7 + 0 = 0. Let v = -5 + d. Which is smaller: o or v?
o
Let c(j) = 2*j**2 - 8*j + 13. Let v be c(6). Let t = -35 + v. Do 9/8 and t have the same value?
False
Let b be (-48)/(-28)*-1 + (-6 - -8). Which is greater: -327 or b?
b
Let p(n) = -3 + 7*n**2 - n**3 - 5 + 2 - 8*n - 2. Let z = 23 - 19. Let c be p(z). Which is smaller: c or 9?
c
Let u = -1389/134 - 9/67. Let d(t) = t**3 - 17*t**2 - 19*t + 8. Let h = -45 - -63. Let j be d(h). Is u less than or equal to j?
True
Let c = -1035 + 1025.9. Are 2 and c non-equal?
True
Let d be (-609)/6 + (-12)/24. Let h be 1/42 - (-17)/d. Is -8 greater than h?
False
Let l be -444 + (-4 - (-14*5)/7). Which is greater: l or -0.1?
-0.1
Suppose -3 = f + 1. Suppose 4*g - 2*g = -2*y + 10, 4*y + 36 = 3*g. Let h be (0*f/g)/(-4). Do -1 and h have different values?
True
Suppose -55 + 15 = -5*s. Suppose -s = -2*c - 2*c. Is 12/11 smaller than c?
True
Let f = -21003/7 + 3001. Which is smaller: f or -0.17?
-0.17
Let b = 2.3 + -0.3. Let n = 3 - b. Let g(y) = -y**3 + 6*y**2 - 3*y - 1. Let f be g(4). Which is greater: n or f?
f
Let v = 13/5 + -49/15. Is 23 equal to v?
False
Let h = -68/3 - -22. Let m(b) = 3*b**3 + 2*b**3 - 13 - 4*b**3 - b - 12*b**2 - 2*b**3. Let n be m(-12). Is h < n?
False
Let f = -0.0453 + -0.3547. Which is greater: -216 or f?
f
Let m = -17 + 19.5. Let s = m - 3.7. Which is smaller: 0 or s?
s
Let t = 425/1953 + 1/217. Let c = -49 - -40. Let a = c - -12. Which is smaller: t or a?
t
Suppose -1 - 2 = o. Let v(b) = -b**2 - 10*b - 8. Let q be v(-8). Let s be (-10 + q)*(7/6 - 1). Are o and s unequal?
True
Let a be (28/5 + -6)/(2/(-10)). Let k be (11/22)/((-3)/a). Suppose 5*o + 20 = -0*o - 5*s, -2*s - 11 = 5*o. Is o greater than or equal to k?
False
Let n be (-3 + 5 - 1)*43/(-86). Are 244 and n equal?
False
Suppose 0 = 5*d + 4*t, -46*d + 5*t = -45*d. Which is bigger: -16/59 or d?
d
Let q(p) = 36*p + 229. Let s be q(-4). Is s <= 85?
True
Let k be -1 - 1*1*7. Let y = -19 - -103. Let p = y - 91. Is p < k?
False
Let g = 159 - 3. Is 156 greater than or equal to g?
True
Suppose -34 = -2*x - 5*o + 3, 0 = 2*x - 3*o + 3. Suppose -2*t + x = -0*t. Suppose 2*y + 2*g = -14, 4*y + 9*g - 14 = 12*g. Do y and t have the same value?
False
Let u(w) = 2*w + 8. Let c be u(-4). Let a be (-20)/(-415)*(2/4 + c). Which is greater: 1 or a?
1
Let v(l) = -l**3 + l**2 + l + 3. Let k(r) be the third derivative of r**4/12 + 8*r**3/3 + 2*r**2. Let n be k(-8). Let z be v(n). Is z less than 4?
True
Suppose -360*h + 352*h + 24 = 0. Let w(s) be the first derivative of -s**2/2 + 8*s - 1. Let p be w(5). Is h > p?
False
Suppose 5*f = -5*p + 15, 0 = 2*f + 3*p - 3. Suppose 8*d - f*d = 40. Let z be d/15*1/4. Which is greater: z or 0?
z
Let c = 7.9 - 8.39. Let u = c - 0.51. Which is greater: u or -18?
u
Suppose -8*t + 20 = 12*t. Is -4.17 greater than t?
False
Let b = 43 + -70. Which is greater: -9 or b?
-9
Let p be 2785/126 + 22/77. Let w = 45/2 - p. Which is greater: w or 8?
8
Let h = 210202/21895 + -2/4379. Suppose 2*l + 3 = n, 16*n - 17*n + 4*l - 3 = 0. Which is bigger: n or h?
h
Let z be 1 + -1 + (6 - -11). Let p = 3.4 - 3.2. Are z and p unequal?
True
Let x be 8/(-6)*6/(-1). Suppose 0 = 3*u + 2*w + 31, x*w - 3*w = 4*u + 26. Is -9 greater than u?
False
Let a = -39105/4606 + 428/49. Is a smaller than -1?
False
Let s be 3*(-2)/2361*21/14. Which is bigger: -1 or s?
s
Let y(u) = -8*u - 5. Let x be y(-1). Suppose 0 = -5*q - l - 9, x*q - 2*q + l = -5. Which is bigger: 2/205 or q?
2/205
Suppose -4*n = 5*x, x - 2*x = 3*n. Let v be x + (-12)/((-12)/4). Suppose 4*b = 2*p + 3*b - 38, v*p + 4*b - 76 = 0. Does p = 19?
True
Let z = -449/306 - -25/18. Suppose -4*q = -2*k + 2, 3*q + 1 = -0*k + k. Is k less than or equal to z?
False
Let z = 626/5 + -2499/20. Is z equal to 53?
False
Let g = 533/730 + -46/73. Let d = -7 + 4. Let u = d + 2.9. Do g and u have the same value?
False
Let d = 148 + -293. Which is smaller: d or 1?
d
Let g(p) = -2*p**2 - 9*p + 25. Let s be g(2). Which is smaller: s or 7/139?
s
Let z be 33/7 + 40/140. Suppose -7 + z = o. Let y = -1 - -1. Is y <= o?
False
Let d = 11.89 - 12. Let w = -0.71 - d. Let v = w + 0.9. Which is bigger: v or -3?
v
Let t be 4592/779 + 2*3/57. Is t less than 8?
True
Suppose 15 = 2*z - z. Let l = 15 - z. Let c = 9 + -7. Is c > l?
True
Let s = 0.0372 - 0.0172. Does s = 1?
False
Suppose -4*x - 46 = -54. Let f be (x - -1) + 324/(-112). Which is bigger: f or -1?
f
Let j be (86/559)/(-1 - -45). Which is greater: 1 or j?
1
Let v = 1.05 - 1. Let f be 447/252 - (2 - (0 - -1)). Let i = -3/28 + f. Which is greater: v or i?
i
Let v(d) = d + 57. Let p be v(-6). Are 49 and p nonequal?
True
Let b(r) = -r**2 - 11*r + 46. Let s be b(-21). Is s < -167?
False
Let m = 4.3 - 2.5. Let z = -1.8 + m. Let d = 30.13 - 30. Which is smaller: d or z?
z
Let u be (-12)/(-30) - 83224/210. Let x = u - -396. Suppose -4*b + 15 = 11. Which is smaller: x or b?
x
Let o(f) = -f**3 - 5*f**2 - 3*f + 4. Let u(q) = -q - 16. Let h be (2 - (-9 - 1))*-1. Let n be u(h). Let g be o(n). Does 7/3 = g?
False
Let b = -96 + 94. Let g = -24 + 14. Let n = g + 7. Is n <= b?
True
Suppose i - 144 = 4*n + 30, -218 = 5*n - i. Which is greater: -42 or n?
-42
Suppose 12*g - 26 = -2. Suppose -g*z + 0*z + z = 0. Let x be 1 + (-9)/7 + 0. Which is smaller: x or z?
x
Let k = -19146 + 19433188/1015. Is 1 at least as big as k?
True
Let y = -972 - -328. Let x be 0/(-2) + y/1585. Let d = x + 2/317. Which is smaller: 2 or d?
d
Suppose 8*k + 447 = -201. Let c = 81 + k. Let s be ((-6)/32)/(2/(-12)). Which is smaller: s or c?
c
Let q(a) = 30 + 40*a - 5 - 29*a. Let f be q(-4). Is -18 not equal to f?
True
Let u = -1885094/2415 - -5464/7. Which is smaller: u or 1?
u
Let r be -38*(-1)/((-8)/(-4)). Suppose 1 = 2*i + r. Suppose 0*c - 18 = 2*c. Is c at least as big as i?
True
Let l = 3.8 + -4. Let z = -0.2 - -1.2. Let c = z + -0.8. Which is bigger: c or l?
c
Let d be (-1 - 23/(-24))*(-186)/310. Let s be 2/(-6) - 13/(-21). Is s <= d?
False
Let d(a) = a**3 - 47*a**2 + 42*a + 183. Let l be d(46). Which is smaller: -1/1805 or l?
l
Let r be (-5)/(-40)*-2*-18. Suppose -1 - 17 = -3*n. Is n less than or equal to r?
False
Let q be -27*(15 + -4) - -3. Let v be (-322)/q + (-3)/7. Is v < -1/6?
False
Let w be -2*(-3 + (-125)/10). Do 35 and w have the same value?
False
Let h = -1273/148 - 24/37. Let k = -19/2 - h. Is k less than or equal to -2/11?
True
Let x = -73/30 - -1082/195. Which is smaller: x or 4?
x
Let i be 3 + 2 - 69588/13932. Are 2 and i unequal?
True
Let k be (-1)/8 - 2/(-16). Let z(f) = -2 + k + f - f + f. Let n be z(6). Does n = 3?
False
Let d(l) = l**3 + 14*l**2 - 16*l - 14. Let n be d(-15). Do -6/127 and n have different values?
True
Suppose -10*h - 3*g + 186 = -6*h, -88 = -2*h + g