 greater than or equal to a?
False
Let d be (-15)/(-2 - -1)*(291 + -236). Is d at least 2/23?
True
Let r = 30.464 + -30.384. Let k = -5524/285 + 286/15. Which is smaller: k or r?
k
Let j = 108 - 108.95. Let r = j - -0.85. Which is smaller: -27/8 or r?
-27/8
Let n = -50765/34 + 1493. Are -2/7 and n equal?
False
Suppose -138*y - 26783 = 14147 - 8776. Is y smaller than 8?
True
Let r = -2900 - -60902/21. Which is smaller: -1.93 or r?
-1.93
Let m = -19 + -53. Let x(s) = 3*s**3 - s**2 + 3*s - 4. Let v be x(3). Let d = m + v. Is d less than or equal to 7?
True
Let w be (-3495)/(-105) + 2/(-7). Suppose -88 = 3*l - 2*g, 0*l - l = 3*g + w. Which is greater: l or -29?
-29
Suppose 2*w - 58 = u + w, -5*u = -2*w + 293. Let i = 63 + u. Suppose -i*f = 2*q - 16, -3*f = 2*f + 2*q - 21. Is -3 equal to f?
False
Suppose 100*g = 106*g - 264. Suppose -9*j + 197 = g. Are j and 13 non-equal?
True
Let z(t) = -4*t + 127. Let i be z(13). Suppose 3*q + i = 3*w, -7*w = -3*w + 3*q - 86. Is w at least 28?
False
Let x = -862/17535 + -4/501. Is x <= 2/119?
True
Suppose k = -3*v + 56, -9*v = -10*v + 5*k - 8. Let m be (v/(-255))/((-618)/207 + 3). Are m and -4 equal?
False
Let k = -200 - -199.854. Let u = k + 107.146. Which is greater: -1 or u?
u
Let t be 2972/(-1716) - -8*(-10)/(-240). Which is smaller: 0 or t?
t
Suppose 4*c + 3 = 15, 4*f + 979 = c. Let s = 233 + f. Which is greater: -19/2 or s?
-19/2
Suppose -2*o - 9*o - 36 = 7*o. Which is bigger: o or 320?
320
Let k be 10/(-6)*276/1380. Which is greater: k or -0.046?
-0.046
Suppose -99*v + 65 + 20 = -14. Which is smaller: -1/7681 or v?
-1/7681
Let g(r) = -2*r**3 - 23*r**2 + 83*r + 21. Let y(t) = t**3 + 11*t**2 - 42*t - 11. Let z(s) = 4*g(s) + 7*y(s). Let u be z(-17). Is u bigger than -63?
True
Let w = 1/1902 - 3809/9510. Is w not equal to -157.1?
True
Let y = -2390 + 2390. Which is greater: y or 3/4193?
3/4193
Let t be (0 - -2) + ((-12192)/52 - 2). Let j = 5029/52 + t. Which is greater: -0.1 or j?
-0.1
Let u = 2976 + -3900. Is u greater than -927?
True
Suppose 23*m + 20152 = 4*m - 3*m. Which is bigger: m or -914?
-914
Suppose 0 = -11*f + 3*f + 640. Let h = 65 + -45. Let p be (26 - 2)/(6/h). Is p < f?
False
Let q = -1367 + 23231/17. Let s(n) = n**2 - 303*n + 6183. Let m be s(22). Is m greater than q?
True
Suppose p - v - 19 = 4*v, -5*p - 5*v = -5. Suppose 0 = -5*i + p*i. Suppose i = -4*n + 8*n - 32. Is 9 less than n?
False
Let a = 6601 - 6776. Is -10/9 less than a?
False
Let l be ((-14)/(-8))/((-1)/(-4)). Let w = 4 - l. Suppose 25 = -5*v, 0 = -152*c + 153*c - 6*v - 26. Which is greater: c or w?
w
Suppose -33*h + 598 = -10*h. Suppose -h*b + 1386 = -17*b. Which is smaller: b or 153?
153
Let r = 71 - 38. Let c = r + -28. Let a be (15/18)/c + 438/(-36). Is -12 <= a?
True
Suppose 0 = q + 2*b + 1 + 8, -2*b - 27 = 3*q. Let h = 1494/11 - 11140/77. Are h and q equal?
False
Let d = -161 - -102. Let a be (8/(8/(-2)))/((-2)/d). Let t be (348/8)/((-9)/12). Which is smaller: a or t?
a
Let p be 2*(-6 + 5)*-1. Let r be 2/(-11) + p/((-44)/3846). Is -175 at least r?
True
Suppose -41586 = 37*v + 2956 - 4360. Is -1087 >= v?
False
Suppose 0 = -u - 1, 55 = 5*l - 5*u + 20. Which is smaller: 73/10 or l?
l
Suppose -2*c + 495 = 5*h, -2*c + 3*h + 21 + 482 = 0. Let o = c + -223. Which is smaller: o or -3?
-3
Let c be -2*1/(-68)*(144 + -148). Which is bigger: c or -5/2?
c
Suppose 216*g + 157661 = -100*g - 559343. Is -2268 at most as big as g?
False
Suppose -7*j - 115 = 1103. Is j equal to -1?
False
Let k = 6053 + -10504. Is -4450 >= k?
True
Suppose -8 = -4*f + 4*t, 32*f - 5*t = 30*f + 19. Let j be f/(9/969)*(-30)/(-60). Is j != -162?
True
Let g = -12669.5 + 12779.702. Let f = -0.202 + g. Let t = 109.6 - f. Which is greater: -2/7 or t?
-2/7
Suppose -29*u + 33*u - 3*q = 87, 2*q = -3*u + 44. Suppose 17*p - u*p = -x + 2, 5*x - 14 = p. Which is bigger: -2/199 or p?
p
Let z = 1033619/18929 + -1256/23. Which is smaller: z or 1?
z
Let w(v) be the second derivative of -119*v**3/6 - 139*v**2/2 - 35*v - 2. Let t be w(3). Which is greater: t or -497?
t
Let s = 141.2 - 143.5. Is 7/6 > s?
True
Suppose -2*r - 2 = b - 3*r, -r + 5 = 2*b. Suppose z = 4*c + 17 - 5, b = -c. Which is smaller: 7 or z?
7
Suppose 12 = -3*h + 4*q, 0 = -h - 2*h + 3*q - 9. Let w be h/((-2)/(-4)*-2) + 20. Suppose 0 = -9*d + 4*d + w. Which is greater: d or 2?
d
Let b = -281 - -278. Let j be b - (-2*1)/(40/60). Which is greater: j or 1/344?
1/344
Let w(v) be the third derivative of -v**5/30 + 3*v**4 - 71*v**3/6 - 68*v**2. Let z be w(35). Is -10/11 < z?
False
Suppose -2*f - 6 = -r, 51*f - 45 = 46*f - 5*r. Which is smaller: -0.03343 or f?
-0.03343
Let g(c) = 5*c + 21. Let y be g(-8). Let h = y - -14. Let v(i) = -8*i**2 + 1. Let k be v(-1). Which is greater: h or k?
h
Suppose 0 = 4*f - 4*d + 24, 5*d - 28 = 3*f - 0*d. Let v be 7/(-35) + (-19)/(-100). Is f smaller than v?
True
Suppose 0 = -76*o + 73*o + 5*k - 3, -2*k = 0. Let z be (o/3)/(38/1064). Which is bigger: z or 1?
1
Let k be ((-72)/702)/(5/((-30)/(-4))). Let t(c) = c + 9. Let r be (-8)/(-1 + 2 + 0). Let j be t(r). Which is bigger: j or k?
j
Let z = 60.4 - 61. Is 348 not equal to z?
True
Let l be (-100)/(-12) + -7 - (-570)/(-9). Is -23 equal to l?
False
Let t = 88/95 + -20219/22135. Let y = 439/2097 + t. Does 31 = y?
False
Let o = 193693401/7280 - 425575/16. Let k = o + -11/130. Is 9 at most k?
False
Suppose -2*r - 45 = -4*z - 73, r = -2*z - 10. Let d be (-54)/279*(-2 + 1). Are r and d equal?
False
Let x = -164.8 + 60.9. Let h = -104 - x. Which is greater: h or -22?
h
Suppose 7*g - 364 = 14*g. Let h be (-116)/g - (-1)/(1/(-2)). Let q be ((-3)/(-12))/(3/12). Which is smaller: h or q?
h
Suppose 13*j - 46 = 877. Let r = j + -72. Let m = -6665/22 + 303. Which is smaller: m or r?
r
Let u(v) = v**2 - 6*v - 171. Let r be u(-16). Is 1437/8 greater than or equal to r?
False
Let g = 0.27 - 0.51. Let u = 0.34 + g. Suppose 2*r + 10*z + 146 = 7*z, -331 = 5*r - z. Are r and u unequal?
True
Suppose -4*n + 7*x - 4*x + 14 = 0, 0 = -3*n - 4*x - 2. Let m = 9261/11 - 194195/231. Which is greater: n or m?
n
Suppose 8*q - 8066 = -7538. Which is greater: q or -7?
q
Let w = 4837 - 9675/2. Do w and 83 have different values?
True
Suppose 21 + 6 = 9*b. Suppose -2*u + 4*w + 8 = -2, 5*w = b*u - 13. Is -3/20 less than or equal to u?
True
Let b = 6638 + -10673. Which is smaller: b or 2/3?
b
Let h = 1 - 1. Let r be 114/1767 - (-1332)/(-1426). Which is greater: r or h?
h
Let t be 2*(3 - 17624/5872). Let i be (-7)/(-14)*0 - (1 + -1). Which is bigger: t or i?
i
Let p be (21/(-42))/(7/((-28)/30)). Is p greater than or equal to -0.132?
True
Let y be (-4)/(-1) + 90/(-4). Let c(t) = t**2 - t + 17. Let z be c(0). Suppose 8*d + z + 135 = 0. Is d smaller than y?
True
Suppose 2*g + 3*h = -0*h + 62, -g + 5 = -5*h. Let x = 38 - 14. Let w = g - x. Does -0.2 = w?
False
Let w = -9712 - -8845. Do -6060/7 and w have the same value?
False
Let u = 506/7 - 70. Suppose -3*h = -3*o - 6*h - 12, -2*h - 9 = o. Which is smaller: u or o?
o
Let p be (-638)/7 + (-5)/(-35). Let i = p - -53. Let w = -38 - i. Which is smaller: w or -6/5?
-6/5
Let k be (-9)/4 - 6/8. Let q be -1 + k + 8 + -2. Let r be (1 - 21/5) + 204/51. Which is smaller: r or q?
r
Let d = -13065/112 + 817/7. Are d and -26.8 equal?
False
Let w = -11098 + 11119. Which is greater: w or -7?
w
Let y = 195 + -186. Let k be y*14*(-6)/36. Does k = 0?
False
Suppose -3*i - 395 = -2*z + 293, -2 = i. Is z >= 328?
True
Let g = 497785/7 - 71325. Which is smaller: g or -212?
g
Suppose -230*w - 23*w + 54*w - 1235193 = 0. Which is smaller: -6206 or w?
w
Let g = -82137194972/101804727 - -648646/59991. Let i = g - -796. Do 1 and i have different values?
True
Let d(v) be the third derivative of -v**6/40 - v**5/4 - v**4/12 - 8*v**3/3 - 51*v**2 - 2. Let k be d(-5). Which is greater: k or -19/4?
-19/4
Let d = 0.9 + -1. Let t = -2421 - -2420.45. Is t greater than or equal to d?
False
Let c be (-2)/(-3) - (9 + 279/(-27)). Suppose -3*z - 46 - c = 3*g, 3*z - 36 = g. Let l = -1 + -1. Which is smaller: g or l?
g
Suppose 0*a + 30 = a. Let q be -5*(-2)/(a/(-9)). Let c be (-12)/(-99)*q/(-10). Which is smaller: c or -1?
-1
Let p = 25 - 42. Let u = p + 19. Let z be (u + (-27)/3)*-1. Which is bigger: 5 or z?
z
Let d = 0.172 - 2.06. Let g = d - 0.412. Let o = -0.3 + 1.3. Which 