an 1.3?
True
Let i be 7/21 + 590/(-1662). Suppose -5*u - c - 6 = 0, -62*u + 5*c + 10 = -67*u. Which is smaller: i or u?
u
Let j be ((-10)/(-20))/((-6)/164). Suppose -1023 + 103 = 8*h. Let c be (h/(-23))/((-2)/6). Which is greater: j or c?
j
Let x = -574 + 1265. Let t = x + -547. Is 143 at most t?
True
Let d be 5/((-50)/60) + (-10566)/8 - 5. Is d at most -1332?
False
Let y be 9798/(-4)*(-14 + (-968)/(-66)). Is -1633 >= y?
True
Suppose -3*o = -2 - 4. Let m(z) = 2*z**2 - 4*z + 5. Let h be m(o). Suppose -90 = 5*q - n, -q + 10*n - h*n = 42. Which is smaller: -16 or q?
q
Let t = 337/360 - 14/45. Let k be 20 + (2 + -7 - -1). Let u be k/88 + 4/(-22). Is t less than u?
False
Let v(d) = 4*d**3 - 2*d**2 + 9*d - 6. Let z be v(1). Suppose z*c + 21 = -29. Which is smaller: c or 8?
c
Let m = 734601/44 - 16697. Let d = m - -14/11. Is -80 >= d?
False
Let n be 43/2*(-28)/(-14). Let o = 68 + -66. Suppose 0*g = -2*p - g + 84, -5*p + o*g = -219. Is p at least as big as n?
True
Let u be 2422/519 + 137/(-30). Let h = 3 + -2. Which is bigger: h or u?
h
Let f = -3552.4 - -3657.165. Let t = -105 + f. Let d = -0.065 + t. Is d <= -1?
False
Let q = 2947 - 3046. Is q < -101?
False
Let i = 0.073 + -484.073. Let n = i + 686. Are n and 0 non-equal?
True
Let j be ((-29 + 5)/12)/(2 + -712). Which is bigger: j or -5/2?
j
Let k(r) = -6*r**3 - r**2 - 4*r + 5. Let w be k(1). Is w less than or equal to -106?
False
Suppose -6*p - 150 - 30 = 0. Let t be ((-1)/p)/((-196)/245). Let m be 1 - 1 - 2/2. Are t and m nonequal?
True
Let l = -9012 + 9012. Which is bigger: l or -7/1453?
l
Let n(t) = t**2 - 17*t - 26. Let x(s) = -1 - s + 20*s**2 - 21*s**2 + 2*s**2. Let q(p) = n(p) - 6*x(p). Let o be q(-5). Is o greater than -89?
False
Let n = -682 - -423. Let b = n - -258. Is -2/199 at most as big as b?
False
Let h = 0.081 + 0.181. Let g = h + -0.362. Which is smaller: g or -173?
-173
Let b = 529 - 53. Let d be b/(-35)*(-2)/20. Is d at least 1?
True
Let a be (280/(-270) + 1)*-6. Let m(l) = -l**3 + 5*l**2 + 2*l - 7. Let s be m(5). Let u(d) = -d**3 + 2*d**2 + 2*d + 1. Let r be u(s). Are a and r unequal?
True
Let y = -228 + -530. Let n = 758.024 + y. Which is smaller: n or 2/15?
n
Let y = -66.56 + -0.44. Let r = -2546.03 - -2544.03. Is r at most y?
False
Suppose 0 = 2*j + 4*t + 24, -j - 14*t = -13*t + 6. Is -70/99 at least j?
False
Suppose -4*y - 478 = -2*r, r + 2*y - 192 = 67. Suppose 4*j - r = 7. Let x be (-6 + 11)/(-15) + j/66. Is 2 at least x?
True
Let u = 0.1 + -0.3. Suppose 17*w - 5*w - 9*w = -129. Is w at most as big as u?
True
Suppose 3*g = -6, -5*u - 518 = -160*g + 164*g. Which is greater: -82 or u?
-82
Let i = 2759 + -507653/184. Is i smaller than -0.5?
False
Let c(p) = -p**3 + 5*p**2 + 2*p - 6. Let i be ((-4)/(-8))/((-1)/(-10) - 0). Let y be c(i). Suppose 5*r + 30 = y*r. Is -29 smaller than r?
False
Let j = -13 + 11.7. Let g = -11932 - -11931.2. Is g < j?
False
Suppose 0*l = l, 0 = 2*f - 4*l + 148. Let w be 22/55 + 697/(-5) - -5. Let m = 61 + w. Is f not equal to m?
True
Let v = -29465 + 29465.1. Let o = -50 + 107. Is v at most as big as o?
True
Suppose 29*y - 5368 = -665 + 1967. Is y at most as big as 231?
True
Suppose 70*q - 104 = 44*q. Suppose 5*l + 50 = o, 0 = o - 2*o + q*l + 48. Is o at most as big as 41?
True
Let m be ((-2)/(-40))/((-23569)/148). Which is smaller: m or -1?
-1
Let a be 87/29 + (-1911)/1085. Which is smaller: a or 1?
1
Let n(j) = -877*j - 12279. Let q be n(-14). Let v be (1/35)/((-168)/30). Which is greater: q or v?
v
Suppose 2*a + 2 - 7 = -3*x, -4*x + 4*a - 20 = 0. Let t = 38 + x. Suppose 7653 = 328*z - 4155. Is z != t?
True
Let t = -443.5 - -445. Let c = 7 - 7. Let r = t + c. Do r and 1 have different values?
True
Let m = 206 + -242. Let q(k) = k**2 + 43*k - 5. Let v be q(m). Which is smaller: -256 or v?
v
Let v(r) = -r**3 - 4*r**2 - r + 7. Let o be v(-3). Let j be 16/(-40)*((-12)/32 + 0). Which is greater: j or o?
o
Suppose 0 = 5*h - 50 + 205. Suppose -3*f - 13 = 2*b, f + 70 = 4*b + 75. Let n be h - (5 - (-24)/f). Is n >= -27?
False
Suppose -378 = 2*c + 12*c. Let a be 39/34*(-18)/c. Are 2 and a nonequal?
True
Suppose -21*f = -40 - 23. Suppose -6*y = 3*y - f*y. Which is smaller: 156 or y?
y
Let s = 1050 - 1049. Let h(d) = -d**2 + 5*d - 4. Let k be h(4). Let x be 1 + (46/(-26) - k). Is s at most as big as x?
False
Let b be (-4 - -3*56/36)*15. Suppose b = -10*m - 80. Which is bigger: 0.03 or m?
0.03
Suppose 87*u - 32061 = 10482. Which is bigger: u or 488?
u
Let i(o) = -o**2 - 8*o - 8. Let k be i(-7). Let t(d) be the first derivative of 8*d**3/3 - d + 462. Let j be t(k). Are j and 4 non-equal?
True
Let b = 0.74 + -0.596. Let x = b + -0.044. Which is greater: x or 5.2?
5.2
Let w(q) = -3*q**3 - 46*q**2 - 48*q + 12. Let k be w(-16). Which is bigger: 1291 or k?
k
Let m = 1342 + -1332. Which is smaller: m or 8.2?
8.2
Suppose 1023 = 4*d + j, 2*d + 0*d = 5*j + 539. Suppose -d = 16*n - 737. Which is smaller: n or 29?
29
Let c be 6*14/(-336) + 4761/(-12). Does c = -398?
False
Let o be 0/(6/(42/7)). Suppose o = 2*t - 377 - 679. Are 528 and t equal?
True
Let k be (-32)/(-28)*2/(-8). Which is bigger: k or 1342?
1342
Let v = -359 + 68. Let b = -289.73 - v. Which is greater: -1/2 or b?
b
Let x = -0.15626 - 184.84374. Is -0.2 less than x?
False
Suppose -41*g + 74*g = 40*g + 1323. Is -6 greater than g?
True
Suppose 0 = -16*j + 68527 + 35809. Is 6519 smaller than j?
True
Let q be (-1)/2*(-23)/((-115)/1010). Is q less than -11?
True
Let i be 1/(2/(-4)*-1). Suppose 2*r = n + 8, 2*n + i*r - 8 = 7*n. Suppose 4 = -7*x - 3. Is x != n?
True
Suppose -21 = -4*c - 17. Is c equal to 24/139?
False
Let f(v) = -v**3 + v**2 + 15*v - 2*v**2 - 4*v**2 - 4*v**2 - 5. Let q be f(-8). Which is smaller: q or -190?
-190
Let z be (434/372)/((-1)/6). Let p be (205/(-35) + (-6)/z)*-6. Is 12 less than p?
True
Suppose -112*h + 54*h + 54*h + 1260 = 0. Which is greater: h or 946/3?
946/3
Let k = 4247 - 4420. Is -177 less than k?
True
Let r = 2358 + -2993. Are r and -0.1 non-equal?
True
Let o = -0.11 + 0.36. Let a = o + -103.25. Let m = a + 104. Is m at most as big as 8/5?
True
Let c be (532/1680 - 2/5)/((-10)/16). Which is greater: 111 or c?
111
Let g = -327043/14 - -47279/2. Is g bigger than 280?
False
Let p(z) = z - 7. Let n = -20 - -12. Let u be p(n). Suppose g - 2*y + 16 = 0, 2*g + 3*g = y - 17. Which is smaller: u or g?
u
Suppose 8184 = 25*j - 6*j - 15*j. Is j at least 0.1?
True
Let f(w) be the second derivative of w**5/20 - 7*w**4/12 - 5*w**3/3 + 11*w**2/2 + 2*w - 8. Let n be f(8). Which is greater: n or -4?
-4
Let g = 48 - 49. Let i be (6/(-12))/(2 + g). Do -0.036 and i have different values?
True
Suppose -41*y = -17*y - 288. Let b = 25 - 7. Suppose -9*h = -y*h - b. Which is smaller: h or 0.3?
h
Let x be (-2 - (-14202)/166)/(-53). Let d = -81/53 - x. Is 1 at most d?
False
Let z = -259/3 - -87. Let r be (-2)/(-3) - (-389)/(-579). Is r greater than or equal to z?
False
Let o = 0.077 + 112.923. Let g = 113.272113 + -0.269113. Let s = g - o. Which is smaller: s or 1/2?
s
Let w = 12 - -79. Let t = w - 457/5. Suppose 5*d - 9 = -4. Which is smaller: t or d?
t
Suppose 203 = 6*d + 131. Suppose 2*s - 4*n = -2*s - 24, 4*s = -5*n + d. Is -14/17 less than s?
False
Suppose 2*l - 2 = 6. Suppose 76 = -q - 2*g, -4*g - 154 = 2*q + g. Let i = q - -77. Is l < i?
True
Let h = 16838 - 16431. Which is smaller: h or 410?
h
Suppose 3*b - q + 12 - 397 = 0, 4*b + 2*q = 500. Let h = 126 - b. Is h < -2/225?
True
Let a = 249929 - 1996167/8. Which is smaller: 407 or a?
407
Let c = -184 + 140. Let a be (77/c)/(5/(-15)). Suppose k - 5*k - o = -24, 4*k - 32 = -3*o. Is a less than or equal to k?
False
Suppose -3*y - 12 = 4*i, 5*i + 2*y - 4 = 3*y. Let d(n) = -9*n + 18. Let x be d(i). Is x equal to 11?
False
Let x = -365 + 1094/3. Which is greater: -102 or x?
x
Suppose -3*r - 85010 = 247*j - 242*j, 3*j = -5*r - 51022. Is 0.1 less than j?
False
Let c be (1/(-3)*-3*5)/1. Suppose -16 = -0*q + q + 3*p, -2*p - c = -5*q. Which is smaller: 3/512 or q?
q
Let a(v) be the second derivative of -v**3/2 + 13*v**2/2 - 15*v. Let h be a(9). Let n be ((-1)/h)/((-1)/(-30)). Which is smaller: n or 2?
2
Let y(s) = -s**2 - 6*s + 33. Let o be y(4). Suppose 3*w - 4*w + 2 = 0. Is o equal to w?
False
Suppose 4*z - f - 9077 = 0, 2*z - 5*f - 2293 = z. Let r be (-2)/(