 Is x at most a?
False
Let z(w) = -w**3 + 206*w**2 + 419*w + 7. Let r be z(-2). Is 4/2097 equal to r?
False
Let t(d) = 3*d**2 + 10*d - 2. Let i be t(7). Let v = i - 233. Is -5 <= v?
False
Suppose -l + 2 = s, -4 = -l - 2*l - 4*s. Let h be (-1)/l*(7 - 11). Which is smaller: h or 2/85?
2/85
Let l = -528.102 - -0.102. Let i = 519 + l. Which is smaller: 14 or i?
i
Let j = -60 - -62. Let t be ((-8)/(-16))/(j/8) - 29. Let u be -3*3/t*-6. Which is bigger: u or -15?
u
Let s(k) be the third derivative of k**4/4 + 37*k**3/6 + 4*k**2 + 1. Let m be s(-6). Let q = 3/2 - 5/3. Which is smaller: m or q?
q
Suppose -17410 = 8*m - 17370. Let h = -3 + 0. Which is bigger: h or m?
h
Let m = 95 - 72.3. Let t be ((-6)/(-12) - -1)/((-621)/138). Is t less than m?
True
Let d be (-37376)/876 - (-26)/1. Which is bigger: -17 or d?
d
Let t be -45*(0 - ((-8)/(-6) - 1)). Suppose s + 3*r - 2 = -6, -2*s - 3*r = 2. Suppose -s*h = -5*d - 40, -3*h - 69 = -8*h - 3*d. Do t and h have the same value?
True
Let k = 9 + -81. Let o = k - -72. Which is smaller: o or -2/1325?
-2/1325
Let d be 4/4688*362 - (-7)/(-14). Is d greater than -1?
True
Let a = -81 + 101. Let m be a/18 + 17/(-153). Is m at least as big as -5/11?
True
Let b = 0.11 - 3.11. Let c = b - -55. Let m = 52.02 - c. Is m smaller than 6?
True
Suppose -4*f = 2*h + 228, 0 = 3*f + 3*h + 227 - 53. Let l = 2460 - 2515. Is f at most as big as l?
True
Suppose -2*n + 43 = 25. Suppose 2*a = 2*i - 5*i + n, 1 = 4*i - a. Suppose 3*c + 2 = -i. Is c at most 1/28?
True
Let k be 6/51 + (-15)/(-17). Let v be 18/(-2) - 48594/(-5538). Which is bigger: k or v?
k
Let d = 4.403 + -3.403. Which is greater: d or -1252?
d
Let y = 4/10741 + 1273/343712. Which is greater: y or 1?
1
Let f = -6551 + 6550. Is f at most -22/333?
True
Let v(b) = -5*b**2 + 4*b + 26*b**2 - 17*b**2. Let c be v(-3). Let i be ((c/(-10))/2)/(9/12). Is -3 bigger than i?
False
Suppose -16*j + 3*n - 443 = -11*j, 194 = -2*j - 3*n. Suppose 7*z = 11*z + 368. Which is smaller: j or z?
z
Let u = -32 - -56. Let g = 26 - u. Suppose -g*p = 2*d - 30, -13 = -4*d - p + 38. Is d > 14?
False
Suppose 154 = 5*u + 109. Let r(c) = -13*c + 60. Let f be r(u). Do f and -58 have different values?
True
Let p = -29823 + 29533. Does p = 6?
False
Let x(w) = -2*w**2 + 10*w - 11. Let r be x(6). Let d(h) = -4*h + 180. Let j be d(50). Which is smaller: j or r?
r
Let y be ((-26)/6)/(16/(96/(-7))). Let u = 3 - 4. Let j = u - -5. Which is greater: y or j?
j
Let s be (2/((-24)/(-30)) - 3) + 502/4. Is s less than -21?
False
Let u be (-120)/3*(1 + 69/6). Let i = u - -379. Which is bigger: i or -119?
-119
Let y = -0.4861 + 0.3861. Are 1730 and y nonequal?
True
Let u(i) = -i**3 + 3*i**2 + 3*i. Let t be u(3). Let f be (-38)/t - 12/(-54). Let v = -4225 - -4222. Do f and v have different values?
True
Let x(r) = 30*r - 991. Let t be x(33). Which is greater: t or -25/27?
-25/27
Let t = -9152.369 + 9152. Which is smaller: 0.7 or t?
t
Suppose -10 = 3*z - 4*k, 12 - 14 = 2*z + 2*k. Let m = -24/35 - -534/1085. Is z less than m?
True
Let d(g) = 6*g**3 + 8*g**2 + 9*g + 5. Let u be d(-2). Let z = u + 51. Let q = -39 + z. Is -16 at least as big as q?
True
Suppose -37 = -5*j + 4*z, 0 = 3*z - 11 + 20. Suppose -10*v - s = -j*v + 30, -5*s = v + 30. Let l be (-4 - -22)/(5*-1). Which is smaller: v or l?
v
Let o = 3334/3 + -1120. Which is smaller: o or 5?
o
Let x(s) = -2*s**2 + 9*s + 1. Let k be x(4). Suppose -10 + 20 = 5*v. Suppose -k*m = v*t - 189, 5*t - 6*m + 4*m = 429. Which is greater: 86 or t?
t
Let r = 21 - 16. Suppose 5*j = 3*v + 2*v - 30, r*v = -20. Let k = -57 + 47. Are k and j equal?
True
Let q(a) = -a**3 + a**2 + 12*a - 2. Let g be q(5). Let j(t) = t**2 - 2*t + 6. Let m be j(3). Let r = -51 + m. Is g at least as big as r?
True
Let w = 10133 + -8907. Is 1 smaller than w?
True
Let p be 6 + -2 - 590/(-15)*(-15)/10. Suppose -5*t = l + 70, -l + 4*t = -t + 40. Is l smaller than p?
False
Let r = -33173 + 32729. Which is smaller: -23 or r?
r
Let x be (-62)/(-15) + ((-84)/(-45))/(-14). Suppose -f + 3*f = -5*i - 10039, -f - 8030 = x*i. Let c be 4/22 + 4/((-132)/i). Is 61 smaller than c?
False
Let r = 22 + 298. Let h = r - 329. Suppose -5*g - 5*c + 15 = 80, 44 = -4*g - 2*c. Are h and g non-equal?
False
Let a = -1.6 + -0.4. Let f = -29.842 - -19.12. Let d = f - 0.278. Which is greater: a or d?
a
Let w = -0.3127 + 558.3127. Is 1 smaller than w?
True
Let g be ((9/3 - 4) + -5)*6. Let a = 77 - 111. Is g < a?
True
Let m be (3705/30 - 14)*1/(27/(-6)). Is -3/13 >= m?
True
Let p be 4*3/((-36)/(-57)). Suppose 105 = 5*v - 5*h, -24*h + 26*h - 9 = -v. Which is greater: v or p?
p
Suppose -5 = 5*d - 25. Let h be 2/d*(0 + 128/20). Which is smaller: h or 0?
0
Let q(g) = g**3 - g**2 - 7*g - 1. Let w be q(3). Let j be ((-2)/4)/(w/(-86)). Which is bigger: j or -11?
j
Suppose 3*q - 5 = -4*o + 23, 2*o - 20 = -3*q. Let c be o/14 - 936/91. Let f(h) = -h**2 + 5*h - 2. Let i be f(6). Which is greater: c or i?
i
Let h(v) = -v. Let r be h(1). Let g be 204 + -218 - 264/434*-23. Is g not equal to r?
True
Let u(b) = -13*b**3 + 2*b**2 - 6*b - 13. Let m(j) = 18*j**3 - 3*j**2 + 9*j + 19. Let q(r) = -5*m(r) - 7*u(r). Let g be q(2). Is g equal to 9/8?
False
Suppose -6*h - 13291 = -1867. Is -1904 equal to h?
True
Let h = -3294 - -813615/247. Let j = -112/11115 + h. Let v = 382 + -381. Do j and v have the same value?
False
Let f be 33/(-22)*20/(-6). Let r = -11 + f. Let n = -286 - -274. Is r != n?
True
Let a = 690.5 - 694.1. Is a at most as big as 5/21?
True
Suppose -3*m + 2*z = -415, -2*m + 0*z + 278 = -2*z. Suppose 13*f = -19 - m. Suppose 4*i - 2*i = -u - 25, 5*i = 4*u - 43. Which is bigger: f or i?
i
Suppose 69*h - 160*h = 339*h. Is -3/2530 at most h?
True
Let s(u) = -u. Let m be s(-8). Suppose 62 = 3*r - k, r + 330*k = 332*k + 14. Is r >= m?
True
Suppose 241 = 3*r + 67. Suppose 550 = 516*q - 241*q. Which is greater: r or q?
r
Suppose 4*n - 3*n - 27 = 3*x, -4*n + 3*x + 117 = 0. Suppose -5*b + 4*p - p - n = 0, 24 = -4*b - 2*p. Let w be (-56)/66 - b/33. Is w less than -2?
False
Let h be 6/8 - 3156/48. Let r = h + 69. Suppose 0 = -3*t - 4*a - 22, -10 = -2*t + r*t + 5*a. Which is smaller: t or 1?
t
Let y(a) = 2*a**3 + 49*a**2 + 292*a + 27. Let z be y(-13). Which is smaller: z or 113?
113
Let q be (-12)/9*186/248. Which is bigger: -23/148 or q?
-23/148
Let v = 4 + 0. Suppose -4 = -v*s - 16. Let l be (-80)/(-48) - (-2)/s. Are l and 1/2 non-equal?
True
Let z be -3 + (4 - -46 - -3). Let c = -35 + z. Let q = c + -13. Which is smaller: 0 or q?
0
Suppose -32*s + 34*s = 1008. Suppose -8*g = -12*g - s. Are -125 and g non-equal?
True
Let w = -18.36 + 28.49. Let t = w + 2.87. Is t greater than 7?
True
Suppose -28*g - 336 = 112. Let c be 2/g + (-126)/784. Which is smaller: -156 or c?
-156
Let q be ((-10)/15)/(448/(-48)). Let k(l) = -l**2 - 5*l + 5. Let v be k(-6). Let f be (v - 1 - -2)/1. Is q less than f?
False
Let s be 26/2 + 13 + -11. Let k = s + -6. Suppose -11*w = -k*w - 30. Is w at least as big as 15?
True
Suppose -14 = 2*t - t. Let f = t - 4. Let k = -2/769 + -1528/3845. Is k > f?
True
Let n = 67 + -66. Let o be (8 - 0)*42/28. Suppose 4*b = -0*u + 2*u + o, 2*u - 5*b + 15 = 0. Which is smaller: u or n?
u
Let u = 46 - 347. Suppose 619 - 924 = 10*r + 2685. Is r greater than u?
True
Let o(g) = 19*g + 50. Suppose 32 - 2 = -5*j + 3*d, -2*d = 5*j + 5. Let m be o(j). Is m < -5?
True
Let i be (2/(-3))/(4/312). Suppose 21*k + 544 = 38*k. Let f = i + k. Are -20 and f non-equal?
False
Let m be 6 - (-357096)/(-160)*2/744. Does m = 1?
False
Let c = -0.4714 + 0.455. Let x = 6.8164 + c. Is -0.1 at least x?
False
Suppose 5*f - z = 238, 2*f - 4 - 98 = -3*z. Let i be 0 - 1 - (6 + f/(-6)). Let u be 3 - -19*(-16)/100. Is u != i?
True
Let l = -5059 + 207417/41. Suppose -t - 9 = -4*n, -3*n + n + 3 = t. Suppose 0 = 4*h - m + 9, -2*m + 3*m - 7 = n*h. Are l and h equal?
False
Let n = -0.032 - -1.232. Let t = n + 4.3. Let h = t - -40.5. Is h greater than or equal to 0?
True
Suppose -u = 4*u + 5. Let z = 270.5 - 269. Let c = z - 1.511. Which is smaller: c or u?
u
Let i = 184 + -24. Let r be i/(-364) - 2/(-7). Let l be (62 + -63)*(-1 + 1). Which is bigger: l or r?
l
Let w = -8050.274 + 8050. Does 0 = w?
False
Let s = 3368 - 1532. Is s less than or equal to 1837?
True
Suppose 9*a - 6 = 11*a + 20. Which is sm