ich is bigger: w or t?
w
Let d = -5361 + -9139. Let n = 101112/7 + d. Which is smaller: -55 or n?
n
Let o = -1 - -6. Let d be 9/6*(4 - 6). Let c be (2 - 7 - (d + -1))*1. Which is bigger: o or c?
o
Let v(b) = b**3 - 23*b**2 - 62*b + 102. Let n = -312 + 337. Let o be v(n). Are o and -397/2 nonequal?
True
Suppose -5*j = -0*j - p - 7, -3*j + 15 = 3*p. Let a(u) = 2*u**2 - u + 4. Let v be a(j). Let r be ((-1)/(v/(-12)))/((-6)/15). Which is smaller: r or -18/11?
r
Suppose -4*h + 4 = 4*x - 0, 0 = 3*x - 2*h - 28. Suppose -x*q - 344 - 664 = 0. Let m be 20/q + 3/(-18). Which is bigger: m or -2/13?
-2/13
Let n = 0.6 - 0.614. Let i = -5137 - -5142. Which is smaller: i or n?
n
Let m(i) = -7*i + 56. Let d be m(4). Let a(y) = y**3 - 26*y**2 - 50*y - 79. Let u be a(d). Which is bigger: u or 85?
u
Let j(h) = 10*h - 63. Let w(o) = 5*o - 32. Let g(v) = -3*j(v) + 5*w(v). Let c be g(7). Let s be ((-6)/(-2))/(3*c/4). Is -9/4 less than s?
True
Let m = -0.249 + -3.781. Let d = 3.1 + m. Is d less than or equal to -1?
False
Let c(k) = -9*k + 70. Let p be c(22). Let d = p - -2943/23. Which is smaller: d or -1?
-1
Let v = 36867 + -700464/19. Suppose 2*d - 4*f = d + 21, 0 = 2*d - 2*f - 12. Which is bigger: d or v?
d
Let p(q) = q**3 + 8*q**2 - 20*q + 3. Let f(j) = -j**2 - 2*j + 5. Let a be f(-5). Let u be p(a). Which is bigger: 4 or u?
4
Let p(l) = -13*l - 9. Let j(x) = -7*x - 5. Let m(z) = 11*j(z) - 6*p(z). Let f be m(2). Let k = -1.688 - -1.488. Are f and k equal?
False
Suppose -4*j = -4 + 36. Let d be ((-20)/(-5))/j + -3. Is -4 bigger than d?
False
Let k = 132/311 + 268684/5909. Is 47 smaller than k?
False
Suppose x + 63 = 4*t - 26, 3*x + 57 = 2*t. Let y = t - 38. Let b = 62 + y. Do 46 and b have the same value?
False
Suppose 1043*b - 15858 = 1037*b. Is 1 < b?
True
Let n be (3/(2 - -1)*0)/(108 + -105). Which is greater: n or 7/263?
7/263
Let b = -158 + 244. Let i(g) = -2*g**3 - 10*g**2 + 15*g - 3. Let a be i(-7). Which is greater: a or b?
a
Let p = -19.32 + 19. Let n = -166 + 173.4. Let g = n + -7.3. Is g greater than or equal to p?
True
Let o be -54 + 45 - (-4 + (-3075)/612). Which is greater: o or 0?
o
Let o be -9*9/(54/(-40)). Let u be (o/450)/((-54)/5). Which is smaller: 1 or u?
u
Let g(n) = 39*n**3 + 44*n**2 + 12*n + 47. Let l be g(-4). Which is smaller: -1797 or l?
-1797
Let t = -465.788 + 465.9. Which is smaller: -18 or t?
-18
Suppose 3*h = 9*h - 13854. Suppose -2*g = h + 1059. Let w = -62314/37 - g. Which is bigger: w or 1?
1
Let h be 4/30 + (-1712730)/(-249525) + -7. Is h <= -1?
False
Let h = 3996/20005 + 1/4001. Is h at least -210.3?
True
Let i be (-1475)/2875 + ((-51)/15 - -1 - -3). Is i less than -3/101?
False
Let v = 14963.5 - 14963. Is -368/5 smaller than v?
True
Let v(j) be the second derivative of -j**5/20 - j**4/3 + 2*j**3/3 - 3*j**2/2 - j. Let i be v(-5). Let n = 3573/2840 - 33/568. Is i less than n?
False
Let v = -1062.491 - -1062. Let q = v + -0.509. Is -112 equal to q?
False
Suppose j = 3*h + 7, -h + 35 = -0*j - 5*j. Suppose -18*x - 7 = -17*x. Which is smaller: j or x?
j
Let q be -1 + 0 - (-684)/324. Let w = q - -4/9. Which is smaller: w or 1?
1
Let s = 2 + 10. Let m be (-4 - -2)*(-1 - (-30)/s). Which is smaller: m or 18?
m
Let f = 33694.879 + -33711. Let n = 4.66 + -4.539. Let l = n + f. Which is smaller: l or 1?
l
Let x(g) = 360*g + 3028. Let l be x(-21). Which is smaller: -4533 or l?
-4533
Suppose 114 = -s - 32. Let u = s + -107. Is u less than or equal to -253?
True
Let z = -4.3773 + -0.6227. Is z at least -1025?
True
Suppose -5*o = 2*m - 3*o - 22, -35 = -3*m - 2*o. Suppose 0 = -m*d + 10*d - 6. Let i be d/(-6) - (-5)/(525/(-110)). Is -2 < i?
True
Let l be (-3 - (0 + -3))*33/66. Let u = 1189817/179 + -6647. Which is greater: l or u?
u
Let b = -98.6 - -94. Let n be ((-2)/5)/((-12)/(-20)). Is n >= b?
True
Let v be -10 + (-728)/(-78) + (-10)/(-24). Which is bigger: v or -0.03245?
-0.03245
Suppose 4*n + 2*r = 186, 0 = -5*r - 14 + 29. Suppose 46*d = n*d + 117. Is -1 greater than d?
False
Let w = -5281 - -11522. Is 6244 greater than w?
True
Let s = -33 - -19. Suppose -5*v - 37 = 5*i - 12, -4*v = 2*i + 22. Let l be (0/s)/(-2 + 2 + i). Is -2/83 at least as big as l?
False
Let j be (7 - (-84084)/42036) + -9. Does j = 0?
False
Let i = -178 - -331. Let y = i - 163. Which is bigger: -11 or y?
y
Let b be 12/14*(0 + (-70)/(-15)). Let m be 1 + b - -292*13/52. Is m bigger than 536/7?
True
Let g be (154/(-84))/(-11) + 183/(-18). Is -485/48 at least g?
False
Let f be (1/9)/((-2)/(-172)). Suppose -53*s + 231 = -299. Which is smaller: f or s?
f
Let t be -4 - 0 - 76/(-2). Suppose t = r - 3*z, -5*z - 152 = -3*r - 6*z. Let w be 18/r*(-196)/(-210). Does 1 = w?
False
Suppose -28777*h = -28782*h - 5. Which is greater: h or -43/515?
-43/515
Let b be (1 - -1)*(0 + -1 + 453/2). Which is smaller: b or 454?
b
Let n = -408 - -402.59. Let q = 5 + n. Let x = 0.37 + q. Which is greater: 0.2 or x?
0.2
Suppose 18*h + 2*h = 2*h. Suppose h = -19*r + 12 + 7. Which is greater: r or 23/5?
23/5
Let a(i) = i**3 + 12*i**2 - 2*i - 20. Let q be a(-12). Suppose -3*g + 22 = -5*t - 2*g, 3*t = q*g - 20. Are -25 and t nonequal?
True
Suppose 0 = 4*z + 2*x + 4071 - 4031, 3*z + x = -26. Suppose -5*k - 7 = 23. Are k and z equal?
True
Let q = -4291381/810 - -5298. Does -1 = q?
False
Let u = 108.19 - 108.2. Which is smaller: u or 0.338?
u
Let v = 3 + -2.7. Let b = -0.67 + 0.17. Let x = v + b. Which is smaller: x or 2/5?
x
Suppose 0 = 310*i - 309*i - 5*k + 93, -3*k = 5*i + 297. Let q = -107 - -30. Let a = q + 15. Which is greater: a or i?
a
Let t be (-20)/9 + 1 - -1. Let c = -154.2 - -153.7. Are c and t non-equal?
True
Suppose -a - 684 = -c, 2*c - 1149 = -a + 225. Let z = c + -679. Is z greater than 9?
False
Let y be 40/6 - (-34)/(-51). Suppose 3*k + y*k - 135 = 0. Is 10 at most as big as k?
True
Let j = -0.9 - 2.9. Let c = j - -4.2. Let k = -404 - -404.01. Are k and c unequal?
True
Let k be -5 - 11/(33/1236). Let v be 1 - -4 - k/(-39). Is -5 greater than v?
True
Let g be ((-24)/110 + 44/(-242))*250. Is -2 at least g?
True
Let n = -28 - -30. Let a = 0.264 + 0.736. Which is smaller: a or n?
a
Let v be 3/(3/2) + 968/(-615). Let c = v + -12/41. Let i = -10 + 10. Which is greater: c or i?
c
Let m be 39/15 + -3 - 1787100/(-4625). Let j be (-18)/(-1 - 82/(-86)). Is m at least as big as j?
False
Let f = 287 - 260. Let k = 12 - f. Which is smaller: k or 1/2?
k
Let k = 2476 - 2475. Is 9.98 greater than k?
True
Suppose 74*v - 76*v = -5*i - 25, 0 = -4*i - 20. Let c be ((-3)/(-31))/((-2)/(-12)). Is v less than or equal to c?
True
Suppose 110*l - 200906 = 144*l. Is l at least as big as -5909?
True
Suppose -5*x - 2*m - 110 + 945 = 0, 0 = -x + 2*m + 179. Suppose -4*c + 5*y - 152 = 0, 4*c + c - y = -x. Is c < -32?
True
Suppose -2*g + 218 = 5*v + 720, 424 = -4*v + 4*g. Is v at least -104?
True
Let x be (142/7)/(9/63). Let i = x + -702/5. Which is bigger: 1 or i?
i
Let s be 2/14*805/26220. Is s at least as big as 1/4?
False
Let g be ((-3060)/(-70))/(24/(-231)). Which is smaller: g or -420?
g
Suppose 3*n - 4*y = 5, -4*n = -4*y - 5 - 3. Suppose 0 = n*u - u + 2. Let w = -349/3690 + -2/369. Is w less than u?
False
Let d be 32/(((-2)/15)/((-56)/70)). Suppose 0 = 52*o - 56*o - d. Let u(j) = -j**2 - 4*j + 13. Let y be u(6). Is o > y?
False
Suppose -7*s - 364 = 1092. Let l be s/(-30) + -2 + -4. Let j(b) = 3*b + 65. Let o be j(-21). Does o = l?
False
Let s = -76 - -76. Let l be 2 + s + 4686/(-2860). Let q = l - -1/26. Is 70 smaller than q?
False
Let k be (-49)/(-2)*5*72/5. Suppose -k = 34*r - 16*r. Is -97 at most as big as r?
False
Let p(t) = t**3 + 17*t**2 - 16*t + 4. Let k be p(-20). Which is smaller: k or -1749/2?
k
Let a = 16241549/94 - 346259/2. Suppose 0 = 4*h - 1141 - 247. Let j = h + a. Does j = 2/9?
False
Let x be 4505/5406 - 2/(-12). Is -75/256 > x?
False
Suppose 8*i + 22 + 58 = 0. Let g be -2 - 16/i*-4. Which is bigger: -8 or g?
-8
Let g be 8 + 0 - (-1 - (80/8)/(-10)). Let j = 451/2 + -219. Which is smaller: j or g?
j
Let z be ((-4)/28)/(32/560). Let x be (-132)/84*14/12. Let j = z - x. Which is bigger: -1 or j?
j
Suppose 3*o + 0*d - 5*d - 100 = 0, -4*d - 136 = -4*o. Let u be 7/(-6)*(-2500)/o. Which is bigger: u or 82?
u
Let x be (-125 - -21)/(-3 - (-5 - -4)). Let i be -1 - (2 + -1) - -54. Is x at most i?
True
Suppo