 = 0, 0 = 2*f + 3*f - 3*q - 55. Is l at least as big as f?
True
Let m = 56 - 47. Let c(h) = -h**2 + 9*h - 12. Let l be c(m). Is -10 >= l?
True
Let m(i) = -5*i**3 + i**2 - i. Let h be m(1). Let p be ((-2)/10)/(h/5). Are p and 8/5 non-equal?
True
Suppose 4*f - 6*f = 2*n - 34, 0 = -4*n - 12. Let b be (-1)/(f/5 + -5). Is 0 at least as big as b?
False
Let c = 1836800/319 - 5758. Which is smaller: c or 1?
c
Let y = -17 + 7. Let k be ((-64)/(-20))/(1 - (-13)/(-10)). Which is bigger: k or y?
y
Let f = 28 - 24. Suppose 5*l - 10 = -5*q, 2 + 0 = -2*l - f*q. Let z be 0 - (-1 - l/(-2)). Which is bigger: 0.3 or z?
0.3
Let g = 119/2 - 61. Let y(p) = -5*p - 7. Let r be y(-5). Let t = r - 21. Is t at most as big as g?
True
Let g be (-46)/(-14) - 24/84. Let c be 0*(g + -2 + -2). Let t = -6164/11 + 560. Is t >= c?
False
Let i be 2/4 - (-1)/2. Let r be (105/(-2))/(5829/(-6)). Let p = 1/67 + r. Which is bigger: p or i?
i
Let c be -4 + 5/(6 - 1). Let w be 0*2/(-4) + c/27. Which is smaller: 0.1 or w?
w
Suppose -2*p - 33 = 3*f, -6*p + p + 4*f = 48. Let h = p + 8. Let z be 2/4*(-20)/(-25). Which is bigger: h or z?
z
Let b = 2 + -2. Let k be 11 + (-15 - (-364)/77). Is k < b?
False
Let h(j) = -227*j**3 + 13*j**2 + 5 + 228*j**3 + 10*j - 33. Let s be h(-12). Which is smaller: s or -9?
-9
Suppose -18 = -4*q - f + 12, 0 = 4*q + 4*f - 36. Suppose 4*c = a - q, -a = -1 + 2. Let d be (c/4)/((-6)/12). Is 3/2 not equal to d?
True
Let r = -10/11 - -8/33. Let v(u) = u**3 - 5*u**2 + 2*u + 3. Let q be v(5). Let o(z) = -z**2 + 14*z - 16. Let x be o(q). Which is greater: x or r?
r
Let b(f) = f**2 - 3*f - 6. Let d be b(5). Suppose -h - d = -13. Let k be 6/h - (-2)/(-3). Is 1 != k?
True
Let g = -37 + -84. Are g and -122 equal?
False
Suppose z = -2*h + 55, -21*h + 23*h - 315 = -5*z. Which is smaller: 66 or z?
z
Let j = -16 - -15. Let v be j - -6*2/3. Is 5 less than v?
False
Let k be 0 + (-2 - 0) + -3. Which is greater: -58/9 or k?
k
Let k = -577 + 578. Which is smaller: k or -10/37?
-10/37
Let y be 32/12 + 63/(-9). Is y less than 3?
True
Suppose 11*k - 110 = 2*c + 10*k, 5*c + 261 = -k. Which is smaller: c or -7?
c
Let c = -38.15 + -0.85. Let o = c + 38.08. Let m = 0.08 - o. Which is greater: m or 9?
9
Suppose 0 = -p - 2*p + 15, l = 5*p - 24. Suppose 3*n = 7*n - 16. Suppose -n*i + 14 = -2*d, -8 = -i + 2*d - 0. Which is smaller: l or i?
l
Let s = -271/63270 - 1/342. Is -1 at most s?
True
Let q be 8 + 11/22*-16. Let b be 1352/452 - 6/2. Is q at least b?
True
Suppose 25*j = -530 - 170. Is j bigger than -28?
False
Let n = 275 + -244. Is n bigger than -1/3?
True
Let v be 1 + 7/(-3) + -1. Let i be (-273)/104 + (-15)/40. Is i greater than or equal to v?
False
Suppose 3*o + 315 = -5*z - 2*o, 4*o - 284 = 4*z. Are -68 and z nonequal?
True
Let p = -45 + 79. Let a be (-7)/(-2) + -2 - 49/p. Which is smaller: a or 0?
0
Suppose 57*c - 3490 = 47*c. Which is smaller: c or 350?
c
Let o = -14.71 - -13.01. Is o greater than or equal to -8/7?
False
Let n = 83.5366 - 83.6. Is n > -0.1?
True
Let b = 29 - 12. Let i be (5 - 0)*(-5)/(-5). Suppose i*u - p = -10, 0*p = 3*u + 4*p - b. Is -6/7 at least as big as u?
True
Let b(s) = 12*s - 48. Let h be b(4). Is h at least as big as 4/25?
False
Let v = -59/175 - -2/525. Which is smaller: 0.22 or v?
v
Let a be ((-26)/(-12) - 2)*-2. Let g be ((-8)/(-6))/((-765)/(-81) + -9). Does g = a?
False
Suppose -4*l + k + 65 = 0, -3*l = 4*k - 5*k - 50. Let q be 6/15 - 951/l. Let v be (-2)/(-7) - 52/q. Which is bigger: v or 0?
v
Let y = 12.9 - 10.9. Let c = 0.92 - -0.08. Let j = c - 1.4. Is y > j?
True
Let q(o) = 4*o**2 + 9*o - 4 - 5 - 5*o**2. Suppose -4*f + 32 = 4*s, 3*s - 5*f = 2*s + 14. Let h be q(s). Is h bigger than -9?
False
Let u = -227919/48730 + 7980/443. Let k = -9/55 - u. Which is smaller: k or -15?
-15
Let r be (-6)/8*(-2)/6. Let k = r + -19/44. Is k less than 1?
True
Let k = -6 + 8. Let x = 1.4 - k. Let w = x + 0.7. Is 0.1 >= w?
True
Suppose -f + 2*o = 26, -5*f + 3*o = -2*o + 105. Let v be (-12)/f*(2 - -2). Let a(m) = -m**3 + 3*m**2 + 5*m + 1. Let x be a(4). Which is greater: v or x?
x
Let s = -34195 - -444285/13. Is -20 < s?
True
Suppose 4*c + 11 = 247. Is 66 <= c?
False
Suppose 4*h + 3314 = -2*s, 0 = 3*h - 6 + 12. Is s smaller than -1653?
False
Let l be (-6)/(-3765)*(7 + 3)/1. Is l greater than 0?
True
Suppose -1355 = -2*j + 719. Is 1038 smaller than j?
False
Let c(h) = -h**2 - 2*h + 3. Let v be c(-5). Let o = -112 + 133. Let a = o + v. Is 9 >= a?
True
Let d = -0.138 + 55.138. Let b = d - 53. Which is smaller: 1.3 or b?
1.3
Let r be (-5)/(-30) - (-2)/(-12). Let x = -18 - -7. Is r greater than x?
True
Let t = 66/215 - -4/43. Let d = 181 - 181.47. Let s = 0.27 + d. Which is bigger: s or t?
t
Suppose r + 4*t + 32 = -r, -4*r + 3*t - 64 = 0. Let s be -2*((-156)/r - 2). Which is greater: s or -17?
s
Let j = -44213/11 - -4008. Let i = j + 11. Let h be -2*(-3)/12*-2. Is i <= h?
False
Let c(l) = l - 16. Let b be c(-11). Let j = b + 26. Which is greater: j or -4/9?
-4/9
Let g(t) = 7*t**3 + t**2. Let r be g(-1). Suppose -d - 4*d + 5*b = -45, 5*d = -5*b - 5. Let y(w) = -w**2 + 2*w + 3. Let o be y(d). Which is greater: r or o?
o
Let q = -1099 + 1099. Which is greater: q or -0.1?
q
Let w be -1 - 2 - 175/(-55). Let c = 13/132 - w. Is 2 at least as big as c?
True
Let n = 0.1823 + 0.0177. Which is bigger: n or 997?
997
Let p = -3115 + 3115.1. Let d = -1 + 2. Which is bigger: p or d?
d
Let x = 0.17 + 7.83. Let n = -10 - -20. Let i = n - x. Which is smaller: i or -1/3?
-1/3
Let o be (-11 - (-8 + -2))*1. Is o >= -15?
True
Let t = -104 + 206. Let r = -152 + t. Let w be r/18 + (1 - -2). Which is bigger: w or 1?
1
Let l = 9 + 3. Let r = l - 12.3. Which is smaller: r or 0.4?
r
Let l = 9.1 - 6.1. Is 3 smaller than l?
False
Let l be 210/70 + 0 + -1. Is -59 < l?
True
Let b be ((-123)/6 + 1)*-4. Suppose j = 5*r + 468, -9*j + 4*j = r + b. Let c be -1 + r/(-99)*1. Which is bigger: c or 0?
0
Let u = 97 - 69. Let k = 14684.1 + -14684. Which is greater: u or k?
u
Suppose 5*a + 0*m - 13 = m, -2*m + 4 = 5*a. Let t be 4 + a + (-4)/2. Suppose -7 = -3*i + t*i. Is -7 > i?
False
Suppose 33 = -5*b + 3*i, i - 6 + 17 = -2*b. Let z(r) = r - 2. Let g be z(-6). Which is smaller: b or g?
g
Let s be (-2)/10 - 1/(-5). Suppose -25 = -y - s*y. Suppose -2*k + 10 = -2*n, -2*k = 3*k - 2*n - y. Is 7 at least as big as k?
True
Let v be (8/6)/((-23)/(21735/(-14))). Is 271/3 at least v?
True
Suppose -3*t + 11*t = -88. Let i = -9 + -6. Let p = i - -3. Is p <= t?
True
Let x = -4.76 + -1.24. Is 2 greater than x?
True
Let o(c) = c**2 - 6*c + 7. Let n be o(4). Let k be (-1 - n)/(-4 + 6). Which is smaller: -2/51 or k?
-2/51
Suppose q = -5*q + 18. Suppose 3*w = -5*g - w + 29, 2*w = g - q. Suppose 5 - 25 = g*v. Which is smaller: v or -3?
v
Let k = 2/8725 - -17416/148325. Is k at most -0.061?
False
Let o(k) be the second derivative of k**4/12 - k**2 + k. Let p be o(4). Suppose p = 4*h - 3*f, -2*h - 7 + 19 = f. Which is greater: h or 4?
h
Let o = 1957 + -2390. Which is smaller: o or -432?
o
Let t = -7/899 - -1057/5394. Let v = t + -2/93. Let j = v + 1/3. Is 0 less than or equal to j?
True
Let z(d) = 2*d - 8. Let g be z(3). Let k be (((-5)/g)/5)/(26/12). Let w = -0.3 - -0.3. Is w less than k?
True
Suppose -41*d + 37*d + 24 = 0. Suppose -3*b + 4*l = 6*l + d, 5*b - 2*l = 6. Let r be 20/(-14) - (0 - 1). Which is smaller: b or r?
r
Suppose -8*l - 155 = 197. Let h be l/(-3993)*6/(-4). Which is smaller: h or 1?
h
Let i(g) = g**3 - 5*g**2 + 6. Let m be i(5). Suppose 5*p - m = -p. Is p >= -2/89?
True
Let w = 110.7 - 110.9. Is w >= 2/175?
False
Suppose 55 = j - n - 31, -3*j + n + 266 = 0. Which is bigger: 91 or j?
91
Let m be 4/110*15/4. Which is bigger: m or 2/3?
2/3
Let l be 2163/315 + (-2)/(-15). Suppose 18*o - l*o = -11. Which is smaller: -8/31 or o?
o
Let t(p) = -p - 1. Let r be t(-3). Let o be (r/(-3))/(6/(-9)). Let a = -8/9 + 47/63. Which is greater: a or o?
o
Suppose -4*d - 4*t = -164, 2*d + 0*d - 2*t - 86 = 0. Let s be 764/18 - (-16)/(-36). Is d smaller than s?
False
Suppose 5*v + 758 = -442. Are -242 and v non-equal?
True
Let l = -738 - -9599/13. Let y = 530 - 530. Do l and y have the same value?
False
Let l be 1/(-3) + 110/285. Suppose -14*k + 4*n - 22 = -12*k, 5*k + 10 = n. Is l < k?
False
Let s be (-35)/(-135)*(-2)/(-7). Let o be 