22)/c + (-8)/(-4). Is r not equal to -1?
True
Let z(h) = h**3 + 11*h**2 - 11*h + 3. Let q be z(-12). Which is greater: q or -8?
-8
Let d(h) = 6*h + 15. Let n be d(13). Which is bigger: 94 or n?
94
Let g = -11765/19074 + 25/289. Let z = -4/11 - g. Let p = -5 + 6. Is p greater than or equal to z?
True
Let w = 1.2 + -1.2. Let x = w - -3. Does 1/4 = x?
False
Suppose -36 = -5*l - 6. Suppose -n - l = -7. Let y = -6.06 + 0.06. Which is greater: n or y?
n
Let q be (-14)/28 + 7/2. Which is bigger: -2 or q?
q
Let c be (-5 - -1)/(14/21). Let i be 9/c*6/(-9). Suppose -2*h - 4*b + 0*b = 8, -5*b - 10 = -2*h. Which is smaller: i or h?
h
Suppose 0 = 2*d + g - 1 + 2, -2*d - 4*g - 4 = 0. Let r(q) = q**3 + q - 3. Let x be r(d). Is -2 less than or equal to x?
False
Let p = 23 + -32. Which is smaller: p or 0?
p
Let b be ((-20)/6)/(6/(-9)). Let t(s) = 4*s - 3*s + 0*s - b. Let l be t(7). Is 1 at least as big as l?
False
Let c = -15.3 - -14. Let z = 12/47 - 154/235. Which is bigger: c or z?
z
Let q = -84 + 503/6. Suppose 4*d - 12 = -3*h, -3*h = -h - 5*d + 15. Which is smaller: h or q?
q
Let d = -6/31 + -44/93. Let v be 2/(-7) - (-52)/(-14). Is d equal to v?
False
Let f be 0/4 + 0/(-1 - 0). Which is smaller: f or -2/35?
-2/35
Let a(k) = 3*k - 3. Let i(h) = 13*h - 11. Let z(o) = -9*a(o) + 2*i(o). Let r be z(4). Let g = -9/7 - -31/35. Is g less than r?
True
Let o = 24 + -26. Which is bigger: -3 or o?
o
Let n = 6 + -5. Let a = 2 - 3. Let x be (1 - -1)/6*a. Is n <= x?
False
Let d = 91 - 91. Are d and -3/19 equal?
False
Let r(x) be the third derivative of -x**4/24 - 2*x**3 + 2*x**2. Let s be r(-9). Is s != -3?
False
Suppose -5 = -5*c, c = -4*o - 2*c - 13. Is o greater than or equal to -4?
True
Let p be 13/3 + (-1)/3. Suppose -c - 3*c + 32 = 0. Suppose -c*x + 3*x + 20 = 0. Is x at most p?
True
Suppose 0 = -31*r + 26*r - 50. Which is greater: -44/5 or r?
-44/5
Suppose a - 3*k + 78 + 12 = 0, -5*a - 399 = 2*k. Let t be 3*1*(-2)/a. Which is smaller: 1 or t?
t
Let y(f) = f**2 + f + 1. Let m(x) = 1. Let w(k) = 5*m(k) - y(k). Let b be w(-4). Let n be 12/80 - 2/b. Which is bigger: n or 1?
1
Suppose -3*c = 2*d - 0*c - 22, 4*c - 52 = -4*d. Let j = -18 + d. Is 1/3 smaller than j?
False
Let c = 341/28 + -87/7. Which is bigger: c or -0.11?
-0.11
Let k = 21 - 23.6. Do -1 and k have different values?
True
Let h be 5 + -6 - (-2)/((-42)/(-27)). Let i(d) = -d**3 + d**2 - d + 2. Let j be i(0). Suppose 0 = z - j*z - 1. Is h < z?
False
Let k = 3.96 + -4. Let s = -0.06 + k. Are s and 5 nonequal?
True
Let i = -24 + 23.81. Let s = i - -0.09. Which is smaller: -1/11 or s?
s
Let p be (1 - 7/3) + 3 + -2. Is -20 <= p?
True
Let m = -0.32 + 0.02. Let j = m - -0.6. Which is smaller: j or -2/5?
-2/5
Let r(q) = -q**3 - 6*q**2 + 9*q + 6. Let u be r(-7). Which is smaller: u or -7?
u
Let y be 0 + -4 - ((-207)/52 - 0). Which is greater: y or 0?
0
Let t(n) be the first derivative of -n**3/3 - n**2/2 + 16*n - 3. Let f be t(0). Suppose d - 23 = 5*m, 2*d - f = m - 2*d. Are m and -3 equal?
False
Suppose 2*m + 0 = 4. Suppose -t = -m*t + 3. Is t at most as big as 3?
True
Let q be -27*(2 - (-43)/(-21)). Is 0 at least q?
False
Let t = 204075 + -517534191/2536. Let y = t + -3225855/17752. Let f = 182 + y. Is 2/7 equal to f?
True
Let z = 11 - 12. Which is smaller: -3/4 or z?
z
Let r = 158 + -95. Which is smaller: r or 2/5?
2/5
Suppose 0 = -3*n - 2*i - 10, -2*n - i - 2 = 3. Which is bigger: n or -2/23?
n
Let t = -3 + 3.01. Let o = t - 3.01. Let s = 3.2 + o. Which is smaller: s or -0.1?
-0.1
Suppose -4*y = c - y - 2, -2*y = 3*c + 29. Let a be (12 + c)*1*-1. Which is greater: 0 or a?
a
Let a be 2/6 - 38/6. Suppose -18 = 3*q + 3*k, 0*k = -q - 2*k - 4. Let n = a - q. Which is bigger: 3/2 or n?
n
Suppose -5 = g, -3*m + g = -0*g - 8. Is 1/24 less than or equal to m?
True
Let b = -26 + 155/6. Are 0 and b unequal?
True
Suppose 0 = h - 10 + 6. Are -2 and h non-equal?
True
Let s(a) = -a**3 + 7*a**2 - 11*a + 10. Let u be s(5). Are 6 and u equal?
False
Let g = -3.2 - -0.2. Let s = g - -3.1. Which is bigger: s or -5?
s
Let d be (-2)/(-18) - (-50)/(-45). Does d = 0.3?
False
Let j = 0.22 - 11.22. Let r = j + 11. Is r > -6?
True
Let u = 24 + -21. Is u smaller than -1?
False
Suppose 2*h - h = -1. Suppose -3*x + 3*g + 1 = -11, -g - 6 = x. Is h > x?
False
Let o = -16.9 + 17. Let h = o + -0.18. Is -1 > h?
False
Let r = 40 - 18. Let j = r - 25. Which is smaller: -20/9 or j?
j
Let f = -7.1 + 7.7. Is -2 less than f?
True
Suppose -2*v - 4*i = -12, -7*i = 4*v - 5*i - 6. Which is smaller: v or -1/54?
-1/54
Let v = 8 + -2. Suppose v*g = g. Which is smaller: g or 2?
g
Let t = 6 + -12. Let i(c) = -c**3 - 6*c**2 + 4. Let p be i(t). Suppose -2*f + p = 0, -5 = 4*q - 3*f + 5. Is q <= -2/11?
True
Let p = -27/2 - -15. Is p at least as big as 1?
True
Let l = 11 + -7. Let o be ((-95)/10)/((-2)/4). Suppose 4*q = -3*x - 11, 5*x + 6 = -o. Are q and l nonequal?
True
Let l = 3.83 - 1.83. Which is smaller: -2/3 or l?
-2/3
Suppose m + 2 = 4. Suppose 2*q - 4 = 2*r, 2*r + m = r. Are q and 1 non-equal?
True
Let o = 7907/27 + -293. Which is smaller: o or -1?
-1
Let f(i) = -2*i + 12. Let o be f(7). Is -3/4 > o?
True
Let w(z) = z**3 + 6*z**2 + 4*z - 5. Let v be w(-5). Which is smaller: v or 3/11?
v
Let s(a) = -4*a**2 + 4*a + 1. Let d be s(2). Which is smaller: d or -8?
-8
Let f be (1 - -1 - 0)/(-2). Let b be f/(-2 - -6 - 1). Let u = 0.3 + 0.7. Is u greater than or equal to b?
True
Let w be -1 + 1 + (3 - (-65)/(-20)). Which is smaller: w or -0.2?
w
Let w = -0.05 + -0.27. Let y = w + 0.12. Are -0.4 and y equal?
False
Let q(n) = 2*n**2 - 8*n + 3. Let s be q(5). Is -1 > s?
False
Let l be (-4 + 0)*(-1 - 3). Suppose -3*n + 0 = -a + 1, -4*a + 2*n - l = 0. Let g be 2/5 - 3/a. Which is smaller: 0 or g?
0
Suppose o = 3*b - 106, -3*b - 3*o = -b - 67. Let i be 30/b*(-14)/(-2). Which is bigger: 5 or i?
i
Let d = 0 + 6. Let x(o) = o**2 + 6*o. Let a be x(-7). Are d and a equal?
False
Let p be 4*3/(-36)*-3. Let q(o) = -3*o - 3. Let f be q(1). Which is smaller: p or f?
f
Let m(j) = -j + 5. Let u be m(3). Suppose -3*d = -15 + 6. Is u < d?
True
Let k(z) = 7*z + 3. Let o(a) = -11*a - 4. Let g(q) = -8*k(q) - 5*o(q). Let s be g(-6). Suppose -i = 0, 3*i = -0*m + s*m + 2. Which is greater: m or -5?
m
Suppose 6 = -3*w - 27. Is -11 greater than w?
False
Let h = 216/527 + 1/527. Which is smaller: h or -1?
-1
Let h(g) = g + 7. Suppose 20 + 40 = -3*s. Let z be 16/s*(-15)/(-2). Let p be h(z). Which is greater: p or 3/4?
p
Let z = 0.23 + -0.33. Let d be ((-1)/3)/((-4)/(-6)). Which is smaller: d or z?
d
Let q = -21 + 20.89. Let u = q + 4.11. Is -2 at most u?
True
Let w(g) = -3*g + 3 - 3*g - 7 + 5*g. Let v be w(-4). Is v greater than 4/5?
False
Let s be 1 + 3/3*2. Let x(b) be the third derivative of -b**5/60 - b**4/6 - b**3/6 - b**2. Let c be x(-2). Is s bigger than c?
False
Let c be (0 - 0)/2 + 65/(-104). Let n(x) = x**2 - x - 2. Let p be n(0). Which is smaller: c or p?
p
Suppose 0*w - 4*w = -32. Let m be w/20 + 86/10. Suppose -5*d + 2*n - m = 3*n, -4*d + 2*n + 4 = 0. Which is bigger: 0 or d?
0
Let n = -0.8 + 0.5. Let m = 2/15 + -8/15. Is m bigger than n?
False
Suppose 0*x - 4 = -3*m - x, -2*m + 4 = 2*x. Let t be (m - 3)*(-4)/(-8). Is t less than or equal to -6/11?
True
Let r = 0.2 + -0.1. Let n(s) = 4*s + 1. Let q be n(-1). Is r greater than q?
True
Let l = -5.025 + 0.025. Let b = -0.3 - 4.8. Let x = b - l. Which is smaller: x or -3?
-3
Suppose 0*p - 4*p = -2*c - 6, -c - 3 = p. Which is greater: -6/5 or p?
p
Let x(o) = 5*o + 11. Let j be x(-4). Is j at most -9?
True
Let p = -0.4 - -1.9. Is -2/5 smaller than p?
True
Let l(i) = -i**3 + 8*i**2 - 5*i - 14. Let f be l(7). Which is greater: f or 1/8?
1/8
Let y = -3/53 - -145/689. Are 0 and y equal?
False
Let c = -3 - -3. Suppose 0 = -4*h - 12 + 56. Let v = -10 + h. Do v and c have different values?
True
Let g(r) = -r**2 - r + 23. Let m be g(0). Which is greater: m or 20?
m
Suppose -3*v = 5*h - v - 104, -5*v = 2*h - 50. Suppose h = -4*g + 4*k, -5*g + 3*k = -4 + 23. Let z = -1 - 2. Which is smaller: z or g?
z
Let j be 18/(-27) - (-20)/(-6). Is j >= -4?
True
Let v = 9 - 4. Let l be 2 - (v - 2/2). Let k be 2/6 - (-8)/(240/(-35)). Which is smaller: l or k?
l
Let y = 0.35 + -1.35. Which is bigger: y or 1.2?
1.2
Suppose -2*n - 3*l = 6, 6 = -3*n + 2*n - 3*l. L