3. Let d be s(-7). Is -17 >= d?
False
Let t = 215 + -1886. Let v = 132011/79 + t. Is -1 equal to v?
False
Let k(z) = z**2 - 12*z + 19. Let s be k(9). Are -11 and s nonequal?
True
Let b = -15.48 - 0.52. Let o = b - -14. Let j = 1 + -4. Which is smaller: j or o?
j
Let z = -165.8 + 166. Is z <= -13.1?
False
Let t(w) = 2*w + 24. Let b be t(-11). Suppose b = -5*q - 58. Suppose 8*y - 3*y = -50. Is q at most y?
True
Suppose 0 = 3*y + 2*y - a + 38, 3*y + 5*a + 6 = 0. Let u = -541 - -533. Is y bigger than u?
True
Let c(y) = -y**3 - 5*y**2 + 2. Let p be c(-2). Let k(d) = -d**3 - 10*d**2 + d + 7. Let a be k(p). Let f be a - 3/(3/(-2)). Are 2 and f non-equal?
True
Let w = -7 - -9. Let z be w/(-4) - (-36)/60. Is z bigger than -1?
True
Let n be 14 + (-7)/(21/(-12)). Let s be (33/n)/((-1)/3). Is -7 > s?
False
Let a = -108.9 + 110.9. Is -13 < a?
True
Let i = 11 + -11.12. Let l = 0.32 + i. Let a = -0.09 + -0.01. Do l and a have different values?
True
Let s = -12.81 - 0.19. Let t = s - -12.9. Which is greater: -31 or t?
t
Let x = 24492/37 - 662. Which is smaller: x or 1?
x
Let b = 23 - 32. Let c = -2/269 - -11577/1345. Let h = c + b. Is h less than -1?
False
Let z = 11 - 4. Suppose 2*v - 9 - z = 0. Let r be -4*(-2)/v*-1. Is r <= 2/13?
True
Let r(s) = s**2 + 12*s + 5. Let o = -12 - 0. Let z be r(o). Suppose z*k - 15 = 0, -w - 2*k + 4*k - 7 = 0. Which is greater: w or 2/15?
2/15
Let u = 1/18 + 4/9. Let r = 0.02 - -29.98. Are u and r nonequal?
True
Let r be 30/4*(-54)/5. Which is bigger: 0.1 or r?
0.1
Let v be ((-12)/14)/(-3*(-12)/(-1736)). Is 40 >= v?
False
Let h(i) = -4*i - 32. Let q be h(-18). Which is smaller: q or 45?
q
Let k be (9/(-6))/((-6)/20). Suppose -17 = -k*u + 18. Let o be 8 + (-2)/((-13)/(104/(-16))). Is o greater than u?
False
Let l(c) = -c**3 - 2*c**2 - 4. Suppose -3*z + 8 = 5*r + 24, 0 = -r + 3*z + 4. Let a be l(r). Which is smaller: -8 or a?
-8
Let n be (-3)/12 + 3069/(-44). Is -71 not equal to n?
True
Let h = 62 - 30. Suppose -5*x = 0, 3*f + 5*x - 88 = 8. Is h smaller than f?
False
Let k = 9 + -15. Let u(v) = -v**3 - 5*v**2 + 6*v + 3. Let c be u(k). Suppose c*t + 5*t = -128. Which is bigger: -17 or t?
t
Let z = 37 + -44. Let f = 10298/9 + -1152. Which is greater: z or f?
z
Let j = 29.06 - 30. Let t = 9.94 + j. Does t = 0?
False
Let f = 1013 - 1015. Which is smaller: -70 or f?
-70
Let z = 57763/25193 - 135/59. Which is bigger: z or 0?
z
Let q(h) = 31*h + 1195. Let j be q(-39). Does -118/9 = j?
False
Let s = -42 - -41.949. Let p = s + 5.551. Do p and -0.1 have the same value?
False
Suppose -p = 1 - 2. Let s be (-3)/p - (-318)/105. Which is bigger: 0 or s?
s
Let p = 1102 + -1085.9. Is -1/4 at most as big as p?
True
Let o = 18 + -38. Let c = 19.2 + o. Let l be 2/3*3/8. Which is bigger: l or c?
l
Suppose -5*q = 2*d - 160, 3*d + 160 = 5*q - d. Suppose -79 = -4*y + 53. Which is greater: q or y?
y
Let o = -1101 - -1102. Let g be 1*((-2)/1 + -1). Let d be g/((-3)/(-4)*26). Is o >= d?
True
Let o be 4/(-10) + (-48)/(-195). Let d = -200.9 - -215. Let j = -14 + d. Which is smaller: j or o?
o
Let k be 9/((-5)/(-2) + -4). Let u = k + 107/18. Is 1 equal to u?
False
Suppose 4*c + 8 = 4*m, -4*m = -c + m - 18. Let a(l) = 5*l**3 - l**2 - 2*l + 2. Let r be a(1). Let y(o) = o - 2. Let f be y(r). Is c equal to f?
True
Let w(s) = -s**2 - s + 1. Let i(k) = -6*k**2 + 12. Let b(l) = i(l) - 5*w(l). Let c be b(6). Let x be 2 + -1 + 24/(-23). Are x and c non-equal?
True
Let q = -1.61 - -1.61. Is 1/3 > q?
True
Let y = 235 + -234.91. Is 3 greater than y?
True
Let i = 841 + -555. Is i greater than -2/7?
True
Let o = 8 - 7. Let y be -3 - (o + 88/(-20)). Which is bigger: 1.1 or y?
1.1
Let r = 1.79 + 25.21. Is 5 < r?
True
Let c be (2/(-4))/(2/4). Let u be (-6)/33 - 336/2387. Which is bigger: c or u?
u
Let c be (295/(-10) + -7 + 0)*-2. Is 68 less than or equal to c?
True
Let c(d) be the first derivative of -2*d**2 + 23*d - 8. Let w be c(6). Is w > -4/33?
False
Let d be 68/7 - (-10)/35. Let x be 15/d*8/6. Let r be (x/(-5))/((-21)/(-35)). Is 1/2 >= r?
True
Let g = -463 - -460. Let p be 0 + (0 - 3/54). Do g and p have different values?
True
Let v = -378 + 567. Is v greater than or equal to 189?
True
Let j(y) = y**3 - 16*y**2 - y + 19. Let l = -11 - -27. Let v be j(l). Suppose m - 2*c + 18 = 6*m, 0 = -2*m + 4*c + 12. Which is smaller: v or m?
v
Let i = 2172366/67507 - -12/6137. Let r = -32 + i. Let f(j) = -j**3 - 3*j**2 - j - 2. Let c be f(-3). Which is smaller: c or r?
r
Let m be 21/51 + (47 - 49). Which is smaller: m or -1?
m
Let i(z) = -z**3 - 8*z**2 + 12*z + 27. Let r be i(-7). Do -106 and r have different values?
False
Let l = 2.82 - 2.8. Let r = -0.22 + l. Is -0.13 greater than or equal to r?
True
Let r(y) = -2*y**3 - 5*y**2 + 2*y - 3. Let d be r(-3). Suppose d = -2*h - m + 2, 5*h - 5*m + 10 = 0. Is h not equal to 2/47?
True
Suppose -1375 = -7*s - 4*s. Let w = s - 124. Is 1 equal to w?
True
Let d = 6 - 3. Suppose 0 = -3*g + 5*b + 20, 1 = 3*g - b - d. Is g at most as big as -1/38?
False
Suppose 6*n - 3*g + 1395 = 3*n, -4*g - 4 = 0. Which is smaller: n or -467?
-467
Let a be ((-6)/(-15))/((-10)/25). Let s be -1 - 520/172 - -4. Which is smaller: a or s?
a
Let u(b) be the third derivative of b**5/15 - 6*b**2. Let f be u(1). Suppose 0 = f*g + 6 + 46. Is g at least -13?
True
Let g = 218 + -220. Is 2/11 bigger than g?
True
Suppose 3*o - 2*j - 7 = 0, -5*o + 2*j + 6 + 3 = 0. Let b be o*4/(48/(-20))*-1. Do 2 and b have the same value?
False
Let s be 1*-3 - 216/(-8). Let a(w) = w**3 + 9*w**2 - 16*w - 36. Let o be a(-10). Are o and s unequal?
False
Suppose -5*m - 40 = 5*x, -5*m + 53*x = 48*x + 80. Which is smaller: -14 or m?
-14
Let a be 20/15 + (-10)/(-6). Suppose -43 = -2*q - l - 11, a*q = l + 53. Is q bigger than 15?
True
Let k(p) = -11*p**3 + 2*p**2 + 3*p + 2. Let w be k(-2). Is 93 < w?
False
Let c = 0.222 - 0.162. Which is bigger: c or 0.016?
c
Suppose 2*p = -2*c + 124, 4*p - 5*c = 256 - 8. Let t = -60 + p. Let g be (0 - 27/(-2))/6. Is t less than g?
True
Let l be (4 - (-9945)/20) + -4. Let m = -500 + l. Suppose 7 = 3*o + 19. Is m >= o?
True
Suppose -17*n + 23*n - 30 = 0. Suppose 4*g = n*a + 22, -5*a = -3*a + 4*g - 8. Are -12/19 and a nonequal?
True
Let q(z) = -z**2 - 3*z + 6. Let d = -98 + 94. Let y be q(d). Which is bigger: y or -18?
y
Suppose 0 = 21*d - 881 + 4241. Let c = d - -157. Which is smaller: c or 3?
c
Let b be (2 + 2 - -21)*4/10. Is b > 4?
True
Let z = 49.56 - 49. Let y = -4.56 + z. Is y < 1?
True
Let p = -3 + 6. Suppose 0 = 4*f + 2*h - 2, -p*h + 1 = 2*f + 2. Suppose -3*n - f = 5. Is -7/4 < n?
False
Suppose -10 = -3*b + 4*y, 5*b - y - 34 = -3*y. Suppose -q = -b*q + 2*j + 38, j + 7 = q. Which is bigger: q or 5?
q
Let l = 0.1 - 0.099. Let u be ((-18)/30)/(3*(-30)/50). Does u = l?
False
Let m = 0.97 + -0.99. Let d = -489/10 - -97/2. Is d != m?
True
Let l be (-1)/2*(4 - 4). Let n = -2 - l. Which is bigger: -0.01 or n?
-0.01
Let o(k) = -18*k - 74. Let f be o(-5). Which is bigger: 40 or f?
40
Let t = -0.06 - -3.06. Let g(x) = -11*x**2 - 2*x + 1. Let y be g(-2). Let n be (26/y)/(-1 - 1). Is t greater than or equal to n?
True
Let a be -9*-1*4/(-12). Let r be (-2)/5 + 2/5. Is a at most as big as r?
True
Let y be ((-2)/44 - 0)*(-18 - -14). Which is smaller: y or 2?
y
Let j(o) = o**2 - 6*o + 3. Let a be j(4). Suppose -7*p = 3*p + 70. Which is smaller: a or p?
p
Let j be 3 - -1*(-2 + 2). Suppose j*l - 4*l = 4*r - 11, -l + 8 = 3*r. Let n be (720/(-52))/(-5) - r. Is n smaller than 1?
True
Let h = 4219/3 - 1405. Is h greater than or equal to -44?
True
Let a be 6/(-10) + (-140)/(-25). Suppose -k - a = 7. Let t be (-4)/k*0/3. Which is greater: -1/4 or t?
t
Suppose -117 = -7*s - 33. Suppose s = -4*o + 4*c, -2*o - 3*o + 3*c = 9. Is 6/29 <= o?
False
Let s = -17 + 22. Suppose -2*v + 7 = s*t - 8, -2*t - 36 = -2*v. Let q = v + -15. Is q less than or equal to 10/9?
True
Let k = -17 + 5. Suppose -2*h - 4 = -8, u + 4*h + 8 = 0. Let f = k - u. Is 2 less than f?
True
Let x = 4.2 + -3.42. Let u = 0.68 - x. Is u bigger than 74?
False
Suppose -5*j + 0*b + 5*b = 0, 3*b - 25 = -2*j. Let n be 5 + (-3)/(-18) - j. Which is smaller: 3 or n?
n
Suppose 0 = -9*f + 20*f + 286. Which is smaller: f or -29?
-29
Let r be 16/4 + 4*1. Suppose 3*h = -4*i - 2*h - r, -4*h - 13 = i. Suppose i*v = 4*v. Which is bigger: 