 1. Let f be r(5). Is n < f?
False
Let j = 9737 - 9800. Is -55 less than j?
False
Let z = -956533 + 956556. Suppose 0 = 4*o - 3*s, -4*o + 0*s + 16 = s. Suppose -3*h = -k - 77, -2*h + 133 = o*h + 3*k. Is h less than z?
False
Suppose 44*l + 12157 + 8730 + 541 = 0. Let y be (-1956)/4*1 - -2. Does l = y?
True
Suppose 82 = 3*q - 5*o + 22, 0 = 3*q - o - 48. Let t be (-4)/(-10) - -1*(-6)/q. Suppose -4 = -t*f + 4*f. Which is smaller: f or -6/61?
f
Let d = 138 + -133. Let w be (-6)/(-81)*(0 + -7 - d). Which is smaller: w or -1?
-1
Suppose -15*j + 19695 - 16350 = 0. Is j bigger than 0.5?
True
Let s = 7 - 1. Let p(o) = -3*o**2 - 344*o - 1863. Let f be p(-109). Is f greater than s?
False
Let i(j) = 16*j - 1. Let c be i(-6). Suppose -66*l + 70*l - 2652 = 0. Suppose 12*u = -513 - l. Is c at most as big as u?
False
Suppose -842*m = -839*m + 2*f + 170, 5*f = 9*m + 433. Is m less than or equal to -40?
True
Suppose 3*l = -5*r + 1745, -669*r + 3*l = -664*r - 1745. Which is smaller: r or 353?
r
Suppose -p + 4*v = -5*p - 1016, 4*p - 5*v + 1043 = 0. Let s be (-18 - -16) + p/(-108) + -1. Let w = -10/27 - s. Is -18 > w?
False
Suppose 14*i = 4*i + 40. Let l be (-1)/(i + 2)*-2. Which is smaller: 0 or l?
0
Suppose 0 = 2*a - a - 3. Suppose 2*o + 8 = 0, a*y - 5*o - 12 = -y. Let h be y/(-11) - (-38)/(-88). Which is greater: h or -32?
h
Let x(w) = -17771*w**3 + 6*w**2 - 13*w + 6. Let b be x(1). Is -17772 not equal to b?
False
Let t = -936 - -936.1. Let m(r) = -303*r**3 + 2*r - 2. Let s be m(1). Does t = s?
False
Suppose 7906 = 21*x + 451. Let i = x + -505. Which is smaller: 2/3 or i?
i
Suppose 3*l + 30 = -3*s, 0 = l - 15*s + 18*s + 18. Let h be (-27)/4 + (9/(-2))/(-9). Which is smaller: h or l?
h
Suppose -3582 = -3*a - h + 7924, -2*a - h = -7670. Let u = a - 418129/109. Do 0 and u have the same value?
False
Let o be (2/(-4))/((-17)/(-170)). Let g = o + 12. Suppose 14 = -0*h - g*h. Is -11/6 less than h?
False
Let y = 5098367/739 + -6899. Which is smaller: y or 0?
0
Let m = -67 - -2410. Is 2342 bigger than m?
False
Suppose -j + 13*j = 60. Let p be (-105)/(-12) - 1/(-4). Suppose j*o = 20, -o = -f + 2*o - p. Are f and 42/11 equal?
False
Let r(q) = q**2 + 19*q + 85. Let k be r(-7). Does -37 = k?
False
Let f(r) = 42*r + 1274. Let s be f(-30). Is s > 2/9?
True
Let o = -0.118 - -155.118. Let j = -154.939 + o. Which is smaller: -0.1 or j?
-0.1
Let z(o) = -o**2 + 8*o + 37. Let l be z(7). Let p be 110/l*6/5. Suppose -y - p = -k, 2*k - 4 = -2*y - 2. Which is smaller: 1/189 or y?
y
Let k be ((-2)/17)/(1/2). Let j = 80901 - 80899. Which is smaller: k or j?
k
Let l be 11/(550/30) + 1749/(-3015). Is l >= -1?
True
Let b be (-4)/6*(63 + -387). Suppose 0*r + 5*r - 3*z = 1092, 0 = r - 3*z - 228. Is b less than r?
False
Let w = 351 - 357. Let j be ((-16)/w + -2)*(-108)/(-24). Which is bigger: -34 or j?
j
Let p = 23361/4 + -5840. Is p <= 4720?
True
Let g(l) = -4*l - 11. Let k be g(-5). Let n be ((-48)/342)/(6/k). Suppose u + 0*u - 2*r = -8, -u - 16 = -4*r. Which is smaller: u or n?
n
Suppose 6*l - 9*l + 2860 = -v, 3*v - 3809 = -4*l. Suppose -951*z + 2 = -l*z. Which is bigger: 98 or z?
98
Let z be ((-1)/108)/(640/480). Let h(o) = 0*o**2 + 5 + 3*o**2 - 4*o**2 - 4*o. Let n be h(-5). Is n greater than z?
True
Let w(s) = 5*s + 4*s + s**2 - 2*s - s - 13. Let c be w(-9). Let l be (1 - 0)*-1 + 16. Which is smaller: l or c?
c
Let t = -58 + 65. Suppose -6 - 1 = t*b. Let f be (6/(-4))/((-60)/(-24)). Which is greater: f or b?
f
Let b be (3 + (-710)/405)/((80/(-12))/(-10)). Is b bigger than 2?
False
Let r = -61672 - -123343/2. Let m = 345 - 151. Which is greater: r or m?
m
Suppose -4*m - 3*v = 2*v + 40, 4*v = -2*m - 14. Let o(s) = -s**2 - 15*s + 27. Let c be o(m). Let x be (6/c + (-214)/(-9))*-1. Is x less than -23?
True
Let u(i) = 3*i + 143. Let o be 8/(-12) + 213/(-9)*2. Let m be u(o). Which is greater: m or 2/735?
2/735
Let h be ((-40)/(-14) + -2)*-7. Let y = -453.9 - -469. Let d = 15.3 - y. Which is smaller: d or h?
h
Suppose -3*b = 5*b - 48. Suppose u + s + b = 0, 22 = -5*u + s - 20. Let o be ((-3 - 0)/(6/u))/2. Which is greater: o or 3?
3
Let q = 5741 + -5109. Is 630 equal to q?
False
Let j be (2 - 26/8)/((-858)/33). Which is smaller: 8 or j?
j
Suppose -4 = -2*b - 2. Let z = -122332/9 + 13608. Let x = 12758/819 - z. Do b and x have different values?
True
Suppose -71*b = -167*b - 96. Which is smaller: 2/6917 or b?
b
Suppose -32*d + 129*d = -34*d + 444090. Is 3390 at least d?
True
Suppose -619*j + 610*j + 72 = 0. Suppose 9*x = -5*l + 4*x + 35, l + 3*x - 3 = 0. Is j < l?
True
Let z = 10663 - 8996.1. Let j = 1596 - z. Let c = 71 + j. Is -1 smaller than c?
True
Suppose 58459 = -17*m + 159575. Suppose -34*v + m = 712. Is v greater than or equal to 154?
True
Let l be (((-1665)/(-60))/(-37))/(1*118071/(-24)). Which is bigger: 0 or l?
l
Let c be 13 + 25/((-86925)/45096). Is 1 < c?
False
Let b = 13385/4 - 3346. Is 5.43 at most b?
False
Let w = -330 - -323. Let k(u) = -u**3 - 6*u**2 + 8*u + 8. Let s be k(w). Which is greater: -1/110 or s?
s
Let n be (-15)/(-30) - (40722/6880 - -2). Let j = n + 119/16. Is -1 at least j?
False
Let u(h) = -111*h**2 + 550*h - 4. Let j be u(5). Is j less than 23?
True
Let d be -3 + (2 - (-55)/53). Suppose -13*b + 77 = 25. Suppose -11*c = -15*c - b. Which is bigger: d or c?
d
Let s = -6 - -6. Let k(a) = a**2 - 2*a - 5. Let m be k(6). Suppose -5*p - m = -4*j, 4*j - 5*j + 3*p + 10 = s. Is j at most as big as -2?
False
Let a = -16 + 17.35. Let r = a + 0.65. Let k be (-2)/(-6)*-1 - 1. Which is smaller: k or r?
k
Let x be ((-4)/(-10))/((-1)/35). Suppose 81 = 4*m - 0*i + i, m = i + 14. Let z(l) = 2*l**2 - 39*l + 6. Let a be z(m). Which is bigger: x or a?
a
Let b = 0.068 + -0.268. Let s = 10 + -10. Suppose 4*d + 20 = 5*k, -4*k = -d - s*d - 5. Which is greater: k or b?
k
Suppose 23 = -j - 0*j. Let i be (-2 - -6)*2*-4. Let q = i - j. Is -6 smaller than q?
False
Let j be 135/2*12/333. Is 2 greater than j?
False
Let z be 2/(6 + 2 + 26/(-3)). Let v(k) = -k**3 - 5*k**2 - 8*k - 5. Let b be v(z). Is b not equal to 3/211?
True
Suppose 35*c + f - 554 = 34*c, 0 = -3*c + 3*f + 1704. Is c < 560?
False
Suppose 21928 = 58*i - 53*i + 4*r, -8778 = -2*i - 5*r. Are i and 4384 non-equal?
False
Suppose -32*w = -40*w + 80. Suppose -w = 4*q - 14. Let g(d) = -d**3 - 6*d**2 - 6*d - 6. Let n be g(-5). Which is greater: n or q?
q
Suppose 23 = -11*v - 21. Let d be 0 - v - -3 - 34. Which is smaller: d or -28?
-28
Let w = 606 + -858. Let h = w + 252. Do -0.19 and h have the same value?
False
Let c be -90*5/10*7. Let y = c - -312. Is -45/13 greater than y?
False
Suppose -3*f = -4*f - 2. Let t(a) = -9*a + 77. Let v be t(9). Let u be f/(-4)*-1 + v/8. Is -15/8 bigger than u?
False
Let o be (-132)/(-1221)*(-1)/4*-3. Let w(a) be the third derivative of a**5/60 + 3*a**4/8 + 17*a**3/6 + 10*a**2. Let j be w(-6). Is j less than or equal to o?
True
Let d be 3/24 + (-22)/(-176) - 122. Is -123 > d?
False
Let s(f) = 8*f - 39. Let q(l) = 18*l - 139. Let g be q(8). Let v be s(g). Which is greater: v or -136?
v
Let h = -7 - -17. Let m = h - 6. Let b = 290 - 297. Is m != b?
True
Let g = -588 - -445. Let h = g + 142. Which is greater: h or 332?
332
Let h = -1933 - -5800/3. Which is smaller: 80/29 or h?
h
Suppose -12*v + 198 = 21*v. Let x be 0 - 5/v*(1 - 3). Let r = 0.1 + 0.1. Which is greater: r or x?
x
Let a(f) = 38*f - 455. Let m be a(12). Is 4/465 less than m?
True
Let g be (1 + (-39)/21)*-7. Suppose 53 - 15 = 2*b. Suppose -5*f + 2*m + b = 0, 5*f - 17 = 4*m - 4. Which is smaller: g or f?
f
Let v = -2680.5 + 2683.5. Which is greater: v or -932/7?
v
Let n = -279145/16 + 17446. Is n less than or equal to -5/7?
False
Suppose 3*t = t - 28. Let f = t + 12. Let p be f/4*(21 - 23). Are p and 0 unequal?
True
Let t = -9862 + 5183. Does t = -4678?
False
Let m = 36 - 66. Let c = m - 81. Let q = 115.4 + c. Which is bigger: q or 1?
q
Let s = 10.7 - -13.3. Let p = s - 18. Suppose -6*q + 2*q = 24. Which is smaller: p or q?
q
Let r = -348748/11 + 31662. Which is greater: -42 or r?
-42
Let x be (184/(-10))/(130/(-325)). Suppose x = -u - 4*c, -38*u + 2*c = -34*u + 184. Is -223/5 smaller than u?
False
Suppose 4*b - 579 = -3*m, -5*b = -3*b + m - 289. Let s = 577/4 - b. Which is greater: s or 0?
s
Let k = 112.8 - -4.2. Let b = -1084.8 + 967.7. Let x = k 