be p(n). Suppose 2 = -4*b + i, 4*i + f = -4*b - 12. Which is greater: 2/3 or b?
2/3
Let z = -13.7 - -13. Let y = -31.9 + 32. Which is greater: z or y?
y
Suppose -4*x + 0 = -4. Let y = -163/3 - -55. Is x greater than or equal to y?
True
Let h be (2/5)/(7/(-35)). Is 1 >= h?
True
Let c = 0.3 + -0.1. Let g = -0.044 - -1.044. Which is smaller: g or c?
c
Suppose -3*z = -3*p + 57, -p - 5*z - 5 = -0. Is p > 16?
False
Let q be -2*4/6*-6. Let i = -5 + q. Suppose 2 = -i*v - 1. Which is greater: -3 or v?
v
Let m = 7 - 6. Suppose 3 = -3*g - f - m, -2*f = -10. Suppose a + 2*o = 4 - 16, -a + o + 3 = 0. Which is smaller: a or g?
g
Let p = 38 + -36. Which is smaller: p or 11/3?
p
Suppose 3*v = 2*n - 1 + 8, 4*n = -v + 7. Let p = 4 - v. Let z = 0.3 + -0.2. Which is smaller: z or p?
z
Let d = 587/280 - 17/8. Is d greater than 1?
False
Let h = 0.4 + -0.3. Let f = -3 + 2.8. Which is smaller: h or f?
f
Suppose -2*o + 20 = 18. Does 6/37 = o?
False
Let q(r) = -6*r + 15. Let g be q(3). Do -3 and g have the same value?
True
Let c(l) be the third derivative of -l**6/120 - l**5/15 - l**4/12 - 5*l**3/6 + l**2. Let q be c(-4). Which is smaller: 0 or q?
0
Suppose 2*v = 2*d - d + 9, 4*v + 4*d = 0. Suppose 0 = v*t + 27 - 9. Let x = -4 - t. Which is bigger: x or 1?
x
Let n(c) = c**2 + 9*c + 3. Let w be n(-8). Let z be (-40)/(-6) - (-2)/6. Let f be z/21*(-1 - 14). Is f equal to w?
True
Suppose 0 = -2*m - 0*m - 2. Is m less than -1?
False
Suppose 2 - 6 = -2*z. Suppose z*g = 3*l - 5*l + 6, 2*g - l = -9. Let o = 2 + g. Are o and -1 equal?
False
Let o = -2386998/7 + 341604. Let u = o - 603. Are 1 and u unequal?
True
Let r = 67 - 336/5. Suppose 0 = -0*b + b. Which is greater: r or b?
b
Suppose -34 = -4*a + j - 4*j, 5*a + 2*j - 46 = 0. Which is bigger: a or -0.1?
a
Suppose 0*s - 30 = -5*s. Let v be (-7 - 0)/(3 + (-24)/6). Which is smaller: s or v?
s
Let t(s) = -s**2 - 24*s - 22. Let g be t(-23). Let r = -1/176 + 3/16. Is g smaller than r?
False
Let n(a) = a**3 - 5*a**2 + 6*a - 3. Let j be n(4). Suppose -j*b - q + 9 = 1, 4*b - 7 = -q. Does b = -1/4?
False
Let w = -84 - -926/11. Is 0.3 != w?
True
Let y be ((-2)/(-6))/((-3)/9). Let i be (y + 3)*(-1)/(-4). Let j be (-6)/(-8)*(-2)/(-6). Which is smaller: i or j?
j
Let q be (3 + 1)/((-100)/6). Which is bigger: -1 or q?
q
Let s be ((-1)/(-10))/(26/(-8)). Suppose -3*j - 9 = 4*p - 7*p, 0 = -4*j + p. Is s at least j?
False
Let x = 4.38 + -5.3. Let w = x - -0.8. Let q = 6.12 + w. Which is smaller: q or 0?
0
Let m(h) = -h**2 + h + 1. Let p be m(3). Which is greater: p or 3?
3
Suppose 4*u + d = 1, -4*d = -2*u - 2*d - 2. Let f = 0 - 1. Is u at least f?
True
Let q = 3 - 2.9. Let d = -0.15 + 0.05. Do q and d have the same value?
False
Let j = 0.34 + -12.34. Are -1/3 and j non-equal?
True
Let o be (-38)/247 + (-249)/(-13). Which is greater: o or 21?
21
Suppose 23*o = 19*o - 4. Let r be ((-3)/2)/((-2)/(-20)). Let l be (o/r)/((-8)/20). Which is smaller: -1 or l?
-1
Let g = 25 + -23. Is 5 greater than g?
True
Let j be (-4)/(-50)*(-1)/3. Let l(v) = 11*v - 67. Let n be l(6). Which is greater: n or j?
j
Let y be ((-8)/(-224))/(37/(-16)). Let m = y - 10/37. Let n be (-3)/1*(-4)/(-30). Are n and m equal?
False
Let r be 28/6 + (-2)/(-6). Let i = 4 - r. Is i at most as big as -1/3?
True
Let k(r) = 3*r**2 + r - 3. Let p be k(3). Which is greater: 2/7 or p?
p
Let k = 102 + -102. Which is bigger: k or 1/9?
1/9
Let l be 7 + -4 - (-2 + 1). Suppose 0*n - 12 = -l*n. Let t be n/5*(-4)/(-6). Is 2 < t?
False
Let t(l) = l - 2. Let m be t(2). Let p be 6/3 - (0 + 0). Let r = m + p. Which is bigger: r or 3?
3
Let d(y) = 8 - 2 - y + 0 - 8. Let m be d(4). Do -9/2 and m have different values?
True
Let m be 4/(-6) + (-2)/(-3). Let q = -52 + 19. Let a be -2 - (3 + q/9). Which is greater: a or m?
m
Let o be ((-1891)/(-18))/(27/(-36)). Let r = -140 - o. Which is smaller: r or -1?
-1
Let o = -0.2 - -0.3. Let a(f) = f**2 - f - 2. Let v(m) = m**3 + 7*m**2 + 7*m + 8. Let i be v(-6). Let p be a(i). Do o and p have different values?
True
Let h = -5811/11 - -529. Which is smaller: h or 0.1?
0.1
Let k(j) = -j**3 + 9*j**2 + 12*j - 9. Let l be k(10). Suppose 0 = -h + 3*x + 8, -3*h - 4*x - l = -4*h. Is 2/37 at least h?
True
Suppose 3*t - 8 = -t. Suppose 3*d - 2 - 1 = 0. Which is smaller: t or d?
d
Let u = 121 + -130. Which is bigger: -1 or u?
-1
Let i = 2 - 2. Suppose -2*v - 4 = -0*v - 2*x, 3*x = -v + 18. Let h be -1 + ((-102)/(-27) - v). Which is greater: i or h?
i
Let u = 18 - 12. Let v = 6.8 - u. Let f = -2.2 - v. Which is bigger: -2 or f?
-2
Let p be ((-2)/(-4))/((-4)/48). Are p and 1 non-equal?
True
Suppose 0 = -5*u - u + 462. Which is smaller: 76 or u?
76
Suppose 0 = -m - 4*m. Suppose 0 = -5*n - 15, -5*k - 3*n - 19 = -0*n. Is m greater than k?
True
Let i(u) = -u**3 + 12*u**2 + 5. Let h be i(12). Suppose 0 = -h*a + 4 + 1. Let s be (0/(-2))/(1 - -1). Is s != a?
True
Suppose 4*z = 5*d + 15, 0 = -3*d + 3*z - 5*z + 13. Which is greater: -3/8 or d?
d
Suppose 10*r = 5*r + 30. Let l be (4/42)/((-2)/r). Let f be 3 - 1 - (-1 - -2). Is l less than or equal to f?
True
Suppose -4*s + 7 = y, 2*y + 4*s - 14 = -s. Let p = -5 + y. Let j = p - 1. Which is bigger: 0 or j?
j
Let t = 42 + -41. Which is smaller: t or 11/10?
t
Let h(a) = 3*a + 2. Let c be h(0). Suppose -k + 3 + c = 3*z, 20 = 4*k + 4*z. Is 3 less than or equal to k?
True
Let n = -16 + 16. Let z = -141159/301 + 551005563/1175405. Let h = 2/355 + z. Is n <= h?
False
Let u(f) = 4*f**2 - 12*f + 14. Let a be u(3). Which is greater: a or 13?
a
Let q = -12 + 11.68. Let a = q + -0.08. Let n = a - -0.2. Which is smaller: n or 3?
n
Suppose -3*q + 4*q = 3*g + 69, -183 = -2*q - 3*g. Suppose 3*w = 2*o + 63, -2*o - w - 3*w - q = 0. Let p be ((-2)/o)/((-1)/4). Are p and 1 nonequal?
True
Suppose 0 = -m, 7*m - 2*m - 30 = 3*q. Is q < -9?
True
Let n be ((-8)/112)/(14/(-4)). Which is smaller: n or 0?
0
Let x be 1*(14/(-4) - -4). Is x at most -2?
False
Let z = 3.1 + -3.2. Which is bigger: z or -9?
z
Suppose 3*d - 28 = -u - 3*u, -16 = -5*d + u. Let w be d*(-2 + 27/12). Let q be 2/12*3/(-2). Is q at most as big as w?
True
Suppose p = -3*h + 5, 2*p - 1 = h + 2. Suppose -2*u = -0 + p. Which is bigger: -1/5 or u?
-1/5
Let s be (-1)/((-6)/5 + 1). Is 6 bigger than s?
True
Suppose -5 = x, 9*u - 12*u + 4*x = -266. Are 82 and u unequal?
False
Let j be (-2)/(-5) - (-22)/(-10). Let h = 32 + -34. Which is greater: j or h?
j
Suppose -8 = -3*t - 32. Let m = 5 + t. Let n be 3/m*2/16. Which is smaller: n or 0?
n
Let o = 1/8 - -1/4. Suppose -2*b + 3*y = -6, 5*y = 3*b - b - 10. Do o and b have the same value?
False
Let o(y) = y**2 + 7*y - 3. Let i be o(-8). Let g be (i/1)/(1 + 0). Suppose 0 = -5*h + 4*d + 1 - 0, -4*h + g*d = 1. Is h <= 2/9?
False
Let f(b) = -b**2 - 7*b + 3. Let x be f(-7). Let h(i) = -i**2 - i. Let a be h(-2). Let o be ((-5)/(15/12))/a. Which is smaller: o or x?
o
Let m be (6 + -3)/3 - -1. Suppose m*h + h = -3. Is -1 at least h?
True
Let c be -2 + (2 + -1 + -1)/(-4). Is c >= 1.2?
False
Let i be -1 - (2 - (3 - 0)). Let n(b) = -2*b + 4 + 5 + i*b. Let q be n(6). Which is smaller: q or -1?
q
Let i = -92 + 101. Is 6 greater than i?
False
Let c = -20 + 22.8. Let g = c + 1. Let p = -4 + g. Which is smaller: 0.1 or p?
p
Let w = -12 + 0. Let l be (1 - -2)*w/(-28). Which is greater: l or 2?
2
Let m = 14 + -13. Suppose -1 - m = -c + j, -8 = -4*c - 2*j. Which is greater: c or 0?
c
Let u = 481/6 + -80. Is 0 greater than or equal to u?
False
Let u(c) = -2*c + 27. Let o be u(13). Which is greater: o or -3/10?
o
Let k = 0 - 0. Which is smaller: k or -1?
-1
Let b = -1/13 + -81/130. Which is smaller: b or -1?
-1
Let c(r) = -3*r**2 - 2. Let g be c(-2). Let i be (-24)/g*(-1)/(-4). Suppose 0 = -f + 1, 5*x - 2*f + 7 = 5. Which is smaller: i or x?
x
Let q(r) = r + 4. Let y be q(-5). Let j be 3798/14 - 4/(-14). Let c = j + -272. Is c greater than y?
True
Let l be (21/(-6) - -4)*8. Suppose 0 = 4*d + l. Which is smaller: -1/15 or d?
d
Suppose a = -2*a - 3*w + 12, a - 3 = -2*w. Suppose -5*n + 16 = -4. Which is smaller: a or n?
n
Let g = -186 + 203. Which is smaller: -6 or g?
-6
Let j = -87 + 88. Is 6/35 greater than or equal to j?
False
Suppose -a + 3 = -9. Let s = 5 - a. Is s > -7?
False
Let t be (4/18)/(1/15). Let f = 47/15 - t. Let j(l) = l**2 + 7*l + 7. Let g be j(-6). Is g > f?
True