bigger: q or w?
w
Let i = -1.377 + 1.19. Let d = i - 2.113. Which is smaller: -1/10 or d?
d
Suppose 71670 = -360*h - 9330. Is h at most as big as -234?
False
Let n be (-1183)/21 - 8/12. Let i = -5123/3 + 1768. Let w = 61 - i. Is n > w?
False
Let t be ((-90)/(-204) - 1/2)/(6/12). Which is bigger: t or 14?
14
Let r be ((108/90)/3)/((-4622)/10). Which is smaller: r or 0?
r
Let h(s) = -4*s - 102. Let m be h(-21). Suppose -25 = -6*l - 115. Is m < l?
True
Let y be 31/248*2/883. Which is bigger: y or 0?
y
Let p be 58/10 - 3*(-1)/6. Suppose -b + 3*y - 9 = 0, -11*b = -8*b + y - 23. Do p and b have different values?
True
Let t be 2/(-11) + (-175)/(-55). Let l be -3 + 3 + t/34. Let s = -1390 - -1390. Which is smaller: s or l?
s
Let f = -96289 - -230323273/2392. Do f and 1 have different values?
True
Let y = -6806 + 6809. Which is bigger: -305/7 or y?
y
Let d = -510 + 318. Let p be (-144)/d*(-20)/(-3). Let i = 13 + -5. Is p equal to i?
False
Let u = 27505 + -36311. Is -17611/2 greater than or equal to u?
True
Let q be (1 - 39/15)/(184/(-920)). Let f(y) = y + 1. Let t(w) = -9*w - 17. Let c(u) = 3*f(u) + t(u). Let k be c(q). Is k at least as big as -61?
False
Let v = 6854 + -6854. Which is greater: -1/516 or v?
v
Suppose 85*l - 19*l = -78*l - 145584. Is -1011 smaller than l?
False
Suppose -154*t + u - 3368 = -151*t, t = -u - 1116. Which is smaller: -1123 or t?
-1123
Suppose 1009 + 2561 = 2*k. Is k < 1784?
False
Let i = -142.32 - -142. Is i not equal to -21?
True
Suppose -168 = 3*q + 3*v, 86*q + 144 = 83*q + 5*v. Which is smaller: -484/9 or q?
-484/9
Let h(l) be the third derivative of -l**5/30 - 13*l**4/24 - 7*l**3/2 + 2*l**2. Let c be h(-7). Let g = -44 - c. Which is bigger: -15 or g?
-15
Let g = 3879 - -1472. Which is smaller: 5353 or g?
g
Let f = -0.042 + -1.008. Let p = f - -0.42. Let m = -0.73 - p. Which is smaller: m or -2/15?
-2/15
Let x = -5.046 - -0.046. Let f = 178.006 + -179.9. Let g = -0.106 + f. Which is smaller: x or g?
x
Let q = -1.605 + 0.065. Let m = -74.54 - q. Let c = m - -51. Is 0 smaller than c?
False
Let i = -272 + -9. Let t = i + 283. Suppose w - 7 = 2*w. Are t and w nonequal?
True
Let r = -27.187 + 27.137. Which is bigger: r or 11?
11
Let w = 30.1 + 0.9. Let f = w - 30.5. Is f < -0.5?
False
Let d = 137 + -141. Let c be (-2)/d - (-1)/(-2). Let s = 215/8388 - -1/466. Which is greater: s or c?
s
Let h be ((-29667)/(-99))/((-1)/3). Which is greater: 2 or h?
2
Suppose -4*d = k + 14, -2*d = -2*k - d - 1. Let m be (-3 - k)/(0 + -1). Are m and -1/259 equal?
False
Let a(n) = n**2 - 22*n + 80. Let r be a(18). Let h be 1/4 + (-1815)/44 + r. Does h = -29?
False
Let b = -28.8 - -120.6. Let p = b - 89. Which is bigger: -2 or p?
p
Let m = -974/5 + 597042/3065. Suppose 5*l - 6*l + 4 = 0, -6 = -2*w - l. Are m and w nonequal?
True
Let g = 1575 + -4861/3. Let p(n) = 4*n + 38. Let o be p(-21). Which is greater: o or g?
g
Let u be -3 - (-11772)/56 - 30/(-105). Which is bigger: 209 or u?
209
Let w = -211 + 119. Let x = w + 91.998. Is x at most 0.1?
True
Let q = 218392 - 2405860/11. Is -323 at least as big as q?
False
Let b be 2 + -1 - (-4 + 1) - -7540. Let o = b + -52708/7. Is 13 smaller than o?
True
Let k = 533 + -423. Which is bigger: 113 or k?
113
Let y be (-10)/18 + (-1)/3. Let f be ((-234)/504)/(36/(-64)). Let d = y - f. Which is smaller: d or -1?
d
Suppose 3*p - 5*w = -115, 3*p - 2*w + 37 = 2*p. Let v be (-6)/p*-1*27/(-6). Let q = 0.19 - -0.21. Which is greater: v or q?
v
Let s(y) be the third derivative of y**5/60 - 7*y**4/24 + 11*y**3/3 + 76*y**2. Let t be s(4). Is 4 < t?
True
Let i be 181/2*2*(-2)/2. Which is greater: -179 or i?
-179
Let f = -0.38 + -0.15. Let c = f + 29.53. Let u = 25 - c. Does 2/3 = u?
False
Let j be 100/(-28) + (-312)/728. Which is bigger: j or -437?
j
Let l = 924 + 1126. Let d = -42301789/50 + 1696173/2. Let b = l - d. Which is smaller: b or -2?
-2
Let v = 48 - 28. Suppose v*u = 2*u - 18. Is 1/131 <= u?
False
Let m(q) = -q**2 + 6*q - 7. Let w be (-47)/7 + (-10)/35 - 2. Let h be w/6*-2 + 3 + -2. Let r be m(h). Is r > 4/9?
True
Suppose -6590*w = -6605*w - 120. Which is bigger: 40 or w?
40
Let r = 103.3217 + 0.6783. Is 42 < r?
True
Let k be 18/2685*(-14 - 564/(-36)). Suppose -5*d + z - 5 = 0, 4*d + 2*z = -2*z - 4. Let o = d + 0. Which is greater: k or o?
k
Suppose 7*j - 44 = -15*j. Suppose p - 3*i = -11, 22*p = 26*p + 2*i + j. Is p > -26/23?
False
Suppose -5*p + 8*p = 0. Suppose p = -10*f - 0*f. Which is smaller: f or 16/3?
f
Let o = 10 - 8. Suppose b = -o*b + 234. Let j = b + -59. Are j and 1 equal?
False
Suppose 0 = 10*l - 7*l - u + 6676, -l + 5*u = 2230. Do l and -2223 have the same value?
False
Let w = 6921 - 4253. Which is smaller: w or 2667?
2667
Let v = -8882 + 8883. Suppose -s + u = -45 - 10, 2*s - 96 = -5*u. Do v and s have different values?
True
Let t be (240/(-10))/(-12) + (-4 - -5). Let g(k) = 17*k - 5. Let o be g(2). Is o equal to t?
False
Let o = 1/262 + -193/16244. Let z be 570/(-7125) - (-92)/(-100). Which is bigger: z or o?
o
Let n be (19 + 1428/(-85))/(3/210). Which is smaller: n or 136?
136
Suppose 7370 = -65*m + 11814 + 13951. Which is bigger: m or 290?
290
Let y = -45557/520 + -207/104. Which is bigger: y or -91?
y
Let i(t) = -t**3 + 109*t**2 - 119*t + 1189. Let k be i(108). Let u = 4 - 6. Let f be 0/(-2 + (u - -2)). Is f less than or equal to k?
True
Suppose -5*x + 2*x = -12. Suppose x*y - 11*j + 7 = -16*j, 5*j = -2*y - 11. Suppose -3*b + y*m - 6 = 0, m = -2*b - b + 3. Is -4/3 at least as big as b?
False
Let u be (-50 - 1) + -3*(-56)/42. Which is greater: u or -24?
-24
Let s = -7762 + 7830. Suppose -2*j + 132 = -4*a, 5*j + 2*a - 344 = -2*a. Is s > j?
False
Let j = -0.083 - -0.02. Let v = j - -0.043. Which is greater: -8 or v?
v
Suppose 4*r + 719 - 275 = -4*v, -4*v - 5*r - 442 = 0. Are v and -97 equal?
False
Let y = 722 + -20940/29. Let c(q) = -q - 13. Let u be c(-13). Is u less than or equal to y?
False
Suppose 0 = 10*w + 11*w - 0*w. Is -6/7 at most as big as w?
True
Let z = 7889 + -7689. Is 21 <= z?
True
Suppose 13*z + 961 = -846. Let t = z - -138. Is t less than 7?
True
Let u = 1035 - 993.1. Let c = 6.8 - 48.8. Let t = c + u. Is 2/23 greater than or equal to t?
True
Suppose 16*i - 68 = 76. Suppose 7*p = i*p - 356. Which is smaller: p or 176?
176
Let f = 33 + -30. Let m(o) = -7*o + 2*o**f - 3*o**3 - 11 + 5 + 2*o**3 + 3*o**2. Let x be m(-4). Which is bigger: 7 or x?
7
Suppose -708*h - 2442 = -697*h. Which is bigger: h or 1/3?
1/3
Let h be 10/6 + -5 + (-21255)/(-6201). Is -39 at most h?
True
Let g(r) = -r - 341. Let t be g(-71). Which is greater: 2 or t?
2
Let m(z) be the first derivative of -19*z**4/4 + z**3 - z**2 + z - 25. Let l be m(1). Is -88/5 at least as big as l?
False
Let c(l) = 21*l**3 - 4*l**2 + 5*l - 4. Let q be c(4). Let d be (q/40)/(6/15). Which is bigger: d or -2?
d
Let a(x) be the second derivative of x**5/20 + 5*x**4/4 + 5*x**3/2 + 9*x**2 + 26*x. Let g be a(-14). Suppose o + 6 = 2*q - 3, -4*q = g*o. Is q smaller than 3/7?
False
Let b = -353/14 - -145/7. Is -3 less than or equal to b?
False
Let f(m) = -2*m + 16. Let q be f(-7). Suppose 12 - q = 9*b. Let i be ((9/b)/(-1))/(10/(-20)). Which is greater: -29/3 or i?
i
Let w = -21.47 - -64.65. Let k = w - -0.82. Let f = -4879 - -4878. Which is smaller: f or k?
f
Let s = 1332 - 1543. Is -213 greater than or equal to s?
False
Let r = 182 - 14. Let x = r - 136. Is x greater than 0.2?
True
Let p = 4/4531 - -49681/181240. Which is bigger: -3/8 or p?
p
Let c be (-14)/1 - (-7727505)/552005. Is c smaller than 0?
True
Let k = -795 - -473. Let n be (-148)/k - 4/14. Let h(v) = 10*v**3 - 231*v**2 + 24*v - 22. Let l be h(23). Is l < n?
False
Let z be (-45)/(-96) + (-3)/9. Let i = z + 1/32. Which is smaller: i or -1?
-1
Let f = 1.6 - 1.58. Let c = f + -1.67. Let m = -0.35 + c. Are -2 and m non-equal?
False
Let y be ((-9)/(-4))/((-6)/(-32)). Let h be ((-24)/28)/((-1)/(-63)). Let f be (7*3/(-4))/(h/144). Which is smaller: y or f?
y
Suppose -o - 2*x - 25 = -3*x, 35 = -o + 3*x. Let t = o + 58/3. Let u = -186.01 + 185.9. Which is smaller: u or t?
t
Let i = 1329/35260 - 9/172. Let q(j) = 2*j**2 - 37*j - 105. Let f be q(21). Which is smaller: i or f?
i
Let i be -197 + (-20)/(-8) + -2. Let c = 199 + i. Is c >= 2?
True
Let r = 0.93 + 30.07. Let a = 15480/13 + -1191