5. Let w be ((-1)/(-3))/(2/(-10)). Is d at most as big as w?
False
Let p(m) = -5*m**2 + 56*m + 334. Let w be p(-7). Which is smaller: w or 5?
w
Suppose 2*n - 6 = 5*t - t, t - 2 = 4*n. Let d(y) = 10*y. Let u be d(t). Let p = -14 - u. Which is smaller: p or 5?
5
Let u = -3116 - -3090.97. Let y = u + 0.03. Is 2 != y?
True
Let h be ((-2)/4)/((-52)/16 - -3). Suppose -2*i = -2*t, 3*i + 10 = -5*t + h. Are t and 3/25 nonequal?
True
Suppose 0 = -2*x + 5*u + 318, 10*x - 6*x + 3*u = 662. Which is smaller: x or 2?
2
Let p = 0 - 0. Suppose 3*s - 2 - 16 = p. Let i be (-6)/(-4)*20/s. Which is greater: i or 3?
i
Suppose 2*u + 1556 - 1452 = 0. Are -5 and u equal?
False
Let f = 124.9 - 125. Which is bigger: 1/303 or f?
1/303
Suppose -11*g + 7 = 359. Let n = g - -43. Which is smaller: n or 15?
n
Let b = 17 + -2. Suppose 3*m - 5*p - 25 = -3*p, -3*m - 3*p = -b. Let y be 2*-1 + (9 - m). Do -1/3 and y have the same value?
False
Let a(w) = -2*w**3 + w**2 - 2*w - 4. Let m(d) = -6*d + 51. Let j be m(8). Let p be a(j). Are -55 and p equal?
True
Suppose 0 = 4*g + 1 + 3. Suppose -3*h = -h + 102. Let r be ((-2)/15)/(h/(-15)). Is r > g?
True
Let u(t) = -t**3 + 13*t**2 - 12*t - 3. Let n(k) = k**2 - k - 1. Let c(r) = n(r) - u(r). Let i = 32 + -21. Let w be c(i). Is w < 2?
False
Let v = 23 + -55. Let q = v + 358/11. Suppose 1 = -3*a + 7. Is q smaller than a?
True
Let a be 10/(-85) - (-4628)/34. Which is smaller: 137 or a?
a
Let o(y) = y**3 - 10*y**2 - 2*y + 19. Let k be o(10). Is -8/35 smaller than k?
False
Let f be 12*((-57)/12 - -5). Which is smaller: f or -7?
-7
Suppose -4*b + i = -103, 2*b = 6*b - 5*i - 83. Suppose -4*m - b = 3*d + 58, -5*d + 93 = -4*m. Which is greater: m or -70/3?
m
Let x be (-8)/(-20) - (2028/20 + -6). Is -94 > x?
True
Let z = -0.97 - -7.77. Let t = -7.1 + z. Is -6/7 greater than or equal to t?
False
Let h = -203/5 + 42. Suppose i + 3*i - 12 = 0. Let g be 1 - i - (-14)/8. Is g at least as big as h?
False
Let o = -11.2 - -11.03. Is o >= 0.4?
False
Suppose 2*q - 7*q - 5 = 0. Let t = 9 + 8. Let l = t + -16.2. Which is bigger: q or l?
l
Suppose -47*k = -42*k + 2*d - 29, -5*k - d + 32 = 0. Is k > 58?
False
Let c be ((-4)/10)/((-3)/(-5)). Let n(y) = y - 1. Let x be n(-1). Let p be x/(-10) - (-4)/5. Which is smaller: c or p?
c
Suppose -29 - 21 = -5*s. Let h(o) = o + 8. Let f be h(9). Let r = -6 + f. Is s < r?
True
Let o = -62/9 + 313/45. Which is smaller: o or 0?
0
Let g(y) = -y + 1 - 2*y**3 - 2 - 2*y**3 - y**2 - 13*y**3. Let p be g(-1). Suppose -75 = -3*j - 2*j. Is j less than or equal to p?
True
Suppose -2 = 5*n - 3*n. Let q = -57 + 13. Let c = q + 397/9. Is n greater than c?
False
Let p(x) = -x**2 + 13*x - 14. Let i be p(13). Let b be 6/i - 260/(-35). Which is smaller: b or 6?
6
Let j = 4 + 9. Let a = -13.24 + j. Let p = a + -0.06. Which is greater: -1 or p?
p
Suppose 4*v - 1 - 15 = 0. Suppose -n + 3*j = 7, -v*j + 33 = 5*n + 11. Suppose r = -n*i - 5, -4*r - i + 16 = -5*i. Is 1/4 < r?
True
Let b(f) = 47*f + 90. Let m be b(-9). Let i be 6/21 + 4650/14. Let w = i + m. Which is bigger: w or -1?
w
Let n(o) = 2*o + 9 - o + o**2 + 7 - 27. Let i be n(-4). Let a = -2/11 + -28/209. Is i equal to a?
False
Suppose 2*s - 19 + 7 = 0. Suppose s*k - k = 5*l - 25, 2*l - 5*k = -5. Suppose 5*a - 5 = l*a. Which is bigger: -4/17 or a?
-4/17
Suppose -4*g - 3*x = 59, 0 = -4*g - 8*x + 11*x - 77. Let l = 0 - 6. Let c = -22 - l. Which is greater: g or c?
c
Let n = -4.72 - 19.58. Let i = -22.5 + -1.5. Let y = n - i. Is -2 < y?
True
Let n be (-2)/(-6) + 32/12 + -320. Let z be (-6)/30 + n/(-35). Which is greater: z or 8?
z
Let i = 4.239 + 0.041. Let a = -0.08 + i. Let h = a - 3. Is 0 >= h?
False
Let o(i) = i**2 + 11*i + 9. Let z(q) = -q**2 - 12*q - 9. Let w(m) = -5*o(m) - 4*z(m). Let a be w(-7). Let d = 22 + a. Which is greater: 12 or d?
d
Let p = -157.9 + 158.9. Let k be (2/(-6))/((-11)/(-30)). Which is bigger: p or k?
p
Let u be 182*(3 + -6 - (-7)/2). Let g be 6/28*u/78. Is 1/4 at least g?
True
Suppose -38 = -5*z - 8. Suppose 0 = -17*c + z*c + 11. Is -1/72 equal to c?
False
Suppose 3*a - 7*a - 24 = 0. Let b be (2/6)/(14/a). Which is smaller: b or 0?
b
Let z(n) = -8 - 15 - 5 + 2*n. Let k be z(13). Is -2 equal to k?
True
Suppose a + 3 = 4. Let m = -32 - -42. Which is smaller: a or m?
a
Let a = 94 + -87. Suppose -4*h = -4*o, 2*h + 12 = 3*o - 7*o. Let g be -9*(h - -3)*-1. Which is greater: g or a?
g
Let h be 0 - (1 - 0)*-7. Let w(t) be the third derivative of -t**6/120 + 2*t**5/15 - t**4/3 + 7*t**3/6 - 5*t**2. Let y be w(h). Which is smaller: 2 or y?
y
Suppose 4*f + 14 = 10. Which is greater: 16/45 or f?
16/45
Let k(r) = -6*r - 23. Let n be k(-8). Let x be 52/(4 + 0 - 2). Is n > x?
False
Let m(d) = -24*d + 126. Let g be m(7). Which is smaller: -128/3 or g?
-128/3
Suppose 888 = -h - 2*c + 7*c, -5*h - 5*c = 4440. Is -886 < h?
False
Let l be 14/7*(-45)/(-2). Suppose -c = -1 - 2. Let z be l/(-27) - (-2)/c. Is 0 bigger than z?
True
Let v = -4.65 + 4.9. Let g = -0.25 + v. Is 3/16 equal to g?
False
Let y = -6.857 - -6.9. Let k = 0.143 - y. Is 15 greater than k?
True
Suppose 5*s + 28 = 73. Suppose 4*a - s = 5*k, -6 + 1 = 5*k. Let t be -3 + a + (-2)/(-2). Which is smaller: -6/7 or t?
t
Suppose h - 3*n = 1 - 12, 0 = 4*h + 3*n - 31. Suppose -4*w - h + 12 = 0. Suppose -w*o = -o. Which is greater: 2/7 or o?
2/7
Let t be (2 - (-2 - 345))*(-7 + 9). Is t >= 0.1?
True
Let r be ((-300)/(-180))/(274/(-36)). Is 0 bigger than r?
True
Let p = 12.653 - -0.147. Let c = -13 + p. Let s = -0.3 - -1.3. Which is smaller: s or c?
c
Let p(b) = -9*b**2 + b + 5. Let w be 0 + 6*6/(-9). Let q(d) = -26*d**2 + 3*d + 14. Let j(v) = w*q(v) + 11*p(v). Let c be j(-1). Which is bigger: 3 or c?
c
Suppose 2*y = -3*y - 40. Let k = 7 - 17. Which is smaller: k or y?
k
Suppose -4*w + 8*r - 10*r = -78, -4*w = 3*r - 73. Which is smaller: w or 12?
12
Suppose 4*q = 2*q - 6. Let v = 25 + -17. Suppose -6*t = -v*t - 6. Is t greater than or equal to q?
True
Let x = 3 - 6. Let w(s) be the third derivative of -s**5/60 - s**4/3 - 19*s**3/6 - 32*s**2. Let m be w(-3). Is m less than x?
True
Let w(m) = 5*m**2 - 4*m - 5. Let y(n) = -6*n**2 + 4*n + 5. Let q(t) = 5*w(t) + 4*y(t). Let f be q(4). Let j be 8/(-3)*(-9)/(-6). Which is bigger: j or f?
j
Let y be 15/25 - 184/(-10). Suppose -3*i + 4 = y. Let d = i - -4. Which is bigger: -1/4 or d?
-1/4
Let g = 1600/27 - 237/4. Which is smaller: -1 or g?
-1
Suppose w = -10 + 14. Suppose -2*b = 4*o - 20, -5*b = -2*o - w - 22. Does b = 3?
False
Suppose 6*t - 3*t - 81 = 0. Suppose 2*o = -2*w + 6, -w + 2*o + 3*o = t. Let p(l) = -6*l**3 - l + 2. Let k be p(1). Is w equal to k?
False
Let x = 227 - -130. Which is smaller: x or 2/7?
2/7
Let w(u) = 10*u**3 + 2*u**2 - 18*u - 11. Let c(d) = 3*d**3 + d**2 - 6*d - 4. Let x(f) = 7*c(f) - 2*w(f). Let a be 26/(-7) - (-2)/(-7). Let l be x(a). Is l >= 3?
False
Suppose 4*q - 22 = -f, 2*f = -2*f - 4*q + 100. Let d be 52/((0 + -1)/(3/(-6))). Is d at most f?
True
Let g be 2/(-7) - 207/(-63). Suppose -g*c + 12 = 0, 2*c - 29 - 14 = 5*k. Let l(i) = i**3 - 7*i**2 + 6*i - 7. Let f be l(6). Are f and k equal?
True
Let c be (3/5*77/21)/(210/(-525)). Suppose q = -3*v - 5, -4*q - v - 29 + 9 = 0. Which is smaller: c or q?
c
Let s(p) = -3*p + 7. Suppose -n + 5*n + r + 22 = 0, 4*n + 2*r + 24 = 0. Let g be s(n). Are g and 21 non-equal?
True
Let j = -15 + 23. Let w = j + -11. Let d be (-4)/(-3)*w/10. Is d at least -1?
True
Suppose 0 = -2*l - 3 - 1. Let a = -403 - -425. Is l > a?
False
Let u(j) = 12*j - 2. Let s be u(-4). Let k = -50 - s. Which is greater: k or 1/20?
1/20
Suppose 4*u = 480 - 48. Let z be ((-1)/2)/((-3)/u). Suppose -2*p = -5*p - z. Which is smaller: p or -5?
p
Let u be 1 + -3*(-2)/3. Let d be u + -4 + 1 - 5. Suppose -13 = 5*j + 7. Is d not equal to j?
True
Let q = -0.3 + 1.3. Let a = 0.727 - 1.727. Let u = q + a. Which is smaller: u or -12?
-12
Let s(g) = g**2 - 2*g + 3. Let u be s(3). Is 6 greater than u?
False
Let h(d) = -73*d - 98. Let n be h(-5). Is n not equal to 265?
True
Let b = -5553/55 + 101. Suppose -4*m + 3*m + 1 = 0. Is b != m?
True
Let a be (-3)/20 - 182/(-104). Let c = 4 + -4.4. Is a equal to c?
False
Let v be 3/5 + (-23)/5. Let o be (38/(-4))/((-5)/(-2)). Which is smaller: v or o?
v
Let z = 15 + -6. Let g be z + -10 + (-6 - -1). Let q be -3*(-4)/48*g. Which is 