705.082 + -7704. Is n less than 0.3?
False
Let p = 5.66 + -6.66. Let j be (4/120)/(8/(-12)). Which is greater: j or p?
j
Let s = -1039.43 + -9.57. Let f = s + 968.9. Let p = 80 + f. Which is smaller: p or -1?
-1
Let h(a) = a**2 + a + 2. Let l be h(-1). Suppose 5*r - u = 2*u, l*u = 5*r. Let i = -2/213 + -619/2130. Is i less than or equal to r?
True
Suppose 0 = -3*h - 3*p - 516, -2*h - 6*p = -3*p + 349. Let m = h + 182. Which is smaller: 72/5 or m?
72/5
Let n(i) = 2*i**3 + 9*i**2 + 2*i + 6. Let o be n(-5). Suppose -17*w + 15*w = -246. Suppose -3*s = -7*s + 4*x - 120, -4*x = 5*s + w. Which is smaller: s or o?
o
Let a = -145367/21 + 6885. Which is smaller: -38 or a?
-38
Let w = -395.6 - -394.9. Let o be (-4)/(-6)*(-6)/(-10). Is o less than or equal to w?
False
Suppose -7 = -57*m + 50*m. Is -1/4815 less than m?
True
Let t be ((-6)/(-10))/(228/38)*10. Do -42/253 and t have the same value?
False
Let z = -94 - -60. Let g = -20 + 40. Let k be (g/(-40))/((1/70)/1). Which is greater: z or k?
z
Let t(c) be the third derivative of 0 + 5/3*c**4 + 19*c**2 - 1/6*c**3 + 0*c + 1/30*c**5. Let g be t(-20). Is -1/78 at most as big as g?
False
Let q = -70 + -60. Let m = q + 130. Which is greater: m or -0.09?
m
Let d be (50/(-105175))/(11/(308/(-72))). Which is smaller: -1 or d?
-1
Let l be (3 + -2)*6/10. Let o be (2/(-10))/(837/2241). Let r = o + l. Is r >= 0?
True
Let k = 13475073/32 + -421095. Let p = -1 - -3. Is k >= p?
False
Suppose -3895*n = -3871*n - 456. Which is smaller: 830/47 or n?
830/47
Let o = 906 + -34425/38. Let w(b) = 128*b**2 + 12*b + 12. Let s be w(-1). Let r = 128 - s. Which is greater: o or r?
o
Let h = -0.04961 + 0.14961. Does 0.982 = h?
False
Let t = -58520508/1061 + 55156. Let s = -5894/62599 - t. Let g = s + 335/2714. Is 0 at most g?
True
Let u = -494293/21 - -23525. Which is greater: -13 or u?
u
Let t = -838013/31924 - -2/7981. Suppose 193*v + 119 + 5965 = -41*v. Which is smaller: v or t?
t
Suppose 0 = -10*m + 15*m + 195. Let v be ((-6)/(-2))/(19/(-247)). Is m > v?
False
Suppose x - l + 14 = 0, -x + 3*l + 34 = -2*x. Let p be (224/(-336))/(2 - (-112)/(-57)). Are x and p equal?
True
Let v(u) = 2*u**2 + u - 2. Let o be v(1). Let t be 1/(-9) - (-87)/783 - 1/834. Are t and o unequal?
True
Suppose 0 = -3*r + 6266 + 15043. Which is bigger: r or 7104?
7104
Suppose h + 845 = -4*h. Let g be (42/8*8/12)/(737/(-35376)). Is g less than or equal to h?
False
Let i(q) = 522*q**2 - 42*q - 187. Let c be i(-6). Which is bigger: 2/7 or c?
c
Let j be (107 - 0) + (-3 - (-4 - 1)). Let o be (-5196)/(-48) + (-2)/8. Is j equal to o?
False
Let f = 127 - 45. Let i = -106 + f. Let c = -14 - i. Is 43/4 greater than c?
True
Let t = 1402009 + -1402007. Let i = -39345/7 + 5269. Let x = -351 - i. Which is greater: t or x?
t
Let q = -11003 + 11270. Is 264 > q?
False
Suppose 41*u - 53*u = -20148. Suppose -u = 7*r + 400. Is r less than or equal to -298?
False
Let m = -3825 + 6444. Is m less than 2620?
True
Let p = 4505 - 4464. Which is bigger: p or 14?
p
Suppose -3*p + 19872 + 1705 = 2*c, -21601 = -3*p + 4*c. Is p > 2/5?
True
Let o = -33 - -35. Suppose -2*t - o*g = -3*t - 29, -3*g = 3*t + 51. Let v be 150/4*(-14)/t. Does v = 23?
False
Let j be -3 - -1 - 2282/4*-2. Let p be j/(-51)*((-2)/1 + -1). Is 66 not equal to p?
True
Let d = 18 + -14. Suppose d*f - 2*f - 38 = -3*a, -a = 3*f - 71. Suppose 2*n - 58 = -2*r, -5*n - r + 140 = 3*r. Which is smaller: n or f?
n
Let b = -123 - -141. Suppose 28*h = -b - 10. Which is smaller: -4/11 or h?
h
Let q = -594 - -1683. Suppose 4*t = 15*t + q. Is -99 less than t?
False
Let f be (21/(-4))/((-2)/96). Let t = f + -3531/14. Which is bigger: t or -2/7?
t
Suppose -u = -0*u + 4*p - 217, 0 = u - 4*p - 233. Let x = -207 + u. Is x at least as big as 20?
False
Let n = 0.005 + -0.205. Let i be (-24)/(-1) + 4 + -2. Suppose -53 + i = 3*z. Which is greater: z or n?
n
Let u be (-30)/9*(-108)/45. Suppose 0 = -4*w - p - 0*p + 6, -10 = -4*w + p. Suppose -w*q + 3*n = 18, -2*n + 5 = q - 0*n. Which is bigger: u or q?
u
Let y be (3645/(-540))/((-2)/(-8)). Let w(m) = 39*m**2 + 1. Let o be w(-1). Suppose -k + 12 = o. Which is smaller: y or k?
k
Suppose 12*p = -117 - 63. Which is smaller: -13 or p?
p
Let h be ((-6)/4)/(-4*3/16). Let r be (1*8/(-20))/(h/(-10)). Suppose -15 = 2*b + b, -4*k + r*b + 66 = 0. Which is bigger: k or 13?
k
Let b be 5 + (15612/(-3016))/1. Let p = b + 4/29. Let f be ((-6)/(-9))/(4/6). Is p less than or equal to f?
True
Let r = -2483/12 - -620/3. Is r smaller than 209/17?
True
Let s be (8/(-74))/(-4 + 2). Let b = -22 - -13. Let o = b + 10. Which is smaller: o or s?
s
Suppose -2130*f + 2167*f + 88134 = 0. Is -2380 >= f?
True
Suppose 4*g = 13*n - 11*n - 6904, 2*g + 3452 = 2*n. Does g = -1725?
False
Suppose -358*b - 643879 = 544681. Which is smaller: b or -3318?
b
Let g(q) = -14*q - 5. Let v(m) = -m + 3. Let j be v(7). Let b be g(j). Let c = 2332 + -2280. Is c less than or equal to b?
False
Let r(q) = 6*q**2 + 14*q + 4. Let u be r(-12). Suppose -u = 5*c - 1820. Are c and 223 unequal?
True
Suppose 5*t + 9 = 2*t, -t + 7 = 5*h. Suppose 1116 = h*d - 20*d. Let v = -82 - -20. Do d and v have different values?
False
Let c = 20/107 + -902/1391. Let d = 46 - -2. Let u = 48 - d. Which is bigger: c or u?
u
Let a be 10/(-5) - (19 - 6/3). Let z = -611 + 595. Which is smaller: a or z?
a
Let r = -36 + -91. Let x = -147 - r. Is -20 less than or equal to x?
True
Let d be 10 + -8 + 3 - (-1 + 2). Suppose -121 + 27 = -4*h - 2*r, d*h + 3*r = 93. Which is smaller: 22 or h?
22
Suppose 432 = 16*c - 10*c. Suppose -23 + c = 7*v. Is 1 at most v?
True
Let l be (-33)/5 + 7 + 2/(-5). Let y be (-20)/(-15)*(-9)/4. Is l bigger than y?
True
Let y(m) = 3*m - 38. Let r(q) = -q - 1. Let d(s) = -6*r(s) - y(s). Let h be d(-14). Let c(l) = -l**2 - l + 5. Let f be c(h). Is -1/44 less than or equal to f?
False
Let m = -120.7135 - 0.4065. Let r = -121 - m. Are -1/2 and r equal?
False
Let f = -18.1 - -2.6. Suppose 19*s = -13*s. Which is smaller: s or f?
f
Let b(s) = 8*s**3 - s**2 + s - 1. Let v be b(1). Let y = 12 - v. Suppose -3*a = -h - 0*h - 4, y*a + h = 4. Is -2 bigger than a?
False
Let k(y) = -y**3 - 10*y + 29. Let x be k(2). Which is smaller: x or 24/79?
24/79
Suppose 80*q - 75*q = -3*z - 6059, 6073 = -5*q + 4*z. Which is greater: -1211 or q?
-1211
Let h = 9151 + -8541. Which is smaller: h or 609?
609
Suppose -3*t = 2 - 17. Suppose -18 = y + t*y. Let n = -236 + 235. Which is greater: n or y?
n
Suppose 2*a - 10 = -2*g, -982*g - a = -979*g - 5. Is g bigger than -3/217?
True
Suppose -5*d = -0*v - v - 4, -5*v - 20 = -2*d. Let h = v + 40. Is 1 greater than h?
False
Let s = 397 + -363. Let z = -24 - -47/2. Which is smaller: s or z?
z
Let r = -270 - -273. Suppose -r*k - 35 - 67 = 3*y, 0 = -k + 5*y - 34. Let m = 2 - 3. Which is smaller: k or m?
k
Let c = -5 + 2. Let k = -43893 + 43893.055. Which is greater: c or k?
k
Suppose 14 = -14*n - 14. Let b be 1/n - 55/(-374). Let q = 2 + -1. Is b at most q?
True
Let o be (-3)/(-9) - (-48222)/162. Is o at most 298?
True
Let k = -28844 + 29089. Is k bigger than 241?
True
Let v be (-12)/8*-17*(-26)/2613. Which is smaller: v or -1?
-1
Suppose 284 + 101 = 5*r - s, r = s + 81. Is 65 < r?
True
Let g be (0 + 0)/(-1 + 3 + -3). Let a be (-6)/(-30) + 1397/(-6935). Is a less than or equal to g?
True
Let s(f) = 2*f**3 - 2*f**2 - 4*f + 1. Let v be s(3). Let r(l) = -2*l**2 + 635*l - 1267. Let w be r(2). Is v at least as big as w?
True
Suppose c - 11*d + 6 + 74 = 0, 2*d = 5*c + 82. Which is smaller: c or -47?
-47
Let c = -17488 + 17488. Does -14938 = c?
False
Let k(b) = 230*b + 1363. Let z be k(-21). Is -3467 greater than z?
False
Let m = 2.3522 - 2.3422. Let n = -17/3 - -19/3. Which is smaller: m or n?
m
Suppose 2*d - 6*d - 5132 = -1208. Is -980 greater than d?
True
Let m(a) = -201*a**2 + a**3 + 107*a**2 - 4 + 97*a**2 - 7*a. Let r be m(-5). Is -19 <= r?
True
Let m = 2696 + -2547. Which is bigger: m or 114?
m
Let g = -328 - -264. Let s = g - -66.8. Which is smaller: 2/7 or s?
2/7
Let r(x) = x**2 + 81*x + 463. Let k be r(-72). Which is smaller: k or -1/3?
k
Let g = -3417286/147 + 23247. Does 1 = g?
False
Let i = 685 + -14387/21. Let q = 1.4 + 3.6. Which is greater: q or i?
q
Suppose u - 75 = -2*u. Let n = -116/5 + u. Is n < 2?
True
Let m = 3557/7735 + 1/595. Suppo