 o be b(-8). Let y be ((-69)/(-12) - o) + -3. Let z be 4 + ((-3 - -2)*3)/1. Are z and y equal?
False
Let c = 226 - 227. Let s = -2.01 + 0.01. Let t = s - c. Are -2/7 and t nonequal?
True
Suppose -2*b - 56 = z, 5*b - z + 250 = 96. Which is greater: -31 or b?
b
Let y = 328 + -328. Which is greater: y or -31?
y
Suppose -f - 203 = -3*m, -48*m = 4*f - 44*m + 860. Which is smaller: f or -214?
-214
Let g = -278/99 - -4/495. Which is smaller: g or 0?
g
Let j = -77/5 - -15. Let y(g) = g**3 - g**2 - 1. Let i be y(2). Suppose -7 = 5*l - 2*d + i, -15 = 3*l - 3*d. Is l less than j?
False
Let z be 2 + -3 + (0 - 0). Let d be (2 + -9 + 6 + -3)/2. Which is smaller: d or z?
d
Suppose 0 = 10*y - 0*y - 40. Suppose 4*i - 8*r = -12*r - 12, 4*i - y*r = 4. Which is smaller: i or 1/30?
i
Let v = -20 + 20. Let d be 2/(-6)*1*(-72)/120. Do d and v have different values?
True
Let d be 153/36*66/3572. Let a = d - -1/152. Let n = -63/188 + a. Is n less than -1?
False
Let i = -8.17 - -7.8. Let m be (-1)/(-4) - (-504)/(-224). Is i <= m?
False
Suppose -2*j - 26 = -3*j. Let t be 10/(-65) - 204/j. Let z = 11 + t. Which is smaller: z or 1?
1
Suppose 3*w = -3*b + 9, 4*w + 3 + 1 = 0. Suppose 0 = -b*m + 20, -125 = 5*f - f - m. Let i = 31 + f. Is 2/31 not equal to i?
True
Let q be -61*(0 + (-5)/(-70)). Are q and -3 non-equal?
True
Let d = -209 + 396. Which is smaller: 188 or d?
d
Let c = -1675 + 1676.5. Is c less than -9/4?
False
Suppose 5*w = -2*i - 3, -9 = 5*i - 4*w + 15. Suppose 0 = -5*o + 10*o. Suppose o = -4*j - 6*j - 30. Is j less than i?
False
Let a = 390 + -217. Is 172 <= a?
True
Let n = -763 + 754. Let l(k) = k**3 - 3*k**2 + k + 3. Let a be l(3). Let t be 8/a*n/(-26). Which is greater: t or -1?
t
Suppose 4*t - 46 = -j, -44 = 3*j - 5*t - 165. Is 253/6 >= j?
True
Let x = -765495 + 89562349/117. Let j = x + 60/13. Let s(r) = r**3 - r**2 + r + 6. Let b be s(0). Is b < j?
False
Suppose 261 = 7*y + 912. Which is bigger: -10 or y?
-10
Let i be (-70 + (-3 - 2))/((-14)/4). Which is bigger: i or 22?
22
Let f = 4.4 + -118.4. Let l = 98 + f. Is 2/3 smaller than l?
False
Let h(f) = 14*f - 701. Let d be h(50). Which is bigger: d or -1/953?
-1/953
Let k = 155/16 + -43213/4464. Is 1 bigger than k?
True
Let d be (4/(-154))/(-18 + 23 + 17). Is d < 0?
True
Suppose 967*i + 832 = 980*i. Which is greater: 63 or i?
i
Let b = 56513/30 + -1884. Let f = -2/5 - b. Suppose 0 = 89*g - 93*g. Which is smaller: g or f?
f
Suppose 0 = -4*v - h - 4, 5*v - 2 = -4*h + 4. Suppose -7 + 13 = 2*t. Suppose 2*j = -2*z - 8, -2*z - t*j - 8 = -8*j. Which is greater: v or z?
v
Let k be (0*(-3)/(-12))/(18/9). Does k = -4.66?
False
Suppose -2*j - 180 = -14*j. Is -0.2 less than j?
True
Let w = -1892 + 1892.0268. Are w and 0.2 equal?
False
Let b be 1 - ((-13)/(-57) - 8/(-76)). Is 237/5 less than or equal to b?
False
Let p(i) = -i**3 + 4*i**2 - 4*i - 1. Let x be p(2). Let w be x + ((-61)/(-11) - 4). Is w < 0?
False
Let a = -103067/84 + 1227. Let d = -1 + 2. Are d and a non-equal?
True
Suppose -2 - 6 = 8*v. Is 2/903 equal to v?
False
Let t = -29 + 206/7. Suppose -3 = 2*u - 5. Are u and t non-equal?
True
Let q = -249 - -248. Is q != -1/1799?
True
Let a(m) = -2*m**2 + 12*m + 12. Let f be a(7). Let h be (-27)/(-4) + 1/4. Which is smaller: f or h?
f
Let i = -0.1 + 0. Let f(y) = 2*y - 18. Let h be f(12). Let j be (h/(-16))/(0 + (-18)/12). Which is bigger: j or i?
j
Let t be 0/((-12)/4) + 3. Suppose 0 = -4*w + 19 + 9. Let u = 10 - w. Is t less than u?
False
Let b be 4640/(-64) - (-2)/(-4). Is -78 greater than b?
False
Let i be (-116)/522 - 6/(-27). Which is greater: i or 2/235?
2/235
Let b = 0.3104 - 0.3104. Let n = 1.025 + -1. Which is greater: n or b?
n
Let p be (-1 - 2)*(-24)/4. Let j = p + -14. Suppose -5*f - l + 3*l = -21, j*f - 3*l = 14. Is f at least 5?
True
Let n(z) = z**2 - 8*z. Let f be n(12). Let c = -80 + f. Is c at most as big as -31?
True
Suppose 0 = 7*p - 4*p - 9. Suppose -1 = -v, 4*i + 0*v + 5*v = -p. Is i > -12/5?
True
Let m = 16.9 - 16.8. Is -38 greater than m?
False
Suppose 5*d - 3*w = 236, -2*d - w + 89 = -4*w. Let m = d - 57. Which is greater: m or -9?
m
Let a(t) = -19*t - 242. Let j be a(-34). Is 404 < j?
False
Let f = 37 + -21. Let w be 0/(-1)*8/f. Is w smaller than 2?
True
Let a be 3/(-1)*(-19)/18 - 2. Let p = -16 + 16. Is p > a?
False
Suppose -2*z - 3 = -q, 3*z = 4*z - q + 3. Is z < -2/241?
False
Let s = 18656/65 + -287. Which is smaller: -1 or s?
-1
Let l be ((-6)/(-24) + (-301)/(-12))*(-75)/(-900). Let v(f) = f**3 + 2*f**2 - f + 1. Let t be v(-2). Do l and t have different values?
True
Suppose 4*n - 3*b = -16, -5*n - 4*b + 8 = -3. Do 1/98 and n have different values?
True
Let f be ((-292)/3)/((-14)/(-6)). Let v = 42 + f. Suppose 4*t + 23 = -3*q, 60*q - 2*t = 58*q + 8. Is q != v?
True
Let g = 146 + -95. Let v = 50.9 - g. Which is smaller: 1.7 or v?
v
Let q(i) = -4*i**3 + 11*i**2 + 3*i. Let f(z) = 7*z**3 - 21*z**2 - 6*z. Let s(l) = 3*f(l) + 5*q(l). Let h be s(8). Let u = h - -22. Is u bigger than -7/3?
True
Let b = -26 + 14. Let c = b + 17. Suppose 0*s + 8 = c*r + 2*s, r + 4*s = 16. Are r and 0 equal?
True
Let d = 317 - 394. Is -78 smaller than d?
True
Let g be 2/2 - 5/(-90)*-23. Is 1 != g?
True
Let l = -503/3 - -173. Suppose -5*m - 10 = 6*p - 11*p, -4*p + 29 = 3*m. Is l greater than or equal to p?
True
Suppose -3*l - 14 = 4. Suppose 0 = -7*n + 70 + 56. Let q = l - n. Is q at most -24?
True
Let x = -135.15 + 135. Is 23 != x?
True
Let q(s) = s + 2. Let m be q(-4). Let c = -2297/1505 + 21/215. Do m and c have the same value?
False
Let u(s) = 2*s**2 - 26*s - 97. Let o be u(16). Is 3/76 bigger than o?
True
Let c = -77 - -97. Let q(s) = s**2 - s - 2. Let x be q(-3). Let p be x/c*(-2)/3. Which is smaller: -1 or p?
-1
Let o(i) be the second derivative of -i**3/6 + 11*i**2 + 14*i. Let s be o(3). Is s smaller than 18?
False
Let b = -39995/36 + 1111. Which is smaller: b or 0?
0
Let o = -6941.46 + 6856. Let l = o + 84. Let n = l + 1.5. Are -1/4 and n nonequal?
True
Suppose 3*d = -r - 9, -d - 3*r - 3 = -0*d. Suppose -n - 3 = -o - o, 3*o + 4*n = 10. Suppose 5*m - 18 = o*v, 0 = 4*v - 3*m + 22 - 0. Is v greater than d?
False
Let t(u) = u + 9. Let j be t(-6). Let w = -2 - -2. Let y = 0.1 + w. Are y and j equal?
False
Let m = 70/39 + -58/13. Let g be 5*((-36)/(-15) - 2). Suppose 5*j + 35 = -9*a + 4*a, -j - g*a = 11. Is j bigger than m?
False
Let l = 7 + 267. Let g be ((-186)/(-63))/(2/(-186)). Let i = l + g. Is -1 less than or equal to i?
True
Let h(t) = -8*t**2 - t + 19. Let r be h(5). Which is smaller: -185 or r?
r
Suppose 32 = -q - 3*q. Let l be 1 + ((-20)/q - 1). Let k = l + -7/3. Which is smaller: k or -1?
-1
Let a be (-6)/10 + 1 + 182/(-560). Which is smaller: 0.1 or a?
a
Let d = 2614 + -2621.7. Is 9 greater than or equal to d?
True
Let v be 1128/(-96) + 3/4. Which is smaller: v or -6?
v
Let q(x) = -2*x - 1. Let d be q(2). Let r = 19 + d. Let m be ((-28)/(-8))/(1/4*1). Is m less than r?
False
Suppose -415*m + 425*m = 0. Is -1/68 at least m?
False
Suppose 0 = -0*c - 14*c + 1092. Do c and 73 have different values?
True
Suppose -h - 1 = -0. Let c be (-2)/2 + ((-13)/5)/h. Which is smaller: c or 2?
c
Let b be 2/(4/2) - -1. Let c be 0 + (4 - b - 1). Let d = c - 5. Are -4 and d non-equal?
False
Suppose 0 = -v - 0*v - 6. Let f = 1259 + -1266. Which is greater: v or f?
v
Let i(x) = -x**2 - 11*x + 10. Suppose 3 = q - 3*a + 24, a - 27 = 2*q. Let m be i(q). Is -2 at most as big as m?
True
Let u(z) = 51*z + 45. Let l be u(-5). Let t = -16 - 12. Let m be (-8)/(-6)*l/t. Is m greater than 9?
True
Let v = -1171/13 - -90. Let c be (-42)/(-8) - 2/8. Suppose -h + c = -g, -4*h + 2*g + 2 = -8. Is v < h?
True
Let j = -0.07 + 2.07. Suppose 4*b - 5 = 35. Let u be b/(-30) - 1/3. Are j and u non-equal?
True
Let x be (8/14)/((-126)/343). Are x and -3 non-equal?
True
Let w(i) be the first derivative of i**2 - 4*i + 2. Let l be w(3). Let n be (0 - -3)/6*-2. Which is smaller: l or n?
n
Let n(m) be the second derivative of -m**4/6 + m**3/2 - m**2 - 5*m. Let h be n(2). Suppose 5*o - 3*o + 8 = 0. Is o > h?
False
Let y be (-7 - -9)*((-15)/(-6) + -2). Which is greater: 4/815 or y?
y
Let a be ((-45)/12 + 3)/((-390)/(-208)). Suppose 3*n + x + 0*x = 7, -3*x = -3. Let h be -1*(2 + 0)/n. Is a equal to h?
False
Suppose 3*v = 4*v - 2. Suppose -v*f + 5*g - 