Let g = 1865 - 35421/19. Which is greater: g or 1?
1
Let y = -32/15 + 13201/6195. Which is smaller: y or -1?
-1
Let p = 25 + -18. Let k = -2121 + 2123. Is p equal to k?
False
Let k be 4194/54 + 1/3. Let l be -5 - -7 - k/40. Which is greater: 0 or l?
l
Suppose -3*h + 17*n - 20*n = 834, -5*h + 5*n - 1420 = 0. Is h bigger than -281?
False
Suppose 0 = 4*n - 5*n - 1690. Let g be ((-4)/n)/((-9)/45). Is -1 smaller than g?
True
Let m(h) be the first derivative of h**2/2 - 9*h - 5. Let k be m(6). Let q be (-11)/((k - -1) + 3). Which is bigger: -12 or q?
q
Let v = 655 - 453. Which is smaller: v or 2/11?
2/11
Let t(f) be the third derivative of 1/3*f**3 + 0 + 1/6*f**4 - 1/10*f**5 + 5*f**2 + 1/120*f**6 + 0*f. Let p be t(5). Is -3/2 >= p?
True
Let i(r) = -r**2 - 7*r - 10. Let h be 10/(0 + -2) - 0. Let d be i(h). Is -3/17 greater than d?
False
Let z = -86.004 + 86. Let k = 2.004 + z. Is k less than or equal to -3.1?
False
Let f = 905 + -673. Are 232 and f unequal?
False
Let i be 588/(-112) - 1*-5. Which is smaller: 159/8 or i?
i
Let x = -0.004 + -0.096. Suppose 2*t + 5*a + 13 = -5, -4 = a. Let w be -4*(t - (-1)/(-4)). Does w = x?
False
Suppose 0 = g + 5*j - 9, 4*j + 0 = -g + 9. Do g and 4 have different values?
True
Let v = 193.3 + -208. Let w = v - -13. Let z = 13.27 + -13.07. Which is bigger: w or z?
z
Let b(i) = -i + 6. Let m be b(6). Which is bigger: m or 6/569?
6/569
Let c be (-4)/46 - 88/(-2070). Is c greater than 1?
False
Let v(c) = c**3 + 6*c**2 - c - 4. Let q be v(-6). Suppose 7 = q*j - 11. Is -0.2 <= j?
True
Let z = -432 + 382. Which is smaller: 0 or z?
z
Let p = -9 - 28. Let k = 38 + p. Which is greater: -2/3 or k?
k
Suppose -w = -4*i - 45, -3*w + 69 = -2*w + 2*i. Let r be ((-55)/6)/(w/2). Let m = -2/61 + r. Is 9 less than m?
False
Suppose 13 = -4*o + 5*l - 26, 5*o + 4*l = -18. Which is bigger: o or -4?
-4
Let n be (-280)/196 - (-143)/7. Is n less than or equal to 1/4?
False
Let n = -466.79 + 467. Let t = -1.1 + 0.1. Is n greater than or equal to t?
True
Let x = 28.6 + -1.6. Let d = -7 - x. Let c = -32 - d. Do 2 and c have the same value?
True
Let d be 8/(-36)*1*-24*9. Let p be 1*-3 + d/12. Let f be 1/4*(-4)/5. Are p and f equal?
False
Let f = 1659.653 - 1659.6. Let c = 0.5 - 2.5. Which is bigger: f or c?
f
Let c(u) = -u**2 - u + 82. Let s be c(9). Which is smaller: -29/4 or s?
s
Let g(c) = -c**2 + 2*c + 7. Let r be g(3). Suppose -4*t + t + 29 = r*m, -m + 8 = t. Suppose 6*x - 12 = 2*x. Is m greater than or equal to x?
True
Let f = 6.01 + -0.01. Let t = 13 - f. Let n = -6 + t. Which is bigger: -4/3 or n?
n
Let a(s) = 33*s**3 - 8*s - 6. Let j be a(-3). Let p = -3469/4 - j. Which is greater: p or 7?
7
Let j = 15 + -15.12. Let s = j - -0.21. Let n = -56.2 - -56. Which is smaller: s or n?
n
Let n = 3.7 + -45.7. Let f = n + 38. Suppose 0 = 3*u - 3*j - 9, 5*j + 8 = -7. Is f less than or equal to u?
True
Let k(s) = s**3 + s - 6. Let o be k(0). Suppose -5*v = -4*t - 7, 5*v - 11 = -2*t + 8. Is t bigger than o?
True
Let s = 116 - 49. Let f = -271/4 + s. Is f != -6?
True
Suppose -3*d + 1 = 2*g, -2*g - 43 + 39 = -2*d. Is -65/41 at most g?
True
Suppose -7*x - 147 - 84 = 0. Let u be 5 + ((-4)/5 - (-181)/(-5)). Is u greater than or equal to x?
True
Let l = -201/4 + 50. Let r = -38 + 21. Is l < r?
False
Let x = -12.08 + 12. Let w = 3.22 - x. Let y = -1.3 + w. Which is bigger: y or 4?
4
Let f = 69 + -68.97. Is 0 less than or equal to f?
True
Suppose -30 = -j - 7*o + 5*o, -189 = -5*j + 3*o. Is j < 35?
False
Let n = 0.348 + -8.298. Let v = -4 + -4. Let a = v - n. Are 0.2 and a equal?
False
Let n(z) = -5*z**2 + 14*z - 14. Let v(a) = -2*a**2 + 7*a - 7. Let m(o) = 4*n(o) - 9*v(o). Let j be m(-5). Is j greater than -8?
False
Suppose 33 = -5*z - 5*m - 7, -5*z - 35 = 4*m. Which is smaller: -33/13 or z?
z
Let f = 80 - 1. Suppose 112 = -2*x + 2*u, x + f - 21 = 2*u. Is x less than -53?
True
Let u = 8 + -13. Let b = -20.8 + -16.3. Let r = -37 - b. Which is greater: r or u?
r
Let v = 65 + -65.1. Let o = 1.97 - -0.03. Let f = o - 0. Is f != v?
True
Let g be ((-440)/25)/2*5/(-2). Is g <= 22?
True
Let y(u) = -5*u**3 + 8*u - 8. Let h be y(1). Which is greater: 2.4 or h?
2.4
Let u = 0.38 + -10.38. Is -1 != u?
True
Let w = -1.6 + 14.6. Let b = w - 14. Let r(t) = t**3 - 3*t**2 - 5*t - 1. Let d be r(4). Is d equal to b?
False
Let h = 2196 - 2212. Which is greater: h or -173/11?
-173/11
Let c = 3.5 + -31.5. Let d = c - -57. Let p = d - 40. Is -1 < p?
False
Suppose -5*y = 4*l - 5430, 2*y - 2533 - 2903 = -4*l. Let v = 85678/63 - l. Is -1 less than v?
True
Let y(b) = b**2 - b - 4. Let w(x) = -x**2 + 3. Let g be w(0). Let q be y(g). Suppose 0 = -5*v + 10, -q*v + 6 - 1 = r. Which is smaller: -1/6 or r?
-1/6
Let u = 43 - 42.79. Let b = -1785 + 1784. Is b equal to u?
False
Let b = 1217 + -1215. Is b smaller than -3.9?
False
Suppose p + 4*p = 0. Suppose -8*g + 3*g = p. Is -2/77 at most as big as g?
True
Let p be (-38)/57 + ((-88)/6)/2. Let v = 13 + p. Let y(n) = -n**2 - 10*n + 5. Let o be y(-10). Is v < o?
False
Let t = 325 + -559. Let a = -238.24 - t. Let z = -0.24 - a. Which is bigger: z or -1?
z
Let j(h) = -2*h + 3. Let k be j(-2). Let w be (-1)/(1/14*-2). Is k at most as big as w?
True
Let o = -155 - -157. Does o = 14/15?
False
Suppose -4*w = -10*w + 2346. Let z = w - 1535/4. Which is smaller: 8 or z?
z
Let z(m) = m**3 - 9*m**2 - m - 4. Let t(s) be the first derivative of 2*s**3/3 - 5*s**2/2 - 3*s - 2. Let q be t(4). Let b be z(q). Is -13 smaller than b?
False
Let l = 29 - 122. Let m = 142 + l. Is -2/7 > m?
False
Let o = 11 + -18. Suppose 8 = 4*b + d, 2 = -b - 3*d + 4. Suppose -2*c + 18 = -2*m - 4*c, 4*c = b*m. Does m = o?
False
Let k(n) = -2*n**3 + 5*n**2 + 4*n - 12. Let u be k(3). Does u = -12?
False
Let v = 0.1091 - 1.1091. Suppose 4*b + 1 - 25 = 4*z, 2*z = -3*b - 2. Let h(y) = -y**2 + 5*y - 1. Let j be h(b). Which is smaller: j or v?
v
Suppose 0 = -f + 3*u + 2063, 2*f - 10353 = -3*f - 4*u. Let o = -22795/11 + f. Let b = o - -551/165. Which is bigger: b or 0?
b
Let v be (-2)/(-12) - 20/(-40). Is v less than or equal to -1.29?
False
Let u(h) = -10*h**2. Let r be u(1). Let y be (-6)/(-3) - r/(-4). Suppose -35 = -6*f - 47. Which is smaller: f or y?
f
Suppose 0*z + 3*z + 102 = -3*w, -2*w = -2*z + 52. Which is smaller: w or -31?
-31
Let n be ((-1)/(5/2))/(8/(-10)). Let f(k) be the first derivative of k**2/2 - 10*k + 4. Let j be f(7). Are j and n equal?
False
Suppose 4*v = -13*k + 16*k - 19, -3*k = -v - 16. Which is greater: -226 or v?
v
Let t = 76.4 + -76. Which is smaller: t or 4/35?
4/35
Let z = -22/15 - -76/45. Let l = -7 - -29. Let g = l - 23. Is z at most g?
False
Let n = -882 - -881. Which is smaller: n or -22/9?
-22/9
Suppose -3141 = -53*b + 3113. Is b <= 477/4?
True
Let p = -1.4 - 10.6. Let n = p + 13. Let b = n - 1. Which is smaller: 1 or b?
b
Let v = 17 + -18.5. Let l = -12.5 + v. Let g = -19 - l. Is g >= -1?
False
Let j = 1824 + -1822. Let p(t) = t**3 + t**2 - t + 1. Let v be p(-2). Let z be (v/(-7))/(2/10). Which is smaller: j or z?
z
Let z be (1/(-7) + 27/42)*12. Let f(s) = s**2 - s - 20. Let r be f(z). Is r != 11?
True
Let k = -2732/13 + 2672/13. Let g = k - -999/208. Is g less than or equal to -1?
False
Let p = -12358 + 1717770/139. Which is greater: -1 or p?
p
Let g = -2.3 - 0.1. Let z = -3.6 + g. Let j = z + 0. Which is smaller: -0.2 or j?
j
Let w = -2 - -3. Let r(u) = 33*u - 19*u - 7 - 15*u. Let p be r(-3). Which is bigger: p or w?
w
Let l be 5/(-20)*0 + 3. Suppose -18 = -2*u - 2*s + 16, -4*u = -l*s - 96. Is 22 at least as big as u?
True
Suppose -3*b = 0, -b - 180 = -3*a - 0*a. Let p = a + -60. Let t = 9749/19 - 513. Is p bigger than t?
False
Let r be (-1)/((-39)/21 + 2). Let m(x) = -14*x**2 + 27*x - 1. Let k be m(2). Are k and r nonequal?
True
Suppose -13*m = -14*m - 40. Let k = 282/7 + m. Are -0.2 and k nonequal?
True
Let p be -3 - (-57)/18 - (-13)/18. Which is bigger: p or 1?
1
Let w be (-9 - -11) + 2 + (1 - 8). Let k(b) = 1 + b**2 + 3*b + 1 + 0*b**2. Let z be k(w). Is z bigger than 1?
True
Suppose 0 = -y + 5*h + 20, 5*h = 5*y + 23 - 63. Let b be (-6)/(y/10*-27). Let o(f) = f**3 - 7*f**2 + 5*f + 7. Let v be o(6). Does b = v?
False
Let x(f) = f**2 + 3*f - 7. Let u be x(-5). Let g = -2 - -4. Suppose 4*d + 0*n = -g*n + 26, -4*n + 4 = -4*d. Which is greater: u or d?
d
L