 - 19. Let l be b(7). Suppose 3*f + 19 = -3*i + i, -10 = -l*f. Which is smaller: i or k?
k
Let j = -0.05 + -0.01. Let o(k) = -k**3 + 10*k**2 - 9*k - 2. Let w be o(9). Is w at least j?
False
Let u = -104 + 50. Is u at least -267/5?
False
Let j be ((-1)/(-3))/(3/(-9)). Let o = -732 + 808. Which is smaller: o or j?
j
Let v(b) = 3*b**2 + 99*b + 7. Let k be v(-33). Is k >= -10.2?
True
Let b be 2 + -1 + 2/(-2). Suppose b = -f - 1 - 3. Let s(o) = -2*o + 3. Let h be s(5). Is f equal to h?
False
Let x = -128 - -180. Let s = x - 33. Which is smaller: 17 or s?
17
Let g = -3 + -4. Let n be (-90)/(-21) - (-2)/g. Let t = 18086 + -18083. Is t > n?
False
Let c(b) = b**3 + 4*b**2 - 6*b - 1. Let r be c(-5). Suppose -r*l = 4 + 4. Let j be -4*(-3)/(-3) + (4 - 3). Is j at least as big as l?
False
Let q be 64274650/7218 + (-2)/(-9) - 1. Let z = 8904 - q. Is z greater than -1?
True
Let o = 51 + -18. Suppose 19 + o = -2*b. Let g = b + 30. Which is greater: 0 or g?
g
Suppose 3*c + 3 = 15. Let g be (-6)/(-4)*c/21. Which is bigger: g or -3?
g
Let g = 203 - 193. Do g and 0 have different values?
True
Let r(p) = -2*p - 8. Let s be r(-5). Let u be s + ((-320)/(-15))/(-4). Which is greater: u or -3?
-3
Let u(s) = s**3 - 2*s**2 - 6*s + 1. Let h be u(4). Let g = 8 - h. Let b be ((-3)/(-4))/((-17)/(-68)). Do g and b have the same value?
False
Let m = 121 - 131. Does -7 = m?
False
Suppose -2*q - 25 = -2*v + 55, 2*v + 5*q - 108 = 0. Let p = v + -39. Are p and 5 nonequal?
False
Let x be 2/11 + 12444/1980. Let q = x + -29/5. Is 1/5 greater than q?
False
Suppose -4*z + 12 = 0, -97 = -k + 3*z - 294. Which is greater: k or -3?
-3
Let h(k) = -7*k - 8. Let y be h(-4). Suppose 2*u + 3*u = -y. Suppose -10 = -f - 14. Is f > u?
False
Let y be (-30)/(-4)*2/3. Let r = 857 - 852. Is r smaller than y?
False
Suppose 18 = -6*y + 18. Suppose y*m + 2*m = -3*r + 25, -3*r + 19 = -m. Let x(b) = b**3 - 5*b**2 + 2*b - 2. Let c be x(5). Are c and r nonequal?
True
Let w = -115/3 - -245/6. Let h(s) = s**2 + s - 2. Let i(d) = -d**3 + d**2 - 3. Let l be i(0). Let b be h(l). Is b > w?
True
Let k be -6 + (-464)/(-236) + 4. Is 2/11 at least as big as k?
True
Suppose 47*p - 42*p = 30. Which is smaller: 5 or p?
5
Let d = 154.23 + -152. Which is bigger: d or -0.1?
d
Suppose -2*k + 2 = 2*a, -3*k - 5*a + 1 = -0*k. Suppose -7 = 3*z + 5*p + 6, -12 = k*z + 5*p. Let g = 244/3 - 82. Is g at most as big as z?
False
Let j be 3120/(-364)*(-14)/(-4). Are 1 and j nonequal?
True
Let y(g) = 3*g**3 - 8*g**2 + 9*g - 5. Let k(c) = c**3 - c**2 + c. Let z(w) = 2*k(w) - y(w). Let a be z(5). Let i be 31/(-4) - (-3)/4. Which is smaller: a or i?
i
Suppose 0 = -o + 3*o - 8. Suppose 0 = -y - 4*y - 2*b + 74, 0 = -o*b + 8. Let d be (-224)/539 + 2/y. Is -1 greater than or equal to d?
False
Let f be (-5)/15 - 367/(-3). Let k be (-2)/(-12) + f/(-12). Let a = 10 + k. Which is smaller: -1/4 or a?
-1/4
Let y(u) = -u + 58. Let z be y(12). Suppose -7*r + z = -2*x - 5*r, 0 = 4*x + r + 92. Which is smaller: -20 or x?
x
Let t = 0.07653 - 104.30653. Let a = t + 103. Let h = a - -0.13. Which is greater: 0.2 or h?
0.2
Let p be ((-28)/(-16) + -1)*-44. Suppose -4*g + 2*g + 70 = 0. Let s be -3 - g*3/p. Are -0.1 and s nonequal?
True
Let g be 0/(-1)*(6/3)/6. Let m = -125/3 - -41. Let b = m + 5/12. Is b less than or equal to g?
True
Let a(f) = -f**2 - 11*f - 5. Let m be a(-10). Let o = -106 - m. Let p be (-3)/(-4) - o/(-180). Is 1 less than or equal to p?
False
Let p be ((-48)/18)/(4/(-6)). Suppose -3*c - p = -c. Let u = c + 0. Which is smaller: -2/3 or u?
u
Let c = 245.9 - 259. Let h = c - 0.9. Is -0.1 < h?
False
Let n = 26.024 + -0.024. Let g = -26 + n. Which is bigger: g or 6/7?
6/7
Suppose 0 = 2*j + j + 5*z + 154, 5*j = z - 210. Let y = j + 46. Let i be (-1 - -1) + 3/2. Is y bigger than i?
True
Let d = 6.18 - 0.68. Let o = 9.5 - d. Which is bigger: -2 or o?
o
Let j = 574.1 + -574. Which is bigger: j or -2/425?
j
Let s = -11411/15 + 761. Let n be 1/(-2)*(-5 + 5). Suppose n = 18*t - 14*t. Which is smaller: t or s?
t
Let x = 1555 + -2620. Is -1/3 equal to x?
False
Let o(m) = 23*m - 4. Let i be o(4). Let k be -30*1/(-272)*-4*-200. Let a = k - i. Which is smaller: 1 or a?
a
Let z be (-3)/((-7 + -5)/(-4)). Let c be (3 - 0) + (-1221)/405. Is z greater than or equal to c?
False
Let x be 2/2 - 5 - -6. Suppose -3*y = -4*t + 33, -2*y = -x*t + 3*t. Which is smaller: t or 20?
t
Let l be (-3)/9 + 86/132. Let k = 2/11 + l. Suppose -3*h - 2*x - 4 = 0, -3*h + 4*x = 2*h - 8. Do k and h have different values?
True
Let x = -346 + 375. Let l(a) = 26*a**2 + 2*a - 1. Let d be l(1). Which is bigger: x or d?
x
Let v be (-3)/(6/(-8)) - 16. Let i = v - -19. Is -1 at least as big as i?
False
Let q = -903 - -647. Is q at most -256?
True
Let m be 4 + (-6 + 88/12)*3. Which is greater: m or 7?
m
Suppose -27 = 30*k + 3. Let s be -3 + 3 - 16/10. Is k <= s?
False
Let b = -118 - -69. Let u = 35 + b. Let v = u - -156/11. Which is smaller: v or -1?
-1
Let y = 13.78 + 0.22. Let o(s) = -s**2 + 3*s + 16. Let h be o(6). Which is smaller: y or h?
h
Let m = 1942 + -3883/2. Which is bigger: 0.1222 or m?
m
Let o = 0.103 + -5.903. Is o bigger than 0.3?
False
Let p(l) = l**3 - 5*l**2 - 5*l - 4. Let b be p(5). Let u = 158 + -188. Does b = u?
False
Let u = -2 + 0. Let n = 2 + u. Let c = 10.379 + -8.679. Which is smaller: n or c?
n
Let o = 111 - 109. Let c = 20.91 + -21. Is c less than o?
True
Suppose -26 + 15 = 11*v. Is v bigger than -5?
True
Let b = 1 - 1.4. Let n = -120.2 - -120. Which is bigger: n or b?
n
Let h be (-22)/33 - (-2167)/12. Let j = h - 180. Let p = -5/12 - j. Is p smaller than -0.5?
False
Let j = -5.06 + 5.16. Which is smaller: j or 143?
j
Let v = 16 + -16. Let t = 674/301 - 16/7. Which is smaller: t or v?
t
Suppose 5*w - 156 = -w. Let u = w + -26. Suppose 3*t + 4*x = 14, -4*t + x + 3 - 16 = 0. Which is greater: t or u?
u
Suppose -4 = -5*x + 4*y, 2*x + 4*y + 14 - 38 = 0. Let u be 525/49 - x/(-14). Does u = 61/5?
False
Let f = 4.35 + -3.95. Is -19 not equal to f?
True
Let w be (-5)/(-6) + (78/36)/13. Is w greater than or equal to 1/10?
True
Let g be (-3 + 1)*((-9554)/(-595) - 16). Let z(r) = r**3 - 5*r**2 + 5*r - 3. Let i be z(4). Is i equal to g?
False
Let n be -1 + 2 - 2/8. Let g(o) = -3*o - 16. Let p be g(-6). Let d be ((-6)/3 - -3)*p. Which is smaller: d or n?
n
Suppose 304 = 30*i - 22*i. Suppose -i*y + 41*y = -96. Is y != -33?
True
Suppose 4*w - 28 = -12. Let c be (w/(-186))/((-3)/(-9)). Is c at most -1?
False
Let r = -36 - -2. Let i = 33.8 + r. Let l = -3 - -4. Which is smaller: l or i?
i
Let q = 23347.22 + -23160. Let o = q + -189. Let u = o + -0.22. Which is smaller: u or 0?
u
Suppose 30 = -i + 57. Let x = 29 - i. Which is smaller: 21/8 or x?
x
Let i = 167 + -1170/7. Which is greater: i or 212?
212
Let t(c) = -18*c - 300. Let a be t(-23). Which is bigger: 116 or a?
116
Let r(u) = -3*u**3 + 7*u**2 + 5*u + 4. Let t(l) = 4*l**3 - 6*l**2 - 4*l - 4. Let p(w) = -5*r(w) - 4*t(w). Let f be p(-10). Let b = f - -14. Is 5/6 <= b?
False
Let h = 25.9 + 4.1. Let q = 54 + -87. Let l = q + h. Is l bigger than 1?
False
Suppose -35 = 2*c - 33. Let b = 631 + -19563/31. Is b at least c?
True
Let v = 6 + -5.7. Let n be ((-257)/(-3))/(-7 - 0). Let l = n + 38/3. Are l and v equal?
False
Suppose 8*s - 6 = 9*s + 5*f, -4*s - 3 = -f. Let j = -45/182 - -6/13. Is j not equal to s?
True
Let b(k) = 2*k - 2. Let q be b(-1). Let u be 2/q*(-7)/(427/2). Which is greater: 0 or u?
u
Suppose 3*v - 15 = -9. Suppose h = -0*h - v*h. Which is bigger: 1/9 or h?
1/9
Let o be 6/99*(-16 + 17). Is o >= 17?
False
Let x = 30 - -61. Suppose 48*y + x = 55*y. Let l(z) = -8*z - 2. Let r be l(-2). Is r smaller than y?
False
Let g = -90/77 - -16/11. Let n(w) = w**3 + 19*w**2 + 20*w + 36. Let c be n(-18). Let d be 1 - (c - 4 - (-1 + -3)). Are g and d unequal?
True
Let y(o) = o + o - 3*o + 1 + 3. Let c be y(2). Suppose -f + 1 = 2*g - 3, -c*f + 8 = -4*g. Which is greater: g or 1?
1
Let p be -169*(5 + -3) + 10. Is p less than -330?
False
Let s = 103 - 106.1. Let t = 3.5 + s. Do t and -8 have the same value?
False
Let c = 1.8 + -1.82. Let y = 0.12 - c. Let i = -0.04 + y. Which is bigger: -19 or i?
i
Let o = 10 + -5. Suppose -v + o = -3*b, 4*b - 2*v = -0 - 6. Let n(i) = -i - 10. Let f be n(-8). Is b less than f?
False
Let h(u) = -5 + 1 