gger: b or 83?
b
Let d(j) = -5*j**2 - 7*j**2 + 13*j**2 + 14*j. Let a be d(-9). Let g be (-438)/27 - 10/a. Is -17 at most g?
True
Suppose 0 = 3*j, -5*n = -3*n - j + 18. Suppose -2*p = -p + 11. Which is smaller: n or p?
p
Let v = 0.3 + -0.8. Let z = 1391 + -1394. Is z <= v?
True
Let q = 25181/19 - 1325. Which is bigger: 1 or q?
1
Let x = -7369/15 - -491. Let a be (-9)/(-21) + (-50)/(-14). Let f = a + -5. Is x <= f?
False
Let o = -1/354 + -747/118. Suppose 4*n = 5*k + 39, -k - 4*n = -5*k - 32. Is o != k?
True
Let o(m) = -15 + 21 - 8 - 2*m**2 - m**3 - 6. Let g be o(-3). Let p = 539/10 + -54. Is p greater than or equal to g?
False
Let w(c) = -c**3 - 3*c**2 + 3*c - 5. Suppose 5*g - 85 = -5*m, -m + 3*m = 8. Let p = -17 + g. Let u be w(p). Is u < 1/25?
True
Let c(s) = -6*s**2 - 104*s - 35. Let p be c(-17). Which is greater: -2/655 or p?
-2/655
Let g(h) = 24*h - 18. Let b be g(7). Which is smaller: b or 151?
b
Let s(m) = -30*m + 179. Let t be s(6). Is t at least 7/68?
False
Let i(a) = -2*a**2 - 3*a - 3. Let y be i(-4). Let p = -15233 + 15210. Is p less than or equal to y?
True
Let t be -31*4/(-8)*(1 - -1). Suppose -21*d + t*d + 150 = 0. Which is bigger: d or -14?
-14
Suppose 8*j - 28 = -396. Let q be ((-1)/j)/(3/9). Which is bigger: -1 or q?
q
Let y = -153 + 757/5. Let h = 34.01 - 0.01. Let b = 34 - h. Which is greater: b or y?
b
Let m = 2072 + -6331/3. Let v be (964/18)/((-92)/66). Let p = v - m. Which is smaller: -1 or p?
-1
Let o be (-5)/4 - -2 - (-34105)/52. Let j = -657 + o. Which is greater: j or 0?
0
Let y = 1.1 + -0.1. Let a = 26.8 + -28.16. Let j = -1.1 - a. Which is greater: j or y?
y
Let i be ((-1)/(-2) - 2)/((-7)/4*2). Let h = -1 + 0. Let c = h - -2. Does i = c?
False
Let x = -259 - -290.76. Let n = -0.76 + x. Let p = -28 + n. Is 1 greater than p?
False
Let p = 8/51 + -292/561. Let b be 2/8 - (-196)/(-16). Let f(s) = s**3 + 14*s**2 + 24*s - 1. Let c be f(b). Is p bigger than c?
True
Let s = 56 - 56. Suppose -4*y - 3 = k, s = -3*y - 5*k - 3 - 12. Is y at most as big as 1/5?
True
Suppose u = -3*r + 16, 0*r - r = u - 6. Let c be (-21)/(-27)*(-104)/2184. Is c < u?
True
Let t = -13267 + 119519/9. Is t equal to 13?
False
Suppose 0 = -2*j + 7*j + 3*u + 12, 3*j + u = -4. Is 1/55 not equal to j?
True
Let b(n) = -n**3 - 6*n**2 + 3*n - 8. Let o be b(-7). Suppose -5*v + 15*i = o*i - 420, -5*v + 447 = -4*i. Is 86 bigger than v?
False
Let w(s) = -11*s + 103. Let q be w(27). Is q > -193?
False
Let i be 41 - 6/(-18)*(1 - -2). Is 42 > i?
False
Let g = 185 - 31. Is g at most as big as 154?
True
Let v = 0.04 + 0.76. Let q = -9262.7 - -9263. Which is bigger: v or q?
v
Let w = 232 + -447/2. Let n = -112 - -122. Which is smaller: w or n?
w
Let p = 13.037 + -0.037. Let t = p + -14. Is -2/9 less than or equal to t?
False
Let t be 465/25 + (-8)/(-20). Is 24 at least t?
True
Let s(w) = -w**3 - 6*w**2 + 10*w + 12. Let v be s(-8). Let r = -64 + v. Which is smaller: -25/6 or r?
-25/6
Let z = -5/74 + 257/518. Suppose -4*l + 2*v - 7 = 3, 0 = 5*l - v + 5. Suppose l = g - a - 6, 0*g - 4*a - 25 = -5*g. Which is bigger: z or g?
g
Let z be (-4 + 55*2)/2. Let o = 10 - z. Is o greater than or equal to -43?
True
Let y = -48.9 + 54. Let s = -0.5 + y. Which is bigger: s or -2/5?
s
Let v(u) = -u**3 + 7*u**2 - 5*u - 4. Let p be v(6). Suppose -4*f - 3*g + 8 = g, 3*f + p*g - 7 = 0. Suppose -f*b - 7 = 5. Do -7 and b have different values?
True
Let p = -74/7 - -317/28. Suppose 3*w + 14 = j, -j + 0 = w + 2. Is j bigger than p?
True
Let n be 6/(-12) - 17/2. Let y(b) = -b**3 - 10*b**2 - 8*b + 13. Let m be y(n). Suppose v + 1 = 4*v - m*z, 0 = 2*v - 5*z - 3. Which is smaller: 0 or v?
v
Suppose -4*v = -j - 2*j - 25, -5*v + 5 = 5*j. Let c = j - -11. Suppose -5*z - c = -z. Is z > 0?
False
Let m = -14 - -13.7. Let n = 42 - 41.9. Which is smaller: m or n?
m
Suppose 2*d = -3*q + 7 + 32, -2*d = 5*q - 41. Let s be (-12)/d*(-3)/(-15). Which is greater: s or -13?
s
Suppose 3*p - 5 = 2*p. Suppose -11*x - 112 = -39*x. Suppose 1 = -p*o - l, -x*l - 5 = -4*o - 1. Is o > -3/22?
True
Let l(c) = -c**2 - 16*c - 17. Let u be l(-15). Let p be u/6 + 2/1. Which is smaller: p or 3?
p
Let d be (-12 + 0)/(-8 + 6) + -1. Suppose 2*t = 6*s - s + 58, 10 = s + d*t. Is -8 at most as big as s?
False
Suppose -6*o - 2*b - 8 = 2, -o - 2*b - 5 = 0. Let a be (-10)/(-5) + (-42)/10. Which is bigger: o or a?
o
Let h = 3305 + -1403. Let c = 24702/13 - h. Which is smaller: -2 or c?
-2
Let i = 25878167 - 93135522439/3599. Let t = i + -8/61. Which is greater: 1 or t?
1
Let h = 5474 - 273691/50. Are 0 and h equal?
False
Suppose -z + 0*z = 0. Let o be (18/27)/(4/6). Let n be (2 - 1) + (3/6 - o). Is n <= z?
False
Let g(t) = t**2 - 1. Let b(c) = -4*c**2 - 10*c + 11. Let l(d) = b(d) + 3*g(d). Let m be l(-12). Is m < -31/2?
True
Let m = 306 - 308. Is -2 < m?
False
Let g be (-5 - (-4 - 1))*-1 + -1. Which is greater: -6 or g?
g
Let h = -0.11 + 0.09. Let y = 0.02 + h. Which is greater: y or -1/5?
y
Let h = 37/176 - 3/11. Let x = -6.7 - -6.7. Which is greater: x or h?
x
Let v = -2 - -2. Suppose 2*y + 4*i = 122, -2*y + 41 = i - 72. Let z be (-2)/5 + 37/y. Does z = v?
False
Let t = -462278191/329186055 - -4/707927. Let g = t + 2/465. Is g > -1?
False
Let w be 1*(-2)/9*-3. Let q = 36 + -37.1. Let z = -1.05 - q. Which is smaller: w or z?
z
Let g = -57 + 149. Is g smaller than 92?
False
Let y be (1141/489)/(57/18 + -3). Let o be 2/((8/34)/2). Is o at most as big as y?
False
Let w be 2/(-6) + (-19)/(-3). Let b be -8 - 5/(-25)*-5. Let p(x) = -x**2 - 9*x + 7. Let y be p(b). Which is smaller: w or y?
w
Let t be (88/10)/(-1 + 7/5). Suppose 5*s = -142 + t. Which is smaller: s or -25?
-25
Suppose -5*t + 4 = -11. Let a(q) = -q + t + 6 - 2. Let w be a(7). Which is smaller: -1/3 or w?
-1/3
Let v = -11 - -11.4. Let n = v - 2. Is -1/2 equal to n?
False
Suppose 0 = -o - 3 + 4. Let w = o - 2. Let m = 16347/70 + -1168/5. Does m = w?
False
Suppose -553 = k + 324. Which is bigger: -876 or k?
-876
Let z = 196 - 187. Are z and 0 unequal?
True
Let x = -60 + 59. Let h be ((-1)/5)/((-8)/(-10)). Is x smaller than h?
True
Let p = 67 - 66.991. Let g = -0.091 - p. Is g >= 25?
False
Let n = -953 + 954. Which is greater: -37 or n?
n
Suppose -4*o + 9 = -3*d, 4*d = -0*o - 5*o + 19. Suppose -s + 4 = o*s. Suppose 10 = -2*w + 7*w. Is w less than s?
False
Suppose -o - 2*w = 2, 4*w = 1 - 17. Let l be (-28)/1 - 6/o. Are l and -29 non-equal?
False
Let n(w) = -w**3 - w + 10. Let m be n(0). Let t be m/55 - 18/(-22). Which is smaller: t or -13/6?
-13/6
Let a = 62.1 - 34.1. Does a = -0.07?
False
Let x be (-7)/((-28)/24) - 3. Suppose 10 = x*h + 2*v, h - 16 = -3*h - 4*v. Are h and 2 unequal?
False
Let a = 19/24 + -1/8. Which is greater: a or 1/77?
a
Let b(l) = -3*l**2 - l**3 - 3 - 3*l**3 + 4*l + 5*l**3. Suppose -32 = 4*a - 40. Let y be b(a). Is 10/9 <= y?
False
Suppose -3*k + 4*n - 4 = -1, -2*k - 2 = -4*n. Which is bigger: k or -2/517?
-2/517
Let t = 2.97 + 0.03. Let u = t - -74. Which is smaller: u or -1?
-1
Let m = -2185.8 - -2189. Is 27 less than or equal to m?
False
Let o(r) = -2*r - 2. Let b be o(3). Let t be (-68)/(-20) + 3/5. Suppose -f - 2*f - t*k = 36, 1 = f - 3*k. Is b bigger than f?
False
Suppose 0 = -4*i - 3*r - 34 - 2, -4*r + 52 = -3*i. Suppose -55 - 21 = 60*n + 16*n. Is n not equal to i?
True
Let u be ((-270)/21)/((-72)/(-336)). Is u at most as big as -0.3?
True
Suppose 23*z = -z + 384. Is z at least as big as 19?
False
Let b = -3 + 2. Let j be (-37)/21 + b/(-3). Is -2 less than j?
True
Let x = 2.6 - 2.56. Let i = -0.04 + 0.14. Which is smaller: i or x?
x
Let d(k) = k**2 - k + 4. Let q be d(0). Suppose 7*m = q*m + 6. Suppose -4*i - 4*g - 4 = -0*g, -3*i + g + 13 = 0. Are m and i unequal?
True
Let m = -201 + 200. Is m > 265?
False
Let z(t) = 37*t - 85. Let a be z(-7). Which is greater: -345 or a?
a
Let m = 404 + -408. Which is smaller: -85/27 or m?
m
Let s be (-33)/7*(-101)/(-9)*3. Let w = s - -158. Which is bigger: 1/5 or w?
1/5
Let a = 43 - -70. Let k = 37 - a. Let o be k/70 + (-44)/(-55). Is o greater than 1?
False
Suppose -751*k = -762*k. Which is bigger: 4/101 or k?
4/101
Suppose 3*l = 27 + 288. Let v be 252/l*(-2 + 52/21). Let a = 4/35 + -82/105. Which is greater: v or a?
v
Let c = -39 - -49. Suppose c*t + 65 = -45. Which is smaller: t or -21/2?
t
Let r(n) be the third 