= -2825 + 2825. Which is bigger: f or -4/557?
f
Let d = -2013/7 + 288. Let q = d - 9/28. Which is greater: 0 or q?
q
Let b = 0.69 + 0.51. Let n = b + 1.8. Let u = 14 - 14.1. Is n at most as big as u?
False
Let f(d) = -d**2 + 3*d - 4. Let p be 2/8 - (-28)/16. Let c be f(p). Is c at most as big as -10?
False
Let b be (-9 - -3) + (-9228)/(-1539). Which is bigger: b or -1?
b
Let i be (-2 + 0)*(-5)/87558. Let x = i - 6698677/4290342. Let j = x - -3/49. Which is smaller: -3 or j?
-3
Let r(g) = g**2 - 3*g - 2. Let d be r(3). Let w be ((-2)/(-102))/(d/(-12)). Suppose 12*q - 8*q + 19 = -3*c, -c + 5*q = -19. Is w equal to c?
False
Let h = -7 + 7. Suppose 4*k + 31 = -5*j, h*j = -4*j - 4*k - 28. Are j and -11/3 equal?
False
Let c be 4*(2/(-9) + 34/72). Is 12/13 less than or equal to c?
True
Let y = -7 - -7.1. Let x = 0.15 - y. Let k = 0.9 - 1.9. Which is smaller: k or x?
k
Let j be 15/(80/28 + -3). Are j and -105 unequal?
False
Let x be ((-36)/(-12006))/((-11)/(-3) - 4). Which is greater: 0 or x?
0
Let t = 141 + -142. Which is greater: t or 1/152?
1/152
Let d = -36 + 39. Suppose 3*r - 1 = k, r + 3 = -d*k - 2*r. Is k >= -1?
True
Let q = -3389/40486 + 2/653. Let a = q - 265/558. Which is smaller: -1 or a?
-1
Let m = 154 + -170. Is m != -2.5?
True
Let i(b) = -3*b - 2. Suppose -3*p - 20 + 8 = 0, -3*r + 10 = -4*p. Let d be i(r). Suppose 0 = 4*z + d - 16. Which is smaller: z or 4?
z
Let x(r) = 5*r**2 - 18*r + 51. Let b(n) = -11*n**2 + 35*n - 102. Let k(u) = 6*b(u) + 13*x(u). Let m be k(-26). Which is greater: 1/145 or m?
1/145
Let t(k) = 3*k**2 - k + 1. Let w be t(1). Let z be 2*(12/8)/w. Which is bigger: z or 5/6?
z
Let a = -517711/6288 + -1/6288. Let d = a + 83. Let c = 0.4 - 0.52. Is d bigger than c?
True
Let c(n) = -9*n**2 + 6*n**2 + n + 0*n**2. Let b be c(2). Let x be -10 - (-1)/(2/2). Is x >= b?
True
Let y = 0.08 - 0.07. Let l = -0.02 - y. Let a = l - 1.97. Which is smaller: a or -1/5?
a
Let k(x) = -x**3 + 5*x**2 + 15*x - 4. Let o be k(7). Suppose o*n = n - 4. Let f = -0.04 + -0.06. Is n less than or equal to f?
True
Let p = -318 - -299. Which is greater: p or -12?
-12
Let j = 15/223 - 4592/71583. Which is bigger: j or 0?
j
Suppose 2*v = -36 - 18. Let u = -19 - v. Suppose -2*b = -q - 20 + 6, 7 = b - 4*q. Is b > u?
False
Let w = -75 - -90. Let c = w + -30. Which is smaller: c or -16?
-16
Suppose -112*l + 540 = -122*l. Is l at least as big as -44?
False
Let f be -21*3/(-13 - -4). Suppose -4*l - 1 = f. Let k be 0 - l - (-7 - -1). Is k >= -2?
True
Let w = -3589 - -122045/34. Let s be 2/9 - 175/1071. Let z = w - s. Is -0.8 < z?
True
Let t = 612 + -616. Suppose 2*h + 10 = -j, -3*h = -2*j - 3 + 11. Is t <= h?
True
Let w = -0.021 + 0.121. Let j = -25.54 + 0.54. Let a = j + 17. Is a <= w?
True
Let i be (-1)/(82*18/(-24)). Which is smaller: 1 or i?
i
Let a(q) = q**2 + 7*q + 2. Let v be a(-5). Let w = 168.846 - 169. Let s = w - -0.254. Is v at least as big as s?
False
Suppose -33 = 4*f + 27. Let i = f + 0. Let q = 36 + i. Is 20 smaller than q?
True
Let v = 25925/26 + -997. Let o be 16*(1 - (-54)/(-52)). Let n = v + o. Which is bigger: n or -1?
n
Let f(l) = l**2 + 11*l. Let k be f(-12). Suppose -3*c - 18 = 3*y + 2*y, y = 2*c + k. Which is smaller: -0.1 or c?
c
Let l = -429 - -429.02. Is 0.015 smaller than l?
True
Let o be (-44790)/(-7245) + -6 - (-4)/(-46). Let h be -3*((-2)/(-3))/(-2). Is o at least as big as h?
False
Let q be (-21)/(-90) - (-29)/290. Which is smaller: 119 or q?
q
Let f = -910 - -480. Which is smaller: f or 1?
f
Let w be 3/(-7) + (-1750)/(-196) - 8. Is 3/1030 less than or equal to w?
True
Let d be (42/(-15))/(5/(-1*125)). Suppose 2 = 2*a, 2*a = 5*f + 2 + d. Is f bigger than -51/4?
False
Let r(d) = 3*d**2 + 16*d - 7. Let a be r(-6). Let l be (a + 2 + -4)/((-90)/12). Which is smaller: 3/7 or l?
l
Let b(n) = 23*n + 21. Let i be b(-57). Are -1290 and i non-equal?
False
Let c(b) = -8*b - 5. Let i be (-16)/9 - (7 - 183/27). Let s be c(i). Are s and 7 equal?
False
Let m = -4.4 + -2.6. Let p = -22 - m. Let w = 2 - 2. Is p smaller than w?
True
Let r = -1 - -6. Let q be -32*(r/(-4) - 1). Let t = q + -649/9. Is 0 less than t?
False
Let a = -13.6 - -13.7. Which is smaller: -88 or a?
-88
Let j = 93.2 - 7.2. Let y = 87.2 - j. Which is smaller: y or -1/6?
-1/6
Let r(p) = -171*p**3 + p**2 + p + 1. Let w be r(-1). Suppose 4*s - 5*k = -k - w, 5*k - 98 = 2*s. Let l be 26/s*(-9)/(-28). Is 1 < l?
False
Suppose -b + r = 3, -4*b + 3*r + 3 = 12. Let j = -2676 + 29441/11. Is j greater than or equal to b?
True
Let j be 4/(-50) - (-456)/75 - 6. Which is smaller: -1/1948 or j?
-1/1948
Let a = -25897241/51 - -506782. Let x = a - -1007. Is x less than 1?
True
Let f(k) = 5*k**2 - 3*k + 2. Let l be f(1). Suppose 5*g = 2*c + 2*g + 8, -l = 2*g. Which is greater: -6 or c?
-6
Let i = -13.48 + 13.664. Is i greater than -1/4?
True
Suppose 0 = -2*u - 5*a - 15, 18*a = -5*u + 15*a - 9. Which is greater: u or 2/147?
2/147
Let p be (-1)/(((-6)/45)/2 - 0). Suppose 4*q - 2*h - 3 + p = 0, 0 = -h + 2. Are -11/10 and q unequal?
True
Let i = -1101 - -1102. Is -1/2298 less than i?
True
Let h = 0.219 - 68.219. Suppose -2*s = z - 3, -2*s = -6*s - z + 3. Are h and s equal?
False
Let k(q) = 2*q - 8. Let d be k(6). Let j be (3/(-2))/(4*(-15)/(-16)). Which is smaller: d or j?
j
Suppose -48 - 72 = -10*o. Is 79/6 greater than o?
True
Let k be (-3)/(126/(-226)) - (87 - 85). Is 3 > k?
False
Let w(n) = n**2 - 2*n - 2. Let j be w(3). Let b be j - 2/((-16)/(-11)). Let o(i) = -86*i + 517. Let u be o(6). Is u bigger than b?
True
Let l = -39119/4770 - -1/954. Are l and -8 unequal?
True
Let w be 3 - ((-12)/4 + 6). Suppose w*d = -2*d - 2. Is -1/33 > d?
True
Suppose x + 1327 = 5*d - 0*d, -4*x + 12 = 0. Let c be d/(-10) - -3*4/(-30). Which is smaller: c or -26?
c
Let d be 3950/7150 + (-12)/26. Is 42 > d?
True
Let k be (9/15)/(8/(-2360)). Let z be (5 + (-13)/3)/(2/k). Is z greater than -58?
False
Let d = 162 + -154.82. Let b = 7 - d. Let z = -0.02 + b. Which is smaller: -2/7 or z?
-2/7
Suppose -8 + 26 = -2*s. Let m be 6/s*(-4 - -43). Is m less than or equal to -27?
False
Let w = 19.8 - 19.9. Is w <= 710?
True
Let t be 0 + 3 - (-103434)/579348. Let l = -1/27588 - t. Let q = 24/7 + l. Which is bigger: q or -1/2?
q
Suppose 0 = 3*a - 68 + 5. Suppose -5*u - 17 = -4*k - 100, -3*u + 4*k + 45 = 0. Which is greater: a or u?
a
Let g(f) = -f**3 - 9*f**2 - 7*f - 61. Let i be g(-9). Let q = 0.01 - 11.01. Which is smaller: q or i?
q
Let s be ((-52)/(-30))/((-28)/(-560)). Which is bigger: -1/2 or s?
s
Let n = -863 - -1854. Which is greater: n or 990?
n
Let m = -75.3 - -69.32. Is -2/5 at least as big as m?
True
Let m = 12.6 - 4.6. Are -5/14 and m non-equal?
True
Suppose p = -3*z - 1021011 + 199353, 4108214 = -5*p + 4*z. Let n = p - -9032138/11. Let b = n + 542. Is b less than or equal to 0?
True
Let v be ((-3)/(15/(-2)))/((-3)/(-105)). Is 14 greater than or equal to v?
True
Let o(h) = -h**3 - 14*h**2 + 15*h + 3. Let d be o(-15). Suppose -3 = -0*u + d*u. Let v be 5 - -1*(2 + u). Which is smaller: v or 9?
v
Let m = 0.66 + -0.4. Let d = -87.8 + 98.06. Let i = m - d. Which is bigger: i or 1?
1
Let r be (1/1)/(1 + -4). Let o = 72 - 49. Suppose 24*h - o*h = 1. Which is greater: h or r?
h
Let x = -4924/3 - -1479. Let v = 25817/159 + x. Let c = 0.1 + -0.1. Which is bigger: c or v?
v
Let x(g) = g**2 + 10*g + 9. Let u(f) = f**2 + 18*f + 23. Let l be u(-16). Let j be x(l). Is -2/101 less than j?
True
Let o be ((-10)/5)/42*-6. Are 0.066 and o nonequal?
True
Suppose 2*j + 46 = p, -4*p - 4*j = -0*p - 160. Let w be 2/(-12) + 22313/p. Let u = 531 - w. Which is bigger: u or -1?
u
Let z(t) = 5*t + 8. Let y be z(-2). Let o be 60/(-16) - 8/y. Is -12 smaller than o?
True
Let a = 2/2913 + 32039/5826. Which is greater: a or 7?
7
Let a = -4674 + 224375/48. Let i = -3/16 - a. Suppose 29*x = 55*x. Which is smaller: x or i?
i
Let b(j) = -j**3 + 5*j**2 - 4*j + 1. Let z be b(3). Suppose -138 = z*m - 12. Let p be (-27)/m + (-1)/(-2). Are p and 2 non-equal?
False
Let j be 5 + 3 + -24 + 0/(-2). Let m be 4/(-6) - j/6. Is m less than 4?
True
Let k = -25372/43 + 590. Let b = 165 + -166. Which is smaller: k or b?
b
Let n(y) = -2*y - 4. Let p be n(-4). Suppose g + 0*o - 13 = 4*o, -2*g + p*o + 22 = 0. Suppose 115*j + 96 - 503 = 743. Which is bigger: g or j?
j
Let s =