5. Let k = 2/949 - -13268/8541. Is k at most as big as b?
False
Suppose 2*u + 1 = 3. Let q be (-4)/(-220)*u*-80137. Let f = q - -1457. Is f < -2/3?
False
Suppose 5*m - 2*m - 12 = a, 4*m = 4*a + 24. Let f be 26/(-30) - (-14)/(-105). Let b be 1/(2 - m) - f. Is 6/13 at most as big as b?
False
Let h = -15.3 + 19. Let b = -2.7 + h. Is 29 <= b?
False
Let l be (-52)/(-10)*(-5)/11. Suppose 5*w + k + 250 = 237, -2*w = 5*k - 4. Which is greater: w or l?
l
Let t = -2288 - -2325. Which is smaller: 49 or t?
t
Suppose -10*x + 25*x = 1635. Is 0 at most as big as x?
True
Let m = -4/235 - -2188/18095. Is -1 at most as big as m?
True
Suppose 0 = -3*c + 4*o - 85, -4*c - o = 2*o + 155. Let d = 36 + c. Let i = 991/7 + -141. Which is bigger: d or i?
d
Let b(p) be the first derivative of 6*p**2 - 78*p + 28. Let m be b(5). Let g = -62 + 43. Is m <= g?
False
Suppose -a + 5 = -5*h, -4*a - 17 + 37 = -h. Which is smaller: h or -3/739?
-3/739
Let d be (-2)/17 + (3 - (-3120)/(-935)). Let u = -5 - -6. Is d smaller than u?
True
Let h(f) = -4*f. Let s be h(-2). Let j be (-1)/10*50/s. Let c = 10 - 10. Are j and c unequal?
True
Let s be 4/36*-3*-87. Suppose w + 3*g = -6 + 32, 3*g = 4*w - s. Suppose 6*x = 2*x + 40. Do x and w have the same value?
False
Let k be -4 - -3 - (1 - (394 - 4)). Is k bigger than 388?
False
Let y be 56/5*(-1)/2. Suppose 0 = -61*b - 359 + 54. Which is bigger: b or y?
b
Let u be 3 + (-4 - 0) + 6. Let o = 309 - 1829/6. Which is bigger: o or u?
u
Let g(w) = 2*w - 21. Let d be g(11). Which is bigger: d or 3/20?
d
Let z = -50.1 - -8.1. Let n = 41.9 + z. Is 2/13 bigger than n?
True
Let p be 8/((-10)/(-5)*-1). Let j be (0 + p/12)*12. Is j at least as big as -3?
False
Let o(n) = n**2 + 3*n - 8. Let r be o(-5). Let k be 52/(-20) - (0 + r). Is -5 smaller than k?
True
Let r = -1.3 + 0.3. Let i = 3.17 + -31.37. Let p = i + 28. Which is smaller: r or p?
r
Let i = 459 - 460. Is i greater than or equal to 3/38?
False
Let d = 24.29 + 0.71. Which is greater: 1 or d?
d
Let g be 236/(-976) + (2 - (-7)/(-4)). Is g greater than or equal to 1?
False
Suppose -3*f = -2*w + 61, -f - 2*w + 84 = -5*f. Let c = f + 22. Is c not equal to -1/27?
True
Let r = -267 + 266.99. Which is smaller: r or 3?
r
Suppose -3*p + 6 = -6. Suppose -p*o = -2*o + 46. Which is smaller: -1/3 or o?
o
Let u(y) = -7*y + 79. Let o be u(-35). Are o and 324 unequal?
False
Let d = 75/7 + -11. Let s be 4/(-6) + (-12)/9. Let r(o) = -o**3 - o**2 + 2*o + 3. Let h be r(s). Which is smaller: d or h?
d
Suppose -2*h - 101 = 2*p + 3*h, 3*p + 3*h + 138 = 0. Let n = 60 - 60.1. Is n greater than or equal to p?
True
Let t be (-1)/6 - (-3 - 68/(-24)). Which is bigger: t or 1/786?
1/786
Let j be -7 - (7 - 265/20). Is j equal to -70?
False
Suppose 2*z + 13 = z - 3*c, 4*z + c = 3. Let l(n) = 6*n**2 - n - 2. Let y be l(z). Which is greater: 1 or y?
y
Let o = -89.5 - -90.4. Which is greater: o or -3?
o
Suppose 5*w + 79*i - 74*i = -685, 0 = -3*i - 12. Which is greater: w or -126?
-126
Let l = -38 + 44. Let d be (-27)/l*12/(-9). Is d < 7?
True
Let y be 4/(-8)*(-5136)/(-15). Let d = 63 + -233. Let l = d - y. Which is bigger: l or 2?
2
Suppose -19 = 5*m - v, 4*m = -3*v - 19 - 0. Let p(n) = n + 3. Let d be p(m). Are -1 and d non-equal?
False
Let q be 3 + (3 + -3)/(-4). Let h be (13/195)/((-1)/q). Do h and 0.1 have the same value?
False
Let n(q) = -210*q**3 - 5*q**2 - 6*q - 1. Let k be n(-1). Which is bigger: 419/2 or k?
k
Suppose 0 = -6*x + x + 105. Suppose x*s + 10 = 26*s. Let c be (s - 7/2)/6. Is c equal to 11?
False
Let p = 887 - 1163. Is p smaller than -275?
True
Let z be 18/2 - (-5 + 9 - 5). Let c be (2/5)/(58/z). Which is smaller: c or -1?
-1
Suppose z - 42 = -4*x, 7*x = 3*x + 16. Are 36 and z equal?
False
Let a = -342/187 + 2/187. Which is greater: a or -3?
a
Let l = 1 + -4. Let j(v) = v - 1. Let x be j(l). Let r be x/(-5)*(-2)/20. Is -1 greater than or equal to r?
False
Suppose 5*i = 5*m - 905, -4*m + 93 = -i - 82. Does -185 = i?
False
Let x be (4 - -8)*1/14. Suppose -56 = -14*c - 42. Which is greater: c or x?
c
Let u(y) = 8*y + 10. Let c be u(-5). Let k = -34 + 10. Let j = k - c. Is 9 less than j?
False
Suppose 3*p - 5*n - 137 = 0, 8 = 4*n - 6*n. Is 46 <= p?
False
Suppose -q + 4*n = -32, -5*q + 3*n + 166 = -11. Let i be (-8)/(-6)*7/((-14)/q). Which is smaller: -23 or i?
i
Let w(p) = -p + 6. Let m(n) = 6*n + 35. Let k be m(-5). Let o be w(k). Is 2/247 at most as big as o?
True
Let h = -2 + 3. Let g = -500 - -3999/8. Which is smaller: h or g?
g
Suppose -4*m + 48 + 12 = 0. Let y be (-2)/m*(-12)/20. Let k be 5/3*(3 + 51/(-15) - 0). Do k and y have the same value?
False
Suppose -22 = 2*k - 0. Let c = -12 - k. Let u be (4 + -2 + c)/(-28). Is -1 bigger than u?
False
Suppose -6*u - 748 = -28*u. Which is smaller: 35 or u?
u
Let a be -1*(1 + -4 + -2423). Let c be (-2)/(-290)*a/(-14). Let o = 1/203 - c. Which is bigger: 2 or o?
2
Let w = 0.077 + 1.163. Let g = 1.4 - w. Let x = g - 5.16. Which is smaller: 0.1 or x?
x
Let b = 2 - 2. Let v = 0 + b. Let s = -24394/371 + 460/7. Is v greater than or equal to s?
True
Suppose 2*c = 2*g - 3540, -6*g + c + 5306 = -3*g. Suppose 2*n = 11*a - 16*a + 37, 0 = -2*n + 3*a + 29. Let x be (-6)/n - (-1079)/g. Which is greater: x or 1?
1
Suppose 4*a - 47 = -c, 0*c = 5*c + 4*a - 155. Suppose -c + 139 = -2*d. Let x be (-2)/d - 4/14. Which is smaller: x or -1?
-1
Let g = -368 - -320.8. Let u = g + 47. Let j be -2*1 + 24/10. Which is smaller: u or j?
u
Let h be 6*(10/(-4))/5. Let f be (81/72)/((-9)/6). Is h >= f?
False
Suppose -17*t + 96*t - 1975 = 0. Is t smaller than 33?
True
Suppose -175*d + 171*d + 88 = 0. Let w be ((-2)/9 - d/(-18))*1. Which is smaller: -11 or w?
-11
Let z be (-944)/18 - (-20)/45. Is -52 less than or equal to z?
True
Suppose -2*t + t = -4. Suppose s = i - 5, -t*s = -3*s. Let f = -12/287 - 10/41. Are i and f equal?
False
Let v = -0.332 - -0.032. Let j = 1.5 - 10.5. Let r = -5 - j. Which is smaller: r or v?
v
Let u = 88 + -13. Let k = u + -68. Is k <= 7?
True
Let c(h) = 4*h**3 + 3*h**2 + h + 2. Let a be c(-2). Let v = -9 - a. Let u(k) = 3*k**2 - 177*k - 746. Let l be u(-4). Which is smaller: v or l?
l
Let o(z) = 38*z**2 + z - 2. Let a be o(1). Which is greater: 256/7 or a?
a
Let m = 9.81 - 10.81. Which is bigger: m or 3/668?
3/668
Let q = -113 + 112. Are q and 5 equal?
False
Let b(g) = 2*g**2 - g**2 + 11*g + 5 - 3*g + 12. Let j be b(-7). Are j and 10 unequal?
False
Suppose 0 = -7*d + 4*d - 30. Let z = d + -14. Let j be (z/36)/(20/54). Which is smaller: j or -2?
-2
Let j = -5 + 8. Suppose -3*q + 2*r + 3 = 0, -q + j*r + 6 = 4*q. Let l = q - 4. Which is bigger: 1 or l?
1
Let u be 46/(-13)*(9/6 - 1). Do -2 and u have the same value?
False
Let w = 131 + -127. Suppose -185 = w*c - x, -c + 0*x - 44 = 2*x. Are -45 and c non-equal?
True
Let w be (((-108)/(-5))/3)/(11/5). Suppose 5*k = 2*i - 0*i - 29, 4*i + 4*k + 12 = 0. Do i and w have the same value?
False
Let g(q) = -5*q - 57. Let p be g(-6). Suppose -3*j - w - 72 = 0, -5*j + 3*w = -0*w + 134. Which is bigger: p or j?
j
Let p be (-4)/14 + 8/28. Let a be 2/4 - (-25)/40. Which is smaller: a or p?
p
Let t = 3 + -1. Let a = -3 + t. Let p = -1040.78 - -1041. Which is greater: p or a?
p
Suppose -3*o - 17 = -4*m, -o + 0*o + 1 = 2*m. Let c(q) = 16*q**3 - 2*q. Let n be c(m). Let w = -1243/10 + n. Is 1 at least w?
True
Let o(b) = b**3 - 20*b**2 - 21*b + 2. Let t be o(21). Let v = 27 + -169/7. Are t and v equal?
False
Let n = -30964598234005315 + 6273892071200270465666/202615. Let a = n + -4179901/49. Let d = -2/827 + a. Is d equal to -2?
False
Suppose 5*z - 4*l = 27, z = 4*l + 1 - 2. Let p be 2/(((-28)/18)/(-7)). Which is smaller: z or p?
z
Let j be -3 + (42/(-12) - -8). Is j at least -0.08?
True
Let b = -0.7 + 0.2. Suppose 0 = 3*s + s - 40. Let u(h) = h - 12. Let j be u(s). Which is greater: j or b?
b
Let p(f) = -5*f**3 + 4*f**2 - 3*f - 5. Let b be p(-3). Suppose k = -4*z + b, 4*z - 77 = k + 92. Which is smaller: z or 42?
42
Let t be (-207)/(-6) - (-12)/8. Suppose -3*i = 2*y - t, i + y = 5*i - 59. Let u be 28/(-3)*72/(-48). Is u greater than or equal to i?
True
Let d(g) = -g**3 - 4*g**2 - 2*g + 4. Let j be d(-3). Let n be (1 + (-3 - -1))*j. Which is smaller: 2/207 or n?
n
Let z be (20/1190)/((-1)/(-282)). Let w = 34/7 - z. Is w at most as big as -1?
Fals