 f >= n?
False
Let u = -1426170 + 21383909/15. Let c = 577 + u. Let t = c + -3/5. Does 1 = t?
False
Let v be 2 + (-1712)/26 + -1. Let q = v - -65. Let p be (1 - 0) + -2 - -1. Is p bigger than q?
False
Let g = 62378/69 + -904. Is g bigger than 0?
True
Let n be 5/(3*-1*1). Suppose -4*u = -10 - 2. Suppose 0 = 7*c - 2*c - 3*t + 30, 4*t - 11 = -u*c. Which is smaller: n or c?
c
Let f = 6 + -4. Suppose 2*u - f*b - b - 13 = 0, -5*b - 11 = 2*u. Let v be 5/(5/(-3)) + 6. Is u greater than or equal to v?
False
Let c be ((-2)/4 + 0)*-2. Let i = -2/951 - -752/56109. Let n = i + 523/708. Is c equal to n?
False
Let b be (4 + -1)*2/(-6). Let o = -20831/20 - -1041. Let g = o - -3/10. Which is bigger: g or b?
g
Let o(x) = -x**2 + 8*x - 9. Let i be 3/6 - (-11)/2. Let z be o(i). Suppose -z*q - 8 = 4. Is -5 less than q?
True
Let f(v) be the first derivative of v**4/2 + 2*v**3/3 + v**2 + v + 2. Let q be f(-1). Let u be (-9)/(-4) + 2/(-1). Which is smaller: u or q?
q
Let n = 4 + 0. Let j be -2*(3 - n)/(-1). Let r be (j - (-2 - 0))/3. Is r greater than 0?
False
Let w = 20 - 26. Do 0.1 and w have the same value?
False
Let f(r) = r**2 + 10*r + 12. Let j be f(-9). Let h = -3 + -7. Let l be (-24)/(-10) - 6/h. Is j < l?
False
Let u be (22/3)/((-8)/(-36)). Which is smaller: 32 or u?
32
Let h(v) = -v**3 + 5*v**2 + 7*v - 4. Let a be h(6). Suppose 2*y + 2*y = 8. Let b be (-88)/(-96) + y/6. Is a at most as big as b?
False
Suppose -2*q = -0*q - 32. Suppose 5*v + y + 3 = 2, 4*v - q = -5*y. Let z = -183 + 1279/7. Are z and v non-equal?
True
Suppose h - 2 - 13 = 0. Let x = h + -7. Is x at most -0.2?
False
Let f be -5 + ((-70)/(-5))/2. Let o = 0.5 + -0.3. Which is bigger: o or f?
f
Let a(c) = c**2 + 8*c + 7. Let n be a(-7). Let w = -2 + n. Which is smaller: -4 or w?
-4
Suppose -3*u + 121 = 3*l - u, -u = 4. Is 42 at most l?
True
Let l be (-3)/(-6) - 41/2. Which is smaller: -19 or l?
l
Let p be (-5)/6*(33/(-10))/11. Which is smaller: p or 3/8?
p
Let z be 1/2*-2 - (-5 - -1). Are z and 0 equal?
False
Let f = 0.042 - -0.058. Let p = 0.5 - 0.3. Which is bigger: f or p?
p
Let y = -58.91 + -0.09. Which is bigger: -1 or y?
-1
Let a be 6*((-120)/38 - -3). Let i = -33/95 - a. Is 0 less than i?
True
Let g = -3 + 3. Suppose 15 = 5*m - 5*t, -4 = -2*m - g*m + 3*t. Let o = m + -7. Which is smaller: o or -3?
-3
Let a(w) = -w**2 - 2*w. Let z be a(-4). Suppose -4*q + 3*q = -8. Let i be (-2)/z*q/(-6). Is i smaller than 1?
True
Let j = 25 + -15. Let d = -10.05 + j. Does -2/7 = d?
False
Let g = 0.14 + 6.86. Let r = 6.84 - g. Which is smaller: r or 2/3?
r
Let y be (3 - (-20)/(-8))*-52. Let h be (-2)/(-11) + y/22. Which is bigger: 1/14 or h?
1/14
Let p = -10.8 + 11. Let m = 0.3 - p. Is -3/5 smaller than m?
True
Let u = -59 + 233/4. Which is smaller: -2 or u?
-2
Suppose 61 = -c + 2*i, 3*i - 189 = c + 2*c. Is -1/2 at most as big as c?
False
Let d = 1 + -2. Let w(q) = 2*q**3 - 2*q**2 + 2. Let f be w(2). Let v be (-12)/8 - (-11)/f. Which is greater: v or d?
v
Let b(t) = -3 + 0 + 11 - t. Let f be b(8). Is 2/25 less than or equal to f?
False
Let p be (16/6 - 2)*30/35. Which is greater: 1 or p?
1
Suppose -2*n = -3*w + 9, w - 3*n = -2 + 5. Suppose -w*h + 2 = -19. Is h less than or equal to 7?
True
Let q(j) = 3*j**2 + j - 1. Let r be q(0). Is -4 equal to r?
False
Let v = 2 - 2.4. Let n = v - -0.3. Let d = -17/3 - -5. Is n bigger than d?
True
Let v = -5.15 + 4. Let h = -1.2 - v. Which is bigger: h or -1?
h
Suppose 0 = 3*v - 6*v. Let r = -4 - -5. Which is greater: r or v?
r
Let v be 1 + (3/(3/(-2)))/1. Are -5/12 and v non-equal?
True
Let m be ((1 - -1)*1)/(-2). Let f be -3 - (8/(-4) - 1). Let g = m - f. Is -1 <= g?
True
Let q be 6340/990 - (-2)/(-11). Is q >= 5?
True
Let m be -1*-2*(-3)/6. Let n = -2 + m. Is -4 at most n?
True
Suppose 0 = -3*p + 9*p - 6. Which is smaller: p or 0?
0
Let f = -77 - -60. Which is smaller: f or -19?
-19
Suppose 0 = -0*q + 2*q - 4. Suppose -4*m = -2*p + 1 - 3, 10 = -4*m - q*p. Suppose -3*r = 2*l + 10, 10*l = 4*r + 8*l + 4. Is r at least as big as m?
False
Let c(p) = -p**2 + 11*p - 12. Let v be c(8). Let f be -1*3*v/45. Is -1 greater than or equal to f?
False
Suppose -4*i = 3*k - 0*i - 15, -i + 25 = 5*k. Which is greater: 1 or k?
k
Let g = -8.83 - 0.22. Let h = g - -9. Which is smaller: -0.2 or h?
-0.2
Suppose -2*n + 6 - 2 = 0. Suppose 0*c = -4*c. Is n >= c?
True
Let m = -0.179 - -0.069. Are m and -0.1 equal?
False
Let a = 135 - 678/5. Is a greater than or equal to -2?
True
Let q = 21 + -20. Suppose 0*i - 10 = -5*i. Is i smaller than q?
False
Suppose 18 = -5*l - 2. Let z be 12 - (-2 - 4/l). Is 12 at most z?
True
Let x(h) = h**3 + 8*h**2 - 8*h + 12. Let k be x(-9). Let g be 3/(2 + k/(-3)). Suppose -4*f - 5 = 5*l, 0 = l + 2*l + 2*f + g. Are l and -3/5 unequal?
True
Let t(v) = v - 4. Let h be t(5). Suppose -5*q = -3*a - h - 5, -q + 6 = -3*a. Suppose q = -2*j - 0*j. Is 2 bigger than j?
True
Let x = -35.9 + 36. Is x at least 0.1?
True
Let r = 5 - 16. Let z = -2/41 - 35/123. Is r bigger than z?
False
Suppose 2*o = -3*t + 8*t - 11, -2*o + 4 = 0. Let m be t/(12/16) - 2. Which is smaller: m or -1?
-1
Let a(i) = -14*i + 2. Let g(m) = -5*m + 1. Let p(h) = 6*a(h) - 17*g(h). Let c be p(8). Let l be c/((-4)/((-8)/3)). Is 3 equal to l?
False
Suppose -h - h = -p + 38, 2*p + 3*h = 90. Let y = 169/4 - p. Let c = -22 + 21. Which is smaller: c or y?
c
Let v = 1 - 0.7. Let z be (-5)/4 + 2 + -1*1. Is v less than or equal to z?
False
Suppose 5*a + 4*w = 1, 11 = 3*a - 0*a + 5*w. Suppose 0 = 4*z + 4*k - 4, z = -3*z + 2*k - 2. Let f = -1 - z. Which is smaller: f or a?
a
Suppose a + s - 12 = 0, -3*s = -5*a - 5*s + 54. Let q(m) = 3*m - 5. Let y be q(5). Is y smaller than a?
False
Suppose 3*r - 3*i = 0, -10 = 5*r - 4*i + 9*i. Let h be 2 - (0 + r - 2). Is h greater than or equal to 5?
True
Let j = 0.62 - -0.38. Let c = 2 + -3. Which is smaller: j or c?
c
Suppose 2*t = -z + 12, -4*t + 12 = -t. Suppose -4*u - 20 = -z*f - 9*u, 4*f - 4*u = -16. Let h be (f + -1)*(-4)/14. Is h at least -1?
True
Suppose -b + 32 = 3*b. Is b bigger than 8?
False
Let x be (41/(-10) - -4) + 0. Let u = -1/10 + x. Which is greater: -1 or u?
u
Let p(h) = h - 11. Let q be p(10). Let b = q + 2. Which is smaller: 3/8 or b?
3/8
Let y be 1/4 - (-33)/12. Is y at least 30/13?
True
Let k = -2.05 - -0.05. Is k >= 2/3?
False
Let h = 83/15 - 31/5. Let v(r) = -r**2 + 11*r - 19. Let g be v(9). Do g and h have different values?
True
Let i = -79 + 80. Which is smaller: i or -23?
-23
Let r be -6 - -6 - 2*(-1 - -6). Which is greater: -9 or r?
-9
Let x(m) be the third derivative of -m**6/120 + 2*m**5/15 - m**4/3 + 2*m**3/3 - 3*m**2. Let b be x(7). Let i be 8/(-6) - 4/6. Are i and b equal?
False
Let m be 0*((-4)/(-8))/1. Does -3/7 = m?
False
Let f = -136 + 80. Is -56 < f?
False
Let a be ((-12)/8)/((-9)/42). Which is smaller: 8 or a?
a
Let a = 0.239 - -0.061. Which is greater: 2 or a?
2
Let u = 0.47 - -0.03. Which is bigger: 10 or u?
10
Let x(h) = -3*h + 1. Let d(w) = -w + 1. Let c(i) = 2*d(i) - x(i). Let v be c(-8). Let g(q) = -q**2 - 4*q - 1. Let u be g(-5). Which is bigger: v or u?
u
Let s be (-2)/10*(-9)/7. Let t = 1/7 + s. Suppose 1 - 2 = -r. Which is smaller: r or t?
t
Let v be ((-21)/105)/(-2 - 23/(-10)). Let h = -7 + 5. Which is greater: h or v?
v
Let r = -0.66 + 3.66. Which is smaller: r or -14?
-14
Let r be 0 + 1/((-4)/(-4)). Let t(p) = 3*p - 1. Suppose 4*h + 0*h - 4 = -4*o, 4*h - 2*o = 4. Let v be t(h). Which is greater: v or r?
v
Let y = 2 + 2. Let g = 0.07 + -0.07. Are g and y equal?
False
Let c(a) = a - 4. Let k be c(7). Suppose -9*x = -10*x + k. Is 3 at least as big as x?
True
Let i be (30/25)/(3/10). Is 2 at most as big as i?
True
Let i be (1 + 2)*4/(-30). Let r = 0.1 - 0. Let m = 0 + r. Which is bigger: m or i?
m
Let i(x) = -2*x**2 + 2*x - 1. Let f be i(1). Let y(c) = -11*c**2 - 3*c - 2. Let o be y(-2). Let b be (-4)/6*(-15)/o. Are f and b nonequal?
True
Let b be (-3)/(-30) + (-1971)/(-90). Which is bigger: 20 or b?
b
Let u be (-34)/(-48) - 2/6. Let w be 3/15 + (-4)/(-5). Does u = w?
False
Let y(m) = m**2 - 3*m. Let k be y(3). Suppose 4*u - 5*j - 19 = k, 4*u + 2*j - 6*j = 16. Which is smaller: u or -2/27?
-2/27
Let q(z) = 2*z - 2. Let w be q(2). Let s be -1 + w + 1/(-1). Let y = -1303/7 + 187. Which is bigger: s or y?
y
Let q = 86805568353 - 14044