 = -2*p**2 + 4*p + 584. Let k(d) = d**3 - 2*d**2 - 5*d + 6. Let h be k(3). Let u be o(h). Is u at least 584?
True
Let v = 35 + -42. Let y(n) = n**2 + 8*n + 8. Let o be y(-2). Which is smaller: v or o?
v
Let t be (-15)/(-18)*(320 - -15). Which is greater: t or 280?
280
Let u(m) = 414*m + 3321. Let n be u(-8). Is 198 != n?
True
Let y = 386 - 393. Let v be (-1)/((-304)/(-20) + y + 4). Is v > 0?
False
Suppose 4 + 4 = -b. Let o = b + -5. Let a(j) = 1149*j - 3463. Let q be a(3). Is q greater than o?
False
Suppose -3*x - 2*i = -12 - 77, -5*i = -5*x + 140. Suppose -41*a = -x*a - 696. Is a less than or equal to -0.2?
False
Let y = -3849.686 + 3844. Let b = -0.086 - y. Which is bigger: 1/3 or b?
b
Let f = 850/21 + -6383/42. Suppose -24*p + 1110 = -34*p. Which is bigger: p or f?
p
Let d(b) = -b**2 + 35*b - 199. Let f be d(29). Is -14 smaller than f?
False
Let h = -1450 - -1451.5. Which is smaller: 23 or h?
h
Let d = 3167 + -3159. Which is smaller: -232 or d?
-232
Let i(a) = -a**2 + 5*a + 30. Let s be (360/(-54))/(2/(-3)). Let b be i(s). Is -21 greater than b?
False
Let m(z) = -z**3 - 30*z**2 + 67*z + 109. Let n be m(-32). Let j be (-4)/8*(-3 + 3). Let p = 12 - j. Is p at most n?
True
Suppose 7*o + 8 = -6. Let x(c) = -24*c**3 + 3*c**2 + 8*c + 3. Let q be x(o). Let f be q/12 + (-24)/(-18). Are 16 and f nonequal?
True
Suppose -462*y - 3*y = -379 - 86. Which is smaller: 15/212 or y?
15/212
Let u = 25279/9 - 2809. Which is greater: 0 or u?
0
Let k = -9219 - -8304. Are k and -915 unequal?
False
Let i(m) = m**3 + 2*m + 6. Let a be i(4). Suppose 6*z - a = -84. Which is bigger: 3/64 or z?
3/64
Let r(h) = h**2 - 10*h + 26. Let k be r(8). Let z be 2/3 - k/6. Let q(s) = 11*s - 1. Let n be q(z). Is n at most -11?
True
Let t = 73 - -168. Suppose -4*z - 4*l + t = z, 0 = 5*z + 5*l - 240. Suppose 0 = -o + z - 35. Which is smaller: o or 16?
o
Suppose 2*h + 89 = 33. Let j = -30 - h. Which is bigger: j or -12/19?
-12/19
Let h be (12 - 21) + (-85)/11. Let r be (-54)/((-6)/2)*(0 + -1). Which is smaller: r or h?
r
Let n(j) = -4*j**2 - 3*j + 7. Let y be 6/5*(-120)/(-24). Let o be n(y). Let c = o - -140. Which is bigger: c or -17?
c
Let m = -8188 + 6875. Which is smaller: 0.1 or m?
m
Let t(v) be the second derivative of v**5/20 + 13*v**4/12 - v**3/6 - 7*v**2 - v. Let s = -92 - -79. Let y be t(s). Which is smaller: -12/13 or y?
y
Let q = 5864 + -6021. Which is smaller: q or 2.2?
q
Let j = -356 + 249. Let h = -346 - -238. Does j = h?
False
Let t be (-96)/45 - 2/10. Let o = 55 - 54. Do t and o have the same value?
False
Let c = 494 - 653.4. Let y = -34.4 - c. Is y smaller than -0.1?
False
Let c = -46 - -52. Suppose -5*t + c = -3*t. Suppose -4*z = t*v - 2 + 38, -4*z + 2*v = 36. Is z > -10?
True
Let o be -6 - (-2)/(-3)*-6. Let g be (-25)/(-15) - 2/(-6) - 4. Are g and o equal?
True
Let n = 2 + -4. Suppose 0 = -3993*q + 3955*q - 722. Is q less than n?
True
Suppose p + 1 = 0, -2*p - 3 = b - 0*p. Let v = b + 53. Let o be 4/16 - (-1)/(v/(-5)). Is 4 < o?
False
Let t = -14115 - -14529. Is t greater than or equal to 414?
True
Let o be ((-2)/(-30))/((-2)/(-39)) + (463 - 464). Is -0.104 smaller than o?
True
Let m be 12 - (4/8)/((-3)/6). Suppose 6*h + 28 = m*h. Suppose 0 = -3*f - 2*c + 13, 4*f = f - h*c + 23. Which is smaller: f or -1/28?
-1/28
Let q(w) = 106*w + 6. Let f be q(-4). Let l be (-476 - -55 - -7) + (-20)/5. Is f at most l?
True
Let j(i) = i**3 + 4*i**2 - 4*i - 12. Let l be j(-5). Let w = 3 - 16. Which is smaller: w or l?
l
Let z(n) = n**2 + 23*n + 47. Let h be z(-14). Let l = -49 + -29. Which is bigger: l or h?
l
Let g(h) = -18*h - 25. Let u be g(11). Let v = u - -93. Let n be v/(-76) + 3*(-1)/2. Is n less than 1?
True
Let b = 296 - 85. Let n(q) = -10*q**2 - 103*q + 561. Let i be n(-13). Are i and b nonequal?
True
Let i = -5 - -6.292. Let k = i - 0.292. Does k = -43?
False
Let w = 2.233 + -2.3. Let b = 517.103 - 517. Let s = b - w. Is s != 2/5?
True
Let j = 538.83 - 538. Let q = 8.83 - j. Do q and -1/9 have the same value?
False
Suppose 3*c - 5*j = -15, 7*c - 2*c - 5*j + 15 = 0. Let y be (342/(-4185)*-5)/((-16)/(-153030)). Let t = y + -3908. Which is greater: t or c?
t
Let a = -44847 - -44888.906. Let u = a + 0.094. Let c = u + -41.9. Which is smaller: c or 6.4?
c
Let f = -3/442 + -809/11050. Let z = 1408 + -1411. Which is smaller: z or f?
z
Let y = -246 - -252. Suppose 53 = -y*j - 133. Is j >= -31?
True
Let t be 2/9 - 6/27. Suppose 2*o + 3*x - 1000 = 0, -2*x + 2857 - 335 = 5*o. Let h be (-36)/198 - (-4)/o. Which is smaller: h or t?
h
Let l be 3458/543153*(-3)/2. Is l greater than or equal to 1?
False
Suppose -60*w + 43*w - 3 = 252. Is 109 at least as big as w?
True
Let p = 6033 + -6033. Which is bigger: 10046 or p?
10046
Suppose 171*l + 2667 - 1278 = -2715. Which is smaller: 22/5 or l?
l
Let n be ((-180)/(-8))/(6/16). Suppose -5*u = 2*d - 362 + 79, -d = 4*u - 227. Is u equal to n?
False
Let h = 4 - 2. Suppose 3*n - 2*l + 3 + 3 = 0, 0 = -n + h*l - 6. Let w be (7272/44541)/(6/(-28)). Is n equal to w?
False
Let s(n) = -n**3 + 4*n**2 + 6*n. Let h be s(5). Suppose -20 + h = -3*r. Suppose 0*u + q = -5*u + 78, 4*u + r*q = 75. Is u > 15?
False
Let h be (-8)/28*((-6006)/72)/(-13). Let r = -3 - -2. Do r and h have the same value?
False
Suppose 0 = -3*j + 5*o - 0*o + 155, -4*j + 5*o + 200 = 0. Let w be 1 - ((-52419)/(-297) - 10/j). Let f = -175 - w. Which is smaller: f or -0.3?
-0.3
Let k = 23 - 16. Let w(d) = -7*d - 5. Let t be w(k). Let n = t - -44. Do -43/4 and n have the same value?
False
Let m = 998 - 610. Which is greater: 385 or m?
m
Let q = -0.04 - 0.1. Let x = 230146 - 230147. Is q at most x?
False
Let q = 6.8 + -37.8. Let z = q - -87. Which is bigger: z or -2/5?
z
Let d = -1709 - -2458. Let j = 129853/75 + -319288/325. Let h = j - d. Is h < -1/4?
False
Let t = 32 + -400. Let v = -358 - t. Let d be 10 - (-1 + 1)/1. Is d bigger than v?
False
Let t(j) = j**2 - j - 17. Let f be t(5). Suppose -d - 5*a - 150 = 0, -a + 258 = -2*d + f*a. Let p = d - -75. Is -60 not equal to p?
False
Let n be ((-33)/105 - ((-34)/(-10) - 4))/(-4). Which is bigger: -1.79 or n?
n
Suppose 226 = 51*a - 53*a. Let z = a + 89. Let v be z/28*(40 + 2). Is -37 at least as big as v?
False
Let y = -325564 + 7699914166/23651. Which is bigger: -1 or y?
y
Let m = 1141 + -1136. Is m at most -0.29?
False
Let h = 67 + -66.8. Let n = -147 - -87. Let o = n + 43. Which is smaller: o or h?
o
Let s = -1.630537 - -1.630537. Let v = 3 + -5. Let n = v - -19. Which is smaller: n or s?
s
Let o(z) = 2*z - 70. Let u be o(20). Let c be u/18 - -1 - 736/(-1086). Which is smaller: c or 0?
0
Let z be ((-2)/(-3))/((-3)/90). Let o be 2/10 + (-114)/(-30). Suppose o*k = -37 + 33. Is z less than k?
True
Let t be 3 + 4 + -8 - 9 - -9. Are t and -1/15185 unequal?
True
Let g = 766 - 276. Let u be -32 + 39 + (-3434)/g. Which is bigger: 1 or u?
1
Let n(i) = i**2 - 20*i + 88. Let w = -140 - -155. Let r be n(w). Is 2 less than or equal to r?
True
Let y = -5263 - -5263.1. Which is smaller: y or 20/69?
y
Let x = 0.5537 + -1.5537. Which is smaller: 13788 or x?
x
Let g be (-40)/(-6)*(-46)/15. Let l(w) = 969*w - 15523. Let f be l(16). Is f greater than g?
True
Suppose 10 = -133*k + 123*k. Suppose -2*j + 23 + 7 = 0. Let n = 34 - j. Are k and n nonequal?
True
Suppose 2*h = t - 53 - 1, 2*t + 4*h = 84. Let u be -3*(t/3114)/(-8). Which is greater: u or -1?
u
Let d be 2/(-15) + 17*(-1179)/5805 + 3. Is d >= 0?
False
Let s(u) = 14*u**3 - 5*u**2 - 4*u + 25. Let m be s(2). Is -1 <= m?
True
Let l(v) = -v**3 - 5*v**2 + 7*v + 9. Let i be l(-6). Suppose 0 = r + 22*r - 46. Suppose g - 5*m = -m - 7, -g - 7 = r*m. Which is smaller: i or g?
g
Let h(t) = 56*t - 344. Let g be h(7). Let a be (g/18)/((-10)/15). Which is smaller: -45/13 or a?
a
Let t(r) = 515*r - 8234. Let j be t(16). Let q = -3 + -1. Which is smaller: j or q?
q
Let z = -5858.7 + 5858. Is z > 154/13?
False
Let a be (-3241)/(-497) - -12*(-4)/8. Which is smaller: 2 or a?
a
Let x be 173518/21715 + (-7 - 1). Let b = 13 - 8. Suppose -2*n = y + 9, -3*n + 25 = -b*y - 8*n. Is x bigger than y?
True
Suppose -246 + 38 = -8*v. Suppose 0 = v*y - 22*y. Which is bigger: y or -17/46?
y
Let d be (11 - -24) + 5 + -8. Which is smaller: 344/11 or d?
344/11
Let j be (-26)/(-24) - 1 - (-4789106)/(-3336). Which is smaller: j or -1437?