 + -8. Is u >= 2?
True
Suppose -3*r + 8 = -7. Let q = r - 9. Which is smaller: q or -3?
q
Let i = -26/603 - 12/67. Are 0.1 and i non-equal?
True
Suppose -105 = -3*n + 8*n. Let y be n/36 - (-1)/4. Let o = -1.2 + 0.2. Is y >= o?
True
Let h be (-1)/(-4) + 98/56. Let f be (-4)/(-14) - 256/14. Let m be 4/6*f/(-8). Which is smaller: h or m?
m
Let x = 5 + -4.6. Let h = -0.3 + x. Let s be 5/5*2/(-5). Is h greater than s?
True
Let p = -9 + 11. Let r be -2 + (3 - p - 1). Is 1 at most as big as r?
False
Suppose 3*t = -0 + 9. Suppose 0 = -t*b + 7*b. Is b != 2/5?
True
Let g = 52 + -51. Let o = -2377/13 - -183. Which is greater: o or g?
g
Let j(k) = -k**2 - 9*k - 5. Let a be j(-8). Suppose a = -o + 2*o. Is o at most 4?
True
Suppose 2*t = 3*f - 3 - 9, -16 = -3*t - 4*f. Let g be (3/(-6 + 0))/(-8). Which is bigger: g or t?
g
Let j = -814 - -5714/7. Is 1 less than j?
True
Suppose -5*w = -0*w + 20. Let m = w - -2. Suppose -9 = 3*i - 0*i. Is m at most i?
False
Let w = -4.905 - 0.095. Is w less than or equal to -1/4?
True
Suppose 34 + 14 = -4*c. Let s be c/30 - 6/10. Is s less than 3?
True
Suppose -x + 0 = 2. Let n be 19/7 - (-24)/84. Suppose -j - n*j = 4. Is j < x?
False
Let p = -9 - -8.9. Let q = 0.37 + -0.07. Let r = -0.2 + q. Which is bigger: p or r?
r
Let w = 6 - 7. Let v = w - -3. Which is smaller: v or 1?
1
Let r = -2 - -6. Let j be r*(2 - (-218)/(-108)). Let u be -2*(1 + 0)/2. Is j equal to u?
False
Let k(l) = 43*l**2 + l. Let q be k(-1). Let b be 4/10*10/q. Is b greater than or equal to -1?
True
Let o(y) = -2*y**3 - 13*y**2 + 10*y + 9. Let s be o(-7). Let z be (2/s)/(8/42). Is z > 0?
False
Let q = 11 - 11. Which is greater: 2/85 or q?
2/85
Let z = -0.79 + -0.21. Which is bigger: -1/7 or z?
-1/7
Let w be (-17 + 16)*4/(-122). Which is smaller: w or -1?
-1
Let n be (6/27)/(-3 - -5). Which is smaller: -1 or n?
-1
Let o(h) = -h**2 - 11*h - 16. Let a be o(-7). Is a bigger than 12?
False
Let p = 10 + -6. Suppose 2 = -p*k + 2*k. Let u = 34/21 - 9/7. Does k = u?
False
Let m = 0 - 0. Let z(y) = 2*y**2 - 4*y + 1. Let j be z(3). Suppose 3 = -4*w + j. Is m greater than or equal to w?
False
Let o(g) = 3*g**2 + 5*g + 1. Let z be o(-2). Which is bigger: -1 or z?
z
Let f = -7 + 11. Let y = f + -3. Suppose -3*o = 2*o. Which is smaller: o or y?
o
Let f = -42 + 45. Which is smaller: 3/2 or f?
3/2
Let g be (-80)/165*(0 + 159). Let p = g - -77. Let j be 1/(1/(-2)) - -1. Is j >= p?
False
Let s = -1 + 3. Let b be -3 + -1 + -3 + 8. Which is smaller: s or b?
b
Let j(t) = -t**2 + t - 2. Let w be j(2). Let u = -1 + w. Which is smaller: -4 or u?
u
Suppose -65 = 3*d - 3*i - 2*i, -3*d = 2*i + 37. Let w(v) = 12*v - 4. Let p be w(-1). Does p = d?
False
Suppose -z + 3*z = 0. Let t = 0.4 - 1.5. Let f = t + 1. Which is smaller: z or f?
f
Let b be (-2)/3 - 8/6 - 39. Which is smaller: -40 or b?
b
Let x = -12.4 - -2.4. Let q = x - -9. Is -4 at least as big as q?
False
Suppose 2*a = a + 1. Let p be (-2)/(-4) + (a - 3). Let r be ((-14)/28)/((-1)/(-2)). Are p and r nonequal?
True
Let o = -1.4 + 1. Let r = 8 - 11. Are o and r equal?
False
Suppose -15*y + 9 = -18*y. Which is smaller: y or 21?
y
Let p(w) = -w**3 + 11*w**2 - w + 11. Let k be p(11). Let s(g) = g**3 + 6*g**2 - 17*g - 7. Let d be s(-8). Which is smaller: d or k?
k
Suppose -4*d - 2*v - 2*v = 4, 0 = d + 2*v - 2. Let f(a) = 2*a - 1. Let k be f(d). Is k >= -9?
True
Let h be (-3 + -4 + 20)*-1. Does -14 = h?
False
Let n = 27 + -27. Which is smaller: n or -5/11?
-5/11
Let k = 0 - -1. Let q = -2 + k. Let u be 28/98 + (-1)/(-21). Is u greater than q?
True
Let c = 0.1 - 2.1. Let l = 3 + c. Let v = 2.1 + -2. Is l greater than v?
True
Let g = -6 - -8. Let p be (-2)/(-14)*3*-4. Let c = p + g. Are 2/7 and c non-equal?
False
Let z be -4 + (-5)/((-5)/3). Let g be 6/15*z/1. Are g and 15 nonequal?
True
Let k = -28 + 11. Let o = k + 33/2. Let c = -0.2 + 0.3. Which is smaller: c or o?
o
Let m = 4.1 - 4.2. Are m and 40 equal?
False
Let i = -59 + 65. Is -4 != i?
True
Suppose 2 + 8 = 5*k. Suppose -k*v = 3*v. Let l = 281/370 + 3/74. Is l greater than v?
True
Let u = -0.15 - -6.15. Let y = u - 6.4. Let d = y - -0.3. Which is greater: -1 or d?
d
Suppose -3*a - 20 = -a. Let x(m) = -m**3 - 10*m**2 - 3. Let d be x(a). Do d and -2 have different values?
True
Suppose -31 = 5*z - 4*v, 24 = -3*z - z + 4*v. Suppose 3*k = c - 3, -k + 0*k = -3*c + 9. Suppose 6*g = 4*g - 4, -3*g - 24 = c*n. Do n and z have the same value?
False
Let b be 5/(50/(-45))*(-3)/18. Is 2 greater than b?
True
Let v = -5 - -11. Let c be 4/(-6) - (-10)/v. Suppose 2*p - 17 = -3*g, -3*g = 2*p + 2*g - 27. Is c smaller than p?
False
Let c = -6 - -6. Which is smaller: c or 2/77?
c
Let s be (-12)/4 - (-21)/6. Which is greater: 1/4 or s?
s
Let y be 2/(-2) - (-9)/11. Let g = 0.5 + 1.5. Let z = g + -1.8. Which is smaller: y or z?
y
Let l = 119/20 + -31/5. Which is smaller: 0.08 or l?
l
Let h be 6/(-12)*0/1. Suppose 5*i + h*i - 10 = 0. Let n = i + -1. Are 0 and n equal?
False
Let m = -33 + 47. Is 14 less than or equal to m?
True
Suppose -10 = -2*g + 6. Let c(a) = a**3 - 9*a**2 + 8*a + 1. Let z be c(g). Is z greater than or equal to 3/5?
True
Let r(h) = 5 + 3 - 4 - h**3 - 5*h + 5*h**2. Suppose 3*v - 18 + 6 = 0. Let d be r(v). Is 1/2 equal to d?
False
Let k(q) = -q**2 - 9*q + 21. Let g be k(-11). Let p = 0 + 1. Which is smaller: g or p?
g
Let k = -70/9 + 472/63. Let q be 0 - (22/(-18) - -1). Which is smaller: k or q?
k
Let b(v) = v**2 - 2*v + 1. Let a be b(2). Let o = 0.01 - 6.01. Which is smaller: a or o?
o
Let k be 3/(-2) - 94/(-240). Let o = 23/20 + k. Is o >= 1?
False
Let g = -229/3 - -842/15. Let u = g + 20. Suppose i = -0*i. Which is bigger: i or u?
i
Let w(l) = -l**2 + 8*l - 8. Let n be w(6). Let t be (-3 + (-10)/(-6))*-3. Let j = t - 1. Which is smaller: n or j?
j
Let l = 274/5 - 55. Let i(v) = -v + 2. Let o be i(1). Is l at least o?
False
Suppose g = 5*g - 4. Let d be (1 - (-1 + 2)) + 1. Is d greater than or equal to g?
True
Let i be ((-2)/(-10))/(5/(-15)). Which is bigger: -0.2 or i?
-0.2
Let o = -91 + 144. Is o less than or equal to 52?
False
Let n be (-1)/((-9)/6)*6/14. Is 103 not equal to n?
True
Let b be 3/6 - 12/(-8). Suppose t - b = -0. Let h(c) = c**2 + 5*c - 5. Let d be h(-6). Which is smaller: t or d?
d
Suppose 0*i - i - 5*s = 28, 3*i + 2*s = -19. Is i > -4?
True
Let g = -6 - -6. Which is bigger: g or 1/4?
1/4
Let c = 4/5 - 32/15. Suppose 4*w - 4*v = 20, 4*v - 1 = -2*w - 21. Is c less than or equal to w?
True
Suppose -4*y + 2*y - 2*x = 0, -2 = -4*y - 5*x. Let w = -374 - -3356/9. Which is smaller: y or w?
y
Let n = -8789/4 - -2171. Suppose -30 = 3*k + 48. Let z = k - n. Which is greater: z or -1?
z
Let y = 0.02 - -1.98. Let f = y - 2.2. Is f greater than or equal to 2?
False
Suppose -q = q - 6. Suppose 3*t + q = 6. Is t greater than 0?
True
Let h = 5.01 + -5. Let t = -0.71 + 0.8. Let c = t + h. Which is smaller: -2/5 or c?
-2/5
Let h = 10 - 5. Let j = 0 + h. Let g = 3 - j. Is 1/4 > g?
True
Let y = -459/580 + -1/116. Let l(r) = -r - 2 + 3*r - r. Let c be l(2). Is c bigger than y?
True
Suppose -4*d = -1 + 5. Is d bigger than -1/37?
False
Let j = 0 + -2. Let a = j - 5. Is -6 less than or equal to a?
False
Let a = 0.146 - 0.246. Which is bigger: a or 83?
83
Let y(u) = 3*u + 6. Let n be y(-5). Let c be -3*-2*(-3)/n. Suppose 2*f - 4 = -c. Is f at least -1/8?
True
Let m be 0/14 + 0 + 2. Which is bigger: m or 4/3?
m
Let x be (-1)/10*(26 - 13). Which is smaller: -2 or x?
-2
Let m = -25 - -25. Which is smaller: m or -4/23?
-4/23
Let z = 3 + -3.1. Let d = 116 - 344/3. Is z < d?
True
Suppose 0 = 3*w, -w - 17 + 74 = 3*s. Which is greater: 18 or s?
s
Suppose 0 = -0*f + f - 409. Let d = f + -1240/3. Let c = -4 - d. Which is greater: c or 1?
1
Let p be (2/4)/(4/24). Let f be (1 + 2)/((-2)/12). Let l be ((-6)/20)/(f/15). Is p < l?
False
Let h = 2726/11 + -248. Are 2 and h nonequal?
True
Let b be -1 + 5 + 0 + 0. Let r = 35 + -32. Suppose 0 = -b*g + 9 + r. Which is greater: g or 2?
g
Let r = 0.2 - 0. Suppose -y - y + 4 = 0, -4*l + 2*y = 8. Let s be l/6*(-3 - -1). Which is greater: s or r?
s
Let r = 58 + -69. Which is bigger: -17 or r?
r
Let y = 9.9 - 10. Let f = 7 + -5. Suppose f*h - 4 = 6. Which is smaller: h or y?
y
Suppose -59 = 5*t + 3*x + 161, -5*x - 44 = t. Let d be (1/(-1))/((-4)/t). Let g be (d/(-6))