and m have the same value?
False
Let t(j) = -j**3 - 53*j**2 + 6*j + 226. Let d be t(-53). Let f = 120 - 213. Which is smaller: d or f?
f
Suppose 2*c - 3*b - 36 = 0, c - 3*c - 2*b + 26 = 0. Let s = -15 + 20. Suppose -s*m - 64 = -4*q - m, -4*q = m - 64. Which is smaller: q or c?
c
Let c = 1107/110 - -17/165. Let n = 72/7 - c. Is 1 less than or equal to n?
False
Let g(k) = -k**2 - 4*k + 5. Let q be g(-5). Let p(u) be the first derivative of -6*u**2 + 60*u + 139. Let l be p(5). Is l at least as big as q?
True
Let w(c) = -17*c**3 - 2*c**2 - c + 18. Let y be w(3). Let r = -22 - y. Is r != 440?
False
Suppose -50 = -2*u - 2*g, -g - 49 = -3*u + 6. Let p be u*-1*(-3197)/(-92). Is -694 > p?
True
Let v = -4382 + 4380. Is v less than or equal to -1/170?
True
Suppose 0 = 4*j + 8, 2*j = -5*l - 50 - 19. Which is smaller: 85 or l?
l
Let k be (2/(-4))/(1/(-2)). Suppose 1421*w + 229 = 1442*w - 44. Which is greater: w or k?
w
Suppose 5*q = -6*u + 3*u + 41, 0 = 3*u - 3*q - 9. Let n(h) be the first derivative of -2*h**3/3 + 13*h**2/2 - 3*h + 4. Let w be n(u). Does -10 = w?
True
Let m(w) = -2*w**3 + 37*w**2 + 21*w - 19. Let x = -115 + 134. Let u be m(x). Let z be (-2)/(-4) + ((-1420)/(-16))/5. Which is greater: z or u?
u
Let r = 108.922 - -0.178. Let s = r - 109. Let p = 33 - 19. Which is smaller: s or p?
s
Let b = 24040 - 24040.22. Which is smaller: b or 480?
b
Let b = -128 + 212. Suppose 36*o - 32*o - b = 0. Is o less than 20?
False
Let w = -178.893 - -179. Let r = w - 130.107. Which is smaller: 2/3 or r?
r
Let k(m) = -m**3 + 9*m**2 - m - 5. Let i be k(9). Let j = -415 + 399. Is j at most i?
True
Let h(t) = 9*t - 124. Let f be h(14). Let x be (-85)/(-5) + -9 - f. Which is bigger: 4 or x?
x
Let y be 60/(-110) + ((-343)/77 - -4). Which is smaller: -3/1051 or y?
y
Let r be (14/(-2))/(-226 - -12 - 11). Is r at most as big as -1?
False
Let k = 1925.08 + -2055. Let f = -3.08 + k. Which is bigger: -2/3 or f?
-2/3
Let z = 24 + -4. Suppose 4*x - 4*b = -0*b + 24, -3*b - z = -5*x. Let g = 67/2419 + 7/59. Does x = g?
False
Suppose 4*z = -4*u + 32, 3 + 13 = 3*u - 5*z. Suppose -c = 3*b, 0 = u*b - 5*b - 3*c. Let m be (0 - (-1 - 0))*-1. Are m and b nonequal?
True
Let o = 22111/18 + -11348/9. Which is smaller: -3/32 or o?
o
Let d = 174 + -28. Let r = d + -147. Which is bigger: -8/7 or r?
r
Suppose -31*r = -29*r - 18. Let c = r + -71. Is c less than or equal to -62?
True
Let i be ((-321)/(-6) - -5)*(1100/12 + 3). Is 5537 at most as big as i?
True
Let a(r) be the second derivative of 7*r**3/3 - 43*r**2 + 3*r + 3. Let h be a(7). Is 12 at most h?
True
Let i = -0.54 + 0.09. Let o = i + 0.7. Let f = o - 0.13. Which is smaller: 0 or f?
0
Let c = 42.57 - 42.67. Are -241/10 and c unequal?
True
Let d(w) = w**2 - 6*w - 16. Let a be d(11). Let c be (-2)/(-13) - (-3)/(a/50). Suppose -4*m = -c*b - 12, -3*m + 4 + 1 = -b. Which is smaller: -2/11 or m?
-2/11
Let p(h) = -5*h. Let m be p(-8). Let o = -40 + m. Let c be -3 + (2 - 3/(-3 + o)). Is c bigger than -3/28?
True
Let k = 538 - 538. Does k = -2.707?
False
Suppose 2*c - 3 = -4*i + 5, 3*c - 2*i = 4. Suppose c = -x + 5, 2*x = 3*f - 60. Let w be (11/2)/(4/16). Is f smaller than w?
False
Let a = -1 - -8. Let v be a + -3 + (-96)/14. Suppose 26 - 10 = -4*z. Which is greater: z or v?
v
Let x be (-9 + -9)*4/(-12). Let j be -1*(-6 + 3 + x). Which is greater: 1/5 or j?
1/5
Let l = 49/200 - 279539/2200. Let h = l + 127. Is 0.5 less than or equal to h?
False
Let h(a) = -a**3 + 6*a**2 - 5*a - 1. Let m be h(5). Let p be (21 - 16)*(2 + m). Suppose p*y + 80 = -3*y. Which is smaller: y or -6?
y
Let m(z) = -18*z - 13. Let i be m(-1). Let y(o) = 19*o - 99. Let u be y(i). Which is bigger: -0.11 or u?
-0.11
Let o be -3 + 9 + -3 - -2. Suppose 2*g + 47 + 34 = -u, 2*g + 61 = -o*u. Do -0.2 and g have the same value?
False
Let i be (-24)/42 - (-25)/7. Suppose 2*f + i*u = -279, 2*u - 4*u = -f - 122. Is f less than or equal to -132?
True
Let b(y) = -y**3 - 16*y**2 + 11 + 14 - 8 + 31*y + 5*y. Let m be b(-18). Which is bigger: 20 or m?
20
Let l = -3225 - -3226. Which is greater: l or -5.1?
l
Let h = -0.2 - -0.2. Let x be 13/3 - 20/60. Let a(c) = 5*c - 18. Let l be a(x). Which is bigger: l or h?
l
Let t(x) = -x**2 + 23*x + 82. Let p be t(26). Suppose -20 = -4*z + 2*z. Let s be (-3 - -1)/p*z/27. Which is smaller: -1 or s?
-1
Let v(z) = 184*z - 687. Let c be v(45). Which is smaller: c or 7594?
c
Suppose 49*r - 3949 - 851 = -11*r. Which is greater: r or 59?
r
Let o(w) = -2*w**2 + 4*w + 8. Let u be o(4). Let f(l) = -l**2 - 9*l - 8. Let s be f(u). Are 1/125 and s non-equal?
True
Let z = 7099/11 + -647. Let u be (6/8)/(13 + 1590/(-120)). Is u smaller than z?
True
Let g(a) = a**3 - 55*a**2 - 39*a - 9. Let h be g(56). Let w = 844 - h. Which is smaller: -101 or w?
-101
Let r = 3 + 431. Let j = -436 + r. Let a = 3.5 + -1.8. Is j < a?
True
Let z = 53990 + -54532.62. Let w = z + 548. Let u = w - -0.62. Is u < -3/4?
False
Suppose 5*q - q - 35 = 3*o, 5*o + 25 = 0. Suppose -2*x - q*h - 7 = 6, 0 = -3*x + h - 11. Let a = 0.29 + -0.19. Which is smaller: a or x?
x
Let s = 17 - 0. Suppose 4 = -15*n + s*n. Let r = n + -11. Is r >= -10?
True
Suppose -80 = 5*b - 125. Suppose -4*i - 4*w + 7 = -w, -2*i + w - b = 0. Does 3 = i?
False
Let y = 535/12 - 27283/612. Is 1 equal to y?
False
Let q = 149 + 31. Let o be 2 - 19/((-171)/q). Is -0.2 >= o?
False
Let q = -4279 - -4278.5. Is -7 greater than q?
False
Let m be 650397/(-92895) + 28/4. Which is greater: -1 or m?
m
Let m be (-3)/(9/(-54)*-3). Let i be 772/m - (30/9 + -3). Which is smaller: i or -130?
-130
Let c be ((-9)/15)/(170/(-300)). Let m(a) = -18*a**2 - 7*a + 2. Let u be m(1). Let v = u - -24. Which is smaller: v or c?
v
Let l = -52128 + 52082. Let k(h) = 2*h - 49*h + 0*h. Let a be k(1). Which is smaller: a or l?
a
Let x(i) = 3*i**3 + 7*i**2 - 3. Let q be 4/6*30/(-13 - -3). Let v be x(q). Are -4/49 and v unequal?
True
Let r = -26/83 - -3787/166. Suppose -11*t = -16*t + 30. Suppose -5*n = t - 121. Which is bigger: n or r?
n
Let l = 445 - 307. Let h = l + -136. Which is smaller: h or 28/19?
28/19
Let s be 18/(-66)*((-5)/(-3) + -7). Is s at least as big as 1/6?
True
Let q(u) = -u**3 - 16*u**2 + 15*u - 30. Let l be q(-17). Let s be (l + -4)*1/(-2). Are s and -3/163 non-equal?
True
Let z(q) = -3*q**2 - 175*q - 2352. Let b be z(-21). Is b > -2/6717?
True
Suppose 2*l - 5*w + 8073 = 0, l - 13*w + 4036 = -11*w. Let m = -503893896/29 - -17379686. Let x = m + l. Which is bigger: x or -1?
x
Let i be (-46)/(-2) - 1/((-1)/1). Suppose -3*n - 108 = i. Let f(y) = -53*y + 115. Let d be f(3). Is n <= d?
True
Suppose -17 = 32*h - 49. Is 170/223 != h?
True
Let m = 182 + -180. Let a be ((-9)/m + -1)*(-198)/55. Is a smaller than 20?
True
Let j = 6709.121 + -6706. Let q = j + -0.021. Let b = 3 - q. Is b >= -2/9?
True
Suppose 2*w = -3*q - 757, 5*q - q = 12. Let h = 249 + w. Is h equal to -132?
False
Let w(v) = -3*v - 1 - v**2 - 10*v + 16*v. Let u be w(3). Let c = 1235/2 + -389021/630. Which is bigger: c or u?
c
Let p(k) = 56*k - 32. Let j be p(-3). Let i = 138 + j. Is 1 >= i?
True
Let g(y) be the first derivative of 22 - 1/3*y**3 - 4*y + 0*y**2 - 1/4*y**4. Let a be g(-2). Which is smaller: a or 1/30?
a
Let b = 0.45 + -0.01. Let h = -0.065 + 0.485. Let z = b - h. Which is smaller: z or 0.1?
z
Let w = 21684.6 + -21685. Which is smaller: w or 4801?
w
Let o be ((-15)/(-10))/(2 - 225/114). Let r = -71 + o. Let j(t) = -4*t - 4. Let d be j(3). Which is bigger: d or r?
r
Let l = 10377230/26197 + -6734/17. Which is smaller: l or 1?
l
Let z = -1187 + 428. Let v = z + 749. Is -0.02 at most v?
False
Let t be -2 + 1072 + (-198)/11. Which is bigger: 1055 or t?
1055
Let k be ((-15)/1040*2)/((-1)/(-3342)). Let p = k + 1254/13. Is -4 bigger than p?
False
Suppose 2552 = -10*d - 31*d - 1384. Which is greater: 32 or d?
32
Let c = -3220 - -10273/3. Which is smaller: 203 or c?
203
Suppose -18*o + 52280 = 43*o - 11648. Which is greater: 1051 or o?
1051
Let b be (21/6 - 3)*0. Let f be 2*(-16)/5856*24. Which is smaller: f or b?
f
Let v = 0 + 1. Let n = 97 - 97.06. Let g = 48.94 - n. Which is smaller: g or v?
v
Suppose -70*s = -39*s - 4774. Let v = -175 + s. Is v greater than -0.1?
False
Let d(f) = -f**3 + 8*f**2 + 63*f + 27. Let o be d(13). Is o <= -1/2934?
False
Let s(b) = 23*b + 84. Let x be