 ((-30)/35)/(-3) + d/7. Let h = 24 - g. Is h at least as big as -6?
True
Suppose -4*a = 3*y - 248, -2*y - 5*a - 39 + 216 = 0. Suppose 75*q - y*q = 2. Let v be q*(12/3)/4. Is -5/4 < v?
False
Suppose 8*y - 561 = -513. Is 48 <= y?
False
Let z(i) = i**2 + 1. Let p(l) = -l**2 + 14*l - 3. Let v be (-6)/4*(-4)/(-6). Let t(k) = v*p(k) - 2*z(k). Let x be t(-15). Which is bigger: -25/2 or x?
-25/2
Let s = -34955 - -34951. Are -1/109 and s unequal?
True
Let b be (-5 + -35)*(16080/(-25))/(-6). Is -4287 bigger than b?
True
Let i = 7218/481 + -1096/37. Which is smaller: 1/3 or i?
i
Suppose -3*f - 1610 = -4*y, 1393 + 245 = -3*f - 3*y. Is -541 at most f?
False
Let u = -1328/4573 + 5/17. Let j = -801057 + 801057. Is u bigger than j?
True
Suppose -3*c - w - 35 = -5, c + 5*w - 4 = 0. Let f(s) = -s**3 - 12*s**2 - 11*s - 1. Let a be f(c). Which is greater: -5/7 or a?
-5/7
Let h = -34340 + 139035/4. Let k(p) = -3*p**3 - 13*p**2 - 2*p + 15. Let y be k(-7). Let m = h - y. Which is greater: -1 or m?
-1
Let y = 17510 + -9397. Is y <= 8113?
True
Let l = 130894200405351109/987987 - 132485751741. Let q = -8/539 + l. Which is greater: q or 1?
1
Let b = -1616 + 482. Is b smaller than 1?
True
Let b = 20219 - 20821. Is 2 equal to b?
False
Let o = -274/11 + 2444/99. Let t = -36.025 - -36. Is t at most as big as o?
False
Suppose 0*m + 4*d = -3*m + 10, 2*m = -4*d + 8. Suppose 310 = -m*n + 2*x, 2*n = -0*n - 5*x - 289. Is -152 at least as big as n?
True
Let v be 71*(-12)/(-238) + (16 - 20). Which is smaller: v or -1?
-1
Let i = -33/13 - -270/91. Let b = -26 - -23.2. Let s = b + 0.8. Is s greater than or equal to i?
False
Let y be (((-5)/4)/5)/(-1). Let w = -438.07 + 505.07. Is w equal to y?
False
Let n be 1/(-2)*-4 + 9508710/(-4754346). Let d = 151397806/792391 + n. Let x = 191 - d. Is 0 < x?
False
Let z = 325 + -313. Let i = 271 - 259.1. Let r = i - z. Which is bigger: r or -1.4?
r
Let z = -5.77 - -4.21. Let y = -5.56 - z. Which is smaller: -16 or y?
-16
Suppose 470*o + 15 = 456*o + 1. Which is greater: -3/1576 or o?
-3/1576
Suppose 16*b = -15*b + 8*b - 110814. Which is bigger: -4817 or b?
-4817
Let m be (-4)/12 - 670/(-30). Let r be -2*(m/7)/(23/161). Is -50 less than r?
True
Let a be (-20 + 20)/(4 + -17). Let l = -701/4 - -25913/148. Is a at most as big as l?
False
Let c = -519 + 286. Let v = 238 + c. Is v <= -0.8?
False
Suppose 5*y = -s + 27, 3*y - 5 = -5*s + 20. Let a be 1 - 1/9 - s/3. Is a not equal to 0.4?
True
Let m = 1481/237 - 204/79. Is m less than 7?
True
Suppose -52*h - 195 = -247. Which is smaller: -16/2741 or h?
-16/2741
Let q = 521 - 496. Suppose -q*j - 2*p = -27*j - 96, 2*p = 3*j + 141. Is -41 >= j?
True
Let w be 1 + 38/(-34) - (29 - (-128020)/(-4420)). Which is bigger: w or -2972?
w
Let h be (8/(-2554))/(14/6 - 3). Which is bigger: -1 or h?
h
Suppose -16*m - 11*m + 135 = 0. Suppose m*l - 4*l + 19 = 0. Which is smaller: -20 or l?
-20
Let k be 78/8*(-152)/57. Let q be 184/k*(-24)/(-16). Let w = q + 1544/143. Which is smaller: -0.1 or w?
-0.1
Let w be (-336)/(-29440)*8*-2. Is 1 at least as big as w?
True
Let q be 13/(273/54)*-7. Let z = -72 - q. Let s = 56 + z. Which is smaller: 22/7 or s?
s
Suppose 13 = 2*w - 5*v, 191*v = 3*w + 190*v. Does w = -2/3803?
False
Let w be 7797/(-904) - 9/6. Does -11 = w?
False
Let m be 2 + (-11482)/2 + (0 - (6 + -3)). Is m greater than -5741?
False
Let v(k) = -4 + k**3 - 35*k**2 + 1 - 2 + 6*k - 17*k + 48*k. Let x be v(34). Is 479/5 bigger than x?
False
Let z = 81.96 + -85. Let j = z - -1.04. Let q be 4/21 - 6/45. Which is smaller: q or j?
j
Let v = 122.559 - -0.441. Let j = v - 122.93. Which is greater: j or -3?
j
Let j be 12/(-8)*(-2)/(-1). Let g be (-13)/(1638/(-12))*j. Which is smaller: 0.05 or g?
g
Suppose -4*n - 11 = 13. Let x(s) = s**3 + 6*s**2 + s + 1. Let q be x(n). Let k = 916/5 + -184. Which is bigger: k or q?
k
Let w = -149926 + 567020129/3782. Is w at most as big as 0?
True
Let q be ((-7)/21)/(2/(-24)). Suppose 0*r = 4*c - 2*r + 6, -q*c - 5*r + 1 = 0. Let k be (16/(-15) - 0)*5/6. Which is smaller: c or k?
c
Suppose 1 = -a - 5. Let n be (16/a + 3)*0. Suppose 5*v - t + 4 = n, 0*t - 20 = -2*v - 5*t. Is v > -3/65?
True
Let q = 115 + -116. Let m be (-8 - q) + 116/5. Is 16 at least as big as m?
False
Let j be 1*-24*(-2)/4. Suppose j - 33 = -3*f. Let l be (2/(-138))/(f/21). Are l and -1 non-equal?
True
Suppose 2*q = 6*q - h + 6, 0 = 2*q - 3*h + 8. Let f = -27240 - -1062356/39. Is q <= f?
True
Let s be (-5124)/(-18) - 5/(-15). Let t = -285 + s. Is -2/349 > t?
False
Suppose -252*v + 33346 = -4*l - 254*v, 3*l = v - 25012. Is -8336 greater than l?
True
Let p(r) = r + 6. Let n be p(0). Let q = -34960/59 + 828594/649. Let d = q - 684. Which is greater: n or d?
n
Suppose u + 1 - 37 = 0. Let s be (u/66)/(-3) + 156/11. Let a be -5 - -3 - s/(-5). Does a = 1?
False
Let c = 79 + 28. Let l = 252 - c. Let a = 149 - l. Is a at most as big as -0.1?
False
Let b be 2 + (-8)/6 + 16/12. Let l(a) = -11*a + 3*a**3 + 8*a**3 + 0*a**b - 9*a**2 - 2 - 12*a**3. Let k be l(-8). Is k smaller than 21?
False
Let y = -73 - -91. Let t be (-10)/45 + 8734/y. Let v = -4385/9 + t. Which is smaller: v or -1?
v
Let b = 2.941 + 757.559. Let z = 761 - b. Is z greater than or equal to -3/62?
True
Let m = 191482 - 216566159/1131. Is -1 at most as big as m?
True
Let b = 620 - 621. Let h = 1.35 - 0.15. Let m = b + h. Is 0.9 greater than or equal to m?
True
Let d be 1/(-2)*-12 + -8 + 3. Is 5762 at most as big as d?
False
Suppose 0 = -4*h + 6*h - 3*z + 71, -4*h - z - 149 = 0. Let u be h/38 + 6 + -5. Which is bigger: -2/5 or u?
u
Let c = -5946 + 5947. Are 14/445 and c non-equal?
True
Let w = -6116 - -12055. Which is smaller: w or -1?
-1
Let p(g) = g**3 + 8*g**2 + 5*g + 4. Let m be p(-7). Let w = -224 + 225. Suppose -m = h + 3*z, 5*h + 4*z = -36 + w. Is h < -1/5?
True
Let a be (3 - 6677/1815) + 18/33. Is -101 greater than or equal to a?
False
Let g be 110/156 - (-2)/(-3). Suppose -2 = -65*k + 64*k. Suppose -3*s - 4*i + 2*i = -3, -5*i - 2 = -k*s. Is g less than s?
True
Let z(i) = -i - 15. Let q be z(-19). Let v be (q - 11) + 3 + 78/15. Let a = -0.05 + 0.45. Are a and v non-equal?
True
Let b = 42.5 + -32. Let s = b - 11. Let d = s + 12.5. Is 0.2 at most as big as d?
True
Let a(s) = 1484*s**2 - 23*s - 11. Let o be a(-1). Which is greater: 3 or o?
o
Let o = -469348/13139 - -14/1877. Let d = 263665987/7358365 - 13/61835. Let x = d + o. Is x >= 0?
True
Let q = -6/6965 - 19230353/13930. Which is smaller: -1381 or q?
-1381
Let m(u) = u**3 - 17*u + 2. Let s be m(-4). Suppose -16*n - 70 = -s*n. Which is smaller: -4 or n?
n
Let r be -1 - (-18)/16 - (106/(-48) - -2). Is r equal to 1/1700?
False
Let y = -748 + 727805/973. Is 1 >= y?
True
Let y = -0.46 - 1. Let n = y + -1.54. Is -10 at least as big as n?
False
Let c be (27/2)/((-318)/(-4876)). Is 2274/11 not equal to c?
True
Let f = 24489 + -24489. Are -25/633 and f unequal?
True
Suppose 0 = 4*s - 4*f - 4, f = -3*s - 2*f + 21. Let t = 181981/57904 - -3/57904. Which is smaller: t or s?
t
Let p = 0 + 13. Suppose 0 = -5*o - 10, 2*o - p = -3*n + 1. Is n greater than or equal to 13?
False
Suppose -4*u + 5*q + 247 = -127, 2*u - 4*q - 190 = 0. Suppose -u = 3*n + 4*z, 3*z + 15 + 12 = -n. Which is bigger: -38 or n?
n
Let r(p) = -5*p**3 + 2*p**2 - p - 2. Let o be r(-1). Let c(m) = -m**2 + 8*m + 20. Let d be c(o). Suppose 0 = -8*s - 0*s + d. Is 7/2 < s?
True
Let w(k) = -6*k + 20. Let d be w(-10). Suppose -5*g = m + 104, 4*g + 2*m + 2*m = -d. Is -21 at most as big as g?
True
Suppose -904*w - 74340 = -1081*w. Which is smaller: 430 or w?
w
Let b(y) = -y**3 - 4*y**2 - 164*y - 306. Let h be b(-2). Suppose 0 = 2*r - 0*r - 32. Which is smaller: r or h?
h
Let b = -5102 + 9902. Suppose 23*h = -b + 131. Which is smaller: h or -204?
-204
Let g be (-42)/(-10) - (-6903)/885. Is g equal to 448?
False
Let a be (294/6615*(-20)/122)/(2/6). Which is bigger: 0 or a?
0
Let b = 1279 - 1247. Let r be (8/(-24))/(1/(-105)). Is r not equal to b?
True
Suppose 44*z - 45*z - 5 = 0. Let p be z/(-130)*-59 - 3/6. Let x = -59/26 - p. Which is smaller: x or -69?
-69
Let i be 214/22791*(-39)/6. Which is bigger: -1 or i?
i
Let j = -0.141 - -0.102. Let s = j - -0.027. Let c = 0.112 + s. Is c greater than -0.12?
True
Let s be (-1)/(-21227)*(-130533)/(-3171). Let y = s - 1/21227. Let t =