*p - 0*q - 332, 3*p = -q - 268. Is p > -353/4?
True
Let k be 4/6 - (32/3 - 1). Which is bigger: k or -28?
k
Let h = -29/2 + 15. Let r(v) be the second derivative of -v**3/6 + v**2/2 + 2*v. Let b be r(-1). Is b greater than or equal to h?
True
Let o(b) = b**3 - 4*b**2 - 3*b - 5. Let p be 0 - -5 - (-7)/7*0. Let d be o(p). Suppose 0 = -5*q - m + 35, -q + 8 + 3 = m. Is d bigger than q?
False
Let q = 7.1 - 0.1. Let a = 1.1932 + -1.1232. Which is bigger: q or a?
q
Let v = 3.49 + -0.09. Let h = v - 0.4. Let a = h + -6. Which is smaller: 2/3 or a?
a
Let y(d) = d**3 - 5*d**2 + 2*d - 6. Let j be y(5). Suppose -j*t + 34 = a, -2*t - 3*a = -t - 3. Suppose t = 3*x, -15 = 3*g - x - x. Is g at most -3?
True
Let q = 245 - 230. Is q greater than -3?
True
Suppose 3*a + 24 = -12. Let n(y) = 3*y + 85. Let j be n(-25). Let i be a/45*(-15)/j. Which is greater: i or 3?
3
Let n = -721 + 720.965. Which is smaller: 2 or n?
n
Let j be (8/6)/((-2)/15). Let m = 12 + j. Suppose -m*i + 3*i = 0. Which is smaller: i or 2/7?
i
Suppose 3*z - z + 32 = 0. Let g = 22 + z. Are 5 and g equal?
False
Suppose 2*i + l - 17 = 0, 0*l + 29 = 3*i - 2*l. Let b(d) = -d + 6. Let h be b(i). Let f = h + 5/2. Which is greater: f or -1?
f
Let h(t) = t**2 + 3*t - 6. Let x be (1 + 4)*(-20)/25. Let l be h(x). Is l at most -15?
False
Suppose -3*p + 10 = -4*p + 2*q, -3*p = 5*q - 25. Suppose -2*t = -5*l - 0*t - 8, p = 5*l + 4*t - 16. Is l < 1/105?
True
Let d = -43380758019632/35775 + 1212599805. Let q = d + 2/1431. Do q and 1 have the same value?
False
Let v be (-1)/((-3)/(-3 + 9)). Let r = -56 + 61. Suppose 3 + v = -r*t. Which is greater: t or -1/24?
-1/24
Let f(n) be the third derivative of -n**5/60 - 5*n**4/24 + n**3/6 - 8*n**2. Let w be f(-5). Let d be (-1)/6*4/(-7). Which is bigger: w or d?
w
Let w(d) = 15*d - 179. Let l be w(6). Which is smaller: -91 or l?
-91
Suppose -10*t + 11*t = 3. Let b be 75/10*4/t. Suppose d = 3*h - b, -2*d + 3*d + h = 2. Is -3 smaller than d?
True
Let w = -400 + 402. Is 2 smaller than w?
False
Let u = 0.1 + -0.1. Let h = 59.52 + -59. Let t = h + -0.32. Which is smaller: u or t?
u
Let p = -15/3011 - -33815/743717. Which is greater: 0 or p?
p
Suppose -5*r + 15 = -2*r. Let n = 28 + -27.89. Let h = n + -0.01. Which is smaller: r or h?
h
Let v(h) = h**2 - 7*h. Let p be v(5). Let a be 1638/90 - (-2)/p. Which is smaller: a or 17?
17
Let y = 71 - 66. Suppose -2*u + u = -y*u. Which is bigger: -1/44 or u?
u
Let k(a) = -a**2 + a + 3. Let i be k(3). Let n = 27 + -27. Suppose n = -z - 1. Is z less than or equal to i?
False
Let f be (5 - 4)/(10/(-6) - 2). Let v = -15 + 16. Which is bigger: v or f?
v
Let t be (-80)/160*4/(-6). Which is smaller: t or 0.135?
0.135
Suppose -1 = -2*p + 7. Suppose 23*r - 36 = 125. Which is smaller: p or r?
p
Suppose 441 = 2*i + 433. Is 30/7 <= i?
False
Let b(q) = -q - 10. Let g(c) = -3*c**3 + 3*c**2 - 1. Let z be g(-2). Let i = 24 - z. Let r be b(i). Is 2/19 greater than r?
False
Let k = -603/5 + 120. Suppose -4*n = -4*h - 24, -2*h - 3*n + n = -4. Do k and h have the same value?
False
Let b(w) = -w**3 + 5*w**2 - 2*w + 12. Let t be b(5). Suppose -t*z + 3*f = 14, f = 2*z - 0*f + 14. Is z < -6?
True
Let t = 1.05 + -1. Let z = t + 1.95. Let a = 0.3989 - 0.3789. Which is bigger: a or z?
z
Let m = 27.9 - 50.9. Is m at least -0.08?
False
Suppose -r = -j + 4*r - 57, -3*r = 4*j + 113. Let a = j - -9. Which is greater: a or -22?
-22
Let m = 53.3 + -51. Let c = m + -3.3. Which is smaller: c or 8?
c
Let t be 617/88 + (-105)/15. Let m(c) = -c + 7. Let k be m(6). Which is smaller: t or k?
t
Let t be 0 + (-1)/18*28. Is t at most as big as -1?
True
Let w(b) = -2*b**3 + 20*b**2 + b - 8. Let p = -35 - -45. Let x be w(p). Let d be ((-2)/8)/(14/(-40)). Which is smaller: d or x?
d
Let s = 1791 - 401183/224. Which is greater: -1 or s?
s
Let q = 1/52 - -411/260. Suppose 3*v = -6*w + 2*w + 9, -6 = -2*v + w. Which is greater: q or v?
v
Let i be (-92)/207*6/4. Let z = 121/2 - 63. Which is smaller: z or i?
z
Let d = -2 + 2. Let b = 8752/25 + -350. Is b bigger than d?
True
Let w = 14.06 - -2.84. Let n = 0.08 + 16.92. Let a = n - w. Are -1/2 and a equal?
False
Let p be (19 - (-41)/(-2))*8/(-6). Suppose -5*q - z = -0*z + 1, -3*q + 5 = 2*z. Let d be q/(-6) + (-1)/(-2). Is d != p?
True
Let b = 92 - 92.4. Let v = b - -0.53. Suppose 2*z + 3*z = 0. Which is smaller: z or v?
z
Let o(n) = n**2 - 22*n + 112. Let v be o(8). Which is smaller: -4/339 or v?
-4/339
Suppose -12*v - 23*v - 35 = 0. Which is bigger: v or -10/99?
-10/99
Let j = 75.71 - 76. Let d = -1.41 - -1.6. Let c = d + j. Is c bigger than -0.1?
False
Let f be (2/172)/(15/90). Which is bigger: 0 or f?
f
Let b = 3 + -2. Let r be ((-128)/6)/(-8) - (-2)/(-3). Suppose 1 - r = -n. Is n at most b?
True
Let d(a) = -a**3 + 2*a**2 + 4*a - 1. Let c be d(3). Suppose -5*l = -3*m - 32, 3*l + 6 = m + 22. Suppose l = c*z + 2. Is -1/7 > z?
False
Suppose 6*j = 7 + 5. Let l = -17 + j. Which is bigger: -14 or l?
-14
Let u = -298/11 - -27. Let k = -9/143 + u. Which is smaller: k or 0.5?
k
Suppose -2*f - 13 = -z - 2, -4*f + 13 = 5*z. Let v be f/((-1)/(-2)*21). Let q = 4085/12237 - 2/4079. Is q equal to v?
False
Let v(l) = l**3 + 32*l**2 - 46*l + 57. Let z be v(-33). Which is greater: z or 0?
z
Let c = 96 - 89. Suppose 4 = -c*v + 11*v. Which is smaller: v or 2/57?
2/57
Let a(j) = 2 + 7*j + 14 + 0*j**3 - 5*j**2 - j**3 - 8. Let c be a(-6). Let z = -5 - -5. Is c less than z?
False
Let m be (-1224)/(-63) + (-8)/(-14). Suppose -3*z - x = -17, 3*x + 19 = 5*z - 0*x. Suppose -z*p + m = -5. Which is greater: 4 or p?
p
Let d be (-3)/18*2*(-24)/(-56). Let j(w) = -w**3 + 5*w**2 - 3*w - 3. Let u be j(4). Is d >= u?
False
Let a(z) = -z**2 - z + 3. Let u be a(0). Suppose -u*k - 3 = -0. Let f be (k - -5)/(1/(-2)). Are f and -6 unequal?
True
Suppose -21*x - 2*u - 6 = -18*x, 5*u + 15 = -4*x. Is x greater than -5/533?
True
Let y = -444 - -443.9. Is -291 greater than y?
False
Let c = -0.7 + -7.3. Let u = c - 2. Let z = -9 - u. Which is bigger: -4/9 or z?
z
Suppose 5*y = 3*q + 9 + 7, -y - 3*q - 4 = 0. Suppose -8*n + 68 = -28. Is y > n?
False
Let v = -2 - -1.97. Let d = -87 + 87.83. Let g = d + v. Which is smaller: g or 0.1?
0.1
Let b be ((-133)/7 + 17)*2/(-14). Is b equal to -44/29?
False
Let h = 90 - 90.082. Let r = h - -1.482. Which is smaller: 0 or r?
0
Let a = 13.6 - 17.1. Let g = a + 0.5. Is 3 < g?
False
Let j = -390 - -143. Is -247 at most j?
True
Let o = 32 - 32. Suppose -5*z + 3 = -3*z - 3*a, o = -3*z - 3*a - 3. Which is smaller: -1/2 or z?
-1/2
Let f be (-3318)/664 + 2 + 3. Which is greater: -1 or f?
f
Let u(l) = l**2 + 7*l + 4. Let w be u(-7). Suppose 0 = -w*t + 8, -t + 28 = 4*n - 46. Which is smaller: n or 17?
17
Let g = 757/217 - -18/217. Is 5 at most g?
False
Let h be (0 + -63 + 0)*(-3)/9. Suppose -h = 4*p - 25. Is 4 less than or equal to p?
False
Suppose 3*s + 0*s - 204 = -2*n, 2*s + 5*n - 147 = 0. Is 67 >= s?
True
Suppose 0 = 5*a + 7 + 3. Let h be 35/(-60) + a/12. Let t = -2.01 + 0.01. Which is greater: h or t?
h
Let k = -252 + 248.7. Which is greater: 2/27 or k?
2/27
Let i = 22 + -89. Let x = -62 - i. Is -3 greater than x?
False
Suppose 3*f = -2*f - 5, 52 = k + 2*f. Let p be 15*((-8)/k)/2. Is -1 >= p?
True
Let l = -322 + 322.3. Which is smaller: l or 2/15?
2/15
Let h = 0.3727 - 0.0727. Which is smaller: h or -46?
-46
Let n be (-2)/(-12) + 1502*(-4)/336. Which is bigger: -17 or n?
-17
Let g = 46524/5 + -9341. Is g less than -35?
True
Let t = 12 - 28. Let s = -244.9 + 261. Let x = s + t. Which is smaller: -1/4 or x?
-1/4
Let h(t) = -3*t**3 + 2*t**2 - t + 6. Let d be h(3). Let m be 429/(-7) - (-18)/63. Which is greater: d or m?
d
Let l be 16190/(-2050) + (-13 - -21). Is -1 at most l?
True
Suppose -4*m = -7*m + 18. Let r be 3/m - (-2)/4. Let v be (-60)/(-513) - 4/18. Do v and r have different values?
True
Let y(j) = j**2 - j + 1. Let i(p) = p**3 + p**2 - 12*p - 1. Let q(x) = i(x) - 6*y(x). Let s be q(6). Let l = 1 - 10. Is s bigger than l?
True
Suppose -16 = -3*r - 1. Let x be ((-6)/r)/(12/(-40)). Suppose -20 = -5*w + 2*g, 0 = -4*w + 8*w - 2*g - 14. Is x greater than w?
False
Let b be (-2)/(0 + 2) + 47/(-13). Which is smaller: b or -6?
-6
Let b = 754 - 201. Do b and 1 have different values?
True
Let y be (-3)/(-12) + 1 + (-34)/40. Which is greater: 0.1 or y?
y
Le