ess than or equal to -2/5?
True
Let o(f) = -342*f - 3008. Let d be o(-8). Is -267 <= d?
False
Suppose 0 = 4*w - 4. Let f be (-1)/(4/(-5)) + (-1344)/256. Let o be f/28 + (-174)/(-336). Is w at most as big as o?
False
Let v = -37 + 37. Suppose -p + 5 = -v*p. Suppose 3*d - 26 = -2*s + 7*d, 4*s = p*d + 40. Is s less than 4?
False
Let m(y) = -2*y**2 + 25*y - 24. Let p be m(11). Let w(x) = -x**2 + 18 + x + 6*x + 0*x. Let r be w(p). Which is greater: -9 or r?
r
Let a = 193 - 191. Suppose 3*k + 52 = l, 0*k - 5*k + 300 = 5*l. Which is bigger: a or l?
l
Let n = -4 + 1.4. Let m(k) = -7*k + 21. Let a(u) = u**2 + 2*u - 5. Let o be a(2). Let w be m(o). Is w >= n?
True
Let s(l) = -121*l + 81. Let c be s(26). Which is bigger: c or -3064?
-3064
Let x(f) = 9*f + 812. Let q be x(-62). Is q != 250?
True
Suppose 0 = -9*f - 4*f + 4*f. Let r = -634 - -128703/203. Which is greater: r or f?
r
Let a(z) = -7*z**2 + 171*z - 1782. Let l be a(11). Is l equal to -749?
False
Let l = -4860 - -4092. Which is smaller: -767 or l?
l
Let a = 329 - 329. Let b be (-21)/210 - (a - (-61)/(-10)). Which is smaller: 88/15 or b?
88/15
Let h = -14 - -13. Let l be 4/(-10) - (-5)/(-75)*129. Let v be (-6)/(-8)*l/(-54). Which is bigger: h or v?
v
Let b(d) = -d**2 - 2*d + 40. Let m be b(4). Let f(u) = u**2 - 4*u + 3. Let w be f(3). Suppose w = 2*a + a + 2*x - 53, 2*a = 5*x + 10. Which is smaller: a or m?
a
Let b = -56 - -168. Suppose -b = -29*p + 36*p. Is 6 greater than or equal to p?
True
Suppose 59*g = 56*g + 6. Let t be g/(-13) - (-264)/26. Suppose -t + 10 = 5*l. Is l not equal to -2/65?
True
Let o = -25 + 14. Let y = 449 + -447.045. Let z = -0.045 - y. Which is smaller: z or o?
o
Let z(v) = -65*v + 4484. Let m be z(69). Do 8/1361 and m have the same value?
False
Let d be ((-3)/(-5))/(1571479/3185). Is 1 at most as big as d?
False
Let q be 4/(-10) + (324/(-15))/(-4). Suppose -4*t + 3*u - 63 = 8*u, 0 = t - q*u + 22. Which is greater: -19 or t?
t
Let r = 441 + -63. Let x be 9/(-15) + 702/39 + -17. Is r greater than or equal to x?
True
Let t = 0.6529 + -0.2529. Does t = 95.9?
False
Let h = 296 + -1386/5. Suppose -t + 23 = 2*d, 3*d + t - 488 = -446. Is d at least as big as h?
True
Let v(l) = -l**2 + l + 3. Let u be v(3). Let i = 4 + u. Let q = -6684/17 + 80191/204. Is q not equal to i?
True
Let d(w) be the third derivative of 0*w - 1/12*w**5 + 11*w**2 - 7/6*w**3 - 5/24*w**4 + 1/120*w**6 + 0. Let h be d(6). Is h at most as big as -1/13?
True
Suppose -z + 4 = 2*y, -3*z + 4*y + 33 = 11. Let a be 3 + 39/z + (-2)/(-4). Suppose 2 = 4*h - a. Is h > 5?
False
Let t = -38 + 35.9. Let c = -1039 + 464. Let u = -1724/3 - c. Which is greater: u or t?
u
Let u(g) = g**2. Let v(x) = x**3 + 6*x**2 + 10*x - 13. Let b(q) = 2*u(q) + v(q). Let d be b(-6). Is -2 <= d?
True
Let m be (-724)/543*6/8. Let y = -63/62 + 1. Which is smaller: y or m?
m
Suppose -4 = -2*u + 4*u. Let t be (u - (-55)/22)/((-2)/68). Is t not equal to -69/4?
True
Let z = -8958 - -8957. Is -193/8 > z?
False
Let o = -1.40088 + 0.20088. Is 0.817 less than or equal to o?
False
Let c(j) = -35 + 86*j - 78*j - 14 + j**2. Let n be c(-12). Is n < -4/111?
True
Let a be ((-360)/70)/(20/(-42)). Let g = 31 - 20. Which is bigger: a or g?
g
Let n = -26557 + 38914. Is n less than or equal to 12357?
True
Let l(o) = 17*o - 19. Let f = 194 + -193. Let u be l(f). Which is smaller: -8 or u?
-8
Suppose 290 = 8*a - 3*a. Let p = a - 54. Let m be (8/114)/(((-80)/(-6))/p). Which is bigger: m or -1?
m
Let n(d) = -4*d**2 - 10*d + 28. Let k be n(-4). Is 26.6 > k?
True
Let x be (-320 - -316)*(3/(-6) - 0). Is x at most 56/99?
False
Let l = 5594 + -2706. Let g be (-11*2)/((-19)/(l/32)). Which is bigger: g or 105?
105
Suppose -4 = 5*j - j. Suppose 5*d + 81 = 3*u - 500, 0 = u + 3*d - 203. Let x = -1573/8 + u. Is j at most as big as x?
True
Let c be (31716/8)/9*2. Suppose -22*f - 1253 = c. Are f and -2/5 equal?
False
Let g = -2.6 + 4.3. Let u = -418485.78 - -418486. Which is greater: g or u?
g
Suppose 2*a = 6958 + 7927 + 6641. Is a >= 10762?
True
Let k = 1883.2 - 1935.2. Which is smaller: -0.039 or k?
k
Let w be (-128152)/(-684) + (-6)/(-27). Let x = 10503146/55993 - w. Let i = x - 50111/17682. Are i and -4 equal?
False
Let l = -22130.138 + 22112. Let f = l + 0.138. Are f and -0.1 nonequal?
True
Let x be (0 + 1 - -32)*1. Suppose -1330*q = -51861 + 5311. Which is smaller: q or x?
x
Suppose 4*i - 224 = -4*p, -12*p - 167 = -15*p - 4*i. Suppose p*w - 60*w = -v - 38, -25 = -5*w. Which is bigger: -5 or v?
-5
Let c = -1/4805 + 809/193161. Let n = c - -2539/119595. Which is smaller: n or -1?
-1
Let p(b) = -750*b - 75 + 1513*b - 747*b. Let g be p(5). Which is smaller: g or 11?
g
Let k(s) = s**3 - 4*s**2 + 5*s - 2. Let c be k(2). Suppose f - 10 + 12 = c. Let z be (18/f)/(-5 - 9). Which is greater: 0 or z?
z
Let l be -6 + 6 + -2 + -69. Let z = l - -67. Are z and -0.11 non-equal?
True
Suppose -2*o = -p + 348, 6*p - 2*o + 1412 = 10*p. Do p and 349 have the same value?
False
Let a = -1/605 - 1751/38720. Is 2 greater than a?
True
Let c = -60 - -52. Let b be 3 + -1 + 4*4/c. Let d be b - 1*(-4 - -1). Are d and 11/5 non-equal?
True
Let d be 11 + -14 + (-45)/20 + 5. Are -483 and d equal?
False
Let z be 0 + ((-237)/231 - -1). Let r = 949780879/1155 + -822321. Let x = r - z. Which is greater: x or -4?
x
Let h(f) = -2*f + 16. Let k be h(7). Suppose 0 = -k*z + 32 - 30. Is z equal to 1/16?
False
Let s(h) = h**3 - 6*h**2 + 3*h - 20. Let k be s(6). Let r = 68 - 62. Let q be 1 + r/10 + -5. Which is smaller: q or k?
q
Let o = -818/6391 + 8/77. Let m be (-4)/52*2 - (-836)/26. Let z = m - 32. Are o and z nonequal?
True
Let k(z) = -z**3 + 14*z**2 - 20*z - 35. Let y be k(13). Let u be 4/91 - 72/y. Is 0 equal to u?
False
Suppose 0 = i + 4*d - 14 - 28, -5*i + 130 = 4*d. Let n(j) = j**3 + 5*j**2 - 25*j + 11. Let t be n(-8). Suppose -t + i = 3*k. Is 2/25 >= k?
False
Suppose 3*c + 3*f - 197 = -209, 0 = -5*f - 25. Which is greater: -9/284 or c?
c
Let q = -100109/25 - -4005. Let h = q - -452/75. Which is smaller: 0 or h?
0
Suppose 543 = 3*v + 534. Suppose -5*m - v*u - 2 = 8, 0 = 4*m + 2*u + 6. Which is smaller: 3/101 or m?
3/101
Suppose 4 = -i - 2. Let a be i/(-10) - (-99906)/11340. Let l = -66/7 + a. Is l at most 1?
True
Suppose -23*l + 16 = 5*w - 24*l, 13 = 5*w + 2*l. Which is bigger: 395 or w?
395
Suppose 0*h + 4*o = h - 4, -2*h + 8 = 5*o. Suppose 0 = -h*i - 20, -3*i = -6*m + 2*m + 43. Suppose m*k = 11 + 3. Is k at most as big as 5/3?
False
Let f = 6136 + -24539/4. Is f at most as big as -0.45?
False
Let v(c) = -22 - 3*c + 0*c + 7*c. Let o be v(7). Suppose 0*m = m + o. Which is bigger: m or -36/5?
m
Let u = -33979.4 + 33979. Which is smaller: -29.54 or u?
-29.54
Let v(c) = c**3 + c**2 + c + 2. Let z be v(0). Let t(r) = 31*r - 19. Let u = 335 + -334. Let h be t(u). Is z at most as big as h?
True
Suppose 4*s = -u + 8, -34*s + 64 = -30*s + 8*u. Which is smaller: -2/12397 or s?
-2/12397
Let n be (1/3)/(2/282). Suppose 8*f = -10*f - 450. Let x be f + 66 + 14/2. Which is greater: n or x?
x
Let d = -65150 - -65117. Suppose 0 = 6*x - 2*x + 4, -3*q = x + 10. Is d > q?
False
Let s = 1354 - 625. Suppose 4*y - 5*a - s = -0*a, 3*a + 921 = 5*y. Which is smaller: y or 187?
y
Let h(v) = 20*v**2 + 209*v + 2241. Let m be h(-11). Which is smaller: m or 2361?
2361
Let p = -221543 - -3313397109/14956. Which is smaller: -1 or p?
-1
Suppose 0 = -3*q - 10*q. Is q greater than -28?
True
Suppose 4*y - 32 = 2*g, -g = -5*y + 9*y - 14. Let u(p) = -17*p**2 - 55*p + 6. Let i be u(g). Is -275 at most as big as i?
False
Let u = -1251 - -858. Let i = 5897/15 + u. Is -1 at most as big as i?
True
Suppose 4*v - a - 640 = 3*a, 3*v - 512 = -5*a. Let p = -164 + v. Let r = 5952/17 + -350. Which is greater: r or p?
r
Let i = -281.08 + 281.48. Is -1602 equal to i?
False
Suppose -2*n + 8 = 4. Let s be n + -1 - 1672/(-12). Let g = 138 - s. Is -1 at least g?
True
Let v = -72 - -53. Let m = v - -19. Suppose m*f - 5 = 5*f. Do -3/2 and f have different values?
True
Let q = 158.635 - 160. Let b = q + -0.165. Is -1 less than b?
False
Let k(v) = -5*v - 11. Let p be k(-10). Let z be (p - 7)/((-2)/(-34)). Let q = z + -34274/63. Are 0 and q equal?
False
Let o be -83 - (1 - (2 + -2)). Let u(k) be the first derivative of 3*k**4/4 + 3*k**3 - 6*k**2 + 7*k + 203. Let j be