 c be b(8). Is 58 equal to c?
False
Let y be (-6)/(3/((-39)/2)). Let f = 2 + y. Let o be 2/(-8)*1*2184/(-13). Which is greater: o or f?
o
Suppose 24 - 14 = -2*r, -2*f = -4*r - 68. Suppose 41*x = 29*x + f. Is 9 at least x?
True
Suppose 883*q - 988*q + 3255 = 0. Which is smaller: 29 or q?
29
Let y be -1 + (10 + -6 - 0) + -6. Let p(d) = d**2 - 7*d - 16. Let x be p(8). Which is smaller: y or x?
x
Let w be (-3)/(-2)*(-4)/(-21). Suppose -o = -13*v + 9*v + 28, 4*o = 3*v - 99. Let g be o/42 + 37/28. Is g at least as big as w?
True
Let k = 912.1171 - 912.2. Which is smaller: -1/5 or k?
-1/5
Let d = -17.831 - 360.569. Is -1/4 at least d?
True
Let d = 6.2 - -373.8. Let i = d + -377. Is -31 bigger than i?
False
Let v be ((-90)/(-240)*-2148)/((-2)/4). Which is bigger: v or 1606?
v
Let o = 258 - 113. Let d = 11 - o. Is -135 at least as big as d?
False
Let k = -10.8 - 2.2. Let b = -1912.3 + 2202. Let j = b + -290. Which is bigger: k or j?
j
Suppose -1861 = -377*o - 96488. Suppose -5*q + 252 = 3*d + 1005, -5*q + 502 = -2*d. Is d > o?
False
Let v be ((9 - 2)/((-70)/(-20)))/(1 + -3). Suppose 3*k + 6 = -9, k + 71 = 2*j. Which is bigger: v or j?
j
Let r(v) = v**2 + v - 3. Let y be 0/(-4 + 3 + 0). Suppose -j + 10 = -3*m, 3*m + 2*j + y + 7 = 0. Let c be r(m). Which is smaller: c or -0.2?
-0.2
Suppose -279 = 26*v + 709. Is -235/6 > v?
False
Let u be 1/(40/12 + -3) - -39. Let w(b) = -b**2 + 40*b + 110. Let q be w(u). Is 25 equal to q?
False
Let a = 439 + -429. Suppose 2*b + 3*k = -92, -5*b - 6*k + a*k - 184 = 0. Is -37 less than b?
False
Let k(f) = 2*f**3 + 18*f**2 + 2*f + 6. Let c be k(-9). Let w be c/18*(-31)/(-840)*-86. Let x = w - 1/63. Which is greater: x or 1?
x
Let j = 58.5 + -57.713. Let n = j - -0.213. Which is greater: -23/4 or n?
n
Let b(r) = -10*r**2 - 300*r. Let p be b(-30). Which is smaller: p or -15/152?
-15/152
Let c be 9/(-5)*((-45)/27 + 5). Let b be 212/116 + 4 + c. Is b less than or equal to 1?
True
Let h = 5 + 0. Let t = 35/246 - 26353/188682. Let y = t + 1516/6903. Which is smaller: y or h?
y
Let x = 33/2 + -17. Let f be (-3725)/(-325) - (4 - -1). Let w = f - 394/65. Which is bigger: x or w?
w
Let p = 66 - -23. Let l = -1.75 + -88.25. Let u = p + l. Which is smaller: u or 2?
u
Let c(d) = 17*d - 37. Let g be c(9). Suppose g = -4*u - 4*w, 122 = -4*u - 2*w + w. Let i(h) = h**2 + 29*h - 62. Let z be i(u). Which is smaller: 2/29 or z?
z
Let q be (0 - -6)*-8*12/(-576). Is -27/73 > q?
False
Let s = -115 + 213. Let v = s - 136. Is 1/4 at least as big as v?
True
Suppose 0 = 5*d + 2*b - 3 - 2, -4*d = 3*b - 11. Let k = 2896/8109 - 2/477. Which is greater: d or k?
k
Suppose -3*u - 2*u + 57 = -a, -4*u = -3*a - 116. Let d = 34 + a. Let y be (6/(-24))/1 - d/24. Which is smaller: y or -3.8?
-3.8
Let r = 1167.5 + -1170.7. Is -7 less than or equal to r?
True
Let a = -99 + 99. Suppose a*g + 17*g + 17 = 0. Which is smaller: g or 3/115?
g
Suppose 3*b - 1 = 2*b. Let s be (15/2775)/(2/6). Which is greater: s or b?
b
Let z = -2915.93 + -154.07. Is -0.2 at most z?
False
Let r = -17 + 14. Let h(p) = -5*p**2 + 2*p - 2. Let x be h(r). Let i = x + 32. Is i > -20?
False
Let k be 34*(-75)/3024 + 78/(-624). Is k at most 0?
True
Let x = 6976 + -7875902/1129. Is x bigger than -1?
True
Let i = -8 + 8.9. Let q = 1119179/6 - 186530. Are i and q unequal?
True
Let s = -43632.7 + 43632. Which is bigger: -0.84 or s?
s
Suppose 144 - 14 = -5*i. Let l(s) = 4*s**3 - 15*s**2 - 33*s + 1. Let b be l(-2). Let m = i - b. Is 2/5 less than or equal to m?
False
Let u be 18168/(-14)*(-81)/324 - (-15)/(-35). Which is bigger: u or -3/8?
u
Let l(i) = -34*i - 100. Let j be l(-8). Let n = 143 - j. Which is smaller: -28 or n?
n
Let x = -84 - -85. Let u be 4/8*6 - (5 - x). Let w(a) = -a**2 - 2*a - 1. Let v be w(-1). Is v less than or equal to u?
False
Suppose h - 6 + 1 = 4*b, -2*b = -h + 5. Suppose -15*z + 522 + 123 = 0. Suppose 0 = -z*j + 4*j - 156. Is j at least as big as b?
False
Let i(w) be the first derivative of 9/2*w**2 - 2*w - 26 + 2*w**3. Let r be i(-2). Is r > 4?
False
Let g = -91.11 - -55.98. Let j = 1359 + -1394. Let y = g - j. Which is smaller: y or -2/3?
-2/3
Let c(j) = -10 - 3 + 6*j + 19*j - 6. Let l be c(2). Let g = l - 37. Is g < -50/9?
True
Let m be (-105)/(-2)*(7 - 5). Let r = m - -120. Is r at least 226?
False
Suppose -3*j - 586 = -4*r + 634, 0 = 5*r - j - 1536. Let u(x) = -1203*x - 6910. Let m be u(-6). Is r not equal to m?
False
Let m be (3/3 - 0)*18/1524*16. Which is smaller: -1 or m?
-1
Suppose 2*o + 3*v + 5 = 0, 4*o - v - 11 = -0*v. Let l = -2.886 - -2.81. Let y = -0.126 - l. Is y <= o?
True
Suppose 147*o - 152*o + 145 = 0. Is o at least as big as 297/10?
False
Let q = -862 + 875. Let f = 3 - 1. Which is smaller: f or q?
f
Suppose 0 = -2*b - 4*a + 46, -b + 4*a + 7 = 2. Is 654/37 at most as big as b?
False
Let c(h) = -88*h + 152. Let f be c(101). Do f and -8738 have different values?
True
Suppose r + 6 + 4 = 0. Let p be 5/r*(-181 + 1). Suppose 3*g + p = -2*g. Which is bigger: g or -19?
g
Let r(a) = a - 8. Let g be r(9). Let q = 2/1845 - 2111/245385. Is g smaller than q?
False
Let k be -3*(-2 - 280/36*3). Suppose -k - 68 = -p. Suppose -2*z = -0*z + p. Which is smaller: -71 or z?
z
Let n = -230.983 + -0.017. Let m = n - -42. Is 0.1 > m?
True
Let g = -39.176 + 0.476. Let f = g - -42.2. Which is smaller: 1 or f?
1
Let i = -808 - -469. Suppose 303 + 1392 = -35*o + 30*o. Is o greater than or equal to i?
True
Let d = 5.44 + 0.56. Let v be 5 - ((-27)/54)/((-2)/20). Is d bigger than v?
True
Let u = 160 + 12. Let z = 171.9 - u. Is z at least as big as 45?
False
Suppose -5*g + 3*s - 22067 = 47012, 0 = -4*g + 2*s - 55262. Is -13812 greater than or equal to g?
True
Suppose 6*p = 9 + 3. Let x be (-1)/5 - (-688)/40. Let r be (-1)/10*(6 - 1 - x). Which is smaller: r or p?
r
Let d = 8710/9 - 968. Let z = -234 + 153. Let o = 76.7 + z. Are d and o equal?
False
Let c = -41 - -41.563. Let i = -0.363 + c. Is -0.3 at most as big as i?
True
Let y(l) = l**2 - 22*l + 52. Let t be y(10). Suppose 0*w + 4*w + 264 = 0. Are w and t unequal?
True
Let d = 15 - 9. Let h be 1/(-9)*(-3 + (-105)/(-25)). Let s = h - -82/15. Which is smaller: s or d?
s
Let v be -3 + (4122/24)/(-3)*-4. Let w(o) = -o**3 + 4*o**2. Let h be w(4). Suppose 5*b + h*b + v = 3*d, -5*b + 350 = 5*d. Which is bigger: 73 or d?
73
Let u(f) = -f**3 - 27*f**2 + 21 - 18 + 20 + 47*f + 2*f**3. Let m be u(25). Is -56 < m?
True
Let k be ((-8)/20 - (-1461)/15) + 20 + -14. Are k and 100 unequal?
True
Let c = 24 + -19. Let y be 8/22*10/(-20). Which is smaller: y or c?
y
Let q = 29753/88 + -3099/11. Which is smaller: q or 56?
56
Let n(m) = m**3 + 2*m**2 - 225*m - 17. Let o be n(-16). Which is smaller: o or -1/3829?
o
Let m(l) = l**3 - 2*l**2 - 13*l + 708. Let j be m(0). Does j = 714?
False
Let x be (-4)/(-18) - 5*925/(-45). Suppose 11*c + x + 73 = 0. Is c at least as big as -31/2?
False
Let d(z) = z**3 + 6*z**2 - 11*z + 40. Let g be d(-8). Is g < 39/41?
True
Let b be -13 + (76/(-16) + 5 - (-6 + (-3959)/148)). Let l be 17*(-3)/4*-219. Let q = 2812 - l. Which is smaller: b or q?
q
Let h(l) = 21*l + 372. Let f be h(-34). Let j = f - -18124/53. Which is greater: 0 or j?
0
Let b be (-520)/728 + 15/70. Is b less than 13342?
True
Suppose -27*a - 360 = -63*a. Let w = -37/84 + 3/28. Which is smaller: w or a?
w
Let o = -8641 + 8642. Which is smaller: 17/65 or o?
17/65
Let v = 16 - 67. Let h = v + -48. Let m = 107 + h. Is -1/3 at least as big as m?
False
Let p(k) = -k**3 + 32*k**2 - 145*k + 27. Let q be p(5). Let w = -13914/5 - -2759. Which is smaller: w or q?
w
Let v(s) = 2*s**3 + 5*s**2 - 12*s - 17. Let q be v(3). Let x = 10 + -37/4. Which is bigger: q or x?
q
Let k be (-4)/114*(-432 + 4059). Which is smaller: -127 or k?
k
Suppose x + 34 + 3 = -3*v, -2*x + 46 = -4*v. Let g = 48.6 + -64.6. Which is smaller: g or v?
g
Let g(p) = 3*p**2 + 33*p. Let w be g(-11). Are 11.914 and w nonequal?
True
Let x(k) = -6*k + 95. Let n be x(-4). Suppose -4*s - n + 311 = 0. Which is bigger: s or 47?
s
Let f = 79/132 - -3/44. Suppose -10*m - 214 + 264 = 0. Suppose -2*d - 2 = -2*u, d - 1 = -6*u + m*u. Is f greater than d?
True
Let a = 36 + -34. Suppose 2*h - 2*g = -a - 4, 10 = 2*g. Suppose h*c = -2*l, -l = -2*c + 4*l. Which is smaller: c or 1/7?
c
Suppose -14*a = -2*a + 2304. Let x = a +