Let o(d) = -d**3 - 7*d**2 + 2*d + 3. Let b be o(-3). Let v = 69 + b. Which is greater: 29 or v?
v
Let h = -0.281 + 14.281. Which is smaller: 0.4 or h?
0.4
Let p(t) = -2*t - 4. Let h be p(-4). Let v(r) = -13*r - 2. Let x be v(-1). Suppose -u = -13 + x. Is h <= u?
False
Let q = 2342/13 + -180. Let h = 447 + -446. Which is smaller: h or q?
q
Let a be (-13710)/(-14) + 6/(-21). Let s = 87133/89 - a. Let q(w) = -2*w**3 - 12*w**2 - 10*w - 1. Let d be q(-5). Is s greater than d?
True
Suppose 0 = h + 2 + 1. Let k be 1/(((-3)/5)/h). Let s be -1 + -2 + 1 + 8. Do s and k have the same value?
False
Suppose 5*a + 25 = 0, -3*a - 64 = -o - 0*o. Is o less than 52?
True
Let b be ((510/(-225))/(-34))/(2/42). Let f = 4 - 6. Let p = f - -2. Which is smaller: p or b?
p
Suppose -78*s - 1250 = 5*c - 76*s, 4*s + 988 = -4*c. Which is bigger: c or 0.1?
0.1
Let v = -2 - -7. Suppose -5*c + v*z = 2*z + 14, 2*z - 8 = 2*c. Suppose 2*q + 3 = -3*a, -6*q - a - 1 = -2*q. Is q < c?
False
Let y = 550397/22 + -25002. Let s = y + -31/2. Suppose 4*c - 5*i - 25 = 0, 3*i = 2*c - 3 - 12. Which is greater: s or c?
s
Suppose -a - 2*a = 0. Let v = -337/4 + 84. Which is smaller: a or v?
v
Let w = -291 + 322. Which is bigger: 29 or w?
w
Let b be -6*15/(-108) + (-2)/(-12). Let j be 3/(-3) - 1*-1. Suppose 0 = -j*c - 3*c. Is c smaller than b?
True
Let m = 1.097 + -0.127. Is -2 at least m?
False
Let v(r) = -r**3 + 9*r**2 + 6*r + 30. Let x be v(6). Which is bigger: x or 0.4?
x
Let a = -210 - -2307/11. Let j = -2 + 2. Which is bigger: a or j?
j
Let k = 69 + -123. Let x be k/140 + 2/7. Suppose 80*s - 67*s + 13 = 0. Which is smaller: s or x?
s
Let v = -42421 + 543939/13. Let c = -580 - v. Do 1 and c have different values?
True
Suppose 8 = 2*m + 2*b, 16*b = 2*m + 17*b - 11. Which is bigger: m or 16?
16
Let f = 2/10559 - 23444/12280117. Which is greater: f or 0?
0
Suppose -m = -4 - 10. Let y = -8 + m. Let l be ((-1)/(-3))/((-23)/y). Is l equal to -0.1?
False
Let h(b) = -b - 5. Let i be h(-4). Let d = 55 - -7. Let y be d/(-403) - (-438)/(-26). Which is bigger: y or i?
i
Let u(g) = -g**3 + 15*g**2 + 7*g + 3. Let s be u(15). Suppose 5*b - m + s = -117, 66 = -b - 4*m. Does b = -45?
False
Let n(z) = 13*z**2 + 7*z - 10. Let l(x) = 27*x**2 + 15*x - 21. Let w(q) = -6*l(q) + 13*n(q). Let p be w(-3). Is p less than 57?
True
Suppose 0 = -65*g + 72*g. Which is smaller: g or -2/281?
-2/281
Let v(i) = -2*i**2 + 123*i + 311. Let j be v(64). Let o = -17 + 11. Which is smaller: j or o?
j
Let h = -348340/177 + 1968. Which is smaller: h or -1?
-1
Let r = 64 - 22. Let s = r + -29. Is -0.2 != s?
True
Suppose 5*y = 3*z + 14740, -5*z - 2*y = -0*y + 24515. Let m be 2/4 - z/(-9882). Let o = m + 3272/6039. Is o at least as big as 1?
False
Let g = -21853/340 + 257/4. Is 1 < g?
False
Let q be 6/14 + (-4330)/630. Let v = q + -895/72. Let i = 19 + v. Is i > 1?
False
Let w = -1045.2 - -965. Let q = w - -80. Is q greater than or equal to 2/21?
False
Suppose 0*v = v - 6. Suppose -4*m - 12 = -v*m. Suppose -4*i + 2*p = 3*p - 8, 3*i - p - m = 0. Which is bigger: -7 or i?
i
Let a = -303912 + 63517218/209. Let f = -24/11 - a. Suppose 4*h + 2*i = -8, 3*h - 4*i = i + 7. Which is greater: h or f?
f
Suppose -5*p - 3*b = 95, -3*p + 6*p - 4*b + 86 = 0. Let s = p - -20. Let w be (64/56)/((-2)/3). Which is smaller: s or w?
s
Let v be (5 - 0)*12/(-10). Is -2 less than or equal to v?
False
Let h = -38 - -38.022. Let w = 0.122 - h. Is 23 smaller than w?
False
Let d be 7/14 - ((-85)/(-2))/5. Suppose 0 = 3*f + 18. Is f greater than d?
True
Suppose 29 - 4 = -5*d. Let b = 7 + d. Let h be 1/b - (-6)/(-12). Is 3 bigger than h?
True
Let i = 116.05 - 116.3. Is -0.14 less than or equal to i?
False
Suppose 2*m - 3*z = 28, -3*m = -z + 3*z - 16. Suppose -m*j = -2*j - 36. Suppose 3*b - p + 5*p = 29, 5*b - 25 = 5*p. Is b at least j?
True
Let z = -817 + 805. Is 6 greater than or equal to z?
True
Let a = -27623 - -84802/3. Is a less than 643?
False
Suppose g - 80 = -2*i, g + 196 = 3*i + 66. Suppose -3*m = 5*c - 343, 5*c - 10 = 5*m + 325. Let l be 30/105 - c/i. Which is greater: -0.1 or l?
-0.1
Let r = -10 + 5.6. Let i = -2.2 + 1.6. Let o = r + i. Which is smaller: -2 or o?
o
Suppose w - 6*w - 2*p + 31 = 0, -4*w + 18 = 5*p. Which is greater: 142/25 or w?
w
Let n = -26 - -26. Suppose 3*o - 2*o + 4 = 0. Which is greater: o or n?
n
Let g = 1106.864 - -0.136. Which is bigger: g or 0?
g
Suppose 0 = -6*s - 133 - 107. Let w = 413 - 454. Is w >= s?
False
Let w(z) = z**3 + 9*z**2 - 24*z - 232. Let m be w(-9). Let t = 769 - 1569/2. Which is smaller: t or m?
m
Let x be 4 + -10 + 354/60. Which is greater: -120 or x?
x
Let p = 117 - 115. Suppose 4*s - 5*u - 27 = -5, 12 = p*s - 2*u. Let b = -61/9 - -239/18. Is b at most as big as s?
True
Let m be -5 - -3 - (2 + 0). Let c be -2*4/m + 21 + -1. Which is smaller: 23 or c?
c
Let m = -0.2 + 0.2. Let y = 1633013/15435 - -2/3087. Let n = 106 - y. Are n and m nonequal?
True
Let a be (-2)/(-8)*36/(-54). Is -9 smaller than a?
True
Let o(d) = -26*d - 130. Let b be o(-5). Let u be -2 + 2 - 4/(-22). Is u != b?
True
Let p be 0*(-1 + (-12)/(-8)). Let m(n) = -n**3 + 2*n + 1. Let c be m(p). Which is bigger: c or 14/17?
c
Let s = 15.053 - 15. Let h = s + 1.047. Is 4 less than or equal to h?
False
Suppose 4*s - 2*s = -6. Let j be (-10)/(-6) - s*(-10)/45. Let n = 305 + -3353/11. Are n and j unequal?
True
Let a(u) = 3*u - 4 - 2 + 4 - 6. Let y be a(6). Suppose -y = -8*r + 3*r. Is 0 less than r?
True
Let p be (-100)/114 - (-10)/15. Let m(o) = -5*o**3 + o**2 - 7 + o + 5*o + 2*o**2 + 4*o**3. Let d be m(4). Is p < d?
True
Suppose 0 = -5*j + 3*s - 0*s + 35, -5*j + 25 = -s. Suppose 22*t = -g + 27*t - 24, -2*g = -5*t + 18. Is j at most g?
True
Let c = -5/11 + -45/22. Let n = -21/10 - c. Is -0.41 <= n?
True
Let p be 20/6*66/4. Is p > 55?
False
Let u be 6/38*(-1274)/(-1365). Which is greater: 0 or u?
u
Let z = -460/4939 + 1/449. Is 2 equal to z?
False
Let l be (20/(-48))/((4/1)/(-136)). Which is bigger: 14 or l?
l
Let l(d) be the third derivative of d**5/60 + 3*d**4/8 - 6*d**3 - 6*d**2. Let z be l(-12). Which is bigger: 1/15 or z?
1/15
Let x be (-45)/12*(-80)/10440. Is 1 at least x?
True
Suppose -r = -2*s - 11, r + 2 - 31 = 5*s. Let u be 12/20 - s/(-10). Which is smaller: 2/173 or u?
u
Let g = -7268 + 850361/117. Which is smaller: 0 or g?
0
Let p be (-69)/(-92) + (-51)/4. Let w = -32 + 17. Let k be 6/w + 212/(-20). Which is greater: p or k?
k
Suppose -5*y + 6*y = 3*t, t = -3*y + 10. Are 2 and y equal?
False
Let h = 36 + -21. Suppose 0 = -2*x + 3*y + 20, 2*x - 2 = 4*y + 14. Are h and x nonequal?
True
Let t(m) = -m**3 - 4*m**2 - 3. Let s be t(-3). Let v = -32 - -35. Which is bigger: v or s?
v
Let y be 4/3*60/10. Suppose 2*m - 6*m + y = 4*x, 3*x + 18 = 5*m. Suppose -1 = -m*q + 2. Are 4/11 and q nonequal?
True
Let p = -9 + 7. Let k = p + -2. Which is greater: k or -7?
k
Let r be (-16 + 15)*(-1 + 1 - 0). Which is smaller: -14/23 or r?
-14/23
Let o = -31 + 28. Let p be (o - 0/(-2)) + 11. Which is bigger: 11 or p?
11
Suppose 0 = 5*v + 3*x + 744, -5*x + 310 = 540*v - 542*v. Which is greater: -2 or v?
-2
Let h = -8.92 + 9. Let a = 0.09 - h. Let p = -0.69 - a. Are p and -1 unequal?
True
Let h(u) = -2*u**3 - 25*u**2 + 10*u + 52. Let i be h(-13). Which is greater: -10 or i?
i
Let t be -2*((-3)/2 + 1). Let o be (4/(-30)*t)/((-28)/18). Is 1 smaller than o?
False
Suppose 4*v - 52 - 36 = 0. Let a be v/(-12) + (-8)/(-24). Which is bigger: -1 or a?
-1
Let w be 198/39 - 4 - (-2)/(-26). Is 3/581 != w?
True
Let a be (4 - 4)*(-1 + 0). Let r be a + 2/(-3) + 1. Let k(q) = q**3 - 3*q**2 - 8*q - 9. Let t be k(5). Is r >= t?
False
Let c = 643 - 421. Let b = -122 + c. Let h = 307/3 - b. Do h and 2 have the same value?
False
Suppose -1830 = 5*p + 2*m, 450 + 273 = -2*p + m. Is -362 bigger than p?
True
Suppose -2*v = -191 - 41. Let x = 583/5 - v. Let u = 165/2 + -83. Which is smaller: x or u?
u
Suppose 0 = 2*g + 1 + 7. Let i = -1506/55 - -244/11. Which is bigger: i or g?
g
Let l(r) = 43*r**2 + 8*r. Let h be l(-2). Let p be h/(-27) - -6 - 2218/18. Which is greater: p or -124?
p
Let m(d) = d**3 - 5*d**2 - 7*d - 1. Let z be m(6). Do z and 0.2 have the same value?
False
Suppose 528 = 2*j + j - 3*i, -900 = -5*j - 5*i. Are j and 178 nonequal?
False
Let j be ((-27)/378)/((-2)/(-4)). Which is s