t n(d) be the second derivative of d**4/12 + 5*d**3/3 + 2*d. Let p = -11 - -1. Let f be n(p). Are f and 6/13 equal?
False
Let f = 2.2 + -2. Let s = -0.23 + 1.03. Let m = -0.6 + s. Is f greater than or equal to m?
True
Let q(o) = -o**3 - 6*o**2 + 19*o + 12. Let t = -35 + 27. Let w be q(t). Is 1/4 bigger than w?
True
Let s = -134 - 332. Which is greater: -465 or s?
-465
Let b = -1/471 - -1478/30615. Which is greater: b or -1?
b
Let i(l) = -l**3 + l + 1. Let b be i(-2). Suppose -5 = 5*k - 6*k. Suppose f + 4*q = 44 - 15, 5*q + 20 = k*f. Which is smaller: b or f?
b
Let t = 982.5 - 983. Is t greater than 1.32?
False
Let f be ((-6)/4)/(-3)*-2. Let r = -7/2 - -37/10. Which is greater: f or r?
r
Let m = -4.24 - 242.76. Is 0 >= m?
True
Let y be 1 + -1 - (-2)/(-8). Let m = 406 + -404. Which is bigger: m or y?
m
Let m = 40 - 42.96. Let q = m + -0.04. Let g = -0.52 - -0.62. Is g less than q?
False
Let r = -12.6208 - 0.0792. Are r and 0 non-equal?
True
Let l be (5/(-2))/((-7)/(-14)). Let o(k) = 3*k - 4. Let c be o(l). Suppose -20 = u + n, u = 2*n - 18 + 4. Do c and u have different values?
True
Suppose -3*y + 2*w - 30 = 5*w, -3*y = -3*w + 18. Let b = -12083/1668 + -5/834. Is b greater than or equal to y?
True
Let m = -2/125 + -348/125. Is m greater than or equal to 1/12?
False
Let k = 25.6 + -14.6. Is 1/6 at most as big as k?
True
Let l = -894 - -886. Is l < -22?
False
Let k be 2 + 10*4/(-12). Let o = -16 - 0. Let d = o - -15. Which is bigger: d or k?
d
Let g = 78 - 17. Suppose -g = 5*o - 61. Which is bigger: 2/55 or o?
2/55
Suppose 8 = 2*a + 6*a. Is 3/14 at most a?
True
Let o be (-255)/(-35) - 4/14. Suppose -3*u - o = 4*u. Is u greater than or equal to -1/3?
False
Let k be (-5)/10*(-220)/5 - 3. Let z be 465/25 - 4/(-10). Is k > z?
False
Let i = 253 - 254. Let h(g) = g**3 + 3*g**2 + g + 1. Let y be h(-3). Which is smaller: i or y?
y
Let x = -140 - -129. Is -11 < x?
False
Let j = -6 + 4. Let y be (-1 - -2) + (4 - 4 - 2). Let q be (y - j)/(1 - -1). Which is smaller: q or 1?
q
Let b = 231 + -228. Is b > -5/3?
True
Let x = 812 + -1545/2. Which is smaller: x or 41?
x
Suppose 189 = -5*c - 286. Let w be c/(-60) - (-4)/(-3). Is -0.4 smaller than w?
True
Let y = -37.16 + 125.07. Let i = y + -1.91. Which is bigger: -2/3 or i?
i
Let k = 5/187 - 3588/1309. Let v = k - -74/35. Which is smaller: -1 or v?
-1
Suppose x + 5*u = 41 - 13, -15 = -3*u. Let d be ((-3)/14)/x*4. Let n(i) = -i**2 + 13*i - 12. Let z be n(12). Is d >= z?
False
Let v be 10/(-4) + (-2)/4. Is v at most -1?
True
Let h be 740/72 - (-2)/(-54)*-6. Let f = -4 - -15. Are h and f equal?
False
Let w be 16/120 - 471/495. Is w bigger than 0.2?
False
Suppose 0 = -5*f - 3*b + 34, 3*b + 12 = 2*f + 5*b. Let d = -21 - -37. Let s be 35/4 - (-4)/d. Which is greater: s or f?
s
Let u be (1 - 2)*(-2)/2. Let s be (-24)/(-32) + 212/144. Is s at least as big as u?
True
Let v(p) = -p**3 - 13*p**2 - 13*p - 11. Suppose -75 = 5*m + 3*x, 6 = -2*m - 3*x - 33. Let t be v(m). Are t and 1/48 equal?
False
Let s(r) be the first derivative of r**4/4 + 4*r**3 + 13*r**2 + r - 9. Let o be s(-9). Is 11 bigger than o?
True
Let a be (-2)/(-10) + 4/5. Let z(t) = 4*t + 1. Let c be z(a). Suppose -3*m = 2*m - q - 6, 2*m = -c*q - 3. Which is greater: m or 2/13?
m
Suppose 182 = -5*u - 23. Let w = 11 + u. Is -29 smaller than w?
False
Let j = 60.993 - -0.007. Let r = -61.7 + j. Is 2 not equal to r?
True
Let g = 11 + -11. Let d = g - 4. Let p = d + -1. Does -3 = p?
False
Let u be 12*(51/12 - 4). Suppose u = -3*p + 6. Which is smaller: 0.1 or p?
0.1
Suppose -4*s + 9 = 3*w, 0*s + 6 = s - 3*w. Suppose -s + 13 = -5*q. Which is greater: -8/3 or q?
q
Let q = -25.11318 + 0.00318. Let w = q + 3.21. Let h = w + 22. Is 15 != h?
True
Let j = 1361/5 + -273. Suppose 5 = -m - 0*m, 0 = -4*z - 2*m + 130. Let p = 33 - z. Which is bigger: j or p?
j
Suppose 4*q - 21 = 23. Suppose -q*p = -2*p. Let m = 167/572 + -1/52. Does m = p?
False
Let z = 9.623 - -0.377. Which is smaller: z or 16?
z
Let m(o) = o**3 + 5*o**2 + 7*o + 7. Suppose -3*c + 3*j + 3 = 24, -5*c + 2*j - 26 = 0. Let g be m(c). Is -40/9 less than or equal to g?
False
Let m = -865477/261 + 3316. Is m <= 1?
True
Let v be (-1)/(-12) + (-88)/288. Which is bigger: v or 4/9?
4/9
Let f = 0.13 - 9.13. Let h = 8.92 - -0.18. Let l = f + h. Which is smaller: l or -1?
-1
Let g = -47.99 + 48. Let b = g + 5.99. Does b = 6?
True
Let z be 7 - (1 + 1 - -3). Suppose 0 = z*y - 26. Is 14 less than y?
False
Suppose -o = 5*h + 527, 4*o - 672 = 4*h - 260. Are -105 and h nonequal?
False
Let f(j) = -j**3 - 7*j**2 + 10*j + 15. Let b be f(-8). Let d be -1 - (-3 - ((-266)/90 - b)). Is 1 bigger than d?
True
Let d = 8 - 20. Let l = d + 13. Let v be 9 + 0*(0 - 1). Which is smaller: v or l?
l
Suppose 2*a = 5*a + 5*h - 20, -5*h + 20 = a. Suppose 0 = l + 4*m + 16, a*l + 3*m + 19 = l. Suppose 3*j = -l*n + 3 + 4, 4*j - 2*n = 2. Is j at least as big as 0?
True
Let q be (-8)/22 + (-7460)/55. Is -138 less than or equal to q?
True
Let f(g) = 12*g - 107. Let a be f(9). Which is smaller: 8/9 or a?
8/9
Let h = 1 + -31. Let q be h/36 + (2/6)/(-1). Is -2 not equal to q?
True
Suppose 3*w = -5*g + 4*g - 5, 4*w + 12 = 4*g. Suppose 2*n - 520 = -6*n. Let t = -193/3 + n. Is g <= t?
False
Suppose 5*k + l - 21 = 4*k, 3*k + 5*l = 55. Suppose 4*m - 191 = k. Is m at least 53?
True
Let g(z) = z**2 + 7*z + 5. Let v be g(-6). Let j be v - -1 - (10 + -4). Let c be 1*-1 + (-108)/18. Is c <= j?
True
Suppose -5*v + 4*a + 132 = 0, -4*v - 48 = -4*a - 152. Let y be (8/(-3))/(v/42). Which is bigger: y or 5?
5
Let x = -2.109 - -1.809. Which is smaller: x or 538?
x
Let d be 1 - 1*(-3 - -2). Let t be (-1 + -1 + 0)*45/18. Let p(w) = -2*w**3 - 11*w**2 - 6*w - 2. Let b be p(t). Are d and b equal?
False
Let x = -4 - -5. Suppose -x + 7 = v. Let i be ((-4)/v)/((-2)/6). Is i equal to 3?
False
Suppose -3*m = -m + 40. Let t be 48/m + (-4)/(-10). Let i be (-5)/(-15) + t/15. Which is smaller: -1 or i?
-1
Let a be 0/3*3/(-6). Let l = 45 + a. Let s be (-4)/14*21/l. Is s at least 0?
False
Let i be (-6)/(-3) + 1820/(-147). Let g = 54/7 + i. Is -2 less than g?
False
Let z = -0.44 - -0.44. Is z not equal to 58?
True
Suppose -3*h = -2*k + 16, h + 5*k + 603 - 626 = 0. Are h and 32/3 unequal?
True
Let v be 2 + (1 - 0) - (14 + -7). Let g(w) = -3*w + 3. Let m be g(3). Which is bigger: m or v?
v
Let h be (-633)/36*(-216)/144. Is 25 equal to h?
False
Let m = 766 + -766. Which is smaller: 1/2464 or m?
m
Let h(p) = -p**3 - 8*p**2 - 5*p + 11. Suppose 3*y - r - 1 = -18, 0 = 4*r + 16. Let f be h(y). Is -28/9 at most as big as f?
True
Let c = -327 + 321. Are c and 1/7 equal?
False
Let u be ((-28)/(-10))/((-3)/30). Suppose 4*d - d + 81 = 0. Which is smaller: u or d?
u
Let i = 0.0621 - 7.0621. Which is bigger: -14/9 or i?
-14/9
Let c = 9256 - 1203289/130. Is c greater than -1?
True
Let o be 3/6 - (-77214)/(-67716). Let v = 2/513 + o. Which is bigger: -2 or v?
v
Let g(h) = h**3 + 4*h**2 - 6*h - 5. Let l = -14 + 6. Let k = 3 + l. Let q be g(k). Is -1/7 smaller than q?
True
Let q be 2 - -2 - (-5)/5. Let t be 2/(q/(220/8)). Let v = 13 - t. Is v greater than 4/5?
True
Let m be ((-1 - -5) + -1)/((-6)/16). Let s be m*(-5)/((-25)/(-20)). Which is greater: 30 or s?
s
Let a = 2 + -2. Let d(w) = 2*w**3 - 19*w**2 - 6*w + 46. Let o be d(9). Are a and o nonequal?
True
Let u = 1030 + -850. Which is greater: u or 1/2?
u
Suppose 28*w + 19 + 9 = 0. Which is bigger: w or -2/1163?
-2/1163
Let g(z) = -z - 7. Suppose 2*j = 4*j + 12. Let i be g(j). Let a be 26/(-21) - (-36)/54. Which is bigger: i or a?
a
Let h = 56 + -117. Let b = h - -61.1. Is b < -0.071?
False
Let k = -150 - -139. Is k > -7?
False
Let q = -11 + 5. Let z = -12 + 13. Let p = -7 + z. Is q at least as big as p?
True
Suppose 2*t = -4*c + 709 - 269, 0 = t - 2. Suppose 3*x = -2*d + 335, 4*x + 5*d - 4*d - 440 = 0. Is x greater than or equal to c?
True
Let f(c) = 3 - 8 + c**2 + 5*c + 1 + 3. Let y be f(-3). Let l = -9 + 8. Is l greater than or equal to y?
True
Let y = 132 - 92. Let d = y + -47. Which is bigger: -2/11 or d?
-2/11
Let x be 1 - ((7 - 3) + -4 + -4). Suppose -5*k = t + 25, x*k - 3*t = 2*t - 55. Which is smaller: k or -46/7?
-46/7
Let d(s) = -2*s**2 - 8*s. Let y be d(-7). Let o = -22 - y. Is 20 at least o?
True
Let l be ((-8)/(-280)*-5)/((-4)/(-14)). Which is g