 = 0.9 - 1. Let b = 6.9 - q. Does b = 0.1?
False
Let h = 115 - 115. Let d = 0 - -0.1. Are h and d equal?
False
Let h be (67/(-2))/((-21)/2). Let f = -20/7 + h. Do f and 1 have different values?
True
Let n = 2667/1247 - 60/29. Let d = 22/301 + n. Which is smaller: d or 1?
d
Let r = -9.1 - -9. Let s = r - -0.02. Let j = s + 0.08. Is j less than or equal to 0?
True
Let l(d) = -d**2 + 6*d + 3. Let z be l(7). Let b(w) be the first derivative of -w**3/3 - 5*w**2/2 - 4*w + 2. Let i be b(z). Is -1/4 greater than or equal to i?
False
Suppose -2*m = a - 5, 5*m - 4*a + 3 = -4. Is m < -2/133?
False
Let d be (0 - -1)/(0 - -1). Suppose -o + 6 = -3*x + 2, 2*o + 3*x = -10. Let m be o + 1 + (-104)/(-88). Which is greater: m or d?
d
Let p(s) = 3*s**2 + 17*s + 4. Let w be p(-6). Which is greater: 3 or w?
w
Let t be ((-64)/80)/(1/5*1). Let k(o) = o**2 + 3*o. Let h be k(-4). Suppose 5*r + 31 = 4*z, 3*r - h*r - z = -1. Which is bigger: t or r?
r
Let z be (5 - 0)*1/1. Suppose -4*m - x - x - 34 = 0, z*m + x = -35. Is m greater than or equal to -5?
False
Let w be 3 - 4/(-10)*-5. Let u be (w/2)/(1 - 2). Is u >= -2?
True
Suppose 3*b + 3*m = m + 120, 4*m = -3*b + 114. Suppose 0 = 3*t - 8*t - 25, 23 = -w - 5*t. Let h be w/(-10) + b/10. Which is greater: h or 1?
h
Let g = 15 + -14. Let n(h) = 3*h**2 - 1. Let q be n(1). Which is greater: q or g?
q
Let g(y) = -y**2 - 11*y + 2. Let t be g(-11). Suppose -2*b + 7 = 5*z, -t*b = -5*z - 0*b + 3. Which is greater: -1 or z?
z
Let z(g) = -g - 4. Suppose -6*b = -2*b - 80. Suppose -5*a - b = -0*a. Let u be z(a). Is -1/11 at most as big as u?
True
Suppose 0 = -w - 4, 2*k = 5*w - 4*w + 2. Suppose 2*x = -5 + 13. Let f be -2 + -1 + (x - k). Is 2 != f?
False
Let h be (-2)/(-8) - (-715)/52. Is 16 at most as big as h?
False
Let x = -1 + 2. Let k be 2/15*36/24. Which is greater: k or x?
x
Let m(f) = -f + 2. Let b be m(6). Which is greater: -3 or b?
-3
Let m(u) = u + 4. Let l be m(-3). Let j(g) = g + 21. Let n be j(-19). Which is smaller: l or n?
l
Let x be 17/3 + (-4)/6. Suppose -408 = x*k + 4*u, -5*u - 153 = -k + 3*k. Let p = k - -250/3. Which is bigger: -1 or p?
p
Let w(l) = -l**3 - 6*l**2 - 5*l + 5. Let h be w(-5). Let q = h + -4. Let d be (-4 + 4)/(2 + 0). Which is greater: q or d?
q
Let b = 69137 + -485113/7. Let c = b + 164. Which is smaller: -1 or c?
-1
Let m = -0.9 + 0.1. Let b = m - -0.6. Which is greater: b or -3/2?
b
Let y(f) be the first derivative of 7*f**3/3 + 7*f + 4. Let h be y(-5). Let l = 913/5 - h. Which is greater: -1 or l?
l
Let y be ((-8)/28*1)/3. Which is bigger: 1 or y?
1
Let q be ((-6)/72)/(2/(-4)). Suppose -4*c = 3*r, -2*r = -4*c + 2*r. Which is smaller: q or c?
c
Let g = 0.4 - 6.4. Let j(n) = -2 + 4 - 1 + n - 5. Let z be j(4). Which is bigger: g or z?
z
Suppose 5*q = -0*q - 35. Let s be (-16)/q - 4/14. Let c = 0.59 + -0.39. Which is bigger: s or c?
s
Suppose 5*y = -5*j + 15, -4*j - 3*y + 7 = -3*j. Is -4/27 <= j?
True
Suppose 2*a + 31 + 17 = 0. Is a greater than -23?
False
Let f(k) = 7*k**2 - k. Let s be f(1). Let m(g) = g**2 - 5*g - 5. Let r be m(s). Which is smaller: 3/5 or r?
3/5
Let h(r) = -r**2 + 6*r - 6. Let w be h(4). Suppose 9*n - 1 - 17 = 0. Is n smaller than w?
False
Let c = 118 + -119. Is c greater than or equal to -3?
True
Let k = 46 + -46.16. Which is smaller: -2/7 or k?
-2/7
Suppose 2 - 4 = -2*m. Let n = 27 + -18. Let v = 11 - n. Is m > v?
False
Let g = -6 - -9. Suppose -2*h + g = -3*h. Suppose 2*y = 6*b - 2*b + 18, -y = b - 3. Which is smaller: h or b?
h
Suppose 0*w - 2*b - 6 = 4*w, -4*w - 1 = b. Let j be 5/((-15)/4)*3. Let i(c) = c**2 + 3*c - 4. Let h be i(j). Which is greater: w or h?
w
Let n = -88/95 + 10/19. Let c(b) = 2*b - 1. Let u be c(1). Which is smaller: n or u?
n
Let i(m) = -m + 5. Let k be i(5). Suppose 3*o = -0*o. Is o > k?
False
Suppose 5*j + 66 = 86. Are j and 1 nonequal?
True
Let r(d) = 2*d**3 - 2*d**2 - 2*d + 3. Let l be r(2). Let n be 9/l - (-4)/(-14). Which is bigger: 0.2 or n?
n
Let h be 1 + -6 + 10/2. Is h at most as big as -0.031?
False
Let n(b) = -b**3 - 11*b**2 + 12*b - 3. Let l be n(-12). Let v(f) = -f**3 - 3*f**2 + 3. Let m be v(l). Is 3 < m?
False
Let q(u) = -4*u + 4 + 2*u - 3*u - 7*u. Let w be q(4). Let i be (-74)/w + 4/(-22). Which is smaller: i or 2?
i
Let n = 26 - 20. Is 0 smaller than n?
True
Let c = 70/39 + -6/13. Is c at most 2?
True
Suppose 0 = 5*z - 2 - 3. Are -4/9 and z unequal?
True
Let j(h) = h - 3. Let x be j(5). Suppose 2*s = -4*u - 4, -9 = -5*u + 3*s - x*s. Is u > 2?
False
Let f = -26 + 36. Suppose m = 6*m - f. Which is greater: 0 or m?
m
Let i(z) = -5*z - 1. Let h be i(-1). Let c = h + -5. Let v be 2 + (0 + 3)*c. Which is bigger: v or -1/5?
-1/5
Let y(r) = r**3 + 4*r**2 + 5*r + 4. Suppose -4*z + 8*z + 12 = 0. Let g be y(z). Let f be (-6)/45*(5 + g). Are 0 and f nonequal?
True
Let i = 1.2 - 2.8. Let t = i + 3.6. Let k = -2 + 1.8. Is t bigger than k?
True
Suppose 8 = 7*y - 3*y. Suppose 0 = -y*k - 0*k + 4. Let p = k + 3. Which is bigger: p or 3?
p
Let r = -23.78 - -24. Let x = r + -0.12. Is -2/7 at most x?
True
Let k = 0.33 - -0.67. Let r(p) = p**2 + 2*p - 3. Let s be r(5). Let a = s - 94/3. Are k and a non-equal?
True
Let c(m) = m. Let u be c(2). Suppose -5*d = u*z - 2, -2 = 3*z + 5*d - 0. Let i = -5 - z. Which is smaller: i or 0?
i
Let p = -19 + 20. Is p less than -2/15?
False
Let o(a) = 2*a - 12. Let b be 12/(-14)*(-21)/3. Let l be o(b). Which is smaller: l or -3/11?
-3/11
Suppose p - 3*p = 3*m - 3, 0 = 2*p + 5*m - 5. Which is smaller: -2/47 or p?
-2/47
Let d = 1.31 - -0.69. Is d smaller than 25?
True
Let i(n) = -n + 12. Let z be i(14). Does 0 = z?
False
Let l(n) = -1 - n - 4*n + 4*n**2 - n**3 - 8*n**2 - 2*n**2. Suppose 0 - 15 = 3*f. Let d be l(f). Is d smaller than -5/4?
False
Suppose 6*z - 60 = -0*z. Let u be (-548)/(-80) - 6/z. Is u smaller than 7?
True
Let r = -149 + 148.82. Is r >= 1?
False
Let o = -38 - -38. Is o != -0.7?
True
Let k be 0/4*1/(-2). Suppose 15 = -k*i + 5*i. Suppose -i*y = y. Are -3/4 and y unequal?
True
Let d = -28.888 - 0.112. Is 2/7 at least d?
True
Suppose -5*k + 50 = 3*w, 4 = 2*k - w - 5. Let p(n) = n**2 - 8*n + 9. Let v be p(7). Suppose 2*u + k = -5*o, u = -v*u + 12. Is -3 smaller than o?
False
Let x be (35/(-84))/(2/(-3)). Which is greater: x or 2?
2
Let y = -10 - -14. Let a be y/6 + 3/9. Is -2/7 equal to a?
False
Let g(o) = -2*o + 1. Let v be g(1). Let t be (0 - v)/(1/2). Suppose -t = -z - 3. Are -1 and z equal?
True
Suppose 8*r + r = -207. Is 0 at least r?
True
Let n = -4 - -7. Let k = 2 - n. Let d = -1.98 + -0.02. Are d and k non-equal?
True
Suppose 0 = 2*k + 6, 0*k + k = 3*o. Let r be (o/9)/(2/(-4)). Let h = -11 - -10. Is r less than h?
False
Let k be 1 + 21/(-54)*2. Suppose 0*y = 2*y - 14. Suppose m = -1 + 4, 4*r - m + y = 0. Is k at most as big as r?
False
Let s = 127 + -127. Let i be 2/4 - (-6)/4. Which is bigger: s or i?
i
Let g be (-6)/(-9) + (-370)/6. Let y = 636788/11 - 57829. Let j = y + g. Is 1 less than or equal to j?
False
Suppose -4*o + 20 = 3*q - q, -4*o = -3*q. Which is bigger: q or 0?
q
Let n be 6/27 + (-7)/(-9). Is 1 > n?
False
Suppose 4*z - 22 = -2*l, -4*z + 2*l + 12 - 2 = 0. Is 4 bigger than z?
False
Suppose g = r + 6*g, -4*g = 5*r. Which is greater: -4/25 or r?
r
Let v = -10 + 9. Suppose 10 = -s - 4*s. Which is smaller: s or v?
s
Let j = -537 - -9132/17. Which is smaller: -1 or j?
-1
Let u = 3 - 2. Suppose 3*a - 1 + 0 = -5*p, 3 = -a. Let c be 2*(1/p)/u. Which is bigger: c or 0.2?
c
Suppose -3*r - 101 = 4*j, j = -4*r - j - 118. Which is bigger: r or -51/2?
-51/2
Let g = 8 + -5. Suppose -2*f = t + 11, g*t + 4 + 8 = f. Suppose 3*b - b + 2 = 0. Which is smaller: f or b?
f
Let i(b) = b**3 + 9*b**2 + 8*b + 5. Let w be i(-8). Is w at most as big as 0.1?
False
Suppose 133*p - 141*p = 40. Suppose -5*k - 32 = 2*d + 9, -3*d - 2 = -k. Which is greater: p or k?
p
Let p = -0.24 - -0.21. Is -3 bigger than p?
False
Let q be 7 - (2 + 0 + -1). Let m(j) = 5*j**3 - 9*j**2 + 2*j - 4. Let y(s) = s**3 - s**2. Let n(f) = q*y(f) - m(f). Let v be n(-4). Is v smaller than -4?
False
Let p(c) = -c**2 - 2*c + 14. Let h be p(3). Is -2 greater than or equal to h?
False
Let x = 0.438 + -0.038. Let o = -0.3 - 0.7. Which is smaller: x or o?
o
Suppose 3*t + 0*y = -2*y - 6, -3*t - y - 6 = 0. Let x = 5 - 10. Which is greater: t or x?
t
Let n(p)