(56/(-20))/2. Is r less than or equal to -0.1?
True
Let w = 0.35 - 0.05. Let m = -268/27 - -58/27. Let h = m - -8. Are w and h non-equal?
True
Let v(i) = i**3 - 6*i**2 - 5*i - 3. Let q be v(7). Suppose 4*z = q - 3. Let w be 0/(z - -1)*-1. Is 0 smaller than w?
False
Let d(y) = y - 6. Let l be d(7). Let u(k) = k**2 + 3*k + 2. Let r be u(-3). Which is greater: r or l?
r
Let z be ((-6)/(-4))/((-5)/10). Is z at most as big as 3?
True
Let g = -1/154 + 311/462. Let h be 0/((-1 + 0)*1). Suppose -4*j + 3 = 3*n - 12, -n + 5 = h. Which is smaller: g or j?
j
Suppose 0 = -5*h - 5*w + 10, 4*w - 5 = 3. Suppose -8 = -h*v + 4*v. Let o be (2 + 24/(-15))/v. Is 0 at most as big as o?
False
Suppose 0 = -3*c - 2*f + 5*f + 9, -5*c - 3*f = 9. Let g(s) = 14*s + 4 - 5*s + s**2 - 13. Let o be g(-10). Which is greater: o or c?
o
Suppose -5*a + k - 15 = 0, -4*a + 3*a - 2*k + 8 = 0. Suppose 1 = 2*v - 1. Let c be (-1 - (2 + a))/v. Is 0 > c?
True
Let j = 2 + -2. Suppose -2*o = 2 - j. Let c be (0*o/1)/(-1). Is -1/2 greater than c?
False
Suppose -3*c + 1 = -5. Suppose -23 + 5 = -9*y. Let l = c - y. Are -2/13 and l unequal?
True
Suppose -5*d = -0*k + 4*k + 7, -4*d - 20 = -4*k. Which is bigger: k or 1/45?
k
Let l be 4/(-8) - 9/(-2). Let n be ((-9)/(-6))/((-2)/(-4)). Is n at most l?
True
Suppose -h + 5*h + 32 = -4*i, 4*h = 3*i + 3. Which is bigger: -4 or h?
h
Let i(z) = z**3 - z**2 + 3*z - 2. Let c(n) = 2*n**3 - 2*n**2 + 5*n - 5. Let b(x) = 4*c(x) - 7*i(x). Let l be b(0). Is l < -6?
False
Let c(q) = q**2 + 7 - 1 - 4 - 7*q**3 - 3. Let y be c(1). Is y less than -6?
True
Let n(t) = -t**2 - t. Let m(w) = -6*w**2 - 5*w. Let x(c) = -2*m(c) + 10*n(c). Let p be (6 + -5)/(1 - 2). Let i be x(p). Is i at most 3?
True
Let d = 0.899 + 0.101. Which is greater: d or -2/11?
d
Let f be ((-2)/(-10))/((-5)/10). Is f < 3?
True
Let r = 157 + -1571/10. Let i = 0 - 0. Suppose i*a = 3*a. Which is greater: a or r?
a
Let c = 4.1 - -0.9. Let b = 0.2 + -0.3. Is b less than c?
True
Let g(v) = v**2 - 4*v + 2. Let p(t) = 2*t - 2. Let y be p(3). Let i be g(y). Let h be (i/(-6))/((-13)/6). Which is greater: 0.1 or h?
h
Suppose 0 = w - 7*w - 24. Is w <= -1?
True
Suppose -3 = -5*i + o, -15 = -2*i - 3*i - 5*o. Let c = -2 + i. Which is smaller: c or -1/19?
c
Let k = 32 + -53. Which is smaller: -24 or k?
-24
Let x = 0 - -2. Let f = 1.5 - x. Let v = f + 0.7. Which is greater: v or 1/4?
1/4
Suppose 29 = 4*h - 31. Let a be 6/h + (-46)/(-10). Suppose 4 = -t - 4*l, 2*t + 3*l + 3 = a*t. Is t > 1?
False
Let t = -184.596 - -185. Let o = t - 2.434. Let k = o + 0.03. Is k bigger than 0?
False
Let t be (-44)/(-10) + (-4)/10. Suppose 0 = 2*x - t*x. Let b = 485/36 + -53/4. Is x bigger than b?
False
Let g(h) = -h**3 + h**2 - h - 1. Let w be g(-1). Suppose 0 = -2*f + s - 0 + 11, s - 14 = -3*f. Suppose 2*a + 2*v = 0, -10 = -f*a + 4*v + v. Is w bigger than a?
True
Suppose 2*k + 0*k = 2. Let n be 3/9*-3*k. Is -7 at least n?
False
Let z be 198/63 - (-1)/(-7). Let s be (1/z)/(5/30). Is 6/11 at least as big as s?
False
Let t = 0.2 + 0.1. Let z = 2/313 + -640/2191. Is t bigger than z?
True
Suppose -6*w = -3*w - 3. Let v be -2 + 1 + w + -2. Which is smaller: v or -1/2?
v
Let x = -1.4 - 0.6. Let g = -2 - x. Let j = -0.2 - -2.2. Which is greater: g or j?
j
Let g = -0.56 + 0.5. Let u = 3.06 + g. Are 0.1 and u nonequal?
True
Let h be ((-26)/(-6) + -3)/((-4)/18). Is h > -0.04?
False
Let t = -8/501 - -38617/2505. Which is smaller: 15 or t?
15
Let l = 0.11 - 4.11. Let d = 4.1 + l. Which is bigger: 0 or d?
d
Let c = 233/1008 + -1/112. Which is smaller: -0.2 or c?
-0.2
Let o be 0 - (-8)/68*1. Is 0 greater than o?
False
Let z be (-2 + -6 + 9)*17/1. Which is bigger: 18 or z?
18
Let o = -476 - -17613/37. Which is greater: o or -1?
o
Let v(y) = -y**2 + 6*y - 7. Let t be v(5). Let p be (-1)/(-2 - (-3 - t)). Let r be ((-4)/(1*-2))/2. Is p at most as big as r?
True
Let f(r) = 4 - 2*r + 5*r + 1. Let s be f(5). Let u be (-9)/s - 2/(-10). Which is smaller: u or -1?
-1
Let v = -6/25 + -427/200. Is -0.1 greater than v?
True
Let k(m) = m**2 - 4*m - 6. Let i be k(6). Let q be (1/(-1))/((-3)/i). Let t be q + 25/(-13) + 0. Is 0 < t?
True
Let f = 0.08 - -0.32. Let s = 0.2 - f. Is 4 bigger than s?
True
Suppose 45 = 3*p + 2*p + d, d = 5*p - 55. Which is smaller: 9 or p?
9
Suppose -5*d - 4*m + 2*m = -2, 4*d - 1 = -m. Suppose -3*k - 2*k = d. Is 2/15 >= k?
True
Let m be 744/(-2506) - 8/(-28). Let b = -149/2685 + m. Is -1 smaller than b?
True
Suppose -5*v - 4*t = -71, -4*v + 24 = -0*v - 5*t. Which is bigger: 0 or v?
v
Let p = 5.8 + -6.3. Which is smaller: -3/5 or p?
-3/5
Let p = -0.3 + 0.4. Let o = -0.003 + 2.703. Let j = -3 + o. Is p less than or equal to j?
False
Let b = -4 + 9. Let v = -3 + b. Let f(m) = 2*m - 1. Let t be f(2). Is t bigger than v?
True
Let z = -1.7 - -2. Let g = z + 0.2. Let s = g - 0.8. Which is bigger: -0.1 or s?
-0.1
Let o be 10*3/4*2. Suppose -3*z + 6*z = -o. Let i = 9 + z. Is 2 less than i?
True
Let n be (1*-4)/2 - 0. Let y be -8 - (1 + -2 + n). Is y != -4?
True
Let u(y) = 4*y**3 + 2*y**2 - 5*y + 2. Let i be u(1). Which is bigger: i or 26/7?
26/7
Let o be 11/(-4)*((-160)/(-35))/(-8). Are 0 and o unequal?
True
Let c = 233/15 + -34/3. Is 3 <= c?
True
Let s = -0.09 + 0.11. Let x = 0.12 - s. Which is smaller: -0.1 or x?
-0.1
Let y = 2871748/87 + -33009. Let o = y - -2/29. Which is bigger: o or -1?
o
Let h be 65/(-10) + 3/6. Is -4 less than or equal to h?
False
Let u = 1.06 - 0.06. Let q = -2 + u. Is -0.1 > q?
True
Let n(j) = j**3 + 4*j**2 + 4*j - 1. Let t be n(-3). Let y be (-1 - 0 - -3)*-3. Which is smaller: t or y?
y
Let t = -0.5 + -3.5. Let z = 4 + t. Let c = -0.2 + z. Is c smaller than -2/3?
False
Let a = 0.01 + -0.15. Let w = 0.06 - a. Is w at most as big as 0.2?
True
Let n be (-8 - -6) + 0 + 1*2. Is -7 > n?
False
Suppose -6*n = -2*n. Let a = -10140/31 + 327. Let u = a - -105/124. Which is smaller: n or u?
n
Let s = -32.32 - -36. Let b = -6.74 + s. Let n = b - -0.06. Which is smaller: 1 or n?
n
Let h(i) = -18*i**2 - 7*i - 8. Let u be h(-1). Which is bigger: -17 or u?
-17
Let m be (3/12)/((-8)/(-224)). Let f = 12 - 4. Which is smaller: m or f?
m
Let p = -3.8 - -4. Let z = 1.5 + -2. Let v = z + p. Is -0.1 <= v?
False
Let v = -88 - -87.6. Suppose 0 = 5*r - 2*r - 72. Let w be 2*1 + r/(-14). Is w greater than v?
True
Let u(r) = 3*r**3 + r**2 - r - 1. Let c be u(-1). Let v = c + 2. Let d be 3/(-9)*-2 + 0. Which is smaller: v or d?
v
Suppose -96 = 7*k - 3*k. Let d be (-8)/12 + (-10)/k. Which is smaller: d or 0?
d
Suppose -5*f + 2 = -2*t - 8, t + 5 = 2*f. Let l = t + 5. Let x be 0/((-1)/((-1)/(-2))). Are x and l unequal?
False
Suppose 128 = 21*d - 17*d. Which is bigger: 31 or d?
d
Let n = -17 + 43/3. Is -2 >= n?
True
Let z = -0.05 - 0.35. Let f = 0.8 + z. Let p = f - 0.7. Is 0 smaller than p?
False
Let v be (-9)/(-15) - (-62)/30. Which is smaller: v or 4?
v
Let s(t) = t**2 + 10*t + 5. Let g(y) = 4*y - 2. Let l be g(-2). Let v be s(l). Are 4 and v unequal?
True
Let x(v) = -v**2 + 10*v + 1. Let o be x(10). Let b = 0 - o. Which is greater: b or 1/11?
1/11
Let a = 19 - 32. Which is bigger: a or -12?
-12
Suppose -5 - 4 = -3*g. Let p = 0 - g. Let r be p*3*(-2)/(-261). Is r greater than -1?
True
Let q = 15 - 60. Let x be ((-6)/5)/((-18)/q). Let r(f) = -f**2 - 3*f. Let b be r(x). Are 1 and b non-equal?
True
Let y(l) = l**3 + 7*l**2 - l - 6. Let d be y(-7). Let w = -395/3 + 133. Is w at least as big as d?
True
Let b = -8.1 + 8. Let l = -0.169 + 0.069. Is b >= l?
True
Let j be 6/4*(-40)/210. Which is smaller: 3/10 or j?
j
Let f(d) = -3*d**2 + d - 2. Let q be f(2). Is q less than -13?
False
Suppose -2*z - 249 - 83 = -3*x, 4*z + 16 = 0. Let s = x + -1079/10. Which is greater: 1 or s?
1
Let u = -1 + 1. Which is smaller: 3 or u?
u
Let n be (-5 + (-9)/(-3))*(-5)/14. Is n greater than or equal to -2/3?
True
Let d(r) = -r + 7. Let z = 22 - 13. Let p be d(z). Which is smaller: p or -3/4?
p
Let t = 1/1792 - -57339/8960. Does t = 6?
False
Suppose 2*z = 3*p - 41, 0*p + 4*p = 3*z + 55. Does p = 11?
False
Suppose 2*z + 20 = -2*k, 0*k - 46 = 5*k + 3*z. Let p be 20/(-9) + k/(-4). Is 0 at least p?
True
Let b = 12 - 7. Suppose 0 = 3*t + 9, 5*j - 9 = 3*t + b. Which is greater: 3/5 or j?
j
Suppose 3 = -4*u - 1. Is -2/9 > u?
True
Let v = 48/19 - 682/285. Suppose 5 = 2*r - 3*r. 