 9*r**2 + 9*r - 11. Let z = -6 + 0. Let m(a) = a - 4. Let v be m(z). Let j be c(v). Are -5/6 and j equal?
False
Let w = 3 + 3. Let l be 21/3 - w/2. Suppose y = 3*y + l. Which is smaller: 0.02 or y?
y
Let n = -1417/12 - -118. Let l = -37.1 + 37. Are n and l equal?
False
Suppose 17*n - 589 = 6. Is 39 at most as big as n?
False
Suppose -3*p - 15 = -3*b, 39 = 5*b + 4*p - 2*p. Let z = 11 - b. Suppose 8*t = -19*t + 81. Is t < z?
True
Let o(g) = -g**2. Let t be o(-1). Let s be -3 - (t + (-116)/16). Let u = 5 - s. Which is smaller: -1.4 or u?
-1.4
Let k = 836 - 837.2. Which is greater: k or 5/9?
5/9
Let w(q) = q**2 + 5*q + 4. Let c be w(-1). Let l be c + -4 - (-29)/9. Which is greater: l or -2?
l
Let k = 36 + -35.06. Let f = -0.012 - -0.072. Let s = k + f. Which is greater: s or 1/5?
s
Suppose -4*i + 8 = 2*u, 2*u + 0*i - 3*i - 1 = 0. Let d(w) = 0*w**3 + 0*w**3 + 9*w**2 - 6 - w**3 + w. Let y be d(9). Is u bigger than y?
False
Let s(z) = z**2 - 6*z + 11. Let r be s(3). Suppose 0 = -6*n + r*n - m + 5, 3*m = -3*n + 6. Let k = -3 - -3. Is n less than k?
False
Let w = 23/116678 + -6207738221/9684274. Let k = w + 641. Which is greater: -1 or k?
k
Let y = 31.982 - 4.892. Let h = -0.09 + y. Let k = 26.2 - h. Which is bigger: k or 0.2?
0.2
Suppose 0 = c - 3, -5*l + c = 4*c + 16. Let p = 35 + -38. Let t be l + -4 + (-1 - p). Which is smaller: -6 or t?
t
Suppose 7*h + 5 = 12*h. Which is greater: 9/10 or h?
h
Let d be 5/5 - (0 + 1). Let c = 8 - 10. Let v be (c/(-10))/((-3)/6). Is v greater than or equal to d?
False
Let o be -9 + ((-4)/(-10) - 60/25). Which is smaller: -10 or o?
o
Suppose i - k = -399, 9*k = -i + 4*k - 423. Is -403 greater than or equal to i?
True
Let s be ((-443)/(-3))/((-1526)/(-6)). Let q = 1/205 + -314/22345. Let b = q + s. Which is smaller: b or 1?
b
Let o = 3/188 - -85/564. Suppose 4 - 14 = -2*g. Let s be 3/6 - g/4. Is s >= o?
False
Let q(c) = c + 5. Suppose -5*j = -g + 4*g + 16, -j + 3*g - 14 = 0. Let w be q(j). Let f = -4721/12632 + -2/1579. Are f and w unequal?
True
Let o(z) = z**2 + 12. Let f be o(0). Let w be (-799)/68 - ((-22)/8 + 2). Let v = w + f. Is 1 less than v?
False
Let q be 98/(-21) - (7 - 3). Let k = 136/15 + q. Which is greater: k or 6/7?
6/7
Let s be -3*(-8)/48*-2. Which is smaller: 1.08 or s?
s
Let h = 278 + 69. Which is greater: h or 348?
348
Let i = -119 + 115. Are i and -1/35 non-equal?
True
Let y(g) = 2*g**2 - 3*g + 3. Let u(j) = -j - 6. Let c be u(-8). Let v be y(c). Suppose 0 = -4*w + v*w + 8. Is w >= -8?
True
Let c = -26 - -17. Let o = -217.9 - -261. Let j = -43 + o. Is j equal to c?
False
Suppose 3*o = b - 2, -5*b + b + 5*o + 1 = 0. Which is smaller: b or 6?
b
Let s = 501 - 502. Is s < 0.66?
True
Let l(f) = 9*f - 4. Let u be l(1). Suppose -6 = q - u. Is q equal to 1/36?
False
Let l be 246/21 + (-6)/(-21). Suppose 7*x = 3*x + l. Suppose x*h + 5 = -7. Is h > -1?
False
Suppose 22*s + 680 = 14*s. Is -85 bigger than s?
False
Let o = 41.9 - 40. Let z = o + 4.1. Let v = z - 6.1. Do v and -0.1 have different values?
False
Let y be (((-2)/3)/1)/(219180/5850). Is 0 at least y?
True
Let b = -6573895/712 - -9233. Which is smaller: 0 or b?
0
Suppose m - 3*y = 0, -5*m + 2*y + 11 = -2*y. Suppose -5 = 3*p - 2*w, -7*p - 3*w = -m*p + 18. Let z be (-2)/(-2)*(4 + p). Which is greater: z or -1/9?
z
Let r be ((-78)/(-8))/((-141)/(-188)). Are r and 7 non-equal?
True
Let x be (-24)/(-84) - 3/(-42)*-4. Let r be (-2)/(-14)*1/2. Is r <= x?
False
Let p be (192 + -5)/(3/(-6)). Which is greater: -375 or p?
p
Let o = 367/15 - 427/10. Let g = o + 95/6. Suppose -4 = 7*a - 3*a. Do g and a have the same value?
False
Suppose 73*p - 28*p = -1710. Which is smaller: p or 3?
p
Let q be -4*((-30)/(-4) - -2). Which is bigger: -2 or q?
-2
Let h = -106 - -97. Is h at least as big as 10?
False
Suppose -z = -2*p, -6 - 22 = -3*z - p. Suppose z = t + 3*t. Is t <= 2?
True
Suppose 0 = 4*p - 3*u - 11, u - 3 - 4 = -4*p. Let l = 282/5 + -2503/45. Is p greater than l?
True
Let l = 0.173 + 0.057. Let v = l - 0.43. Let w = v - -1.2. Is w at least 1/5?
True
Let z be 619/9 - (-4)/18. Suppose -7*b = -z - 1. Which is greater: 9 or b?
b
Suppose -3*c + 23 = -22. Let r be ((-3)/c)/((-21)/70). Which is smaller: 1 or r?
r
Let r = -566 - -1129/2. Let y = 1 - 3. Which is smaller: r or y?
y
Let q be (-2)/4 - (-1)/3. Let b = -1269/35 - -258/7. Is q not equal to b?
True
Let w = -67 + 205/3. Let p = 1611 - 1611. Which is bigger: w or p?
w
Let i = -446 + 550. Is 2/27 smaller than i?
True
Let k = -3 - -2. Let q be 0 - 21 - (-2 + -1). Let l be (q/486)/(1/(-2)). Which is greater: l or k?
l
Let b = -138 + 48. Which is smaller: -2 or b?
b
Let m be (1/(-2))/(1/(-2)). Let i = 209 + -213. Let z be 1 + i - ((-1440)/(-70))/(-6). Which is smaller: z or m?
z
Let l = -0.69 - -1.69. Let q = 2 - -2. Suppose 0 = 5*h - q - 11. Which is smaller: l or h?
l
Let o be ((-2)/3*3)/(3 + -1). Let n be 192/(-9) + 1 + -3 + o. Is -25 > n?
False
Let q = 215 - 216. Is 2/619 at least q?
True
Let t = -1820 - -1304. Which is smaller: -517 or t?
-517
Let s be (-2)/3 + (-24)/(-9). Suppose s*a - 3*m = -53, 4*a + 2*m - 7*m = -103. Is -21 at least a?
True
Let k be -1 + 0 + (0 - -1). Let b = 7 - k. Suppose -3*h - b = 2*s, -2*h + 3*s - 4 = -8. Is -1 >= h?
True
Let j(i) = 30*i - 391. Let l be j(13). Which is greater: l or -2/2403?
-2/2403
Let f be 110/(-12) + (-8)/(-48). Let l(s) be the third derivative of -s**4/24 - 4*s**3/3 + 3*s**2. Let x be l(f). Is x less than or equal to 1/8?
False
Let w = 1071 - 7400/7. Which is bigger: w or 14?
14
Let p be 1/(-2073)*(-12)/72*-18. Is 1 less than p?
False
Let k = -132485/4 + 33326. Which is greater: 205 or k?
205
Suppose 6*n - 4*n + z - 11 = 0, -4*n - 13 = -5*z. Let h = n + -1. Which is smaller: -1/27 or h?
-1/27
Suppose 5*j = 6 - 191. Let u = j + 9. Is u less than or equal to -28?
True
Let x = 121.7 + -113. Let w = 7.7 - x. Which is greater: -0.17 or w?
-0.17
Let v be -3 + 6 - (11 + -8). Which is greater: v or 4/7?
4/7
Let v = 28 - 22. Suppose 5*h + 1 = v. Is h greater than 2/7?
True
Let i = -12 - -15. Let a = -3 + i. Let c = 55/756 - -2/189. Which is bigger: c or a?
c
Let i(h) = -h**2 - 7*h - 15. Suppose -8*x + 15 = -11*x. Let n be i(x). Are 3 and n non-equal?
True
Let h(d) be the second derivative of d**4/12 + 7*d**3/6 - 2*d**2 + 3*d. Let i be h(-7). Is i >= -3?
False
Let m(o) = o**3 + 5*o**2 + 2*o + 7. Let f be m(-5). Let a be -1*4/2 - f. Let h be (-5 + 33/6)/((-30)/20). Is a < h?
False
Let w = 607 + -630. Is w not equal to -27?
True
Suppose 0*m = -2*m + 8. Suppose 4*f - 2*x = -8, 2*x - 3*x + m = 2*f. Which is bigger: -1/62 or f?
f
Suppose 13 = 5*b - 2. Suppose -13 = -b*y - 46. Is y >= -11?
True
Let i(t) = -29*t - 21. Let x be i(-6). Let l be x/(-81) + 6/9. Is l bigger than 0?
False
Suppose 4 = 4*k, -8*f = -4*f - k + 89. Which is greater: -41/2 or f?
-41/2
Suppose -14 = -z - 3*v - 2*v, 0 = -z - 2*v + 8. Suppose 2*m - b + 1 = 38, -5*b = -z*m + 77. Is m less than 17?
False
Let k be (3 + 3 + -3)*1. Suppose -k*g = -4*g + 1. Let t = 34/9 + -800/207. Which is smaller: g or t?
t
Suppose -k - 4*s - 1 = 0, s + 3*s - 1 = k. Let n = 0 + k. Suppose 3*v - 4*v - 2 = 0. Do n and v have different values?
True
Let m = -0.09 + 8.09. Let v = -120 - -111. Let j = m + v. Do 1 and j have the same value?
False
Let i = 49 + -48. Let z = 1.3 - i. Is z smaller than 1/4?
False
Let c(a) = a**3 + 39*a**2 + 43*a + 116. Let q be c(-38). Are q and -73 non-equal?
True
Let b = -124 - -124. Which is smaller: 0.1 or b?
b
Let i be (-12)/(-16) + 33/(-12)*1. Is -18/17 at least i?
True
Let s be 3/(-5) + (-1260)/(-225). Which is bigger: s or -2/11?
s
Suppose -3*t - 2*t - 98 = -4*a, a = -3*t + 16. Let y = -25 + a. Let r(k) = -k**2 + 6*k - 6. Let p be r(6). Which is bigger: p or y?
y
Suppose 2*r = -5*r + 21. Suppose 18 = -r*c - 3*c. Which is bigger: -6 or c?
c
Suppose -5*i + 0*i = 0. Let r(n) = n**2 - n + 78. Let g be r(i). Let c = g + -860/11. Is c smaller than 0?
True
Let t be ((-2 - -3) + -975)*1/(-2). Let o = -5849/12 + t. Is 0 at most as big as o?
False
Let w(l) = -l**2 + 13*l - 37. Let m be w(9). Let q(u) = -u**3 + 4*u**2 + 4*u + 4. Let x be q(5). Let d be x/(((-2)/26)/m). Which is greater: -12 or d?
-12
Let r = 5641/313239 + -4/1623. Is 1 > r?
True
Suppose -10*y - 794 + 804 = 0. Which is smaller: -1/544 or y?
-1/544