 y = 161 - 159. Is y at most as big as 16/5?
True
Let w(d) = -20*d**2 - 301*d - 11. Let p be w(-15). Which is bigger: p or -5.9?
p
Let b be (2/10)/((-2)/15). Let v = -37 + 21. Let u = -19 - v. Which is bigger: u or b?
b
Suppose 0 = -6*u + 99 + 351. Suppose 2*k - 2*v = 66, -5*k + 2*k + u = 5*v. Are 33 and k non-equal?
True
Let u be -4 - -1 - 35/(-5). Let h be (-20)/110 - u/(-22). Which is greater: h or -5?
h
Suppose 3*s - 2 = -5. Let y = 0 + s. Which is bigger: 1/4 or y?
1/4
Suppose -u + k = -3*k - 14, 0 = 2*u - 5*k - 40. Which is greater: u or 33?
33
Suppose -4*p - 53 = g, 4*g - 31 = 2*p + 9*g. Are -4 and p non-equal?
True
Let m(v) = v**3 - 9*v**2 - 16*v + 15. Let g(f) = f**3 - 10*f**2 - 16*f + 14. Let w(p) = -6*g(p) + 5*m(p). Let q be w(16). Which is smaller: q or -10?
-10
Let l = -334.1 - -334. Let y be ((-12)/(-30))/(2/10). Suppose 0 = y*k - 3*k - 9. Is k < l?
True
Let c be 190*2*3/(-6). Let r = -1332/7 - c. Let p(n) = 41*n + 287. Let z be p(-7). Which is smaller: r or z?
r
Suppose 6*n + 259 - 97 = 0. Which is smaller: 14 or n?
n
Let r(k) = k**3 - 11*k**2 - k + 13. Let j be r(11). Let w(n) = n**3 - 5*n**2 - 2. Let y be (-4 + 132/18)/(4/6). Let b be w(y). Is b < j?
True
Let s = -66379/69 - -962. Is s less than or equal to 0?
True
Let b = -410.706 + 411. Which is bigger: b or -2/5?
b
Let l(h) = -3*h**3 - 2*h**2 + 2*h - 891. Let b be l(0). Is b greater than or equal to -890?
False
Let j = 18 - 3. Suppose -5*q - 2*w + 24 = 0, -2*w = -6 + 2. Suppose -j = d - q*d. Is 5 at least as big as d?
True
Let p = 534 - 533.7. Is 0.007 at least p?
False
Let g(v) = -10*v - 76. Let b be g(-7). Do -47/8 and b have different values?
True
Let m = 547 + -547.1. Which is smaller: m or -93?
-93
Let r be (-86)/(-30) + (-8)/(-60). Suppose 0 = 4*n + r*n. Is n greater than or equal to 45?
False
Let v = 61 + 132. Let o = v + -88. Let t = o + -1259/12. Is t less than 0?
False
Let p(b) = 3*b - 59. Let s = 117 + -96. Let y be p(s). Let o(x) = 2*x - 9. Let a be o(7). Is a at least y?
True
Let b be (18/8)/(24/(-64)). Which is smaller: b or 1?
b
Let j be (3 + -2 - 1) + -3. Let n be 0 - 3/(j + -9). Is n <= -1?
False
Let a be 348/(-7) + (-42)/147. Let g be 4/(0 - -2) - a/(-25). Let y(d) = -2*d**2 + 3*d + 4. Let v be y(4). Is v >= g?
False
Let v be 17 + -10 - (-12)/(-2). Is -4/69 <= v?
True
Let b be (-896374)/(-12558) + (-4)/(-14). Let u = -2/897 - b. Let o = u - -76. Is o <= 5?
True
Let b be 36 + ((-25)/20)/((-2)/8). Is 44 > b?
True
Suppose -2*t + 4*g = -22, t + g = 2*g + 8. Suppose -q - 2 + 4 = -i, t*q = -3*i + 18. Which is greater: 3 or i?
3
Let z be ((-2)/3)/(94/13959). Is -2 <= z?
False
Let l = -5/14 + -4/77. Which is smaller: l or 0?
l
Let n be 4/(-18) + (-1880)/(-1890)*-15. Is -15 < n?
False
Let m be ((-10)/15)/((-70)/6)*55. Let z = 257/84 - m. Is z equal to -1?
False
Let b(y) = -2*y**2 + 6*y + 6. Let u(g) = g**2 - 3*g - 3. Let t(f) = 2*b(f) + 5*u(f). Let d be t(5). Suppose 5*o - 2 = 2*s, s - 4*s = -12. Is d < o?
False
Let w = -30.4 + 30.3. Which is greater: w or 5/36?
5/36
Let j be -1 + -2 + 3 - 4552/280. Let l = j + 118/7. Is 13 less than l?
False
Let g = 99.4 + -92.1. Let n = -2 + 2. Which is greater: g or n?
g
Let s = -1015 - -612. Which is smaller: 3 or s?
s
Let k = -828 - -696. Which is bigger: -131 or k?
-131
Let w = 1.4 - 2.4. Is w at least 56?
False
Let a = 1/244 - -477/2684. Is a less than 36?
True
Let o = 47/225 + 1/75. Let z = -672 - -657. Which is bigger: o or z?
o
Suppose -8*w + 0*w + 328 = 0. Let b = -43 + w. Is -32 greater than or equal to b?
False
Let t = 55 - 59. Is -19/4 less than t?
True
Let p = -100 + 100. Suppose 20*d - 24*d + 8 = p. Which is greater: d or 7/8?
d
Let g = -0.2 - -0.1. Let l = 101 - 169. Let x = l + 68.03. Does g = x?
False
Let k = -50 - -52. Let l be 4*k/(-56) - (-1)/(-42). Which is smaller: 0 or l?
l
Let c(h) = h**2 - 42*h + 299. Let j be c(33). Let v = 1 + 4. Which is bigger: v or j?
v
Let j = 540 + -3778/7. Which is greater: j or -9?
j
Let u(f) be the first derivative of -f**2 + 6*f + 29. Let z be u(-2). Is 2 <= z?
True
Let y = 466 + -465.9. Which is smaller: y or 1.96?
y
Suppose 10 = 5*g, i - 5*g = -i + 2. Let x = i - 6. Suppose x = -4*b + 9 - 29. Do -6 and b have different values?
True
Let o be 0 + 2 + (-33)/5. Let i = 34 - 40. Is i at least o?
False
Let x be (-40)/(-5) + -11 + (-145)/(-49). Is x < 0?
True
Suppose -l + 3 = -0. Let r be -3 - (3/(-33))/(l/135). Is r bigger than 0?
True
Let k be 50 + 0 + -3 + 2. Is k less than 54?
True
Let g = -33 - -54. Are g and 21 non-equal?
False
Let o = -549 - -550. Is o bigger than -7.19?
True
Suppose 4 = -2*m, 0*u = 5*u + m - 8. Suppose 11 = -4*g + j, 6*g - u*g = 3*j - 17. Which is bigger: g or -5/7?
-5/7
Let z be (-1 - 120/18)*-3. Is 14 less than or equal to z?
True
Let f be 3/(-3) + 41/40. Let j = -51/40 + f. Let b be (-32)/14 + 4/14. Is b smaller than j?
True
Let i = 16/5171 + 4933054/25855. Let r(w) = -191*w - 1. Let m be r(-1). Let b = i - m. Which is greater: 2 or b?
2
Let x = -40 + 74. Let i = x - 33. Is i less than 1?
False
Let j be 1 - (9/2)/3. Let k = -155 - -154. Let l be 0 + -1 + k + (-8)/(-4). Which is greater: l or j?
l
Let l be (3 - 4 - -2)*-30. Let t be (l/(-50))/(1/5). Let o be t + 2/(-54)*79. Is o at most 0?
False
Let o(h) = -h + 1. Let x be o(-6). Which is greater: 5 or x?
x
Let l be (-4)/(-16)*(-4)/(-1). Let j be -24*(-168)/(-9)*1. Let m be 304/j + 6/8. Which is smaller: l or m?
m
Let y = 2 - 2. Suppose 4*f = 17*f - 78. Is f greater than or equal to y?
True
Let z = -940 + 939. Which is smaller: 3/22 or z?
z
Suppose 3*p + 4*x - 58 = 0, -5*p + 2*x + 87 = -x. Suppose -3*s = -4*j + 49, 0*j + s = -4*j + 69. Which is smaller: j or p?
j
Let y = 66141 + -11376319/172. Let x = 6/43 + y. Do -25 and x have the same value?
False
Suppose 5*a + 29 = -21. Let r be 2/(3*a/(-195)). Do r and 14 have different values?
True
Let u(i) = -4 - i**3 - 5 - 12*i - 4*i**2 - 8*i**2. Let j be u(-11). Suppose -2*x = -3*a + 20, -3*a - j*a = 2*x - 12. Which is greater: a or 5?
5
Let g(d) = -d**2 - 18*d - 30. Let b be g(-20). Let k be 28/b + (-118)/5. Are k and -24 nonequal?
False
Let y = 688 - 687. Is y less than or equal to 51?
True
Suppose -945 = 2*y + 5*y. Is -136 greater than y?
False
Let d = 237 + -234. Is 18 equal to d?
False
Let z(l) = l**2 + 3*l - 5. Suppose 4*y = -y - 80. Let m be (2/4)/(2/y). Let i be z(m). Is i != -2?
True
Let c(m) = -m**2 - 24*m + 52. Let t be c(-26). Is t at least as big as -3?
True
Suppose 0 = -4*v - r + 20, 0 = -12*r + 16*r - 16. Let k(z) = 1 - 5 - z**2 - 5 - 8*z. Let u be k(-6). Is u < v?
True
Suppose 7*s = 4*s + 9. Suppose 12 = -s*t + 6. Let u(a) = -a**2 - 7*a - 3. Let j be u(-7). Is t > j?
True
Let z = 0.11 - 45.41. Let u = -45 - z. Which is greater: 0.7 or u?
0.7
Let i be 38/(-14) + (-40)/(-16). Let h(l) = 3 + 1 - 5 - l + l**2. Let q be h(2). Is i at most as big as q?
True
Let z(f) = -9*f - 2*f + 3*f**2 - 4*f**2 - 3 + 1. Let u be z(-9). Let b be (-1)/(-1)*u/(-40). Is 1 >= b?
True
Let r(f) = -152*f - 498. Let t be r(-7). Is t > 569?
False
Let w = 581 - 624. Which is smaller: -40 or w?
w
Let l(z) = 15*z + 64. Let o be l(-3). Is o less than or equal to 12?
False
Let l be (-1)/2 - 13/(-2). Let w(q) = -q**2 - 5*q. Let z be w(-4). Suppose -3*s - 3*m = -12, -z*m + m = 0. Is l not equal to s?
True
Let d = -16.62 - -10.7. Let a = 7 + d. Let p = 0.08 - a. Which is greater: p or -1/15?
-1/15
Suppose f = 3*q - 12, f + 2 + 0 = q. Let c(l) = 4*l - 21. Let o be c(6). Which is bigger: q or o?
q
Let y(b) = -b**2 + 2*b. Let q be y(4). Let c be (q/12)/(4/6). Which is bigger: c or -2?
c
Let j(m) be the third derivative of m**6/120 + m**5/10 - 7*m**4/24 + m**3 - 14*m**2. Let g be j(-7). Which is smaller: g or 7?
g
Let g be 267/(-21) - 4/14. Suppose -279*w + 270*w = 117. Are g and w nonequal?
False
Let d = -10.364 + 0.064. Which is smaller: d or -0.2?
d
Let v = 43.3 - 45.3. Is v < -4/173?
True
Suppose 2*w - 6*w + 44 = 0. Let y(o) = -1 - 12*o + w*o + 7. Let c be y(8). Which is smaller: c or -1?
c
Let v = -0.08 + -2.92. Let r = -3.1 - v. Let c = 2128 - 2126. Which is smaller: r or c?
r
Let w = -16528 + 23106145/1398. Which is greater: 1 or w?
1
Let m be 2 + 2*20/(-24). Suppose 2*b + 2*b - 12 = 0. Let c be b + -3 - (-4)/(-14). Which is smaller: m or c?
c
Let w = 60.5 - 54. Let h = 6.5 - w.