)/(-28)). Let q(t) be the third derivative of -t**6/120 + t**5/4 - 7*t**4/12 - 17*t**3/6 + 113*t**2. Let p be q(j). Is p > -15?
False
Suppose -3*d - 2*z = -93, -33*z - 73 = -2*d - 38*z. Are d and 914/33 non-equal?
True
Let z be 3*(-2 + -2 + 18). Let k be ((-17)/(19 + -2))/((-3)/132). Is z less than k?
True
Let z = -36 + 92. Let p = 169 - z. Let k = p - 127. Is k less than or equal to -9?
True
Let r = 797098/7 - 113873. Let y be (4/(-10))/((-2)/10). Suppose 0 = y*z - 1 + 3. Is r greater than or equal to z?
False
Let z(q) = q**3 - 12*q**2 + 10. Let r be z(12). Suppose -2*b + 2*j = 188, 6*b - r*b + 3*j - 376 = 0. Let s be 11/12 + 2/(-8). Is s at most as big as b?
False
Let c = -2689 + 2691. Is c at most as big as -370?
False
Let y(f) = -46*f + 4055 - 3918 - 2*f**2 + f**2 - 4*f. Let t be y(-46). Is 321 at least t?
True
Let g be 45/(-3)*(4 + 175)*-1. Let m = g - 4717. Let f be 2/8 + 492/m. Which is smaller: f or -1?
-1
Let o(x) = -98*x + 335. Let h be o(4). Let g be 3 + 1/1 + -59. Which is smaller: g or h?
h
Let r = 539/117 - 3905/13. Which is greater: r or -296?
r
Let c = 8225.8 + -8223. Which is smaller: 117 or c?
c
Let b = -4798 + 4516. Which is smaller: b or -289?
-289
Suppose -c + 3*c + 26 = 0. Let o = 104 - -213. Let k = 302 - o. Which is smaller: k or c?
k
Let o be (-18)/(-24) + -4 + (-23025)/(-7188). Is 1 at most o?
False
Let l be -129*((-4)/(-50))/(1577/95 - 11). Is -1 < l?
False
Let z(m) = -2*m**3 - 42*m**2 + 5. Suppose -41*k + 45*k = -84. Let r be z(k). Which is greater: 8 or r?
8
Suppose 28 = -102*q - 119*q + 193*q. Let y = 5064 + -1676186/331. Which is smaller: y or q?
q
Suppose 0 = -3*r + 6 + 42. Suppose 11*c = 26*c - r*c. Is 4/21 at most as big as c?
False
Let w = 68 - 62. Let z(n) = -n**2 + 7*n - 2. Let y be z(w). Let b be y - 3 - (-635)/(-645). Which is smaller: b or -1?
-1
Let y be (-81 - -3)*(-16)/12. Let f(u) = -u**2 + 27*u - 41. Let l be f(21). Let n = l - y. Are -19 and n unequal?
False
Let d be (-5508)/(-24)*4/9. Is 102 less than d?
False
Let d = 279049/5 - 55499. Let q(j) = 2*j**3 + 8*j**2 + 2*j + 4. Let t be q(-7). Let k = t + d. Is k < 6?
False
Let q be (0 + -1 + 2)/(2 - (-5194)/(-2590)). Which is smaller: q or -1286/7?
q
Let v be (-238)/(-85) + 4 + -1. Let c = v + -556/95. Let f be (1 + -1)/(-3 + 2). Is c less than or equal to f?
True
Let z be 1*(-20)/25*2. Let n be (-8 - -13) + (132/(-14))/2. Is z at least n?
False
Suppose -4*c = -5*p - 6028, -3*p - 3*c - 2172 = 1434. Is -1205 greater than p?
False
Suppose -22*f + 186498 = 2*u + u, -5*f + 42360 = 5*u. Is f equal to 8478?
True
Let g(k) = -k**3 + 9*k**2 - 13*k - 14. Let z be 4/5*(-65)/(-13). Let u be g(z). Suppose -3*m = m - 56. Are m and u equal?
True
Suppose -37*i + 383452 = -28*i + 59*i. Is 5638 greater than or equal to i?
False
Let b = 65 - 74. Let x be (3 + 30/b)*0. Which is smaller: x or 1/39?
x
Let t = 21 - 30. Suppose 457*u + 12 = 4*v + 452*u, -2*v - u = 22. Is t greater than v?
False
Suppose 22*p = 20*p - 5*v + 1358, -p = -v - 672. Do 673 and p have the same value?
False
Let n = 1771 - 1761. Which is greater: n or 101/11?
n
Let q = -0.3926 - -0.7327. Let o = q + -0.0401. Is -17 less than o?
True
Suppose 9*y = -15*y. Suppose 60*c + 1247 + 1033 = y. Which is smaller: c or -12?
c
Let p = 1128 - 1128.22. Is 92 bigger than p?
True
Let y be (-6)/4*(-40)/6. Suppose 15 = y*c - 5*c. Suppose 2*b = n - 5, b + c*b = -3*n - 5. Which is bigger: 3 or b?
3
Suppose 0 = -2*j + 19*z - 18*z + 273, 5*z = -j + 142. Let p = -158 + j. Which is smaller: -16 or p?
p
Let f(z) = z**2 + 5*z + 2. Let o be ((-60)/24)/((-2)/(-4)). Let s be f(o). Suppose 6 = -3*w + h, s*h + 3 = w + 10. Which is greater: -3/31 or w?
-3/31
Let m = 1992 + -1935. Is m at least as big as -0.2?
True
Suppose -4*o = 3*n - 77, 3*o - 4*n = 7*o - 72. Let j(y) = 3*y**2 - 67*y - 24. Let s be j(o). Which is bigger: 2 or s?
s
Let b = 1.7 + -8.7. Let i = b + 12. Let m = 8517 - 8518. Is m smaller than i?
True
Suppose -n + 68 = 4*a, -10 = -3*a + a. Let h be (-1 - -6 - -1)/(72/n). Is 2 less than or equal to h?
True
Let v(r) = -r**2 - 6*r - 1. Let w be v(-6). Let h be 829/516 + (-1)/3 + (-6831)/3036. Which is bigger: h or w?
h
Let c = -159379/17 - -9371. Do -4 and c have the same value?
False
Let l = -9/7 + 17/14. Suppose s = -r + 5*s - 11, -5*r - 5*s = -20. Is l less than or equal to r?
True
Let t = 24515/774488 - 9/286. Which is smaller: 0 or t?
0
Suppose 5*n - 5*f - 50 = -4*f, n - 5*f = 34. Let k be 56/(-384) - ((-3)/n + 0). Which is smaller: k or 3?
k
Let j be (-16)/4*(3753/(-6) + (-8)/2). Are j and 2518 equal?
True
Let j(o) = -o**2 - 2*o + 6. Let v be j(0). Let y(f) = 19*f**2 + 8*f + 3. Let q be y(v). Let r be -4 + (5860/q)/2. Which is smaller: -1 or r?
-1
Let t = 19126 - 19125. Let w be 2/5*(-85)/(-16). Which is bigger: w or t?
w
Let d = -1728.2 + 1729.2. Which is smaller: -191.5 or d?
-191.5
Suppose 63 = 2*m + 1. Suppose 8*w + m = 351. Which is bigger: 41 or w?
41
Let q be 3/(498/10)*355405/10. Let d = q + -2141. Which is greater: 0.1 or d?
0.1
Let w be 3/(-42)*-4 + (-115)/35. Let t be (-3 + 3)/(w + 6 - 4). Suppose t + 40 = -5*o. Is o < -7?
True
Let w = -3702604099/16900 - -219089. Is w <= 1?
True
Suppose 2*r = -6, w = 6*w + 2*r - 9. Let n be (-1)/(-2)*(-5 - -11). Let i be 147/24 - 12/n. Which is greater: w or i?
w
Let t = -1118 - -1126. Let u = 2 + -1.9. Which is bigger: t or u?
t
Let c be (4510 - -6)*3/(-6). Let w = -589336/261 - c. Is w >= 0?
True
Let t(x) = 16*x + 117. Let c be t(-6). Suppose -1 = 22*n + c. Is -1/3 less than or equal to n?
False
Let c(z) = -7*z**3 + 10*z**2 + z - 2. Let h(t) = -20*t**3 + 30*t**2 + 3*t - 7. Let f(s) = 17*c(s) - 6*h(s). Let g be f(7). Is -147 smaller than g?
True
Let z = -236 + 1171. Let o = 921 - z. Let g = 2.1 - 2. Which is smaller: g or o?
o
Let x = -213.3 + 213.7. Let h = 15/1643 - 23399/223448. Let s = -1/34 + h. Which is smaller: s or x?
s
Suppose -3*x - 1515 = 2*x. Let w(k) = 7*k**3 + 76*k**2 + 17*k + 4. Let n be w(-11). Is n > x?
False
Let s be ((-126)/35 - -6)*5. Suppose 4*z = -0*z + 4*m + s, 0 = -4*z - m + 2. Which is smaller: z or 19/15?
z
Let n = 146 - 148. Let t be (-5 - -4)*n*(-13)/(-2). Is t greater than 11?
True
Let y be 61*-2 - (-5 - -9). Let j = y + 214. Suppose -2*n - 11 + 51 = t, 3*t - 2*n - j = 0. Which is bigger: 0.1 or t?
t
Let p(w) = -w**3 - 7*w**2 + 6*w. Let u be p(-8). Suppose -8*j = -0 - u. Suppose j*x + 175 = 7*x. Is 34 greater than x?
False
Let d be 929 + -881 - (-40 + -2). Suppose b = 4*p + 103, -3*p + 230 = 2*b + 57. Which is bigger: d or b?
b
Let r be 17 - 400/14 - -11. Let k = 2 - 3. Let o = -1 - k. Is r smaller than o?
True
Let k(g) = g**3 + 25*g**2 + 27*g + 42. Let c be k(-25). Are -639 and c unequal?
True
Let x = -912.34 - -912.44. Let c = 24.2 - 129.2. Let t = c + 67. Which is bigger: t or x?
x
Let p = -8176 + 6366. Is -1809 > p?
True
Let a(g) = -3*g**3 + 5*g**2 - 4*g + 4. Suppose 5 = 2*l - 4*l - 3*r, -3*l - 2*r = 0. Let n be a(l). Let p be (-1)/((-1)/n*-2). Do 0 and p have the same value?
False
Suppose -2*f + 4 = c, -3*f + 58*c - 59*c = -4. Which is smaller: f or 6/2279?
f
Suppose 33*v + 11080 = -71090. Which is bigger: v or -2491?
v
Let i(a) = 2*a**3 - 10*a**2 + 6*a - 1. Let f be i(4). Let k = 6 + f. Let v be ((-18)/27)/(-2 + (-10)/k). Is v greater than -4?
True
Suppose -10*o + 1368 = 1358. Which is smaller: -2/50495 or o?
-2/50495
Let m be -6*101/3*(-4)/(-4). Let s = m - -203. Let c be 12/(-14)*(-2)/(-30). Is c <= s?
True
Let n(d) = -3*d**3 - 17*d**2 - 7*d + 13. Let h be n(-6). Which is smaller: 94 or h?
h
Suppose -5*u - 26 = 5*a - 6, -2*a - u - 4 = 0. Let z be -2*(-46)/(-16)*(-4 + a). Is 26 > z?
True
Let j be 8091*(12 - (-320)/(-24)). Is -10787 smaller than j?
False
Let w = 2/37961 + 71100/91523971. Is w at least -3?
True
Let s = -0.2148 + 0.247. Is s at most -1/3?
False
Let w(i) = 2*i**2 - 6*i + 3. Let g be w(5). Let h(v) = 6*v**2 + 23*v + 8. Let z be h(-5). Suppose -7*d + 125 = -z. Is d greater than g?
True
Let q(z) = -19*z**3 - 31*z**2 - 2. Let h be q(-2). Which is bigger: -27/2 or h?
h
Suppose -321*l = -347*l - 10114. Which is smaller: -387 or l?
l
Let f = 219 + -218.9735. Let x = -0.0735 - f. Is x > -11?
True
Let x = -115 + 123. Suppose -2*b + 20 = x*b. Let d be (-6)/b - -2 - 9. Which is smaller: d or -5?
d
Let r be ((33352/(-11))/8)/(-2283