Let h be 24/n + 1272/30. Which is bigger: h or 44?
44
Suppose -h + 2 = 3*v, 0 = -6*v + v + 4*h + 26. Suppose -6*a + v*a + 40 = 4*t, 4*t = 4*a - 64. Is a bigger than 111/8?
False
Let l = 55.4 + -55.123. Let i = l - -1.923. Is 2/7 greater than i?
False
Suppose 8*v - 1398 = 6*v - 2*c, -5*c - 35 = 0. Is v > 690?
True
Let p(c) = c**2 + 17*c - 10. Suppose 5*f + 56 = 2*j + 2*j, 4*f = 3*j - 45. Let x be p(f). Let z be (-562)/x + -2 - 24/56. Which is greater: z or 5?
z
Let b = -3667/55 + 332/5. Let t(j) = 5*j + 10 - 3*j - 5*j. Let n be t(3). Is b <= n?
True
Let i = -7 - -6.7. Let d = 121.0004919 + -0.0004919. Which is smaller: d or i?
i
Let n = -42/793 + 28741/78507. Which is greater: -1 or n?
n
Let l = -434 - -526. Let c = -89 + l. Is -0.007 greater than or equal to c?
False
Let c = -134 + 110. Let m be (c/(-644))/((-45)/(-210)). Is 1 > m?
True
Suppose -3*g = 3*w - 192, 3*g + 338 = 8*g - 4*w. Let a be 6 - (0 - (-3)/(-3)). Let o(p) = -p**2 + 18*p - 10. Let b be o(a). Which is smaller: b or g?
g
Let h = -11 + 131. Let n be (-10)/h*-4 - 32/(-3). Is 72/7 less than n?
True
Let r = 223369/17 - 13135. Let y be ((-5)/((-30)/8))/(404/909). Is r greater than y?
True
Suppose s = -5, 2*m - 2*s - 24 - 184 = 0. Which is greater: m or 2?
m
Let g(w) = -139*w - 118*w + 291*w + 571 - 120. Let u be g(-21). Is u at least as big as -262?
False
Let y be 1 - (15 + -8 + 4 + 28241). Is -28251 at most y?
True
Let k(i) = 288*i - 243. Let x be k(-2). Is x greater than -818?
False
Let o = -6094 + 6094. Which is smaller: o or -4/3035?
-4/3035
Let k = 28967 - 28966.88. Which is bigger: k or -775?
k
Suppose 101 + 415 = -p. Let b = -513 - p. Suppose 0*j - 6 = 3*j. Are b and j equal?
False
Suppose -3*w - 7*y + 8*y = 0, -5*w + y = 0. Which is smaller: w or 119?
w
Let n be (-22*45/(-20) + -8)*2. Is 327/4 at most n?
True
Let x(b) = -14*b - 69. Let n(r) = 56*r + 275. Let g(d) = -2*n(d) - 9*x(d). Let a be g(-5). Which is bigger: -1/655 or a?
a
Let x = -25566 + 25569. Let r = -1.98 + 2. Let w = r - -0.28. Which is greater: x or w?
x
Let z be ((-2)/8)/(2 + (-4312)/2178). Which is smaller: -13 or z?
-13
Suppose 57 - 21 = -2*b. Let t = -16 - b. Let k be (-32)/8 - (t - 2). Is k less than -2/49?
True
Let i = 5357 - 5358. Which is smaller: i or 198?
i
Let c = 46/33 - 5/3. Let s be -1*(0 + 3 + (-60)/(-3)). Let p(b) = b**3 + 22*b**2 - 24*b - 22. Let f be p(s). Is f at least as big as c?
True
Suppose 7*w - 15*w = 0. Suppose w = 28*h + 7*h - 18165. Is h at least as big as 519?
True
Let a be 73050/(-8594) + 4 - (-342)/76. Do a and 1 have the same value?
False
Let k = 36833/3 - 12276. Which is bigger: k or -111?
k
Let p be ((-30)/297)/((-18)/(-51)*(-25)/(-225)). Which is bigger: -2 or p?
-2
Let x = -26.4 - -245.4. Let f = -178 + x. Is f smaller than -1?
False
Let z be 6/(-4)*17/(12342/4312). Which is smaller: -9 or z?
-9
Let g = -4154.38 + 86.38. Which is smaller: -1 or g?
g
Suppose 60*m - 15463 = -40*m - 40363. Is m smaller than -251?
False
Suppose 30*b - 15659 = -3599. Let r = 408 - b. Which is smaller: r or 5?
5
Suppose 0 = -l - 5, 0*t - 48 = t + 5*l. Let f = -91 + t. Which is smaller: -564/5 or f?
f
Let p = 0.325 + -165.325. Let c = p - -164.9. Is c < 0?
True
Let r = -5.33 + 6.318. Let x = r + 0.012. Is x equal to 313?
False
Let l = 115 + -113. Suppose 2*u - 270 = 5*u. Let a be 176/u + l - (-30)/135. Is -1 smaller than a?
True
Let k = -36207 + 37249. Which is smaller: 1025 or k?
1025
Let w be 0 + 23 + 1 + 0. Let n be ((-3)/(-6))/((-2)/w). Let g = -81/7 + 7. Which is bigger: n or g?
g
Let p(q) = 6*q + 1420. Let u be p(-80). Is u less than or equal to 941?
True
Let h(j) = -3*j**2 - 35*j - 699. Let c be h(-21). Is 6 smaller than c?
False
Let j be (-68)/8 - (-36)/24. Let h be 1 + j + (-6)/(-1). Do 1/501 and h have the same value?
False
Let r be (-74)/(-6) + 2/3. Let g(c) = c - 7. Let h(f) = 5*f + 24. Let u(x) = -2*g(x) - h(x). Let w be u(-3). Which is smaller: r or w?
w
Let j(w) = w - 3. Suppose 0 = 4*p - 4*a - 88, 0*p - 49 = -2*p - 3*a. Let y = -20 + p. Let m be j(y). Is m at least -2/11?
True
Suppose -2*s = 2*s - 4*r + 312, 0 = 2*s - r + 157. Let y(d) = -d**3 + 4*d**2 + 8*d + 12. Let z be y(7). Is s > z?
False
Suppose 0 = 2*j + 2*z - 106, -4*j - z - 97 = -6*j. Let r be (-25)/j + -2 + 129/42. Is r bigger than -5?
True
Let j be (-9848)/608 - (1 + -5). Let n = j + 49/4. Let c(q) = -2*q**3 - q**2 + q + 1. Let d be c(-1). Which is smaller: d or n?
n
Let c = 0.76 + -32.76. Let j = 22 + c. Let u = -12 + j. Is -0.1 at most as big as u?
False
Suppose a = 2*i - 15, -4*i + 0*i - 120 = 4*a. Let b be 7 + 90/a + 3/5. Suppose -b*z + 8 = 4*t - 6*t, -2*t + z = 8. Which is bigger: -1 or t?
-1
Let a be 1/(-1*6/3906) + 9. Is -643 at least as big as a?
False
Let j = 0.4 + -34.4. Let a = j + 33. Let r be 31 + -27 + 99/(-24). Which is smaller: r or a?
a
Let o(z) = -12*z + 98. Let u be o(8). Let a be (1 - 1 - (-160)/(-64))*u. Are -32/5 and a non-equal?
True
Suppose 13*k + 15956 = -30116. Which is bigger: -3543 or k?
-3543
Let x = -155.9 - -156.2. Which is smaller: x or -5/366?
-5/366
Let o = -7 - -9. Suppose -3*d = 3*r - 6, 0 = 3*d - o*r + 4*r - 4. Is -83 at most as big as d?
True
Suppose -2*k - 2*d + 19558 = 0, 11*k - 9743 = 10*k + 5*d. Is 9774 greater than k?
True
Let f be 99/(-273) + 125/(-35) + 4. Let k = f - -71/91. Which is greater: -1 or k?
k
Let b = 300 - 142. Let s = -160 + b. Does -28 = s?
False
Let y = -19.1 - -15.1. Let i be (8 - (-2628)/(-330))*(-5)/1. Which is smaller: i or y?
y
Let k(v) = -24*v**2 - 363*v - 363. Let x be k(-1). Suppose -208 = -5*u + u. Suppose -j + u = -3*j. Which is greater: x or j?
x
Let c(d) = -8*d**2 + 16*d. Let n be c(2). Let o(x) = -x**2 - 5*x - 22. Let v be o(n). Is -68/3 greater than v?
False
Let a = 102 - 72. Suppose 8*k = 2*k - a. Let w be ((-18)/(-15) + k)*10/12. Is w less than -3?
True
Let x = 14736 + -15331. Is x at most -595?
True
Let x be (-15)/5 + 9 + 484*3/(-105). Which is smaller: -8 or x?
-8
Let x = -25 + 27. Let t = 82.6 - 84.6. Which is smaller: x or t?
t
Suppose -93 = -6*k + 3. Suppose -27*z + k*z = 1782. Is z less than -160?
True
Let q = -75/9389 - 111136693/112668. Let s = q - -987. Which is smaller: s or 1?
s
Let h = 298/181 + -2153529/1307906. Let t = h + -13989/3345638. Is -1 at most as big as t?
True
Let c(a) = -4*a**2 + 65*a - 18. Let u be c(16). Let x be (-3 + 2)*u + (-59)/31. Which is greater: 0 or x?
x
Let h be (3 - -1) + (-2 + 3 - 3). Suppose 3*p + 48 = h*n, -n = -p - 0*p - 17. Suppose -4*g + q = 60, -2*g - 2*q + 64 = -6*g. Is p at most g?
True
Suppose -17*l + 16*l = -3*j - 5, 2*j + 2*l = -14. Suppose 2*v = -6 - 42. Let c be j*1 - v/6. Is c >= 30?
False
Let d = 253143/7 + -36237. Let q = d + 339/14. Let x = q - -50. Which is smaller: -15 or x?
-15
Let n be (-30)/78 + (-3 - (-41)/13). Let z = 8.8 + -1.8. Let t = 8 - z. Is n at least as big as t?
False
Let u be 12/(-30) - (-24)/10. Suppose 2*x - 11 = 3*g - 0*g, -4*x = u*g - 14. Which is smaller: g or -22/15?
-22/15
Let f = 23992 + -24000. Are f and 0.233 nonequal?
True
Suppose 0 = -2*s + 2*t - 0*t + 10, -5 = -3*s + 5*t. Let h be (16/40)/(16/s). Let x = -42 - -42.06. Is h bigger than x?
True
Let d be -16*((-25)/20)/1. Suppose -d = 10*x - 20. Which is smaller: x or -1/113?
-1/113
Let k be (-10)/15 - (-2 + (-28)/6). Suppose 2*s = k*s - 12. Suppose -44 = s*g - 47. Are 14 and g unequal?
True
Suppose 7*v - 400 = -13*v. Suppose v*w = 372 + 88. Is 2 <= w?
True
Let g = 3905478/97 - 40264. Is g smaller than -2?
False
Let p = 177512774/284687 + 40/21899. Are p and 623 unequal?
True
Let j = 31.3 - 30. Let r = j + -0.7. Let g = -90.72 - -90.82. Which is greater: r or g?
r
Let x = -0.02 - -7.02. Let k = 0.1956 + 0.0604. Let a = k + -0.456. Is a greater than x?
False
Let b(n) = -1678*n**3 - 3*n**2 + 5*n + 7. Let a be b(-2). Let i be (1 - 5)*(a/22)/23. Which is smaller: i or -107?
-107
Let o = 1714867/223 + -7690. Which is smaller: 1/2 or o?
o
Suppose 25*x - 24 = -4*l + 21*x, -3*l + 72 = -3*x. Let p(r) = r + 11. Let t be p(0). Is t >= l?
False
Let w be (2/4)/((-2)/180). Suppose 42 = 2*h + r + 32, -4*r = 5*h - 31. Suppose -h*c - b - 145 = 3*b, -152 = 4*c - 5*b. Is c at most as big as w?
False
Let o = -1157 + 1181. Let s = 0.93 + -4.93. Is o != s?
True
Let c be ((-7956)/40)/(-13) - (-2)/(-10). Let l = c - 118/5. Which is sma