 2*n - 17 = 5*n, -2*m + 3*n + 13 = 0. Is 16 at most m?
False
Let m = -543 + 17377/32. Which is smaller: m or -1?
-1
Let s(h) = h**2 - 26*h + 63. Let m be s(26). Let z = m - 36. Is 28 at least as big as z?
True
Let o be 38/(-24) - (-13)/52. Let v = -0.6 + -2.2. Let f = 3 + v. Is o greater than or equal to f?
False
Suppose -2*r - 40 = -5*r - 4*y, -2*r + 36 = 5*y. Suppose -2 + r = 2*b. Let h be (13 - b)*4/90. Which is bigger: h or -1?
h
Let r = -7 + 11. Suppose 3*y - 4*h + 21 - 3 = 0, -4*y - 20 = -r*h. Let a = -2 - y. Is 1/5 greater than or equal to a?
True
Suppose 2*y - 6*y + 26 = -3*m, -3*y + 3*m + 21 = 0. Suppose q + 4*z = 26, y*q = z + 3*z + 10. Let u be (-80)/(-5) - q/2. Which is smaller: u or 14?
u
Suppose -3*m + 3*a = 6, -3*a + 11 = -4*m + 2*a. Let u = -0.069 - 0.071. Let o = u + 0.24. Is o <= m?
True
Let u be (-2)/(-27)*1311/368*4. Which is bigger: 0 or u?
u
Let l = 5 + -37. Let j be (-194)/315 + l/(-56). Is 1 less than j?
False
Let l = -69958/53 - -1320. Which is smaller: l or 0?
0
Let h = -448472/15 - -29773. Let k = -125 - h. Let l = 5 - 6. Is l at most k?
True
Let d = 197 - 287. Let y be 4*(d/(-8))/9. Suppose 0 = 4*q - 33 + 13. Is q greater than y?
False
Suppose 10*x + 37 = 7. Let t = 2 + 1. Let b be (-1 + t)*(-1 + 0). Which is bigger: x or b?
b
Suppose 3*y = 3*d - 3522, 23*y = -d + 20*y + 1190. Are 1177 and d equal?
False
Let z be (-3)/(-6)*(2 + (-1 - 0)). Let k = 0.041 + -0.251. Let x = k + 0.34. Which is bigger: z or x?
z
Let i = 1 - -3. Suppose 4*j + 10 - 2 = 0. Let w = j - -5. Is i at most as big as w?
False
Suppose 0 = -k + 3 - 1. Suppose 2*z + 34 = -5*t + 5, -10 = k*t. Let u = z - -1. Is u not equal to -1/2?
True
Let l(n) = n**3 - 7*n**2 + 6*n + 6. Let y be l(6). Suppose -4*k = 3*i - 12, -5*i + 4*k + 16 = -i. Is i less than y?
True
Suppose -7*i + 9 - 9 = 0. Suppose i = 3*a - a + 188. Which is bigger: a or -93?
-93
Let o = 77 - 113. Let j = 6 + o. Is j less than -1?
True
Let r(k) = -14*k + 214. Let i be r(15). Is -15 at least i?
False
Let h = -0.142 - 0.088. Let m be (-16)/32*(-8)/14. Which is greater: m or h?
m
Let i be 140/(2/((-2)/1)). Let y = i - -2803/20. Which is smaller: 2 or y?
y
Suppose 14*o = -179 + 11. Do 12 and o have the same value?
False
Let z = -491 - -403. Which is bigger: -441/5 or z?
z
Let a = -1.9458 + -0.0542. Is a at most as big as -313?
False
Let b be 86/(-6) - 4/6. Let f = b + 27. Is f < 11?
False
Let n = 7.85 + 0.05. Let d = 7.986 - -0.014. Let f = d - n. Are f and 4 equal?
False
Let c = 39.2 + -48.2. Which is bigger: 14 or c?
14
Suppose 0*x = x - 2. Suppose -x*l - 5 = -3*n, -3*l + 0*n = 3*n. Is 0 at most l?
False
Let y = 3628114887979/1932 - 1877906449. Let s = 1346/7 + y. Let c = -3593/1380 + s. Is -2 > c?
True
Let n = 33 + -41. Let s be 6/(-3)*(11 + n). Which is greater: s or -5?
-5
Let n = -845 - -811. Is n greater than or equal to -29?
False
Let h = 436 - 1588. Let j = -108287/94 - h. Is j not equal to 0?
True
Let x(n) = 2*n + 28. Let t be x(-12). Let h be 1/(10/(-46)) + t. Is -0.3 less than or equal to h?
False
Let j = 0.078 + 0.022. Let d be (2/(-3))/(1 - (-21)/(-18)). Does d = j?
False
Let p(r) = 6*r**2 - 3*r - 3. Let f be p(4). Suppose 0 = 2*s + 3*d + f, -s = 5*d + 61 - 3. Let z be ((-11)/s)/((-1)/3). Is -2/21 < z?
False
Let d = -2 + 9. Let b be -4 + d + 19/(-7). Let u = 0.01 - 1.01. Which is smaller: b or u?
u
Let l be 6 + 4 + 0 - (6 - 5). Is 5 greater than l?
False
Let l = -47 + 187/4. Let f = 57.073 - 1.373. Let i = 56 - f. Is i != l?
True
Let r = -58 - -59.71. Let b = r + 0.59. Let w = b + -2.3. Which is smaller: w or 3?
w
Let s(q) = q**2 - 6*q + 9. Let p be s(6). Let u be (-12)/p - 2/3. Let b be (-2)/11 - (-28)/(-88). Which is bigger: b or u?
b
Suppose 3*p + 8 - 27 = f, 0 = -5*p - 5*f + 5. Let s = 18 + p. Suppose -20*o = -s*o. Is -5/6 bigger than o?
False
Let i be (-35)/(-3) + (-1)/(-3). Let p be 33 + 0 - (-18)/(-9). Let c = 44 - p. Which is smaller: c or i?
i
Suppose 1920*u - 1928*u = 3056. Is -380 less than u?
False
Let r be (3 + 1435/63)*(-6)/2. Let i = -262 - -184. Let h = i - r. Which is smaller: -2 or h?
-2
Let y = 19 - 15. Suppose -y*g + 10 + 10 = 0. Let l = 4 - 4. Is g less than or equal to l?
False
Let d be 27/18 + (-5 - 9/(-3)). Which is bigger: -0.58 or d?
d
Suppose 5*f + 801 - 856 = 0. Is 29 at most as big as f?
False
Let p be 1/(-2) + (-1 - -2). Let b be (-2)/(-15)*(-850)/160. Let t = -1/24 - b. Which is bigger: p or t?
t
Suppose -2 = -n + j - 0*j, -5*j - 9 = -4*n. Is 4/75 bigger than n?
False
Let z = 9210088743558291466321/246726690881359733700 + -7/60729734137731. Let f = -36/40627 - z. Let a = f - -149/4. Which is bigger: -1/4 or a?
a
Let h be 2/(4*1/(-122)). Which is smaller: h or -60?
h
Suppose -3*j = -j. Let y = 6 + -1. Let v be 12/(-10)*y/2. Is v greater than or equal to j?
False
Let i be 1/(-3) - ((-9780)/1854 + 5). Is -1/3 >= i?
False
Let c = -93 - -89.9. Let t = -2.99 + -0.01. Let v = c - t. Is 0.4 <= v?
False
Suppose -23*z - 77 + 31 = 0. Let q = 892/5 + -179. Which is smaller: q or z?
z
Suppose 0 = 8*d - 540 + 756. Is -6 equal to d?
False
Let m be ((-723)/(-54))/(130/75 + -1). Let o = m - 103/6. Which is greater: o or -0.1?
o
Let f(o) = -o**2 - o + 6. Let r be f(0). Suppose 0*a + r = -2*a. Let k be 10*(-2)/(-5)*-1. Is a equal to k?
False
Let p(u) = -u**3 + 5*u**2 - 2*u + 3. Let f be p(5). Let t(d) be the first derivative of d**3/3 + 5*d**2/2 - 4*d - 28. Let w be t(f). Is 9 equal to w?
False
Let x = -4.72 + -0.28. Let k = -6 - x. Let t = -0.3 + 7.3. Which is bigger: k or t?
t
Let j = 0.07 - 4.07. Suppose 3*q = -5*m - 22, 3*m + 6 = -9. Is j at most as big as q?
True
Let n be (19703/4)/17 + 5. Which is bigger: 295 or n?
295
Suppose -5*m + 2*g = -141, 5*m + 15*g = 18*g + 139. Is m less than 139/5?
False
Let d be (-3 - 45/(-21))/((-1)/(-35)). Let p = d - -28. Suppose -3*c + 17 = 4*a + 49, c + 4*a + 24 = 0. Which is greater: c or p?
p
Suppose 8*b + 88 = 4*b. Let w = 33 + b. Suppose 0 = -12*f + 179 - 35. Which is bigger: f or w?
f
Suppose -j + 3*i = -41, 4*i = 2*j - 0*i - 72. Suppose -7 + 3 = -2*z. Let r be j/z + (-4)/4. Is 12 smaller than r?
False
Let k be (-5)/5*(9 + -1). Let l be k/(-6) - (-8)/12. Suppose 2*i + 12 = l*d - 5*d, 4*d + 23 = -5*i. Is d equal to -7/5?
False
Let l = 0.3 + -0.2. Suppose 0 = c - 5 + 4. Let u be (c/(-3))/((-35)/180). Are l and u unequal?
True
Suppose -4*m - 8*m = -348. Which is greater: 28 or m?
m
Let m be -4 - (-4 - -3)*1. Let v(d) = -d + 16. Let k be v(9). Suppose 2 = -5*q + k. Do q and m have the same value?
False
Let b = -0.213 + 0.313. Is -2.98 > b?
False
Suppose -2*y = -3*u - 2310, y + 510*u - 1145 = 509*u. Are y and 1151 equal?
False
Let o = 2 - 0. Suppose 2*u + 6 + 0 = -o*q, -3*q + u - 1 = 0. Let n be (-3)/(((-6)/(-4))/q). Which is smaller: 3 or n?
n
Suppose 2*h + h = -81. Let a = -22 - h. Are a and 7 unequal?
True
Let p be (-63)/14*2/2*-2. Which is smaller: 8 or p?
8
Let v = 54 - -31. Suppose 4*u = v + 11. Let h(a) = -24*a**3 + a**2 - a - 1. Let d be h(-1). Is d bigger than u?
True
Let s be 1/(-11) - 1/(-11). Is -130 <= s?
True
Let c = 0.17 + 0.01. Let d = c - -2.82. Let j = 3 - d. Which is smaller: 0.12 or j?
j
Let t be (-6)/4*4/(-99). Let v(k) = -k**3 + 8*k**2 - 14*k + 10. Let r be v(6). Let i be 1*((-4)/2 - (r + -1)). Which is bigger: t or i?
i
Let o = -6 - -9. Suppose 0 = -5*z + o*z + 12. Let t be 2*-2 + (10 - z). Is 6/19 <= t?
False
Let d be (1 - (-1)/6*-4)*3. Let b be (-6)/(-9)*3 - (3 - d). Is b bigger than -9/7?
True
Suppose -5 = 4*c + 7. Let l(k) = -2*k**2 - 4*k - 3. Let j be l(c). Let x(m) = -5*m**2 + 16*m - 22. Let a be x(2). Which is greater: a or j?
j
Let d(h) = -4*h - 37. Let k be d(-7). Which is greater: k or -3?
-3
Let x be ((1 - -1)*1)/(42/105). Suppose q - x = -3. Which is smaller: q or 11?
q
Let x(c) = 510*c**3 + 11*c**2 + 5*c + 8. Let m be x(-12). Let b = m - -57182174/65. Let i = -112/5 - b. Which is smaller: i or -1?
-1
Suppose 5 = 5*k + 5*j - 2*j, 4*k - 5*j - 4 = 0. Let b = -119/5 + 117/5. Is k less than or equal to b?
False
Let h = 11 - 4. Suppose 36 = h*q - 3*q. Let b be (-1)/(-21) - 3/q. Which is greater: -2/3 or b?
b
Let k(r) = -15*r - 12. Let g be k(-4). Let n be (8/6)/(64/g). Which is smaller: 1/3 or n?
1/3
Let u = 368 - 369. Which is smaller: 2/15 or u?
u
Let p = -89 - -88.808. Is -0.1 <= p?
False
Let i(h