= -2*b - 45, 2*b + 5*y + 7 = -k. Let s(n) = -n**3 + 18*n**2 + 62*n + 1. Let q be s(21). Is q < b?
False
Let f = -1863430180333597589/358611990 + 5196229441. Let j = f + 303405666181/88696698860. Let l = -5/636 - j. Which is greater: l or -3?
-3
Let n = 1595101/1656 - -1083/184. Which is greater: n or 970?
970
Suppose 73049 + 145169 = 22*h. Is h at least 9919?
True
Let x(m) = -8*m**2 - 18*m + 80. Let u be x(8). Let r be (u/84)/(-4*(-1)/98). Is r at most as big as -168?
True
Let s(i) = -10*i - 31. Let t be s(-4). Suppose -4*z + t*p + 1 = 4*p, -z + 2*p + 1 = 0. Is z > -5/101?
False
Let k(m) = -6*m - 1. Let x = 111 - 111. Let u be k(x). Are u and -12 nonequal?
True
Let o = 16 + -11. Suppose -2*j + j = o*r + 108, 156 = -2*j + 5*r. Do -88 and j have different values?
False
Let h be (-88)/(-14) - (-4)/(-14). Suppose 3*p + h*w - 5*w = -8, 3*w = -5*p - 20. Which is greater: p or 1/6?
1/6
Let g(a) = -3*a**2 + 3*a + 2. Let q be g(3). Suppose -k - 8 = -1338*s + 1343*s, -5*s + 24 = -3*k. Which is greater: k or q?
k
Let b(z) = 42*z + 16. Let k be b(8). Let g = k + -207. Is 145 greater than g?
False
Suppose 266 = -262*q - 4*q. Which is bigger: -5/556 or q?
-5/556
Suppose 1077*y = 1072*y - 8300. Let b = -46479/28 - y. Suppose 0 = -m - 5*z + 25, -2*m + 25 = m + 5*z. Is m bigger than b?
False
Let a = -51 + 53. Let j(c) = 8*c + 0*c**2 - 20 + 4*c**2 - 13 - 3*c**a. Let y be j(-11). Which is smaller: -2/19 or y?
-2/19
Let i be (-7)/(-42) - (-3223)/66. Suppose -14 = 4*b + 6, -y + b = -53. Is y at most as big as i?
True
Let v = -189436 - -952326/5. Is v equal to 1030?
False
Let d(g) = -2*g**3 + 8*g**2 - 5*g + 3. Let l be d(5). Let m be ((-27)/l)/(9/6). Let z = 0.05 - -0.03. Which is smaller: m or z?
z
Suppose 5*m + 152 = -3*b, -100 = 3*b + 3*m + 62. Let n = b + 69. Suppose 4*o + 2 = n, 2*o = -u + 3. Which is smaller: 1 or u?
u
Let x = -260.48 - 4.52. Let b = 255 + x. Which is greater: b or 3?
3
Let r(b) be the third derivative of -1/120*b**6 + 0 + 0*b + 3/10*b**5 - 2/3*b**4 - 27*b**2 - 11/2*b**3. Let a be r(17). Which is smaller: 0 or a?
a
Suppose -62 + 27 = -7*d. Let u be ((0 - -3) + -2)*1/d. Let f = 17/30 + -1/15. Which is smaller: u or f?
u
Let o = 1204073/302 + -3987. Let z = 479312473/55266 + -528331/61. Let t = o - z. Is -11 < t?
False
Let r be (((-8)/2)/20 - -1)*(18 - 23). Let n = -2/8325 - 97117/33300. Let y = -49/6 - n. Which is smaller: r or y?
y
Let k be ((-288)/225)/(-16) + (-26504)/50. Which is smaller: k or -529?
k
Let u(g) = g. Let v(l) = -l**3 - 4*l**2 + l + 8. Let i(o) = 2*u(o) + v(o). Let n be i(-4). Let s be 3/((-113)/n*6). Is -1 > s?
False
Let m(d) = 3*d**2 - 95*d - 612. Let t be m(34). Which is bigger: -3729/10 or t?
-3729/10
Suppose 3*x - 3 = 0, 4*x = 4*n - 3 + 91. Let r = n - -85. Let k be ((-64)/6)/(1/(-6)). Is r > k?
False
Suppose -4*i + 4*t - 2900 = 0, 20*t - 15*t = -10. Is -2182/3 at least as big as i?
False
Let t be 10/4 + (-12)/(-24). Suppose 36 = 13*r - t. Let m be 3/(-12)*14/r. Which is smaller: 0 or m?
m
Let w be (4/(-11))/(-2) - 581300/572. Let h = 1015 + w. Let u be 25/(-35) + (-2)/7. Are h and u equal?
False
Let r be 51/18 + -3 - (-31)/6. Suppose r*f + 312 = -243. Is f less than or equal to -113?
False
Suppose 95*d = 106*d + 99. Let b be (-43)/9 - -4 - 8/36. Which is greater: d or b?
b
Suppose -q + 46 = 118. Let g = -74 - q. Let o be -1 - (-5)/80*-6. Do o and g have the same value?
False
Suppose -4*q - 932 = -4*t, -77*t + 82*t = q + 209. Which is smaller: q or 2/5?
q
Let b = -0.158 + 41.158. Let t = b - 71. Does t = -4?
False
Let o be 25454/8970 - (-3)/(-15). Let d = 1394 - 96188/69. Let v = o - d. Is v greater than or equal to 4?
False
Let g be 2098/2086 + -1 - 0. Let t = -29707/7233 + 461055337/82984209. Let l = t + g. Which is greater: l or 0?
l
Let k(n) = 12*n + 126. Let w(p) = 1. Let v(m) = k(m) - 4*w(m). Let x be v(-7). Which is greater: 37 or x?
x
Suppose 0 = -5*k + 4*i - 88, 5*k - 42 = 2*i - 136. Let s be (-6 - k/3)/(4/18). Is 4 at least as big as s?
True
Suppose 7849 = -9*a + 26542. Is a < 2076?
False
Let h be (40/24 + -5)*-3. Suppose -h*l - 87 = -13*l. Is 38 > l?
True
Let l = -306.5 - -330.5. Which is bigger: -4.9 or l?
l
Let r be (-17 + 17 - (-2 + -7)) + -6500. Which is greater: -6492 or r?
r
Suppose -296*k + 7105026 = 1579002. Is k < 18669?
False
Let l = 70 - 70.1. Let z = 9 - 5. Let c be z/(-12) + (-23)/(-6). Is c < l?
False
Suppose 26*n + 1824 = 23*n. Let c be n/1030 + (-4)/(80/(-12)). Which is smaller: 0 or c?
0
Let j = -0.5 - 0.85. Let n = j - -0.35. Suppose -4*x + 4*k = -64, 0*x = -2*x + 5*k + 38. Is n less than x?
True
Let i = -1073834/169 + 6354. Does i = -1?
False
Let v(t) be the second derivative of t + 1/6*t**3 + 0 + 7*t**2. Let d be v(-14). Which is smaller: d or -1/43?
-1/43
Suppose 3*i + 13 - 64 = 0. Suppose -7 = 2*r - 17, -2*l = -r + i. Which is smaller: 10 or l?
l
Let k(d) = -2*d**3 - 111*d**2 + 44*d - 704. Let n be k(-56). Is -329/10 <= n?
True
Let n(o) = 17*o**3 + 4*o**2 + 2*o + 3. Let k be n(-3). Let z be ((-10)/(-165))/(4648/k). Let w = 1/154 - z. Which is bigger: w or 1?
1
Suppose 4 = -r + 15. Suppose -12*y - r = -y. Are y and -1/3 equal?
False
Let y be 11/33 + 1821/(-9). Let m = 176 + y. Are m and -24 unequal?
True
Suppose 29*f - 1303 = 3772. Is 175 at least as big as f?
True
Let j = 1983 + -1983.0289. Is 2 >= j?
True
Let s = 47 + -54. Let l be 30/(-1) + (0 - 5 - s). Is -24 < l?
False
Suppose -187 - 6 = -3*p - 4*n, 0 = -5*n + 20. Let y = p + -14. Let w = y + -91/2. Does w = -4/7?
False
Let r(p) = 8*p**2 - 27*p - 11. Let a be r(-5). Let q = a - 323. Which is smaller: -0.012 or q?
-0.012
Let m = 6 + -54. Let g = 116 + m. Let x = 69 - g. Which is smaller: 4 or x?
x
Suppose -45 = -5*o, 11*o - 10 = -f + 10*o. Is -10/3259 equal to f?
False
Let d be 20/(-90) + 44/(-45). Let x = -0.6639 - -0.6339. Which is greater: x or d?
x
Let l = 49 + -51. Let d be (1 + l)/((-1)/5). Let g be (340/22)/d + -2. Which is smaller: 2 or g?
g
Let t be (-60)/29862*-1992 - 4. Let q = t + 38/6083. Which is bigger: 1 or q?
1
Let a(s) = -3*s**3 - s**2 + 3*s + 77. Let b be a(0). Let d be 0/(-18) - (1 - b). Is d at most as big as 75?
False
Suppose -i + 5*s - 3061 = -3*i, -s + 3025 = 2*i. Which is smaller: i or -11?
-11
Suppose -4*z + g + 522 = 0, -4*z + 552 = 25*g - 21*g. Which is smaller: z or 397/3?
z
Let g = 11.114 + -7.114. Which is smaller: 4/45 or g?
4/45
Let i be 24/274518*-38 - 0. Let d = -1/303 + i. Are -1 and d non-equal?
True
Let f be (39/(-9) - -3)/(20/(-894)). Let k(w) = w**2 - 8*w + 67. Let d be k(7). Is d less than or equal to f?
False
Let a = -5344 + 5521.045. Let d = -177 + a. Which is greater: 1/4 or d?
1/4
Suppose -13*d + 23*d - 380 = 0. Let x = -269 - -383. Let w be (-1)/((-2)/x)*76/114. Is w greater than or equal to d?
True
Let n = -422 - -429. Suppose -4*a - 2*c = -24, -2*c + 20 = 2*a + 3*c. Suppose -87 + n = -a*l. Are l and 16 equal?
True
Suppose 213166 = 231*i - 20206 - 58150. Which is bigger: i or 1261?
i
Suppose 182*l = 14128 + 270271 + 29187. Is l less than 1722?
False
Suppose -8 = -4*t, -5*c - 1 = 3*t - t. Let b be (407/55 + -7)/((-62)/(-10)). Which is bigger: c or b?
b
Suppose -77*a + 255*a = -67*a + 1374940. Which is smaller: 5611 or a?
5611
Suppose -74 - 8 = -41*q. Suppose 1 = -t + 5. Suppose 3*b + 6 = -3*v - 3, -q = -t*v + 3*b. Which is greater: -8/11 or v?
-8/11
Let m be (6 + -1)*(1 + 0). Suppose -4*q + 15*q = 0. Suppose -3*b + 44 = 5*s, -4*b = -q*s - m*s - 12. Are 9 and b nonequal?
True
Let l be -3 - (-4 - -2 - 84). Suppose -1645 = -11*m - l. Let f = m - 179. Is f <= -36?
True
Let s = -14 - -15. Let d = 0.213 + 0.957. Let j = d + -24.17. Is s bigger than j?
True
Let v = 3897 - 19458/5. Is -0.8 greater than v?
False
Let c(j) = 6*j**2 + 11*j + 8. Let b(y) = -14*y + 6. Let u be b(0). Let s be c(u). Is s > 289?
True
Let u(r) = 13*r + 6. Let z be u(-5). Let p be (23 - 16) + (-1 - 64). Which is smaller: z or p?
z
Let x = 24 - 36. Let l = x + 13. Let g = 15.8 + -13.8. Which is smaller: g or l?
l
Let u be 72/15*105/2. Let n = u - 251. Which is smaller: n or 18?
n
Let n(c) = c**2 + 12*c + 26. Let u be n(-10). Suppose u*l + 4 = 7*l. Suppose -2*y = -5*i - l*y - 62, -2*i + 4*y = 44. Is i less than -0.2?
True
Suppose -129 = -3*c - 2*u, -u - 3*u - 147 = -3*c. Suppose 2*b + c = 11*b. Let h = 213 + -208. Is h > b