0. Let m be -3 - (p/75 + 3). Is m smaller than d?
True
Let d be 6/(-18) - 22/6. Let g = 889 + -889.45. Which is smaller: d or g?
d
Let f be 14 + (-71890)/40 - 2. Is f smaller than -1786?
False
Suppose 13776 = 2*t + 2*f, 2276*t - 4*f - 6883 = 2275*t. Which is greater: t or 6888?
6888
Let p(s) = -s**3 + s**2 + 5*s + 3. Let h = 345 + -342. Let r be p(h). Which is smaller: -28/5 or r?
-28/5
Let n(o) = 7*o**3 - 13*o**2 - 14*o + 24. Let g(i) = 6*i**3 - 13*i**2 - 13*i + 22. Let z(s) = 5*g(s) - 4*n(s). Let p be z(6). Which is bigger: p or -77?
p
Let l = 7 - 7.15. Let d = -2.15 - l. Let j = -2.37 + -13.63. Which is smaller: j or d?
j
Let h = 16.13 + 11.868. Let m = h - -0.002. Let d = -0.0522 - -1.0522. Is m at most d?
False
Let a be (4 - 22/4)*4/(-15). Let k = 1/15 - a. Which is greater: k or -0.0228?
-0.0228
Let f be 24/11 + (16/22)/(-4). Let n(p) = -299*p + 11. Let d be n(-23). Let o be f/(-7) + 1632/d. Is o greater than or equal to 2?
False
Let x = 2.999 - -0.001. Is 540 greater than or equal to x?
True
Suppose 0 = -2*f - d + 6*d + 31, -4*d = -5*f + 69. Suppose 8 = f*v - 11*v. Suppose v*y - 26 = -2. Which is greater: y or 0?
y
Let m be (-8)/45 - (-2 + (-140)/(-63)). Suppose -3 = -3*a + 3*r - r, 9 = -2*a + 5*r. Let o be ((-3 - 0) + a)/2. Is m < o?
True
Suppose -2*b = -b - 2. Suppose 6*c - 84 = b*c. Which is greater: c or 22?
22
Suppose 2*h - 309 + 47 = 0. Let s be -2 + h/78 + (-8)/(-48). Which is greater: 0.049 or s?
0.049
Let d(r) = 5*r**2 - 10*r + 12. Let s be d(6). Let g be 4/18*s/(-143). Which is smaller: 0 or g?
g
Suppose 0 = 6*g - 36. Let p(s) = 16*s - 18. Let x be p(g). Which is bigger: x or 80?
80
Suppose 2*s - 21 - 11 = -3*r, 0 = -2*s + 5*r. Let p be (2 - 26/s)/((-14)/4270). Which is smaller: 184 or p?
p
Let o = 39 + -101. Let b = 46 + o. Let f be ((-2)/(-4))/((-5)/170). Is f > b?
False
Let k = 2 + -4. Suppose -21*j = 1956 + 816. Let h = -531/4 - j. Are h and k unequal?
True
Let h = 778.362 + 8.638. Is h > -1?
True
Let l(k) = 28*k + 924. Let c be l(-33). Which is greater: c or -1/22?
c
Let i(y) = -y**3 + 5*y**2 + 278*y - 1632. Let a be i(6). Is 77/232 less than a?
False
Let c = -2 - -16. Suppose 12*v - 5*u = 8*v + c, 2*v - 4*u = 10. Is 8/23 at least v?
False
Let a be 14/(-1) - (-370)/25*(-535)/(-214). Let u be ((-2)/(-5))/(2/110). Which is smaller: u or a?
u
Let k = 299 + -304. Let t be k/1170*-4*3/(-20). Which is smaller: t or 0?
t
Suppose 0*m - 4*m + 86 = 2*k, 5*k = 2*m + 215. Let t = -23616 + 23659. Is t >= k?
True
Suppose -4*b = m + 40, -2*b + 4*m - 20 = 2*m. Let c be (-20)/(-8)*(-36)/b. Suppose 8 + 10 = c*k. Is k less than 8/7?
False
Let q = -1063 - -1063.161. Let y = q + 0.839. Let t = -8 + 38. Which is smaller: t or y?
y
Suppose -l + 320 = 23. Let b = l + -77. Is b less than or equal to 219?
False
Let n(j) = -j**3 - 28*j**2 - 192*j + 23. Let l be n(-24). Which is bigger: 2325 or l?
l
Suppose -68 = -4*b - 0*b. Suppose 3*g + 5*u = 19, -1035*g + 5*u + 46 = -1033*g. Is g smaller than b?
True
Suppose -19 = 3*c + 14. Let o be (-1 + 0)/1 - c/11. Suppose o = 7*f - 7. Is f smaller than -2/37?
False
Let i be (-3)/5 + ((-2409)/(-165) - 13). Which is greater: 130/29 or i?
130/29
Let p be 9/(-18) + (-24)/16. Let u(g) be the third derivative of -g**5/60 + 5*g**4/24 - 4*g**2. Let t be u(5). Is t smaller than p?
False
Let p = 362 - 28599/79. Let o(h) = -h**2 - h + 19. Let r be o(-5). Which is smaller: p or r?
r
Let k = 1593/4 - 10991/28. Let c(o) = -o**3 + 18*o**2 + 21*o - 17. Let m be c(19). Suppose -4*g + m = h, 4*g + 3*h = h + 18. Which is greater: k or g?
g
Let c = -412996 - -825993/2. Suppose -518 = 2*g + 104. Is g != c?
True
Suppose 22273 = -29*n + 16444. Let u be (-403)/2 - (-1)/(-2). Which is greater: n or u?
n
Let c be (-3)/(-9)*(-15)/64. Let u be ((0/1)/(-85 + 81))/(1 - -1). Is c >= u?
False
Let h = 1160.7 - 1152.7. Which is greater: 748 or h?
748
Let s = 128.9558 + 0.0442. Let u = s - 130. Which is smaller: u or 15/19?
u
Suppose 0 = 3*p - 2*h + 9, 0 = -3*p + h - 4 - 2. Let y(a) = -a**2 + 16*a - 56. Let q be y(10). Let i be (q + -1 + -4)*15/(-78). Which is greater: p or i?
i
Suppose 0 = 5*o - 2*y - 74, 2*o - 3*o + y + 16 = 0. Suppose -167 + 643 = o*k. Let j = k - 27. Do j and 1 have the same value?
False
Let g = 13669 - 14233. Are g and -566 equal?
False
Let v = -31 + 18. Let f(k) = -k**3 + 22*k**2 + 31*k - 185. Let l be f(23). Let s be -13 - (l - -8*1/(-4)). Do s and v have different values?
True
Suppose 0*u + 4*u - 8 = 0. Suppose 4*g = 4*g + u*g. Suppose -k + g*k = k. Are -6/7 and k equal?
False
Suppose 0*z = 11*z - 5*z - 3*z. Which is smaller: 1/442 or z?
z
Suppose 2*z - z + 5*v + 20 = 0, -3*v - 12 = -3*z. Let n be 57/((-5)/(-5) + z). Suppose 63*r + 54 = n*r. Is r equal to -9?
True
Let r = -17 - -23. Let l = r - 6.1. Suppose -f - 4*p - 15 = 0, 3 = -2*f + p - 18. Which is smaller: l or f?
f
Let j be 3 - ((-2794)/(-18) - 2). Let b = j + 150. Let t = -1877 - -1877.12. Which is greater: t or b?
t
Let k = -5279 - -3988. Are k and -1291 equal?
True
Suppose 3*g = -2*g + 10. Let z(h) = -14*h - 30. Let o be z(-4). Suppose -15 = -2*i - 3*a + o, -4*a - 20 = 0. Which is greater: i or g?
i
Suppose 10*a = 3*n + 14*a - 17, -5 = -a. Which is smaller: n or -2/8935?
n
Let g = -514.0869 + 1.1869. Let y = g - -513. Which is bigger: -6/61 or y?
y
Let z be 7 - 7 - (-11 - (-3)/3). Let r = -5.4 + 7. Let k = 1.5 - r. Is z greater than k?
True
Let h = 0.2928 - 0.3178. Are 6/17 and h equal?
False
Let v(i) = 15*i - 596. Let s be v(30). Is s > -167?
True
Let a(z) = 20*z**2 + 152*z + 17. Let t be a(-7). Which is smaller: t or -71?
-71
Let n = -169.16 - -169. Let h = n - -0.87. Which is smaller: h or 1/3?
1/3
Let c(p) = -2*p**2 + 105*p + 180. Let v be c(34). Is 1438 equal to v?
True
Let p(q) = -q**3 + 3*q**2 + 3*q - 7. Let d be p(3). Suppose 4*u + 2*c = -4, c + 13 = u - d*c. Let h be (-22)/(-7) - (-2)/(-14). Is u not equal to h?
True
Let c = 56.315 + -0.315. Let w = 90.8 - 35.5. Let z = c - w. Is -2 greater than z?
False
Let g be ((-9)/1)/(1 + 0). Let y be 8 + -4 + -7 - (-14 + -10). Let v be 0/(6/y - g/(-7)). Is v >= -26?
True
Let a be (-69)/115 - (4099/10 + (-2)/(-4)). Are a and -411 nonequal?
False
Let a(i) = -25*i - 245. Let o be a(-10). Suppose -1555 = -5*b + 5*u, -3*b - 299 = -4*b - o*u. Are b and 309 unequal?
False
Let h = -733.5 - -733.4. Let a = -14/9 - -541/342. Which is smaller: a or h?
h
Let j = -176636 + 176620. Suppose -4 = -d - 0. Suppose -63 = d*s - i, 38 - 2 = -3*s - 3*i. Is s less than j?
False
Let x(h) = 108*h - 2072. Let p be x(19). Let g(u) = u**3 - 6*u**2 - 20*u + 5. Let a be g(8). Which is greater: a or p?
p
Suppose p + 6233 = m, -4*m + 5*m + 3*p - 6253 = 0. Do 6238 and m have different values?
False
Suppose 31 = 6*u - 65. Suppose -11*y + 15 = -u*y. Let b be (9/27)/(y + (-24)/(-9)). Is b <= -1/190?
True
Suppose 5*v + 0*v - 10 = 2*s, 0 = -2*v - 8. Let i be 4/6 + (-1040)/s. Let b = 4380 - 4311. Which is bigger: i or b?
i
Let s be (9423/(-12))/((-99)/(-24)). Which is smaller: -189 or s?
s
Let i = -171 - -185. Suppose -3*a + 72 = 2*s + 2*s, 2*s = 4*a + 14. Do s and i have the same value?
False
Let k = -57571/35 + 8119/5. Which is smaller: -20 or k?
k
Let c be (-3)/6 - (-6)/(-4). Let a = 5790 - 4064591/702. Let x = 7/78 + a. Which is smaller: c or x?
c
Suppose 8*i + 103 = -57. Let y be (6/(-285))/(12/i). Is 1 greater than y?
True
Let l = 676663 - 138716686/205. Let u = l - 18/41. Which is smaller: 0 or u?
u
Let o = -1.818 - -1.618. Which is smaller: o or -1767?
-1767
Let m be 4*3/336*(404/(-6) + -10). Do 1 and m have different values?
True
Let z = 585 + -278. Let b = z + -297. Is 0.5 bigger than b?
False
Let a = -46.93 - -47. Let s = a - -0.13. Let h = -2287/8 - -286. Are s and h non-equal?
True
Suppose -5*w + 27 = -4*y, 2*w + 5*y + 21 = 4*w. Let i(p) = -w*p + 6*p + 10 + 7 - 4*p. Let x be i(19). Which is bigger: 0.7 or x?
0.7
Let t = -842.7 + 907. Let g = 65 - t. Let o = g - 0.6. Which is smaller: -2 or o?
-2
Suppose -3156 = 17*y - 23*y. Let j = y - 527. Which is greater: j or 0.3?
0.3
Let z = -454 + 456. Suppose 2*i - 5*q = -4*q + 54, z*i - 46 = -q. Suppose 2*j = -3*c + 76, -4*c + 7*j = 2*j - 86. Is c >= i?
False
Let v = -0.2735 + 0.3735. Which is smaller: -590 or v?
-590
Let c = -6214 - -6209. Is c at least 37.4?
False
Let a be 4 - ((-60)/(-4)