(-3)/4). Which is bigger: o or n?
n
Suppose 2*q - 8 - 2 = 0. Suppose q*n - 5 = -0. Is 3/17 greater than n?
False
Let o be ((-6)/235)/((-8)/20). Which is smaller: 1 or o?
o
Let r = 0 - -5. Suppose -y - 1 = b, -r*b + 0 = -y - 1. Is 2/13 less than or equal to b?
False
Let z = 0.6 + -0.1. Let d = 0.6 - z. Which is bigger: d or 1/4?
1/4
Let l = 7 - 3. Suppose -z + 16 = l*d, 0 = d + 6*z - 3*z - 4. Suppose v + m + 1 = 4*m, d*m = v + 1. Is v at least -3?
True
Let g = -0.26 - -0.36. Let m = -2.9 - -3. Is g smaller than m?
False
Let f be 3/9 + (-13)/12. Let q = 1.4 - -0.6. Is q at least f?
True
Let j be 2/5 - 52/55. Let a = 0.003 + -0.103. Which is bigger: a or j?
a
Let j = -17 + 16. Let g = 2 - 2. Let b = g - j. Which is smaller: 2 or b?
b
Let o = -1 - 2. Let u be -1 + 2/(o + 4). Is 4 less than u?
False
Suppose 2*a - 18 = -2*g, 0 = 2*g - 6*g - 4. Is a greater than 9?
True
Let z be (-925)/55 - (-6)/(-33). Let p = -18 - z. Is p greater than or equal to -1?
True
Let l(q) = -10*q + 30. Let s be l(-3). Is s at least 59?
True
Let n be -2 + 1*8/2. Let v(d) = -d + n*d - 6 + 14 - 2*d. Let u be v(7). Is u not equal to 3?
True
Let s be ((-2)/(8/(-17)))/(1/(-4)). Are s and -16 equal?
False
Suppose 0 = g + 4 - 2. Let b be (1/2)/(g/12). Let z = 6 + -9. Is z less than or equal to b?
True
Let b be 16/36*(-60)/8 + 4. Which is smaller: 1 or b?
b
Let b be (-3)/6 - (-1 - 0). Let s = -31 + 33. Which is greater: s or b?
s
Let v be ((-8)/14 + 1)*-1. Which is smaller: v or -5?
-5
Let x = 75 - 73. Is x greater than or equal to 17?
False
Let s be (-45)/18 - 1/2. Let v be -3*s/54*-3. Which is greater: -5 or v?
v
Let w(z) = -z - 10. Let a be w(-12). Let p be 7/a - 9/(-18). Suppose p*c = -c. Which is smaller: c or 1?
c
Let k = 9823/14 + -701. Is 1 less than k?
False
Suppose -g - 9 = 3*d - 53, 0 = 4*d - 3*g - 76. Suppose -5*j = -j - d. Suppose -3*k - 5*s = 25 - 8, s + j = 0. Is k bigger than 1?
False
Let d be 576/1240 - 2/5. Is 0.1 <= d?
False
Let i be (-2*(-3 + 0))/(-1). Let x = 4 + i. Let f be (-1 - -9)*1/x. Is 0 at most as big as f?
False
Let f = 0.3 + -0.3. Let b = -0.774 - -0.004. Let t = 0.07 + b. Is t not equal to f?
True
Let w be 1 - 2/6*1. Let n = 0 - -1. Is w <= n?
True
Let b = 6 + -4. Suppose -3 = -o - 1, -4*q + 4 = b*o. Let z be ((-5)/(-2) + -2)*2. Is z at least q?
True
Let g = -26 + 26.95. Let m = g + 0.05. Let d be 2/(-1) + (-27)/(-12). Do d and m have the same value?
False
Let f be (3/7)/(-10 + 23/2). Let c be 22/(-14) + 1 - 0. Is f > c?
True
Let k = 4 + -11. Let r(n) = n**2 + 26*n + 39. Let x be r(-24). Are k and x unequal?
True
Let o(w) = 2*w + 8. Let t be o(-4). Suppose 5*u = 5*i - 65, t = -u - 3*u + 3*i - 50. Which is smaller: u or -10?
u
Suppose p - 2*r - 14 = 0, r + 1 = -p - 2*r. Suppose 0 = 4*b - b - 27. Let u be (b - p) + 6/(-10). Is -1 greater than or equal to u?
False
Let l be (4/3 - 280/192)*-6. Which is smaller: 0 or l?
0
Suppose -3*f + 2*l - 112 = 0, 2*f - 5*l + 8 = -63. Let v be -2*2/f*1. Let c = 21 - 20. Is c > v?
True
Let u be 5 + -5 - 2/(-2). Is u greater than 1/4?
True
Suppose 2*b + 2*s + 6 = 0, 9*b - 1 = 8*b + s. Which is greater: b or -3?
b
Let m be ((-2)/6)/((-7)/21). Let p = 4 - 1. Suppose p = 3*s + 9. Is m greater than or equal to s?
True
Let r = -22 + 31. Let o = 14 - r. Is o < 1?
False
Let x(c) = -3*c - 1. Let z be x(-2). Let a(f) = -2*f - 2. Let v be a(-3). Suppose -v*q - q = z. Which is smaller: -3 or q?
-3
Suppose 0 = w - 2*w + 4. Suppose -w*u = -1 + 13. Which is bigger: u or -4?
u
Let d = 6 + -2. Let n(v) be the third derivative of -v**6/120 + v**5/20 + v**4/6 + v**3/2 + v**2. Let o be n(d). Is -0.1 less than o?
True
Let h(f) = -f**3 + 3*f**2 - 3*f + 2. Let k be h(3). Let c = 8 - 15. Is c != k?
False
Suppose 0 = 3*p + 12, 5*j - 2*p = p - 1143. Let f be (-3)/(-4) + j/196. Let h(l) = -l**2 + 3*l + 4. Let m be h(4). Is f less than m?
True
Let y(k) be the third derivative of -k**4/24 + k**3/3 + k**2. Let x be y(-8). Let j be ((-2)/5)/((-2)/x). Which is bigger: 1 or j?
j
Let s(m) = 3*m**2 + 2*m - 3. Let z be s(2). Let h = 5 - z. Is h at least -8?
True
Suppose -r = -16 + 24. Is r less than -1?
True
Let w = 0 - 0.5. Let g = w - -0.3. Which is smaller: -0.3 or g?
-0.3
Let f = -224350/159 + 1411. Which is bigger: 1 or f?
1
Suppose 0 = -4*z - z + 5. Suppose 7 - z = 2*g. Suppose 4*w + 1 = 9. Is w less than g?
True
Let m = 12 - 28. Let b = m + 13. Is b greater than -19/5?
True
Suppose u + 8 = -3*u, 0 = -3*j + 3*u + 66. Which is smaller: 19 or j?
19
Let t = -33 - -193/6. Let m be -3 - ((-24)/(-16))/((-1)/2). Is m at most t?
False
Let u = 16.1 + -10. Let r = 6 - u. Which is bigger: 1 or r?
1
Let s(y) = -y + 15. Let l be s(14). Suppose l - 3 = -p. Suppose 0 = h + 2*h - 9. Which is smaller: p or h?
p
Let t = -0.2 - -0.3. Let o = -0.03 + -2.97. Let f = o + 2.8. Which is greater: t or f?
t
Let j = -0.974 - 0.026. Let p(z) = z**3 - 4. Let l be p(0). Are l and j nonequal?
True
Suppose 3*k - 2*o = 14, 0 = -5*k + 5*o + 9 + 21. Suppose -k*h = -3*u - 4, -u + 1 = 2*h - 3. Let g = -4 - -4. Is u less than or equal to g?
True
Let g be (-2)/6*(-21)/5. Let l(m) = -m**3 - 16*m**2 - 14*m + 16. Let s be l(-15). Which is smaller: s or g?
s
Let p = -3 - -1. Which is bigger: p or -3?
p
Let p = 95 + -65. Does 30 = p?
True
Let c = -120 + 122. Is 9/11 != c?
True
Suppose -3*i - 19 = -5*x - 0*i, -9 = 3*i. Let g(w) = w**3 - 5*w**2 + 2*w. Let h be g(x). Let p = h - -3. Is p >= 0?
False
Let u be (-18)/(-4)*(-720)/378. Which is smaller: -10 or u?
-10
Let j = 8 + -7. Let d = 4 + -3. Is j < d?
False
Let t = -11 - -12. Is t at most as big as 2?
True
Suppose -5*p + 4 = x - 12, p - 2 = 0. Suppose -s = -x*s. Let b be (-18)/(-8) + -2 + 1. Is s <= b?
True
Let j = 13.9 - 15. Let g = -1.4 - j. Which is smaller: g or 1/2?
g
Suppose -64 = 5*p + 76. Are -28 and p non-equal?
False
Suppose -24*l - 938 = -2906. Does l = 80?
False
Let b = -43 - -35.6. Let i = -1.4 - b. Is i at most 0.2?
False
Let i(b) = 3*b - 51. Let c be i(18). Let u = -0.3 - -1.3. Do u and c have the same value?
False
Suppose 0 = -2*d + 6 + 6. Let g be 3592/30 + 4/d. Let q = -120 + g. Is q bigger than -1?
True
Let c = 0.08 + 2.92. Let a = 3.3 - c. Let l = 78 - 232/3. Which is bigger: a or l?
l
Let d = -1 + 4. Suppose -d*v + 4 = -5. Is v at least as big as 3?
True
Let j(t) = -t**3 + 6*t**2 + 3. Let c be j(6). Suppose 0 = c*q, -h = 3*q + q - 3. Suppose 0 = w - 4*w + h. Which is bigger: -2/11 or w?
w
Let u be 23366/68 - 12/(-8). Let z = u - 345. Which is greater: 1 or z?
1
Let d = 0.05 - 0.05. Is d at most -8?
False
Let z = -77/2 + 38. Let u be (-35)/40 - (-1 + 0). Which is smaller: z or u?
z
Let l = -2 - -4. Suppose -4*s = -l*s. Is 0 not equal to s?
False
Let o be 6/(-27) + (-68)/18. Suppose 4 = 2*i - 0. Let l be ((-4)/2)/(i/o). Which is smaller: -1 or l?
-1
Let i = 7.6 - 8. Let c = 0.2 + i. Is c at most as big as -2?
False
Let j = -39.83 - -40. Let l = 0.03 + j. Let k be ((-1)/2)/((-2)/4). Is k >= l?
True
Let d = -1.1 - -1.6. Let u = -0.11 - -0.91. Let s = u - d. Is s greater than -2?
True
Suppose 5*s = 4*x - 20, -2*s = -3*x - s + 4. Let u = -1 - 0. Is x bigger than u?
True
Let p(o) = o**3 - 5*o**2 - 7*o - 5. Let d be p(6). Is -11 > d?
False
Let t = 7/15 + 1/5. Let k = 15 - 13. Which is smaller: t or k?
t
Let n(h) = -h**3 - 4*h**2 - 2*h - 2. Let y be n(-4). Suppose 4*i - 7 = l, 4*l - 8 = -2*i + y*i. Which is greater: -1 or i?
i
Suppose -2*b + 30 = 3*b. Let u be (-39)/15 - b/15. Let x(t) = t**2 + 3*t - 3. Let p be x(u). Are p and -2 non-equal?
True
Let g = -437/1695 + -1/113. Which is smaller: g or 0?
g
Suppose -6*s = -12*s - 6. Suppose -5*y + 2 = -3. Which is greater: y or s?
y
Let n = -301/3 - -99. Which is bigger: n or 0?
0
Let m = -4.07 - -0.07. Let z = 1 + m. Is z bigger than 1?
False
Let c = 0.04 - 3.04. Let l = -1 - 0. Let w = c - l. Which is smaller: 2/5 or w?
w
Let n(p) = p + 37. Let z be n(-26). Is z at least as big as 2?
True
Let w be 4/(-10) - (-6 + (-84)/(-15)). Does w = 7/15?
False
Let x = 0.152 - 0.152. Are -0.26 and x non-equal?
True
Let k(c) = -3*c + 22. Let b be k(7). Which is greater: 1/9 or b?
b
Let w = -662/5 + 133. Let r = -23 - -25. Which is greater: w or r?
r
Suppose 3*f - 3 = 2*f. Let p be (-2)/f - (-3662)/21. Let c = p + -174. Is c > -2?
True
Let k = -3.94 + 4. Let h = -8 - -7.94. Let s = h + k. Is 0 l