/(-28) - 6) + 7008/24822. Is l equal to 1?
False
Suppose 29 - 8 = 7*o. Let f be -1 + -2 - (o + -5). Are f and -3 unequal?
True
Let i = -217 + 216.9. Let o = -69.4 - -78. Let p = o + -9. Is i less than p?
False
Let r = -0.0815 - 357.9185. Let i = r + 356. Let f = -14 + 14.9. Which is greater: i or f?
f
Let y be 365/(-15)*(0 + -3). Suppose -10*h - 9 = 179*w - 178*w, 5*w - 5*h - 395 = 0. Is y at most w?
False
Let w be 0 + (10*3/(-15) - (-257)/117). Which is smaller: -1 or w?
-1
Let k be -3 - (275/(-175) - 3/7). Let a be (16/4)/(122/7). Which is smaller: k or a?
k
Let l(k) = -266*k - 4595. Let o be l(-27). Is o < 2590?
True
Let q(j) = 2. Let b(m) = 4*m + 52. Let l(r) = -b(r) + 5*q(r). Let d be l(-13). Let g = 12 + -12.1. Which is smaller: g or d?
g
Let w = -1734 + 932891/538. Which is greater: 0 or w?
0
Let o be (-14 + 9 + 5)*-1. Is -1/2118 <= o?
True
Let l be (14/5224331)/((-1534)/(-91) + -17). Is -1 at most as big as l?
True
Let r(x) = -x**3 + 7*x**2 + 3*x - 4. Let v be r(7). Let c = 56 - 92. Let z be v/c + (-15)/(-60). Is z < 0.1?
True
Suppose 0 = 2*s - 10, 0*f = -5*f + s + 20. Let v = -210 + 210. Suppose v = 31*w - 32*w + 13. Is f equal to w?
False
Let n be (-1729 + 244)/(1 + 0). Is -1484 < n?
False
Let v = 92 - 97. Let b be 0/((1*-3)/(v + 6)). Suppose b = -5*z - 67 + 172. Which is bigger: -0.1 or z?
z
Suppose -7*t + 48 = 76. Let f be 5957/(-14) - t/((-16)/(-6)). Is -424 != f?
False
Let k be 5 + (-136)/24 - 14388/(-90). Which is greater: 159 or k?
k
Let c = -5438 + 5360. Which is smaller: c or -76?
c
Let z(a) = 10*a**2 - a + 2. Let d be z(4). Suppose -51*w - d = -49*w. Is -79 smaller than w?
False
Let j be (6204/204)/((-2)/((-2)/(-5))). Let b = 31/5 + j. Is 3 >= b?
True
Let j(w) be the third derivative of -w**5/60 + 5*w**4/8 + 5*w**3/3 + 5*w**2. Suppose 4*f - s = 60, -f = -5*f - 5*s + 84. Let m be j(f). Is m > -6?
False
Let l be 50/8*(1 + (-28836)/(-9620) + -4). Which is smaller: l or -1?
-1
Let b = -1120.7 - -1120.632. Which is smaller: b or -54?
-54
Let j = -46 + 32. Let w = j - -12. Let y = 44/21 + -1670/777. Which is greater: w or y?
y
Let w = -7036 - -7505.7. Let q = w - 470. Is -12/7 greater than or equal to q?
False
Let l(c) = -72*c**2 - 17*c - 5. Let b(k) = 4*k**2 + 11*k + 5. Let p be b(-1). Let u be l(p). Is u less than or equal to -259?
True
Let d be (182/4)/(5/(-20)). Let h be 2/((-4)/d) - (-12 - -15). Suppose -3*r - 5*a + h = -a, -r - a = -29. Are 29 and r equal?
False
Let p(n) = -3*n - 28. Let h(z) = z**2 - 2*z - 12. Let s be h(-4). Let a be p(s). Let k = a + 56. Which is greater: -11 or k?
k
Let v = -2484 + 17386/7. Which is smaller: v or -4003?
-4003
Let p(a) = -2*a**2 + 14*a + 8. Let c(f) = -2*f**2 + 15*f + 9. Let l(m) = 4*c(m) - 3*p(m). Let n be l(11). Let k = n + 35. Which is smaller: k or 19?
k
Let u(j) = 6*j - 4. Let r be u(0). Let n be 13 + r - -2 - (2 + -2). Let m = 9 + -4. Which is smaller: n or m?
m
Let h be 24/15*33/(-12)*10. Let d be (36/(-8) - -4)*h. Is d at most as big as 25?
True
Let j = 116 + -118. Suppose 25*b = 24*b + 7. Suppose -3*g + b*g = 4. Which is smaller: j or g?
j
Suppose 4*d + 132 = -u, 247*d - 249*d + u - 66 = 0. Do -34 and d have different values?
True
Let i = 7261/10570 - -69/5285. Let c = -0.31 + 0.01. Is c >= i?
False
Let w(c) = -c**3 + 9*c**2 + 41*c - 36. Let x be w(18). Are -2215 and x unequal?
True
Let j = 13797 - 13770.72. Is 2/7 < j?
True
Let a(r) = -6*r**2 - 8*r + 8. Let j(y) = -y**2 + 13*y - 11. Let g be j(12). Let o be a(g). Let s be 170/o - 2 - (-42)/(-63). Is s at least -31?
True
Let i(z) = 6*z + 9*z - 2*z**3 + 7*z**3 + 10 - 5*z**2 - 6*z**3. Let r be i(-7). Let l be (-42)/(-8) + r/24*-2. Which is bigger: l or 8?
8
Suppose -4 = h - 3*h. Suppose -h*r = 2*r - 8. Let c be (r/5)/(-5 + 165/25). Is c at least 0.1?
True
Let x be (-74)/(-444)*(-2 + 644). Is x at least -34?
True
Let p = 12.14 - -633.86. Let r = 641 - p. Is r != -5?
False
Let w = 139 + 2441. Let u be w/50 + (-34)/(-10) + -3. Which is bigger: -2 or u?
u
Let y(l) = -l**2 - l + 24. Let f be y(-7). Which is smaller: f or -430/23?
-430/23
Suppose 4*u - 3*t - 2 = 0, 2*t = 5*u + 19 - 32. Suppose 0 = -z - 5*s + 10, -3*z + 5*z = 5*s + 95. Which is bigger: u or z?
z
Suppose 38*s + 123 = 35*s - 3*z, 2*z + 8 = 0. Which is bigger: s or 40?
40
Suppose -11*o = 170 + 314. Suppose 4*z + 4 = 0, 2*h + 3*z + 1506 = 5*h. Let j be 8/o + -2 + h/33. Which is smaller: j or 12?
12
Let n = 28.961 - 29. Let f = 0.039 + n. Let y = 16 - 15. Which is smaller: y or f?
f
Let k = -451 + 449.925. Let v = -0.7 + 0.775. Let f = v + k. Which is smaller: f or -2/79?
f
Suppose -29*p + 19*p + 10 = 0. Let r be (-4)/(-18) - (3 - (-14749)/(-5355)). Which is greater: p or r?
p
Let i = -8502185/1280594 - -644/97. Is -1 smaller than i?
True
Let h = 1410 + -1413. Let q = -47 + 41.1. Which is smaller: h or q?
q
Let h be 111/21 - 3 - 2. Let l = -422.61 + 423. Is h < l?
True
Let s = -219.58 - -219.68. Which is smaller: s or -99/35?
-99/35
Suppose 188*x + 156*x = 22016. Are 842/13 and x nonequal?
True
Let l = -264257.931 - -264414. Let p = l - 156. Let r = -0.131 - p. Which is smaller: r or -2/45?
r
Suppose -9 - 29 = 38*b. Which is smaller: b or -4696?
-4696
Let m = -83788/6501 - -428/33. Which is smaller: m or 0?
0
Let t = -901/20 + -199/4. Are -95 and t equal?
False
Let z = -151.11 + 151. Let i = z + -0.89. Which is smaller: i or -299?
-299
Let m be (-3664962)/1221773 + (-45)/(-10)*(-4)/(-6). Is 0 > m?
False
Let m(y) = 26*y - 50*y - 39 + 22*y. Let r be m(-22). Are 11/2 and r non-equal?
True
Let p = -88 + 90.99. Let i = p + -3. Let w = i + 0.1. Which is smaller: -2/9 or w?
-2/9
Let s = 10350 - 10351. Which is smaller: s or 0.163?
s
Let g = 4473.13 + -4485. Is g != -2/7?
True
Let r be (2 - (-7 + 6))/(6/4). Suppose -2*q - r*h = -4*h - 12, -3*q - h = -2. Suppose 249 = 4*g + 5*j + 6, 0 = 5*g + q*j - 291. Does 56 = g?
False
Let h(y) = 15*y + 498. Let i be h(-78). Which is greater: i or 1/5?
1/5
Let k be -2 + 18/7 - (-52516)/(-28). Let h = k - -5674/3. Is h >= 16?
True
Let j(v) = 2*v**2 + 44*v - 3. Let r be j(-22). Which is greater: -208 or r?
r
Suppose 2*m = 1 + 3. Let l = -252 + 261. Are m and l equal?
False
Let c = 10934 - 11030. Does -103 = c?
False
Let f(a) = a**2 - 10*a + 16. Suppose 2*q + 38 - 42 = -4*x, 4*q - 2*x = 8. Let t be f(q). Is t at least as big as 3/653?
False
Let w = -753.1 + 750.039. Let a = w - 0.539. Which is bigger: 0.4 or a?
0.4
Let d(r) = r**3 + 42*r**2 + 318*r - 19. Let m be d(-10). Is 6/487 > m?
False
Let u = 1761 + -1760. Let w(d) = -d**2 + 14*d - 16. Let t be w(13). Let q be ((-2025)/(-339))/t - -2. Are u and q equal?
False
Suppose -85*q = 96*q - 1917333. Is 10593 bigger than q?
False
Let c be (0/(23 - 21))/(0 - -1). Is 18/271 at least c?
True
Let v = -2 + 0. Let m = 912242/15 + -60863. Let s = 137/3 + m. Is s greater than or equal to v?
True
Let t = -1752/565 + 34/113. Let z be -4*-1*(-2 - -1). Which is greater: t or z?
t
Let c = -0.106 - 373.894. Let l = 372.6 + c. Which is smaller: 3 or l?
l
Let y = -21 - -12. Suppose -197*k + 103*k - 40 = -89*k. Which is smaller: k or y?
y
Suppose -114 = 6*x + 78. Suppose -3*y = 2*v + 7 + 85, -4*v - 704 = 26*y. Which is smaller: x or y?
x
Let o be ((-57)/950)/(18/(-255)). Let s be 2/(-5)*15/(-6). Which is greater: s or o?
s
Let p = 4196121/469 + -8947. Are -1 and p nonequal?
True
Let c(t) be the third derivative of 1/60*t**5 - 8*t**2 + 0 + 0*t - 1/6*t**4 + 3/2*t**3. Let f be c(6). Is 20 equal to f?
False
Let n = -11490 + 11486.4692. Let i = -0.0792 + n. Let j = i - 0.39. Do j and -0.5 have different values?
True
Let h = 76.75 - 33.75. Let r = 0.0228 - 42.9228. Let u = h + r. Which is bigger: u or 3/44?
u
Let x be ((-32)/2 - -18)*2/(-16). Are -0.41 and x non-equal?
True
Suppose -11*z + 9*z = 4*t + 1898, 2*z = -t - 476. Let l = -1003/2 - t. Which is smaller: l or -27?
l
Let w(s) = -s**2 - 11*s + 134. Let k be w(-18). Suppose -2*x = 6, k*m - 5*x = 6*m - 79. Is m greater than -52?
True
Let w(n) = 57*n - 2008. Let z be w(39). Is z less than or equal to 219?
True
Let j be (17/28 + 0)*-4. Is j at most -2/47?
True
Let u(o) = 19*o**3 + 3*o + 2. Suppose -2*d - 6 = -4*l + 6, -l = 5*d - 14. Let f be 3 - d - 4 - -2. Let g be u(f). Which is greater: -18 or g?
-18
Let h be (-36)/(-1170) - 49/(-520). Are h and -10/41 unequal?
True
Sup