e -5483 = -112*v + 20277. Is v at least 229?
True
Let g(h) = h**2 + 13*h - 216. Suppose -23*u = -136 - 94. Let r be g(u). Is r >= 8?
True
Let q be ((-26)/(-1872)*-6)/(14/176*2). Is q < -2?
False
Let w = -360 - -400. Is 41 > w?
True
Let h be 2 - -197 - (-101 + 80). Which is bigger: 3063/14 or h?
h
Let l = -51133 + 1636421/32. Which is smaller: 5 or l?
5
Let w = 1207 - 1208.379. Let z = w - 59.321. Which is greater: z or -2/3?
-2/3
Suppose v + 4*r - 4 = 0, 4*v + r = -0*r + 91. Let f = 24 - v. Let o(j) = 5*j - 28. Let a be o(f). Is -27 > a?
True
Let w(v) = 8*v - 7. Let i(g) = -23*g + 18. Let f(a) = 4*i(a) + 11*w(a). Let b be f(-5). Is 128/9 bigger than b?
False
Let p be 17/(7/(-13468)*13). Are p and -2519 equal?
False
Let s be ((-2)/4)/(((-748)/(-9328))/(-17)). Is s smaller than 96?
False
Suppose 2*u - 2*i = 8, 0 = i + 3 + 1. Let o = 12669728 + -988172249/78. Let z = o - 853. Which is greater: u or z?
z
Let x = 14726 - 8764. Is x at most 5961?
False
Let l be (-78)/(-74) + 980/(-18130). Are -3/6970 and l non-equal?
True
Let t = 1.6 - 15.6. Let p = 6262 + -6270. Which is greater: p or t?
p
Let i(z) = -2*z**2 + 55*z - 33. Let g = -4 - -59. Suppose g - 1 = 2*d. Let y be i(d). Is -4/9 bigger than y?
True
Let i(b) = 4*b**2 - 39*b + 17. Let m be i(9). Which is greater: m or -16?
m
Let h(x) = -2*x**3 + 2*x**2 + x + 1. Let i be h(2). Let c be (-4)/(-3) - (-1840)/(-345). Which is greater: c or i?
c
Let g = 84 + -82. Suppose 5 = -g*r + 13, 4*s + r = 32. Suppose 4*w + 6 = 5*b, 8*w - s*w - 2*b = 0. Which is smaller: w or -5?
-5
Let o = 9.411 + 1.589. Which is smaller: -277 or o?
-277
Suppose -16*l - 4*x = -12*l - 5184, 4*l - 5*x - 5166 = 0. Which is greater: 1293 or l?
l
Suppose -4*v - p + 17 = 0, 2*p + 14 = 4*v - 12. Suppose -2*y + v*l + 27 = 2*y, 6 = -y - 3*l. Let q be (-50)/7 + y + 4. Which is bigger: -0.5 or q?
q
Let m(h) = h**3 + 9*h**2 + 9*h + 6. Let v be m(-8). Let w be 4/v + 20/22. Let o = 387 - 388. Which is bigger: w or o?
o
Let l = 55/27 + -4879/1971. Is 1 less than or equal to l?
False
Let g(x) = -x - 51. Let c be g(-10). Let f = -50 - c. Which is greater: 1.1 or f?
1.1
Let h = -4392/13 - -4440/13. Which is smaller: 3 or h?
3
Let v = 2 + 2. Suppose v*x = 12, 5*z + 3 = -4*x + 10. Which is smaller: z or 1/55?
z
Let d = -113 + 60. Let f = -59 - d. Let v = -17 - -15. Which is smaller: f or v?
f
Let n be (-18)/(-54)*(-3465)/3 - (-42)/6. Is n != -4920/13?
True
Suppose 0 = o + 4 - 0. Let z be (-28)/(-2)*3/(12/2). Let j be (2/(-4))/(z/(98/(-7))). Is j less than or equal to o?
False
Let u(y) be the first derivative of -y**4/2 + y**3 - y**2/2 + 2. Let t be u(2). Let x(n) = -n**2 + 24*n + 139. Let g be x(29). Is t >= g?
True
Let v = -0.2 - 6.8. Let g = v - -8. Let c = 0.00316 + 5.99684. Which is greater: c or g?
c
Suppose -3*m - 28 = -10*m. Suppose 2*a = -4 + m. Let y be 21/(-8) - (-4 - -1). Which is bigger: a or y?
y
Suppose -a + 60 = a. Let f(t) = 34*t + t**2 - 31*t + 6 - 4 - a*t**3. Let l be f(-1). Is 1 greater than l?
False
Suppose -5*i - 33 = -3*f, -5*i - 788 = 3*f - 761. Which is greater: f or -5/3228?
f
Suppose 3*b - 88 = 2*p, 5*b - 104 = -2*p + 32. Let q = b + -26. Suppose -4*r = q*r + 84. Does -25/2 = r?
False
Let q = 21569/5 + -4278. Is 35 less than or equal to q?
True
Let a = -209 + 215. Let t be 24/54*a/(-12). Do -20/11 and t have the same value?
False
Let w(n) = -n**2 + 6*n - 5. Let y be w(2). Suppose -5*t - y*u = 3, 2*t - u = u - 14. Let b be -1*t/6*76. Which is smaller: b or -1?
-1
Let z be -411*((-132)/36 - -3). Which is bigger: -4/21 or z?
z
Let x be ((-3)/425 + 0)*(-153)/(-459). Is x bigger than -1?
True
Suppose -1230 - 114 = -7*v. Let t = v + -118. Which is bigger: 73 or t?
t
Let x = -2 + 1.69. Let d = x + 47.31. Which is smaller: d or -2/3?
-2/3
Let o be (-105)/(-2) - (-98)/196. Suppose o*l = 66*l. Let q be (-1 - 4/37) + 1. Is l bigger than q?
True
Let l = 20 - 21.1. Let y = l - 2.9. Let z = -3 - y. Is 0.01 greater than or equal to z?
False
Let b(q) = q**2 - 57*q + 545. Let x be b(12). Let z = 1 + 1. Suppose 0 = 3*f + 4 + z. Which is greater: f or x?
x
Let r = -0.02 - -0.06. Let p = 0.01382 + -3.01382. Is r bigger than p?
True
Suppose 5*i - 1 = 2*v, -3*v + 0*i + 9 = 3*i. Suppose v*g + 4*d - 8 = -d, -3*d + 11 = -5*g. Let m = 2425 - 264323/109. Is g < m?
True
Suppose -2*m - 5*j = -8, 4*m - 12 = m + 4*j. Let u be 0/(-1 + 16/m). Which is bigger: -9/13 or u?
u
Let i be 2/4*6/3. Let f be 4/(-18) + 1280/576. Suppose -5*y + m = -3, y - f*m = -0*m + 6. Are y and i unequal?
True
Let w(h) = 11*h**2 + 48*h + 22. Let j be w(-3). Do j and -105 have the same value?
False
Suppose -3*b - 12858 = -3*c, 3*b = 122*c - 127*c - 12794. Is -4278 bigger than b?
False
Let m = -51 - -66. Let k be (-14 + m)/(-1 - 27/16). Let d = -381/215 - k. Which is greater: d or 0?
0
Let r = -137 + 136.43. Let v = -18.43 + r. Let z = -19 - v. Which is smaller: -6/5 or z?
-6/5
Suppose c - 4*v = -5017, -2*v = 36 - 22. Which is greater: c or -5046?
c
Let t be 22/(-8)*(0 - -8 - 12). Suppose 1266 - 5776 = -t*p. Suppose -p = 9*u - 68. Are -38 and u equal?
True
Let g(k) = k**3 + 42*k**2 + 157*k - 267. Let s be g(-39). Which is smaller: s or -1829?
-1829
Let i be ((2 - -4)*47)/(96/6). Are 19 and i unequal?
True
Suppose -7155 = -3*i - 2*u, -5*i + 5*u = -6185 - 5740. Suppose 0 = -5*k + 10, 4*y - 2*k = 2171 + i. Let m be 350/y + (4/(-3))/4. Which is bigger: 0 or m?
0
Let k = 240 - 235. Suppose -4*d - 2*i - 87 = -k*d, 3*d - 273 = 3*i. Which is smaller: d or 97?
d
Suppose 2*d - 14 = -5*g - 38, g - 2*d - 12 = 0. Are g and 1/1268 non-equal?
True
Suppose -6*g - 4*g + g + 4140 = 0. Which is smaller: 455 or g?
455
Let o be 11 - 9/((-9)/46). Is 990/17 > o?
True
Let t(p) = -p**2 + 152*p + 6992. Let a be t(-37). Let b = -24.588 - -0.488. Which is bigger: b or a?
a
Let l be (((-6)/16)/1)/((-426)/(-568)). Are -131 and l nonequal?
True
Let b = 3 + 1. Let i be (-1 - 0)/((-1)/217). Suppose n = i - 209. Which is greater: n or b?
n
Let h(y) = -11*y**3 - 111*y**2 - 22*y - 117. Let k be h(-10). Let f be (-10)/(-4)*(-11)/(-10). Is f less than or equal to k?
True
Let w(r) = 22 + 11*r + 18*r**2 - 11*r**2 - 8*r**2. Let n be w(12). Suppose -17 - 3 = -n*j. Is j <= 8/5?
False
Suppose 23 = -5*f + 213. Suppose -5*p - p = -48. Suppose 2*n - 4*o = p, -5*n - o = -f + 7. Which is smaller: 7 or n?
n
Let i = 111.1 - 130.94. Let j = -19.9 - i. Which is smaller: 0.02 or j?
j
Let m = 11.94111 - -0.05889. Let o = -0.08 + 0. Is m < o?
False
Suppose 2*t + 8 = 3*m, 0 = -10*m + 6*m + t + 9. Suppose j - 3*j = m*j. Let w be (-93)/30 - (-1 - (3 - j)). Is 1 >= w?
True
Suppose -127*h = -106*h - 567. Which is smaller: h or 22?
22
Let b(x) be the first derivative of -x**2 - 28*x - 1. Let n be (-1)/((-6)/(-28))*(-2394)/(-931). Let y be b(n). Which is smaller: -32/9 or y?
y
Let m = -1.45 - -758.45. Let k = m + -762. Is k <= -4?
True
Suppose 3*z - 290 = 4*t + 288, -4*z + 800 = 2*t. Let r = z - 205. Is -7 < r?
False
Let a(x) = 2264*x**3 - 15*x**2 + 57*x + 71. Let t be a(-1). Is -2260 not equal to t?
True
Let d = 1684 + -1747. Does d = -8?
False
Let p(c) = c**2 + 10*c - 16. Let l be p(-12). Suppose -9*g + 25 = -l*g. Let h = 16 - g. Do h and -8 have different values?
True
Suppose 55*y + 480 = 60*y. Suppose -92 = 4*n - y. Let m = 10.84 + -11. Which is greater: n or m?
n
Let s(u) = -1 - 3 - 8*u + u - u**2. Let l be s(-5). Let j be 0 - (-3 + (33/l - 2)). Which is smaller: 14 or j?
j
Suppose 0 = 4*n + 3*s + 15, 12 = -0*n - 3*n - 3*s. Suppose -7*o - 108 = 4. Which is bigger: n or o?
n
Suppose 24*r = 5*y + 29*r - 105, -73 = -3*y - 5*r. Suppose 5*m - 2706 = y*m. Are m and 0.1 non-equal?
True
Let g = 96331 - 96239. Suppose -3*h - 4*c + 110 = -2*h, 192 = 2*h + c. Which is smaller: h or g?
g
Let w = -19.14 + 15.2. Let p = w + 3.84. Do p and -1/10 have the same value?
True
Let i = 0.01 - -0.99. Let h(x) be the first derivative of -x**3/3 - 2*x**2 + 16*x + 43. Let b be h(-5). Is b greater than i?
True
Let s be (8/(-26))/(6/(-159)). Suppose 0 = -3*y - 3*r + 600 - 537, 3*y + 2*r - 49 = 0. Is s at least y?
True
Let s be 17/68 + 193/(-4). Let j be (-6)/s + 2169/(-17064). Is j greater than or equal to 0?
False
Let n(w) be the first derivative of 2*w**3/3 + 8*w**2 - 17*w - 6. Let c be n(-9). Let x = -990/7 - -32642/231. Which is smaller: x or c?
x
Let s be 