. Is s > -1/7?
False
Let b be ((-4)/65)/((-2)/5). Let y = -80 + 80. Is b less than y?
False
Let n be (3/6)/((-22)/24). Let a = 13/44 + n. Do a and -1 have the same value?
False
Suppose 0 = -2*c - 10, -2*c = q + c + 15. Let y = -0.09 + 8.09. Let i = y + -5. Is q greater than or equal to i?
False
Let c be ((-10)/8)/((-3)/(-12)). Let q = 6 + c. Let m be (2/(-6))/(q/3). Is -3 <= m?
True
Suppose -32*f + 26*f = 0. Is f not equal to 0?
False
Suppose 0*w - 2*w + 39 = 5*d, 4*d = 2*w + 24. Let n be (-4)/(2 - (-5)/(-2)). Is d > n?
False
Let x = -5 - 3. Let w be 1/x + (-6)/208. Is -1 > w?
False
Suppose 2*f + 1 = -3. Suppose 2*w = 3*k + 76, 2*k + 4*w = 6*k + 108. Let l be 4/22 + 70/k. Is f at least as big as l?
True
Suppose 0 = 3*r + 5*u + 41, -2*r + 4*u - 2*u - 6 = 0. Which is smaller: r or -10?
-10
Let a(b) be the second derivative of b**5/120 + 5*b**4/12 - b**3/3 - 2*b. Let l(n) be the second derivative of a(n). Let h be l(-9). Which is bigger: h or 2?
2
Let b(l) be the first derivative of -l**2/2 - 2*l + 3. Let h be b(-4). Let m = 2 - h. Is m at least as big as -2/13?
True
Let a = 56 + -40. Which is smaller: a or 18?
a
Let p be (-3)/(-8) + (-11)/136. Are 1 and p unequal?
True
Let k = -72.8 - -66. Let j = k + 7. Suppose -4*u + 20 = 0, -3*u + 0*u + 7 = -4*w. Is w at least j?
True
Let q = -0.2 + -0.8. Let i = q + 1.1. Let k = 1.037 + -0.037. Which is smaller: i or k?
i
Let l be (-2)/3*(-30)/(-380). Is 0 at most l?
False
Suppose 0 = -l - 3 - 2. Suppose d - 4*i = -d + 10, 0 = -2*d + 2*i + 2. Let g = l - d. Are -2 and g nonequal?
False
Suppose 0 = 4*v + 52. Is -12 not equal to v?
True
Suppose 2*y + 34 = 3*d, -y + 0 = d - 18. Is d != 15?
True
Let c = 26 + -16. Let q = -29/3 + c. Suppose -3*u = h - 4, -h + u = 6*u - 8. Is q at most h?
False
Suppose -1 - 11 = -4*n. Suppose -q + 2*o + 3 = -0*q, -q + 5*o = -3. Suppose y - 4*i - q = -0*y, -3 = -y - i. Is y < n?
False
Let x = 85/429 - 4/33. Which is smaller: x or 0?
0
Let f be (-78)/(-9) + (-1)/6. Which is bigger: f or 10?
10
Let u = 21.7 + -20. Let v = 0.7 - u. Let l = 0.2 + 1.8. Which is bigger: l or v?
l
Let m(l) = -l**2 + 4*l. Let k be (1/3)/((-3)/(-45)). Let h be m(k). Which is smaller: h or -7?
-7
Let v(h) = -2*h**3 + 2*h - 1. Let k be v(1). Let s = 33/17 - -4049/51. Let n = -82 + s. Is k equal to n?
False
Suppose 0 = -5*o, -3*o + 4 = -4*i - 6*o. Let b = 1350 + -12122/9. Let a = b + -121/36. Is a less than or equal to i?
False
Let o be (6 + -8)/(-1 + -1). Let l = o + 0. Are l and 1 equal?
True
Suppose 0 = 2*q - 4*n + 2*n - 10, 2*q + 5 = -3*n. Let l be 0/((-1*4)/q). Which is greater: -2/19 or l?
l
Let a = -0.9 - -0.9. Which is bigger: -2/7 or a?
a
Let g = 73/170 + -1/34. Let m = 92/17 + 343/34. Let y = m + -16. Which is bigger: y or g?
g
Let g = -0.3 + 0. Let w = -0.2 - g. Let z = -2 - -1. Do w and z have the same value?
False
Let u = -844/137 + 115508/959. Let i = -114 + u. Let l be 16/(-80)*(-1 - -6). Are i and l equal?
False
Let t be ((-1)/2)/(2/2). Is t greater than or equal to 2/7?
False
Suppose 0 = -4*u + w + 107, -5*u - 2*w + 4*w + 136 = 0. Let a = u + -51/2. Is a < 1/2?
False
Let a(z) = -z**3 + 2*z**2 - 2*z + 1. Let r be a(2). Let c be ((-24)/336)/((-2)/8). Which is smaller: r or c?
r
Let j = 0.17 + 0.1. Is j <= 0?
False
Suppose 2*s + 5*k - 15 = 0, -2*s + 18 = k - 1. Let l = -13 + s. Which is smaller: l or -3/2?
l
Let r be (2/3)/(2/(-3)). Suppose 3*i - 120 = 4*z - 2*z, 2*z - 70 = -2*i. Let f be i/34 + 1 + -2. Which is bigger: r or f?
f
Let v = 3 - 1. Suppose -v = -5*h + 8. Which is bigger: 1 or h?
h
Suppose -5*t - 2*v + 10 = 0, t - 4*v + 20 = -t. Let u(n) = 1. Let p(y) = y + 2. Let j(r) = p(r) + 2*u(r). Let x be j(t). Is 5 at most x?
False
Suppose 0 = -3*r - 0*r + 9. Suppose 0*u = -u - 2. Let n = r + u. Which is smaller: -1 or n?
-1
Let x be 130/(-5) + (-2 - 1 - -2). Do -28 and x have the same value?
False
Let p = -87 - -86. Is p equal to 2/123?
False
Let q be -1 - 2 - 119/21. Is q <= -8?
True
Suppose 2*a - 2*k - 12 = -2*a, 0 = 3*a - 3*k - 15. Suppose -a = -q - 0. Suppose 3*r - 3*g = g + 15, -r + g = -4. Is q equal to r?
True
Let l(b) = 2 - 4*b - 4 - 3*b**2 + 2*b**2. Let a be l(-4). Let t = 9 + -14. Which is smaller: t or a?
t
Let a = 0.01 + 6.99. Let n = -7.1 + a. Which is smaller: 1 or n?
n
Suppose 2*s + t + 4 = 0, 0*s - 4*s + 20 = -5*t. Which is bigger: 3 or s?
3
Suppose 16*a - 3*a - 13 = 0. Let s = 3 - 0. Is a != s?
True
Suppose 3 = -n - 0. Which is greater: n or -3/2?
-3/2
Let x be 2/(-1)*1 - 0. Let n = 1 + x. Is -1 bigger than n?
False
Let r(k) = -3*k - 19. Let x be r(-12). Is 17 at least x?
True
Let i = 19.03 - 0.03. Is -0.1 not equal to i?
True
Let m = 16 + -10. Let x = m + -6. Which is smaller: x or 1?
x
Let o = -20.9 + 20. Which is smaller: o or -1?
-1
Let l = 0.03 - -10.97. Let z = l + -8. Let f = z + -4. Are f and 2/3 equal?
False
Suppose 0 = -2*p + p - 19. Which is smaller: p or 0?
p
Let z(v) = -v**2 - 10*v - 12. Let s be z(-8). Does s = 3?
False
Suppose 1 = -z - 3. Which is bigger: 0 or z?
0
Suppose -8 = -2*c - 0. Let l = -0.8 - -1.5. Let u = l - 0.6. Which is greater: c or u?
c
Let q = -2732/1142268699 - 2527776459370909403/1191386253057. Let w = -2121710 - q. Let y = 1/149 + w. Is 2 greater than y?
True
Let c = -422/5 - -86. Which is smaller: 0.1 or c?
0.1
Let h(k) = k**2 + 7*k + 9. Let p be h(-5). Is p at least as big as 2/21?
False
Let r(y) = -2*y + 5. Let l be r(3). Is l bigger than -1/20?
False
Suppose 4*t - 574 = -v + 3*v, -v + 277 = 2*t. Let k = 3245/23 - t. Which is bigger: 0 or k?
k
Suppose q + q = 48. Suppose 3*i = 7*i - q. Is i > 2?
True
Let y be (-672)/96 + (-94)/(-14). Suppose -4*z = -2 + 6. Let j(r) = -r**2 - 2*r - 1. Let x be j(z). Is x less than or equal to y?
False
Let k = -65/2 + 1233/38. Is k at least as big as -1?
True
Let s = -16 - -78/5. Let a be (0 + (-752)/1146)*1. Let t = -2/191 + a. Is t < s?
True
Let c = 14.59 + -0.19. Let d = c - 1.4. Do d and -2/7 have the same value?
False
Let f = 60 + -60.1. Which is greater: 2/9 or f?
2/9
Let x(k) = -k**3 - 2*k**2 - 1. Let y be x(-2). Let w(a) = -a - 5. Let i be w(-3). Let p = 1 + i. Are y and p equal?
True
Let v = -1/101 + -702/505. Which is smaller: v or 0?
v
Let k = -117 + 116. Let h be (2/(-100))/(1/4). Is k greater than h?
False
Let g be (-7)/14 + 38/(-4). Let s = -7 - 2. Do s and g have different values?
True
Suppose 5*p = -2*z - 2 - 10, 3*p + 7 = -z. Which is greater: 1/29 or z?
1/29
Suppose -5*b - 5 = -4*b. Let j(p) = p**2 - 7*p - 6. Let h = 1 - -6. Let u be j(h). Do u and b have different values?
True
Let u = 15.1 - 17. Let v = -18 + 17.9. Let c = u + v. Is c greater than or equal to -3?
True
Let h be 1/4 + (-235)/(-20). Let j be ((-16)/h)/(4/(-6)). Let f be (-8)/(-6)*j/(-4). Which is greater: f or -1?
f
Let y = 2.6 + -2.4. Do 1 and y have different values?
True
Suppose 3*t - 48 = -2*a, -t + 3*a - 48 = -4*t. Is 14 at least as big as t?
False
Suppose -2 = -w + 3*m, -5*m = 4*w + 18 + 8. Let g(f) = -f**2 + 2*f + 1. Let u be g(3). Let q = u - w. Does q = 1?
False
Let k(q) = q**2 - 15*q + 13. Let m be k(14). Let v be m/(-4 - (-9 - -4)). Which is smaller: 0.19 or v?
v
Let x(h) = h**2 + h + 10. Let w be x(0). Suppose -2*s = s - 3*o - 24, -5*s - 5*o - w = 0. Suppose -2*d = -s*d. Is d at most as big as -2/25?
False
Let l be (0 - -7) + (-46 - -43). Suppose -2*u = -4, -2*i + 3*u + 2 = -0*i. Do l and i have different values?
False
Let q = 79 + -90. Is q > -9?
False
Let h(o) = o. Let z be h(10). Let d be z/(-26)*(-6)/15. Is d not equal to 1?
True
Let t = 2 - 7. Let h = 1.6 - 3.6. Does h = t?
False
Suppose 4*q - 4*r - 5 = 3, -r = q + 2. Let l(u) = u**3 + 3. Let w be l(q). Is w <= 3?
True
Let o = 0.83 - 1.83. Is -0.31 greater than o?
True
Let a(k) = k**3 - 9*k**2 + 6*k + 10. Let g be a(8). Let o be (3/2)/(g/12). Which is bigger: -1 or o?
-1
Let g(f) = 9*f**2 + f. Let z be g(-1). Which is bigger: z or 9?
9
Let x(i) = -i**3 + 11*i**2 - 11*i + 5. Let h be x(10). Let l be ((-4)/h)/((-1)/(-5)). Which is bigger: l or 6?
6
Let a(c) = -c**2 - 2*c + 2. Let h be a(0). Is -3 less than h?
True
Suppose 11*b - 7*b = 8. Suppose 4*k + 3 = -1. Which is smaller: k or b?
k
Let v = -1 - -1. Let b = v - 0. Let g = 0.8 + -1.2. Is b equal to g?
False
Suppose 4*l - 4 = -4*x, 5*l - 3 + 1 = -4*x. Let m = 19 - 13. Suppose 2*b - 4 = m*b. Are l and b n