o be (45/r)/(1 + 0). Suppose 5*j - 4*y + 20 = y, 5*y = o. Are 0 and j nonequal?
True
Let a = 2260 + -2260. Which is smaller: a or -2/3161?
-2/3161
Let a be (6/18)/(1/3). Let h be a*((-9)/3 - -5). Suppose 6 + 6 = -h*v. Are v and -6 equal?
True
Suppose -20 = 15*q - 19*q. Let f be q + 0 - (-4 + 41). Is f greater than or equal to -32?
True
Let l = -135 + 116. Let y = -38 + 22. Let j = y - l. Is j < 2/3?
False
Let g = -2 - -5. Suppose 0*x = g*x. Let m be (-15)/10 - (-51)/24. Which is smaller: m or x?
x
Let q(k) = k**2 + 2*k - 20. Let v be q(-6). Suppose -4*u + 15 = 3*j - v*j, j + u = 5. Let c = 31/10 + -151/50. Is c at least j?
False
Let a be 1349/19*(-2 + 1). Which is greater: a or 2/3?
2/3
Let c(k) = 7*k - 36. Let s be c(6). Let r be 894/(-45) - 2/s. Which is smaller: -20 or r?
r
Let v = -6587/44 - -601/4. Suppose 0 = -k + 2, -4*g + 17 - 1 = 4*k. Which is smaller: g or v?
v
Suppose -t + 4*a = -3, -3*t - 2*t + 3*a = -15. Let c = -709 + 714. Is c smaller than t?
False
Let g = -189 - -192.33. Let b = g - 0.33. Which is greater: b or 5?
5
Let b(a) = 3*a + 43. Let t be b(-13). Suppose 3*h + 5*v - 3 = 2, -4*h - t = -4*v. Does 2/365 = h?
False
Let b be ((-270)/75)/(7/5)*7. Let f be -12*b/114 + -2. Which is smaller: 0 or f?
f
Let k be 2*(40/10 - (3 + -1)). Let w = -2/81 + 218/81. Is k greater than or equal to w?
True
Suppose -3*c = 2 - 20. Let b be (-16)/c*15/(-10). Suppose -f + 4*f = 15. Which is bigger: f or b?
f
Let a be (-116 + 446)*(18/5)/(-3). Is a bigger than -394?
False
Let p = -93 + -48. Which is smaller: -140 or p?
p
Suppose -2*p = -2*y - 494, 47*p - 42*p = -4*y - 988. Is y smaller than -246?
True
Let p = 1191869/321 + -3713. Are p and 0 non-equal?
True
Suppose 0 = -5*l - 2*o + 3, -3*l + l - o = -1. Let v be l*2/(-16)*63/(-84). Which is smaller: v or 0?
0
Let w = 19 - 13. Let i = 7 - w. Let x = -219 + 2421/11. Which is bigger: i or x?
x
Let a(i) = i**3 - 3*i**2 - 2*i - 1. Let m be a(3). Let w be (1/m)/(9/(-63)). Let p(o) = 4*o**2 - 1. Let y be p(w). Is y greater than 3?
False
Let a = -2/1113 + 13378/12243. Is 1 greater than a?
False
Let a = -2/365 + 77/730. Let g = 279 - 280. Is g not equal to a?
True
Let t(c) = -c + 20. Let k(u) = 1. Let l(n) = 3*k(n) + t(n). Let v be l(11). Let x = 18 - v. Which is smaller: x or 5?
5
Let h = 5 + -9. Let b be (-1)/h + 78/(-280). Let c = b - -43/280. Which is bigger: c or -1?
c
Let j = -7317/53 - -138. Let s(g) = g**2 - 2*g - 2. Let l be s(3). Is l at least as big as j?
True
Let z be (2/46)/((-18)/(-18)). Which is greater: z or 1?
1
Let r = -196 - -133. Let c = r - -60. Which is greater: c or -12/7?
-12/7
Let j be 2/(-5) - ((-654)/10 + 4). Is 62 greater than j?
True
Let w = -300.066 + 0.066. Which is smaller: w or -1?
w
Suppose -11*y + 16 = -12*y - 3*z, 5*z + 24 = y. Is y smaller than 1563?
True
Let j(m) = 5*m - 9. Let y be j(4). Let x(d) = d**3 - 11*d**2 + 4*d - 15. Let o be x(y). Is 1 bigger than o?
False
Let d = 1240 - 1734. Which is smaller: d or -495?
-495
Let i = -334 - -201. Is i equal to -132?
False
Let o = -4596.052 + 4583. Let s = o + 0.052. Is s not equal to 0?
True
Let b(w) = w + 4. Let x be b(-4). Let n be (-5)/(-160)*3/6. Which is smaller: n or x?
x
Let x be ((-3)/6)/(3/(-222)). Let i = 38 - x. Which is bigger: 3/4 or i?
i
Let l(b) = b**2 + 19*b + 56. Let y be l(-5). Let p be 5*-16*2/(-10). Let k be (-71)/36 + p + y. Are k and -1 nonequal?
True
Suppose -6*c + 369 = -3*c. Let w = c - 71. Suppose 13 = 2*h - q, -5*h = q + 3*q - w. Do 7 and h have different values?
True
Let a(k) = -105*k + 144. Let u be a(16). Is -1535 at least u?
True
Let y(w) = -w**3 + 3*w**2 - 5*w + 4. Let q be y(3). Suppose -24 = -3*z, 2*h = -20*z + 15*z + 20. Is q less than or equal to h?
True
Let u be (2/(-3))/(38/(-57)). Let w be (22/6 - u/(-3))/2. Which is smaller: 10/11 or w?
10/11
Let f = -27 - -42. Let l be (6/f)/((-2)/10). Suppose 4*m + 19 = 3*o, m - 13 = 5*m + 3*o. Which is greater: l or m?
l
Suppose -y = 54 - 14. Let a = -39 - y. Which is smaller: a or -8?
-8
Suppose j = 4*j - 15. Suppose -l + j*l = -20. Is l smaller than -5?
False
Let v = -486 - -27698/57. Suppose s - 2*w - 7 = 0, 7*w = -2*s + 10*w + 10. Is s greater than or equal to v?
False
Let g be ((0 + 0)/1)/2. Which is greater: g or 20/47?
20/47
Suppose -b + 5 = 2. Let k be b/2*(-8)/12. Let w be (12 - 4) + (-1235)/133. Which is smaller: k or w?
w
Let k(v) = -v**2 - 9*v - 7. Let i be k(-8). Suppose -9*g = -8*g + i. Let w be (3/(-30))/((-3)/12). Which is bigger: w or g?
w
Let f = 229/55 + -48/11. Let s be 69/2 - (-4)/8. Suppose 0 = -s*i + 38*i - 3. Is f greater than i?
False
Let k = -0.42 + -63.58. Let f = k + 63.9. Which is greater: 13 or f?
13
Let w(a) = -4*a - 11. Let b be w(-4). Suppose -4*p - 4 = v, 2*p - b = -3*v + 3. Is p greater than 0.1?
False
Let l = 3605 - 10463/3. Are l and 118 equal?
False
Let a = 4/63 + -205/252. Let o = 10 - 7. Suppose 0 = o*b + b. Which is bigger: b or a?
b
Suppose -2*i = 4*x + 68, -18*x + 23*x = -3*i - 103. Which is smaller: -38 or i?
-38
Let q be (-1 - (-4)/6)/(4/(-24)). Suppose 0 = f - 2*n + n + 6, f - 9 = -q*n. Which is bigger: -9/11 or f?
-9/11
Suppose 4*m + 736 = -3*j, m + 5*j + 165 = -36. Which is greater: -182 or m?
m
Let v = 13283 + -29873469/2249. Which is smaller: v or -1?
-1
Suppose 3*k - t - t - 5 = 0, 0 = 4*k + t - 3. Let q be 1131/(-84) + (-2)/8. Let c = q - -14. Which is greater: k or c?
k
Let p(x) = 9*x**2 + 14*x**3 - 4 - 10*x**3 - 5*x**3. Let f be p(9). Let o be 1/4 + (-35)/f. Which is smaller: o or 2/3?
2/3
Let p = 0.0664 + -56.0664. Which is greater: p or 5?
5
Let a = -69 - -70. Let j be (-8 + -1)*(-1 - 5). Let s be ((-1)/(-3))/((-96)/j). Is a less than or equal to s?
False
Let g be 314/(-5232) + 67/1608. Suppose -4*n + 7*n - 23 = 4*s, n - 2*s = 11. Which is greater: n or g?
n
Let z = 25 + -25.01. Let u = 0.12 - 0.04. Let i = u + 1.92. Which is greater: i or z?
i
Suppose -c + 2*d - 5*d = -68, c = 5*d + 52. Suppose -h = -69 + c. Which is smaller: h or 8?
h
Let t(n) = -n - 6. Let s be t(-8). Suppose 6 = -5*z + 2*z. Let m be (-4)/4 + z/(-1). Is s at least m?
True
Let d be (-2 - -4)*(-2)/(-4). Let g = -117 - -116.9. Which is smaller: g or d?
g
Let h = -101679/35 - -13872/5. Let a = -131 - h. Is a >= -8/9?
True
Let q = -4.9 + 5. Suppose 3*i - 3 = -2*c, 2*i - 5*i - 3 = 0. Suppose -y - 7 = 4*y - c*d, 0 = -2*y + 5*d - 18. Is y > q?
True
Let w be (-4)/(-22) - 44720/238095. Are w and 1 equal?
False
Let f = -5.2 + 5.17. Let m = f - -3.03. Is m greater than 0.06?
True
Let l be 0/(6/((-18)/(-15)) - 1). Is -1/154 at most as big as l?
True
Let f = 17.4 + -18. Let s = 1.6 + f. Which is bigger: s or 2/65?
s
Suppose -3*z + 0 = -3. Let i(d) = 17*d + 25. Let t be i(7). Let n be (-1 + 148/t)*12/(-8). Which is smaller: n or z?
n
Let j = -4.176 - 0.024. Let t = j - -0.2. Let g = -42 + 124/3. Which is smaller: g or t?
t
Let r(u) = u + 8. Let c be r(-8). Is -3/20 greater than or equal to c?
False
Suppose -2*r - 93 = -371. Let h be (-33)/44 + r/4. Let q be h/84 - 3/9. Which is smaller: q or -1?
-1
Let s(b) = 3*b - 3. Let d be s(4). Let m = -43/228 - 7/114. Is d less than m?
False
Suppose 4*v + 4*d = -169 - 7, -4*d = -5*v - 247. Are v and -54 unequal?
True
Let k = -266/3 - -90. Let f(s) = -7*s**3 - 2*s**2 + s - 1. Let p be f(2). Let l = -61 - p. Which is bigger: k or l?
l
Let j = -3.11 + -6.89. Let d = -4.6 + 0.6. Which is smaller: j or d?
j
Let u(s) = -5*s**2 + 6*s - 9. Let n be u(8). Let g = -396 - n. Let i = -801/7 - g. Which is greater: 1 or i?
1
Suppose 2*x - 14 = -2*p, 5*p - 10*p = -20. Which is smaller: x or 1/2?
1/2
Let v be 60/40 - (-4)/(-24)*13. Which is smaller: 1393 or v?
v
Let j be 87/14*(21/(-9) - -5). Is 18 < j?
False
Let k(x) = x**2 + 2*x + 5. Let y be k(-5). Let c be 2/y*(-644)/2. Let g = c - -32. Is g < -3?
False
Let k be -1 + 1*-3*(-819)/513. Which is smaller: 3 or k?
3
Let q(z) = 2*z - 12. Suppose 0 = 2*r - 0*r - 16. Let p be q(r). Let b be p*2/24*-9. Which is greater: b or -4?
b
Let d = -1877 + 1875. Which is greater: 104/11 or d?
104/11
Suppose -5*o = 3*b - o - 396, 0 = 4*b - 3*o - 553. Do 136 and b have the same value?
True
Let i = 227 + -227. Let l = -14411/262 - -55. Which is bigger: i or l?
i
Suppose 0 = -16*r + 22*r - 72. Let m(s) = -3*s + 39. Let u be m(r). Which is bigger: 16/7 or u?
u
Let i be (32 + -34)/(