ch is bigger: d or -314?
d
Let w = 16389146/181 - 90548. Is 0 at most as big as w?
False
Let a be ((-2100)/(-11480))/(((-126)/8)/3). Which is bigger: a or -1?
a
Suppose -22 = 2*i - 5*o, 37*i - 39*i + 14 = o. Which is bigger: -54 or i?
i
Suppose -29*k + 28*k = -4. Let d be 1/(-1) - (24/(-40) - k). Let o = -41/10 + d. Which is smaller: o or -8?
-8
Let h = -491/87 + -2/87. Which is bigger: h or 1/2?
1/2
Let d = -88 + 85. Let g be (-9)/(-90) + d/((-45)/31). Is 3 greater than g?
True
Let u(x) = 4*x - 66. Let g be u(17). Suppose 4*h - 46 = g*o, -h + o - 18 = -32. Suppose 0 = -y + 3. Are h and y unequal?
True
Let o = -1 - -4. Suppose -y = -2*r - 230, 2*y - o*r - 425 = -6*r. Let v be ((-2)/(-5))/((-11)/(y/(-48))). Which is smaller: v or 0?
0
Suppose -2*d = -4*u + 2*d + 616, 2*d = 5*u - 764. Suppose 0 = 8*w - 24 - u. Which is greater: 103/5 or w?
w
Let g = -31.609 + 1.849. Let y = g - -30. Is -2 less than or equal to y?
True
Let x(s) = -26*s + 8. Let r be x(7). Let o = r + 168. Are -49/8 and o equal?
False
Let c(q) = -20*q + 633. Let d be c(48). Do d and -2286/7 have the same value?
False
Let h = 2765 - 3717. Is h <= -950?
True
Let q(c) = c**2 - 2*c + 5. Let k be q(2). Let n(j) = -6*j - 31. Suppose -43 + 8 = 7*i. Let w be n(i). Is w <= k?
True
Let c = 75 + -38. Let h be -4*(-195)/60 - 6. Are c and h non-equal?
True
Suppose -2*z - 47 = 5*p, -4*z - p - 118 = p. Which is smaller: z or 0.3?
z
Let l(t) = t + 25. Suppose 0 = -51*k + 47*k - 24. Let j(b) = -b**3 - 8*b**2 - 8*b. Let z be j(k). Let w be l(z). Do w and -1/3 have the same value?
False
Suppose 18*g + 60 = 15*g. Let h be (4/14)/(12/42). Let w be h + -1 + (-4)/g. Are w and -1 unequal?
True
Let z = -750.0705 + 750. Let q = z - 0.0295. Which is bigger: -9.9 or q?
q
Let m(o) = 2*o**2 + 6*o. Let w be m(-6). Suppose 0 = 5*i - 5*r - 35, 18 = 4*i - 2*r - 4. Let q be 12/w*i/2. Is q greater than 0?
True
Let f(k) = 8*k**2 + 1. Let m be f(1). Let d be 18*20/(-2880)*-8. Is d less than m?
True
Let y = 6.6571 - -0.3429. Is y < -190?
False
Let h = 79.468 + -1.468. Which is greater: h or -12?
h
Let j be 360/(-810)*52/(-39)*2/(-4952). Is j smaller than 0?
True
Let h = 0.102 - -2.898. Let x = 47 - 47.03. Is x less than or equal to h?
True
Let t = -1419.95 + 1420. Is t at least as big as 961?
False
Let r be 2*(-5)/(-3)*17/(306/(-27)). Does r = -3?
False
Suppose 378 + 414 = 9*h. Let i be (6 + h/(-14))*(-7)/(-15). Let o be ((-2)/(-6))/((-12)/(-36)). Is i greater than or equal to o?
False
Let j(r) be the second derivative of -7*r**3/6 + 175*r**2/2 - 146*r. Let u be j(25). Is u greater than 372?
False
Let r = 5/21 - 4/7. Let p = 9281.703 + -9282. Is p less than or equal to r?
False
Let g(q) = -q**2 + 10*q + 172. Let s be g(-9). Is -5/209 at least s?
False
Suppose -77 = 9*w + 922. Let z = w - -112. Is 9/14 at most as big as z?
True
Suppose 1133588 + 1217981 = 237*n + 220702. Is n smaller than 8990?
False
Suppose -60*p + 147 = -57*p. Let t = p - 28. Is t at most 21?
True
Let s be (-2)/(-12) + 2/6. Let x be 158/(-553) - 4/(-14). Let d = s + x. Which is greater: d or 36?
36
Suppose 16 = -4*t, 0 = l - 5*t - 1 - 18. Suppose 152*u - 141*u = -77. Let h be (-113 - -113) + (6/u)/(-3). Which is bigger: l or h?
h
Let w = -533 + 551.5. Let d = 0.14 + -3.64. Let u = w + d. Which is smaller: u or -1?
-1
Let k(d) = 10*d + 137. Let v be k(9). Let b = v + -121. Is b >= 107?
False
Suppose 141*f = 135*f - 612. Let p be 68/f*((-27)/(-24))/1. Which is bigger: -1/8 or p?
-1/8
Let m be -24*2*(-14)/16. Suppose 2*k + 2*h = -3*k + 13, -k - 4*h - 1 = 0. Let z(o) = 4*o**2 + 7*o - 14. Let j be z(k). Which is bigger: m or j?
j
Let b(r) = 24*r - 3. Let f be b(-4). Let y = -95 - f. Let i(v) = -v**3 + 5*v**2 - 3*v + 2. Let s be i(y). Is 7 > s?
True
Suppose -57*q = -53 + 110. Do q and -2/217 have different values?
True
Let o = 4.013 - 2.893. Is o at most as big as -1?
False
Suppose 3*y - 4*y = -52. Let d be (-2)/(-4) - 38/y. Let h be 2/2*(-425)/(-425). Which is bigger: d or h?
h
Suppose -6*v + 12*v + 4*x - 136 = 0, 0 = -2*v + 2*x + 32. Which is bigger: v or -5.7?
v
Let g = -1 - -1. Let x be 1/2*(1280/150 + -5). Let y = x + -13/6. Which is smaller: y or g?
y
Let i = -2249 + 17653/8. Is -41 less than i?
False
Let x = -681.86 - -102.56. Let a = x + 579. Is 4/59 smaller than a?
False
Let g(u) = u**3 - 69*u**2 + 128*u + 382. Let p be g(67). Is p greater than or equal to -14?
False
Let u be 2/(-12) - (5247/(-54) + -5). Let z = u - 407/4. Which is smaller: -179 or z?
-179
Let w = 3534 + -3432.98. Let k = 101 - w. Let q = -0.002 + k. Which is smaller: q or 0.1?
q
Let q be (585/60)/(3870/24 + 7). Are 1 and q unequal?
True
Suppose 2*r - 3*c = -976, -608*c + 1486 = -3*r - 609*c. Is -498 at least r?
False
Let v = 51385/1184 + -1415/37. Is 6 bigger than v?
True
Let o be (-2 - (-15)/1) + -10 + 7. Suppose 62*v - o*v = 0. Which is smaller: -1/246 or v?
-1/246
Let d be ((-27)/(-1932))/(((-840)/(-128))/7). Which is greater: 0 or d?
d
Let b = -10819 - -10642. Is b equal to 7/3?
False
Let y = 1 + -1. Let d be (-9 - -8) + 187/11. Suppose y = i + 4, 2*m - 5*i + d = -9*i. Which is bigger: 2/11 or m?
2/11
Let b = -7573/6 - -1253. Let p = -727/78 - b. Suppose -a = 2*a - 39. Which is bigger: p or a?
a
Let y be (561/(-36))/17 - (-26)/(-312). Is -499 smaller than y?
True
Suppose -m = o + 1, -53*o + 55*o + 1 = -m. Which is bigger: o or 1/8275?
1/8275
Let c = -389 - -425. Let p be (-12 + 10)/((-1)/(-18)). Let k = c + p. Which is smaller: -2/55 or k?
-2/55
Let w be 10/6*-3 - (-2 - 2). Let y be (3/(-15))/((-9)/(-45)*w). Which is bigger: y or -3/394?
y
Let w = -289 + 293. Suppose -m = 2*o - 3*o + 1, 2*o + w*m - 2 = 0. Is o > 14/39?
True
Let t = -6768 - -6764. Is t at most as big as -114?
False
Let f = -1322 - -55519/42. Let p = -319/1974 - f. Which is smaller: -1 or p?
-1
Suppose 4*m = 6 - 2. Let c be 230/(-30) - (16/(-6) - -2). Which is greater: m or c?
m
Let u be ((1 + 2)/6)/(-12*10/13980). Which is greater: -2 or u?
-2
Let v(x) = -12*x**3 + 3*x - 5. Let q be v(2). Let j = q - -120. Are 27 and j non-equal?
True
Let t = -51692980591/56761 + 910713. Are 0 and t equal?
False
Suppose i + 140 = 3*p + 147, 0 = 5*i - 2*p - 9. Let v be 0/(i + -1 - 4). Is v at least as big as 2/1591?
False
Let f = 848 - 480. Suppose -f = -4*q - 0*q. Let v be 4 - ((-6)/8 + 477/q). Which is greater: -1 or v?
v
Suppose -4*f = -22*p - 3456, -2*p + 5*f = 16 + 326. Which is greater: -155 or p?
-155
Let t = 12733/4 - 64900103/20388. Is -1 >= t?
False
Let p = -18032 - -18211. Which is greater: 92 or p?
p
Let w be 102/4 + 6/(-4). Suppose -170 = -6*a - 224. Let f be (-4)/w*a/12*6. Is 1 greater than f?
True
Suppose -10*i - 541 - 2849 = 0. Let j = i - -334. Is -12/7 bigger than j?
True
Let t(n) = -3*n**2 - 15*n + 9. Let u be t(11). Do -3632/7 and u have different values?
True
Suppose -5*w = v - 1091, -10*v + w = -12*v + 2146. Let n be 16/4 + 2 + v/(-178). Which is greater: n or -1?
n
Let j = -9917 - -9450. Which is bigger: -10 or j?
-10
Let q(f) = -10*f**2 + 15*f + 25. Let m be (-145)/(-10) + 3/(-6). Let y be q(m). Let d be ((-5)/(y/(-10)))/((-2)/(-6)). Is -2 at most d?
True
Let s = 4138447/858 - 28793/6. Let b = -261/13 + s. Which is greater: 5 or b?
5
Let p be 3/(24/128*4). Suppose w - 80 = -p*g, 0 = -4*g - 11*w + 6*w + 80. Which is greater: 19 or g?
g
Let f be (1 - (-21)/(-24)) + -3 + 180/96. Is f less than or equal to 7308?
True
Let x be ((540/(-16))/(-27))/(35/(-14)). Is x at least as big as -1891/4?
True
Let o = 743/227535 - 5/591. Which is smaller: o or -1.8?
-1.8
Let w = 784917569/145145 - 285074/1001. Let c = w - 5123. Let l = c - 757/1160. Is -1 equal to l?
False
Let d be 15*(4 + 1 + (-115)/25). Let i be (225/d)/(1/(-2)). Which is bigger: i or -77?
i
Let u(o) = -o + 77*o**3 - o + 5*o - 4*o**2 - 76*o**3 + 5. Let f(t) = 5*t**3 - t**2 - t + 1. Let h be f(1). Let x be u(h). Is 17 greater than or equal to x?
True
Suppose -197*h + 38570 = -211*h. Which is smaller: -1 or h?
h
Let t = 8 - -4. Let r be t*1*(-2)/62. Let l be 0*18/27*12/(-8). Which is smaller: l or r?
r
Suppose 13 - 23 = -5*b. Let p be (-64)/(-84) - b/6. Is 43 >= p?
True
Let w(q) = 10*q - 2 - 7*q + 2 + 12. Let p be w(-3). Which is smaller: p or 0?
0
Let x = -1124 - -1124. Which is greater: x or 1/3728?
1/3728
Let t(w) = -w**3 + 7*w**2 + 7*w + 2. Let s be