89/6)*j. Let b = 3 - 6. Which is bigger: d or b?
d
Suppose -4*r + 3 + 5 = 0. Let z = -67 - -71. Let a be (60/(-525))/(z/(-50)). Is a at most r?
True
Let x(b) = b**3 - 11*b**2 + 4*b - 28. Let p be x(11). Let k be p/56 - 320/42. Is -8 != k?
True
Let b(u) = -12*u - 31. Let q be b(-7). Let n be 3 + (q/5)/((-56)/35). Which is smaller: n or -4?
-4
Let c be 97*4/6*-1. Let u = c - -65. Is u greater than 0?
True
Let p be (-4)/5472*-255 - (-12)/32. Does 1 = p?
False
Suppose 4*c - 2*n - 1 = 3, 0 = -c + 4*n - 6. Suppose 2*x - 2 = c. Let d = 218/85 - -4/17. Which is greater: d or x?
d
Suppose 4*i + s + 89 = 0, -23*i - 5*s = -21*i + 31. Let u = 21706/5 + -4365. Which is smaller: u or i?
u
Let w be ((-12)/8 + 3)*10. Suppose h - 4*x = w, 0 = 4*h - x + 4 + 11. Is h less than -5?
False
Let q(o) = -13*o - 194. Let t be q(-15). Let f = -3/13823 + -48698396/152053. Let g = 320 + f. Which is smaller: t or g?
g
Let m = 1012 - 993. Is 19 equal to m?
True
Let o(t) = 211*t + 633. Let f be o(-3). Is 42/95 less than or equal to f?
False
Let p be ((-5)/25)/((-4)/630). Which is greater: 31 or p?
p
Let f = -1491 - -361. Let a be f/(-14) + (-18)/(-63). Suppose 18*k - 21*k = -a. Which is bigger: k or 28?
28
Let a be 7/49 + (-24)/21 + -1. Is 31 greater than a?
True
Suppose 3*l = 151 - 202. Let r = 12 - 29. Does l = r?
True
Let i = 300 - 458. Let y = i + 117. Which is greater: -42 or y?
y
Let n be (-25)/(-5) - 2685/530. Which is bigger: n or -1?
n
Let m(q) = q + 9. Let h = -34 - -21. Let b be m(h). Suppose -c + 16 = -5*c. Is b greater than or equal to c?
True
Let y be (-1)/(1 + (-132)/126). Is 16 < y?
True
Let h = -71 + 171. Let v = h + -62. Let l = v - 35. Are -2 and l equal?
False
Let d = -35/48 - -121/144. Which is greater: d or -320?
d
Let g = -3 + 8. Let y = g - 15. Let t be (-4)/(-5) + 0/y. Is t less than 0?
False
Let f = 3/160 + -583/160. Is f < -3?
True
Let a be (-1 + 1 - 3)/1. Let r be 2/(15 + 1)*a. Let q = -184 + 185. Is q equal to r?
False
Let b be 3 - 2/(6/1065). Let j = b + 1754/5. Which is smaller: -0.1 or j?
j
Suppose -20 = -4*b + 8*b + 4*t, 3*b = -2*t - 11. Let r = 4345/322 + 1/161. Is b greater than r?
False
Let t(r) = r**3 + 7*r**2 + 2*r - 20. Let g be t(-6). Suppose 0 = 2*b - 2 + g. Is 10/21 <= b?
False
Let p = -0.017 - 7.883. Let u = p + 9.3. Which is bigger: u or 2/7?
u
Let n(i) = -4*i**2 - 16*i + 16. Let u = 111 - 116. Let c be n(u). Do c and 4 have different values?
True
Let m(a) = a**2 - 3*a + 2. Let k be m(1). Let u be (-4 - (k + -4))/3. Do 2 and u have the same value?
False
Let o be (2/(-5))/((-1)/5). Suppose -o = -5*g + 3. Is -2/11 at most as big as g?
True
Suppose 0 = 3*s - r - r + 157, 3*r = -2*s - 122. Is -66 < s?
True
Let b = -1860 + 1881. Let y = 194.8 - 216. Let x = b + y. Are x and -2/3 nonequal?
True
Let w be -6*((-4)/38 + 1691/(-1083)). Is w at least 18?
False
Suppose 331 - 79 = 7*y. Let u = -397/11 + y. Which is smaller: 1 or u?
u
Let l(k) = -5*k + 69. Let n be l(-31). Is n at least as big as 224?
True
Let d be (-41)/(1476/(-90))*(0 - 1 - 1). Let q(p) = p**2 + 4*p. Let z be q(-3). Which is bigger: z or d?
z
Let s = 1690.974 + -1691. Is -1.3 less than or equal to s?
True
Let j = 96 - 63. Suppose 3*v = -0*v - j. Let d be 4 - -1 - (v + 11). Is 4 less than or equal to d?
True
Suppose -h - 9 - 12 = 0. Let m = h - -14. Let d = -5 + 3. Which is smaller: m or d?
m
Suppose 5*q - d = -6*d, -5*d - 5 = 0. Suppose -q = -6*n + 5*n. Is n greater than -1.4?
True
Let j be 0 + (6 - 1) + (5 - 23). Let p = 2/51 + 43/204. Which is greater: p or j?
p
Let g be (-4)/(-7) - 120/14. Let u be (-4 - (g - -3))*-2. Let s(f) = -f - 5. Let v be s(u). Which is greater: v or -5?
v
Let d = -25 - -50. Let g(r) = 3*r + 71. Let o be g(-23). Suppose -3*n = 6*s - 5*s - 22, s - o*n = 27. Is d bigger than s?
False
Let d be (8/2)/((-1 - -2)*2). Suppose 3*p + 10 = 5*j, -3*j + d*j = -2. Is p at least 1/8?
False
Suppose -2*f = -2*x, -2*x - 12 = f - 6*f. Let t be (3/(-9))/(2/(-24)). Suppose -l - f = 3*r, t*l + 2*r + r = -34. Which is bigger: l or -8?
-8
Let f = -3.7 - -3.1. Let w = 0.6 + f. Let p = -0.06 + 0.66. Is w greater than p?
False
Let s = -6178 - -401582/65. Is 0 at most s?
True
Suppose 13 = -9*r + 4. Is -2/95 > r?
True
Let m = -29 - -23. Let k(s) = -2*s**2 - 29*s + 39. Let b(v) = v**2 + 15*v - 20. Let q(p) = m*k(p) - 11*b(p). Let u be q(-10). Is -5 less than u?
True
Let o(m) = -m**3 - 8*m**2 + 7*m. Let k be o(-9). Suppose -2 = 3*h - z - 84, -3*h - 4*z + 77 = 0. Suppose -27 = -3*w + h. Is k less than w?
False
Let c be (-22)/33 - 42/(-297)*6. Let s = 7.7 - 0.7. Let r = s + -5. Which is greater: c or r?
r
Let o = 0.07 + 0.02. Let x = o + 0.03. Let j = -3.88 - x. Which is smaller: j or 2?
j
Suppose 0 = -9*w - 864 + 2412. Is w less than 171?
False
Suppose -25*w + 212 = -1063. Is 53 < w?
False
Let x = 0.1 + 0.1. Let j = 1430/21 + -68. Is j less than or equal to x?
True
Suppose -g - 2*v - 14 = 2*v, 0 = -2*g + 4*v + 20. Suppose -g*d + 15 = -7*d, 4*y - 4*d = 24. Let k be 0 + 1 - (3 - y). Which is smaller: k or -1/14?
-1/14
Let a be 4 - (12 + 2) - 0. Let z be 14/(-1)*a/110. Which is greater: 0 or z?
z
Let p be (-2)/(3*(-2)/12). Suppose -p*c = 2*h - 10, -c - h = -6 + 3. Do c and 8/3 have different values?
True
Suppose 3*f - 5*n - 48 = -2*n, 4*f - 5*n = 70. Let o = 8 - -2. Is f equal to o?
True
Suppose z - 47 = -4*d, -5*z - d + 0*d = -197. Suppose -2*c + c = 2*s + 6, -5*s = -2*c - z. Let m = c - -11. Which is smaller: -6/5 or m?
-6/5
Let g be 16/36 + (-170)/375. Is g not equal to 1?
True
Let c = -34.957 - 0.043. Let z = c - -22. Let g = 13.1 + z. Which is smaller: 3/5 or g?
g
Suppose -4*y + 45 = -y. Let d = -19 + y. Let n be (-140)/15 - d/(-6). Is n not equal to -10?
False
Let i = -96 + 142. Let a be (-6)/36 + 2/72*i. Let f = -1 - -1. Which is bigger: f or a?
a
Let n be 14672/(-79002) - 6/(-33). Which is smaller: n or 1?
n
Let w be (2/6)/(3 + 100/(-33)). Which is greater: w or 7?
7
Let r = -37.1 - -37.3. Which is greater: 24.7 or r?
24.7
Let s(v) = 2*v**2 + 8*v - 93. Let l be s(13). Do l and 347 have the same value?
False
Let v(m) = -m. Let b be v(-6). Suppose -2*z = -3*s + 16, -2*s - 2*z = -z - 6. Suppose -5*q = 3*r - 4, -r - 4*q = s - 3. Which is smaller: b or r?
r
Suppose 7*k - 9 = -2*k. Let p be (440/(-435) + k)*-3. Is p at most 1?
True
Let k(p) = 33*p**3 - 10*p**2 + 30*p - 3. Let d be k(3). Do 887 and d have the same value?
False
Let b = -969 - -969. Let g = 3 + -3.2. Which is smaller: g or b?
g
Let p = 27.1 + 6.9. Let m = p - 34.1. Is m less than -12?
False
Let a = -251 + 212. Which is smaller: a or -35?
a
Let q(b) = b - 5. Let w be q(0). Let i be 4 + (2 - (1 + 0)). Let v be i + -1 + -6 + -2. Is w less than v?
True
Let m = -3.87 - 0.13. Let k = -0.05 + 1.05. Is k at least m?
True
Let a = 252 - 322. Is a greater than -71?
True
Suppose 0 = i + i + 112. Let b be (-1096)/i - (-3)/7. Which is bigger: b or 2/3?
b
Let s(q) be the second derivative of q**5/2 + q**3/3 + q**2/2 + q. Let w be s(-1). Let k be 78/(-6) + (4 - (-10)/(-5)). Is k greater than or equal to w?
True
Suppose 0 = -7*k + 9*k - 6. Let a be (-95)/(-135)*k + (-3)/(-3). Which is bigger: 3 or a?
a
Let d = 0.014 - 0.004. Let x = -33 + 37. Which is bigger: x or d?
x
Let b(y) = -y**2 - 5*y + 9. Let i be b(-7). Let c = -40993/10626 - -1/1518. Which is smaller: c or i?
i
Suppose -3723*a + 3822 = -3729*a. Does a = -637?
True
Let j(l) = -l**2 + 21*l - 54. Let h be j(18). Is -31 at most h?
True
Suppose 0 = 3*j - j. Let o = 14 - 19. Let d be (-64)/1840*o/(-2). Which is bigger: j or d?
j
Let y = -0.3 + 2.15. Which is smaller: y or 2/3?
2/3
Let u = -6.1 - -0.1. Let k = u - -5.71. Let l = k + -1.71. Which is greater: l or -5?
l
Let t(h) = 9*h**3 - 19*h + 1 - h**3 - 7*h**3 + 19*h**2 + 1. Let v be t(-20). Which is bigger: -15 or v?
-15
Let n = -2706 + 2684. Is n bigger than -0.8?
False
Suppose 0 = -4*h - 2*p + 2, -3*h + 5*h = 4*p - 24. Which is greater: -12/17 or h?
-12/17
Suppose 0 = -u + k + 6, 0*u = -4*u - 2*k - 6. Let d be (u - (-136)/(-134))*-2. Are d and -1 equal?
False
Suppose 3*v + 0*v = 2*d + 1, 0 = 4*d + v + 37. Which is smaller: -102/11 or d?
-102/11
Let r be (-2)/(-7)*(3 - 0). Let u be -4 - (-2)/(-1)*(-8)/16. Are u and r nonequal?
True
Let u = 20 - 16. Suppose -u*r = -r. Which is smaller: r or 19?
r
Let r = 1086 - 1990. Which 