-57). Is 2/669 smaller than i?
True
Suppose 2*s - 10 = 8. Let j be 2/s + 96/(-189). Let q(r) = -r**3 - 3*r**2 - 10. Let f be q(-3). Which is smaller: j or f?
f
Let w(r) be the second derivative of -r**3/6 + 3*r**2/2 + 11*r + 4. Let o = -13 - -8. Let y be w(o). Which is greater: y or -2/7?
y
Suppose m - 14 - 6 = -y, 2*m = 5*y + 33. Which is bigger: m or 336/17?
336/17
Suppose -3*o - 5*a + 15 = 2*o, -2*a = 10. Suppose -o*q + 18*q = 90. Let f(i) = -i**3 + 10*i**2 - 11*i + 17. Let r be f(q). Which is greater: -1/21 or r?
-1/21
Suppose 562*z - 916*z + 275412 = 0. Is 771 > z?
False
Let k be 6*(-2)/4 - (4 + -161). Suppose 4*g - 5*g = -k. Let l be ((-44)/g)/(30/(-14) + 0). Is l greater than 3/4?
False
Suppose -2256 - 470 = -2*t. Suppose -50*j - 3137 = t. Which is smaller: -91 or j?
-91
Let g(o) = -o. Let d(r) = 5*r + 20. Let b(f) = d(f) + 6*g(f). Let x be b(0). Let k = -2 + x. Is k less than 17?
False
Let v(x) = 0*x**2 + 186 + 13*x - 209 + x**2. Let w be v(-22). Let k be (-15)/w*14/40*-2. Is k at most as big as -1?
False
Suppose -5*n + 110 = -0*s + s, 3*n + s - 66 = 0. Suppose -19*p + 205 = n*p. Is 5 at least as big as p?
True
Suppose -2*i - 2*y - 1340 = 0, -2*y - 2674 = 57*i - 53*i. Is i equal to -3336/5?
False
Let r = 1 - 0. Let i = 1488275/61 - 24398. Which is smaller: r or i?
i
Suppose 15*a = 3*z + 14*a - 3, 2*z - 5*a = 15. Let o be 22*2/(3 + -5). Let n be 20/o + (8 - 6). Which is smaller: n or z?
z
Suppose -18*m - 5*b = -21*m - 27, -3*m - 5*b = -3. Let w be 91/175 - m/50. Let f(r) = -r + 4. Let l be f(2). Is l greater than or equal to w?
True
Let p(t) = t**3 + 2*t**2 - t + 3. Let n = -3 - 1. Let j be p(n). Suppose x = -412 + 387. Is j less than or equal to x?
True
Suppose -29*l + 129 = 13. Suppose -18*w = l*w + 682. Which is greater: -63/2 or w?
w
Suppose -36*s + 44*s = -25472. Let k be -4 - s/(-176)*(-2)/9. Which is smaller: k or 0?
0
Let q be (11/(-2) - -6)*10*1. Suppose -11 = 4*s - q*s. Let j = 6 - s. Which is greater: -2 or j?
-2
Let r be (1/1)/((-2)/218). Let w = r - -29537/271. Which is greater: -1 or w?
w
Let s be 700/500 + 229/115. Which is greater: 2 or s?
s
Let p(j) = j**3 + 21*j**2 - 5*j + 9. Let n be p(-18). Suppose 0 = -9*q - 351 + n. Let h be (-16)/(-6)*8/q. Is -1 greater than or equal to h?
False
Let l(h) = 3*h**3 + 8*h**2 + 3. Let y(z) = 2*z**3 + 7*z**2 + z + 4. Let u(b) = 3*l(b) - 4*y(b). Let p be u(5). Is -49 < p?
True
Suppose 5*u - u = s - 8, 8 = -4*u - s. Let w be 5/(-10) - (2 - (-7)/u). Let o = -19/8 + 353/152. Is o > w?
False
Let q = 0.6 - -74.4. Let t = q + -74.969. Let s = t - 0.231. Which is smaller: -1/2 or s?
-1/2
Let w = 706.07 + -711.07. Let v = -0.63 + -0.07. Let s = 7.7 + v. Which is smaller: w or s?
w
Let w be 1*10 - (-103424)/(-1010). Is -91 smaller than w?
False
Let m(z) = -2*z**2 - 13*z - 3. Let q be m(-6). Let l(o) = 2*o + 2*o**3 - 3 - 5*o**3 - o**3 + 2*o**2 + q*o**3. Let s be l(2). Which is greater: s or 0?
s
Let u = 1336 + -283231/212. Let a be 0/((4/6)/(5/(-15))). Do u and a have the same value?
False
Suppose -m + 9 = -3*a, 0*a - 3*a - 3*m = 21. Is 0.0625 <= a?
False
Let h(g) = 3 - 2 + g - 7. Let b be h(5). Let k = 9/7 - 113/77. Which is bigger: b or k?
k
Suppose -702 = -11*p + 14*p. Let r = p + 117. Let x = -115 - r. Is x smaller than 1?
False
Suppose 11*u = -7*u. Suppose u = -0*d + 4*d + 4. Do -1/251 and d have the same value?
False
Suppose 31 + 5 = 4*a. Let g be ((-2)/a)/(-1 - (-18)/15). Suppose -4*p = p. Which is smaller: g or p?
g
Let v(r) = -380*r**2 + 4*r + 4. Let o be v(-2). Let q be 5 + (o/150)/2. Are q and 0 nonequal?
True
Let r = -105 - -103.96. Let u = 0.1 - r. Let p = 5.86 + u. Which is smaller: 0.3 or p?
0.3
Let r = -6 - -6.01. Let u = 0.05 + r. Let x = -194 + 194. Is x at most u?
True
Suppose 9*v - 10 = -1. Let q = -4 + 18. Let u be ((-20)/14)/((-18)/q). Which is bigger: u or v?
u
Let c be 1306/((-36)/(-30)*5). Let q = 216 - c. Let t be 32/84 + (-4)/(-14). Is t <= q?
False
Suppose -7*a + 370 - 146 = 0. Let f be (a/28)/(-4)*7. Is 8 at least as big as f?
True
Let d be -4 - 10*-2*105. Let k = 1133934/541 - d. Which is greater: k or 0?
0
Let h be (-797400)/(-135)*1/(-2). Is -2952 bigger than h?
True
Let v(l) = -16*l + 99. Let y be v(5). Suppose 7*o + y = 250. Which is greater: o or 1?
o
Let o be 2016812/(-357) - (-14)/(-3). Which is greater: -5655 or o?
o
Let y = -0.1962 + -1.8038. Which is greater: 12.11 or y?
12.11
Suppose c + 9 - 36 = 0. Let g = 146 + -4. Let z = g + -116. Which is bigger: c or z?
c
Let z = -2661 - -2662. Do -3/431 and z have the same value?
False
Suppose -d + 32 = -8. Let v be 172/130*d/(-32). Let b = v - -3/2. Which is greater: b or 0?
0
Let n = 319 + -535. Let k = n + 215.9. Do -0.012 and k have the same value?
False
Let m = -38 + 40. Let w(d) = d**3 - 8*d**2 - 7*d - 22. Let s be w(9). Let i(h) = -5*h - 17. Let t be i(s). Does m = t?
False
Let m(y) = y**3 + 5*y**2 - y - 5. Let w(r) = -6*r**3 + r**2 - r + 1. Let h be w(1). Let i be m(h). Which is bigger: i or -5?
i
Let i be (-4)/14 + (-150)/14. Suppose -4*a = 5*f + 28, -5*a - 3*f - 50 = -2. Which is smaller: i or a?
a
Let v = -105083 - -105103.3. Let r = 0 + -0.1. Which is bigger: r or v?
v
Let o = 217 + -138. Let d = o - 75. Which is bigger: 3 or d?
d
Suppose -40*x - 24 = -44*x. Suppose -13*q - 56 = -x*q. Which is bigger: q or 9?
9
Let n = 5315 - 5232. Is 920/11 greater than n?
True
Let n = -1043 - -1041. Which is greater: 304 or n?
304
Let r be (-8)/6 - (-5 + 5). Let i = 156 + -202. Let h = i - -46. Is r equal to h?
False
Let c be ((-93)/18)/(16/72). Is c > -23?
False
Let t be (-3 - 180)*(-1)/(-3). Which is greater: t or -63?
t
Let g be (-2)/((22/1210)/(11/10)). Which is smaller: -43 or g?
g
Let o = 7 + -6.63. Let z = 1.78 - o. Which is smaller: z or -0.2?
-0.2
Let z(f) = -2*f**3 + 11*f**2 - 5*f + 2. Let a be z(5). Let w be (a - 28/8)*-26. Is w at most as big as 37?
False
Suppose 5*i + 1208 = -4*w, -2*w = 3*i - 163 + 769. Which is greater: w or -295?
-295
Let i = -410.9 + 406. Let l = -4.859 + 0.059. Let x = i - l. Which is greater: -0.3 or x?
x
Let o(z) = -3 - 202*z**2 + 203*z**2 + 0. Let y be o(3). Suppose 0 = 4*n + 39 - 55. Is y at most as big as n?
False
Suppose -j + 12*j = 77. Suppose 15*y - j*y = -80. Which is bigger: y or -57/5?
y
Let w = -7 - 29. Let s = 30 + w. Let a = -6.3 - -12.3. Which is smaller: a or s?
s
Let g = 123.5 - 122. Let k = 63.5 + g. Let z = 66 - k. Is z > 49?
False
Suppose 531*p + 480 = 37 - 619. Suppose -2*s = 3*q, -4*s + 4*q - 5*q = -10. Suppose -s*r = -r + 64. Is r < p?
True
Suppose 2*r - 132 = k + 111, -4*k - 3*r = 950. Let t = k - -247. Is t at most 9?
True
Let d be (5853384/(-4374))/((-10)/(-9)). Is d less than -1204?
True
Let r(b) = -b**3 - 21*b**2 - 6*b - 36. Let j be r(-22). Let h = 397 - j. Is -183 smaller than h?
False
Suppose -38 + 16 = -22*c. Let n = -3979/17 + 234. Is c greater than or equal to n?
True
Suppose 4*d - 2*l = -46, 2*l = -2*d - 4 - 22. Let r be (-3)/d + 19/(-60). Let g = 7028.1 - 7028. Does r = g?
False
Suppose -22*a + 4877 = 25381. Are -932 and a non-equal?
False
Let p = -37385 - -37412. Do p and 132 have the same value?
False
Suppose -812*s - 4*g - 52 = -811*s, 3*s + 169 = g. Are s and -67 non-equal?
True
Let j = 0.64 - -94.36. Let m = j + -95.41. Let r = -32294 - -32293. Which is bigger: m or r?
m
Let d = 204542354/2751 - 74352. Which is bigger: d or 1?
1
Let z(h) = 286*h + 2573. Let d be z(-9). Which is bigger: d or -2/1485?
-2/1485
Let s = -5839/9 + 649. Is -1/20 smaller than s?
True
Let q be (-2)/(-3 + 5)*2/(-138)*-12. Let g(t) = -t**3 + 3*t**2 + 4*t + 1. Let d be g(4). Are q and d unequal?
True
Let j = -177 + 199. Let o be (-13)/((j/33)/(4/6)). Which is smaller: o or -10?
o
Let a be (-10)/(-35) - 216/168. Let z be 2/(3 - 138806/46230). Let o = z - -797. Which is bigger: o or a?
o
Let u(d) = 44*d + 33. Let j be u(6). Suppose 27*i + j = -567. Is i less than or equal to -32?
True
Let k = -82.4 - -71. Let g = -12.4 - k. Let n = 0 - -0.1. Is g greater than or equal to n?
False
Let y be 100/175 - (-2460)/105. Suppose -k + 3*k = 38. Is y at least k?
True
Let g(q) = 8*q**2 - 6*q**3 - 3*q**3 + 5*q**3 + 3*q**3 + 10 + 7*q. Let u be g(9). Let w(r) = -5*r - 94. Let k be w(-17). Which is smaller: k or u?
k
Let h(w) be the first derivative of -w**3/3 + 2*w**2 + 36*w + 6. Let f