 273/8. Which is smaller: 0.1 or p?
0.1
Let a(l) = -l**3 + 7*l**2 - l + 9. Let f be a(7). Suppose 6*m - 4*m = -2*g + f, 4*m = -g + 16. Is g greater than 1?
False
Suppose -3*r - 21*r + r = 0. Is r < 6/817?
True
Let k = -1692/35 + 246/5. Let p = 0.19 + -65.19. Let u = p + 65.1. Which is bigger: u or k?
k
Let w = -149 - -170. Which is bigger: 31 or w?
31
Suppose 0 = 2*u - 12, -2*s - 2*s + 5*u - 22 = 0. Suppose -5*b - 8 + 3 = 0. Which is smaller: s or b?
b
Let a be (22 - 5) + -2 + 0. Suppose 3*u - a = -3. Let v be (4/(-10))/(u/60). Is -6 not equal to v?
False
Suppose -2*f - 2*y = -5 - 11, 2*y + 44 = 3*f. Let b be 1*(f - 1) + 3. Let i = -11 + b. Which is smaller: i or 2?
2
Let o = -2113 - -2092. Is 1/8 at most o?
False
Let s be (0 - 0) + (-505)/95 + 2. Is -3 at least s?
True
Let x be -8 + 9*12/18. Is x greater than -0.053?
False
Let c be (6 - 2)*-3*10/8. Let u be (-3)/c*((-34)/6 - -4). Is u bigger than -47?
True
Let l = -0.22 - 0.14. Let y = l - 19.64. Let f = y + 20.2. Is 2/9 greater than f?
True
Let p(r) = -r**3 + 6*r**2 - 2*r - 6. Let s be p(5). Suppose s = a + 2*a. Suppose 5*v = -2 - a. Which is smaller: v or 0?
v
Let d(l) = 7*l + 4. Let g be d(5). Suppose 0 = -2*o - q + g - 5, 0 = 2*o + 4*q - 40. Suppose -5*j + 4 = s + o, j = s. Which is smaller: -3/2 or j?
j
Let g be (-2)/4*(-22 + -2). Let p(z) = -z**3 + 9*z**2 - z - 1. Let d be p(9). Let c = d + g. Is 2 at most c?
True
Let b = 228 + -224. Let k be 2 - 1 - (-1 - 2). Is b at most as big as k?
True
Let r = 0.012 + -9.012. Let b = 0.7 + -0.9. Which is smaller: r or b?
r
Suppose -x - 2*x = -9. Let n be 11/(33/10) + -3. Is x > n?
True
Let d = 1128 - 1142. Is d != -165/13?
True
Let a = 436 - 460. Suppose -6*c = -3*c + 75. Which is bigger: a or c?
a
Let q = 3.7 - 1.49. Is q greater than 0.1?
True
Let w(l) = -5*l - 14. Let a be w(-6). Let s = 12 + a. Which is greater: s or 27?
s
Let u = 464/49 - 138589/14651. Are u and 0 nonequal?
True
Let u = -1.52 + 179.52. Let b = u - 132. Which is smaller: b or -1/2?
-1/2
Let l = 3373/2456 + 1/614. Let u(d) = -d**3 - 4*d**2 - 6*d - 2. Let m be u(-2). Are m and l equal?
False
Let n be ((-264)/(-16))/((-3)/8). Let b = 45 + n. Does -1/16 = b?
False
Let z = 477 + -1101. Is -623 greater than or equal to z?
True
Let f be (-504)/(-560) + 21/10 + -2. Let h = 89/5 + -17. Which is bigger: h or f?
f
Suppose -3*l = p + 2 + 10, 2*l = -p - 10. Let s be -9 + (-2 - (1 + p)). Let g be (-3)/120 - s/15. Which is greater: -1/3 or g?
g
Let a = 1351/119505 - 9/1285. Is 0 > a?
False
Let x = 227.6 - 228. Is x not equal to -1/8?
True
Let c be (-3 - 0)/(4/(-12)). Let h = c - 14. Let d = -12 + 6. Which is bigger: h or d?
h
Let s be (-1)/1*(2 - 5). Suppose -2*q = -4*m + 5*m, -5*q + s*m + 22 = 0. Let i be (1 + q)*(-8)/54. Is i greater than 1?
False
Let i(p) = -p**2 + 6*p - 3. Let f be i(4). Let j be 5/f + (27/(-30) - 0). Which is greater: -1 or j?
j
Let k = -0.4 + 3.6. Let p = -264 + 267. Let z = p - k. Which is smaller: -12 or z?
-12
Let i be 230/26 - (-12)/78. Let v(r) = -r**2 + 8*r + 2. Suppose -2*y + 9 = -5. Let a be v(y). Do i and a have the same value?
True
Suppose 108*u - 12 = 5*s + 109*u, 3 = -3*s - 2*u. Let r be ((-6)/(-2))/((-6)/8). Is s at least r?
True
Let i(w) = w**2 + 9*w + 3. Let b be i(-8). Let a = -6 + 12. Let m be 1 - (b - (3 - a)). Which is smaller: m or 1?
1
Let g = 35492/46473 - 4/2213. Which is greater: g or 2?
2
Suppose 155 = -9*p - 61. Suppose 5*x = 3*x - 20. Let l = p - x. Which is bigger: -15 or l?
l
Let a = 2.03 + -0.03. Let s = a - 1. Let y = -314.2 + 315.2. Is s < y?
False
Let h(c) = -6*c - 11. Let u be h(22). Is -141 greater than or equal to u?
True
Suppose -2*v - 4*j = -3*v + 6, 5*v = 5*j + 15. Suppose 4*u = -3*r + 15, -u = -5*r - 4*u + 25. Suppose r*x - 9 = v*x. Is x greater than 3?
False
Let s = -198 - -186. Do s and 0 have the same value?
False
Let i(j) = -15*j - 100. Let l be i(-7). Is 51 at most l?
False
Suppose 0 = -5*i + x - 63, i + 2*x + 6 = -0*i. Let h be (-90)/(-12)*(-4)/5. Which is smaller: i or h?
i
Suppose 3*q + 2*q = 15. Suppose 4*u + 1 - q = 3*b, 0 = -4*b - u + 29. Is 6 at most as big as b?
True
Let a(c) = c**3 + 5*c**2 + 4*c + 3. Let z be a(-4). Suppose -z*u + 2 = b, -5*u + 4*b = -0*u + 8. Suppose u = -4*n + 2*n. Is 1/17 at least as big as n?
True
Let o(b) = -b + 9. Let s be o(8). Let n be 1*(3/s - 2). Let r be 110*3/114 + -3. Which is greater: n or r?
n
Suppose 2 = 2*k - 0*k. Suppose a + 0*a - k = 0. Let h be (1 - 5/3)*18/66. Do h and a have different values?
True
Let c = -75 + 831/11. Suppose 4*j - 232*x - 4 = -234*x, j - 2*x - 6 = 0. Does c = j?
False
Let d = -0.072 - -0.06. Let p = d - 6.188. Let q = -3.2 - p. Is q less than 2?
False
Let x = 392 - 422. Is -0.05 smaller than x?
False
Let f = -10 - 10. Let b = f + 12. Let q = b + 6. Is -1 greater than or equal to q?
True
Suppose 5*p - u = u - 53, 0 = 3*p - 2*u + 35. Let b = 69/8 + p. Let y be 3/9 + 2/3. Which is smaller: y or b?
b
Suppose -4*w = 5*d + 284, 3*w + 280 = -5*d - 2*w. Which is greater: d or -62?
d
Let g = 62 - 60.3. Let d = 0.05 - 1.85. Let v = d + g. Is v bigger than -1?
True
Let u(w) = w**3 + 11*w**2 - 14*w - 12. Let l be u(-12). Suppose -l = -4*m + 20. Is 8 != m?
False
Suppose 5*p = -156 - 149. Let n = p + 43. Let j be n/(-27) + 28/(-6). Is j bigger than -8/3?
False
Let w = -0.01 - 19.99. Let f = -34 - w. Let d = 11 + f. Is 2/5 <= d?
False
Let k(l) = 3*l - 7. Let n be k(3). Suppose v = -1 + n. Let f = -215 - -1933/9. Which is smaller: v or f?
f
Let u = 1452 - 1451. Which is smaller: u or 686?
u
Let t(v) = -8*v + 0*v**2 - 8 - v**2 + 17. Let u be t(-9). Let m be 12/(-104)*(4 + u). Is m <= -1?
False
Let j(b) = -9*b**2 + 8*b**2 + 2*b - b. Let i be j(0). Let s = 120 + -118. Is s at most as big as i?
False
Suppose 0 = 5*w + 25, -3*r + 3*w + 79 = r. Is 194/13 at most r?
True
Let l = -1476/11 + 134. Let t = 27.8 - 27. Let z = 1 - t. Which is bigger: l or z?
z
Let d be (-1 - 1) + (-51)/17. Let q be (d/(-3))/((-16)/(-12)). Let s = -0.9 - -1. Which is bigger: s or q?
q
Let f = -148/29 - -415/87. Let p(c) = c**3 + 5*c**2 + c + 7. Let a be p(-5). Suppose -2 = -2*z + 2*g - 6, -a*z = -4*g + 6. Which is smaller: z or f?
z
Let b = -1675.2 + 1675. Is b != 1/87?
True
Let n be -133 + (-1 + -2 - (7 - 6)). Which is smaller: -138 or n?
-138
Let f(z) = z**3 - 9*z**2 + 9*z + 2. Let m be f(8). Let g be ((-2)/(-10))/((-8)/m). Suppose -s + 2*l + 9 - 2 = 0, 0 = -4*s + 5*l + 19. Which is bigger: g or s?
s
Let s = 224 + -2461/11. Is 0 less than or equal to s?
True
Let s(r) = -2*r**2 + 15*r - 3. Let x(f) = -f**2 - 12*f + 7. Let z be x(-12). Let k be s(z). Is k > 13/5?
True
Let g(p) = 58*p + 8. Let r be g(-1). Is r less than or equal to -49?
True
Let h(u) = 2*u + 1. Let s(r) = -3*r - 1. Let t(d) = -5*h(d) - 6*s(d). Let i be t(3). Is i less than 25?
False
Let o = -21594/2495 - -101562666/11499455. Let v = 2/419 + o. Let s = -4.7 - -5.7. Which is smaller: s or v?
v
Let m be (1/(8/6))/((-6)/148). Let q = m + 113/6. Is -19 greater than q?
False
Let l be (-20)/(-39) + 4/(-6). Suppose -u + 9*w = 7*w - 7, -w + 1 = -5*u. Which is smaller: u or l?
u
Let n = 317 - 306. Let z = 3 + -3.5. Let b = z - -0.5. Which is smaller: b or n?
b
Let c = 40 - 31. Suppose 0 = -2*x - 3*j + 9, -x - 2 = -2*x + j. Suppose 3 = -x*v + 33. Which is smaller: v or c?
c
Let m(j) = -j + 2. Let f be m(-2). Suppose 5*n = n + 20. Suppose n*a - 12 - 13 = 0. Is a < f?
False
Suppose 7*f - 123 = 507. Which is smaller: 91 or f?
f
Let r = 492 + -492.076. Is r at most 3?
True
Let c(u) = u + 2. Suppose 0 = -3*y + 7*y + 12. Let n be c(y). Let b = 753 + -754. Is b bigger than n?
False
Let x(h) = -124*h**3 - h**2. Let o be x(-1). Let n = 113 - o. Which is bigger: -32/3 or n?
n
Suppose 5*s + 6*c - 2144 = 3*c, 3*s + 4*c - 1282 = 0. Is s smaller than 430?
False
Let x = -13700/4557 - -151/49. Which is greater: x or -1?
x
Let v = 601 + -601. Which is bigger: -2/313 or v?
v
Let i = 0.8 - 0.3. Suppose -2*k - 2 = -4, -4*m + 214 = -2*k. Let n be (1/3)/(-3*24/m). Which is smaller: n or i?
n
Let o = -6 + 16. Let s be -2*(-5)/(o/141). Let l = s - 1271/9. Are l and 0.06 equal?
False
Let p(x) = x**3 + x - 2. Let c be p(0). Let g be (-15)/c*2/3. Suppose -17 - 8 = g*z. Do z and -6 have different values?
True
Suppose 4*o = 3*o - 4*z + 14, 2*o = 4*z - 32. Let c(h) = h**3 + 