 be o(4). Let l = -0.4717 - -0.5717. Is m greater than l?
False
Let x = -293.14 - -286. Let m = -0.14 - x. Let h = m + -7.2. Which is smaller: h or 12?
h
Suppose 4*m + n - 2*n = -2, 4*m = -2*n - 8. Let u be (-2)/17*(m - 0). Let f be 2/(-13) - 90/(-78). Is f > u?
True
Suppose -q + 4*y = 64, -35 = q - 5*y + 29. Let h = 8 - q. Let c be (158/(-6) + 2)/((-3122)/42 + 74). Do c and h have different values?
True
Let n = 8005 + -7967. Which is smaller: 14/15 or n?
14/15
Let r(f) = -f**2 + 14*f - 19. Let z be r(12). Suppose 256 = 5*g - 3*x, -g = -z*g - x + 215. Which is greater: 56 or g?
56
Let l = -223240/3303 + -70/367. Let w = -11046 + 11112. Let o = l + w. Which is greater: o or -2?
o
Suppose 12230 = 66*l - 5326. Which is smaller: l or 260?
260
Let p be 286812/2139 + (-4)/46. Which is bigger: p or 142?
142
Let f = 462 - 464. Let p be 2*f*(-18)/(-24) - -4. Which is greater: p or 2/447?
p
Suppose 2*t + 4*i = 3868, -t - 268*i = -270*i - 1910. Which is greater: 1918 or t?
t
Let s be 246/(-82) + (-4)/(-2)*3. Let f be s + ((-39)/14 - (-27)/(-63)). Which is greater: 0 or f?
0
Let h = -24060/9271 - -186/73. Let f = -1796/381 - h. Which is greater: -12 or f?
f
Let k(a) = -a**2 - 6*a + 17. Let s be k(-8). Let t = -119 - -14. Let c be (-1)/(t/(-2)*16/12). Is c at least as big as s?
False
Suppose -146390 = 149*v + 35865 + 102931. Which is greater: -1916 or v?
v
Suppose -5*l - 1 - 14 = 0. Let m(t) = -3*t**2 - t**3 + 0*t**2 + 20046*t - 20048*t - 4 + 2. Let x be m(l). Which is smaller: 6 or x?
x
Let y = -852 + 607. Let g = y + 377. Let p be (4/g)/(2/12). Which is greater: p or -2?
p
Let u = 6794.2661 - 0.2661. Which is bigger: u or -0.1?
u
Suppose 2*w - 9 - 1 = 0. Suppose -2*a - 17 = a + w*y, y = a + 3. Let u be (8/(-258))/(a*4/(-24)). Which is smaller: 1 or u?
u
Suppose -3931 = 33*w + 3329. Is -226 at least w?
False
Suppose 0 = -4*b + 3*i + i + 24, 10 = 3*b - i. Let m be (-334)/(-306) - (-228)/(-513). Which is greater: b or m?
b
Suppose -4*l - 8*a = -6*a - 4828, -3*l = 5*a - 3642. Which is bigger: l or 1/5?
l
Suppose 5*p + 15 = 0, -3*u + 3*p + p = -216. Suppose 15*i + u = -22. Let h be ((-2)/4)/(2 + i). Which is greater: h or -4?
h
Let p = -192 - -192. Suppose -4*k - 3*m + 19 - 4 = 0, -m + 5 = p. Is k bigger than 2/1201?
False
Suppose 15 = -a - v, -35 = 3*a + 2*a - 5*v. Let k = a - -13. Suppose 2*l - k = -4. Which is greater: l or 0.6?
0.6
Suppose 141*k = 155*k - 1414. Which is bigger: 102 or k?
102
Let g(s) = -13*s**3 - 2*s + 39 - 14 - 7*s**2 - 15. Let q be g(-5). Let l = q + -89673/61. Is l equal to -1?
False
Let m = 31521 + -31520.8. Which is smaller: m or -28?
-28
Let c = 7.72 - 4.19. Let f = c + -2.53. Which is greater: f or 20/7?
20/7
Let a(b) = 10*b - 33. Let j be a(12). Let y = -86 + j. Which is smaller: y or 5/17?
5/17
Let w(y) = -5*y**3 - 64*y**2 - 118*y - 141. Let h(t) = -t**3 - 16*t**2 - 30*t - 35. Let m(g) = 9*h(g) - 2*w(g). Let j be m(18). Which is greater: 4 or j?
4
Let q = -11 - 5. Suppose -2890 = 225*g + 353*g. Is q at most g?
True
Let j(v) = -7*v - 51. Let l be j(-19). Let a = l - 53. Suppose -s = 3 - a. Which is smaller: s or -2/5?
-2/5
Let w = -1822.7 - -1823. Do w and 69 have the same value?
False
Suppose 5*x + 0*x - 54 = 3*r, 2*r + 6 = 0. Let j = 4286/7525 - -2/1075. Let b = j + -15/14. Which is smaller: b or x?
b
Let m = -0.7 + -3.93. Let y = m + 4.53. Is -2.27 smaller than y?
True
Let f(c) = -8*c + 42. Suppose 30 = 19*z - 14*z. Let a be f(z). Which is bigger: a or -60/11?
-60/11
Suppose 3*q - 140 + 447 = 5*j, -67 = -j + 2*q. Are -2/17 and j unequal?
True
Let j(r) = -r + 5. Let f be j(4). Suppose 7*d + f = 8. Suppose -4*o - 18 = 3*l, -3*l - 11*o - 18 = -10*o. Which is greater: d or l?
d
Suppose 4*t - 7*t = -18. Let o be -1*(-268)/(-6)*t/4. Which is bigger: -66 or o?
-66
Let y = 1 - 1.2. Let j be (-122 + 125)*49/(-3). Which is bigger: y or j?
y
Let y = -17219 - -22588. Are y and 5369 non-equal?
False
Let j = 0.35 + -61.35. Let t = j + 21. Do t and 1 have different values?
True
Suppose -511*h - 261*h = -26*h - 3730. Let b(k) = 3*k - 5. Let o be b(5). Which is greater: h or o?
o
Let z be ((-269928)/33)/(-3) + (-29)/(5742/108). Is z at least 2727?
False
Let d be (-95)/(-90) + 21/(-378). Is d less than -26/1353?
False
Let l(t) = -19*t - 188. Let d be l(-10). Suppose d*p = 2*i + 38, -3*i + 70 = 5*p - 9. Is p equal to 12?
False
Let k(p) be the first derivative of p**6/120 + p**5/10 - p**3/3 - 3*p**2/2 + 1. Let y(i) be the second derivative of k(i). Let f be y(-6). Are -3/4 and f equal?
False
Let b be 35/10 - 9/3. Let k = 0.204 - 67.204. Let f = 72 + k. Is b < f?
True
Let i = -25.104 + 0.304. Let f = i + 30.8. Which is smaller: f or -3?
-3
Let a be (-31 + (-3724)/(-140))/(1/(-5)). Let w be (-20)/15*6/(-4). Suppose 46 = w*d - 0*d. Which is smaller: a or d?
a
Let b = 30 - 84. Let z be (18/(-21))/(5/315). Do z and b have the same value?
True
Suppose 33 = -3*p + 3*x, 11*p - 2*x - 26 = 15*p. Let z(d) = 5*d + 54. Let r be z(p). Let h be (-9)/6*(-16)/2. Which is smaller: h or r?
h
Let r be ((-9856)/55)/((-10)/25). Which is bigger: 0.2 or r?
r
Let n = 4439 + -4677. Which is bigger: -949/4 or n?
-949/4
Let f(p) = -4*p + 32. Let q be f(5). Suppose 2*x + x = -o + q, 0 = 5*o - 15. Suppose 0 = 7*i - x*i + 96. Is i > -22?
False
Let m = -790 - -21325/27. Let a(n) = -2*n**3 - 6*n**2 - 5*n - 14. Let z = 186 + -189. Let h be a(z). Is m at least as big as h?
False
Suppose 4*p - 5*i + 35 = 0, 0*p - 3*i = -5*p - 60. Suppose -47 = 12*f + 2*q + 71, 65 = 23*q - 18*q. Is p at least f?
False
Let i = 915/7 - 131. Let h be (-42)/4*56/(-42). Let u(w) = w - 17. Let z be u(h). Is z at most as big as i?
True
Let a be -8 + 8 + (1133 - 2). Let v be a/(-6)*(-1 - 4 - -7). Is -376 smaller than v?
False
Let l be -17 + 23 - (-4 - -9). Is l bigger than 18/247?
True
Let t = 4.441 + -6.441. Is 4/3 less than t?
False
Let u = -13.02 - 2.28. Let m = 15 + u. Let l = -127 - -633/5. Which is smaller: m or l?
l
Let o be (10 - 226048/22600)/((-12)/(-40)). Which is smaller: -1 or o?
-1
Let w(q) = q + 8 - 15*q**2 - q**3 - 13*q + 5 + 13. Let m be w(-14). Which is greater: -18 or m?
m
Let u = -1071.44 + 1071. Which is bigger: u or 28?
28
Suppose 106 = 4*q - 6*q. Let d = q + 264/5. Let w = 0.71 + -0.81. Which is greater: w or d?
w
Let r be ((-376)/(-7238))/(6/371). Which is bigger: r or 3?
r
Suppose 0 = -5*x + 20, 0 = -4*a - x - 3603 - 14009. Is a >= -4404?
True
Suppose -17 = 4*h + 10*p - 13*p, -5*h + 3*p = 19. Suppose 5*q + 165 = -120. Is q < h?
True
Let i = 229 - 187. Suppose 24 = -18*h + i. Which is bigger: h or 183?
183
Suppose 363*d = 102*d + 12006. Suppose -i = 3*i - 204. Is d at most i?
True
Let q = 314.738 + -315. Let g = q - -0.062. Which is smaller: -18 or g?
-18
Suppose 3*d = -2*b - 4059, d = 2*d + 5*b + 1353. Let h = -9427/7 - d. Suppose k + 5 = -5*p + 27, -4*k = -3*p + 27. Which is smaller: p or h?
p
Suppose -3*n - 3 = 3. Let g be n + 4 + 156/(-84). Is g greater than or equal to -3?
True
Let a be 2272/112*(-1288)/96. Is a bigger than -271?
False
Let c = 8/641 - -1087/272425. Is c less than 0?
False
Let g = 3547 + -3194. Which is smaller: g or 355?
g
Let b = -23660 - -1443488/61. Which is greater: b or 4?
4
Let q = -8256 + 8257. Which is smaller: q or -10/1283?
-10/1283
Let q = 277 + -689/2. Is q > -67?
False
Let k = 381408 + -5374801533/14092. Is 0 at least k?
False
Suppose 0 = q - 0*q - 24. Suppose 13 = 2*u - 3*n, -3*n - q = -u + 2*n. Let l be (0 - u*(-39)/(-12)) + -3. Is l less than 2/5?
True
Suppose 2*z - 340 = -5*n, 10*n = 12*n + 2*z - 142. Is n at least 5/2?
True
Let l(y) = -y**2 - 7*y - 5. Let r be l(-6). Let x be r - 1 - 0 - -11. Let c = 24329 + -24318. Is c < x?
False
Suppose 14*w - 11 + 5 = -6. Do w and 5/536 have the same value?
False
Let d be (-16 - -12) + 92/26. Let i = 2.226 + -0.016. Let l = i + -0.21. Which is smaller: d or l?
d
Let b(u) = 38*u + 148. Let y be b(-13). Which is smaller: -351 or y?
-351
Let h(p) = 2*p**3 + 2*p**2 + p + 1112. Let k be h(0). Is k less than 1112?
False
Let i be 21/105*25*80. Is i not equal to 7/5?
True
Let n = -66477657/1481 - -44887. Is -1 equal to n?
False
Let u = 20 + -15. Suppose -2*f = -w - 30, -3*w = 2*w - u*f + 125. Let o = 339 - 360. Is w >= o?
True
Let r be (-25)/18*(-1)/(-5) - -3. Is r smaller than 3?
True
Let u(s) = s**2 + 5*s + 3