et n = -53 - g. Let x be 3 - 7/((-21)/48). Is n at least x?
False
Suppose 3*v + 16 = 1, -789 = -3*n + 3*v. Let l be -2 - ((n + -3)/(-5) + 4). Is 44 equal to l?
False
Let x = 1159265061/5377 - 215597. Which is smaller: -1 or x?
-1
Let d = -0.3 - -0.8. Let u = -4255 - -4818.1. Let n = 563 - u. Which is smaller: n or d?
n
Let d be (1539/3240)/((-9)/(-15)). Which is smaller: d or 2?
d
Suppose 0 = -3*w - 4*n + 12 - 49, 4*n + 9 = w. Let h(p) = 5*p + 1. Let t be h(w). Let v = 23 + -22. Which is greater: v or t?
v
Let p be 28/6 - (-1)/3. Suppose -p*i = j - 17 - 11, -i + 14 = 3*j. Suppose 5*a = j*n + 8*a + 15, -3*n = a + 9. Is 10 at least as big as n?
True
Let f(w) be the third derivative of -w**5/60 + 7*w**4/24 - 3*w**3/2 - 2*w**2 + 48. Let n be f(5). Let d = 7/15 + 2/15. Which is smaller: d or n?
d
Let x(o) = -116 + 113*o + 10*o - 27*o - 19*o - 2*o**2 - 26*o. Let w be x(23). Which is smaller: 1/691 or w?
w
Let k be (-6693735)/(-1314)*2/(-10). Which is smaller: -1018 or k?
k
Suppose 23*y = 8*y + 15. Let a be 6/(-434) + 0/(y + -12). Which is bigger: -1 or a?
a
Let t be (3/(-111)*1)/(33/6 + -5). Let d be -5 - ((-1 - 0) + -1). Let h(i) = i + 2. Let q be h(d). Is t <= q?
False
Suppose -101*h + 114*h - 7527 = 0. Which is smaller: 581 or h?
h
Let l = -7587 + 7539. Which is smaller: l or 95?
l
Let v be (-40)/10*(-78)/(-144). Which is bigger: v or -1?
-1
Let q be (4/12)/((-4)/(-180)). Suppose -4*m + q = -9. Let l be (3/(-1))/((-6)/4). Is m less than l?
False
Suppose -23*b - 770 = -18*b. Suppose 92*y = -12494 - 1674. Are b and y equal?
True
Let g = -2.72 - -3.72. Let z be ((-560)/21)/8*(-18)/(-915). Does z = g?
False
Suppose -1244 + 7894 = 14*q. Suppose 3*a - 80 = -a. Let t be (38/q)/(2/a). Which is greater: t or 2?
2
Let g(m) = 14*m**2 - 67*m - 1. Let t be (-26)/(-4) - (-6)/(-4). Let j be g(t). Is -5 bigger than j?
False
Let i be (-286)/(-1001)*2/84. Let u = 13 - 13. Which is greater: i or u?
i
Let y = 19523 + -19522.54. Which is smaller: 7/10 or y?
y
Let x be 6 - ((-35)/(-20))/((-1)/(-4)). Is -9/401 equal to x?
False
Let t be -14 + -18*(-4 + 2)/6. Let w be (-2 + t/(-10))/((-6210)/900). Suppose -1 = -y - 0*y, -2*y = -2*j. Is w less than j?
True
Let q = 181 - 272. Suppose 0 = 1764*g + 87*g + 168441. Is q at least as big as g?
True
Let p(j) = -4*j**3 - 17*j**2 - 19*j + 80. Let u(b) = -b**3 - b**2 - b. Let l(m) = -p(m) + 5*u(m). Let o be l(13). Do o and -63 have the same value?
False
Let f be 1*(-54 - (-7 - 12)). Which is bigger: -545/16 or f?
-545/16
Suppose -5*g + 17 = -13. Let r(i) = 5*i**2 + 165*i + 451. Let d be r(-30). Which is greater: d or g?
g
Let s be (9 + (-1410)/156)/((-50)/12). Is -1 >= s?
False
Suppose -9*x + 18*x = 0. Suppose x = -4*f - 298 - 162. Which is smaller: f or -114?
f
Let l(a) = -a - 10. Let w be l(-8). Let r be 14/(w*1/(-119)). Let u be 1/(-6) - r/306. Is u at least as big as -2?
False
Suppose -15*f + 12*f + 2 = -a, 4*f - 3*a - 1 = 0. Let c be ((-4)/(-45))/(30/(-75)). Which is smaller: c or f?
c
Let g(h) = -h**3 + h**2 - 2*h + 2. Let i = 41 - 40. Let n be g(i). Let j be ((-26)/13)/(-2 + n). Is -4/23 bigger than j?
False
Let f be (-434)/105 + (8/30)/2. Let x be (f/246)/((-4)/(-36)). Is x greater than or equal to 0?
False
Let p = -25396/13897 - 20/1069. Let w(y) be the second derivative of y**3/6 - y**2 - y. Let s be w(1). Which is greater: p or s?
s
Let i = -216.4 - -167.4. Is -0.11 less than or equal to i?
False
Let u = 305 - 330. Let l be -30 - (u/(-15)*3)/(-1). Which is smaller: l or -26?
-26
Let n(h) = 16*h + 627. Let c be n(-34). Which is smaller: 93 or c?
c
Let j be (2 - (-273)/(-150))/(42/(-35)). Suppose -4*k + 7 = 3. Which is bigger: k or j?
k
Let c be 15*(-18)/180 + 252/273. Let t be (1 + 0)*-1 + 0. Which is bigger: t or c?
c
Suppose 10 - 30 = -4*m. Suppose -m*s = -s. Let d be (-382)/420*-1 + ((-408)/21)/17. Which is smaller: s or d?
d
Let g be 4679*2*120/32*26/195. Which is bigger: g or 4680?
4680
Let a(y) = -25*y + 19. Let o be a(7). Let v be o/140 - 2/7. Which is bigger: v or -2/7?
-2/7
Suppose -2*a - 121*s + 125*s = -13856, -2*s - 34648 = -5*a. Which is greater: 6931 or a?
6931
Let x = -325 + 194. Let r = -232 - x. Let w = -85 - r. Which is bigger: w or 0?
w
Let g(s) = s + 2. Let f be g(-8). Let l be 4*3/f + 3. Is -1/7 smaller than l?
True
Suppose 0 = -6*y + 376 + 1738 - 200. Suppose -r + 65 + 255 = 0. Is r > y?
True
Suppose 5*b + 4*m + 7 = 0, -19*b - 5*m = -24*b + 20. Is 60/107 bigger than b?
False
Let n be 0 + -3 - (-17970)/3198. Let x = 136/65 - -3/5. Let p = n - x. Which is bigger: p or 1?
1
Let w be (-2)/(-15) + 117*(-496)/(-2160). Let b = 5 + -11. Let v be (-320)/1764 - b/w. Which is smaller: v or 1?
v
Suppose 40 - 8 = -32*n. Which is greater: n or 4804?
4804
Suppose 3*b = 3*z - 1 + 4, 0 = z - 2*b + 3. Let t = -452068733/764 + 591713. Is z at least t?
True
Let a be ((-572142)/(-8))/((-4600)/(-120)). Let n = a + -7463/4. Is 0 >= n?
True
Let f = 7131 + -7139.1. Let r(m) = m**3 - 9*m**2 + m - 9. Let i be r(9). Which is smaller: f or i?
f
Let f = 3527/14 - 252. Let j = f - 115/154. Let y be 1/2 + (-10)/4. Which is smaller: j or y?
y
Let j(g) = -g**3 + 5*g**2 - g - 5. Let x be j(5). Let f(w) = w + 13. Let p be f(x). Suppose 0 = 4*o - 1 - p. Does -2/187 = o?
False
Let b(h) = -441*h - 25*h**2 - 28 + 428*h + 101*h**2. Let a be b(-2). Which is bigger: 301 or a?
a
Let o = 9 - 7. Let i be -1 + o - (-28)/(-21). Are i and -1 equal?
False
Suppose -1477 = 5*g - 3*i + 5489, -4*g + 3*i - 5571 = 0. Is g >= -1395?
True
Suppose -2*b - 101 = 2*s + 295, 4*b = s - 772. Let k = 195 + b. Which is smaller: -3/103 or k?
-3/103
Let t(x) = 3*x + 11. Let j be t(-3). Let r be (6 - 1 - -117)/j. Are 63 and r equal?
False
Let q(p) = -p**2 - 7 + p**3 + 2580*p - 4*p**2 - 2585*p. Let m be q(6). Is -9/8 less than or equal to m?
True
Suppose 30 = 5*w + 2*a - 38, -5*a + 44 = 2*w. Let p be 5 - ((-14)/(-6) + (-24)/(-36)). Let i be (-6)/24 + p + -2. Which is greater: i or w?
w
Let t = 4326685/15231958 - 3/46018. Which is greater: t or -1?
t
Suppose -5*y + 24 = -4*d, -3*d + 0*d = -4*y + 19. Let z be d - (-4)/5 - (-1 - -1). Let n = 19 - 26. Are n and z non-equal?
True
Suppose 3*m - 16 = o - 2, o - 11 = -2*m. Suppose m*b = -4*s + 41, -s + 17 = 2*b - 0*s. Which is bigger: 23/3 or b?
b
Suppose -9 = 3*m - 114. Let o be 34/(-5) + (-7)/m. Let q(j) = -j**2 - 8*j - 2. Let b be q(o). Does 5 = b?
True
Let m = 10703 - 10707. Are 186 and m unequal?
True
Let l be 72/8 + -11 - -115. Let g be (-4)/(-10) + 553/5 + 1. Which is smaller: g or l?
g
Let c be (-1)/(-9) + ((-3440)/84)/(75726/147). Do c and 0 have the same value?
False
Let g = -16.93 - 0.07. Let s = 15 + g. Let h = -4 - s. Is 1/6 greater than h?
True
Let s be (5 + 1)*((-325)/(-15) + -2). Suppose -22*r = s + 102. Is r at most as big as -87/8?
False
Let j = -92 - -102. Let x be -10*-1*6/j. Let k be -1*x/(-45)*-5. Do 4 and k have the same value?
False
Let b be 6 + (2/6)/(6/(-9684)). Which is smaller: -536 or b?
-536
Let w = 5775 - 5046. Which is smaller: w or 1459/2?
w
Suppose -4*y = 4*b + 864, 0 = -63*b + 66*b + 2*y + 654. Suppose 0 = -2*s + 3*t - 457, -4*s + 3*t = 467 + 432. Is b greater than or equal to s?
False
Let h be -19 + (3 - 5 - -4) + 3. Let r be h/8 - (-4)/(-16)*-3. Which is smaller: r or -2/11?
r
Let v = -3.832 + 0.042. Let q = 3.89 + v. Which is bigger: -32.4 or q?
q
Let r = -234 + 146. Let v = -85 - r. Suppose -v*u - 51 + 48 = 0. Which is greater: -71 or u?
u
Let f(s) = s**2 - 605*s + 2999. Let c be f(5). Is -44/19 smaller than c?
True
Suppose -29*a + 5893 + 516 = 0. Do a and 1990/9 have different values?
True
Let t = 77 + -77.009. Let h = 0.084 + t. Let l = -6.075 + h. Which is bigger: 2/5 or l?
2/5
Let o = -77781 - -77708.401. Let l = o + 0.499. Let n = -72 - l. Which is smaller: 2/9 or n?
n
Let a = 445 - 308. Let m = 1085/8 - a. Suppose 0 = 22*u - 26*u - 4. Which is smaller: u or m?
m
Let t(l) = l + 6. Let n be t(-4). Let w(z) = -20*z + 7. Let b be w(n). Let y be ((-4)/(-6))/(22/b). Which is smaller: 0.07 or y?
y
Let g be 1203/15 + (-16)/(-20). Suppose -5*o = -4*x - g, 3*x + 4*o - 2*o + 32 = 0. Let b be x/(-3) + 5/15. Which is bigger: b or 3?
b
Suppose 160*b - 153*b = 56. Let c = -1 + 3. Let n be 2/(0 + c) - -6. Which is greater: n or b?
b
Let v = -495.187 - -496. Let s = 0.713 - v. Which is smaller: 