= 4*z + 6. Let g be (-45)/(-10)*(-4)/6. Are g and z unequal?
False
Let w = -88 + 16. Let n = -72 - w. Is -1/4 at most as big as n?
True
Let g = -19603/67735 - -9/31. Which is bigger: g or 0?
g
Let j = -330 - -429. Is j equal to 98?
False
Let r = 284/595 + -4/595. Which is bigger: 0 or r?
r
Let u(o) = 5*o**2 - 113*o - 49. Let y be u(23). Let p = 34/7 + -46/7. Is p less than y?
False
Let g(b) = 2*b**2 + 8*b + 5. Let a be g(-10). Let v = 86 - a. Is -37 < v?
False
Let c(k) = -6*k**2 + 6*k + 0*k**3 - k - 6*k + k**3 + 9. Let i be c(6). Which is greater: 15 or i?
15
Suppose v + y + 70 = 0, -5*y + 50 + 118 = -2*v. Which is smaller: -75 or v?
-75
Let i be 1 + 0 + 88/24*12. Which is smaller: -1/4 or i?
-1/4
Let a = -370.9 - -345. Let o = -26 - a. Let s = -1.6 - -11.6. Are s and o unequal?
True
Let d(a) = -100*a + 7. Let v be d(-1). Let z = v + -13163/123. Which is greater: 0.1 or z?
0.1
Let n(p) = -p**3 - 11*p**2 - 50*p - 403. Let s be n(-10). Let d be -1 - -1 - 34/14. Which is greater: d or s?
d
Let w = 0.031 + 0.169. Let y be 2*((-2)/(-4))/(-1). Let m = 1 - y. Which is smaller: m or w?
w
Let g = -106 + 107. Which is smaller: -12/25 or g?
-12/25
Let f = 233 + -77. Suppose g + 5*g + f = 0. Let d = 24 + g. Which is greater: d or -5/4?
-5/4
Suppose 0 = 7*p - 3*p - 8. Let a be 312/(-69) + p + 0. Let z = -892/299 - a. Are z and 1 nonequal?
True
Let m be (-49)/8 + 6/48. Let z = -10 - -15. Let b = z + m. Which is greater: b or -1/22?
-1/22
Let g(q) = -q**2 - 3*q + 4. Let c be g(-4). Let w(f) = -f**3 - 9*f**2 - 4*f + 26. Let t be w(-8). Let i be (((-198)/27)/11)/(26/t). Are c and i equal?
False
Let y = -1578 - -1425. Which is greater: 0.1 or y?
0.1
Let b = 204/665 + -2/95. Which is smaller: 1/41 or b?
1/41
Let p(i) = i**2 - 7*i - 2. Let y be p(5). Let q be (y/4)/(-6)*22. Let k be (q/(-44))/(1/4). Is 3/10 not equal to k?
True
Let w = 12 - 47/4. Let t = -46 - -45. Is t <= w?
True
Let q be ((-107)/(-35) - (2 - -1))*5. Which is smaller: -0.08 or q?
-0.08
Let j be (-58)/18 + 3 - (-364)/3906. Does 1 = j?
False
Suppose -c - 2 = 0, -1 = -3*q - c + 3. Suppose 4*g = 5*f + 7 - q, 4*f = -3*g + 27. Suppose 0*b - 5 = g*b. Is b smaller than 2?
True
Suppose -3*u = 10 + 2, n - 2*u - 8 = 0. Let o = -16485/13 - -1267. Which is smaller: n or o?
o
Suppose 5*f + 5*t = 10*f - 5, -4*f = 5*t - 13. Suppose -8 - 1 = s. Let i = f + s. Is i at most -35/6?
True
Let v = 334242793635/106444159724 + -104/14132257. Let p = v + 3/1076. Which is greater: 2 or p?
p
Let f = -132 + 131. Which is greater: f or -15?
f
Let l = -123/565 + 2/113. Let t(j) = -j + 6. Let o be t(5). Is l < o?
True
Let k be 13/195 + (-4)/(-90). Which is greater: k or 2?
2
Let m be 18/(-63) - 2958/(-14). Which is smaller: m or 210?
210
Let n be -2*((-1)/(-2) + -1). Let m be (-1308)/(-40)*3/(-221). Let h = m + -3/170. Is h smaller than n?
True
Let m(h) = h**3 - h**2 + h - 2. Let x be m(2). Suppose 0 = -t - t + x. Let z = 1.41 - -0.59. Is z greater than or equal to t?
True
Let w(f) = 29*f + 617. Let p be w(27). Is p < 1399?
False
Let p(y) = 7*y + 383. Let b be p(-52). Is -4 bigger than b?
False
Let l = 97 + -97. Suppose -12*n = -l*n - 36. Is n smaller than -4?
False
Let i(n) = n + 14. Let l be i(-8). Suppose -l = -2*t - t. Let y be (2/(-6))/((-1)/6). Is t at most as big as y?
True
Let o = 8 - 7. Let d = 136 - 1631/12. Is o <= d?
False
Let k = 1772/11 + -161. Is k greater than or equal to 0?
True
Suppose 5*k + 3*w = 0, -37*k + w = -33*k. Are k and -0.125 equal?
False
Suppose 3*u = a - 39, 4*a = -3*u + 115 + 101. Is 99/2 <= a?
True
Let f = -247838/1665 + 1432/185. Let o = f + 140. Let q be (-28)/21*(-3)/(-2). Which is greater: q or o?
o
Let b = 0.29 - -0.075. Is 2 less than b?
False
Let p = -298/7 - -4183/105. Let g = p - -12/5. Are g and 0 unequal?
True
Let v(j) = j**3 + 4*j**2 - 2*j - 6. Let m be v(-4). Let h(i) = 2*i - 2. Let r be h(m). Suppose k = r*k + 8. Is k at most -9?
False
Let b be (-1)/(-8) - (4830/48)/5. Is b > -16?
False
Suppose 0 = 4*b - 33 + 225. Is b at least -48?
True
Suppose -5*j - 4*o - 163 = 0, -j - 2*o - 41 = 3*o. Is j < -32?
False
Suppose -3*m + 4*a + 634 = -468, 2*m + 3*a - 746 = 0. Which is bigger: m or 2/5?
m
Let m be 11451/(-6) + 1 + 9/6. Let j = m + 51470/27. Do j and -1 have different values?
True
Let w = 77.5 - 262.5. Is 2/3 >= w?
True
Let m(d) = -76*d - 15. Let j be m(-4). Which is smaller: j or 288?
288
Let y be (1/1)/(2/2). Let t = -977 - -977. Which is greater: y or t?
y
Suppose -4 = 2*i - 3*q, 2*i - 4 = q - 0*q. Let b = -4 + i. Suppose b = -4*z + 5*z. Is -2 less than z?
True
Let p = -1082 + 1082.1. Let f be 2/(-7) - 527/(-7). Let r = f - 827/11. Is p at most as big as r?
False
Let d be ((-21)/(-63) - (-76)/33) + -3. Is 0 equal to d?
False
Suppose 4*p - 2 = 3*y + 1, -3*y = -5*p + 6. Let i = p - 3. Suppose i - 2 = 2*w. Which is bigger: w or 4/9?
4/9
Suppose -1 = -5*p + 29. Let i(k) = -6*k + 120. Let a(l) = l - 17. Let u(d) = 15*a(d) + 2*i(d). Let y be u(p). Which is greater: y or 4?
4
Let v(k) = 6*k - 37. Let z = 58 - 43. Let a be v(z). Is 53 greater than or equal to a?
True
Let j be ((-12)/(-78))/(3/39) + -2. Which is greater: 12/767 or j?
12/767
Let t be 0 - (3/(-248))/(1980/(-176)). Which is bigger: -1 or t?
t
Let c = 2/23 + -27/46. Let k = -18 - -20. Let t = k + 4. Are c and t unequal?
True
Let v be ((-507)/30 + 4)/(510/(-8)). Let z = v - 8/25. Which is smaller: 3 or z?
z
Let y(u) = -4*u**3 + 6*u**2 + 6*u - 8. Let j(d) = d**3 - 1. Let r(a) = 3*j(a) + y(a). Let p be r(7). Is p >= -17?
False
Let p be 104/(-7) - (-3)/(-21). Which is smaller: p or -46/3?
-46/3
Suppose 5*b - 4*d - 29 = 0, 2*b = -d + 4 + 5. Suppose 0 = -0*j + b*j. Which is smaller: -5/17 or j?
-5/17
Let u(o) = 2*o**3 - 20*o**2 + 38*o - 16. Let i be u(8). Is i < 34?
True
Let x be (30/8)/(-5)*-4. Suppose -9*m = -x*m + 72. Let c(r) = r**2 + 12*r. Let l be c(m). Which is smaller: 1/37 or l?
l
Let q = 429 + -421. Let t = -1.03 - -0.03. Does t = q?
False
Suppose 0 = -5*g + 5*o + 270, 11*g - 4*o - 66 = 10*g. Let s = 23 - g. Which is smaller: s or -0.2?
s
Let w = 400 + -275. Let l = w + -122. Which is smaller: l or 0?
0
Let a be ((-1)/1)/((-1)/20). Suppose 4*d - 8 = 4*j, 3*j + 2*j + a = 0. Let n be d/(-6)*(2 + -5). Do n and -3 have different values?
True
Let o be (-21)/(-5 + 12)*1/3. Is -1/41 not equal to o?
True
Let j = -4 + 6. Suppose 97 + 15 = 14*c. Which is bigger: j or c?
c
Let y be (6/(-261))/((-1)/274). Let l = y + 204/29. Let w = -71/6 + l. Which is bigger: w or -0.1?
w
Let o be 16/(-16) + 1 + -15. Let d = o - -149/11. Is d bigger than -2?
True
Let j = 4.6 - 4.2. Which is smaller: 0.54 or j?
j
Let i = -170 + 171. Which is smaller: i or 138?
i
Suppose -5*y + 9*y = 52. Let s = 17 - y. Suppose -5*x + 5*n = 25, n = -s*x - 2*n + 8. Is x < 0.01?
True
Suppose 165 = -41*z + 8*z. Let r be 0/(-2*2/4). Suppose 5*i - 2*i - 3 = r. Which is bigger: z or i?
i
Let r = 0.057 + -0.059. Let c = r - 0.088. Which is smaller: c or 0.2?
c
Suppose 2*u - 6 = 6. Let o be (-65)/90 - (-3)/u. Which is bigger: -1 or o?
o
Let m(z) = 13*z + 33. Let a(v) = 38*v + 101. Let g(w) = 4*a(w) - 11*m(w). Let c be g(-14). Which is smaller: -84 or c?
c
Let s = -0.032 - -0.072. Which is smaller: s or 1/17?
s
Let t = -413293/186 + 2222. Is 0 at most as big as t?
False
Let b = -89 - -90. Let u(z) = 18*z**3 + z**2 - 3*z + 1. Let x be u(b). Is x > 17?
False
Let v(b) be the third derivative of b**5/60 + b**4/8 + 5*b**3/3 - 21*b**2. Let f be v(0). Which is smaller: 9 or f?
9
Suppose -3*o + 11 = -4*p, -4*o + 2 = -2. Let w be (20/8*p)/(-1). Are w and 2 non-equal?
True
Let o = -17 - 0. Let c = -1.76 + 1.96. Which is smaller: c or o?
o
Let m = -2.27 - -2.37. Is 2/117 <= m?
True
Let u = -857/30 - -86/3. Let b = -2/167 - 324/835. Which is greater: u or b?
u
Suppose -4 = -t, -y - 3*t + 9 = -2*y. Let u be 3 - ((-135)/(-13))/y. Which is smaller: 1 or u?
u
Let r = 11/9 - 50/9. Let f = -0.68 + 0.68. Which is bigger: r or f?
f
Let l = -11 + 18. Let a be ((-9)/(-6))/((-18)/(-24)). Suppose 6 - a = 4*u. Which is bigger: u or l?
l
Let q be (-328)/(-1)*(-15)/50. Let y = q + 98. Which is smaller: y or -1/2?
-1/2
Let t = 4 - 4. Suppose t = 4*x + 66 + 2. Let w = 7 + x. Is -11 not equal to w?
True
Let j = -252.13 + 234. Let q = -18 - j. Let x = q + -0.03. Which is smaller: 2 or x?
x
Let k = 0.18 -