e 0 = -2*s + 4*d - d + 1, 2*s = -4*d + 8. Suppose 2*c + 3*c = 2*f + 244, -4*c = -s*f - 196. Let m = c + -54. Is -12 <= m?
True
Let k = 163 + -117.1. Let s = 46 - k. Is s <= -16?
False
Let t = -303/5 + 67. Let y(k) = 3*k - 2*k - 2*k. Let q be y(-5). Is q != t?
True
Let v = -59046 - -1102920236/18679. Is 0 >= v?
False
Let v = 51 + -55. Let d be v/(-6)*(-3)/(-12)*1074. Is d at least 180?
False
Suppose -30 = -11*n + 69. Suppose n*d = -17*d - 1066. Which is smaller: -45 or d?
-45
Let c = -453 + 265. Let l = 197.3 + c. Let p = l + -6.3. Which is smaller: -12 or p?
-12
Let a = 542 - 762. Which is bigger: a or -6?
-6
Let o be ((-620756)/(-933))/(2/(-36)*-22 + -1). Is o greater than or equal to 2994?
True
Let g be (96/20 - 4)/((140/750)/(-7)). Which is bigger: -33 or g?
g
Let i be (-102)/(-60)*-48*(-111)/428. Let y = i + -106/5. Are 0 and y equal?
False
Let i = -82888 - -165775/2. Let l = 0.21 + -0.2. Let f = -0.006 - l. Is i bigger than f?
False
Let s(n) = 3*n - 45. Let u be s(21). Suppose 5*k + 20 = 0, 3*g + k + 10 = -u. Let t = -1 + -6. Is t at most as big as g?
False
Let q be 88/836 - (-201)/(-285). Which is smaller: q or 33?
q
Let j = 112 + -16. Let g = 247/2 - j. Let q = 91.9 - 92. Which is bigger: g or q?
g
Suppose 21 = -4*x - 3*t, 3*x + 31 = -x - t. Let l be ((-2)/(6/x))/(27/(-6)). Which is smaller: -117 or l?
-117
Let z be (40310/(-525) - 6/(-9)) + 8/20. Is -76 != z?
True
Let o = -0.0323 + -373.9677. Which is greater: o or -7?
-7
Let j = 11419 - 10282. Is j at least -2/5?
True
Suppose 3*j - 2*j = 1, 4*j = 2*c. Let h be ((-4)/(-2) - c) + 3. Suppose -h*i = 8*i - 77. Is i < 6?
False
Let m be -2 + 4 - (2 - -1). Let n = 7531 - 7545. Is n < m?
True
Let v = 302 + -1564. Is v >= -1264?
True
Let p = -21.457 - 2.603. Let x = -24 - p. Which is smaller: x or 9?
x
Suppose 446*m + 7140727 = -6096294 + 3796093. Which is bigger: -21167 or m?
-21167
Let f be (-3 - (-3)/(5 - 2)) + 1. Let p be ((-610)/30 - -9)/(f/(-3)). Is p <= -36?
False
Let b be 0 - (-3 + (-17138488)/44). Let v = b + -388978. Let k = v - 537. Which is smaller: -1 or k?
-1
Let d be 27/(-54)*(0 - -2). Is d <= 32.5?
True
Suppose 5*l = 4*q + 749, 0 = -8*q + 3*q + 3*l - 920. Let u = -180 - q. Let w = -31 - -14. Which is greater: w or u?
u
Let l = -13.4 - -13.5. Let w(c) = c - 19. Let i be w(13). Let x be (-9)/i*(-15)/54. Which is smaller: x or l?
x
Let y = 7246 - 7246.1. Which is bigger: y or -340?
y
Let h = -5.519 - 1.581. Which is greater: -12 or h?
h
Let c = 249 + -244. Suppose -c*j = 14*j. Is 2/57 != j?
True
Suppose -8*r - 18088 = 6*r. Which is smaller: 1 or r?
r
Let j = 19958 + -22302. Is j >= -4?
False
Suppose 0 = -6*f + 2*f. Let j = 63627433231/711 + -89490097. Let l = -326/9 - j. Which is greater: l or f?
f
Let q be (3/9*2)/(4/(-6)). Let l be (-498)/(-83) - (-5)/q. Is 33 != l?
True
Let f(n) = n + 7. Let y be f(-6). Let u be 1*(-5)/117*36/1440*-16. Which is greater: y or u?
y
Let a = -7.3 + 8. Let j = -0.063 + -0.001. Let t = j + -0.036. Which is greater: a or t?
a
Let j = 26020.51195 + -26023. Let o = j + -0.05895. Let n = o - -0.047. Which is smaller: 0 or n?
n
Let b(m) = -m**3 - 15*m**2 - 12*m + 48. Let y(j) = 3*j**3 + 2*j**2 - 2*j - 2. Let v be y(-2). Let s be b(v). Which is smaller: 41/2 or s?
s
Suppose -30*l + 11*l = 11*l - 9*l. Which is smaller: 641/3 or l?
l
Let z be (26/(-156) - 28/3)*10. Which is greater: z or -94?
-94
Let q = -4458776623/163081589792 + -147/16962928. Let t = q + -1/736. Which is smaller: 0 or t?
t
Suppose 16 = 29*u - 25*u. Suppose 5*m - u*m = 51. Suppose -10*h + 9*h = -m. Which is bigger: h or 2/7?
h
Suppose 2*f + 36 = c + c, -2*f + 5*c = 48. Suppose 6*l = -5*i + 4*l + 7821, 7833 = 5*i - 4*l. Let w = -4738/3 + i. Is w less than f?
True
Let p be (-2)/(-2)*(-1 - 4). Let s(v) = -v**2 + 27*v + 21. Let h be s(28). Let n = h - p. Which is greater: n or -1?
-1
Suppose s - 14 - 2 = -5*a, -4*a = 4*s. Let v be (-15)/(-40) + (-718)/32*10. Let c = v - -218. Which is smaller: a or c?
c
Suppose 5*b - 7*b = -14. Let i(p) = b + 10 + 19 - 5*p. Let l be i(6). Is l <= 6?
True
Let z be (1/2*-9)/((-42)/(-392)). Let d = z + 67. Let j be 60/d - 1/(20/8). Is -2 not equal to j?
True
Let t = 19 - -14. Suppose 4*u + 15 = -t. Is u less than -11?
True
Let x be (-472)/(-590) + (-192)/190. Is x bigger than 33?
False
Let g(o) = 13*o**3 + 2*o**2 + 12*o - 3. Let c be g(-4). Is c greater than or equal to -851?
True
Suppose -2*y = -6*y + 3*t + 37, -t = 2*y - 11. Suppose -y = -4*s + 5. Suppose -s*l + 78 = -l. Does 38 = l?
False
Suppose -5*n = l + 34, 3*l + 135 = -4*n - 0*n. Let x = l - -46. Let t be (x + 4 + -2)*(0 + 1). Is 1/21 at most t?
False
Let m = 0.2427 - -1708.3573. Do 0.1 and m have the same value?
False
Let b be (-296)/(-259) + 4902/(-14). Is -351 >= b?
False
Let n(k) = k**3 + 18*k**2 + 19*k + 33. Let i be n(-17). Which is bigger: -1762 or i?
i
Suppose k - 4*k = -2*g + 21, 4*g + 3*k = -3. Suppose -27*j - 72 = -g*j. Let o(w) = -w. Let h be o(6). Which is greater: h or j?
j
Let j = 19.09 + -19.2. Let o = j - 0.02. Let p be (-1)/(-6*(-1)/2). Do p and o have the same value?
False
Let a = -109 + 178. Let d = 549 + -479. Which is greater: d or a?
d
Let a = 12729 - 10380. Does 1 = a?
False
Suppose 0 = 3*f - s + 6 + 4, -4*f - 5*s = -12. Let y be 16 - (-32)/12*21/(-14). Let k be -2 + y/54*6. Is k bigger than f?
True
Suppose -28 = 12*t - 59 + 31. Let u = -9 + -21. Is u bigger than t?
False
Let x = -183 + 648. Suppose -4*f + 5*n = -1574 - 295, n = 5*f - 2331. Does f = x?
False
Let y = 220.8 - 288. Let b = -68 - y. Which is smaller: 0.2 or b?
b
Let l = -36259/2 - -165232265/9114. Which is smaller: l or 1?
l
Let p = -11.4 - -30.4. Let a = 19 - p. Let h be (20/2)/(-1 - 0). Are a and h non-equal?
True
Suppose -1565 = 2489*y - 2475*y + 49367. Which is greater: y or -3639?
y
Let t be 16/10 - 1*10/(-25). Suppose t*b - 5*s + 0*s = 76, 2*b - 76 = -s. Let c(x) = x**3 + 8*x**2 + 2*x + 4. Let h be c(-7). Which is smaller: h or b?
b
Let o = -2117 - -6347/3. Which is greater: -344 or o?
o
Let q be (1 - -5) + -1 + 432/(-84). Which is smaller: q or -0.157?
-0.157
Suppose -296*v - 2266459 = 2812013. Is -17157 less than or equal to v?
True
Suppose 173*l = 187*l - 12334. Is 880 at most l?
True
Let u(y) = y + 13. Let d be u(-12). Let a be -9 - -8 - (1 + -103 + d). Let x be -2 + a/45 - (-182)/(-9). Is -20 less than x?
False
Suppose -11 + 23 = -4*x. Let c be -2 - (-2 + (x - -1)). Suppose 0 = c*s + 6 - 8. Which is bigger: 17 or s?
17
Let q be 55/35 + 15/35. Suppose -2*v - 310 = 4*y, 0 = -0*v + q*v + 2*y + 312. Is v less than -158?
False
Let k(p) = -2*p**3 - 2*p**2 + 5*p - 2. Let v be k(1). Which is smaller: -5.54 or v?
-5.54
Let l(t) = -396823*t + 15. Let f be l(11). Let n = f - -5224951009/1197. Let o = n - -1/133. Which is greater: o or 0.1?
o
Let c = -7 + 12. Suppose -u = -5*i + 3*i - 44, c*u + 33 = -i. Let x(h) = -h**3 + 204*h**2 - 229*h + 5256. Let f be x(203). Which is bigger: i or f?
f
Suppose 0 = 5*u - 5*s - 2760, 4*s + 2759 = -403*u + 408*u. Do 550 and u have different values?
True
Let n = 5394 + -5232. Is n smaller than 162?
False
Let u(m) = 16*m + 113. Let a be u(-7). Which is smaller: a or 3/608?
3/608
Let k = 1686/11 - 33316/231. Which is bigger: 10 or k?
10
Let q = -25 - -8. Let c be (-266)/15 + -12*5/(-180). Which is smaller: c or q?
c
Suppose 267 = h - 5*k, -5*k = 22*h - 17*h - 1185. Suppose -25*m + 5*y + h = -22*m, 0 = -3*m - y + 254. Do m and -2/3 have the same value?
False
Let q be -1*((-168)/(-32) - 3). Suppose -3*h = -2*m - 13 - 8, -13 = m - 2*h. Let l = 0 + m. Which is greater: q or l?
q
Let l(h) = h + 23. Let q be l(-10). Let g be (-2)/q + (-1188)/(-117). Suppose g = 5*y, 0 = -3*n + 5*n + 4*y - 10. Which is greater: n or 3?
3
Let m = -1.3 - -1.4. Let w = 7.14 - 9. Let r = 0.06 + w. Which is greater: m or r?
m
Suppose 0 = 100*a - 98*a - 10, -59 = -2*y - a. Let s be ((-74)/(-12))/((-4)/(-18)). Which is smaller: s or y?
y
Let b be (-49)/35 + 3 - 166. Which is smaller: b or -164?
b
Let f = 0.2568 - 0.2208. Which is bigger: 2.5 or f?
2.5
Let u be 962/6 + 10/15. Let q = -813 + 973. Which is smaller: q or u?
q
Let p be -716*((-60)/48 + 2). Which is smaller: p or -538?
-538
Let a be 42/(-6) + -6 + 13. Let s be (a/1 + 660/50)*-5. Which is bigger: -131/2 or s?
-131/2
Let f be 6/(-8) - (-33)/4. Let u = 6798