
n
Let k = 5.22 + -5. Which is smaller: k or 0?
0
Let i(j) = 0 + 2 + j + 0. Let f be (-90)/40 - 2/(-8). Let a be i(f). Which is bigger: 1/2 or a?
1/2
Let a(v) = 5*v**3 - v. Let k be a(1). Let g = k + 0. Suppose -5*r = z + z - 22, -12 = -4*r + 4*z. Is g at most as big as r?
True
Suppose 3*m - 5*m = -14. Which is smaller: 6 or m?
6
Let a = -1 - -6. Let n(y) = y - 6. Let c be n(a). Let q = c + 0. Is -0.3 less than q?
False
Let l be 2/4*112/8. Let s = l - 9. Is -5 less than s?
True
Let d(l) = l**2 + 3*l + 4. Let x be d(-3). Suppose 8 = 2*h, 5*q + 26 = 4*q + 4*h. Let b = -5 - q. Is x bigger than b?
False
Let b = -1.2 - -1.3. Is b at least as big as -2/7?
True
Suppose 0 = -2*m - 1 - 1. Let q be 0/(-1) - (-1 - m). Let b = 158 + -1108/7. Does b = q?
False
Suppose -4*g + 3*p = -48, -2*g + 6 = -0*g + 3*p. Is g less than or equal to 9?
True
Let t = -104.21 - -105. Let s = 0.09 - t. Let v = s + 0.6. Is 1 smaller than v?
False
Suppose -3*v + 17 = 2*r, 3*r = 5*r - 2*v + 8. Which is smaller: -6/5 or r?
-6/5
Let p(w) = w**2 + 2*w - 1. Let s be p(-2). Let k = -0.31 + 0.01. Let o = k + -0.7. Are s and o unequal?
False
Let b = 1 + -1. Suppose -n - 3 + 1 = b. Which is greater: 0.1 or n?
0.1
Let h = 6.2 + -6. Let f = 0.05 - -0.25. Let q = f - h. Which is smaller: q or -6?
-6
Let t = 3 + -3.3. Let b = t - -0.3. Is b at most -1?
False
Let x = -2 - -4. Suppose -x*q - 20 = 3*q. Is -4 at least q?
True
Let g = 19 + 2. Let d be (-12)/g*(-4 + 2). Are 1 and d equal?
False
Suppose -2*m + 78 = -3*m. Is m at least -79?
True
Let x = -17 + 8. Let h = x + 6. Let b = h - -7. Is b at least 1?
True
Suppose -3*i - 89 = -4*p, -2*i + 24 = p + 76. Which is bigger: -26 or i?
-26
Let d be ((-12)/(-49))/((-68)/(-4522)). Is 17 equal to d?
False
Suppose 2*p + m = 5*m + 26, 12 = 4*p + 2*m. Suppose 2 = -p*j + 7. Let t = -117 + 1289/11. Which is smaller: j or t?
t
Let q be (-8)/2 - 5/(-1). Let a = -68 - -679/10. Do q and a have different values?
True
Let i = -55/3 + 59/3. Suppose -4*w - 6 + 14 = 0. Which is bigger: i or w?
w
Let y = -14 - -17. Suppose 22 = 2*z + 3*t, 8*z - 5*t - 80 = y*z. Is z != 14?
False
Let q be (-7 - 2)*(-36)/27. Is 12 > q?
False
Let q(o) = -o**3 - 10*o**2 - 9*o + 1. Let d be q(-9). Suppose -19 = -5*w + 11. Let b = 17/3 - w. Is d bigger than b?
True
Let n = -956/21279 + -2/519. Suppose 4*v - 2 = 3*t, 0*v = 2*v - 2*t - 2. Which is smaller: v or n?
v
Let j = 0.007 - 0.207. Let p(c) = -2*c**2 + 3*c**2 - 4*c - c - 6. Let t be p(6). Which is smaller: t or j?
j
Let p(y) = 3 + y**2 + 3*y - 3*y - 7*y - 5. Let o be p(8). Which is smaller: 5 or o?
5
Let q = 2/1052325 - 768080327/1052325. Let p = q - -731. Is p equal to 1?
False
Let m = 13 - 10. Suppose -7*o = -m*o. Which is smaller: o or 1?
o
Let y be ((-1)/4)/(-3 + (-162)/(-48)). Let s = -6 + 6.3. Let u = s + -0.3. Which is smaller: u or y?
y
Let a = 7949/281058 + 1/2022. Which is bigger: 1 or a?
1
Let k = 6 + -5.8. Is k less than -6?
False
Let p be 1*-1 + (-6)/(-8). Let g = -8/7 - -39/28. Which is greater: g or p?
g
Let x be (-1 + -1)/(4 - -1). Let u = 1.6 - 0.5. Which is bigger: u or x?
u
Let v be (2/12)/((-2)/889). Suppose 5*b + 19 = j + 392, 6 = -2*j. Let r = b + v. Which is bigger: r or 0?
0
Let r = 172/3 - 893/15. Let u(y) = 2*y - 5. Let d be u(5). Suppose -d*v = -o + 10, -5*v - 2 = 4*o + 8. Is v greater than or equal to r?
True
Let u = -911545/9 + 101462. Let s = u - 179. Is s smaller than 1?
True
Let b = 15 - 9. Let x = 5.8 - b. Let k = -9 - -7. Which is smaller: k or x?
k
Let y = -117 + 116. Is 10 at most as big as y?
False
Let n = 31/40 - 2/5. Which is smaller: n or -0.1?
-0.1
Suppose 1 = -2*d + b, -d + b = -0 + 1. Do 1/62 and d have different values?
True
Let q = -0.01 - -0.21. Is q at least as big as -4?
True
Suppose 0 = 6*v - v. Let i = -17 + 19. Suppose -3*p - 13 + v = -i*a, -3*a = -15. Is -1 less than p?
False
Let d = -13 + 10. Let c be 1*((-50)/6)/5. Which is smaller: c or d?
d
Let d = 42 + -41.6. Is 2/5 not equal to d?
False
Let v = 152/5 - 421/15. Is 0 >= v?
False
Let q = -4 + 11. Let b = -39 - -46. Is b < q?
False
Let b = 16 - 15. Let m = b - 1.1. Is m at most 0.2?
True
Let d = -34/91 + 2302/5187. Which is bigger: -1 or d?
d
Let f = -18 - -81. Which is smaller: f or 64?
f
Let o(k) = k**2 - 4*k - 1. Let h be o(3). Let y be (-4)/14 + (-122)/14. Let c = y - -4. Is c smaller than h?
True
Let a = 398/9 + -44. Let w = -3 + 5. Let i be w - (1/1 + 2). Which is greater: i or a?
a
Let w = 4 + -9. Suppose 0 = -5*f - 2*x - 17, -5*x = f - 5 - 10. Is w less than or equal to f?
True
Let a be -2*((-4)/(-8))/1. Which is smaller: -2/19 or a?
a
Let v = -1 + 0. Let g = 1.1 - 0.1. Let f = g - v. Are -2/7 and f equal?
False
Let k = 2246/17 + -132. Suppose 0 = 10*i - 30 + 40. Is i greater than k?
False
Let v = 0.08 + -7.08. Let i = v - -2. Does -1/2 = i?
False
Let n be ((0 + 1)/(-2))/1. Let s = -0.3 - -0.3. Let a = s + 0.7. Is a less than n?
False
Let r be 8/5 - (-20)/(-10). Let a = 28/9 + -169/63. Which is smaller: a or r?
r
Let p = -2/163 - 143/1630. Let f(g) = g - 1. Let v(r) = r**2 + 2*r - 3. Let l(z) = -4*f(z) - v(z). Let q be l(-7). Is p at most as big as q?
True
Let h = 11 + -11. Suppose -a - 2 = -h*a. Do -4 and a have different values?
True
Suppose 0 = -4*s + 9 + 7. Which is smaller: 1 or s?
1
Let x = -2/79 - 152/237. Let j = -3.5 - -3. Let d = j + 0.3. Is x > d?
False
Let w = 5/27 - -19/189. Is w < 0?
False
Let i = -4962/17 + 292. Let x be -4*((-9)/4 - -1). Suppose 1 = 4*z + x. Is i at least z?
True
Let g be 1/2 - 22/20. Let t = 0.02 + 0.28. Which is smaller: g or t?
g
Let z = 9 + -6. Let v = z - -1. Suppose m - 3*t + 2*t - 2 = 0, -4*t - 32 = v*m. Which is greater: -4 or m?
m
Let r be (1/96)/((-30)/40). Which is bigger: r or -1?
r
Let s = 373/605 - 2/121. Suppose 5*k + 1 = -3*u, -5*k = -u - 0*k - 7. Let v = 2 + u. Is v greater than s?
False
Let g(b) = -b - 4. Let c be g(-5). Which is greater: 5 or c?
5
Let l be (-9)/6*4/(-6). Let b = 49 + -242/5. Is l at most as big as b?
False
Let g = 4 - 4. Let v = -0.84 + -0.26. Which is smaller: v or g?
v
Let c be (8/14)/(6/(-12)). Is c at most as big as -2?
False
Let d = 2/1255 + -3869/65260. Which is smaller: -1 or d?
-1
Let u(h) = -h**3 + 4*h**2 - 3*h - 2. Let l be u(3). Let q = -1 + l. Let j be (q - -2)/((-2)/4). Is j less than 2?
False
Let f(t) = t**2 + 4*t + 4. Let z be f(-4). Let v be ((-6)/(-14))/(6/z). Which is bigger: v or -1?
v
Let s = -151/8 - -101/4. Which is bigger: s or 5?
s
Let i = 74 + -75. Let g = -0.2 - -6.2. Let j = g - 3. Which is greater: i or j?
j
Let w be 1 - (-12 + -1 + -2). Suppose -6*g = -2*g + w. Which is smaller: g or -2?
g
Suppose -f = 5*r - 22, -4*f - 4 = -5*r + 2*r. Is f greater than or equal to -1?
True
Let f be (8/(-6))/((-14)/21). Suppose f*o - 1 + 5 = 0, 4*a + 2 = o. Is a greater than -1/5?
False
Let z(d) = d**3 - 12*d**2 + d - 9. Let k be z(12). Is k greater than 4?
False
Let n(p) = p. Let j be n(4). Suppose -2*t - 12 = 4*z + t, -2*z - j = t. Which is smaller: 3/7 or z?
z
Let h(r) = 6*r**2 + 5*r - 5. Let j be h(1). Let w = 13.1 - 16. Let b = -3 - w. Which is greater: j or b?
j
Suppose -2 = -2*o + o. Suppose -2*c = -a - 8, 0 = 2*a - o*c + c + 4. Which is smaller: 1/5 or a?
a
Let y be 0/(-3 + -4 + 3). Is y > 1/2?
False
Let n(w) = 9*w + 1. Let x be n(-1). Suppose 2*a + 2*a + 96 = 0. Let i be 6/x - a/(-32). Which is smaller: i or 1?
i
Let b = -32 - -38. Is 3 > b?
False
Let k(j) = -j**2 + 16*j - 14. Let h be k(15). Are h and 1 unequal?
False
Let f be 3 - (6 + 3 + -6). Which is smaller: 1 or f?
f
Suppose 0 = -0*o + o + 4. Let q(r) = r**2 + 3*r - 3. Let i be q(-3). Which is bigger: o or i?
i
Let c be 2/(-15) - -88*5/1050. Are 0.1 and c nonequal?
True
Let w = 70/3 + -23. Which is smaller: w or 0.06?
0.06
Let q(s) be the third derivative of s**6/120 - s**5/20 - s**4/12 - s**3/3 + 2*s**2. Let a be q(4). Let r be 6/16*(-4)/a. Which is greater: -1 or r?
r
Let b = -108 - 13. Let r be ((-4)/4)/((-1)/b). Let p = 603/5 + r. Is 0 less than p?
False
Let y be (4/(-14))/(1/(-7)). Let u = y - 3. Which is smaller: -2/3 or u?
u
Let n be ((-8)/(-2) - 4)*1. Which is smaller: -2/323 or n?
-2/323
Let x = -66 - -66. Which is smaller: -43 or x?
-43
Let x be -2 - (1 + -2)*3. Suppose -5*z + 20 = -0*z. Suppose z*d + 12 = -3*n, -4*d - 2*n - 5 = 3. Which is smaller: d or x?
d
Let s