 Which is bigger: q or 0.8?
0.8
Let n = 8585.43 + -8587. Which is bigger: 1 or n?
1
Let p(y) = y**3 - 3*y**2 - 6*y - 5. Let q be p(5). Let x be (1 + q + -3)/((-10)/70). Let a = 92 + x. Which is smaller: 4/5 or a?
4/5
Let f(h) = 6*h**2 - 108*h + 331. Let i be f(14). Which is greater: i or -195/46?
-195/46
Let p be 1/3 - 116437/(-333). Let k = p + -350. Suppose 0 = -2*n + n. Which is greater: n or k?
n
Let o = -44 + 69. Let z be (-6)/(-5)*o/45. Let h = 1.6 + -1.35. Which is smaller: h or z?
h
Let t be (-49 - -37)*(-3)/12. Which is greater: 2 or t?
t
Let t = 0.3 - 0.2. Let y = -0.029 - 4.271. Let f = y - -3.8. Is f less than or equal to t?
True
Let k = -10 + 4. Let t be ((-80)/k)/((-10)/30). Let r be (-16)/t + (-9)/5. Which is greater: r or -1?
-1
Let z = 7585 - 151699/20. Is 0 bigger than z?
False
Let y(a) = -2*a**2 - 7*a + 3. Let h = -51 + 44. Let p = 3 + h. Let i be y(p). Which is greater: 2/31 or i?
2/31
Suppose -2*x - 17166 = -3*n, -316*n - 3*x = -318*n + 11434. Which is smaller: 5725 or n?
5725
Suppose 0 = -3*t + 1 - 16. Let w = -8 - t. Let q = w - -16/5. Is 3/4 < q?
False
Let k be (17/(408/(-32)))/((-48)/(-36)). Which is bigger: k or -282/143?
k
Let x be ((-810)/(-36))/((-12)/16). Let l be (-18)/135 - (-116)/x. Which is bigger: l or 45?
45
Let m = 15 + -28. Suppose 8*d - 204 = 5*d. Suppose -5*x + b = d, 4*b - 64 = 5*x + b. Is x > m?
False
Let b(w) = 2*w - 24. Let j be b(12). Suppose j = i - 2*i + 19. Let g = i + -19. Which is bigger: -2/3 or g?
g
Suppose -2*x - 19 = -l, 5*x - 2*l = -0*l - 46. Let p be (-2)/x*(-33)/(6/2). Are p and -3 equal?
False
Let j = -2177 + -23. Is j bigger than 1/4?
False
Let p = -17756 + 17755.8. Is -95/2 greater than or equal to p?
False
Let k = 0 - 0.2. Suppose 1064108 = -1866*t - 3282*t - 961259 + 424339. Which is smaller: t or k?
t
Suppose k + q = -2*k + 30, 5*k - 50 = q. Suppose -k*i + 16*i + 708 = 0. Which is smaller: -119 or i?
-119
Let q be 30/33 + 2/154*308/44. Is 40/1489 less than q?
True
Let d = 465/1892 - -2/473. Let l(u) = -u**3 + u**2 + 16. Let h be l(0). Suppose -5*q - 3 = -13, 5*r - 2*q - h = 0. Is r < d?
False
Let l be ((-144)/45)/((-4)/10). Suppose i - l = -i. Suppose -2*w = r - 10 + 1, -w + i*r = 9. Is w bigger than 4?
False
Let q = -28 + 29. Let s = 341 + -245. Is q equal to s?
False
Let q = 152701 + -46573806/305. Suppose 5*l + 14 = 5*s - 1, 3*l = s - 11. Which is smaller: q or s?
s
Let y = 31704 + -2314078/73. Which is greater: y or 4?
y
Let p = 27065/11 + -2477. Let h = 717/44 + p. Is -56 at least h?
False
Let a be (-4 + 93/15)*15. Let y = -31 + a. Suppose g - 2*i - 10 = 3*g, y*i = -5*g - 22. Which is smaller: -6 or g?
-6
Let s be (5946968/313000 - 19)*5. Which is smaller: 1 or s?
s
Let f be 300/(-78) - 2/13. Let r be (2/f)/(3/(-1104)). Let v be 9/((-396)/r) + 4. Is v < -2?
False
Let d be ((4 - 12) + 8)/2. Let j = 88349/25681 + -210/61. Do j and d have the same value?
False
Let l be (-10608)/462 + 40/35. Which is greater: l or -21?
-21
Let v be (0 + 12/36)*-33 - -19. Is 380/51 != v?
True
Let f = -89080 - -89130.021. Let j = f + -50. Let g = 3.021 - j. Is g greater than or equal to 1/4?
True
Let b = 1 + -1. Let u be (-22360)/56 + -5*(-6)/105. Let p be (-10)/(-40)*(-24)/u. Which is smaller: p or b?
b
Let l = 95 - 323. Let r = -18663 + 56660/3. Let q = r + l. Which is smaller: q or -3?
q
Suppose 3*p - 2 = 4, -n - 5 = -3*p. Let h be (n/(-3) + 1)/((-12)/9). Is 1/27 at least h?
True
Suppose 3*j = 5*v - 83 + 71, -2*v = -2*j - 8. Which is bigger: v or 4/2493?
4/2493
Let h = 751/11 + -122446/1793. Which is bigger: 0 or h?
0
Let k be (-19014)/(-754) - (-75)/325. Is k greater than or equal to 26?
False
Let b = -43786 + 43312. Which is greater: -502 or b?
b
Let a = 1 - 53. Let q(h) = 4*h**2 - 65*h + 117. Let m be q(13). Are a and m equal?
True
Let j = -160.13 - -113.26. Let d = 49 + j. Let q = d - 0.13. Is q bigger than 2?
False
Let z(c) = 42*c**2 + 123*c - 10. Let r be z(-3). Which is smaller: -2/22657 or r?
r
Let c be (-1*1)/(6/(-42)*1). Suppose -6 = c*z - z. Let r be (-2)/5 + ((-37)/5)/z. Is 3 >= r?
False
Let h = 575 - 577.37. Let z = 0.29 + h. Is 1 at least as big as z?
True
Let r = 79/105 + -3/35. Let s = -765 - -302. Let v = s - -472. Are v and r equal?
False
Let v = -4688 - -4688. Is -2/4781 at most as big as v?
True
Let g(i) = 2*i**3 - 127*i**2 - 191*i - 258. Let v be g(65). Do 34 and v have the same value?
False
Let w = 3/622 - 138135/10574. Let l be ((-2059)/68)/(130/(-56)). Let b = l + w. Is 0 > b?
True
Suppose -4*u = 3*p - 802, 4*u + 266 = p + 5*u. Let l = p - 258. Is l equal to 0.32?
False
Let m(k) = -6*k - 138. Let r be m(-23). Let g = -314 + 7849/25. Which is smaller: g or r?
g
Suppose -4*i = 2*d - 4943 - 1517, -3*i + 4845 = -3*d. Does 1616 = i?
False
Let r(l) = -7*l - 6. Let m be r(-4). Let g = 2337 + -2317. Is m > g?
True
Let l = -0.1488 - -0.1328. Suppose 6 - 1 = 5*j. Are j and l non-equal?
True
Let n be 8 + 8 + 4844/(-168) - (-4)/1. Suppose -4*r + 12 = -g - 2*g, -5*g - 34 = -2*r. Which is bigger: g or n?
g
Let q = -3.092 + -93.408. Which is smaller: q or -0.2?
q
Let s be 4*1/6 - (-40)/(-24). Let a be (1 + 1)*30/700. Is a != s?
True
Let w be (4 - (-4 - -6)) + -3. Let q be (w - -3) + 3 - (-1)/(-1). Let o be 7/q + 24/(-32). Is o less than or equal to -3/16?
False
Let c(k) = 627*k**3 + k**2 + 4*k - 4. Let j be c(1). Suppose 2*a + 2*s = 4*a - j, -3*a + 939 = -2*s. Is 310 at most as big as a?
True
Suppose -8*w + 7*w + 524 = -k, 2612 = -5*k + w. Let x = -521 - k. Is x greater than -50?
True
Suppose 5*v - 2*d = 3*v + 482, -v + 211 = 5*d. Let q be v/(-88)*2 + 2 - -3. Let l = -1 + 1. Is q >= l?
False
Let n be (-1)/(-6) - (312/432 + 2/(-9)). Let z = 173 + -75. Are n and z unequal?
True
Let c = -35266.9001 + 35265. Are c and -1 non-equal?
True
Let p = 3622 + -4397. Which is bigger: -8526/11 or p?
p
Suppose -202*h = -111*h - 18655. Which is smaller: h or 192?
192
Let h(m) = 78*m - 2. Let u(p) = 78*p - 1. Let x(d) = -3*h(d) + 4*u(d). Let b be x(2). Let y = b - 123. Which is bigger: 36 or y?
36
Let i be -1 + (-5)/((-5)/1). Let l = -176072255/29 - -6070730. Let g = l - -727. Is g > i?
False
Let a be 0/(((-6)/4)/(3/4)). Suppose 4*k - t + 3*t + 1650 = a, 5*k - 4*t + 2069 = 0. Which is greater: k or -414?
k
Let v(l) = l**2 - 8*l - 10. Let b be v(9). Let s(c) = -30*c - 43. Let q be s(-3). Let p = 46 - q. Is b smaller than p?
False
Let s = -10039 - -10012. Which is bigger: -0.61 or s?
-0.61
Let o = -1142007/16 + 71324. Is o equal to -0.1?
False
Let k(r) = 514*r + 7196. Let y be k(-14). Which is greater: y or 72/79?
72/79
Let q = 2202.954 + -2215. Let x = 12 + q. Let y = x - -0.046. Which is smaller: -0.1 or y?
-0.1
Let h be 14/(-147) - (-15315)/63. Let j be 9/10*108/h. Are -315 and j non-equal?
True
Let s be 0 + 0 - (-696)/((-24)/(-2)). Is s less than or equal to 64?
True
Let n = -0.1 - -0.1. Suppose -18 = p - 4*r, -5*r + 33 = -4*p + p. Let k be (-30)/(-45)*p/32. Is k greater than n?
False
Let k = -636.588 + -9.312. Let q = k + 615. Let r = -31 - q. Which is smaller: r or 0.1?
r
Let d = 159 + -162. Let p be 10/d*(-372)/(-8). Which is bigger: -154 or p?
-154
Let k = -2 - -2. Suppose -2*d = 5*t - 23, 51*t - 49*t = -3*d + 7. Let v be 56/35 + 2/t. Is v greater than or equal to k?
True
Let u = -1434 - -970. Is -466 less than u?
True
Let m be 2/((-18)/127)*(-164 - -155). Are m and 377/3 equal?
False
Suppose -4*m + 5*h = -147 + 18, -4*h + 58 = 3*m. Suppose g = -12 + m. Is 14 at most g?
True
Suppose -12*s + 2 + 118 = 0. Suppose -w - s = -l - 5*w, 0 = 4*l + 5*w - 7. Let n be -10*l/(-5 - 29). Are -1 and n non-equal?
True
Let x = -20 - -77. Let b = x + -57.011. Let r = 16.989 - b. Which is smaller: -2 or r?
-2
Let v = -2.605 - 3.788. Which is smaller: -0.1 or v?
v
Let m = -15480.96 - -15481. Let h = 38.4 + -35. Is h < m?
False
Suppose 7*w - 2033 + 2026 = 0. Is w at most 46/45?
True
Let j = 1032 - 1033. Are j and 6/235 equal?
False
Suppose 54*p - 108 = 18*p. Suppose -861 = 3*n + 3*a, -4*a + 972 = -p*n + 111. Is n at most as big as -287?
True
Let p(f) = 351*f**2 + 2. Let g be p(2). Let o = 38110/4861 + 1787477650/1278443. Let n = o - g. Which is smaller: 0 or n?
0
Let k(o) = 12*o**2 + 89*o + 50. Let l be k(-8). Suppose 36*v - 31*v - 535 = 0. Is l less than or equal to v?
True
Let c = 4536.1 - 4536.20579. Which is s