. Is 1 at most y?
False
Let n(c) = c**3 + 9*c**2 + 13*c - 6. Let d = 30 + 11. Suppose -40*h = -d*h - 7. Let u be n(h). Is 1/11 bigger than u?
False
Suppose -64 = -2*g + j, 44 - 142 = -3*g + 2*j. Let y = -58 + g. Let l be (-2)/(-11) + (-32)/(-308). Which is smaller: y or l?
y
Let j(x) = -138*x - 147. Let d be j(-1). Suppose 3*k = -a + 4, -3*a - k = a + 28. Let i be (2 - d)*a/(-8). Which is smaller: i or -1?
-1
Let r = 146 + -333. Let f = r - -193. Let h = 0.2 + -0.1. Is h greater than or equal to f?
False
Suppose 12*k - 120 = 6*k. Let i = 22 - k. Let u be (i/(-7) - 18/35)*5. Which is smaller: u or -7?
-7
Let z be (0 - 6)/(4277/(-357) + 12). Do -302 and z have different values?
True
Let o be 2/20*-6 - (-144)/15. Suppose 0*u + 4*u = -4*b + 12, 3*b = -4*u + o. Suppose u = -7*j + 4*j - 42. Is j bigger than -15?
True
Let s = -1996 - -1860. Is -136 at least s?
True
Let d = 17572 + -17572. Is -134/93 < d?
True
Let y = 1528.5868 + -1635.58. Let c = y - 0.0068. Which is smaller: -0.1 or c?
c
Let l = 0.032 - 0.302. Let k = 0.2 + l. Let u(d) = -101*d + 102. Let g be u(1). Is g < k?
False
Let z(r) = -2*r**2 + 12*r + 16. Let m be z(7). Suppose -7*o + f + 10 = -m*o, 4*o + 2*f - 8 = 0. Suppose -o*u - 63 = -19. Which is bigger: u or 2/7?
2/7
Let a = -1.57 + -122.43. Let n = 123 + a. Let t be (10/(-28))/((-1)/(-2)). Is n greater than t?
False
Let y be 2060/(-420) + 9/(-1). Which is smaller: y or -13?
y
Suppose -9*f + 60*f - 1744 = -10822. Is f greater than -162?
False
Let z = -217 + 336. Let j = z - 190. Let s = -67 - j. Is s greater than 0.4?
True
Let d = -349755 - -21682793/62. Let o = -65/2 - d. Let z = o - 98/155. Is z less than -1?
False
Let z = -6979 - -6976. Which is smaller: -14 or z?
-14
Suppose -84 = -34*t + 76 + 214. Let r = -469 - -1923/4. Is r smaller than t?
False
Let k = 490 + -254. Let p = -235 + k. Which is greater: 26/19 or p?
26/19
Suppose -23109*q - 3*m = -23113*q + 372, -5*q + 3*m = -471. Suppose -x = x - 198. Is x less than q?
False
Let r = 42121 - 171457/4. Are r and -744 non-equal?
True
Let c = 91.2 + -318. Let a = -227 - c. Is 20/13 at most a?
False
Let u = 472706/5 + -94228. Which is smaller: 2/13 or u?
2/13
Let p = 3395 - 10757. Which is smaller: p or -7361?
p
Let j be 429/(-24) - 2/16. Let z be (2/15)/(12/j). Which is bigger: z or -0.47?
z
Let u be (-46)/10 + 5 - 26/(-10). Let z = -8/519 + 5387/1557. Which is greater: z or u?
z
Let s = -37868 + 21470. Does s = -16398?
True
Suppose h - 619 = -4*h - 2249. Is h smaller than -322?
True
Let l = -1.85 - -1. Let t = l + 0.37. Let g = t + 0.47. Is g not equal to 0.1?
True
Let r = 96585 - 678263/7. Is r < -311?
False
Let l(f) = f**2 - f - 2. Let a be l(2). Let u be -1358*(34/36 - (0 - -1)). Let d = u + -75. Is a at most d?
True
Suppose 0 = 9*k - 28*k - 1026. Let i be (-6462)/126 - 2/(-7). Is i greater than k?
True
Suppose 2*x = -15 + 21, 63 = 3*c + 5*x. Let o = -57 + 72. Is o <= c?
True
Let d = -153 + 120. Let v = 32 + d. Let p = 1.04 + v. Is p greater than -0.3?
True
Let a be (21/126)/((-3)/6*3). Let u = 84.3 + -88. Let n = -5.7 - u. Is n greater than or equal to a?
False
Let r be (-637)/(-70) + 1 + (-2)/(-4). Suppose 3*l - 7*l = -4. Let i be (-3 - (-10 - 3))/l. Do r and i have different values?
True
Let s be (8/215)/((-68)/(-2890)). Is 2 <= s?
False
Let v = 9326 + -64973/7. Let k = 3606 - 3562. Are k and v nonequal?
True
Let j = -13.5 + -92.5. Let k = -93539/140286 - -5/46762. Which is smaller: k or j?
j
Let c = -0.089 + 1.769. Let f = c + -1.78. Which is greater: f or -393?
f
Let v(j) = -j**3 - 14*j**2 + 32*j + 5. Let f be v(-16). Suppose 1070 = -f*n + 3*x, 3*x - 1 = -16. Let u be 3/4 - n/(-140). Which is bigger: u or -1?
u
Suppose -v = 0, -4*v + 211 = 5*w + 26. Let x be 13/(-65) - w/(-35). Let q = 296 - 293. Which is smaller: q or x?
x
Let t = -348 - -347. Let b = 22 + -19. Let x be 6/166 - (b - 3). Which is greater: x or t?
x
Let x = 0.6867 + -1.6867. Let d(l) = -l + 21. Let i be d(9). Which is smaller: i or x?
x
Let q = 0.17 - 0.152. Let n be 2 - ((-35)/28)/(6/(-8)). Let k = -11/15 + n. Which is smaller: k or q?
k
Let f = 0.92 - 1.4. Let m = -39.48 - f. Let n = -38 - m. Which is greater: -30 or n?
n
Suppose 4*y = 1219 - 2222 - 5265. Is y bigger than -1567?
False
Let b(i) = 2*i**2 - i + 4. Let v be b(-4). Let s be ((-3)/5)/((-16)/v). Let q = 329.96 + -329.9. Is q smaller than s?
True
Suppose -5*m + 2*m = 0. Suppose -2*p = 3*j - 5*j - 2, m = 4*p - j - 1. Let a = -3651/44 - -83. Is p at least as big as a?
False
Let j = 11740 + -11741. Let d = 21.946 - -0.054. Let l = 42 - d. Which is smaller: l or j?
j
Suppose v - 10 = -4*d, -2*v - 3*v - 40 = 2*d. Suppose 5*r - 1745 = 25. Let w = r - 359. Is w greater than v?
True
Let o = -6466 + 6466. Is -1/9728 greater than or equal to o?
False
Let x = -403283/31 - -13011. Is x at most as big as 1?
False
Let n(m) = 1010*m + 1280. Let x be n(-10). Which is smaller: x or -8819?
x
Let y = -166 - 244. Let r = -641/52 - -5448/13. Let c = r + y. Is c less than 0.1?
True
Let f = 69520/25317 - 239/87. Is 1 != f?
True
Suppose -185 - 175 = 18*k. Let l be (14/10)/((-8)/k). Which is smaller: 14 or l?
l
Let p be ((-323)/(-34))/(((-12)/2)/(-156)). Do 247 and p have different values?
False
Let x = 1518839/10 - 151684. Is 200 < x?
False
Let u be (-56)/(-9) - 12/54. Let r be (-1 - -6 - u)*0. Is 0.16 at most as big as r?
False
Suppose -8 = 4*g + 3*q, -3*q = -g - 2*g + 15. Let s = 1/90895 - 36439/7362495. Is g at most s?
False
Let m = -980 - -975. Let s = 162601/27 - 6023. Let n = -593/108 - s. Is m > n?
False
Let x = -2116/13 + 18953/117. Is x at most as big as -2/17?
True
Suppose 0 = -p + 11 + 5. Let l(j) = -6*j - 47. Let b be l(-15). Suppose r + 3*t + p = 0, 3*r - r - 5*t + b = 0. Which is bigger: -20 or r?
r
Let d(m) = 2*m. Let s be d(7). Let q be ((-2142)/(-84))/((-6)/(-8)). Let u = q - s. Do 19 and u have the same value?
False
Let l be 172*2/(-6)*30/(-20). Suppose 0 = -2*r - 834 - l. Which is bigger: -461 or r?
r
Let h(f) = 11*f**3 + 3*f**2 + 115*f + 617. Let o be h(-5). Is o greater than -1256?
False
Let q be (-368)/(-88) - (-4)/(-22). Let k be -2*2/(-4) + 2. Let u be k/((-474)/q) + 0. Is u greater than 1?
False
Let h be (-60)/(-3)*(4/(-10) - -1). Let o be (h/4)/((-27)/(-18)). Let a be (-39)/(-18) - (0 + 1). Is a < o?
True
Let b = 89 + -221. Suppose 0 = y - 2751 + 2748. Let g be (-1)/y + 1705/b. Is -12 at most as big as g?
False
Suppose 3*h + 576 = -3*l, -44 + 224 = -h + 3*l. Let u be -190 + 0 - 0/(-5). Which is smaller: h or u?
u
Let f be (-28)/119 - 53032/(-207179). Which is bigger: f or -1?
f
Let v(n) = -5*n**2 + 12*n + 10. Let r(o) = o**2. Let l(q) = -6*r(q) - v(q). Suppose 12 = 5*u - 8, 0 = 5*h - 4*u + 66. Let a be l(h). Which is smaller: 12 or a?
a
Let f = 175 - 134. Let c = f + -31. Suppose -4*i + 2*x + 6 = 0, c*i - 5*i - 6 = 4*x. Is -5 != i?
True
Suppose 2*a = -5*s + 20, 5*a + 10 + 10 = 5*s. Suppose -2*b + 5 = 5*m, 1 = -9*b + s*b + m. Is 4/77 less than b?
False
Let c(u) = 224*u + 1421. Let g be c(-15). Is g <= -1940?
False
Let v be (5/(-4))/(1 - 0)*(-324)/1620. Let n = -11 - -7. Let m = -1 + n. Is v at least as big as m?
True
Let r = 3067 - 239227/78. Which is smaller: r or 1/2?
r
Let h(p) = p**3 - 20*p**2 + p - 2. Let r be h(20). Let d = -3923 + 11821/3. Which is smaller: r or d?
d
Let b = -154 - -157. Suppose t + 10*w - 13*w = -6, b*w + 30 = -5*t. Let q = 0.01 - -0.29. Is q > t?
True
Suppose 24 - 4 = 5*b. Suppose 4*g - 4*n + b = 0, -2*n = -10*g + 11*g + 4. Let z = 36 + -36.4. Do z and g have the same value?
False
Let g = -115 + 13. Let q = g - -104. Suppose 2*x - 33 = y, -3*y + 34 = q*x - 5*y. Are 16 and x non-equal?
False
Let a = -4307 + 4306. Which is smaller: a or -11/317?
a
Let r(u) = u**3 + 6*u**2 - 11*u + 6. Let b be r(-8). Let y = -106 + 137. Let i = y - 66. Does b = i?
False
Suppose -52*s + 7295 - 25443 = 0. Is -349 less than s?
False
Let w(a) = 4*a**2 - 14*a - 44. Let t(d) = 5*d**2 - 13*d - 46. Let r(x) = 5*t(x) - 6*w(x). Let i be r(-17). Which is smaller: i or -1/350?
-1/350
Let p be (-123)/(-5) - (-8)/20. Suppose -2*c = 134 - 10. Let l = -37 - c. Is p >= l?
True
Let u(w) = -25*w**3 + 5*w + 9*w**3 - 4*w**2 + 14*w**3 + 5. Let c be u(-4). Suppose -c - 39 = -4*f. Do f and 24 have different values?
True
Let c = -32673 - -28137. Is c bigger than 