+ 208. Let o be t(4). Is o > 1456/11?
False
Let n be 5/20*-2*4/(-2). Let a be 3087/(-5166) + n/2. Let c be 4 - (3 + -2)*4. Which is smaller: a or c?
a
Let f = -123 - -121.99. Let b = -17.669 + 18.879. Let l = b + f. Is -1 smaller than l?
True
Let w be (1/(34/4))/((-27)/178782). Let k = w + 779. Which is smaller: 1 or k?
k
Let r = -17 - -35. Suppose 3*k + r = -3*s, -3*k + k = 3*s + 16. Is -7 at most s?
True
Let j = 30225 - 30214. Let s = -11 + 23. Which is bigger: j or s?
s
Suppose 0 = -750*m + 742*m. Which is bigger: m or 3/3817?
3/3817
Let p(a) = a**3 + 12*a**2 + 3*a + 13. Let t be p(-8). Let s = t + -245. Is s equal to -1/32?
False
Let d = -24/11 - -83/33. Let a(r) be the second derivative of -r**4/12 + 3*r**3/2 - 23*r**2/2 - 2*r. Let k be a(8). Is k smaller than d?
True
Let h be -1*1/(0 - -1). Let r be -3 + (-6 - (3 - 1))*h. Suppose -r*b + 122 = 47. Is 13 not equal to b?
True
Suppose -7*m = -m - 0*m. Suppose -99 = -5*s - 34. Is m >= s?
False
Let m(s) = 8*s + 44. Let g be m(-8). Let x be g*2/(-8)*(2 - 0). Which is smaller: x or 1?
1
Let n be (((-27399)/(-4))/(30/20))/((-217)/(-62)). Which is smaller: 1304 or n?
1304
Let d(h) = -29*h - 1906. Let y be d(-34). Which is smaller: y or -916?
y
Suppose 2*c + 5*j = -2*c + 15, -2*j = 5*c - 23. Let o(n) = -n + 6*n + n**3 - 3 + 0*n**2 - 6*n**2. Let s be o(c). Which is greater: -7/4 or s?
-7/4
Let x = 284097/4474 + 1/2237. Which is smaller: x or 63?
63
Let y = -421/194 - 75661/9118. Which is smaller: y or -9?
y
Let y be (3 + -30)*31/(-93). Is y <= 623?
True
Let z(n) = 2*n**2 - 19*n + 32. Let u be z(2). Let s be (11 - 7)*u/(-964). Which is bigger: s or 1?
1
Let p = -410 - -397. Let i = 0.1 - 0.04. Which is greater: p or i?
i
Let v = -124 - -106. Let x be (-2)/(-2) - (15 + -5). Let q be (-240)/v - 6/x. Is q less than or equal to 14?
True
Let p = 40 - 37. Suppose 2*i + p*i = 4*x, -5*x + 45 = 5*i. Is x at least as big as -2?
True
Suppose 154*a + 156*a = 441*a - 174*a + 43. Let d = -298324305 + 9352168635397/31349. Let w = 1/667 + d. Which is smaller: a or w?
w
Let s = -62.082 - -0.082. Let l = s - -55. Let t = -6.7 - l. Is 3/8 greater than or equal to t?
True
Suppose 4*c + 34 = b, b - 7*c = -9*c + 46. Let d be (-8 - (-327)/b)*-2. Is d < -1?
False
Let o = 1591/211757 + -2/1253. Let m = o - 345/1183. Which is smaller: m or -14?
-14
Suppose -4*t - 20 = -8*t. Suppose t*q + 28 - 33 = 0. Is 2 greater than q?
True
Suppose -4172 = 5*y - 11*y + 2*y. Which is greater: 1039 or y?
y
Let q = -13612 - -13615. Which is bigger: q or -2353?
q
Let x(u) = -3*u + 9. Let q be x(3). Suppose a + 3*y + 5 + 4 = q, 0 = -4*a - 4*y - 36. Let c be 4*(-1)/((-1)/(-3)). Which is smaller: c or a?
c
Let k = -10389 + 10389.2. Let n = -0.9 + -1.6. Let a = -3 - n. Is a greater than or equal to k?
False
Let c be 20/8*66/15. Suppose -6*p + p + 60 = 0. Suppose 4*y - p = 3*y. Which is bigger: y or c?
y
Let u be (-4 + (-11)/((-66)/15))/((-6)/10376). Which is smaller: u or 2596?
u
Let v = 7 + 5. Let z be (-4)/(-5)*2*(-30)/v. Let x be 10/z*-6*(-4)/12. Which is bigger: -9 or x?
x
Let n(s) = -1948*s + 4396. Let w be n(5). Is w at least -5342?
False
Suppose 5*w = -2*k + 12, -4*k = 2*w - 4*w. Suppose u - 2*u = w*n + 4, 5*n + 16 = -4*u. Are n and 429 equal?
False
Let i(q) = -q**2. Let d(r) = -2*r**2 - 30*r - 34. Let f(p) = -d(p) + 4*i(p). Let u(b) be the first derivative of f(b). Let g be u(8). Is g not equal to 10/3?
True
Let d = 20286 + -20248. Suppose -114 = -7*p + 4*p. Is p != d?
False
Let x be (-3)/(((-27)/(-74))/(-3)). Let t = -0.057178 + 1.057178. Which is smaller: t or x?
t
Let o = -162671/15 - -10845. Is -116 less than o?
True
Let y be -2 + (2 - 0) - -604. Let r be -6*1 - ((-102710)/170 - 6). Let m = y - r. Is -1 at least as big as m?
False
Let w = -22.768 + -9221.232. Which is smaller: w or 0.1?
w
Let m be 420/490 + 64/(-84)*-12. Suppose -2 = s + 4*l, -s - 8 = -3*s - 5*l. Which is smaller: s or m?
m
Suppose 54*b = 51*b + 4*z + 523, b = 5*z + 189. Is b less than 169?
False
Suppose 5*s + 345 = -5*q, 4*s - 49 = -q - 346. Is s bigger than -112?
True
Let n(w) = -w**3 + 3*w**2 + w - 4. Let o be n(2). Suppose 21 = 4*g + 5*f, -o = 5*g + f - 44. Let m = -14 + g. Are m and -7 non-equal?
True
Let x be 2619/(-36) + 3/(-12). Let l = x + 73. Suppose 0 = u + 3*u + 3*f + 6, l = -u - f - 2. Is u at least as big as -2/293?
True
Let r = 868 - 1792. Let i = r - -969.9. Let a = 46 - i. Is a <= -0.032?
False
Suppose -2*x - 36 = -3*h + 2069, 4*h = -x + 2792. Is 699 equal to h?
True
Suppose -7 + 2 = 5*m. Let z be ((-3)/(-9))/(1 - ((-1215)/(-6) + 8)). Is m greater than or equal to z?
False
Suppose -1117*f + 412*f - 67930 = 405125. Is f smaller than -668?
True
Let f = 52/75 + -2/75. Let v = -317/7308 + 2/261. Which is bigger: f or v?
f
Let v = -8.00609 + 0.00609. Is 0.149 equal to v?
False
Suppose -26*x + 5160 = 14*x. Suppose -103 - 29 = 2*n + 4*z, 0 = -2*n - z - x. Is n equal to -67?
False
Let l be 25*(-1 - 2/4*0). Let s be (-35)/l*(5/22 + 0). Are s and -1 equal?
False
Suppose 0 = 2*w - 61 + 65. Let i be w + (16/(0 + 4) - -1). Let u = -1/21 + -2/7. Is i bigger than u?
True
Let x be (-3 - 31/(-11)) + 277/11. Let i(c) = -21 - c**2 - 9*c - x + 35. Let r be i(-4). Is r not equal to 10?
True
Suppose -66 = -4*q + q + 2*b, 2*q - 4*b - 52 = 0. Suppose 1446 - 9446 = -500*x. Which is bigger: q or x?
q
Let m = 16598 - 17247. Is -648 smaller than m?
False
Let m = -8936/57 + 569/3. Is 34 smaller than m?
False
Suppose 261*l - 268*l + 840 = 0. Let f be (20/l)/((7 + -3)/(-64)). Is f > 14?
False
Let n(i) = -i**2 - 3*i - 1. Let p be n(-1). Let u = 71379/197650 + -9/7906. Is p less than or equal to u?
False
Let h = -2102 + 2173. Which is smaller: -0.5 or h?
-0.5
Let z = 265 - 260. Let u be z + 6 + 225/(-20). Is u at most as big as 10.3?
True
Let i = -0.6898 + 1.6898. Are -12/43 and i unequal?
True
Suppose -69 = -u - 71, -2*m - 304 = -4*u. Which is smaller: -155 or m?
m
Let g = -132 - -118.8. Let c = g + 15. Let f = -31.59 - -30.59. Which is bigger: f or c?
c
Let h be (2/(-300))/((-1896)/48 - -19). Which is smaller: -1 or h?
-1
Suppose 3*l + 5 = 23. Suppose -3*d + l*d = 186. Suppose -4*v = 5*k - 3*k - 112, -k + 47 = 5*v. Do d and k have different values?
False
Let h be (-265)/6 - (-4)/24. Let r = h - -64. Suppose -7*p = -2*p - r. Which is bigger: 3 or p?
p
Suppose 4 = -4*p, 0 = -m + 5*p - 2 - 6. Let c be -1*(-69)/42*1/m. Let l = -7/26 - c. Is 1 at most l?
False
Let j = -10965 + 10918. Which is bigger: -139/3 or j?
-139/3
Let q = -10.24 + 3.54. Let o = q - -3. Is o at least as big as -1?
False
Let u(z) be the first derivative of 15 + 13*z - 4/3*z**3 + 2*z**2 - 1/4*z**4. Let d be u(-5). Are 19 and d non-equal?
True
Let x = -1.1 + 2.1. Suppose 0 = -v - 14*v - 4584 + 999. Which is smaller: v or x?
v
Suppose 24 + 2 = -26*b. Let a = -453 + -211. Let i = a - -57767/87. Which is smaller: b or i?
b
Let l be (162 - 162)*1/(-4). Which is bigger: l or 1/92?
1/92
Let f = 33681/20 - 6737/4. Which is greater: 5716 or f?
5716
Let r be ((-3960)/75)/(32/(-240)). Is r >= 393?
True
Suppose 12*z + 54591 = -3*r, 12*z + r - 9103 = 14*z. Is -4550 less than or equal to z?
True
Let r be 68/(-14) - (-4 + 8 + -5). Is r equal to -3?
False
Let n be (7116/14)/((-630)/(-5880)). Is 4744 at least n?
True
Let r = -463 - -705. Let m = 202 + -202.2. Which is smaller: m or r?
m
Let n(h) = -8*h**3 - 1. Suppose 0 = q + 1 - 2. Let f be n(q). Let u be (((-12)/f)/2)/((-4)/18). Is 2 less than u?
False
Let u be (1600/(-76))/(-10) + 2/(-19). Are -72.6 and u non-equal?
True
Let j = -200367 - -200372. Let o = 2067/4 - 513. Is j less than o?
False
Suppose 6*s - 234 - 117 = 129. Is 84 bigger than s?
True
Let g be (-26)/11 + 0 + 2. Let w be ((-2)/(-4))/(14/(-14)). Is g at most w?
False
Suppose -12*a + c = -10*a - 326, 5*a - c = 797. Suppose 0 = 4*f - 9*f + 790. Which is smaller: f or a?
a
Let t = -2678 - -2702. Let d be 3/18*(-3)/(-2). Which is bigger: t or d?
t
Let j be 2 + (-4)/(-5 + 9). Let m be -3 - (j/(-3))/(13/(-156)). Which is greater: m or -4/5?
-4/5
Let j = -7.79 + 8. Let a = j - 1.5. Let p = -0.29 - a. Which is bigger: p or -3/14?
p
Let m = 1114993 + -16697264/15. Let g = 1843 - m. Let i be ((-3)/((-42)/8))/(2/7). Which is bigger: g or i?
i
Let k = -2 - -0.1. Let f(y) = 6*y - 7. Let r(h) = -5*h + 7. Let i(a) = 6*f(a) + 7*r(a