. Let m = 17/2 + -10. Is n at most m?
False
Let h be 37*(-4)/(-48) + (0 - 1). Which is greater: 2 or h?
h
Let l = -42 - -41. Let f = 10 - 14. Is f >= l?
False
Let d(t) = -t**3 - t**2 - t. Let z be d(-1). Suppose -8 = 5*g + 7. Let v be (-3)/g*4/16. Is v greater than or equal to z?
False
Let q = 0.4 - 0.2. Let r = q - 0.1. Let x = -0.2 - -0.3. Are x and r nonequal?
False
Suppose -2*t - 54 = 5*o, 5*o - 2*t = -5*t - 51. Let f be (o/(-9))/((-2)/6). Let h be (-1)/(-1)*-2 - f. Is h at least 2?
True
Let o = -10 - -6. Let r = -6 + 3. Is r < o?
False
Suppose -2*n = 2*q + 110, n - 2*n = 2*q + 107. Is -53 at most q?
True
Suppose -16 + 1 = -5*l. Let t(s) = s - 4. Let q be t(6). Is q less than or equal to l?
True
Suppose 22 = 3*h - 20. Suppose 4*q - 5*c = -0*c + 10, -5*q + 17 = -4*c. Suppose -q*d + 1 = -h. Which is bigger: 1 or d?
d
Let x = 22 + -22. Is x at least as big as 0.1?
False
Suppose -3*k = 15, -2*o + 2*k + 3 = k. Are o and 2/9 equal?
False
Let q(x) = -x + 3. Let c(n) = -n**3 - 2*n**2 + n + 2. Let r be c(-2). Let u be q(r). Suppose u + 0 = o. Are o and 3 unequal?
False
Let v = 56.6 + -57. Is 2/11 not equal to v?
True
Let y(r) = r**3 - 5*r**2 - 8*r + 12. Let u be y(6). Which is greater: -1 or u?
u
Let c = 4/1309 - -2014/197659. Is c at least as big as 1?
False
Suppose 3*j + 25 = -20. Which is smaller: -17 or j?
-17
Suppose 0 = -2*g + 13*g - 110. Is 13 smaller than g?
False
Let t = 4 - 6. Suppose 7*s + 2 = 8*s. Which is smaller: s or t?
t
Let g = -14579/129 + 113. Do g and 1 have the same value?
False
Let t = -119 - 108. Let h = t - -3404/15. Which is greater: 0 or h?
0
Let j be (-75)/(-78) + (-1)/2. Which is smaller: -1 or j?
-1
Let j = 42 - 41. Do j and -1/53 have different values?
True
Let p = 4.07 - 0.07. Let z = 9 - p. Let c = z - 7. Is c not equal to 1?
True
Suppose -s = -6*s + 10. Suppose -k = s*k - 12. Suppose 0 = 3*h - h + g + 11, -3*g = k*h + 27. Is -2 smaller than h?
False
Suppose 5*b = -c - 38, -8*b + 13*b + 4*c = -32. Which is bigger: -11 or b?
b
Let z = 6/5 + -31/30. Let p = -2 + 16/7. Are z and p nonequal?
True
Let o(k) = -k**2 + 5*k + 5. Suppose -x = -2*x + 6. Let d be o(x). Let w be 40/50 - 22/(-10). Which is smaller: w or d?
d
Let b = -0.6 - -4.6. Let w = b - 5. Let f = -0.09 + -0.51. Which is smaller: f or w?
w
Let x = -4 + 13/3. Is x smaller than 0?
False
Suppose 4*t + 2 = -j - j, 5*t - 30 = 4*j. Let n = t + -8. Let q = -6 - n. Is q at least as big as 0?
True
Let h = -6.4 + 7.4. Which is smaller: h or 12?
h
Let c = -14 + 51/2. Suppose 3*m - 24 = -3*y, -m - 3*m + y + 47 = 0. Which is greater: c or m?
c
Let r be 2*(26/(-20) + 1). Which is greater: r or 0?
0
Let y = -4 - -1. Do y and 4 have the same value?
False
Let m = 448256/15 + -29869. Let c = m + -67/5. Is c at most 2?
True
Suppose 3*b + 2*b - 75 = -4*r, 2*r = -3*b + 39. Is 15 != r?
False
Let p = 0.7 - 0.71. Let u = p - -0.01. Which is smaller: 1 or u?
u
Let d(n) = -n**3 - 4*n**2 - 4*n - 2. Let a be d(-2). Let f be (0 + 0)/(0 + a). Let q = -3.8 - -4. Is f < q?
True
Let o = 11159/4 + -2824. Let v = o + 35. Let k(g) = g - 4. Let b be k(4). Which is bigger: b or v?
v
Let u = -40 - -61. Which is smaller: 20 or u?
20
Let r(n) = n**2 - 5*n - 1. Let d be r(7). Let p = d - 18. Is -5 smaller than p?
False
Let s be (-1 + 0)/((-1)/(-9)). Let a(v) = -v - 13. Let n be a(s). Let d be 0/((-3)/(6/n)). Is -1/4 less than d?
True
Let g = 22.7 - 22. Which is smaller: g or -2?
-2
Let u = 3.5 + -4.5. Is u less than or equal to -0.1?
True
Suppose 8*v = 11*v + 27. Is -12 > v?
False
Suppose 0*h = -2*h + 4. Let a be 2 - ((-2)/2 + -160). Let b = a - 649/4. Which is greater: h or b?
h
Let r = -4/21 - 16/63. Which is smaller: 0 or r?
r
Let n be 21/(-1) + 4 + -1. Let i = n + 8. Is i greater than -9?
False
Let z(m) = -m**2 + 6*m - 1. Let s be z(5). Is 13/3 >= s?
True
Let z be 0/(-1 - 0 - 0). Suppose -3*h - 2*s + z*s + 4 = 0, 5*h - 4 = -2*s. Suppose 4*u - u - 9 = h. Is 2 less than or equal to u?
True
Let f = -73.2 + 66. Let t = -7 - f. Let r = t - 0.23. Which is greater: 0 or r?
0
Let l be (1008/(-40))/(9/(-30)). Which is greater: 83 or l?
l
Let v be 2/(-6) - 10/6. Let g be v/6 - (0 + -1). Are g and 2/13 equal?
False
Suppose 2*j - j = -1. Let x = -55 + 219/4. Which is greater: j or x?
x
Let n be ((-13)/(-4))/(4/(-64)). Is -51 bigger than n?
True
Let r(z) = z**3 + 7*z**2 + 5*z - 7. Let b be r(-6). Suppose f + 2 = 3*f. Let m = f + b. Is m at least -2/3?
True
Let x(n) = n**3 - n**2 - n - 2. Let d be x(2). Which is greater: d or -0.1?
d
Let w be 87/(-165) - ((-11)/(-5) - 2). Is w bigger than -2?
True
Let k be (45/(-30))/(6/32). Suppose 4*q = 2*t - 46, 5*q + t + 23 = -31. Let g = k - q. Is 4 greater than or equal to g?
True
Suppose -c - 1 = -0*c. Which is bigger: c or 4/19?
4/19
Let c be (-8)/70 - (-10)/(-35). Let f be (-3)/2*(-2 + 0). Is f smaller than c?
False
Suppose g + 0*g = -10. Is 0 bigger than g?
True
Let d(f) = 15*f**2 - 2*f. Let z be d(-2). Is 65 greater than z?
True
Let a = -0.16 + 0.06. Is -1 at least as big as a?
False
Let s be 1 + (6 - 1) + -12. Suppose -4*p - 4*t = 40, -12 = 2*t + t. Is p at least as big as s?
True
Let c(i) = -9*i**3 - 13*i**2 - 13*i - 11. Let y(q) = 4*q**3 + 6*q**2 + 6*q + 5. Let a(h) = -2*c(h) - 5*y(h). Let l be a(-2). Let x = l - 5. Is 0 bigger than x?
False
Let d = 6 - 8. Let n = -1 + -3. Let r = n - -2. Is r != d?
False
Let j = 1559/7 + -222. Suppose -2*w + 12 = 8. Is w less than j?
False
Let c = -102 - -96. Is -7 > c?
False
Let i(b) be the second derivative of b**3/6 + 3*b**2 + b. Let d be i(-3). Is d at least 3?
True
Let u(x) = x**2 + 15*x - 16. Let v be u(-16). Let k be (4 - 3)/(1 - v). Which is smaller: k or 1/2?
1/2
Let q = -8 - -18. Let s be q/45 + (-2)/(-18). Is 0.2 less than s?
True
Let o = 23 - 24. Let k be -3*1*16/60. Which is bigger: o or k?
k
Suppose 12*n - 90 = 21*n. Suppose -h + 2*h = 5*v - 29, -2 = 2*h + 4*v. Which is bigger: n or h?
h
Let m be 6/54*3*-9. Let j be (3/12)/((-1)/6). Which is smaller: j or m?
m
Suppose -d + 2*v + 9 = -3*v, 5*d = -5*v - 105. Suppose u + 2*a + 21 = 0, 16 + 75 = -5*u - 3*a. Is u not equal to d?
True
Let d = -5.6 - -6. Let h = -7 - -5. Let c = h - -2.1. Which is bigger: c or d?
d
Let n = 965/4 + -239. Which is smaller: n or 3?
n
Let o = -4 - -4. Which is greater: o or -1?
o
Suppose 4*c = 2*c + 12. Suppose -c = 2*l, -2*p + 3*l = -4 - 3. Is -4/5 greater than p?
True
Let f = 0.08 - 1.58. Let k = -0.8 - f. Let v = 0.5 - k. Is v >= -0.1?
False
Suppose 2*q + 55 = -5*j, -q + 2*q = j - 17. Suppose 4*i - 2*c = -90, -3*i - 2*c = -0*c + 57. Is q less than or equal to i?
False
Let q(u) be the first derivative of -u**3/6 - 3*u**2 + 2*u - 2. Let f(y) be the first derivative of q(y). Let d be f(-6). Are d and -1/2 nonequal?
True
Suppose 2*t + 0*t - 10 = 0. Let m be (15/9)/t*-3. Let n be (-2)/(5/(15/27)). Which is smaller: n or m?
m
Let s = 64 - 63.05. Which is smaller: 1/3 or s?
1/3
Let c be (1/5)/(9/15). Which is greater: c or 1?
1
Let f = 1/10 + 3/70. Suppose -5*n + 13 = 3. Suppose -5*k + 3*k + n = 0. Is k at least as big as f?
True
Let b(y) = y**3 - 5*y**2 + 3*y - 4. Let n be b(4). Let j(r) be the third derivative of -r**4/24 - 3*r**3/2 + 5*r**2. Let p be j(n). Is 2/19 at most as big as p?
False
Let d(m) = m**3 + 5*m**2 - 7*m - 3. Let o be d(-6). Which is smaller: o or -1?
-1
Let f(v) = -v**2 - 2*v - 1. Let x = -3 + -1. Let p be f(x). Suppose -2*s - 11 = 7. Is s > p?
False
Let j = 7 + -8. Let k = -3 + 3.2. Which is smaller: j or k?
j
Suppose -2*z - d + 22 = -4*d, 4*z + 5*d - 44 = 0. Suppose -z - 3 = -r. Does r = 13?
False
Suppose 2*s + s = 0. Suppose -3*u - 20 = -0*u + 4*n, 5*u - 3*n + 72 = s. Let p be (-12)/(-9) - 8/u. Is p >= 1/2?
True
Let l be (1 + -2 - -2)*(-5)/(-30). Is l >= 1?
False
Let g = 330 - 8248/25. Which is greater: 1 or g?
1
Let c be ((-3)/2)/((-3)/(-8)). Is c at least as big as -4?
True
Let d be (1*(4 + -7) + 7)/14. Which is greater: 7 or d?
7
Let m(g) = -g**3 + 5*g**2 - 3*g - 2. Let f be m(3). Which is smaller: 0.2 or f?
0.2
Let f = -12 - -17. Suppose 145 + 5 = f*b. Let l be (-12)/b*(-6)/4. Which is smaller: 2 or l?
l
Let l be (16/(-10))/(12/30). Do l and -3 have the same value?
False
Let y = -19.9 + 20. Which is bigger: y or 1/9?
1/9
Let r = 3 + -15. Let l = -9 - r. Let q = 2 - l. Is q at least -1?
True
Let z = -74 + 78.3. Let 